Trace number 4093415

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.07 1800.51

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-75-70--soft-66-100-0.wbo
MD5SUM9f59d922c085a32576bd21436364ce6a
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1800.1
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5250
Total number of constraints145
Number of soft constraints53
Number of constraints which are clauses75
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint70
Maximum length of a constraint75
Top cost 2739
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 2738
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 76
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T15:36:18+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4093415-1466084178.wbo"]
0.00/0.01	c use --random-gen="3010147311 936799636 2800870750 1508594032 1248181440 3586180870 2573842626 479743572 30393109 2543325684 3249586097 3257204552 2089038678 1877370429 445392121 3334712491 3867838609 2532934061 2382424559 3166541679 4151069794 3277730289 616972995 3318071430 4280173788 2126185028 4090217393 942512209 150227553 22827007 2796568647 3261173832 3477243272 2188139946 4075653955 487770864 2234672371 2371953010 920650094 2055489700 1668625894 2420454627 2221097361 3314346299 1857613507 901752075 3450410590 2824140401 478904193 2230557925 2273991098 1694572865 394683957 2065834432 4019015570 3259602138 497356874 1368601964 4271887721 2218312465 911891821 427153661 1879256746 1476792066 1620667855 81588928 3654507820 3552461679 3533680250 1511901444 2562871278 1806700486 1366042740 2323347720 3455985107 1075998475 3725252834 1743324817 4096147860 3816341218 416593665 2838313441 3893571406 321766259 2508741652 1847605476 280021005 1357617311 2335472127 1323405364 759847109 3618160677 742241823 2827855942 4067599637 3247917172 3129914750 281665157 2628584332 1284666010 3549116681 2359932827 2417558771 4249533132 425718655 306207189 2108311480 4207060064 4002056794 3779161028 2657937046 1287953580 513875273 3309740508 3509029574 292274483 2207570038 3907685897 2467288730 1752498436 2408126081 1402608997 1111491398 638519438 115593280 3142305698 570664367 2283516787 2795933839 950284381 2253455656 4218270875 1674530112 1103150150 723168981 2454889200 104348873 4285506621 3083051981 1449259120 3856034607 272520878 1148174345 1281558079 2594216645 3887219932 1095882009 1263916839 2815086983 1965905586 905491656 4194118148 2351889642 809469061 1223511258 1083918503 573276290 3702008074 3307818253 854809452 3787026227 3284375742 3882932512 2793989412 3342668614 741150982 4168677478 612288606 46063971 2069014374 2099632648 2694528153 2238388688 4001799103 2241648734 633157812 1432552765 3188119711 3725653758 2486591121 3005567470 185059150 3835190698 977858001 3590845008 3352501208 1961625812 4237879537 4057268587 4060939625 2372896110 472923395 872149738 1801838083 4117535585 3365606080 2475771103 3290917243 3721916066 1319373120 1981602297 3172670330 4202545340 1918466635 664377755 417883027 3789782920 1507693072 1797488991 3090259888 2722931103 432812485 2597735415 3265914145 4287133974 2053743091 4241537063 3197008174 1122619820 165925935 3153609276 101218337 1749388391 828944261 3882416969 3698393920 552340789 1593453500 1549585787 4242910909 3961294290 926428070 1507425529 2872512511 3753462251 2124949540 3336429490 2356469636 3631751788 307763660 2388343365 1805600907 2282979785 4008462023 672347574 1138934025 509447592 1967192929 1345309763 2055681072 666442307 3379733164 1589704730 2107630658 1632834783 292106438 255 362436" option to reproduce the execution
0.19/0.26	c #vars 5250
0.19/0.26	c #constraints 145
0.19/0.28	c BCD2: Hardening is enabled.
0.19/0.28	c BCD2: BiasedSearch is enabled.
0.19/0.28	c Solving starts ...
0.19/0.28	c ============================[ Search Statistics ]============================
0.19/0.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.28	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.28	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     1816      0 |        0 |        0
0.29/0.36	c  0.1s |       1 |      240 |      100 |     1816      0 |        0 |        0
0.29/0.39	c  0.1s |       1 |     3549 |      101 |     1998      0 |        0 |        0
0.29/0.39	c #cpu_time = 0.104s
0.29/0.39	c #wall_clock_time = 0.104s
0.29/0.39	c #decision = 3549
0.29/0.39	c #random_decision = 14
0.29/0.39	c #conflict = 101
0.29/0.39	c #restart = 1
0.29/0.39	o 1233
0.29/0.39	c BCD2: updating upper bound: 2738 -> 1232
0.29/0.39	c BCD2: 0 <= obj <= 1232
0.29/0.39	c BCD2: #cores=0, #unrelaxed=53, #relaxed=0, #hardened=0
0.29/0.39	c BCD2: #sat=1 #unsat=1 bias=1/2
0.29/0.39	c Solving starts ...
0.29/0.39	c ============================[ Search Statistics ]============================
0.29/0.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.39	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.39	c =============================================================================
0.29/0.39	c  0.0s |       0 |        0 |        0 |     1998      0 |        0 |        0
0.48/0.58	c  0.2s |       1 |     1729 |      100 |     1998      0 |        0 |        0
0.69/0.88	c  0.5s |       2 |     4058 |      250 |     2198      0 |        0 |        0
1.69/1.73	c  1.3s |       3 |     7716 |      475 |     2418      0 |        0 |        0
2.30/2.40	c  2.0s |       4 |    11534 |      813 |     2660      0 |        0 |        0
3.19/3.24	c  2.8s |       5 |    15412 |     1320 |     2927      0 |        0 |        0
4.60/4.67	c  4.3s |       6 |    18789 |     2081 |     3220      0 |        0 |        0
6.59/6.70	c  6.3s |       6 |    22704 |     3081 |     3220      0 |        0 |        0
6.99/7.00	c  6.6s |       7 |    22859 |     3223 |     3543      0 |        0 |        0
9.08/9.14	c  8.7s |       7 |    27003 |     4323 |     3543      0 |        0 |        0
10.38/10.48	c 10.1s |       8 |    27701 |     4936 |     3898      0 |        0 |        0
12.69/12.70	c 12.3s |       8 |    31784 |     5936 |     3898      1 |        0 |        0
14.79/14.83	c 14.4s |       8 |    32683 |     6736 |     3898      1 |        0 |        0
16.79/16.85	c 16.5s |       8 |    33444 |     7436 |     4288      1 |        0 |        0
16.99/17.07	c 16.7s |       9 |    33522 |     7506 |     4288      1 |        0 |        0
19.18/19.20	c 18.8s |       9 |    37847 |     8406 |     4288      2 |        0 |        0
21.38/21.45	c 21.1s |       9 |    38762 |     9206 |     4288      2 |        0 |        0
23.49/23.55	c 23.2s |       9 |    39544 |     9906 |     4288      2 |        0 |        0
25.79/25.80	c 25.4s |       9 |    40330 |    10606 |     4288      2 |        0 |        0
27.89/27.94	c 27.5s |       9 |    41013 |    11206 |     4717      2 |        0 |        0
28.19/28.29	c 27.9s |      10 |    41193 |    11361 |     4717      2 |        0 |        0
30.28/30.35	c 30.0s |      10 |    45458 |    12461 |     4717      3 |        0 |        0
32.38/32.46	c 32.1s |      10 |    46680 |    13561 |     4717      3 |        0 |        0
34.49/34.55	c 34.2s |      10 |    47670 |    14461 |     4717      3 |        0 |        0
36.59/36.60	c 36.2s |      10 |    48541 |    15261 |     4717      3 |        0 |        0
38.69/38.74	c 38.3s |      10 |    49420 |    16061 |     4717      3 |        0 |        0
40.89/40.90	c 40.5s |      10 |    50279 |    16861 |     4717      3 |        0 |        0
41.69/41.72	c 41.3s |      11 |    50579 |    17144 |     5189      3 |        0 |        0
43.78/43.80	c 43.4s |      11 |    53901 |    17844 |     5189      4 |        0 |        0
45.98/46.01	c 45.6s |      11 |    54934 |    18744 |     5189      4 |        0 |        0
48.18/48.24	c 47.8s |      11 |    55824 |    19544 |     5189      4 |        0 |        0
50.18/50.25	c 49.9s |      11 |    56643 |    20244 |     5189      4 |        0 |        0
52.38/52.43	c 52.0s |      11 |    57447 |    20944 |     5189      4 |        0 |        0
54.68/54.73	c 54.3s |      11 |    58240 |    21644 |     5189      4 |        0 |        0
56.78/56.80	c 56.4s |      11 |    58938 |    22244 |     5189      4 |        0 |        0
58.98/59.07	c 58.7s |      11 |    59745 |    22944 |     5189      4 |        0 |        0
61.08/61.17	c 60.8s |      11 |    60426 |    23544 |     5189      5 |        0 |        0
63.08/63.17	c 62.8s |      11 |    61092 |    24144 |     5189      5 |        0 |        0
65.18/65.24	c 64.8s |      11 |    61750 |    24744 |     5189      5 |        0 |        0
67.29/67.40	c 67.0s |      11 |    62416 |    25344 |     5189      5 |        0 |        0
69.08/69.16	c 68.8s |      12 |    62940 |    25819 |     5708      5 |        0 |        0
71.38/71.41	c 71.0s |      12 |    66994 |    26419 |     5708      6 |        0 |        0
73.38/73.50	c 73.1s |      12 |    67787 |    27119 |     5708      6 |        0 |        0
75.48/75.56	c 75.2s |      12 |    68618 |    27819 |     5708      6 |        0 |        0
77.78/77.87	c 77.5s |      12 |    69427 |    28519 |     5708      6 |        0 |        0
79.97/80.09	c 79.7s |      12 |    70155 |    29119 |     5708      6 |        0 |        0
82.07/82.16	c 81.8s |      12 |    70712 |    29619 |     5708      6 |        0 |        0
84.18/84.22	c 83.8s |      12 |    71274 |    30119 |     5708      6 |        0 |        0
86.48/86.57	c 86.2s |      12 |    71966 |    30719 |     5708      6 |        0 |        0
88.68/88.71	c 88.3s |      12 |    72533 |    31219 |     5708      6 |        0 |        0
90.77/90.84	c 90.5s |      12 |    73223 |    31819 |     5708      6 |        0 |        0
92.97/93.03	c 92.6s |      12 |    73948 |    32419 |     5708      6 |        0 |        0
95.17/95.23	c 94.8s |      12 |    74530 |    32919 |     5708      7 |        0 |        0
97.17/97.28	c 96.9s |      12 |    75079 |    33419 |     5708      7 |        0 |        0
99.28/99.32	c 98.9s |      12 |    75643 |    33919 |     5708      7 |        0 |        0
101.29/101.32	c  100s |      12 |    76211 |    34419 |     5708      7 |        0 |        0
103.49/103.54	c  103s |      12 |    76797 |    34919 |     5708      7 |        0 |        0
105.68/105.79	c  105s |      12 |    77398 |    35419 |     5708      7 |        0 |        0
108.07/108.11	c  107s |      12 |    77972 |    35919 |     5708      7 |        0 |        0
110.27/110.32	c  109s |      12 |    78568 |    36419 |     5708      7 |        0 |        0
112.67/112.77	c  112s |      12 |    79130 |    36919 |     5708      7 |        0 |        0
114.67/114.79	c  114s |      12 |    79585 |    37319 |     5708      7 |        0 |        0
117.07/117.19	c  116s |      12 |    80155 |    37819 |     5708      7 |        0 |        0
119.67/119.73	c  119s |      12 |    80599 |    38219 |     5708      8 |        0 |        0
121.77/121.87	c  121s |      12 |    81041 |    38619 |     6279      8 |        0 |        0
122.77/122.85	c  122s |      13 |    81279 |    38832 |     6279      8 |        0 |        0
124.97/125.00	c  124s |      13 |    84715 |    39432 |     6279      8 |        0 |        0
127.07/127.16	c  126s |      13 |    85408 |    40032 |     6279      8 |        0 |        0
129.37/129.41	c  129s |      13 |    86106 |    40632 |     6279      8 |        0 |        0
131.47/131.50	c  131s |      13 |    86707 |    41132 |     6279      8 |        0 |        0
133.57/133.67	c  133s |      13 |    87266 |    41632 |     6279      8 |        0 |        0
135.96/136.05	c  135s |      13 |    87850 |    42132 |     6279      8 |        0 |        0
138.07/138.19	c  137s |      13 |    88387 |    42632 |     6279      8 |        0 |        0
140.67/140.72	c  140s |      13 |    88934 |    43132 |     6279      8 |        0 |        0
143.27/143.34	c  142s |      13 |    89514 |    43632 |     6279      8 |        0 |        0
145.67/145.74	c  145s |      13 |    89961 |    44032 |     6279      8 |        0 |        0
147.97/148.06	c  147s |      13 |    90307 |    44332 |     6279      9 |        0 |        0
150.57/150.62	c  150s |      13 |    90756 |    44732 |     6279      9 |        0 |        0
152.57/152.63	c  152s |      13 |    91076 |    45032 |     6279      9 |        0 |        0
154.67/154.70	c  154s |      13 |    91424 |    45332 |     6279      9 |        0 |        0
156.76/156.80	c  156s |      13 |    91900 |    45732 |     6279      9 |        0 |        0
159.06/159.11	c  158s |      13 |    92347 |    46132 |     6279      9 |        0 |        0
161.16/161.25	c  160s |      13 |    92796 |    46532 |     6279      9 |        0 |        0
163.26/163.33	c  162s |      13 |    93282 |    46932 |     6279      9 |        0 |        0
165.66/165.70	c  165s |      13 |    93737 |    47332 |     6279      9 |        0 |        0
167.96/168.05	c  167s |      13 |    94217 |    47732 |     6279      9 |        0 |        0
170.36/170.43	c  170s |      13 |    94672 |    48132 |     6279      9 |        0 |        0
172.87/172.91	c  172s |      13 |    95131 |    48532 |     6279      9 |        0 |        0
175.36/175.49	c  175s |      13 |    95598 |    48932 |     6279      9 |        0 |        0
177.56/177.66	c  177s |      13 |    96062 |    49332 |     6279      9 |        0 |        0
179.96/180.08	c  179s |      13 |    96497 |    49732 |     6279      9 |        0 |        0
182.46/182.54	c  182s |      13 |    96834 |    50032 |     6279     10 |        0 |        0
184.76/184.81	c  184s |      13 |    97302 |    50432 |     6279     10 |        0 |        0
186.86/186.96	c  186s |      13 |    97740 |    50832 |     6279     10 |        0 |        0
189.16/189.22	c  188s |      13 |    98208 |    51232 |     6279     10 |        0 |        0
191.56/191.65	c  191s |      13 |    98656 |    51632 |     6279     10 |        0 |        0
194.05/194.15	c  193s |      13 |    99117 |    52032 |     6279     10 |        0 |        0
196.36/196.47	c  196s |      13 |    99587 |    52432 |     6279     10 |        0 |        0
198.56/198.65	c  198s |      13 |   100057 |    52832 |     6279     10 |        0 |        0
200.96/201.05	c  200s |      13 |   100512 |    53232 |     6279     10 |        0 |        0
203.45/203.54	c  203s |      13 |   100975 |    53632 |     6279     10 |        0 |        0
206.05/206.17	c  205s |      13 |   101436 |    54032 |     6279     10 |        0 |        0
208.85/208.97	c  208s |      13 |   101864 |    54432 |     6279     10 |        0 |        0
210.95/211.07	c  210s |      13 |   102194 |    54732 |     6279     10 |        0 |        0
213.35/213.49	c  213s |      13 |   102651 |    55132 |     6279     10 |        0 |        0
215.35/215.49	c  215s |      13 |   102972 |    55432 |     6279     10 |        0 |        0
217.75/217.83	c  217s |      13 |   103317 |    55732 |     6279     11 |        0 |        0
220.06/220.12	c  219s |      13 |   103746 |    56132 |     6279     11 |        0 |        0
222.25/222.32	c  221s |      13 |   104189 |    56532 |     6279     11 |        0 |        0
224.46/224.58	c  224s |      13 |   104643 |    56932 |     6279     11 |        0 |        0
226.75/226.86	c  226s |      13 |   105072 |    57332 |     6279     11 |        0 |        0
229.15/229.21	c  228s |      13 |   105525 |    57732 |     6279     11 |        0 |        0
231.55/231.68	c  231s |      13 |   105975 |    58132 |     6907     11 |        0 |        0
233.05/233.13	c  232s |      14 |   106226 |    58352 |     6907     11 |        0 |        0
235.15/235.26	c  234s |      14 |   109173 |    58752 |     6907     12 |        0 |        0
237.45/237.54	c  237s |      14 |   110062 |    59552 |     6907     12 |        0 |        0
239.45/239.58	c  239s |      14 |   110842 |    60252 |     6907     12 |        0 |        0
241.74/241.81	c  241s |      14 |   111522 |    60852 |     6907     12 |        0 |        0
243.94/244.08	c  243s |      14 |   112194 |    61452 |     6907     12 |        0 |        0
246.34/246.40	c  246s |      14 |   112990 |    62152 |     6907     12 |        0 |        0
248.55/248.64	c  248s |      14 |   113787 |    62852 |     6907     12 |        0 |        0
250.85/250.96	c  250s |      14 |   114571 |    63552 |     6907     12 |        0 |        0
252.95/253.09	c  252s |      14 |   115255 |    64152 |     6907     12 |        0 |        0
255.15/255.29	c  254s |      14 |   115945 |    64752 |     6907     12 |        0 |        0
257.34/257.42	c  257s |      14 |   116616 |    65352 |     6907     12 |        0 |        0
259.65/259.73	c  259s |      14 |   117327 |    65952 |     6907     12 |        0 |        0
261.85/261.92	c  261s |      14 |   117790 |    66352 |     6907     13 |        0 |        0
263.95/264.10	c  263s |      14 |   118348 |    66852 |     6907     13 |        0 |        0
266.35/266.41	c  266s |      14 |   118894 |    67352 |     6907     13 |        0 |        0
268.64/268.71	c  268s |      14 |   119444 |    67852 |     6907     13 |        0 |        0
270.95/271.08	c  270s |      14 |   119989 |    68352 |     6907     13 |        0 |        0
273.24/273.30	c  272s |      14 |   120563 |    68852 |     6907     13 |        0 |        0
275.34/275.50	c  275s |      14 |   121105 |    69352 |     6907     13 |        0 |        0
277.54/277.60	c  277s |      14 |   121677 |    69852 |     6907     13 |        0 |        0
279.64/279.78	c  279s |      14 |   122225 |    70352 |     6907     13 |        0 |        0
281.94/282.08	c  281s |      14 |   122760 |    70852 |     6907     13 |        0 |        0
284.44/284.53	c  284s |      14 |   123315 |    71352 |     6907     13 |        0 |        0
286.54/286.64	c  286s |      14 |   123883 |    71852 |     6907     13 |        0 |        0
288.94/289.03	c  288s |      14 |   124318 |    72252 |     6907     14 |        0 |        0
291.03/291.17	c  290s |      14 |   124881 |    72752 |     6907     14 |        0 |        0
293.44/293.52	c  293s |      14 |   125530 |    73352 |     6907     14 |        0 |        0
295.54/295.62	c  295s |      14 |   126063 |    73852 |     6907     14 |        0 |        0
297.84/297.90	c  297s |      14 |   126608 |    74352 |     6907     14 |        0 |        0
300.24/300.31	c  299s |      14 |   127261 |    74952 |     6907     14 |        0 |        0
302.44/302.51	c  302s |      14 |   127794 |    75452 |     6907     14 |        0 |        0
304.43/304.59	c  304s |      14 |   128234 |    75852 |     6907     14 |        0 |        0
306.73/306.85	c  306s |      14 |   128768 |    76352 |     6907     14 |        0 |        0
309.03/309.18	c  308s |      14 |   129320 |    76852 |     6907     14 |        0 |        0
311.53/311.68	c  311s |      14 |   129857 |    77352 |     6907     14 |        0 |        0
313.93/314.08	c  313s |      14 |   130426 |    77852 |     6907     14 |        0 |        0
316.13/316.25	c  315s |      14 |   130861 |    78252 |     6907     15 |        0 |        0
318.33/318.41	c  318s |      14 |   131410 |    78752 |     6907     15 |        0 |        0
320.33/320.48	c  320s |      14 |   131962 |    79252 |     6907     15 |        0 |        0
322.62/322.78	c  322s |      14 |   132513 |    79752 |     6907     15 |        0 |        0
324.92/325.06	c  324s |      14 |   133084 |    80252 |     6907     15 |        0 |        0
327.03/327.11	c  326s |      14 |   133634 |    80752 |     6907     15 |        0 |        0
329.43/329.50	c  329s |      14 |   134288 |    81352 |     6907     15 |        0 |        0
331.52/331.64	c  331s |      14 |   134844 |    81852 |     6907     15 |        0 |        0
333.82/333.98	c  333s |      14 |   135420 |    82352 |     6907     15 |        0 |        0
336.02/336.11	c  335s |      14 |   136000 |    82852 |     6907     15 |        0 |        0
338.02/338.14	c  337s |      14 |   136557 |    83352 |     6907     15 |        0 |        0
340.32/340.41	c  340s |      14 |   137111 |    83852 |     6907     15 |        0 |        0
342.51/342.66	c  342s |      14 |   137549 |    84252 |     6907     16 |        0 |        0
344.92/345.00	c  344s |      14 |   138234 |    84852 |     6907     16 |        0 |        0
347.22/347.38	c  346s |      14 |   138900 |    85452 |     6907     16 |        0 |        0
349.42/349.52	c  349s |      14 |   139471 |    85952 |     6907     16 |        0 |        0
351.51/351.67	c  351s |      14 |   140026 |    86452 |     6907     16 |        0 |        0
353.71/353.83	c  353s |      14 |   140589 |    86952 |     7598     16 |        0 |        0
356.01/356.17	c  355s |      14 |   141137 |    87452 |     7598     16 |        0 |        0
356.91/357.02	c  356s |      15 |   141345 |    87632 |     7598     16 |        0 |        0
359.01/359.13	c  358s |      15 |   144412 |    88232 |     7598     17 |        0 |        0
361.01/361.17	c  360s |      15 |   145445 |    89132 |     7598     17 |        0 |        0
363.11/363.28	c  362s |      15 |   146355 |    89932 |     7598     17 |        0 |        0
365.11/365.30	c  364s |      15 |   147286 |    90732 |     7598     17 |        0 |        0
367.30/367.44	c  367s |      15 |   148089 |    91432 |     7598     17 |        0 |        0
369.30/369.49	c  369s |      15 |   148748 |    92032 |     7598     17 |        0 |        0
371.50/371.63	c  371s |      15 |   149402 |    92632 |     7598     17 |        0 |        0
373.70/373.84	c  373s |      15 |   150082 |    93232 |     7598     17 |        0 |        0
375.70/375.87	c  375s |      15 |   150632 |    93732 |     7598     17 |        0 |        0
378.00/378.15	c  377s |      15 |   151289 |    94332 |     7598     17 |        0 |        0
380.30/380.49	c  380s |      15 |   151990 |    94932 |     7598     17 |        0 |        0
382.99/383.16	c  382s |      15 |   152694 |    95532 |     7598     18 |        0 |        0
385.39/385.54	c  385s |      15 |   153375 |    96132 |     7598     18 |        0 |        0
387.50/387.67	c  387s |      15 |   153924 |    96632 |     7598     18 |        0 |        0
389.60/389.75	c  389s |      15 |   154480 |    97132 |     7598     18 |        0 |        0
391.70/391.84	c  391s |      15 |   155024 |    97632 |     7598     18 |        0 |        0
393.80/393.99	c  393s |      15 |   155583 |    98132 |     7598     18 |        0 |        0
395.89/396.00	c  395s |      15 |   156132 |    98632 |     7598     18 |        0 |        0
397.99/398.11	c  397s |      15 |   156663 |    99132 |     7598     18 |        0 |        0
400.29/400.42	c  400s |      15 |   157318 |    99732 |     7598     18 |        0 |        0
402.39/402.53	c  402s |      15 |   157873 |   100232 |     7598     18 |        0 |        0
404.59/404.76	c  404s |      15 |   158430 |   100732 |     7598     18 |        0 |        0
406.79/406.94	c  406s |      15 |   158979 |   101232 |     7598     18 |        0 |        0
409.08/409.27	c  408s |      15 |   159542 |   101732 |     7598     18 |        0 |        0
411.39/411.54	c  411s |      15 |   159875 |   102032 |     7598     19 |        0 |        0
413.59/413.71	c  413s |      15 |   160439 |   102532 |     7598     19 |        0 |        0
415.68/415.84	c  415s |      15 |   161124 |   103132 |     7598     19 |        0 |        0
417.99/418.12	c  417s |      15 |   161823 |   103732 |     7598     19 |        0 |        0
420.28/420.43	c  420s |      15 |   162511 |   104332 |     7598     19 |        0 |        0
422.67/422.81	c  422s |      15 |   163186 |   104932 |     7598     19 |        0 |        0
424.87/425.04	c  424s |      15 |   163717 |   105432 |     7598     19 |        0 |        0
427.18/427.34	c  426s |      15 |   164276 |   105932 |     7598     19 |        0 |        0
429.57/429.70	c  429s |      15 |   164840 |   106432 |     7598     19 |        0 |        0
431.97/432.12	c  431s |      15 |   165389 |   106932 |     7598     19 |        0 |        0
434.17/434.34	c  433s |      15 |   165952 |   107432 |     7598     19 |        0 |        0
436.56/436.73	c  436s |      15 |   166509 |   107932 |     7598     19 |        0 |        0
438.56/438.78	c  438s |      15 |   166819 |   108232 |     7598     20 |        0 |        0
440.87/441.04	c  440s |      15 |   167353 |   108732 |     7598     20 |        0 |        0
443.06/443.20	c  442s |      15 |   167942 |   109232 |     7598     20 |        0 |        0
445.06/445.22	c  444s |      15 |   168501 |   109732 |     7598     20 |        0 |        0
447.06/447.23	c  446s |      15 |   169062 |   110232 |     7598     20 |        0 |        0
449.46/449.64	c  449s |      15 |   169745 |   110832 |     7598     20 |        0 |        0
451.75/451.98	c  451s |      15 |   170273 |   111332 |     7598     20 |        0 |        0
453.95/454.19	c  453s |      15 |   170828 |   111832 |     7598     20 |        0 |        0
456.35/456.56	c  456s |      15 |   171387 |   112332 |     7598     20 |        0 |        0
458.55/458.71	c  458s |      15 |   171940 |   112832 |     7598     20 |        0 |        0
460.96/461.19	c  460s |      15 |   172472 |   113332 |     7598     20 |        0 |        0
463.55/463.71	c  463s |      15 |   173007 |   113832 |     7598     20 |        0 |        0
465.55/465.78	c  465s |      15 |   173472 |   114232 |     7598     20 |        0 |        0
467.75/467.98	c  467s |      15 |   173804 |   114532 |     7598     21 |        0 |        0
469.85/470.07	c  469s |      15 |   174381 |   115032 |     7598     21 |        0 |        0
472.14/472.32	c  471s |      15 |   174958 |   115532 |     7598     21 |        0 |        0
474.44/474.61	c  474s |      15 |   175663 |   116132 |     7598     21 |        0 |        0
476.65/476.86	c  476s |      15 |   176213 |   116632 |     7598     21 |        0 |        0
478.95/479.12	c  478s |      15 |   176772 |   117132 |     7598     21 |        0 |        0
481.24/481.41	c  481s |      15 |   177329 |   117632 |     7598     21 |        0 |        0
483.43/483.67	c  483s |      15 |   177882 |   118132 |     7598     21 |        0 |        0
485.64/485.83	c  485s |      15 |   178314 |   118532 |     7598     21 |        0 |        0
487.64/487.86	c  487s |      15 |   178902 |   119032 |     7598     21 |        0 |        0
489.93/490.19	c  489s |      15 |   179450 |   119532 |     7598     21 |        0 |        0
492.13/492.35	c  491s |      15 |   180025 |   120032 |     7598     21 |        0 |        0
494.43/494.62	c  494s |      15 |   180559 |   120532 |     7598     21 |        0 |        0
496.73/497.00	c  496s |      15 |   180885 |   120832 |     7598     22 |        0 |        0
498.93/499.12	c  498s |      15 |   181439 |   121332 |     7598     22 |        0 |        0
501.13/501.32	c  500s |      15 |   181987 |   121832 |     7598     22 |        0 |        0
503.33/503.55	c  503s |      15 |   182518 |   122332 |     7598     22 |        0 |        0
505.73/505.90	c  505s |      15 |   183083 |   122832 |     7598     22 |        0 |        0
508.02/508.24	c  507s |      15 |   183633 |   123332 |     7598     22 |        0 |        0
510.43/510.62	c  510s |      15 |   184161 |   123832 |     7598     22 |        0 |        0
512.53/512.80	c  512s |      15 |   184839 |   124432 |     7598     22 |        0 |        0
514.62/514.88	c  514s |      15 |   185406 |   124932 |     7598     22 |        0 |        0
516.81/517.09	c  516s |      15 |   185940 |   125432 |     7598     22 |        0 |        0
519.01/519.23	c  518s |      15 |   186536 |   125932 |     7598     22 |        0 |        0
521.33/521.59	c  521s |      15 |   187083 |   126432 |     7598     22 |        0 |        0
523.82/524.05	c  523s |      15 |   187616 |   126932 |     7598     22 |        0 |        0
526.12/526.37	c  525s |      15 |   188076 |   127332 |     7598     23 |        0 |        0
528.32/528.56	c  528s |      15 |   188621 |   127832 |     7598     23 |        0 |        0
530.71/530.92	c  530s |      15 |   189189 |   128332 |     7598     23 |        0 |        0
532.81/533.01	c  532s |      15 |   189636 |   128732 |     7598     23 |        0 |        0
534.81/535.04	c  534s |      15 |   190081 |   129132 |     7598     23 |        0 |        0
537.30/537.50	c  537s |      15 |   190640 |   129632 |     7598     23 |        0 |        0
539.70/539.98	c  539s |      15 |   191194 |   130132 |     7598     23 |        0 |        0
541.90/542.17	c  541s |      15 |   191620 |   130532 |     7598     23 |        0 |        0
544.21/544.41	c  544s |      15 |   192063 |   130932 |     8358     23 |        0 |        0
546.40/546.64	c  546s |      15 |   192510 |   131332 |     8358     23 |        0 |        0
547.50/547.71	c  547s |      16 |   192751 |   131552 |     8358     23 |        0 |        0
549.50/549.73	c  549s |      16 |   196730 |   132052 |     8358     24 |        0 |        0
551.60/551.83	c  551s |      16 |   197792 |   132952 |     8358     24 |        0 |        0
553.70/553.94	c  553s |      16 |   198836 |   133852 |     8358     24 |        0 |        0
555.90/556.19	c  555s |      16 |   199714 |   134652 |     8358     24 |        0 |        0
558.10/558.39	c  557s |      16 |   200705 |   135452 |     8358     24 |        0 |        0
560.50/560.70	c  560s |      16 |   201652 |   136252 |     8358     24 |        0 |        0
562.60/562.87	c  562s |      16 |   202487 |   136952 |     8358     24 |        0 |        0
564.70/564.92	c  564s |      16 |   203159 |   137552 |     8358     24 |        0 |        0
566.99/567.23	c  566s |      16 |   203944 |   138252 |     8358     24 |        0 |        0
569.29/569.58	c  569s |      16 |   204584 |   138852 |     8358     24 |        0 |        0
571.49/571.73	c  571s |      16 |   205270 |   139452 |     8358     24 |        0 |        0
573.79/574.05	c  573s |      16 |   205814 |   139952 |     8358     25 |        0 |        0
575.99/576.29	c  575s |      16 |   206482 |   140552 |     8358     25 |        0 |        0
578.29/578.58	c  578s |      16 |   207159 |   141152 |     8358     25 |        0 |        0
580.49/580.75	c  580s |      16 |   207857 |   141752 |     8358     25 |        0 |        0
582.68/582.98	c  582s |      16 |   208684 |   142452 |     8358     25 |        0 |        0
584.89/585.15	c  584s |      16 |   209362 |   143052 |     8358     25 |        0 |        0
587.18/587.40	c  587s |      16 |   210032 |   143652 |     8358     25 |        0 |        0
589.49/589.75	c  589s |      16 |   210692 |   144252 |     8358     25 |        0 |        0
591.58/591.86	c  591s |      16 |   211237 |   144752 |     8358     25 |        0 |        0
593.78/594.08	c  593s |      16 |   211793 |   145252 |     8358     25 |        0 |        0
596.28/596.51	c  596s |      16 |   212314 |   145752 |     8358     25 |        0 |        0
598.38/598.65	c  598s |      16 |   212881 |   146252 |     8358     25 |        0 |        0
600.77/601.00	c  600s |      16 |   213350 |   146652 |     8358     26 |        0 |        0
602.77/603.03	c  602s |      16 |   214110 |   147252 |     8358     26 |        0 |        0
604.98/605.22	c  604s |      16 |   214789 |   147852 |     8358     26 |        0 |        0
607.27/607.57	c  607s |      16 |   215481 |   148452 |     8358     26 |        0 |        0
609.57/609.85	c  609s |      16 |   216186 |   149052 |     8358     26 |        0 |        0
611.57/611.87	c  611s |      16 |   216778 |   149552 |     8358     26 |        0 |        0
613.86/614.18	c  613s |      16 |   217373 |   150052 |     8358     26 |        0 |        0
615.97/616.21	c  615s |      16 |   217975 |   150552 |     8358     26 |        0 |        0
618.36/618.61	c  618s |      16 |   218659 |   151152 |     8358     26 |        0 |        0
620.67/620.94	c  620s |      16 |   219329 |   151752 |     8358     26 |        0 |        0
622.66/622.95	c  622s |      16 |   219878 |   152252 |     8358     26 |        0 |        0
624.86/625.13	c  624s |      16 |   220437 |   152752 |     8358     26 |        0 |        0
627.26/627.53	c  627s |      16 |   220879 |   153152 |     8358     27 |        0 |        0
629.56/629.84	c  629s |      16 |   221580 |   153752 |     8358     27 |        0 |        0
631.85/632.18	c  631s |      16 |   222256 |   154352 |     8358     27 |        0 |        0
634.05/634.30	c  633s |      16 |   222917 |   154952 |     8358     27 |        0 |        0
636.36/636.63	c  636s |      16 |   223587 |   155552 |     8358     27 |        0 |        0
638.55/638.85	c  638s |      16 |   224299 |   156152 |     8358     27 |        0 |        0
640.75/641.05	c  640s |      16 |   225030 |   156752 |     8358     27 |        0 |        0
642.74/643.08	c  642s |      16 |   225746 |   157352 |     8358     27 |        0 |        0
644.84/645.19	c  644s |      16 |   226417 |   157952 |     8358     27 |        0 |        0
646.95/647.28	c  646s |      16 |   227174 |   158552 |     8358     27 |        0 |        0
649.35/649.61	c  649s |      16 |   227862 |   159152 |     8358     27 |        0 |        0
652.04/652.38	c  651s |      16 |   228428 |   159652 |     8358     28 |        0 |        0
654.45/654.75	c  654s |      16 |   229096 |   160252 |     8358     28 |        0 |        0
656.65/656.95	c  656s |      16 |   229880 |   160952 |     8358     28 |        0 |        0
658.84/659.16	c  658s |      16 |   230724 |   161652 |     8358     28 |        0 |        0
661.04/661.39	c  660s |      16 |   231391 |   162252 |     8358     28 |        0 |        0
663.25/663.57	c  663s |      16 |   232051 |   162852 |     8358     28 |        0 |        0
665.35/665.69	c  665s |      16 |   232722 |   163452 |     8358     28 |        0 |        0
667.74/668.04	c  667s |      16 |   233370 |   164052 |     8358     28 |        0 |        0
670.04/670.38	c  669s |      16 |   234160 |   164752 |     8358     28 |        0 |        0
672.23/672.55	c  672s |      16 |   234840 |   165352 |     8358     28 |        0 |        0
674.43/674.72	c  674s |      16 |   235520 |   165952 |     8358     28 |        0 |        0
676.54/676.89	c  676s |      16 |   235974 |   166352 |     8358     29 |        0 |        0
678.73/679.06	c  678s |      16 |   236675 |   166952 |     8358     29 |        0 |        0
681.03/681.34	c  680s |      16 |   237327 |   167552 |     8358     29 |        0 |        0
683.33/683.61	c  683s |      16 |   237985 |   168152 |     8358     29 |        0 |        0
685.73/686.01	c  685s |      16 |   238668 |   168752 |     8358     29 |        0 |        0
688.03/688.33	c  687s |      16 |   239329 |   169352 |     8358     29 |        0 |        0
690.03/690.34	c  689s |      16 |   239884 |   169852 |     8358     29 |        0 |        0
692.22/692.51	c  692s |      16 |   240456 |   170352 |     8358     29 |        0 |        0
694.42/694.74	c  694s |      16 |   241011 |   170852 |     8358     29 |        0 |        0
696.53/696.88	c  696s |      16 |   241566 |   171352 |     8358     29 |        0 |        0
698.62/698.96	c  698s |      16 |   242142 |   171852 |     8358     29 |        0 |        0
701.02/701.36	c  700s |      16 |   242807 |   172452 |     8358     29 |        0 |        0
704.02/704.34	c  703s |      16 |   243512 |   173052 |     8358     30 |        0 |        0
706.23/706.51	c  706s |      16 |   244173 |   173652 |     8358     30 |        0 |        0
708.62/708.91	c  708s |      16 |   244831 |   174252 |     8358     30 |        0 |        0
710.72/711.07	c  710s |      16 |   245385 |   174752 |     8358     30 |        0 |        0
713.02/713.33	c  712s |      16 |   245930 |   175252 |     8358     30 |        0 |        0
715.12/715.48	c  715s |      16 |   246512 |   175752 |     8358     30 |        0 |        0
717.52/717.81	c  717s |      16 |   247308 |   176452 |     8358     30 |        0 |        0
719.62/719.91	c  719s |      16 |   248006 |   177052 |     8358     30 |        0 |        0
721.72/722.01	c  721s |      16 |   248707 |   177652 |     8358     30 |        0 |        0
723.82/724.13	c  723s |      16 |   249415 |   178252 |     8358     30 |        0 |        0
726.22/726.53	c  726s |      16 |   250114 |   178852 |     8358     30 |        0 |        0
728.32/728.69	c  728s |      16 |   250816 |   179452 |     8358     30 |        0 |        0
730.62/730.99	c  730s |      16 |   251251 |   179852 |     8358     31 |        0 |        0
732.91/733.24	c  732s |      16 |   251924 |   180452 |     8358     31 |        0 |        0
735.21/735.51	c  735s |      16 |   252749 |   181152 |     8358     31 |        0 |        0
737.52/737.86	c  737s |      16 |   253564 |   181852 |     8358     31 |        0 |        0
739.61/739.95	c  739s |      16 |   254232 |   182452 |     8358     31 |        0 |        0
741.92/742.22	c  741s |      16 |   254919 |   183052 |     8358     31 |        0 |        0
744.22/744.56	c  744s |      16 |   255609 |   183652 |     8358     31 |        0 |        0
746.61/746.96	c  746s |      16 |   256324 |   184252 |     8358     31 |        0 |        0
748.71/749.09	c  748s |      16 |   256895 |   184752 |     8358     31 |        0 |        0
751.01/751.32	c  750s |      16 |   257478 |   185252 |     8358     31 |        0 |        0
753.22/753.55	c  753s |      16 |   258051 |   185752 |     8358     31 |        0 |        0
755.42/755.71	c  755s |      16 |   258624 |   186252 |     8358     31 |        0 |        0
757.62/757.92	c  757s |      16 |   259091 |   186652 |     8358     32 |        0 |        0
759.92/760.25	c  759s |      16 |   259774 |   187252 |     8358     32 |        0 |        0
762.01/762.39	c  761s |      16 |   260329 |   187752 |     8358     32 |        0 |        0
764.21/764.52	c  764s |      16 |   260978 |   188352 |     8358     32 |        0 |        0
766.41/766.77	c  766s |      16 |   261642 |   188952 |     8358     32 |        0 |        0
768.72/769.04	c  768s |      16 |   262312 |   189552 |     8358     32 |        0 |        0
770.72/771.08	c  770s |      16 |   262858 |   190052 |     8358     32 |        0 |        0
772.92/773.24	c  772s |      16 |   263431 |   190552 |     8358     32 |        0 |        0
774.91/775.25	c  774s |      16 |   263986 |   191052 |     8358     32 |        0 |        0
777.31/777.60	c  777s |      16 |   264647 |   191652 |     8358     32 |        0 |        0
779.31/779.63	c  779s |      16 |   265191 |   192152 |     8358     32 |        0 |        0
781.51/781.80	c  781s |      16 |   265750 |   192652 |     8358     32 |        0 |        0
783.71/784.00	c  783s |      16 |   266290 |   193152 |     8358     32 |        0 |        0
785.91/786.27	c  785s |      16 |   266742 |   193552 |     8358     33 |        0 |        0
788.11/788.47	c  788s |      16 |   267429 |   194152 |     8358     33 |        0 |        0
790.21/790.55	c  790s |      16 |   268111 |   194752 |     8358     33 |        0 |        0
792.31/792.65	c  792s |      16 |   268789 |   195352 |     8358     33 |        0 |        0
794.41/794.79	c  794s |      16 |   269449 |   195952 |     8358     33 |        0 |        0
796.61/796.97	c  796s |      16 |   270131 |   196552 |     9194     33 |        0 |        0
798.71/799.00	c  798s |      16 |   270684 |   197052 |     9194     33 |        0 |        0
800.11/800.45	c  800s |      17 |   271139 |   197432 |     9194     33 |        0 |        0
802.30/802.63	c  802s |      17 |   274300 |   197832 |     9194     34 |        0 |        0
804.30/804.69	c  804s |      17 |   275221 |   198532 |     9194     34 |        0 |        0
806.61/806.90	c  806s |      17 |   275885 |   199132 |     9194     34 |        0 |        0
808.61/808.91	c  808s |      17 |   276438 |   199632 |     9194     34 |        0 |        0
810.80/811.15	c  810s |      17 |   277113 |   200232 |     9194     34 |        0 |        0
813.00/813.36	c  812s |      17 |   277793 |   200832 |     9194     34 |        0 |        0
815.01/815.40	c  815s |      17 |   278357 |   201332 |     9194     34 |        0 |        0
817.11/817.43	c  817s |      17 |   278945 |   201832 |     9194     34 |        0 |        0
819.50/819.80	c  819s |      17 |   279637 |   202432 |     9194     34 |        0 |        0
821.81/822.17	c  821s |      17 |   280322 |   203032 |     9194     34 |        0 |        0
823.90/824.20	c  823s |      17 |   280872 |   203532 |     9194     34 |        0 |        0
825.91/826.29	c  825s |      17 |   281446 |   204032 |     9194     34 |        0 |        0
828.11/828.45	c  828s |      17 |   282009 |   204532 |     9194     34 |        0 |        0
830.20/830.52	c  830s |      17 |   282559 |   205032 |     9194     34 |        0 |        0
832.51/832.83	c  832s |      17 |   283117 |   205532 |     9194     34 |        0 |        0
834.60/835.00	c  834s |      17 |   283723 |   206032 |     9194     34 |        0 |        0
837.01/837.32	c  836s |      17 |   284199 |   206432 |     9194     35 |        0 |        0
839.21/839.56	c  839s |      17 |   284761 |   206932 |     9194     35 |        0 |        0
841.20/841.59	c  841s |      17 |   285214 |   207332 |     9194     35 |        0 |        0
843.70/844.05	c  843s |      17 |   285781 |   207832 |     9194     35 |        0 |        0
845.90/846.24	c  845s |      17 |   286348 |   208332 |     9194     35 |        0 |        0
848.20/848.57	c  848s |      17 |   286932 |   208832 |     9194     35 |        0 |        0
850.50/850.80	c  850s |      17 |   287493 |   209332 |     9194     35 |        0 |        0
852.80/853.15	c  852s |      17 |   288062 |   209832 |     9194     35 |        0 |        0
854.90/855.22	c  854s |      17 |   288500 |   210232 |     9194     35 |        0 |        0
857.29/857.64	c  857s |      17 |   289058 |   210732 |     9194     35 |        0 |        0
859.49/859.89	c  859s |      17 |   289502 |   211132 |     9194     35 |        0 |        0
861.99/862.33	c  861s |      17 |   290109 |   211632 |     9194     35 |        0 |        0
864.20/864.59	c  864s |      17 |   290670 |   212132 |     9194     35 |        0 |        0
866.40/866.76	c  866s |      17 |   291248 |   212632 |     9194     35 |        0 |        0
868.60/868.92	c  868s |      17 |   291833 |   213132 |     9194     35 |        0 |        0
870.69/871.04	c  870s |      17 |   292180 |   213432 |     9194     36 |        0 |        0
873.09/873.45	c  873s |      17 |   292863 |   214032 |     9194     36 |        0 |        0
875.29/875.62	c  875s |      17 |   293428 |   214532 |     9194     36 |        0 |        0
877.30/877.69	c  877s |      17 |   293988 |   215032 |     9194     36 |        0 |        0
879.40/879.73	c  879s |      17 |   294570 |   215532 |     9194     36 |        0 |        0
881.69/882.09	c  881s |      17 |   295250 |   216132 |     9194     36 |        0 |        0
883.80/884.17	c  883s |      17 |   295797 |   216632 |     9194     36 |        0 |        0
885.90/886.21	c  885s |      17 |   296355 |   217132 |     9194     36 |        0 |        0
888.00/888.35	c  887s |      17 |   296812 |   217532 |     9194     36 |        0 |        0
890.19/890.52	c  890s |      17 |   297261 |   217932 |     9194     36 |        0 |        0
892.49/892.84	c  892s |      17 |   297849 |   218432 |     9194     36 |        0 |        0
894.99/895.31	c  894s |      17 |   298436 |   218932 |     9194     36 |        0 |        0
897.29/897.68	c  897s |      17 |   298973 |   219432 |     9194     36 |        0 |        0
899.70/900.02	c  899s |      17 |   299539 |   219932 |     9194     36 |        0 |        0
903.59/903.90	c  903s |      17 |   300121 |   220432 |     9194     37 |        0 |        0
905.90/906.28	c  905s |      17 |   300797 |   221032 |     9194     37 |        0 |        0
908.19/908.58	c  908s |      17 |   301343 |   221532 |     9194     37 |        0 |        0
910.29/910.67	c  910s |      17 |   301897 |   222032 |     9194     37 |        0 |        0
912.49/912.89	c  912s |      17 |   302465 |   222532 |     9194     37 |        0 |        0
914.89/915.20	c  914s |      17 |   303003 |   223032 |     9194     37 |        0 |        0
916.89/917.26	c  916s |      17 |   303573 |   223532 |     9194     37 |        0 |        0
919.09/919.48	c  919s |      17 |   304129 |   224032 |     9194     37 |        0 |        0
921.49/921.85	c  921s |      17 |   304686 |   224532 |     9194     37 |        0 |        0
923.68/924.03	c  923s |      17 |   305236 |   225032 |     9194     37 |        0 |        0
926.10/926.44	c  926s |      17 |   305799 |   225532 |     9194     37 |        0 |        0
928.20/928.53	c  928s |      17 |   306284 |   225932 |     9194     37 |        0 |        0
930.39/930.76	c  930s |      17 |   306713 |   226332 |     9194     37 |        0 |        0
932.48/932.82	c  932s |      17 |   307191 |   226732 |     9194     37 |        0 |        0
934.69/935.00	c  934s |      17 |   307658 |   227132 |     9194     37 |        0 |        0
937.09/937.48	c  937s |      17 |   308124 |   227532 |     9194     38 |        0 |        0
939.39/939.76	c  939s |      17 |   308685 |   228032 |     9194     38 |        0 |        0
941.68/942.09	c  941s |      17 |   309239 |   228532 |     9194     38 |        0 |        0
943.98/944.31	c  943s |      17 |   309777 |   229032 |     9194     38 |        0 |        0
945.98/946.38	c  945s |      17 |   310241 |   229432 |     9194     38 |        0 |        0
948.19/948.50	c  948s |      17 |   310815 |   229932 |     9194     38 |        0 |        0
950.48/950.81	c  950s |      17 |   311388 |   230432 |     9194     38 |        0 |        0
952.88/953.25	c  952s |      17 |   311935 |   230932 |     9194     38 |        0 |        0
955.28/955.66	c  955s |      17 |   312511 |   231432 |     9194     38 |        0 |        0
957.59/957.98	c  957s |      17 |   313061 |   231932 |     9194     38 |        0 |        0
959.68/960.09	c  959s |      17 |   313486 |   232332 |     9194     38 |        0 |        0
961.78/962.11	c  961s |      17 |   313941 |   232732 |     9194     38 |        0 |        0
963.89/964.20	c  963s |      17 |   314373 |   233132 |     9194     38 |        0 |        0
965.89/966.24	c  965s |      17 |   314807 |   233532 |     9194     38 |        0 |        0
968.18/968.53	c  968s |      17 |   315224 |   233932 |     9194     38 |        0 |        0
970.28/970.63	c  970s |      17 |   315796 |   234432 |     9194     38 |        0 |        0
972.48/972.87	c  972s |      17 |   316255 |   234832 |     9194     39 |        0 |        0
974.78/975.19	c  974s |      17 |   316939 |   235432 |     9194     39 |        0 |        0
977.08/977.47	c  977s |      17 |   317622 |   236032 |     9194     39 |        0 |        0
979.28/979.60	c  979s |      17 |   318173 |   236532 |     9194     39 |        0 |        0
981.68/982.05	c  981s |      17 |   318881 |   237132 |     9194     39 |        0 |        0
983.88/984.22	c  983s |      17 |   319423 |   237632 |     9194     39 |        0 |        0
986.08/986.43	c  986s |      17 |   319960 |   238132 |     9194     39 |        0 |        0
988.98/989.34	c  988s |      17 |   320525 |   238632 |     9194     39 |        0 |        0
991.08/991.46	c  991s |      17 |   321074 |   239132 |     9194     39 |        0 |        0
993.28/993.61	c  993s |      17 |   321637 |   239632 |     9194     39 |        0 |        0
995.58/995.99	c  995s |      17 |   322175 |   240132 |     9194     39 |        0 |        0
997.68/998.00	c  997s |      17 |   322617 |   240532 |     9194     39 |        0 |        0
999.69/1000.04	c  999s |      17 |   323052 |   240932 |     9194     39 |        0 |        0
1002.18/1002.51	c 1002s |      17 |   323504 |   241332 |     9194     39 |        0 |        0
1005.38/1005.74	c 1005s |      17 |   323967 |   241732 |     9194     40 |        0 |        0
1007.48/1007.85	c 1007s |      17 |   324433 |   242132 |     9194     40 |        0 |        0
1009.68/1010.05	c 1009s |      17 |   324873 |   242532 |     9194     40 |        0 |        0
1011.97/1012.32	c 1011s |      17 |   325436 |   243032 |     9194     40 |        0 |        0
1014.28/1014.62	c 1014s |      17 |   325979 |   243532 |     9194     40 |        0 |        0
1016.48/1016.85	c 1016s |      17 |   326525 |   244032 |     9194     40 |        0 |        0
1018.67/1019.08	c 1018s |      17 |   327090 |   244532 |     9194     40 |        0 |        0
1020.77/1021.17	c 1020s |      17 |   327542 |   244932 |     9194     40 |        0 |        0
1022.97/1023.37	c 1022s |      17 |   327971 |   245332 |     9194     40 |        0 |        0
1025.28/1025.65	c 1025s |      17 |   328430 |   245732 |     9194     40 |        0 |        0
1027.57/1027.90	c 1027s |      17 |   328888 |   246132 |     9194     40 |        0 |        0
1029.77/1030.11	c 1029s |      17 |   329336 |   246532 |     9194     40 |        0 |        0
1031.98/1032.38	c 1031s |      17 |   329774 |   246932 |     9194     40 |        0 |        0
1034.27/1034.68	c 1034s |      17 |   330205 |   247332 |     9194     40 |        0 |        0
1036.77/1037.10	c 1036s |      17 |   330642 |   247732 |     9194     40 |        0 |        0
1039.07/1039.46	c 1039s |      17 |   331079 |   248132 |     9194     40 |        0 |        0
1041.67/1042.00	c 1041s |      17 |   331511 |   248532 |     9194     40 |        0 |        0
1044.97/1045.33	c 1044s |      17 |   331989 |   248932 |     9194     41 |        0 |        0
1047.27/1047.60	c 1047s |      17 |   332715 |   249532 |     9194     41 |        0 |        0
1049.37/1049.75	c 1049s |      17 |   333249 |   250032 |     9194     41 |        0 |        0
1051.37/1051.76	c 1051s |      17 |   333846 |   250532 |     9194     41 |        0 |        0
1053.68/1054.04	c 1053s |      17 |   334425 |   251032 |     9194     41 |        0 |        0
1055.87/1056.23	c 1055s |      17 |   334981 |   251532 |     9194     41 |        0 |        0
1058.07/1058.44	c 1058s |      17 |   335553 |   252032 |     9194     41 |        0 |        0
1060.46/1060.83	c 1060s |      17 |   336114 |   252532 |     9194     41 |        0 |        0
1062.77/1063.17	c 1062s |      17 |   336662 |   253032 |     9194     41 |        0 |        0
1064.86/1065.20	c 1064s |      17 |   337128 |   253432 |     9194     41 |        0 |        0
1067.06/1067.40	c 1067s |      17 |   337676 |   253932 |     9194     41 |        0 |        0
1069.27/1069.62	c 1069s |      17 |   338218 |   254432 |     9194     41 |        0 |        0
1071.28/1071.67	c 1071s |      17 |   338643 |   254832 |     9194     41 |        0 |        0
1073.76/1074.16	c 1073s |      17 |   339204 |   255332 |     9194     41 |        0 |        0
1076.36/1076.71	c 1076s |      17 |   339732 |   255832 |     9194     41 |        0 |        0
1078.77/1079.15	c 1078s |      17 |   340174 |   256232 |     9194     42 |        0 |        0
1081.07/1081.49	c 1081s |      17 |   340742 |   256732 |     9194     42 |        0 |        0
1083.27/1083.68	c 1083s |      17 |   341296 |   257232 |     9194     42 |        0 |        0
1085.57/1085.96	c 1085s |      17 |   341851 |   257732 |     9194     42 |        0 |        0
1087.86/1088.25	c 1087s |      17 |   342417 |   258232 |     9194     42 |        0 |        0
1090.26/1090.61	c 1090s |      17 |   342976 |   258732 |     9194     42 |        0 |        0
1092.66/1093.09	c 1092s |      17 |   343510 |   259232 |     9194     42 |        0 |        0
1094.77/1095.11	c 1094s |      17 |   343958 |   259632 |     9194     42 |        0 |        0
1096.76/1097.17	c 1096s |      17 |   344399 |   260032 |     9194     42 |        0 |        0
1098.96/1099.31	c 1098s |      17 |   344843 |   260432 |     9194     42 |        0 |        0
1101.26/1101.68	c 1101s |      17 |   345280 |   260832 |     9194     42 |        0 |        0
1103.66/1104.09	c 1103s |      17 |   345724 |   261232 |     9194     42 |        0 |        0
1106.06/1106.46	c 1106s |      17 |   346168 |   261632 |     9194     42 |        0 |        0
1108.26/1108.67	c 1108s |      17 |   346598 |   262032 |     9194     42 |        0 |        0
1110.56/1110.91	c 1110s |      17 |   347026 |   262432 |     9194     42 |        0 |        0
1112.66/1113.06	c 1112s |      17 |   347468 |   262832 |     9194     42 |        0 |        0
1115.17/1115.56	c 1115s |      17 |   347791 |   263132 |     9194     43 |        0 |        0
1117.36/1117.75	c 1117s |      17 |   348229 |   263532 |     9194     43 |        0 |        0
1119.85/1120.23	c 1119s |      17 |   348762 |   264032 |     9194     43 |        0 |        0
1122.36/1122.71	c 1122s |      17 |   349308 |   264532 |     9194     43 |        0 |        0
1124.56/1124.91	c 1124s |      17 |   349744 |   264932 |     9194     43 |        0 |        0
1126.76/1127.12	c 1126s |      17 |   350180 |   265332 |     9194     43 |        0 |        0
1128.76/1129.16	c 1128s |      17 |   350602 |   265732 |     9194     43 |        0 |        0
1131.25/1131.68	c 1131s |      17 |   351158 |   266232 |     9194     43 |        0 |        0
1133.36/1133.75	c 1133s |      17 |   351603 |   266632 |     9194     43 |        0 |        0
1135.56/1135.94	c 1135s |      17 |   352041 |   267032 |     9194     43 |        0 |        0
1137.56/1137.98	c 1137s |      17 |   352486 |   267432 |     9194     43 |        0 |        0
1139.85/1140.27	c 1139s |      17 |   353036 |   267932 |     9194     43 |        0 |        0
1142.35/1142.79	c 1142s |      17 |   353594 |   268432 |     9194     43 |        0 |        0
1144.46/1144.87	c 1144s |      17 |   354031 |   268832 |     9194     43 |        0 |        0
1146.65/1147.01	c 1146s |      17 |   354468 |   269232 |     9194     43 |        0 |        0
1148.85/1149.21	c 1148s |      17 |   354902 |   269632 |     9194     43 |        0 |        0
1151.25/1151.67	c 1151s |      17 |   355320 |   270032 |     9194     43 |        0 |        0
1153.55/1153.92	c 1153s |      17 |   355656 |   270332 |     9194     44 |        0 |        0
1156.46/1156.88	c 1156s |      17 |   356103 |   270732 |     9194     44 |        0 |        0
1158.95/1159.34	c 1158s |      17 |   356669 |   271232 |     9194     44 |        0 |        0
1161.16/1161.51	c 1161s |      17 |   357091 |   271632 |     9194     44 |        0 |        0
1163.45/1163.83	c 1163s |      17 |   357528 |   272032 |     9194     44 |        0 |        0
1165.76/1166.13	c 1165s |      17 |   357941 |   272432 |     9194     44 |        0 |        0
1167.96/1168.39	c 1168s |      17 |   358377 |   272832 |     9194     44 |        0 |        0
1170.35/1170.72	c 1170s |      17 |   358791 |   273232 |     9194     44 |        0 |        0
1172.55/1172.90	c 1172s |      17 |   359253 |   273632 |     9194     44 |        0 |        0
1174.95/1175.38	c 1174s |      17 |   359669 |   274032 |     9194     44 |        0 |        0
1177.65/1178.03	c 1177s |      17 |   360088 |   274432 |     9194     44 |        0 |        0
1180.16/1180.57	c 1180s |      17 |   360527 |   274832 |     9194     44 |        0 |        0
1182.75/1183.16	c 1182s |      17 |   360982 |   275232 |     9194     44 |        0 |        0
1185.45/1185.81	c 1185s |      17 |   361413 |   275632 |     9194     44 |        0 |        0
1187.75/1188.17	c 1187s |      17 |   361900 |   276032 |     9194     44 |        0 |        0
1190.06/1190.43	c 1190s |      17 |   362338 |   276432 |     9194     44 |        0 |        0
1192.05/1192.48	c 1192s |      17 |   362775 |   276832 |     9194     44 |        0 |        0
1194.95/1195.37	c 1194s |      17 |   363264 |   277232 |     9194     45 |        0 |        0
1197.24/1197.61	c 1197s |      17 |   363972 |   277832 |     9194     45 |        0 |        0
1199.45/1199.88	c 1199s |      17 |   364658 |   278432 |     9194     45 |        0 |        0
1201.55/1201.94	c 1201s |      17 |   365251 |   278932 |     9194     45 |        0 |        0
1203.95/1204.36	c 1203s |      17 |   365812 |   279432 |     9194     45 |        0 |        0
1206.24/1206.64	c 1206s |      17 |   366383 |   279932 |     9194     45 |        0 |        0
1208.25/1208.67	c 1208s |      17 |   366820 |   280332 |     9194     45 |        0 |        0
1210.34/1210.71	c 1210s |      17 |   367262 |   280732 |     9194     45 |        0 |        0
1212.55/1212.97	c 1212s |      17 |   367705 |   281132 |     9194     45 |        0 |        0
1214.65/1215.04	c 1214s |      17 |   368138 |   281532 |     9194     45 |        0 |        0
1216.95/1217.36	c 1216s |      17 |   368573 |   281932 |     9194     45 |        0 |        0
1219.34/1219.71	c 1219s |      17 |   369017 |   282332 |     9194     45 |        0 |        0
1221.44/1221.81	c 1221s |      17 |   369449 |   282732 |     9194     45 |        0 |        0
1223.65/1224.08	c 1223s |      17 |   369871 |   283132 |     9194     45 |        0 |        0
1225.74/1226.12	c 1225s |      17 |   370314 |   283532 |     9194     45 |        0 |        0
1227.94/1228.34	c 1227s |      17 |   370760 |   283932 |     9194     45 |        0 |        0
1231.25/1231.68	c 1231s |      17 |   371205 |   284332 |     9194     46 |        0 |        0
1233.64/1234.02	c 1233s |      17 |   371646 |   284732 |     9194     46 |        0 |        0
1236.04/1236.40	c 1236s |      17 |   372217 |   285232 |     9194     46 |        0 |        0
1238.14/1238.52	c 1238s |      17 |   372652 |   285632 |     9194     46 |        0 |        0
1240.55/1240.91	c 1240s |      17 |   373087 |   286032 |     9194     46 |        0 |        0
1242.75/1243.18	c 1242s |      17 |   373517 |   286432 |     9194     46 |        0 |        0
1245.04/1245.42	c 1245s |      17 |   373962 |   286832 |     9194     46 |        0 |        0
1247.34/1247.70	c 1247s |      17 |   374388 |   287232 |     9194     46 |        0 |        0
1249.84/1250.23	c 1249s |      17 |   374821 |   287632 |     9194     46 |        0 |        0
1252.44/1252.80	c 1252s |      17 |   375261 |   288032 |     9194     46 |        0 |        0
1254.44/1254.83	c 1254s |      17 |   375613 |   288332 |     9194     46 |        0 |        0
1256.74/1257.10	c 1256s |      17 |   376177 |   288832 |     9194     46 |        0 |        0
1259.04/1259.49	c 1259s |      17 |   376789 |   289332 |     9194     46 |        0 |        0
1261.34/1261.74	c 1261s |      17 |   377379 |   289832 |     9194     46 |        0 |        0
1263.75/1264.17	c 1263s |      17 |   378042 |   290332 |     9194     46 |        0 |        0
1266.24/1266.62	c 1266s |      17 |   378687 |   290832 |     9194     46 |        0 |        0
1268.43/1268.89	c 1268s |      17 |   379154 |   291232 |     9194     46 |        0 |        0
1270.84/1271.21	c 1270s |      17 |   379503 |   291532 |     9194     47 |        0 |        0
1272.94/1273.39	c 1272s |      17 |   379948 |   291932 |     9194     47 |        0 |        0
1275.24/1275.69	c 1275s |      17 |   380506 |   292432 |     9194     47 |        0 |        0
1277.73/1278.12	c 1277s |      17 |   381106 |   292932 |     9194     47 |        0 |        0
1279.83/1280.28	c 1279s |      17 |   381535 |   293332 |     9194     47 |        0 |        0
1281.93/1282.33	c 1281s |      17 |   381992 |   293732 |     9194     47 |        0 |        0
1284.04/1284.45	c 1284s |      17 |   382431 |   294132 |    10114     47 |        0 |        0
1286.13/1286.58	c 1286s |      17 |   382957 |   294532 |    10114     47 |        0 |        0
1288.53/1288.90	c 1288s |      17 |   383532 |   295032 |    10114     47 |        0 |        0
1290.83/1291.25	c 1290s |      17 |   384110 |   295532 |    10114     47 |        0 |        0
1293.34/1293.74	c 1293s |      17 |   384682 |   296032 |    10114     47 |        0 |        0
1294.54/1294.99	c 1294s |      18 |   384927 |   296252 |    10114     47 |        0 |        0
1296.74/1297.18	c 1296s |      18 |   387330 |   296552 |    10114     48 |        0 |        0
1298.94/1299.38	c 1298s |      18 |   388373 |   297452 |    10114     48 |        0 |        0
1301.23/1301.61	c 1301s |      18 |   389206 |   298152 |    10114     48 |        0 |        0
1303.43/1303.82	c 1303s |      18 |   390003 |   298852 |    10114     48 |        0 |        0
1305.54/1305.94	c 1305s |      18 |   390692 |   299452 |    10114     48 |        0 |        0
1307.53/1307.97	c 1307s |      18 |   391370 |   300052 |    10114     48 |        0 |        0
1309.63/1310.08	c 1309s |      18 |   392072 |   300652 |    10114     48 |        0 |        0
1311.73/1312.19	c 1311s |      18 |   392767 |   301252 |    10114     48 |        0 |        0
1314.03/1314.48	c 1314s |      18 |   393490 |   301852 |    10114     48 |        0 |        0
1316.43/1316.85	c 1316s |      18 |   394221 |   302452 |    10114     48 |        0 |        0
1318.53/1318.94	c 1318s |      18 |   394791 |   302952 |    10114     48 |        0 |        0
1320.63/1321.08	c 1320s |      18 |   395343 |   303452 |    10114     48 |        0 |        0
1322.83/1323.28	c 1322s |      18 |   396017 |   304052 |    10114     48 |        0 |        0
1325.03/1325.49	c 1325s |      18 |   396576 |   304552 |    10114     48 |        0 |        0
1327.53/1327.90	c 1327s |      18 |   397113 |   305052 |    10114     48 |        0 |        0
1330.12/1330.57	c 1330s |      18 |   397555 |   305452 |    10114     49 |        0 |        0
1332.23/1332.61	c 1332s |      18 |   398110 |   305952 |    10114     49 |        0 |        0
1334.43/1334.89	c 1334s |      18 |   398687 |   306452 |    10114     49 |        0 |        0
1336.82/1337.27	c 1336s |      18 |   399267 |   306952 |    10114     49 |        0 |        0
1339.22/1339.63	c 1339s |      18 |   399861 |   307452 |    10114     49 |        0 |        0
1341.23/1341.67	c 1341s |      18 |   400440 |   307952 |    10114     49 |        0 |        0
1343.33/1343.70	c 1343s |      18 |   401012 |   308452 |    10114     49 |        0 |        0
1345.43/1345.82	c 1345s |      18 |   401574 |   308952 |    10114     49 |        0 |        0
1347.72/1348.14	c 1347s |      18 |   402154 |   309452 |    10114     49 |        0 |        0
1350.02/1350.41	c 1350s |      18 |   402705 |   309952 |    10114     49 |        0 |        0
1352.02/1352.48	c 1352s |      18 |   403146 |   310352 |    10114     49 |        0 |        0
1354.13/1354.51	c 1354s |      18 |   403588 |   310752 |    10114     49 |        0 |        0
1356.22/1356.61	c 1356s |      18 |   404025 |   311152 |    10114     49 |        0 |        0
1358.33/1358.80	c 1358s |      18 |   404444 |   311552 |    10114     49 |        0 |        0
1360.73/1361.17	c 1360s |      18 |   404881 |   311952 |    10114     49 |        0 |        0
1362.92/1363.36	c 1362s |      18 |   405336 |   312352 |    10114     49 |        0 |        0
1365.02/1365.43	c 1365s |      18 |   405774 |   312752 |    10114     49 |        0 |        0
1367.22/1367.68	c 1367s |      18 |   406090 |   313052 |    10114     50 |        0 |        0
1369.42/1369.88	c 1369s |      18 |   406522 |   313452 |    10114     50 |        0 |        0
1371.92/1372.38	c 1371s |      18 |   407058 |   313952 |    10114     50 |        0 |        0
1374.12/1374.57	c 1374s |      18 |   407512 |   314352 |    10114     50 |        0 |        0
1376.32/1376.76	c 1376s |      18 |   408055 |   314852 |    10114     50 |        0 |        0
1378.71/1379.19	c 1378s |      18 |   408626 |   315352 |    10114     50 |        0 |        0
1381.12/1381.57	c 1381s |      18 |   409215 |   315852 |    10114     50 |        0 |        0
1383.53/1383.92	c 1383s |      18 |   409811 |   316352 |    10114     50 |        0 |        0
1385.72/1386.17	c 1385s |      18 |   410243 |   316752 |    10114     50 |        0 |        0
1388.12/1388.50	c 1388s |      18 |   410823 |   317252 |    10114     50 |        0 |        0
1390.41/1390.85	c 1390s |      18 |   411400 |   317752 |    10114     50 |        0 |        0
1392.92/1393.31	c 1392s |      18 |   411960 |   318252 |    10114     50 |        0 |        0
1395.32/1395.77	c 1395s |      18 |   412512 |   318752 |    10114     50 |        0 |        0
1397.52/1397.97	c 1397s |      18 |   412972 |   319152 |    10114     50 |        0 |        0
1399.71/1400.10	c 1399s |      18 |   413423 |   319552 |    10114     50 |        0 |        0
1402.22/1402.64	c 1402s |      18 |   413973 |   320052 |    10114     50 |        0 |        0
1404.42/1404.87	c 1404s |      18 |   414405 |   320452 |    10114     50 |        0 |        0
1406.51/1406.91	c 1406s |      18 |   414629 |   320652 |    10114     51 |        0 |        0
1408.83/1409.29	c 1408s |      18 |   415056 |   321052 |    10114     51 |        0 |        0
1411.03/1411.42	c 1411s |      18 |   415621 |   321552 |    10114     51 |        0 |        0
1413.52/1413.99	c 1413s |      18 |   416186 |   322052 |    10114     51 |        0 |        0
1416.01/1416.44	c 1416s |      18 |   416737 |   322552 |    10114     51 |        0 |        0
1418.11/1418.51	c 1418s |      18 |   417184 |   322952 |    10114     51 |        0 |        0
1420.11/1420.55	c 1420s |      18 |   417658 |   323352 |    10114     51 |        0 |        0
1422.22/1422.67	c 1422s |      18 |   418091 |   323752 |    10114     51 |        0 |        0
1424.61/1425.05	c 1424s |      18 |   418534 |   324152 |    10114     51 |        0 |        0
1426.81/1427.25	c 1426s |      18 |   418990 |   324552 |    10114     51 |        0 |        0
1429.31/1429.76	c 1429s |      18 |   419541 |   325052 |    10114     51 |        0 |        0
1431.61/1432.02	c 1431s |      18 |   419968 |   325452 |    10114     51 |        0 |        0
1434.22/1434.67	c 1434s |      18 |   420386 |   325852 |    10114     51 |        0 |        0
1436.61/1437.05	c 1436s |      18 |   420839 |   326252 |    10114     51 |        0 |        0
1438.81/1439.27	c 1438s |      18 |   421290 |   326652 |    10114     51 |        0 |        0
1441.11/1441.60	c 1441s |      18 |   421718 |   327052 |    10114     51 |        0 |        0
1443.51/1443.93	c 1443s |      18 |   422141 |   327452 |    10114     51 |        0 |        0
1445.71/1446.19	c 1445s |      18 |   422584 |   327852 |    10114     51 |        0 |        0
1448.41/1448.90	c 1448s |      18 |   422922 |   328152 |    10114     52 |        0 |        0
1450.91/1451.39	c 1450s |      18 |   423477 |   328652 |    10114     52 |        0 |        0
1452.91/1453.40	c 1453s |      18 |   423898 |   329052 |    10114     52 |        0 |        0
1455.11/1455.53	c 1455s |      18 |   424342 |   329452 |    10114     52 |        0 |        0
1457.22/1457.67	c 1457s |      18 |   424848 |   329852 |    10114     52 |        0 |        0
1459.52/1459.93	c 1459s |      18 |   425318 |   330252 |    10114     52 |        0 |        0
1461.81/1462.28	c 1461s |      18 |   425765 |   330652 |    10114     52 |        0 |        0
1464.01/1464.48	c 1464s |      18 |   426211 |   331052 |    10114     52 |        0 |        0
1466.20/1466.68	c 1466s |      18 |   426664 |   331452 |    10114     52 |        0 |        0
1468.50/1468.97	c 1468s |      18 |   427098 |   331852 |    10114     52 |        0 |        0
1471.00/1471.40	c 1471s |      18 |   427559 |   332252 |    10114     52 |        0 |        0
1473.31/1473.72	c 1473s |      18 |   427999 |   332652 |    10114     52 |        0 |        0
1475.60/1476.03	c 1475s |      18 |   428430 |   333052 |    10114     52 |        0 |        0
1478.01/1478.42	c 1478s |      18 |   428870 |   333452 |    10114     52 |        0 |        0
1480.21/1480.69	c 1480s |      18 |   429299 |   333852 |    10114     52 |        0 |        0
1482.61/1483.03	c 1482s |      18 |   429739 |   334252 |    10114     52 |        0 |        0
1485.00/1485.49	c 1485s |      18 |   430154 |   334652 |    10114     52 |        0 |        0
1487.50/1487.96	c 1487s |      18 |   430616 |   335052 |    10114     52 |        0 |        0
1489.51/1489.97	c 1489s |      18 |   430933 |   335352 |    10114     52 |        0 |        0
1492.41/1492.85	c 1492s |      18 |   431263 |   335652 |    10114     53 |        0 |        0
1494.80/1495.29	c 1494s |      18 |   431684 |   336052 |    10114     53 |        0 |        0
1497.20/1497.64	c 1497s |      18 |   432115 |   336452 |    10114     53 |        0 |        0
1500.11/1500.58	c 1500s |      18 |   432554 |   336852 |    10114     53 |        0 |        0
1502.60/1503.07	c 1502s |      18 |   432981 |   337252 |    10114     53 |        0 |        0
1505.10/1505.55	c 1505s |      18 |   433397 |   337652 |    10114     53 |        0 |        0
1507.50/1507.93	c 1507s |      18 |   433821 |   338052 |    10114     53 |        0 |        0
1509.89/1510.34	c 1509s |      18 |   434242 |   338452 |    10114     53 |        0 |        0
1512.39/1512.86	c 1512s |      18 |   434660 |   338852 |    10114     53 |        0 |        0
1514.90/1515.39	c 1514s |      18 |   435081 |   339252 |    10114     53 |        0 |        0
1517.40/1517.84	c 1517s |      18 |   435516 |   339652 |    10114     53 |        0 |        0
1520.01/1520.43	c 1520s |      18 |   435961 |   340052 |    10114     53 |        0 |        0
1522.50/1522.94	c 1522s |      18 |   436390 |   340452 |    10114     53 |        0 |        0
1525.10/1525.51	c 1525s |      18 |   436831 |   340852 |    10114     53 |        0 |        0
1527.09/1527.55	c 1527s |      18 |   437147 |   341152 |    10114     53 |        0 |        0
1529.10/1529.57	c 1529s |      18 |   437474 |   341452 |    10114     53 |        0 |        0
1531.60/1532.02	c 1531s |      18 |   437899 |   341852 |    10114     53 |        0 |        0
1534.10/1534.60	c 1534s |      18 |   438338 |   342252 |    10114     53 |        0 |        0
1536.59/1537.07	c 1536s |      18 |   438760 |   342652 |    10114     53 |        0 |        0
1538.71/1539.13	c 1538s |      18 |   439076 |   342952 |    10114     53 |        0 |        0
1541.50/1541.90	c 1541s |      18 |   439387 |   343252 |    10114     54 |        0 |        0
1544.29/1544.71	c 1544s |      18 |   439799 |   343652 |    10114     54 |        0 |        0
1546.31/1546.73	c 1546s |      18 |   440116 |   343952 |    10114     54 |        0 |        0
1548.69/1549.15	c 1548s |      18 |   440557 |   344352 |    10114     54 |        0 |        0
1550.70/1551.17	c 1550s |      18 |   440879 |   344652 |    10114     54 |        0 |        0
1552.90/1553.34	c 1552s |      18 |   441331 |   345052 |    10114     54 |        0 |        0
1555.10/1555.52	c 1555s |      18 |   441864 |   345452 |    10114     54 |        0 |        0
1557.10/1557.57	c 1557s |      18 |   442340 |   345852 |    10114     54 |        0 |        0
1559.19/1559.69	c 1559s |      18 |   442798 |   346252 |    10114     54 |        0 |        0
1561.39/1561.82	c 1561s |      18 |   443228 |   346652 |    10114     54 |        0 |        0
1563.69/1564.13	c 1563s |      18 |   443668 |   347052 |    10114     54 |        0 |        0
1565.99/1566.41	c 1566s |      18 |   444107 |   347452 |    10114     54 |        0 |        0
1568.19/1568.65	c 1568s |      18 |   444550 |   347852 |    10114     54 |        0 |        0
1570.79/1571.26	c 1570s |      18 |   444953 |   348252 |    10114     54 |        0 |        0
1573.29/1573.71	c 1573s |      18 |   445376 |   348652 |    10114     54 |        0 |        0
1575.29/1575.76	c 1575s |      18 |   445829 |   349052 |    10114     54 |        0 |        0
1577.39/1577.85	c 1577s |      18 |   446273 |   349452 |    10114     54 |        0 |        0
1579.78/1580.25	c 1579s |      18 |   446732 |   349852 |    10114     54 |        0 |        0
1582.29/1582.73	c 1582s |      18 |   447172 |   350252 |    10114     54 |        0 |        0
1584.80/1585.22	c 1584s |      18 |   447612 |   350652 |    10114     54 |        0 |        0
1587.49/1587.94	c 1587s |      18 |   447934 |   350952 |    10114     55 |        0 |        0
1589.69/1590.13	c 1589s |      18 |   448368 |   351352 |    10114     55 |        0 |        0
1591.88/1592.35	c 1591s |      18 |   448811 |   351752 |    10114     55 |        0 |        0
1594.29/1594.72	c 1594s |      18 |   449236 |   352152 |    10114     55 |        0 |        0
1596.49/1596.94	c 1596s |      18 |   449676 |   352552 |    10114     55 |        0 |        0
1598.69/1599.17	c 1598s |      18 |   450106 |   352952 |    10114     55 |        0 |        0
1600.88/1601.30	c 1600s |      18 |   450537 |   353352 |    10114     55 |        0 |        0
1603.49/1603.96	c 1603s |      18 |   450965 |   353752 |    10114     55 |        0 |        0
1605.98/1606.46	c 1606s |      18 |   451392 |   354152 |    10114     55 |        0 |        0
1608.68/1609.12	c 1608s |      18 |   451825 |   354552 |    10114     55 |        0 |        0
1610.79/1611.22	c 1610s |      18 |   452166 |   354852 |    10114     55 |        0 |        0
1612.99/1613.42	c 1613s |      18 |   452627 |   355252 |    10114     55 |        0 |        0
1615.28/1615.71	c 1615s |      18 |   453091 |   355652 |    10114     55 |        0 |        0
1617.48/1617.96	c 1617s |      18 |   453515 |   356052 |    10114     55 |        0 |        0
1619.78/1620.23	c 1619s |      18 |   453939 |   356452 |    10114     55 |        0 |        0
1621.99/1622.46	c 1622s |      18 |   454401 |   356852 |    10114     55 |        0 |        0
1624.49/1624.98	c 1624s |      18 |   454844 |   357252 |    10114     55 |        0 |        0
1627.18/1627.62	c 1627s |      18 |   455286 |   357652 |    10114     55 |        0 |        0
1629.38/1629.86	c 1629s |      18 |   455605 |   357952 |    10114     55 |        0 |        0
1632.28/1632.71	c 1632s |      18 |   455927 |   358252 |    10114     56 |        0 |        0
1634.29/1634.72	c 1634s |      18 |   456246 |   358552 |    10114     56 |        0 |        0
1636.38/1636.88	c 1636s |      18 |   456686 |   358952 |    10114     56 |        0 |        0
1638.69/1639.12	c 1638s |      18 |   457101 |   359352 |    10114     56 |        0 |        0
1641.08/1641.51	c 1641s |      18 |   457540 |   359752 |    10114     56 |        0 |        0
1643.38/1643.82	c 1643s |      18 |   457970 |   360152 |    10114     56 |        0 |        0
1645.58/1646.08	c 1645s |      18 |   458432 |   360552 |    10114     56 |        0 |        0
1647.78/1648.29	c 1647s |      18 |   458854 |   360952 |    10114     56 |        0 |        0
1650.38/1650.85	c 1650s |      18 |   459280 |   361352 |    10114     56 |        0 |        0
1652.48/1652.94	c 1652s |      18 |   459614 |   361652 |    10114     56 |        0 |        0
1654.88/1655.36	c 1654s |      18 |   460032 |   362052 |    10114     56 |        0 |        0
1657.58/1658.00	c 1657s |      18 |   460471 |   362452 |    10114     56 |        0 |        0
1660.18/1660.60	c 1660s |      18 |   460922 |   362852 |    10114     56 |        0 |        0
1662.77/1663.22	c 1662s |      18 |   461357 |   363252 |    10114     56 |        0 |        0
1664.77/1665.29	c 1664s |      18 |   461676 |   363552 |    10114     56 |        0 |        0
1667.28/1667.78	c 1667s |      18 |   462102 |   363952 |    10114     56 |        0 |        0
1669.88/1670.39	c 1669s |      18 |   462527 |   364352 |    10114     56 |        0 |        0
1672.48/1672.94	c 1672s |      18 |   462959 |   364752 |    10114     56 |        0 |        0
1674.48/1674.97	c 1674s |      18 |   463304 |   365052 |    10114     56 |        0 |        0
1676.48/1676.98	c 1676s |      18 |   463627 |   365352 |    10114     56 |        0 |        0
1679.48/1679.95	c 1679s |      18 |   464117 |   365752 |    10114     57 |        0 |        0
1681.97/1682.43	c 1682s |      18 |   464659 |   366252 |    10114     57 |        0 |        0
1683.98/1684.47	c 1684s |      18 |   465140 |   366652 |    10114     57 |        0 |        0
1686.17/1686.67	c 1686s |      18 |   465565 |   367052 |    10114     57 |        0 |        0
1688.47/1688.98	c 1688s |      18 |   466176 |   367552 |    10114     57 |        0 |        0
1690.67/1691.10	c 1690s |      18 |   466653 |   367952 |    10114     57 |        0 |        0
1692.87/1693.38	c 1692s |      18 |   467099 |   368352 |    10114     57 |        0 |        0
1695.27/1695.72	c 1695s |      18 |   467686 |   368852 |    10114     57 |        0 |        0
1697.27/1697.72	c 1697s |      18 |   468119 |   369252 |    10114     57 |        0 |        0
1699.77/1700.25	c 1699s |      18 |   468643 |   369752 |    10114     57 |        0 |        0
1701.87/1702.36	c 1701s |      18 |   469078 |   370152 |    10114     57 |        0 |        0
1704.37/1704.89	c 1704s |      18 |   469517 |   370552 |    10114     57 |        0 |        0
1706.77/1707.30	c 1706s |      18 |   469971 |   370952 |    10114     57 |        0 |        0
1708.97/1709.43	c 1709s |      18 |   470417 |   371352 |    10114     57 |        0 |        0
1711.07/1711.53	c 1711s |      18 |   470847 |   371752 |    10114     57 |        0 |        0
1713.26/1713.75	c 1713s |      18 |   471288 |   372152 |    10114     57 |        0 |        0
1715.68/1716.15	c 1715s |      18 |   471721 |   372552 |    10114     57 |        0 |        0
1717.98/1718.48	c 1718s |      18 |   472153 |   372952 |    10114     57 |        0 |        0
1720.97/1721.41	c 1721s |      18 |   472598 |   373352 |    10114     58 |        0 |        0
1722.97/1723.48	c 1723s |      18 |   472918 |   373652 |    10114     58 |        0 |        0
1725.46/1725.90	c 1725s |      18 |   473476 |   374152 |    10114     58 |        0 |        0
1727.56/1728.00	c 1727s |      18 |   473908 |   374552 |    10114     58 |        0 |        0
1729.67/1730.10	c 1729s |      18 |   474337 |   374952 |    10114     58 |        0 |        0
1731.87/1732.36	c 1731s |      18 |   474766 |   375352 |    10114     58 |        0 |        0
1734.16/1734.63	c 1734s |      18 |   475220 |   375752 |    10114     58 |        0 |        0
1736.57/1737.01	c 1736s |      18 |   475652 |   376152 |    10114     58 |        0 |        0
1738.96/1739.47	c 1739s |      18 |   476077 |   376552 |    10114     58 |        0 |        0
1741.26/1741.74	c 1741s |      18 |   476512 |   376952 |    10114     58 |        0 |        0
1743.56/1744.02	c 1743s |      18 |   476955 |   377352 |    10114     58 |        0 |        0
1745.97/1746.40	c 1746s |      18 |   477395 |   377752 |    10114     58 |        0 |        0
1748.37/1748.89	c 1748s |      18 |   477821 |   378152 |    10114     58 |        0 |        0
1751.06/1751.58	c 1751s |      18 |   478280 |   378552 |    10114     58 |        0 |        0
1753.17/1753.69	c 1753s |      18 |   478589 |   378852 |    10114     58 |        0 |        0
1755.37/1755.87	c 1755s |      18 |   479010 |   379252 |    10114     58 |        0 |        0
1757.76/1758.27	c 1757s |      18 |   479462 |   379652 |    10114     58 |        0 |        0
1760.46/1760.90	c 1760s |      18 |   479880 |   380052 |    10114     58 |        0 |        0
1763.06/1763.53	c 1763s |      18 |   480295 |   380452 |    10114     58 |        0 |        0
1765.66/1766.15	c 1765s |      18 |   480729 |   380852 |    10114     58 |        0 |        0
1767.76/1768.27	c 1767s |      18 |   480947 |   381052 |    10114     59 |        0 |        0
1769.86/1770.30	c 1769s |      18 |   481390 |   381452 |    10114     59 |        0 |        0
1772.06/1772.55	c 1772s |      18 |   481822 |   381852 |    10114     59 |        0 |        0
1774.26/1774.78	c 1774s |      18 |   482235 |   382252 |    10114     59 |        0 |        0
1776.55/1777.06	c 1776s |      18 |   482660 |   382652 |    10114     59 |        0 |        0
1779.06/1779.53	c 1779s |      18 |   483090 |   383052 |    10114     59 |        0 |        0
1781.36/1781.83	c 1781s |      18 |   483529 |   383452 |    10114     59 |        0 |        0
1783.86/1784.33	c 1783s |      18 |   483955 |   383852 |    10114     59 |        0 |        0
1786.46/1786.93	c 1786s |      18 |   484401 |   384252 |    10114     59 |        0 |        0
1789.06/1789.52	c 1789s |      18 |   484828 |   384652 |    10114     59 |        0 |        0
1791.57/1792.03	c 1791s |      18 |   485256 |   385052 |    10114     59 |        0 |        0
1794.05/1794.57	c 1794s |      18 |   485682 |   385452 |    10114     59 |        0 |        0
1796.65/1797.13	c 1796s |      18 |   486112 |   385852 |    10114     59 |        0 |        0
1799.15/1799.66	c 1799s |      18 |   486528 |   386252 |    10114     59 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4093415-1466084178/watcher-4093415-1466084178 -o /tmp/evaluation-result-4093415-1466084178/solver-4093415-1466084178 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466074835-11959 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093415-1466084178.wbo 

pid=13163
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.12 2.10 2.07 4/178 13166
/proc/meminfo: memFree=30393952/32872528 swapFree=525044/557748
[pid=13166] ppid=13163 vsize=724412 CPUtime=0 cores=1,3,5,7
/proc/13166/stat : 13166 (toysat) R 13163 13166 10502 0 -1 4202496 2702 0 0 0 0 0 0 0 20 0 4 0 10467940 741797888 3573 33554432000 4194304 16246674 140733277264480 140733277263904 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13166/statm: 181871 3583 441 2943 0 178765 0
[pid=13166/tid=13167] ppid=13163 vsize=742844 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13167/stat : 13167 (toysat) S 13163 13166 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10467940 760672256 3645 33554432000 4194304 16246674 140733277264480 140034881596656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13168] ppid=13163 vsize=747964 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (toysat) S 13163 13166 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10467940 765915136 3663 33554432000 4194304 16246674 140733277264480 140034871106800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=752060 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (toysat) S 13163 13166 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10467940 770109440 3679 33554432000 4194304 16246674 140733277264480 140034791435440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100165 s]
/proc/loadavg: 2.12 2.10 2.07 4/178 13166
/proc/meminfo: memFree=30393952/32872528 swapFree=525044/557748
[pid=13166] ppid=13163 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/13166/stat : 13166 (toysat) R 13163 13166 10502 0 -1 4202496 27078 0 0 0 5 4 0 0 20 0 4 0 10467940 1247350784 27943 33554432000 4194304 16246674 140733277264480 140733277263904 12481124 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13166/statm: 304529 27949 606 2943 0 301423 0
[pid=13166/tid=13167] ppid=13163 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13167/stat : 13167 (toysat) S 13163 13166 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10467940 1247350784 27954 33554432000 4194304 16246674 140733277264480 140034881596656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13168] ppid=13163 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (toysat) S 13163 13166 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10467940 1247350784 27960 33554432000 4194304 16246674 140733277264480 140034871106800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (toysat) S 13163 13166 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10467940 1247350784 27966 33554432000 4194304 16246674 140733277264480 140034791435440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200489 s]
/proc/loadavg: 2.12 2.10 2.07 4/178 13166
/proc/meminfo: memFree=30393952/32872528 swapFree=525044/557748
[pid=13166] ppid=13163 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/13166/stat : 13166 (toysat) R 13163 13166 10502 0 -1 4202496 47416 0 0 0 12 7 0 0 20 0 4 0 10467940 1247350784 48280 33554432000 4194304 16246674 140733277264480 140733277263904 6144396 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13166/statm: 304529 48288 606 2943 0 301423 0
[pid=13166/tid=13167] ppid=13163 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13167/stat : 13167 (toysat) S 13163 13166 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10467940 1247350784 48295 33554432000 4194304 16246674 140733277264480 140034881596656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13168] ppid=13163 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (toysat) S 13163 13166 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10467940 1247350784 48301 33554432000 4194304 16246674 140733277264480 140034871106800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (toysat) S 13163 13166 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10467940 1247350784 48306 33554432000 4194304 16246674 140733277264480 140034791435440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300481 s]
/proc/loadavg: 2.12 2.10 2.07 4/178 13166
/proc/meminfo: memFree=30393952/32872528 swapFree=525044/557748
[pid=13166] ppid=13163 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/13166/stat : 13166 (toysat) R 13163 13166 10502 0 -1 4202496 69728 0 0 0 20 9 0 0 20 0 4 0 10467940 1247350784 70586 33554432000 4194304 16246674 140733277264480 140733277246400 13954410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13166/statm: 304529 70595 775 2943 0 301423 0
[pid=13166/tid=13167] ppid=13163 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13167/stat : 13167 (toysat) S 13163 13166 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10467940 1247350784 70601 33554432000 4194304 16246674 140733277264480 140034881596656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13168] ppid=13163 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (toysat) S 13163 13166 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10467940 1247350784 70606 33554432000 4194304 16246674 140733277264480 140034871106800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (toysat) S 13163 13166 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10467940 1247350784 70608 33554432000 4194304 16246674 140733277264480 140034791435440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700412 s]
/proc/loadavg: 2.12 2.10 2.07 4/178 13166
/proc/meminfo: memFree=30393952/32872528 swapFree=525044/557748
[pid=13166] ppid=13163 vsize=1307204 CPUtime=0.69 cores=1,3,5,7
/proc/13166/stat : 13166 (toysat) R 13163 13166 10502 0 -1 4202496 105315 0 0 0 55 14 0 0 20 0 4 0 10467940 1338576896 106150 33554432000 4194304 16246674 140733277264480 140733277263792 5545784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13166/statm: 326801 106150 868 2943 0 323695 0
[pid=13166/tid=13167] ppid=13163 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13167/stat : 13167 (toysat) S 13163 13166 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10467940 1338576896 106150 33554432000 4194304 16246674 140733277264480 140034881596656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13168] ppid=13163 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (toysat) S 13163 13166 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10467940 1338576896 106150 33554432000 4194304 16246674 140733277264480 140034871106800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (toysat) S 13163 13166 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10467940 1338576896 106150 33554432000 4194304 16246674 140733277264480 140034791435440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1307204

[startup+1.50043 s]
/proc/loadavg: 2.12 2.10 2.07 4/183 13171
/proc/meminfo: memFree=29959188/32872528 swapFree=525044/557748
[pid=13166] ppid=13163 vsize=1307204 CPUtime=1.49 cores=1,3,5,7
/proc/13166/stat : 13166 (toysat) R 13163 13166 10502 0 -1 4202496 108214 0 0 0 135 14 0 0 20 0 4 0 10467940 1338576896 109049 33554432000 4194304 16246674 140733277264480 140733277263656 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13166/statm: 326801 109049 868 2943 0 323695 0
[pid=13166/tid=13167] ppid=13163 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13167/stat : 13167 (toysat) S 13163 13166 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10467940 1338576896 109049 33554432000 4194304 16246674 140733277264480 140034881596656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13168] ppid=13163 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (toysat) S 13163 13166 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10467940 1338576896 109049 33554432000 4194304 16246674 140733277264480 140034871106800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (toysat) S 13163 13166 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10467940 1338576896 109049 33554432000 4194304 16246674 140733277264480 140034791435440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10041 s]
/proc/loadavg: 2.11 2.10 2.07 4/183 13171
/proc/meminfo: memFree=29952856/32872528 swapFree=525044/557748
[pid=13166] ppid=13163 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/13166/stat : 13166 (toysat) R 13163 13166 10502 0 -1 4202496 116161 0 0 0 293 16 0 0 20 0 4 0 10467940 1338576896 116996 33554432000 4194304 16246674 140733277264480 140733277263656 6013156 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13166/statm: 326801 116996 868 2943 0 323695 0
[pid=13166/tid=13167] ppid=13163 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13167/stat : 13167 (toysat) S 13163 13166 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10467940 1338576896 116996 33554432000 4194304 16246674 140733277264480 140034881596656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13168] ppid=13163 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (toysat) S 13163 13166 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10467940 1338576896 116996 33554432000 4194304 16246674 140733277264480 140034871106800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (toysat) S 13163 13166 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10467940 1338576896 116996 33554432000 4194304 16246674 140733277264480 140034791435440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30039 s]
/proc/loadavg: 2.11 2.10 2.07 3/183 13220
/proc/meminfo: memFree=30405908/32872528 swapFree=525044/557748
[pid=13166] ppid=13163 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/13166/stat : 13166 (toysat) R 13163 13166 10502 0 -1 4202496 158658 0 0 0 608 21 0 0 20 0 4 0 10467940 1338576896 159493 33554432000 4194304 16246674 140733277264480 140733277246400 13881473 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13166/statm: 326801 159493 868 2943 0 323695 0
[pid=13166/tid=13167] ppid=13163 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13167/stat : 13167 (toysat) S 13163 13166 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10467940 1338576896 159493 33554432000 4194304 16246674 140733277264480 140034881596656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13168] ppid=13163 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (toysat) S 13163 13166 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10467940 1338576896 159493 33554432000 4194304 16246674 140733277264480 140034871106800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (toysat) S 13163 13166 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10467940 1338576896 159493 33554432000 4194304 16246674 140733277264480 140034791435440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.09 2.10 2.07 3/183 13220
/proc/meminfo: memFree=29967080/32872528 swapFree=525044/557748
[pid=13166] ppid=13163 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/13166/stat : 13166 (toysat) R 13163 13166 10502 0 -1 4202496 212590 0 0 0 1240 29 0 0 20 0 4 0 10467940 1338576896 213425 33554432000 4194304 16246674 140733277264480 140733277246400 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13166/statm: 326801 213425 874 2943 0 323695 0
[pid=13166/tid=13167] ppid=13163 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13167/stat : 13167 (toysat) S 13163 13166 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10467940 1338576896 213425 33554432000 4194304 16246674 140733277264480 140034881596656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13168] ppid=13163 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (toysat) S 13163 13166 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10467940 1338576896 213425 33554432000 4194304 16246674 140733277264480 140034871106800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (toysat) S 13163 13166 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10467940 1338576896 213425 33554432000 4194304 16246674 140733277264480 140034791435440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5075 s]
/proc/loadavg: 2.08 2.09 2.07 3/183 13220
/proc/meminfo: memFree=29581660/32872528 swapFree=525044/557748
[pid=13166] ppid=13163 vsize=1309252 CPUtime=25.5 cores=1,3,5,7
/proc/13166/stat : 13166 (toysat) R 13163 13166 10502 0 -1 4202496 212885 0 0 0 2520 30 0 0 20 0 4 0 10467940 1340674048 213720 33554432000 4194304 16246674 140733277264480 140733277246400 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13166/statm: 327313 213720 875 2943 0 324207 0
[pid=13166/tid=13167] ppid=13163 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13167/stat : 13167 (toysat) S 13163 13166 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10467940 1340674048 213720 33554432000 4194304 16246674 140733277264480 140034881596656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13168] ppid=13163 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (toysat) S 13163 13166 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10467940 1340674048 213720 33554432000 4194304 16246674 140733277264480 140034871106800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (toysat) S 13163 13166 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10467940 1340674048 213720 33554432000 4194304 16246674 140733277264480 140034791435440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1309252

[startup+51.1004 s]
/proc/loadavg: 2.05 2.08 2.07 3/183 13220
/proc/meminfo: memFree=29357524/32872528 swapFree=525044/557748
[pid=13166] ppid=13163 vsize=1309252 CPUtime=51.09 cores=1,3,5,7
/proc/13166/stat : 13166 (toysat) R 13163 13166 10502 0 -1 4202496 268432 0 0 0 5070 39 0 0 20 0 4 0 10467940 1340674048 269267 33554432000 4194304 16246674 140733277264480 140733277246400 6845877 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13166/statm: 327313 269267 875 2943 0 324207 0
[pid=13166/tid=13167] ppid=13163 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13167/stat : 13167 (toysat) S 13163 13166 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10467940 1340674048 269267 33554432000 4194304 16246674 140733277264480 140034881596656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13168] ppid=13163 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (toysat) S 13163 13166 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10467940 1340674048 269267 33554432000 4194304 16246674 140733277264480 140034871106800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (toysat) S 13163 13166 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10467940 1340674048 269267 33554432000 4194304 16246674 140733277264480 140034791435440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1309252

[startup+102.3 s]
/proc/loadavg: 2.02 2.07 2.06 3/183 13221
/proc/meminfo: memFree=29313880/32872528 swapFree=525044/557748
[pid=13166] ppid=13163 vsize=1322564 CPUtime=102.28 cores=1,3,5,7
/proc/13166/stat : 13166 (toysat) R 13163 13166 10502 0 -1 4202496 271760 0 0 0 10185 43 0 0 20 0 4 0 10467940 1354305536 272595 33554432000 4194304 16246674 140733277264480 140733277263656 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13166/statm: 330641 272595 875 2943 0 327535 0
[pid=13166/tid=13167] ppid=13163 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13167/stat : 13167 (toysat) S 13163 13166 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10467940 1354305536 272595 33554432000 4194304 16246674 140733277264480 140034881596656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13168] ppid=13163 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (toysat) S 13163 13166 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10467940 1354305536 272595 33554432000 4194304 16246674 140733277264480 140034871106800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (toysat) S 13163 13166 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10467940 1354305536 272595 33554432000 4194304 16246674 140733277264480 140034791435440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1322564


################
# More data... #
################

/proc/13166/task/13169/stat : 13169 (toysat) S 13163 13166 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140034791435440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1329732

[startup+1302.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/183 13251
/proc/meminfo: memFree=29180396/32872528 swapFree=525044/557748
[pid=13166] ppid=13163 vsize=1329732 CPUtime=1301.93 cores=1,3,5,7
/proc/13166/stat : 13166 (toysat) R 13163 13166 10502 0 -1 4202496 273837 0 0 0 130041 152 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140733277246400 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13166/statm: 332433 274387 875 2943 0 329327 0
[pid=13166/tid=13167] ppid=13163 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13167/stat : 13167 (toysat) S 13163 13166 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140034881596656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13168] ppid=13163 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (toysat) S 13163 13166 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140034871106800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (toysat) S 13163 13166 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140034791435440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1329732

[startup+1362.3 s]
/proc/loadavg: 2.08 2.07 2.06 3/183 13252
/proc/meminfo: memFree=29179820/32872528 swapFree=525044/557748
[pid=13166] ppid=13163 vsize=1329732 CPUtime=1361.92 cores=1,3,5,7
/proc/13166/stat : 13166 (toysat) R 13163 13166 10502 0 -1 4202496 273837 0 0 0 136034 158 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140733277246400 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13166/statm: 332433 274387 875 2943 0 329327 0
[pid=13166/tid=13167] ppid=13163 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13167/stat : 13167 (toysat) S 13163 13166 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140034881596656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13168] ppid=13163 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (toysat) S 13163 13166 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140034871106800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (toysat) S 13163 13166 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140034791435440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1329732

[startup+1422.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/183 13253
/proc/meminfo: memFree=29127728/32872528 swapFree=525044/557748
[pid=13166] ppid=13163 vsize=1329732 CPUtime=1421.92 cores=1,3,5,7
/proc/13166/stat : 13166 (toysat) R 13163 13166 10502 0 -1 4202496 273837 0 0 0 142029 163 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140733277246400 5712544 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13166/statm: 332433 274387 875 2943 0 329327 0
[pid=13166/tid=13167] ppid=13163 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13167/stat : 13167 (toysat) S 13163 13166 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140034881596656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13168] ppid=13163 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (toysat) S 13163 13166 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140034871106800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (toysat) S 13163 13166 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140034791435440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1329732

[startup+1482.3 s]
/proc/loadavg: 2.05 2.06 2.05 3/184 13257
/proc/meminfo: memFree=29127688/32872528 swapFree=525044/557748
[pid=13166] ppid=13163 vsize=1329732 CPUtime=1481.9 cores=1,3,5,7
/proc/13166/stat : 13166 (toysat) R 13163 13166 10502 0 -1 4202496 273837 0 0 0 148021 169 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140733277246400 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13166/statm: 332433 274387 875 2943 0 329327 0
[pid=13166/tid=13167] ppid=13163 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13167/stat : 13167 (toysat) S 13163 13166 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140034881596656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13168] ppid=13163 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (toysat) S 13163 13166 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140034871106800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (toysat) S 13163 13166 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140034791435440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1329732

[startup+1542.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/184 13282
/proc/meminfo: memFree=29127580/32872528 swapFree=525044/557748
[pid=13166] ppid=13163 vsize=1329732 CPUtime=1541.9 cores=1,3,5,7
/proc/13166/stat : 13166 (toysat) R 13163 13166 10502 0 -1 4202496 273837 0 0 0 154016 174 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140733277246400 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13166/statm: 332433 274387 875 2943 0 329327 0
[pid=13166/tid=13167] ppid=13163 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13167/stat : 13167 (toysat) S 13163 13166 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140034881596656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13168] ppid=13163 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (toysat) S 13163 13166 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140034871106800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (toysat) S 13163 13166 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140034791435440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1329732

[startup+1602.3 s]
/proc/loadavg: 2.03 2.05 2.04 3/183 13283
/proc/meminfo: memFree=29127420/32872528 swapFree=525044/557748
[pid=13166] ppid=13163 vsize=1329732 CPUtime=1601.88 cores=1,3,5,7
/proc/13166/stat : 13166 (toysat) R 13163 13166 10502 0 -1 4202496 273837 0 0 0 160008 180 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140733277246400 5721248 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13166/statm: 332433 274387 875 2943 0 329327 0
[pid=13166/tid=13167] ppid=13163 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13167/stat : 13167 (toysat) S 13163 13166 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140034881596656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13168] ppid=13163 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (toysat) S 13163 13166 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140034871106800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (toysat) S 13163 13166 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140034791435440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1329732

[startup+1662.31 s]
/proc/loadavg: 2.01 2.04 2.04 3/183 13284
/proc/meminfo: memFree=29127800/32872528 swapFree=525044/557748
[pid=13166] ppid=13163 vsize=1329732 CPUtime=1661.88 cores=1,3,5,7
/proc/13166/stat : 13166 (toysat) R 13163 13166 10502 0 -1 4202496 273837 0 0 0 166004 184 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140733277246400 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13166/statm: 332433 274387 875 2943 0 329327 0
[pid=13166/tid=13167] ppid=13163 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13167/stat : 13167 (toysat) S 13163 13166 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140034881596656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13168] ppid=13163 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (toysat) S 13163 13166 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140034871106800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (toysat) S 13163 13166 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140034791435440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1329732

[startup+1722.3 s]
/proc/loadavg: 2.14 2.06 2.04 3/183 13285
/proc/meminfo: memFree=29127680/32872528 swapFree=525044/557748
[pid=13166] ppid=13163 vsize=1329732 CPUtime=1721.87 cores=1,3,5,7
/proc/13166/stat : 13166 (toysat) R 13163 13166 10502 0 -1 4202496 273837 0 0 0 171998 189 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140733277263656 13963936 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13166/statm: 332433 274387 875 2943 0 329327 0
[pid=13166/tid=13167] ppid=13163 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13167/stat : 13167 (toysat) S 13163 13166 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140034881596656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13168] ppid=13163 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (toysat) S 13163 13166 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140034871106800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (toysat) S 13163 13166 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140034791435440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1329732

[startup+1782.3 s]
/proc/loadavg: 2.09 2.06 2.04 3/183 13286
/proc/meminfo: memFree=29127064/32872528 swapFree=525044/557748
[pid=13166] ppid=13163 vsize=1329732 CPUtime=1781.86 cores=1,3,5,7
/proc/13166/stat : 13166 (toysat) R 13163 13166 10502 0 -1 4202496 273837 0 0 0 177993 193 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140733277263656 5823891 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13166/statm: 332433 274387 875 2943 0 329327 0
[pid=13166/tid=13167] ppid=13163 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13167/stat : 13167 (toysat) S 13163 13166 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140034881596656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13168] ppid=13163 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (toysat) S 13163 13166 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140034871106800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (toysat) S 13163 13166 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140034791435440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1329732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.07 2.06 2.04 3/183 13286
/proc/meminfo: memFree=29127064/32872528 swapFree=525044/557748
[pid=13166] ppid=13163 vsize=1329732 CPUtime=1800.05 cores=1,3,5,7
/proc/13166/stat : 13166 (toysat) R 13163 13166 10502 0 -1 4202496 273837 0 0 0 179811 194 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140733277246400 5708486 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13166/statm: 332433 274387 875 2943 0 329327 0
[pid=13166/tid=13167] ppid=13163 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13167/stat : 13167 (toysat) S 13163 13166 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140034881596656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13168] ppid=13163 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (toysat) S 13163 13166 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140034871106800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (toysat) S 13163 13166 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10467940 1361645568 274387 33554432000 4194304 16246674 140733277264480 140034791435440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1329732

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13166 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1798.12
CPU system time (s): 1.9487
CPU usage (%): 99.9757
Max. virtual memory (cumulated for all children) (KiB): 1329732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.12
system time used= 1.9487
maximum resident set size= 1097548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273837
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 298
involuntary context switches= 1911

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.56431 second user time and 6.95394 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-16 15:36:18
IDJOB=4093415
IDBENCH=78722
IDSOLVER=2553
FILE ID=node106/4093415-1466084178
RUNJOBID= node106-1466074835-11959
PBS_JOBID= 19904026
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-75-70--soft-66-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093415-1466084178/watcher-4093415-1466084178 -o /tmp/evaluation-result-4093415-1466084178/solver-4093415-1466084178 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466074835-11959 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093415-1466084178.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 9f59d922c085a32576bd21436364ce6a
RANDOM SEED=1526401917

node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30394744 kB
Buffers:           30204 kB
Cached:            99024 kB
SwapCached:         1840 kB
Active:          1168016 kB
Inactive:          53904 kB
Active(anon):    1093884 kB
Inactive(anon):     1072 kB
Active(file):      74132 kB
Inactive(file):    52832 kB
Unevictable:      557748 kB
Mlocked:          525044 kB
SwapTotal:      67108856 kB
SwapFree:       67098928 kB
Dirty:             16340 kB
Writeback:             0 kB
AnonPages:       1534672 kB
Mapped:            10584 kB
Shmem:                 0 kB
Slab:             566316 kB
SReclaimable:      10580 kB
SUnreclaim:       555736 kB
KernelStack:        1512 kB
PageTables:         7324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1792364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    999424 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node106 at 2016-06-16 16:06:19