Trace number 4098108

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.03 1800.51

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_15.opb
MD5SUMc226793b4129901062d8cb1e10a179c8
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6320
Total number of constraints30894
Number of constraints which are clauses30889
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint79
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 94
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-17T01:26:21+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","--pb","--search=bcd2","HOME/instance-4098108-1466119581.opb"]
0.00/0.01	c use --random-gen="926244583 2459910679 1735553018 1022482112 3158791428 3694979504 3576743985 1425077246 2335922511 3992622276 3507513762 984074130 3949002165 1796092693 4174959678 194186916 1545674587 2663007933 2820177021 3206179468 1387340691 1651522804 2691455398 2387500199 1064393447 2900767330 4001420910 3148569371 3088153475 3047653191 3630105563 3052220109 4014772367 645081860 3514995896 2994166516 491368559 1427936758 3481343455 3494616080 2331772947 1108018492 3010663312 3180054260 1792306016 2868713478 3734413089 1366018522 3812047641 107240737 1235086533 3353812421 2248001712 3971323592 672444518 2680300267 327694387 3258223541 3846139970 2518280119 3502140487 1182378843 1680660747 1645694925 962075566 50862166 3948337027 1202906612 699170443 3674697137 335595850 4052203735 2740647429 2490997332 294436252 3937159383 4230645069 964131910 3410736863 743925540 2822590672 2025542998 1164418336 1290916635 4169697270 1511116681 54706771 2113529750 3557028936 5574334 1405468585 3055610595 974108448 420953465 1351613425 3914220856 4013036343 1039359125 539835954 1255622261 2653562326 2398730652 982096407 2372279666 567256866 3575261983 129304393 1776224807 134068281 2172986447 2639286626 2187232240 596401247 3320948762 2814028683 1546250515 3816486664 832229539 1313491188 139769412 1471502105 1018305913 1647817050 1962117996 3808012663 3761349984 601453614 1024798608 709215340 761596575 2407654727 3630990805 462524030 176838214 2129990770 3268186289 2655822707 810807642 2704692836 3404885574 2477366639 4154646453 1464520217 2526902526 2718544290 1527308818 2486309762 2972937773 1483181085 3056814915 970085597 383785528 1392735553 476471493 1971120089 2786867622 3587006570 3835050915 4132863872 2488286127 1085223710 1101726905 2949027558 1467288188 3359291058 3414080465 37982607 1957197173 660432539 2503173632 317834261 3325766262 1093977632 625176368 1476568390 364956781 3089175294 3207677622 1445286518 2267663902 1530198683 1123939847 2662185277 2797373396 1963537592 45478007 1401282789 474005375 829578627 360713826 1047737831 3057725540 3517436982 310675909 2887201900 1394242166 1199816330 2255015280 2278351716 1874099396 2144099193 2643707986 668442889 1529084843 3801952012 1183899393 4145342591 3111106990 1804874031 350823442 3765693903 1906477237 142889364 4186503401 1221778024 3570347424 3044485561 3908816439 1321118210 3147119910 3066447411 546714482 2812557893 935745313 485620079 1776053937 915847155 2445238359 1512909238 1079015196 1483608153 1225675765 2755691556 4195051869 2829154106 2620497449 2114197648 1521219480 1154052368 1642607838 3423284853 3060569138 626860308 1434105712 3157642942 2159129027 2585286082 4257117124 737040613 4058150866 2045778164 3119225650 1301456927 4105414483 3357358328 3990217686 255 362436" option to reproduce the execution
0.79/0.80	c #vars 6320
0.79/0.80	c #constraints 30894
2.09/2.17	c Solving starts ...
2.09/2.17	c ============================[ Search Statistics ]============================
2.09/2.17	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.09/2.17	c       |         |          |          |    Limit     GC | Var      | Constra 
2.09/2.17	c =============================================================================
2.09/2.17	c  0.0s |       0 |        0 |        0 |    12403      0 |        5 |        0
2.69/2.74	c  0.6s |       1 |     1442 |      100 |    12403      0 |        5 |      688
3.39/3.42	c  1.2s |       2 |     3533 |      250 |    13644      0 |        5 |      688
4.59/4.63	c  2.5s |       3 |     5915 |      475 |    15009      0 |        5 |      688
5.99/6.03	c  3.9s |       4 |    10265 |      813 |    16510      0 |        5 |      688
8.29/8.36	c  6.2s |       4 |    14482 |     1313 |    18161      0 |        5 |      688
8.39/8.40	c  6.2s |       5 |    14555 |     1320 |    18161      0 |        5 |      688
10.69/10.70	c  8.5s |       5 |    20009 |     1920 |    19978      0 |        5 |      688
11.09/11.15	c  9.0s |       6 |    20825 |     2081 |    21976      0 |        5 |      688
13.19/13.29	c 11.1s |       6 |    24205 |     2781 |    21976      0 |        5 |      688
14.89/14.91	c 12.7s |       7 |    26576 |     3223 |    24174      0 |        5 |      688
17.19/17.26	c 15.1s |       7 |    32417 |     3723 |    24174      0 |        5 |      688
19.29/19.34	c 17.2s |       7 |    35441 |     4223 |    24174      0 |        5 |      688
21.38/21.48	c 19.3s |       7 |    38236 |     4823 |    24174      0 |        5 |      688
21.88/22.00	c 19.8s |       8 |    38874 |     4936 |    26592      0 |        5 |      688
23.98/24.04	c 21.9s |       8 |    42063 |     5336 |    26592      0 |        5 |      688
26.08/26.15	c 24.0s |       8 |    45691 |     5836 |    26592      0 |        5 |      688
28.59/28.69	c 26.5s |       8 |    49591 |     6336 |    26592      0 |        5 |      688
30.98/31.05	c 28.9s |       8 |    54610 |     6836 |    26592      0 |        5 |      688
33.18/33.24	c 31.1s |       8 |    56753 |     7436 |    26592      0 |        5 |      688
33.48/33.53	c 31.4s |       9 |    57213 |     7506 |    29252      0 |        5 |      688
35.58/35.66	c 33.5s |       9 |    60468 |     7906 |    29252      0 |        5 |      688
37.88/37.97	c 35.8s |       9 |    63047 |     8406 |    29252      0 |        5 |      688
40.08/40.16	c 38.0s |       9 |    66523 |     8906 |    29252      0 |        5 |      688
42.38/42.46	c 40.3s |       9 |    72472 |     9406 |    29252      0 |        5 |      688
44.58/44.68	c 42.5s |       9 |    76789 |     9906 |    29252      0 |        5 |      688
46.78/46.84	c 44.7s |       9 |    79627 |    10406 |    29252      0 |        5 |      688
48.98/49.05	c 46.9s |       9 |    83304 |    11106 |    29252      0 |        5 |      688
49.88/49.92	c 47.8s |      10 |    85851 |    11361 |    32178      0 |        5 |      688
51.98/52.04	c 49.9s |      10 |    91706 |    11761 |    32178      0 |        5 |      688
54.48/54.57	c 52.4s |      10 |    95711 |    12261 |    32178      0 |        5 |      688
56.58/56.62	c 54.5s |      10 |   100580 |    12661 |    32178      0 |        5 |      688
58.88/58.97	c 56.8s |      10 |   104124 |    13161 |    32178      0 |        5 |      688
61.18/61.20	c 59.0s |      10 |   106939 |    13861 |    32178      0 |        5 |      688
63.28/63.34	c 61.2s |      10 |   110792 |    14361 |    32178      0 |        5 |      688
65.68/65.70	c 63.5s |      10 |   116915 |    14861 |    32178      0 |        5 |      688
67.78/67.89	c 65.7s |      10 |   122196 |    15461 |    32178      0 |        5 |      688
69.98/70.00	c 67.8s |      10 |   125292 |    16061 |    32178      0 |        5 |      688
72.18/72.24	c 70.1s |      10 |   131096 |    16561 |    32178      0 |        5 |      688
74.17/74.29	c 72.1s |      10 |   135522 |    16961 |    32178      0 |        5 |      688
75.17/75.20	c 73.0s |      11 |   137270 |    17144 |    35396      0 |        5 |      688
77.17/77.21	c 75.0s |      11 |   142881 |    17544 |    35396      0 |        5 |      688
79.37/79.43	c 77.3s |      11 |   147555 |    18244 |    35396      0 |        5 |      688
81.48/81.57	c 79.4s |      11 |   152409 |    18844 |    35396      0 |        5 |      688
83.87/83.91	c 81.7s |      11 |   156705 |    19344 |    35396      0 |        5 |      688
86.17/86.22	c 84.1s |      11 |   162568 |    19944 |    35396      0 |        5 |      688
88.27/88.37	c 86.2s |      11 |   166170 |    20644 |    35396      0 |        5 |      688
90.77/90.83	c 88.7s |      11 |   172403 |    21244 |    35396      0 |        5 |      688
92.87/92.96	c 90.8s |      11 |   177691 |    21944 |    35396      0 |        5 |      688
95.27/95.30	c 93.1s |      11 |   185016 |    22644 |    35396      0 |        5 |      688
97.27/97.32	c 95.2s |      11 |   191228 |    23144 |    35396      0 |        5 |      688
99.47/99.58	c 97.4s |      11 |   197940 |    24044 |    35396      0 |        5 |      688
101.67/101.74	c 99.6s |      11 |   204385 |    24644 |    35396      0 |        5 |      688
104.07/104.15	c  101s |      11 |   210891 |    25244 |    35396      0 |        5 |      688
105.48/105.55	c  103s |      12 |   215451 |    25819 |    38936      0 |        5 |      688
107.68/107.80	c  105s |      12 |   221266 |    26419 |    38936      0 |        5 |      688
109.78/109.90	c  107s |      12 |   226452 |    26819 |    38936      0 |        5 |      688
112.08/112.11	c  109s |      12 |   231895 |    27319 |    38936      0 |        5 |      688
114.28/114.40	c  112s |      12 |   236326 |    27919 |    38936      0 |        5 |      688
116.38/116.46	c  114s |      12 |   238954 |    28519 |    38936      0 |        5 |      688
118.68/118.70	c  116s |      12 |   244828 |    29019 |    38936      0 |        5 |      688
120.68/120.76	c  118s |      12 |   251814 |    29519 |    38936      0 |        5 |      688
122.98/123.00	c  120s |      12 |   257058 |    30319 |    38936      0 |        5 |      688
125.18/125.23	c  123s |      12 |   264862 |    30919 |    38936      0 |        5 |      688
127.68/127.77	c  125s |      12 |   270812 |    31419 |    38936      0 |        5 |      688
129.97/130.01	c  127s |      12 |   274065 |    31919 |    38936      0 |        5 |      688
132.27/132.33	c  130s |      12 |   279831 |    32819 |    38936      0 |        5 |      688
134.28/134.39	c  132s |      12 |   284374 |    33319 |    38936      0 |        5 |      688
136.57/136.68	c  134s |      12 |   291984 |    33819 |    38936      0 |        5 |      688
138.68/138.72	c  136s |      12 |   295488 |    34319 |    38936      0 |        5 |      688
140.88/140.97	c  138s |      12 |   299592 |    35019 |    38936      0 |        5 |      688
143.17/143.22	c  141s |      12 |   304614 |    35519 |    38936      0 |        5 |      688
145.37/145.42	c  143s |      12 |   311279 |    36019 |    38936      0 |        5 |      688
147.48/147.58	c  145s |      12 |   315561 |    36719 |    38936      0 |        5 |      688
149.77/149.87	c  147s |      12 |   322367 |    37319 |    38936      0 |        5 |      688
152.07/152.11	c  149s |      12 |   331646 |    37819 |    38936      0 |        5 |      688
154.37/154.48	c  152s |      12 |   334713 |    38319 |    38936      0 |        5 |      688
156.37/156.46	c  154s |      13 |   338373 |    38832 |    42830      0 |        5 |      688
158.48/158.55	c  156s |      13 |   342642 |    39332 |    42830      0 |        5 |      688
160.97/161.01	c  158s |      13 |   348902 |    40032 |    42830      0 |        5 |      688
163.17/163.21	c  161s |      13 |   353075 |    40432 |    42830      0 |        5 |      688
165.17/165.27	c  163s |      13 |   358785 |    40932 |    42830      0 |        5 |      688
167.67/167.71	c  165s |      13 |   361676 |    41632 |    42830      0 |        5 |      688
169.77/169.89	c  167s |      13 |   366877 |    42132 |    42830      0 |        5 |      688
172.37/172.40	c  170s |      13 |   372686 |    42632 |    42830      0 |        5 |      688
174.66/174.77	c  172s |      13 |   379275 |    43132 |    42830      0 |        5 |      688
176.76/176.88	c  174s |      13 |   382466 |    43632 |    42830      0 |        5 |      688
178.96/179.01	c  176s |      13 |   386404 |    44232 |    42830      0 |        5 |      688
183.16/183.21	c  181s |      13 |   388854 |    44432 |    42830      1 |        5 |      688
185.16/185.23	c  183s |      13 |   393220 |    44832 |    42830      1 |        5 |      688
187.56/187.61	c  185s |      13 |   398483 |    45332 |    42830      1 |        5 |      688
189.56/189.64	c  187s |      13 |   402626 |    45932 |    42830      1 |        5 |      688
191.75/191.86	c  189s |      13 |   406656 |    46632 |    42830      1 |        5 |      688
193.95/194.06	c  191s |      13 |   411127 |    47132 |    42830      1 |        5 |      688
196.45/196.50	c  194s |      13 |   417345 |    47632 |    42830      1 |        5 |      688
198.75/198.80	c  196s |      13 |   421375 |    48232 |    42830      1 |        5 |      688
200.85/200.97	c  198s |      13 |   425432 |    48732 |    42830      1 |        5 |      688
203.05/203.14	c  200s |      13 |   428857 |    49332 |    42830      1 |        5 |      688
205.35/205.40	c  203s |      13 |   433797 |    49832 |    42830      1 |        5 |      688
207.35/207.43	c  205s |      13 |   438435 |    50332 |    42830      1 |        5 |      688
209.55/209.67	c  207s |      13 |   442807 |    51132 |    42830      1 |        5 |      688
211.64/211.76	c  209s |      13 |   448944 |    51632 |    42830      1 |        5 |      688
214.04/214.13	c  211s |      13 |   452908 |    52132 |    42830      1 |        5 |      688
216.44/216.58	c  214s |      13 |   457368 |    52732 |    42830      1 |        5 |      688
218.64/218.71	c  216s |      13 |   460248 |    53432 |    42830      1 |        5 |      688
220.84/220.97	c  218s |      13 |   465636 |    54032 |    42830      1 |        5 |      688
223.13/223.30	c  221s |      13 |   469330 |    54532 |    42830      1 |        5 |      688
225.33/225.49	c  223s |      13 |   473861 |    55232 |    42830      1 |        5 |      688
227.64/227.80	c  225s |      13 |   480145 |    55832 |    42830      1 |        5 |      688
229.73/229.87	c  227s |      13 |   483334 |    56532 |    42830      1 |        5 |      688
232.23/232.31	c  230s |      13 |   489366 |    57132 |    42830      1 |        5 |      688
234.53/234.64	c  232s |      13 |   493395 |    57632 |    42830      1 |        5 |      688
236.63/236.70	c  234s |      13 |   497942 |    58332 |    47114      1 |        5 |      688
236.63/236.77	c  234s |      14 |   498073 |    58352 |    47114      1 |        5 |      688
239.03/239.17	c  236s |      14 |   503547 |    58852 |    47114      1 |        5 |      688
241.33/241.40	c  239s |      14 |   509502 |    59452 |    47114      1 |        5 |      688
243.43/243.55	c  241s |      14 |   515068 |    60052 |    47114      1 |        5 |      688
245.63/245.72	c  243s |      14 |   520047 |    60452 |    47114      1 |        5 |      688
247.63/247.73	c  245s |      14 |   525380 |    60852 |    47114      1 |        5 |      688
249.93/250.02	c  247s |      14 |   528324 |    61452 |    47114      1 |        5 |      688
251.93/252.02	c  249s |      14 |   530398 |    61952 |    47114      1 |        5 |      688
254.22/254.30	c  252s |      14 |   534542 |    62452 |    47114      1 |        5 |      688
256.23/256.32	c  254s |      14 |   539836 |    62952 |    47114      1 |        5 |      688
258.62/258.75	c  256s |      14 |   545719 |    63752 |    47114      1 |        5 |      688
260.82/260.96	c  258s |      14 |   551177 |    64252 |    47114      1 |        5 |      688
262.83/262.96	c  260s |      14 |   556669 |    64652 |    47114      1 |        5 |      688
264.92/265.01	c  262s |      14 |   563726 |    65252 |    47114      1 |        5 |      688
267.02/267.11	c  264s |      14 |   568565 |    65852 |    47114      1 |        5 |      688
269.32/269.50	c  267s |      14 |   575707 |    66352 |    47114      1 |        5 |      688
271.42/271.55	c  269s |      14 |   580737 |    66752 |    47114      1 |        5 |      688
273.51/273.62	c  271s |      14 |   586467 |    67352 |    47114      1 |        5 |      688
275.51/275.64	c  273s |      14 |   590241 |    67852 |    47114      1 |        5 |      688
277.61/277.70	c  275s |      14 |   592814 |    68452 |    47114      1 |        5 |      688
279.81/279.93	c  277s |      14 |   597730 |    68952 |    47114      1 |        5 |      688
281.91/282.08	c  279s |      14 |   605219 |    69452 |    47114      1 |        5 |      688
284.21/284.37	c  282s |      14 |   609858 |    70152 |    47114      1 |        5 |      688
286.31/286.49	c  284s |      14 |   613651 |    70652 |    47114      1 |        5 |      688
289.51/289.60	c  287s |      14 |   616471 |    70952 |    47114      2 |        5 |      688
291.71/291.89	c  289s |      14 |   619577 |    71452 |    47114      2 |        5 |      688
293.91/294.09	c  291s |      14 |   623317 |    72152 |    47114      2 |        5 |      688
296.01/296.13	c  293s |      14 |   629019 |    72752 |    47114      2 |        5 |      688
298.11/298.27	c  296s |      14 |   635648 |    73552 |    47114      2 |        5 |      688
300.41/300.59	c  298s |      14 |   640998 |    74052 |    47114      2 |        5 |      688
302.60/302.78	c  300s |      14 |   645602 |    74752 |    47114      2 |        5 |      688
304.90/305.02	c  302s |      14 |   649813 |    75352 |    47114      2 |        5 |      688
307.00/307.19	c  305s |      14 |   653148 |    76052 |    47114      2 |        5 |      688
309.20/309.31	c  307s |      14 |   658116 |    76652 |    47114      2 |        5 |      688
311.40/311.53	c  309s |      14 |   662701 |    77352 |    47114      2 |        5 |      688
313.40/313.55	c  311s |      14 |   666142 |    77952 |    47114      2 |        5 |      688
315.60/315.73	c  313s |      14 |   670469 |    78652 |    47114      2 |        5 |      688
317.69/317.83	c  315s |      14 |   675152 |    79252 |    47114      2 |        5 |      688
319.89/320.10	c  317s |      14 |   680668 |    80052 |    47114      2 |        5 |      688
322.09/322.26	c  320s |      14 |   685079 |    80852 |    47114      2 |        5 |      688
324.19/324.34	c  322s |      14 |   689377 |    81552 |    47114      2 |        5 |      688
326.39/326.55	c  324s |      14 |   693982 |    82352 |    47114      2 |        5 |      688
328.49/328.60	c  326s |      14 |   696659 |    83052 |    47114      2 |        5 |      688
330.69/330.85	c  328s |      14 |   699374 |    83852 |    47114      2 |        5 |      688
332.88/333.01	c  330s |      14 |   701381 |    84452 |    47114      2 |        5 |      688
335.28/335.45	c  333s |      14 |   702914 |    85052 |    47114      2 |        5 |      688
337.28/337.47	c  335s |      14 |   703540 |    85452 |    47114      2 |        5 |      688
339.48/339.62	c  337s |      14 |   707882 |    85952 |    47114      2 |        5 |      688
341.88/342.00	c  339s |      14 |   712382 |    86652 |    47114      2 |        5 |      688
343.98/344.12	c  341s |      14 |   716740 |    87152 |    51826      2 |        5 |      688
346.48/346.68	c  344s |      14 |   718932 |    87352 |    51826      2 |        5 |      688
347.77/347.95	c  345s |      15 |   721622 |    87632 |    51826      2 |        5 |      688
350.17/350.34	c  348s |      15 |   724573 |    88132 |    51826      2 |        5 |      688
352.27/352.41	c  350s |      15 |   728351 |    88632 |    51826      2 |        5 |      688
354.67/354.86	c  352s |      15 |   733769 |    89132 |    51826      2 |        5 |      688
357.17/357.37	c  355s |      15 |   739994 |    89632 |    51826      2 |        5 |      688
359.47/359.63	c  357s |      15 |   744439 |    90332 |    51826      2 |        5 |      688
361.88/362.05	c  359s |      15 |   751156 |    90832 |    51826      2 |        5 |      688
364.07/364.27	c  362s |      15 |   755514 |    91232 |    51826      2 |        5 |      688
366.46/366.67	c  364s |      15 |   760654 |    91732 |    51826      2 |        5 |      688
368.76/368.98	c  366s |      15 |   766021 |    92432 |    51826      2 |        5 |      688
370.96/371.17	c  368s |      15 |   772548 |    92932 |    51826      2 |        5 |      688
373.26/373.43	c  371s |      15 |   776664 |    93632 |    51826      2 |        5 |      688
375.26/375.46	c  373s |      15 |   782720 |    94132 |    51826      2 |        5 |      688
377.66/377.85	c  375s |      15 |   789900 |    94632 |    51826      2 |        5 |      688
379.66/379.88	c  377s |      15 |   792867 |    95132 |    51826      2 |        5 |      688
382.06/382.23	c  380s |      15 |   797532 |    95832 |    51826      2 |        5 |      688
384.25/384.40	c  382s |      15 |   802975 |    96332 |    51826      2 |        5 |      688
386.35/386.55	c  384s |      15 |   806056 |    96832 |    51826      2 |        5 |      688
388.65/388.87	c  386s |      15 |   808981 |    97432 |    51826      2 |        5 |      688
390.95/391.17	c  389s |      15 |   813756 |    97932 |    51826      2 |        5 |      688
393.35/393.58	c  391s |      15 |   817335 |    98632 |    51826      2 |        5 |      688
395.44/395.69	c  393s |      15 |   822539 |    99132 |    51826      2 |        5 |      688
397.84/398.02	c  395s |      15 |   827627 |    99632 |    51826      2 |        5 |      688
400.14/400.33	c  398s |      15 |   832102 |   100332 |    51826      2 |        5 |      688
402.14/402.37	c  400s |      15 |   836044 |   100732 |    51826      3 |        5 |      688
404.14/404.38	c  402s |      15 |   840665 |   101432 |    51826      3 |        5 |      688
406.44/406.69	c  404s |      15 |   845308 |   101932 |    51826      3 |        5 |      688
408.64/408.83	c  406s |      15 |   849199 |   102632 |    51826      3 |        5 |      688
410.94/411.15	c  408s |      15 |   856329 |   103532 |    51826      3 |        5 |      688
412.93/413.18	c  411s |      15 |   860938 |   104032 |    51826      3 |        5 |      688
415.13/415.30	c  413s |      15 |   864795 |   104632 |    51826      3 |        5 |      688
417.13/417.31	c  415s |      15 |   869385 |   105232 |    51826      3 |        5 |      688
419.33/419.51	c  417s |      15 |   874028 |   106032 |    51826      3 |        5 |      688
421.53/421.72	c  419s |      15 |   879203 |   106732 |    51826      3 |        5 |      688
423.83/424.03	c  421s |      15 |   883769 |   107532 |    51826      3 |        5 |      688
425.93/426.13	c  423s |      15 |   887516 |   108232 |    51826      3 |        5 |      688
428.03/428.22	c  426s |      15 |   891602 |   108932 |    51826      3 |        5 |      688
430.13/430.30	c  428s |      15 |   896008 |   109732 |    51826      3 |        5 |      688
432.13/432.30	c  430s |      15 |   900104 |   110532 |    51826      3 |        5 |      688
434.12/434.39	c  432s |      15 |   903157 |   111232 |    51826      3 |        5 |      688
436.42/436.61	c  434s |      15 |   906581 |   112132 |    51826      3 |        5 |      688
438.52/438.79	c  436s |      15 |   908083 |   112832 |    51826      3 |        5 |      688
440.62/440.87	c  438s |      15 |   910095 |   113632 |    51826      3 |        5 |      688
442.72/442.93	c  440s |      15 |   911923 |   114432 |    51826      3 |        5 |      688
444.72/444.96	c  442s |      15 |   915907 |   115332 |    51826      3 |        5 |      688
447.02/447.22	c  445s |      15 |   920060 |   116232 |    51826      3 |        5 |      688
449.22/449.48	c  447s |      15 |   923761 |   117032 |    51826      3 |        5 |      688
451.42/451.68	c  449s |      15 |   926091 |   117732 |    51826      3 |        5 |      688
453.61/453.84	c  451s |      15 |   929857 |   118332 |    51826      3 |        5 |      688
455.71/455.96	c  453s |      15 |   933613 |   118932 |    51826      3 |        5 |      688
457.91/458.12	c  455s |      15 |   936831 |   119532 |    51826      3 |        5 |      688
459.91/460.13	c  457s |      15 |   940226 |   120232 |    51826      3 |        5 |      688
462.01/462.25	c  460s |      15 |   944010 |   120832 |    51826      3 |        5 |      688
464.31/464.55	c  462s |      15 |   948693 |   121532 |    51826      3 |        5 |      688
466.71/466.95	c  464s |      15 |   952793 |   122132 |    51826      3 |        5 |      688
469.01/469.24	c  467s |      15 |   956305 |   122532 |    51826      3 |        5 |      688
471.31/471.58	c  469s |      15 |   958899 |   123032 |    51826      3 |        5 |      688
473.51/473.72	c  471s |      15 |   963572 |   123432 |    51826      3 |        5 |      688
475.81/476.03	c  473s |      15 |   969118 |   123932 |    51826      3 |        5 |      688
477.91/478.12	c  475s |      15 |   972467 |   124532 |    51826      3 |        5 |      688
479.91/480.15	c  477s |      15 |   975991 |   125032 |    51826      3 |        5 |      688
482.30/482.57	c  480s |      15 |   981890 |   125532 |    51826      3 |        5 |      688
484.70/484.90	c  482s |      15 |   987409 |   126032 |    51826      3 |        5 |      688
486.70/486.92	c  484s |      15 |   992588 |   126732 |    51826      3 |        5 |      688
488.90/489.18	c  487s |      15 |   996136 |   127032 |    51826      4 |        5 |      688
491.10/491.39	c  489s |      15 |  1002685 |   127732 |    51826      4 |        5 |      688
493.19/493.47	c  491s |      15 |  1006751 |   128432 |    51826      4 |        5 |      688
495.39/495.60	c  493s |      15 |  1012515 |   128932 |    51826      4 |        5 |      688
497.49/497.79	c  495s |      15 |  1019757 |   129632 |    51826      4 |        5 |      688
499.69/499.99	c  497s |      15 |  1026856 |   130432 |    51826      4 |        5 |      688
501.89/502.14	c  499s |      15 |  1034209 |   131232 |    57009      4 |        5 |      688
502.69/502.96	c  500s |      16 |  1035989 |   131552 |    57009      4 |        5 |      688
505.70/506.00	c  503s |      16 |  1037446 |   131652 |    57009      4 |        5 |      688
508.00/508.21	c  506s |      16 |  1042591 |   132152 |    57009      4 |        5 |      688
510.20/510.50	c  508s |      16 |  1049999 |   132752 |    57009      4 |        5 |      688
512.30/512.51	c  510s |      16 |  1055665 |   133452 |    57009      4 |        5 |      688
514.60/514.87	c  512s |      16 |  1060811 |   133952 |    57009      4 |        5 |      688
516.99/517.25	c  515s |      16 |  1066620 |   134752 |    57009      4 |        5 |      688
519.29/519.56	c  517s |      16 |  1072411 |   135452 |    57009      4 |        5 |      688
521.59/521.89	c  519s |      16 |  1079097 |   136052 |    57009      4 |        5 |      688
523.69/523.99	c  521s |      16 |  1083993 |   136652 |    57009      4 |        5 |      688
525.89/526.20	c  524s |      16 |  1089941 |   137352 |    57009      4 |        5 |      688
528.08/528.37	c  526s |      16 |  1094866 |   138152 |    57009      4 |        5 |      688
530.18/530.41	c  528s |      16 |  1099753 |   138852 |    57009      4 |        5 |      688
532.19/532.49	c  530s |      16 |  1103753 |   139352 |    57009      4 |        5 |      688
534.58/534.82	c  532s |      16 |  1109771 |   140152 |    57009      4 |        5 |      688
536.69/536.92	c  534s |      16 |  1113755 |   140852 |    57009      4 |        5 |      688
538.89/539.19	c  537s |      16 |  1118440 |   141552 |    57009      4 |        5 |      688
541.18/541.43	c  539s |      16 |  1123388 |   142352 |    57009      4 |        5 |      688
543.47/543.75	c  541s |      16 |  1128042 |   143152 |    57009      4 |        5 |      688
545.48/545.77	c  543s |      16 |  1132201 |   143852 |    57009      4 |        5 |      688
547.58/547.80	c  545s |      16 |  1137810 |   144652 |    57009      4 |        5 |      688
549.67/549.98	c  547s |      16 |  1141642 |   145552 |    57009      4 |        5 |      688
551.87/552.11	c  549s |      16 |  1143836 |   146452 |    57009      4 |        5 |      688
554.06/554.38	c  552s |      16 |  1148755 |   147452 |    57009      4 |        5 |      688
556.26/556.52	c  554s |      16 |  1153352 |   148152 |    57009      4 |        5 |      688
558.36/558.60	c  556s |      16 |  1157644 |   148752 |    57009      4 |        5 |      688
560.36/560.63	c  558s |      16 |  1162313 |   149252 |    57009      4 |        5 |      688
562.66/562.97	c  560s |      16 |  1169119 |   149752 |    57009      4 |        5 |      688
564.86/565.10	c  562s |      16 |  1173793 |   150252 |    57009      4 |        5 |      688
567.06/567.35	c  565s |      16 |  1177997 |   150952 |    57009      4 |        5 |      688
569.26/569.50	c  567s |      16 |  1182647 |   151452 |    57009      4 |        5 |      688
571.46/571.70	c  569s |      16 |  1188264 |   151952 |    57009      4 |        5 |      688
573.55/573.84	c  571s |      16 |  1193390 |   152652 |    57009      4 |        5 |      688
575.65/575.90	c  573s |      16 |  1198738 |   153152 |    57009      4 |        5 |      688
577.95/578.27	c  576s |      16 |  1204261 |   153652 |    57009      4 |        5 |      688
579.95/580.28	c  578s |      16 |  1209166 |   154352 |    57009      4 |        5 |      688
581.95/582.28	c  580s |      16 |  1214722 |   154852 |    57009      4 |        5 |      688
584.05/584.36	c  582s |      16 |  1219678 |   155352 |    57009      4 |        5 |      688
586.24/586.57	c  584s |      16 |  1225046 |   156152 |    57009      4 |        5 |      688
588.54/588.84	c  586s |      16 |  1230881 |   156652 |    57009      4 |        5 |      688
590.74/591.04	c  588s |      16 |  1234691 |   157152 |    57009      4 |        5 |      688
592.94/593.29	c  591s |      16 |  1238127 |   157852 |    57009      4 |        5 |      688
595.14/595.42	c  593s |      16 |  1242525 |   158352 |    57009      4 |        5 |      688
597.44/597.72	c  595s |      16 |  1247724 |   159152 |    57009      4 |        5 |      688
600.94/601.25	c  599s |      16 |  1249611 |   159352 |    57009      5 |        5 |      688
602.93/603.25	c  601s |      16 |  1255516 |   160152 |    57009      5 |        5 |      688
605.13/605.45	c  603s |      16 |  1259896 |   160752 |    57009      5 |        5 |      688
607.23/607.56	c  605s |      16 |  1266472 |   161652 |    57009      5 |        5 |      688
609.43/609.71	c  607s |      16 |  1271564 |   162352 |    57009      5 |        5 |      688
611.53/611.81	c  609s |      16 |  1276502 |   163052 |    57009      5 |        5 |      688
613.63/613.97	c  611s |      16 |  1282005 |   163852 |    57009      5 |        5 |      688
615.73/616.09	c  613s |      16 |  1287704 |   164752 |    57009      5 |        5 |      688
617.82/618.15	c  615s |      16 |  1292438 |   165552 |    57009      5 |        5 |      688
619.82/620.16	c  617s |      16 |  1295113 |   166252 |    57009      5 |        5 |      688
622.02/622.30	c  620s |      16 |  1299857 |   167052 |    57009      5 |        5 |      688
624.12/624.43	c  622s |      16 |  1304539 |   168052 |    57009      5 |        5 |      688
626.22/626.58	c  624s |      16 |  1309187 |   168952 |    57009      5 |        5 |      688
628.42/628.74	c  626s |      16 |  1313399 |   169952 |    57009      5 |        5 |      688
630.52/630.85	c  628s |      16 |  1317243 |   170952 |    57009      5 |        5 |      688
633.02/633.33	c  631s |      16 |  1320557 |   172052 |    57009      5 |        5 |      688
635.12/635.48	c  633s |      16 |  1324207 |   172452 |    57009      5 |        5 |      688
637.32/637.68	c  635s |      16 |  1328382 |   172952 |    57009      5 |        5 |      688
639.62/639.93	c  637s |      16 |  1333005 |   173652 |    57009      5 |        5 |      688
641.82/642.12	c  639s |      16 |  1338312 |   174152 |    57009      5 |        5 |      688
644.02/644.35	c  642s |      16 |  1343770 |   174652 |    57009      5 |        5 |      688
646.02/646.40	c  644s |      16 |  1348640 |   175352 |    57009      5 |        5 |      688
648.32/648.68	c  646s |      16 |  1352088 |   176052 |    57009      5 |        5 |      688
650.72/651.05	c  648s |      16 |  1357834 |   176652 |    57009      5 |        5 |      688
653.12/653.47	c  651s |      16 |  1367277 |   177552 |    57009      5 |        5 |      688
655.21/655.51	c  653s |      16 |  1373361 |   178052 |    57009      5 |        5 |      688
657.31/657.63	c  655s |      16 |  1378426 |   178752 |    57009      5 |        5 |      688
659.51/659.80	c  657s |      16 |  1384691 |   179352 |    57009      5 |        5 |      688
661.71/662.09	c  659s |      16 |  1389005 |   180152 |    57009      5 |        5 |      688
663.91/664.29	c  662s |      16 |  1393780 |   180652 |    57009      5 |        5 |      688
666.21/666.52	c  664s |      16 |  1398742 |   181352 |    57009      5 |        5 |      688
668.31/668.63	c  666s |      16 |  1403403 |   181952 |    57009      5 |        5 |      688
670.41/670.71	c  668s |      16 |  1406740 |   182552 |    57009      5 |        5 |      688
672.61/672.97	c  670s |      16 |  1410863 |   183252 |    57009      5 |        5 |      688
674.71/675.04	c  672s |      16 |  1414542 |   183752 |    57009      5 |        5 |      688
676.81/677.16	c  674s |      16 |  1418659 |   184352 |    57009      5 |        5 |      688
678.81/679.19	c  677s |      16 |  1421856 |   185152 |    57009      5 |        5 |      688
680.91/681.25	c  679s |      16 |  1425515 |   185752 |    57009      5 |        5 |      688
683.00/683.36	c  681s |      16 |  1428818 |   186452 |    57009      5 |        5 |      688
685.20/685.53	c  683s |      16 |  1432567 |   187152 |    57009      5 |        5 |      688
687.40/687.74	c  685s |      16 |  1437573 |   187752 |    57009      6 |        5 |      688
689.60/689.98	c  687s |      16 |  1443308 |   188652 |    57009      6 |        5 |      688
691.71/692.06	c  689s |      16 |  1447578 |   189552 |    57009      6 |        5 |      688
693.90/694.22	c  692s |      16 |  1452218 |   190552 |    57009      6 |        5 |      688
696.00/696.33	c  694s |      16 |  1456130 |   191452 |    57009      6 |        5 |      688
698.00/698.38	c  696s |      16 |  1461521 |   192552 |    57009      6 |        5 |      688
700.09/700.49	c  698s |      16 |  1464350 |   193552 |    57009      6 |        5 |      688
702.19/702.55	c  700s |      16 |  1467118 |   194352 |    57009      6 |        5 |      688
704.29/704.61	c  702s |      16 |  1470596 |   194952 |    57009      6 |        5 |      688
706.39/706.71	c  704s |      16 |  1477575 |   195552 |    57009      6 |        5 |      688
708.49/708.82	c  706s |      16 |  1482072 |   196252 |    62710      6 |        5 |      688
710.69/711.07	c  708s |      16 |  1487974 |   196952 |    62710      6 |        5 |      688
711.99/712.37	c  710s |      17 |  1492270 |   197432 |    62710      6 |        5 |      688
714.09/714.42	c  712s |      17 |  1497867 |   197932 |    62710      6 |        5 |      688
716.19/716.52	c  714s |      17 |  1504122 |   198732 |    62710      6 |        5 |      688
718.29/718.64	c  716s |      17 |  1508496 |   199332 |    62710      6 |        5 |      688
720.49/720.80	c  718s |      17 |  1514688 |   200032 |    62710      6 |        5 |      688
722.40/722.80	c  720s |      17 |  1519009 |   200632 |    62710      6 |        5 |      688
724.59/724.97	c  722s |      17 |  1525796 |   201332 |    62710      6 |        5 |      688
726.79/727.18	c  725s |      17 |  1531371 |   202232 |    62710      6 |        5 |      688
728.89/729.28	c  727s |      17 |  1534032 |   202732 |    62710      6 |        5 |      688
731.19/731.50	c  729s |      17 |  1539978 |   203532 |    62710      6 |        5 |      688
733.29/733.63	c  731s |      17 |  1545993 |   204332 |    62710      6 |        5 |      688
735.49/735.89	c  733s |      17 |  1550210 |   205032 |    62710      6 |        5 |      688
737.79/738.14	c  735s |      17 |  1554470 |   205832 |    62710      6 |        5 |      688
739.99/740.37	c  738s |      17 |  1559841 |   206632 |    62710      6 |        5 |      688
742.19/742.56	c  740s |      17 |  1564977 |   207432 |    62710      6 |        5 |      688
744.28/744.60	c  742s |      17 |  1570594 |   208332 |    62710      6 |        5 |      688
746.38/746.76	c  744s |      17 |  1574948 |   209132 |    62710      6 |        5 |      688
748.58/748.96	c  746s |      17 |  1579265 |   210032 |    62710      6 |        5 |      688
750.58/750.98	c  748s |      17 |  1582804 |   210932 |    62710      6 |        5 |      688
752.68/753.05	c  750s |      17 |  1585190 |   211832 |    62710      6 |        5 |      688
754.78/755.12	c  752s |      17 |  1588116 |   212632 |    62710      6 |        5 |      688
756.88/757.24	c  755s |      17 |  1591988 |   213332 |    62710      6 |        5 |      688
759.08/759.42	c  757s |      17 |  1596339 |   214032 |    62710      6 |        5 |      688
761.08/761.43	c  759s |      17 |  1599857 |   214532 |    62710      6 |        5 |      688
763.48/763.81	c  761s |      17 |  1604690 |   215232 |    62710      6 |        5 |      688
765.98/766.31	c  764s |      17 |  1609645 |   215732 |    62710      6 |        5 |      688
768.18/768.50	c  766s |      17 |  1613717 |   216332 |    62710      6 |        5 |      688
770.38/770.76	c  768s |      17 |  1618013 |   216932 |    62710      6 |        5 |      688
772.48/772.85	c  770s |      17 |  1622433 |   217632 |    62710      6 |        5 |      688
774.57/774.99	c  772s |      17 |  1627235 |   218132 |    62710      6 |        5 |      688
776.87/777.25	c  775s |      17 |  1631096 |   218732 |    62710      6 |        5 |      688
779.27/779.60	c  777s |      17 |  1634492 |   219332 |    62710      6 |        5 |      688
781.27/781.66	c  779s |      17 |  1639834 |   219832 |    62710      6 |        5 |      688
783.37/783.71	c  781s |      17 |  1645789 |   220532 |    62710      6 |        5 |      688
785.57/785.99	c  783s |      17 |  1649702 |   221232 |    62710      6 |        5 |      688
787.87/788.23	c  786s |      17 |  1654163 |   221732 |    62710      6 |        5 |      688
790.07/790.40	c  788s |      17 |  1659394 |   222432 |    62710      6 |        5 |      688
792.17/792.58	c  790s |      17 |  1664598 |   223032 |    62710      6 |        5 |      688
794.77/795.10	c  792s |      17 |  1668366 |   223732 |    62710      7 |        5 |      688
796.77/797.18	c  795s |      17 |  1674130 |   224432 |    62710      7 |        5 |      688
798.77/799.19	c  797s |      17 |  1680578 |   225232 |    62710      7 |        5 |      688
800.87/801.20	c  799s |      17 |  1687682 |   226132 |    62710      7 |        5 |      688
802.87/803.25	c  801s |      17 |  1693179 |   227132 |    62710      7 |        5 |      688
805.17/805.51	c  803s |      17 |  1700078 |   228132 |    62710      7 |        5 |      688
807.17/807.58	c  805s |      17 |  1704557 |   228832 |    62710      7 |        5 |      688
809.37/809.72	c  807s |      17 |  1709713 |   229532 |    62710      7 |        5 |      688
811.47/811.89	c  809s |      17 |  1715062 |   230332 |    62710      7 |        5 |      688
813.57/813.98	c  811s |      17 |  1721897 |   231032 |    62710      7 |        5 |      688
815.77/816.12	c  813s |      17 |  1727712 |   231932 |    62710      7 |        5 |      688
817.86/818.21	c  816s |      17 |  1733174 |   232632 |    62710      7 |        5 |      688
819.96/820.31	c  818s |      17 |  1737802 |   233332 |    62710      7 |        5 |      688
822.06/822.46	c  820s |      17 |  1741956 |   234032 |    62710      7 |        5 |      688
824.16/824.58	c  822s |      17 |  1747526 |   234732 |    62710      7 |        5 |      688
826.26/826.65	c  824s |      17 |  1752408 |   235632 |    62710      7 |        5 |      688
828.46/828.82	c  826s |      17 |  1756878 |   236332 |    62710      7 |        5 |      688
830.46/830.89	c  828s |      17 |  1760850 |   237132 |    62710      7 |        5 |      688
832.76/833.10	c  830s |      17 |  1766891 |   238032 |    62710      7 |        5 |      688
834.96/835.30	c  833s |      17 |  1770975 |   238932 |    62710      7 |        5 |      688
837.26/837.60	c  835s |      17 |  1773573 |   239732 |    62710      7 |        5 |      688
839.36/839.72	c  837s |      17 |  1776216 |   240632 |    62710      7 |        5 |      688
841.46/841.86	c  839s |      17 |  1778764 |   241532 |    62710      7 |        5 |      688
843.47/843.87	c  841s |      17 |  1782778 |   242332 |    62710      7 |        5 |      688
845.57/845.96	c  843s |      17 |  1786020 |   242932 |    62710      7 |        5 |      688
847.56/847.99	c  845s |      17 |  1790594 |   243432 |    62710      7 |        5 |      688
849.56/849.99	c  847s |      17 |  1793982 |   244132 |    62710      7 |        5 |      688
851.96/852.31	c  850s |      17 |  1801222 |   244732 |    62710      7 |        5 |      688
854.16/854.56	c  852s |      17 |  1805262 |   245432 |    62710      7 |        5 |      688
856.26/856.63	c  854s |      17 |  1810039 |   245932 |    62710      7 |        5 |      688
858.56/858.98	c  856s |      17 |  1816750 |   246532 |    62710      7 |        5 |      688
860.76/861.15	c  858s |      17 |  1822441 |   247332 |    62710      7 |        5 |      688
863.06/863.46	c  861s |      17 |  1827329 |   248032 |    62710      7 |        5 |      688
865.06/865.47	c  863s |      17 |  1831406 |   248632 |    62710      7 |        5 |      688
867.16/867.50	c  865s |      17 |  1835991 |   249232 |    62710      7 |        5 |      688
869.36/869.75	c  867s |      17 |  1841636 |   249932 |    62710      7 |        5 |      688
871.46/871.85	c  869s |      17 |  1846929 |   250632 |    62710      7 |        5 |      688
873.76/874.15	c  871s |      17 |  1851593 |   251332 |    62710      7 |        5 |      688
875.85/876.28	c  874s |      17 |  1855867 |   252032 |    62710      7 |        5 |      688
878.15/878.59	c  876s |      17 |  1860742 |   252832 |    62710      7 |        5 |      688
880.25/880.68	c  878s |      17 |  1863380 |   253532 |    62710      7 |        5 |      688
882.35/882.70	c  880s |      17 |  1867668 |   254232 |    62710      7 |        5 |      688
884.46/884.81	c  882s |      17 |  1871182 |   254932 |    62710      7 |        5 |      688
886.46/886.87	c  884s |      17 |  1873412 |   255632 |    62710      7 |        5 |      688
888.76/889.15	c  886s |      17 |  1877468 |   256432 |    62710      7 |        5 |      688
890.96/891.30	c  889s |      17 |  1880292 |   257132 |    62710      8 |        5 |      688
893.06/893.48	c  891s |      17 |  1884361 |   258232 |    62710      8 |        5 |      688
895.07/895.49	c  893s |      17 |  1886854 |   259332 |    62710      8 |        5 |      688
899.65/900.05	c  897s |      17 |  1888853 |   259532 |    62710      8 |        5 |      688
901.66/902.05	c  899s |      17 |  1892541 |   260132 |    62710      8 |        5 |      688
903.96/904.36	c  902s |      17 |  1896227 |   260832 |    62710      8 |        5 |      688
906.25/906.62	c  904s |      17 |  1901115 |   261432 |    62710      8 |        5 |      688
908.26/908.65	c  906s |      17 |  1905584 |   262132 |    62710      8 |        5 |      688
910.35/910.70	c  908s |      17 |  1909870 |   262732 |    62710      8 |        5 |      688
912.45/912.89	c  910s |      17 |  1915886 |   263532 |    62710      8 |        5 |      688
914.86/915.25	c  913s |      17 |  1920656 |   264232 |    62710      8 |        5 |      688
916.95/917.40	c  915s |      17 |  1923938 |   264932 |    62710      8 |        5 |      688
919.05/919.45	c  917s |      17 |  1927216 |   265732 |    62710      8 |        5 |      688
921.25/921.60	c  919s |      17 |  1931300 |   266532 |    62710      8 |        5 |      688
923.35/923.79	c  921s |      17 |  1933731 |   267432 |    62710      8 |        5 |      688
925.45/925.88	c  923s |      17 |  1936112 |   268232 |    62710      8 |        5 |      688
927.75/928.17	c  926s |      17 |  1938575 |   268932 |    62710      8 |        5 |      688
930.05/930.43	c  928s |      17 |  1942261 |   269732 |    62710      8 |        5 |      688
932.05/932.43	c  930s |      17 |  1947141 |   270432 |    62710      8 |        5 |      688
934.25/934.60	c  932s |      17 |  1952417 |   271032 |    62710      8 |        5 |      688
936.25/936.65	c  934s |      17 |  1956548 |   271732 |    62710      8 |        5 |      688
938.45/938.87	c  936s |      17 |  1959488 |   272332 |    62710      8 |        5 |      688
940.85/941.20	c  939s |      17 |  1964539 |   273132 |    62710      8 |        5 |      688
942.95/943.32	c  941s |      17 |  1968235 |   273632 |    62710      8 |        5 |      688
945.05/945.42	c  943s |      17 |  1972176 |   274332 |    62710      8 |        5 |      688
947.25/947.64	c  945s |      17 |  1976372 |   274932 |    62710      8 |        5 |      688
949.35/949.73	c  947s |      17 |  1978825 |   275532 |    62710      8 |        5 |      688
951.45/951.89	c  949s |      17 |  1982545 |   276132 |    62710      8 |        5 |      688
953.55/953.94	c  951s |      17 |  1987836 |   276832 |    62710      8 |        5 |      688
955.65/956.07	c  953s |      17 |  1990943 |   277532 |    62710      8 |        5 |      688
957.64/958.08	c  955s |      17 |  1995104 |   278232 |    62710      8 |        5 |      688
959.64/960.08	c  957s |      17 |  1998656 |   278932 |    62710      8 |        5 |      688
961.74/962.13	c  959s |      17 |  2001534 |   279632 |    62710      8 |        5 |      688
963.84/964.29	c  962s |      17 |  2005558 |   280332 |    62710      8 |        5 |      688
966.04/966.45	c  964s |      17 |  2009082 |   281132 |    62710      8 |        5 |      688
968.04/968.48	c  966s |      17 |  2011904 |   281832 |    62710      8 |        5 |      688
970.24/970.69	c  968s |      17 |  2016256 |   282332 |    62710      8 |        5 |      688
972.54/972.95	c  970s |      17 |  2018765 |   283032 |    62710      8 |        5 |      688
974.54/974.98	c  972s |      17 |  2021615 |   283632 |    62710      8 |        5 |      688
976.74/977.18	c  975s |      17 |  2025044 |   284232 |    62710      8 |        5 |      688
978.94/979.32	c  977s |      17 |  2029647 |   284932 |    62710      8 |        5 |      688
981.24/981.63	c  979s |      17 |  2035010 |   285732 |    62710      8 |        5 |      688
983.34/983.77	c  981s |      17 |  2039886 |   286432 |    62710      8 |        5 |      688
985.44/985.85	c  983s |      17 |  2043607 |   287132 |    62710      8 |        5 |      688
987.55/987.97	c  985s |      17 |  2049833 |   288032 |    62710      8 |        5 |      688
989.65/990.05	c  987s |      17 |  2053763 |   288832 |    62710      8 |        5 |      688
991.85/992.21	c  990s |      17 |  2056603 |   289632 |    62710      8 |        5 |      688
993.94/994.31	c  992s |      17 |  2058781 |   290332 |    62710      9 |        5 |      688
995.94/996.35	c  994s |      17 |  2060775 |   291232 |    62710      9 |        5 |      688
998.34/998.71	c  996s |      17 |  2063205 |   291932 |    62710      9 |        5 |      688
1000.44/1000.81	c  998s |      17 |  2068273 |   292632 |    62710      9 |        5 |      688
1002.54/1002.92	c 1000s |      17 |  2072630 |   293432 |    62710      9 |        5 |      688
1004.64/1005.06	c 1002s |      17 |  2077786 |   294032 |    62710      9 |        5 |      688
1006.84/1007.22	c 1005s |      17 |  2083468 |   294832 |    68981      9 |        5 |      688
1008.84/1009.28	c 1007s |      17 |  2087799 |   295432 |    68981      9 |        5 |      688
1010.94/1011.37	c 1009s |      17 |  2091110 |   296232 |    68981      9 |        5 |      688
1011.04/1011.44	c 1009s |      18 |  2091195 |   296252 |    68981      9 |        5 |      688
1013.24/1013.68	c 1011s |      18 |  2095764 |   296852 |    68981      9 |        5 |      688
1015.33/1015.74	c 1013s |      18 |  2102341 |   297752 |    68981      9 |        5 |      688
1017.53/1017.90	c 1015s |      18 |  2107933 |   298552 |    68981      9 |        5 |      688
1019.53/1019.96	c 1017s |      18 |  2113077 |   299452 |    68981      9 |        5 |      688
1021.73/1022.16	c 1019s |      18 |  2117559 |   300352 |    68981      9 |        5 |      688
1023.74/1024.18	c 1022s |      18 |  2121233 |   301152 |    68981      9 |        5 |      688
1025.83/1026.23	c 1024s |      18 |  2125245 |   302052 |    68981      9 |        5 |      688
1028.03/1028.42	c 1026s |      18 |  2129894 |   303252 |    68981      9 |        5 |      688
1030.13/1030.56	c 1028s |      18 |  2132781 |   304052 |    68981      9 |        5 |      688
1032.43/1032.88	c 1030s |      18 |  2137615 |   304852 |    68981      9 |        5 |      688
1034.74/1035.10	c 1032s |      18 |  2142349 |   305652 |    68981      9 |        5 |      688
1036.73/1037.14	c 1034s |      18 |  2146278 |   306352 |    68981      9 |        5 |      688
1038.83/1039.20	c 1037s |      18 |  2150058 |   307052 |    68981      9 |        5 |      688
1040.93/1041.33	c 1039s |      18 |  2153831 |   307752 |    68981      9 |        5 |      688
1043.13/1043.52	c 1041s |      18 |  2158487 |   308552 |    68981      9 |        5 |      688
1045.43/1045.84	c 1043s |      18 |  2162741 |   309352 |    68981      9 |        5 |      688
1047.53/1047.94	c 1045s |      18 |  2166371 |   310152 |    68981      9 |        5 |      688
1049.63/1050.09	c 1047s |      18 |  2170810 |   311052 |    68981      9 |        5 |      688
1051.63/1052.09	c 1049s |      18 |  2174151 |   311952 |    68981      9 |        5 |      688
1053.73/1054.12	c 1051s |      18 |  2176982 |   312852 |    68981      9 |        5 |      688
1055.83/1056.26	c 1054s |      18 |  2180178 |   313752 |    68981      9 |        5 |      688
1058.23/1058.66	c 1056s |      18 |  2184678 |   314452 |    68981      9 |        5 |      688
1060.53/1060.91	c 1058s |      18 |  2188514 |   315152 |    68981      9 |        5 |      688
1062.63/1063.08	c 1060s |      18 |  2192844 |   315852 |    68981      9 |        5 |      688
1064.73/1065.19	c 1063s |      18 |  2197295 |   316552 |    68981      9 |        5 |      688
1066.83/1067.20	c 1065s |      18 |  2200804 |   317152 |    68981      9 |        5 |      688
1069.03/1069.47	c 1067s |      18 |  2205509 |   317952 |    68981      9 |        5 |      688
1071.23/1071.60	c 1069s |      18 |  2208856 |   318652 |    68981      9 |        5 |      688
1073.33/1073.76	c 1071s |      18 |  2212512 |   319352 |    68981      9 |        5 |      688
1075.43/1075.81	c 1073s |      18 |  2217824 |   320052 |    68981      9 |        5 |      688
1077.53/1077.94	c 1075s |      18 |  2221633 |   320752 |    68981      9 |        5 |      688
1079.72/1080.16	c 1077s |      18 |  2225355 |   321552 |    68981      9 |        5 |      688
1081.92/1082.35	c 1080s |      18 |  2227854 |   322252 |    68981      9 |        5 |      688
1083.92/1084.39	c 1082s |      18 |  2230735 |   322952 |    68981      9 |        5 |      688
1086.02/1086.41	c 1084s |      18 |  2234081 |   323752 |    68981      9 |        5 |      688
1088.22/1088.68	c 1086s |      18 |  2236647 |   324652 |    68981      9 |        5 |      688
1090.32/1090.72	c 1088s |      18 |  2238511 |   325552 |    68981      9 |        5 |      688
1092.32/1092.75	c 1090s |      18 |  2241460 |   326152 |    68981      9 |        5 |      688
1094.42/1094.83	c 1092s |      18 |  2244764 |   326752 |    68981      9 |        5 |      688
1096.62/1097.03	c 1094s |      18 |  2248235 |   327452 |    68981      9 |        5 |      688
1098.63/1099.09	c 1096s |      18 |  2251819 |   328152 |    68981      9 |        5 |      688
1100.73/1101.12	c 1098s |      18 |  2254164 |   328652 |    68981     10 |        5 |      688
1104.03/1104.42	c 1102s |      18 |  2256246 |   329252 |    68981     10 |        5 |      688
1106.02/1106.47	c 1104s |      18 |  2262218 |   330352 |    68981     10 |        5 |      688
1108.12/1108.55	c 1106s |      18 |  2266008 |   331452 |    68981     10 |        5 |      688
1110.22/1110.62	c 1108s |      18 |  2269458 |   332552 |    68981     10 |        5 |      688
1112.22/1112.68	c 1110s |      18 |  2272615 |   333552 |    68981     10 |        5 |      688
1114.32/1114.75	c 1112s |      18 |  2276778 |   334352 |    68981     10 |        5 |      688
1116.42/1116.82	c 1114s |      18 |  2280981 |   335152 |    68981     10 |        5 |      688
1118.43/1118.87	c 1116s |      18 |  2285086 |   335952 |    68981     10 |        5 |      688
1120.53/1120.94	c 1118s |      18 |  2288147 |   336852 |    68981     10 |        5 |      688
1122.52/1122.99	c 1120s |      18 |  2291446 |   337752 |    68981     10 |        5 |      688
1124.72/1125.17	c 1123s |      18 |  2294596 |   338852 |    68981     10 |        5 |      688
1126.82/1127.27	c 1125s |      18 |  2298032 |   339852 |    68981     10 |        5 |      688
1128.82/1129.29	c 1127s |      18 |  2301715 |   340552 |    68981     10 |        5 |      688
1130.92/1131.38	c 1129s |      18 |  2305068 |   341252 |    68981     10 |        5 |      688
1133.02/1133.43	c 1131s |      18 |  2308267 |   341952 |    68981     10 |        5 |      688
1135.22/1135.60	c 1133s |      18 |  2311310 |   342752 |    68981     10 |        5 |      688
1137.22/1137.69	c 1135s |      18 |  2315236 |   343552 |    68981     10 |        5 |      688
1139.42/1139.85	c 1137s |      18 |  2320116 |   344452 |    68981     10 |        5 |      688
1141.62/1142.03	c 1139s |      18 |  2324709 |   345452 |    68981     10 |        5 |      688
1143.62/1144.05	c 1141s |      18 |  2326800 |   346452 |    68981     10 |        5 |      688
1145.71/1146.13	c 1143s |      18 |  2330429 |   347352 |    68981     10 |        5 |      688
1147.91/1148.31	c 1146s |      18 |  2334077 |   348252 |    68981     10 |        5 |      688
1150.01/1150.49	c 1148s |      18 |  2337142 |   349052 |    68981     10 |        5 |      688
1152.11/1152.50	c 1150s |      18 |  2340248 |   349952 |    68981     10 |        5 |      688
1154.11/1154.52	c 1152s |      18 |  2342577 |   350952 |    68981     10 |        5 |      688
1156.11/1156.57	c 1154s |      18 |  2345634 |   351752 |    68981     10 |        5 |      688
1158.31/1158.76	c 1156s |      18 |  2348251 |   352652 |    68981     10 |        5 |      688
1160.41/1160.80	c 1158s |      18 |  2350900 |   353652 |    68981     10 |        5 |      688
1162.42/1162.88	c 1160s |      18 |  2354050 |   354552 |    68981     10 |        5 |      688
1164.71/1165.13	c 1162s |      18 |  2357137 |   355352 |    68981     10 |        5 |      688
1166.82/1167.28	c 1165s |      18 |  2359787 |   356052 |    68981     10 |        5 |      688
1168.92/1169.35	c 1167s |      18 |  2362012 |   356752 |    68981     10 |        5 |      688
1170.91/1171.36	c 1169s |      18 |  2363989 |   357552 |    68981     10 |        5 |      688
1173.01/1173.47	c 1171s |      18 |  2365671 |   358452 |    68981     10 |        5 |      688
1175.11/1175.59	c 1173s |      18 |  2368913 |   359252 |    68981     10 |        5 |      688
1177.31/1177.78	c 1175s |      18 |  2372634 |   360152 |    68981     10 |        5 |      688
1179.51/1179.96	c 1177s |      18 |  2375037 |   361052 |    68981     10 |        5 |      688
1181.61/1182.00	c 1179s |      18 |  2377001 |   362052 |    68981     10 |        5 |      688
1183.71/1184.17	c 1182s |      18 |  2380585 |   362952 |    68981     10 |        5 |      688
1185.81/1186.29	c 1184s |      18 |  2383317 |   363852 |    68981     10 |        5 |      688
1188.61/1189.03	c 1186s |      18 |  2385138 |   364652 |    68981     11 |        5 |      688
1190.81/1191.22	c 1189s |      18 |  2388002 |   365652 |    68981     11 |        5 |      688
1192.81/1193.23	c 1191s |      18 |  2390300 |   366752 |    68981     11 |        5 |      688
1194.81/1195.25	c 1193s |      18 |  2392361 |   367652 |    68981     11 |        5 |      688
1196.91/1197.36	c 1195s |      18 |  2396254 |   368752 |    68981     11 |        5 |      688
1199.11/1199.53	c 1197s |      18 |  2399004 |   369952 |    68981     11 |        5 |      688
1201.21/1201.65	c 1199s |      18 |  2401424 |   371052 |    68981     11 |        5 |      688
1203.31/1203.72	c 1201s |      18 |  2403745 |   372152 |    68981     11 |        5 |      688
1205.31/1205.78	c 1203s |      18 |  2405660 |   373252 |    68981     11 |        5 |      688
1207.41/1207.83	c 1205s |      18 |  2407407 |   374352 |    68981     11 |        5 |      688
1209.40/1209.85	c 1207s |      18 |  2409533 |   375352 |    68981     11 |        5 |      688
1211.50/1211.95	c 1209s |      18 |  2411747 |   376352 |    68981     11 |        5 |      688
1213.60/1214.07	c 1211s |      18 |  2414127 |   377352 |    68981     11 |        5 |      688
1245.10/1245.57	c 1243s |      18 |  2415079 |   377452 |    68981     11 |        5 |      688
1282.60/1283.05	c 1280s |      18 |  2416126 |   377552 |    68981     11 |        5 |      688
1284.70/1285.18	c 1283s |      18 |  2419664 |   378152 |    68981     11 |        5 |      688
1287.00/1287.46	c 1285s |      18 |  2424072 |   378652 |    68981     11 |        5 |      688
1289.40/1289.85	c 1287s |      18 |  2429893 |   379152 |    68981     11 |        5 |      688
1291.60/1292.03	c 1289s |      18 |  2434597 |   379552 |    68981     11 |        5 |      688
1293.60/1294.04	c 1291s |      18 |  2438281 |   379952 |    68981     11 |        5 |      688
1295.80/1296.28	c 1294s |      18 |  2443800 |   380452 |    68981     11 |        5 |      688
1297.90/1298.36	c 1296s |      18 |  2447780 |   381152 |    68981     11 |        5 |      688
1300.00/1300.43	c 1298s |      18 |  2452271 |   381652 |    68981     11 |        5 |      688
1302.20/1302.69	c 1300s |      18 |  2457065 |   382352 |    68981     11 |        5 |      688
1304.59/1305.08	c 1302s |      18 |  2461274 |   382952 |    68981     11 |        5 |      688
1306.69/1307.16	c 1304s |      18 |  2464124 |   383352 |    68981     11 |        5 |      688
1308.79/1309.21	c 1307s |      18 |  2467842 |   383752 |    68981     11 |        5 |      688
1310.90/1311.39	c 1309s |      18 |  2471604 |   384252 |    68981     11 |        5 |      688
1313.29/1313.78	c 1311s |      18 |  2473621 |   384852 |    68981     11 |        5 |      688
1315.69/1316.19	c 1314s |      18 |  2477922 |   385352 |    68981     11 |        5 |      688
1317.89/1318.38	c 1316s |      18 |  2482470 |   386052 |    68981     11 |        5 |      688
1320.29/1320.76	c 1318s |      18 |  2486458 |   386652 |    68981     11 |        5 |      688
1322.59/1323.00	c 1320s |      18 |  2491131 |   387152 |    68981     11 |        5 |      688
1324.69/1325.11	c 1322s |      18 |  2495891 |   387952 |    68981     11 |        5 |      688
1326.89/1327.31	c 1325s |      18 |  2500453 |   388452 |    68981     11 |        5 |      688
1329.29/1329.76	c 1327s |      18 |  2504727 |   388952 |    68981     11 |        5 |      688
1331.59/1332.04	c 1329s |      18 |  2508822 |   389552 |    68981     11 |        5 |      688
1333.79/1334.29	c 1332s |      18 |  2512598 |   390252 |    68981     11 |        5 |      688
1336.09/1336.55	c 1334s |      18 |  2517185 |   390752 |    68981     11 |        5 |      688
1338.29/1338.80	c 1336s |      18 |  2521034 |   391452 |    68981     11 |        5 |      688
1340.79/1341.20	c 1339s |      18 |  2526591 |   392052 |    68981     11 |        5 |      688
1342.79/1343.22	c 1341s |      18 |  2529592 |   392652 |    68981     11 |        5 |      688
1344.79/1345.27	c 1343s |      18 |  2533925 |   393152 |    68981     11 |        5 |      688
1346.89/1347.32	c 1345s |      18 |  2538156 |   393752 |    68981     11 |        5 |      688
1349.19/1349.62	c 1347s |      18 |  2541170 |   394352 |    68981     11 |        5 |      688
1351.19/1351.63	c 1349s |      18 |  2544714 |   394852 |    68981     11 |        5 |      688
1353.29/1353.71	c 1351s |      18 |  2549715 |   395552 |    68981     11 |        5 |      688
1355.29/1355.78	c 1353s |      18 |  2553668 |   396152 |    68981     11 |        5 |      688
1357.68/1358.14	c 1355s |      18 |  2558537 |   396852 |    68981     11 |        5 |      688
1359.68/1360.15	c 1357s |      18 |  2563769 |   397352 |    68981     11 |        5 |      688
1361.98/1362.48	c 1360s |      18 |  2566450 |   397952 |    68981     11 |        5 |      688
1364.08/1364.52	c 1362s |      18 |  2569756 |   398552 |    68981     11 |        5 |      688
1366.38/1366.84	c 1364s |      18 |  2573012 |   399152 |    68981     11 |        5 |      688
1368.48/1368.94	c 1366s |      18 |  2575858 |   399752 |    68981     11 |        5 |      688
1370.48/1370.97	c 1368s |      18 |  2579261 |   400352 |    68981     11 |        5 |      688
1373.18/1373.60	c 1371s |      18 |  2581816 |   400752 |    68981     12 |        5 |      688
1375.28/1375.73	c 1373s |      18 |  2585480 |   401452 |    68981     12 |        5 |      688
1377.48/1377.93	c 1375s |      18 |  2588965 |   402352 |    68981     12 |        5 |      688
1379.68/1380.17	c 1377s |      18 |  2593500 |   403252 |    68981     12 |        5 |      688
1381.98/1382.41	c 1380s |      18 |  2598054 |   404252 |    68981     12 |        5 |      688
1383.98/1384.49	c 1382s |      18 |  2600173 |   405052 |    68981     12 |        5 |      688
1386.18/1386.61	c 1384s |      18 |  2602645 |   406052 |    68981     12 |        5 |      688
1389.18/1389.63	c 1387s |      18 |  2605350 |   406652 |    68981     12 |        5 |      688
1391.28/1391.76	c 1389s |      18 |  2610437 |   407052 |    68981     12 |        5 |      688
1393.48/1393.91	c 1391s |      18 |  2616219 |   407552 |    68981     12 |        5 |      688
1395.78/1396.22	c 1394s |      18 |  2621222 |   408352 |    68981     12 |        5 |      688
1398.18/1398.70	c 1396s |      18 |  2626888 |   408852 |    68981     12 |        5 |      688
1400.68/1401.12	c 1398s |      18 |  2633464 |   409352 |    68981     12 |        5 |      688
1402.68/1403.14	c 1400s |      18 |  2637797 |   410052 |    68981     12 |        5 |      688
1404.98/1405.40	c 1403s |      18 |  2643695 |   410652 |    68981     12 |        5 |      688
1406.98/1407.47	c 1405s |      18 |  2650488 |   411152 |    68981     12 |        5 |      688
1409.17/1409.68	c 1407s |      18 |  2655148 |   411852 |    68981     12 |        5 |      688
1411.27/1411.71	c 1409s |      18 |  2661710 |   412352 |    68981     12 |        5 |      688
1413.57/1414.09	c 1411s |      18 |  2667885 |   412852 |    68981     12 |        5 |      688
1415.97/1416.45	c 1414s |      18 |  2672521 |   413352 |    68981     12 |        5 |      688
1418.07/1418.59	c 1416s |      18 |  2675336 |   414052 |    68981     12 |        5 |      688
1420.27/1420.71	c 1418s |      18 |  2680682 |   414652 |    68981     12 |        5 |      688
1422.47/1422.93	c 1420s |      18 |  2687177 |   415152 |    68981     12 |        5 |      688
1424.47/1424.96	c 1422s |      18 |  2691513 |   415752 |    68981     12 |        5 |      688
1426.47/1426.97	c 1424s |      18 |  2696310 |   416452 |    68981     12 |        5 |      688
1428.48/1428.98	c 1426s |      18 |  2702901 |   416952 |    68981     12 |        5 |      688
1430.57/1431.07	c 1428s |      18 |  2707798 |   417452 |    68981     12 |        5 |      688
1432.67/1433.15	c 1430s |      18 |  2712659 |   418052 |    68981     12 |        5 |      688
1434.97/1435.43	c 1433s |      18 |  2715311 |   418752 |    68981     12 |        5 |      688
1437.17/1437.60	c 1435s |      18 |  2719155 |   419252 |    68981     12 |        5 |      688
1439.17/1439.62	c 1437s |      18 |  2722418 |   419952 |    68981     12 |        5 |      688
1441.57/1442.02	c 1439s |      18 |  2727628 |   420552 |    68981     12 |        5 |      688
1443.77/1444.21	c 1442s |      18 |  2733165 |   421152 |    68981     12 |        5 |      688
1445.77/1446.25	c 1444s |      18 |  2736395 |   421852 |    68981     12 |        5 |      688
1447.87/1448.30	c 1446s |      18 |  2741880 |   422352 |    68981     12 |        5 |      688
1449.87/1450.36	c 1448s |      18 |  2746389 |   422852 |    68981     12 |        5 |      688
1451.87/1452.37	c 1450s |      18 |  2749560 |   423552 |    68981     12 |        5 |      688
1453.97/1454.46	c 1452s |      18 |  2753405 |   424052 |    68981     12 |        5 |      688
1456.07/1456.52	c 1454s |      18 |  2758212 |   424752 |    68981     12 |        5 |      688
1458.17/1458.63	c 1456s |      18 |  2763518 |   425352 |    68981     12 |        5 |      688
1460.27/1460.76	c 1458s |      18 |  2768445 |   425852 |    68981     12 |        5 |      688
1462.37/1462.88	c 1460s |      18 |  2771990 |   426552 |    68981     12 |        5 |      688
1464.47/1464.94	c 1462s |      18 |  2776595 |   427152 |    68981     12 |        5 |      688
1466.57/1467.07	c 1464s |      18 |  2780927 |   427852 |    68981     12 |        5 |      688
1468.67/1469.12	c 1466s |      18 |  2784640 |   428352 |    68981     12 |        5 |      688
1470.67/1471.19	c 1469s |      18 |  2787645 |   428952 |    68981     12 |        5 |      688
1472.77/1473.26	c 1471s |      18 |  2791223 |   429652 |    68981     12 |        5 |      688
1474.87/1475.39	c 1473s |      18 |  2795107 |   430352 |    68981     12 |        5 |      688
1476.98/1477.47	c 1475s |      18 |  2798345 |   430952 |    68981     12 |        5 |      688
1479.08/1479.54	c 1477s |      18 |  2801090 |   431552 |    68981     12 |        5 |      688
1481.17/1481.63	c 1479s |      18 |  2805663 |   432152 |    68981     12 |        5 |      688
1483.37/1483.82	c 1481s |      18 |  2809888 |   432952 |    68981     12 |        5 |      688
1485.47/1485.98	c 1483s |      18 |  2813654 |   433652 |    68981     12 |        5 |      688
1487.77/1488.27	c 1486s |      18 |  2817761 |   434452 |    68981     12 |        5 |      688
1489.87/1490.31	c 1488s |      18 |  2821615 |   435252 |    68981     12 |        5 |      688
1491.87/1492.33	c 1490s |      18 |  2824930 |   436052 |    68981     12 |        5 |      688
1494.07/1494.59	c 1492s |      18 |  2829209 |   436952 |    68981     12 |        5 |      688
1496.37/1496.80	c 1494s |      18 |  2830945 |   437552 |    68981     13 |        5 |      688
1498.37/1498.84	c 1496s |      18 |  2833936 |   438652 |    68981     13 |        5 |      688
1500.97/1501.43	c 1499s |      18 |  2837009 |   439152 |    68981     13 |        5 |      688
1503.27/1503.78	c 1501s |      18 |  2841231 |   439552 |    68981     13 |        5 |      688
1505.37/1505.89	c 1503s |      18 |  2845617 |   440152 |    68981     13 |        5 |      688
1507.67/1508.14	c 1505s |      18 |  2850086 |   440852 |    68981     13 |        5 |      688
1509.97/1510.43	c 1508s |      18 |  2856763 |   441352 |    75880     13 |        5 |      688
1511.96/1512.50	c 1510s |      18 |  2863589 |   441852 |    75880     13 |        5 |      688
1514.37/1514.85	c 1512s |      18 |  2869485 |   442652 |    75880     13 |        5 |      688
1516.47/1516.94	c 1514s |      18 |  2875162 |   443152 |    75880     13 |        5 |      688
1518.46/1518.96	c 1516s |      18 |  2879935 |   443752 |    75880     13 |        5 |      688
1520.36/1520.86	c 1518s |      19 |  2885021 |   444482 |    75880     13 |        5 |      688
1522.56/1523.07	c 1520s |      19 |  2890052 |   444982 |    75880     13 |        5 |      688
1529.06/1529.58	c 1527s |      19 |  2891419 |   445082 |    75880     13 |        5 |      688
1531.26/1531.70	c 1529s |      19 |  2894915 |   445482 |    75880     13 |        5 |      688
1541.15/1541.65	c 1539s |      19 |  2898848 |   445982 |    75880     13 |        5 |      688
1543.45/1543.94	c 1541s |      19 |  2901920 |   446682 |    75880     13 |        5 |      688
1545.65/1546.15	c 1543s |      19 |  2906359 |   447182 |    75880     13 |        5 |      688
1547.95/1548.40	c 1546s |      19 |  2910636 |   447582 |    75880     13 |        5 |      688
1549.95/1550.44	c 1548s |      19 |  2914104 |   447982 |    75880     13 |        5 |      688
1552.05/1552.52	c 1550s |      19 |  2920720 |   448782 |    75880     13 |        5 |      688
1554.45/1554.99	c 1552s |      19 |  2927031 |   449382 |    75880     13 |        5 |      688
1556.75/1557.26	c 1555s |      19 |  2932434 |   449882 |    75880     13 |        5 |      688
1559.15/1559.61	c 1557s |      19 |  2936719 |   450582 |    75880     13 |        5 |      688
1561.45/1562.00	c 1559s |      19 |  2941829 |   451082 |    75880     13 |        5 |      688
1563.55/1564.09	c 1561s |      19 |  2946589 |   451782 |    75880     13 |        5 |      688
1565.65/1566.14	c 1563s |      19 |  2951445 |   452282 |    75880     13 |        5 |      688
1568.05/1568.59	c 1566s |      19 |  2957271 |   452782 |    75880     13 |        5 |      688
1570.15/1570.64	c 1568s |      19 |  2961888 |   453282 |    75880     13 |        5 |      688
1572.45/1572.98	c 1570s |      19 |  2966034 |   453982 |    75880     13 |        5 |      688
1574.65/1575.17	c 1572s |      19 |  2971304 |   454482 |    75880     13 |        5 |      688
1577.15/1577.61	c 1575s |      19 |  2976393 |   454982 |    75880     13 |        5 |      688
1579.26/1579.75	c 1577s |      19 |  2981319 |   455782 |    75880     13 |        5 |      688
1581.25/1581.80	c 1579s |      19 |  2984296 |   456182 |    75880     13 |        5 |      688
1583.75/1584.20	c 1582s |      19 |  2987887 |   456782 |    75880     13 |        5 |      688
1586.15/1586.67	c 1584s |      19 |  2993158 |   457382 |    75880     13 |        5 |      688
1588.35/1588.89	c 1586s |      19 |  2998717 |   457882 |    75880     13 |        5 |      688
1590.55/1591.03	c 1588s |      19 |  3001990 |   458482 |    75880     13 |        5 |      688
1592.55/1593.04	c 1590s |      19 |  3005565 |   458982 |    75880     13 |        5 |      688
1594.55/1595.06	c 1592s |      19 |  3009318 |   459482 |    75880     13 |        5 |      688
1596.75/1597.25	c 1595s |      19 |  3013127 |   460182 |    75880     13 |        5 |      688
1598.85/1599.33	c 1597s |      19 |  3018322 |   460682 |    75880     13 |        5 |      688
1601.05/1601.54	c 1599s |      19 |  3022500 |   461382 |    75880     13 |        5 |      688
1603.25/1603.71	c 1601s |      19 |  3027416 |   462082 |    75880     13 |        5 |      688
1605.25/1605.79	c 1603s |      19 |  3032394 |   462582 |    75880     13 |        5 |      688
1607.44/1607.93	c 1605s |      19 |  3037474 |   463082 |    75880     13 |        5 |      688
1609.64/1610.12	c 1607s |      19 |  3043324 |   463882 |    75880     13 |        5 |      688
1611.74/1612.22	c 1610s |      19 |  3047926 |   464582 |    75880     13 |        5 |      688
1614.04/1614.51	c 1612s |      19 |  3053418 |   465182 |    75880     13 |        5 |      688
1616.34/1616.84	c 1614s |      19 |  3057899 |   465882 |    75880     13 |        5 |      688
1618.44/1618.93	c 1616s |      19 |  3060574 |   466382 |    75880     13 |        5 |      688
1620.54/1621.02	c 1618s |      19 |  3062271 |   466882 |    75880     13 |        5 |      688
1622.54/1623.06	c 1620s |      19 |  3066138 |   467482 |    75880     13 |        5 |      688
1624.64/1625.16	c 1622s |      19 |  3069505 |   468182 |    75880     13 |        5 |      688
1626.94/1627.45	c 1625s |      19 |  3072954 |   468782 |    75880     13 |        5 |      688
1629.14/1629.69	c 1627s |      19 |  3076302 |   469382 |    75880     13 |        5 |      688
1631.24/1631.72	c 1629s |      19 |  3078717 |   469982 |    75880     13 |        5 |      688
1633.54/1634.07	c 1631s |      19 |  3081500 |   470582 |    75880     13 |        5 |      688
1635.64/1636.15	c 1633s |      19 |  3082740 |   471082 |    75880     13 |        5 |      688
1637.64/1638.18	c 1636s |      19 |  3085272 |   471682 |    75880     13 |        5 |      688
1639.75/1640.21	c 1638s |      19 |  3087939 |   472282 |    75880     13 |        5 |      688
1641.74/1642.27	c 1640s |      19 |  3089304 |   472882 |    75880     13 |        5 |      688
1643.94/1644.48	c 1642s |      19 |  3090644 |   473582 |    75880     13 |        5 |      688
1646.04/1646.53	c 1644s |      19 |  3093257 |   474182 |    75880     13 |        5 |      688
1648.14/1648.62	c 1646s |      19 |  3095547 |   474882 |    75880     13 |        5 |      688
1650.24/1650.73	c 1648s |      19 |  3097155 |   475482 |    75880     13 |        5 |      688
1652.54/1653.05	c 1650s |      19 |  3098540 |   476182 |    75880     13 |        5 |      688
1654.84/1655.30	c 1653s |      19 |  3101169 |   476882 |    75880     13 |        5 |      688
1656.94/1657.41	c 1655s |      19 |  3102965 |   477482 |    75880     13 |        5 |      688
1658.94/1659.42	c 1657s |      19 |  3105460 |   478182 |    75880     13 |        5 |      688
1661.04/1661.56	c 1659s |      19 |  3106649 |   478782 |    75880     13 |        5 |      688
1663.44/1663.95	c 1661s |      19 |  3108342 |   479482 |    75880     13 |        5 |      688
1665.74/1666.24	c 1664s |      19 |  3110483 |   480282 |    75880     13 |        5 |      688
1669.35/1669.82	c 1667s |      19 |  3111514 |   480882 |    75880     14 |        5 |      688
1671.34/1671.86	c 1669s |      19 |  3112628 |   481382 |    75880     14 |        5 |      688
1673.44/1673.96	c 1671s |      19 |  3115282 |   482182 |    75880     14 |        5 |      688
1675.54/1676.02	c 1673s |      19 |  3117333 |   482982 |    75880     14 |        5 |      688
1677.64/1678.16	c 1675s |      19 |  3118995 |   483782 |    75880     14 |        5 |      688
1679.64/1680.17	c 1677s |      19 |  3120392 |   484682 |    75880     14 |        5 |      688
1681.74/1682.27	c 1680s |      19 |  3121598 |   485482 |    75880     14 |        5 |      688
1683.84/1684.32	c 1682s |      19 |  3122921 |   486282 |    75880     14 |        5 |      688
1685.95/1686.49	c 1684s |      19 |  3124245 |   487082 |    75880     14 |        5 |      688
1688.05/1688.54	c 1686s |      19 |  3125449 |   487782 |    75880     14 |        5 |      688
1690.25/1690.77	c 1688s |      19 |  3127032 |   488582 |    75880     14 |        5 |      688
1692.54/1693.07	c 1690s |      19 |  3128422 |   489382 |    75880     14 |        5 |      688
1694.84/1695.31	c 1693s |      19 |  3130186 |   490182 |    75880     14 |        5 |      688
1697.14/1697.61	c 1695s |      19 |  3131461 |   490882 |    75880     14 |        5 |      688
1699.14/1699.66	c 1697s |      19 |  3132904 |   491582 |    75880     14 |        5 |      688
1701.24/1701.77	c 1699s |      19 |  3134235 |   492282 |    75880     14 |        5 |      688
1703.34/1703.88	c 1701s |      19 |  3136680 |   492882 |    75880     14 |        5 |      688
1705.44/1705.91	c 1703s |      19 |  3139158 |   493482 |    75880     14 |        5 |      688
1707.84/1708.33	c 1706s |      19 |  3141499 |   494182 |    75880     14 |        5 |      688
1709.84/1710.38	c 1708s |      19 |  3143479 |   494782 |    75880     14 |        5 |      688
1711.93/1712.46	c 1710s |      19 |  3144921 |   495282 |    75880     14 |        5 |      688
1714.33/1714.83	c 1712s |      19 |  3146382 |   495882 |    75880     14 |        5 |      688
1716.43/1716.94	c 1714s |      19 |  3147373 |   496382 |    75880     14 |        5 |      688
1718.73/1719.28	c 1717s |      19 |  3148474 |   496882 |    75880     14 |        5 |      688
1720.83/1721.32	c 1719s |      19 |  3149129 |   497282 |    75880     14 |        5 |      688
1723.13/1723.67	c 1721s |      19 |  3149931 |   497782 |    75880     14 |        5 |      688
1725.44/1725.95	c 1723s |      19 |  3151943 |   498382 |    75880     14 |        5 |      688
1727.83/1728.31	c 1726s |      19 |  3154242 |   498982 |    75880     14 |        5 |      688
1729.84/1730.38	c 1728s |      19 |  3157060 |   499582 |    75880     14 |        5 |      688
1732.23/1732.72	c 1730s |      19 |  3159458 |   500182 |    75880     14 |        5 |      688
1734.53/1735.01	c 1732s |      19 |  3161550 |   500782 |    75880     14 |        5 |      688
1736.83/1737.31	c 1735s |      19 |  3162681 |   501282 |    75880     14 |        5 |      688
1739.03/1739.56	c 1737s |      19 |  3163511 |   501782 |    75880     14 |        5 |      688
1741.23/1741.73	c 1739s |      19 |  3164811 |   502282 |    75880     14 |        5 |      688
1743.23/1743.75	c 1741s |      19 |  3167901 |   502782 |    75880     14 |        5 |      688
1745.53/1746.08	c 1743s |      19 |  3170286 |   503382 |    75880     14 |        5 |      688
1747.63/1748.19	c 1746s |      19 |  3172827 |   503982 |    75880     14 |        5 |      688
1749.93/1750.44	c 1748s |      19 |  3174761 |   504582 |    75880     14 |        5 |      688
1751.94/1752.49	c 1750s |      19 |  3175938 |   505082 |    75880     14 |        5 |      688
1754.33/1754.82	c 1752s |      19 |  3177997 |   505682 |    75880     14 |        5 |      688
1756.53/1757.00	c 1754s |      19 |  3179062 |   506182 |    75880     14 |        5 |      688
1758.83/1759.31	c 1757s |      19 |  3180740 |   506782 |    75880     14 |        5 |      688
1761.13/1761.69	c 1759s |      19 |  3184074 |   507382 |    75880     14 |        5 |      688
1763.53/1764.01	c 1761s |      19 |  3185582 |   507982 |    75880     14 |        5 |      688
1765.83/1766.34	c 1764s |      19 |  3187718 |   508582 |    75880     14 |        5 |      688
1768.13/1768.66	c 1766s |      19 |  3190081 |   509182 |    75880     14 |        5 |      688
1770.42/1770.98	c 1768s |      19 |  3192819 |   509782 |    75880     14 |        5 |      688
1772.62/1773.13	c 1770s |      19 |  3195420 |   510382 |    75880     14 |        5 |      688
1775.03/1775.51	c 1773s |      19 |  3197439 |   510982 |    75880     14 |        5 |      688
1777.02/1777.53	c 1775s |      19 |  3198497 |   511482 |    75880     14 |        5 |      688
1779.22/1779.79	c 1777s |      19 |  3200208 |   512082 |    75880     14 |        5 |      688
1781.32/1781.89	c 1779s |      19 |  3201487 |   512682 |    75880     14 |        5 |      688
1783.62/1784.14	c 1781s |      19 |  3203089 |   513282 |    75880     14 |        5 |      688
1786.12/1786.61	c 1784s |      19 |  3206539 |   513882 |    75880     14 |        5 |      688
1788.52/1789.02	c 1786s |      19 |  3208622 |   514482 |    75880     14 |        5 |      688
1790.72/1791.28	c 1789s |      19 |  3211062 |   515082 |    75880     14 |        5 |      688
1793.12/1793.67	c 1791s |      19 |  3213431 |   515682 |    75880     14 |        5 |      688
1795.52/1796.06	c 1793s |      19 |  3215500 |   516282 |    75880     14 |        5 |      688
1797.62/1798.15	c 1795s |      19 |  3217371 |   516782 |    75880     14 |        5 |      688
1799.62/1800.18	c 1798s |      19 |  3218946 |   517282 |    75880     14 |        5 |      688

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-4098108-1466119581/watcher-4098108-1466119581 -o /tmp/evaluation-result-4098108-1466119581/solver-4098108-1466119581 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466115959-20140 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098108-1466119581.opb 

pid=21358
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.05 2.05 2.05 3/179 21361
/proc/meminfo: memFree=30600392/32872528 swapFree=188940/188940
[pid=21361] ppid=21358 vsize=735676 CPUtime=0 cores=1,3,5,7
/proc/21361/stat : 21361 (toysat) R 21358 21361 17164 0 -1 4202496 2747 0 0 0 0 0 0 0 20 0 4 0 14008608 753332224 3618 33554432000 4194304 16246674 140737332461984 140737332461408 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21361/statm: 184431 3625 441 2943 0 181325 0
[pid=21361/tid=21362] ppid=21358 vsize=752060 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21362/stat : 21362 (toysat) S 21358 21361 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14008608 770109440 3682 33554432000 4194304 16246674 140737332461984 140602995879152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21361/tid=21363] ppid=21358 vsize=757180 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21363/stat : 21363 (toysat) S 21358 21361 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14008608 775352320 3702 33554432000 4194304 16246674 140737332461984 140602985389296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21361/tid=21364] ppid=21358 vsize=762300 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21364/stat : 21364 (toysat) S 21358 21361 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14008608 780595200 3718 33554432000 4194304 16246674 140737332461984 140602867969200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100155 s]
/proc/loadavg: 2.05 2.05 2.05 3/179 21361
/proc/meminfo: memFree=30600392/32872528 swapFree=188940/188940
[pid=21361] ppid=21358 vsize=1222212 CPUtime=0.08 cores=1,3,5,7
/proc/21361/stat : 21361 (toysat) R 21358 21361 17164 0 -1 4202496 28344 0 0 0 5 3 0 0 20 0 4 0 14008608 1251545088 29153 33554432000 4194304 16246674 140737332461984 140737332461296 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21361/statm: 305553 29157 801 2943 0 302447 0
[pid=21361/tid=21362] ppid=21358 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21362/stat : 21362 (toysat) S 21358 21361 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14008608 1251545088 29159 33554432000 4194304 16246674 140737332461984 140602995879152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21361/tid=21363] ppid=21358 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21363/stat : 21363 (toysat) S 21358 21361 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14008608 1251545088 29162 33554432000 4194304 16246674 140737332461984 140602985389296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21361/tid=21364] ppid=21358 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21364/stat : 21364 (toysat) S 21358 21361 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14008608 1251545088 29164 33554432000 4194304 16246674 140737332461984 140602867969200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1222212

[startup+0.200532 s]
/proc/loadavg: 2.05 2.05 2.05 3/179 21361
/proc/meminfo: memFree=30600392/32872528 swapFree=188940/188940
[pid=21361] ppid=21358 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/21361/stat : 21361 (toysat) R 21358 21361 17164 0 -1 4202496 50488 0 0 0 12 7 0 0 20 0 4 0 14008608 1343819776 51808 33554432000 4194304 16246674 140737332461984 140737332461296 7368110 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21361/statm: 328081 51808 801 2943 0 324975 0
[pid=21361/tid=21362] ppid=21358 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21362/stat : 21362 (toysat) S 21358 21361 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14008608 1343819776 51808 33554432000 4194304 16246674 140737332461984 140602995879152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21361/tid=21363] ppid=21358 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21363/stat : 21363 (toysat) S 21358 21361 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14008608 1343819776 51808 33554432000 4194304 16246674 140737332461984 140602985389296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21361/tid=21364] ppid=21358 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21364/stat : 21364 (toysat) S 21358 21361 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14008608 1343819776 51808 33554432000 4194304 16246674 140737332461984 140602867969200 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) 1312324

[startup+0.300503 s]
/proc/loadavg: 2.05 2.05 2.05 3/179 21361
/proc/meminfo: memFree=30600392/32872528 swapFree=188940/188940
[pid=21361] ppid=21358 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/21361/stat : 21361 (toysat) R 21358 21361 17164 0 -1 4202496 59568 0 0 0 21 8 0 0 20 0 4 0 14008608 1343819776 60888 33554432000 4194304 16246674 140737332461984 140737332461296 13780514 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21361/statm: 328081 60888 801 2943 0 324975 0
[pid=21361/tid=21362] ppid=21358 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21362/stat : 21362 (toysat) S 21358 21361 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14008608 1343819776 60888 33554432000 4194304 16246674 140737332461984 140602995879152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21361/tid=21363] ppid=21358 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21363/stat : 21363 (toysat) S 21358 21361 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14008608 1343819776 60888 33554432000 4194304 16246674 140737332461984 140602985389296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21361/tid=21364] ppid=21358 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21364/stat : 21364 (toysat) S 21358 21361 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14008608 1343819776 60888 33554432000 4194304 16246674 140737332461984 140602867969200 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) 1312324

[startup+0.700409 s]
/proc/loadavg: 2.05 2.05 2.05 3/179 21361
/proc/meminfo: memFree=30600392/32872528 swapFree=188940/188940
[pid=21361] ppid=21358 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/21361/stat : 21361 (toysat) R 21358 21361 17164 0 -1 4202496 70019 0 0 0 59 10 0 0 20 0 4 0 14008608 1344868352 71339 33554432000 4194304 16246674 140737332461984 140737332459776 4220536 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21361/statm: 328337 71339 802 2943 0 325231 0
[pid=21361/tid=21362] ppid=21358 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21362/stat : 21362 (toysat) S 21358 21361 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14008608 1344868352 71339 33554432000 4194304 16246674 140737332461984 140602995879152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21361/tid=21363] ppid=21358 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21363/stat : 21363 (toysat) S 21358 21361 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14008608 1344868352 71339 33554432000 4194304 16246674 140737332461984 140602985389296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21361/tid=21364] ppid=21358 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21364/stat : 21364 (toysat) S 21358 21361 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14008608 1344868352 71339 33554432000 4194304 16246674 140737332461984 140602867969200 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) 1313348

[startup+1.5004 s]
/proc/loadavg: 2.05 2.05 2.05 3/183 21365
/proc/meminfo: memFree=30106144/32872528 swapFree=188940/188940
[pid=21361] ppid=21358 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/21361/stat : 21361 (toysat) R 21358 21361 17164 0 -1 4202496 226143 0 0 0 120 29 0 0 20 0 4 0 14008608 1344868352 227464 33554432000 4194304 16246674 140737332461984 140737332459776 5763325 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21361/statm: 328337 227474 836 2943 0 325231 0
[pid=21361/tid=21362] ppid=21358 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21362/stat : 21362 (toysat) S 21358 21361 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14008608 1344868352 227481 33554432000 4194304 16246674 140737332461984 140602995879152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21361/tid=21363] ppid=21358 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21363/stat : 21363 (toysat) S 21358 21361 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14008608 1344868352 227489 33554432000 4194304 16246674 140737332461984 140602985389296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21361/tid=21364] ppid=21358 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21364/stat : 21364 (toysat) S 21358 21361 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14008608 1344868352 227497 33554432000 4194304 16246674 140737332461984 140602867969200 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) 1313348

[startup+3.10041 s]
/proc/loadavg: 2.05 2.05 2.05 3/183 21365
/proc/meminfo: memFree=29509344/32872528 swapFree=188940/188940
[pid=21361] ppid=21358 vsize=1324612 CPUtime=3.09 cores=1,3,5,7
/proc/21361/stat : 21361 (toysat) R 21358 21361 17164 0 -1 4202496 271676 0 0 0 274 35 0 0 20 0 4 0 14008608 1356402688 272996 33554432000 4194304 16246674 140737332461984 140737332443904 13820947 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21361/statm: 331153 272996 882 2943 0 328047 0
[pid=21361/tid=21362] ppid=21358 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21362/stat : 21362 (toysat) S 21358 21361 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14008608 1356402688 272996 33554432000 4194304 16246674 140737332461984 140602995879152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21361/tid=21363] ppid=21358 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21363/stat : 21363 (toysat) S 21358 21361 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14008608 1356402688 272996 33554432000 4194304 16246674 140737332461984 140602985389296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21361/tid=21364] ppid=21358 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21364/stat : 21364 (toysat) S 21358 21361 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14008608 1356402688 272996 33554432000 4194304 16246674 140737332461984 140602867969200 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) 1324612

[startup+6.30042 s]
/proc/loadavg: 2.05 2.05 2.05 3/183 21365
/proc/meminfo: memFree=29508508/32872528 swapFree=188940/188940
[pid=21361] ppid=21358 vsize=1324612 CPUtime=6.29 cores=1,3,5,7
/proc/21361/stat : 21361 (toysat) R 21358 21361 17164 0 -1 4202496 271823 0 0 0 594 35 0 0 20 0 4 0 14008608 1356402688 273143 33554432000 4194304 16246674 140737332461984 140737332459776 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21361/statm: 331153 273143 885 2943 0 328047 0
[pid=21361/tid=21362] ppid=21358 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21362/stat : 21362 (toysat) S 21358 21361 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14008608 1356402688 273143 33554432000 4194304 16246674 140737332461984 140602995879152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21361/tid=21363] ppid=21358 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21363/stat : 21363 (toysat) S 21358 21361 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14008608 1356402688 273143 33554432000 4194304 16246674 140737332461984 140602985389296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21361/tid=21364] ppid=21358 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21364/stat : 21364 (toysat) S 21358 21361 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14008608 1356402688 273143 33554432000 4194304 16246674 140737332461984 140602867969200 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) 1324612

[startup+12.7004 s]
/proc/loadavg: 2.11 2.06 2.06 3/183 21365
/proc/meminfo: memFree=29508432/32872528 swapFree=188940/188940
[pid=21361] ppid=21358 vsize=1324612 CPUtime=12.69 cores=1,3,5,7
/proc/21361/stat : 21361 (toysat) R 21358 21361 17164 0 -1 4202496 271824 0 0 0 1234 35 0 0 20 0 4 0 14008608 1356402688 273144 33554432000 4194304 16246674 140737332461984 140737332443904 6022520 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21361/statm: 331153 273144 885 2943 0 328047 0
[pid=21361/tid=21362] ppid=21358 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21362/stat : 21362 (toysat) S 21358 21361 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14008608 1356402688 273144 33554432000 4194304 16246674 140737332461984 140602995879152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21361/tid=21363] ppid=21358 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21363/stat : 21363 (toysat) S 21358 21361 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14008608 1356402688 273144 33554432000 4194304 16246674 140737332461984 140602985389296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21361/tid=21364] ppid=21358 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21364/stat : 21364 (toysat) S 21358 21361 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14008608 1356402688 273144 33554432000 4194304 16246674 140737332461984 140602867969200 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) 1324612

[startup+25.5005 s]
/proc/loadavg: 2.09 2.06 2.06 3/183 21365
/proc/meminfo: memFree=29508852/32872528 swapFree=188940/188940
[pid=21361] ppid=21358 vsize=1324612 CPUtime=25.48 cores=1,3,5,7
/proc/21361/stat : 21361 (toysat) R 21358 21361 17164 0 -1 4202496 271824 0 0 0 2513 35 0 0 20 0 4 0 14008608 1356402688 273144 33554432000 4194304 16246674 140737332461984 140737332443904 5822592 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21361/statm: 331153 273144 885 2943 0 328047 0
[pid=21361/tid=21362] ppid=21358 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21362/stat : 21362 (toysat) S 21358 21361 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14008608 1356402688 273144 33554432000 4194304 16246674 140737332461984 140602995879152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21361/tid=21363] ppid=21358 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21363/stat : 21363 (toysat) S 21358 21361 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14008608 1356402688 273144 33554432000 4194304 16246674 140737332461984 140602985389296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21361/tid=21364] ppid=21358 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21364/stat : 21364 (toysat) S 21358 21361 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14008608 1356402688 273144 33554432000 4194304 16246674 140737332461984 140602867969200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1324612

[startup+51.1005 s]
/proc/loadavg: 2.06 2.06 2.06 3/183 21365
/proc/meminfo: memFree=29509104/32872528 swapFree=188940/188940
[pid=21361] ppid=21358 vsize=1324612 CPUtime=51.08 cores=1,3,5,7
/proc/21361/stat : 21361 (toysat) R 21358 21361 17164 0 -1 4202496 271824 0 0 0 5073 35 0 0 20 0 4 0 14008608 1356402688 273144 33554432000 4194304 16246674 140737332461984 140737332443904 6836965 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21361/statm: 331153 273144 885 2943 0 328047 0
[pid=21361/tid=21362] ppid=21358 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21362/stat : 21362 (toysat) S 21358 21361 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14008608 1356402688 273144 33554432000 4194304 16246674 140737332461984 140602995879152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21361/tid=21363] ppid=21358 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21363/stat : 21363 (toysat) S 21358 21361 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14008608 1356402688 273144 33554432000 4194304 16246674 140737332461984 140602985389296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21361/tid=21364] ppid=21358 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21364/stat : 21364 (toysat) S 21358 21361 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14008608 1356402688 273144 33554432000 4194304 16246674 140737332461984 140602867969200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1324612

[startup+102.301 s]
/proc/loadavg: 2.02 2.04 2.05 3/183 21416
/proc/meminfo: memFree=29590344/32872528 swapFree=188940/188940
[pid=21361] ppid=21358 vsize=1324612 CPUtime=102.28 cores=1,3,5,7
/proc/21361/stat : 21361 (toysat) R 21358 21361 17164 0 -1 4202496 271828 0 0 0 10193 35 0 0 20 0 4 0 14008608 1356402688 273148 33554432000 4194304 16246674 140737332461984 140737332443904 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21361/statm: 331153 273148 888 2943 0 328047 0
[pid=21361/tid=21362] ppid=21358 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21362/stat : 21362 (toysat) S 21358 21361 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14008608 1356402688 273148 33554432000 4194304 16246674 140737332461984 140602995879152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21361/tid=21363] ppid=21358 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21363/stat : 21363 (toysat) S 21358 21361 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14008608 1356402688 273148 33554432000 4194304 16246674 140737332461984 140602985389296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21361/tid=21364] ppid=21358 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21364/stat : 21364 (toysat) S 21358 21361 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14008608 1356402688 273148 33554432000 4194304 16246674 140737332461984 140602867969200 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) 1324612


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

/proc/21361/task/21364/stat : 21364 (toysat) S 21358 21361 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14008608 1478037504 302845 33554432000 4194304 16246674 140737332461984 140602867969200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1443396

[startup+1362.3 s]
/proc/loadavg: 2.09 2.06 2.02 3/183 21496
/proc/meminfo: memFree=29350196/32872528 swapFree=188940/188940
[pid=21361] ppid=21358 vsize=1443396 CPUtime=1361.88 cores=1,3,5,7
/proc/21361/stat : 21361 (toysat) R 21358 21361 17164 0 -1 4202496 301876 0 0 0 136140 48 0 0 20 0 4 0 14008608 1478037504 302845 33554432000 4194304 16246674 140737332461984 140737332443904 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21361/statm: 360849 302845 889 2943 0 357743 0
[pid=21361/tid=21362] ppid=21358 vsize=1443396 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21362/stat : 21362 (toysat) S 21358 21361 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14008608 1478037504 302845 33554432000 4194304 16246674 140737332461984 140602995879152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21361/tid=21363] ppid=21358 vsize=1443396 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21363/stat : 21363 (toysat) S 21358 21361 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14008608 1478037504 302845 33554432000 4194304 16246674 140737332461984 140602985389296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21361/tid=21364] ppid=21358 vsize=1443396 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21364/stat : 21364 (toysat) S 21358 21361 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14008608 1478037504 302845 33554432000 4194304 16246674 140737332461984 140602867969200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1443396

[startup+1422.3 s]
/proc/loadavg: 2.13 2.08 2.03 3/184 21500
/proc/meminfo: memFree=29349348/32872528 swapFree=188940/188940
[pid=21361] ppid=21358 vsize=1443396 CPUtime=1421.88 cores=1,3,5,7
/proc/21361/stat : 21361 (toysat) R 21358 21361 17164 0 -1 4202496 301876 0 0 0 142140 48 0 0 20 0 4 0 14008608 1478037504 302845 33554432000 4194304 16246674 140737332461984 140737332443904 5674576 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21361/statm: 360849 302845 889 2943 0 357743 0
[pid=21361/tid=21362] ppid=21358 vsize=1443396 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21362/stat : 21362 (toysat) S 21358 21361 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14008608 1478037504 302845 33554432000 4194304 16246674 140737332461984 140602995879152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21361/tid=21363] ppid=21358 vsize=1443396 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21363/stat : 21363 (toysat) S 21358 21361 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14008608 1478037504 302845 33554432000 4194304 16246674 140737332461984 140602985389296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21361/tid=21364] ppid=21358 vsize=1443396 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21364/stat : 21364 (toysat) S 21358 21361 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14008608 1478037504 302845 33554432000 4194304 16246674 140737332461984 140602867969200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1443396

[startup+1482.3 s]
/proc/loadavg: 2.05 2.06 2.02 3/183 21501
/proc/meminfo: memFree=29350012/32872528 swapFree=188940/188940
[pid=21361] ppid=21358 vsize=1443396 CPUtime=1481.87 cores=1,3,5,7
/proc/21361/stat : 21361 (toysat) R 21358 21361 17164 0 -1 4202496 301876 0 0 0 148138 49 0 0 20 0 4 0 14008608 1478037504 302845 33554432000 4194304 16246674 140737332461984 140737332443904 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21361/statm: 360849 302845 889 2943 0 357743 0
[pid=21361/tid=21362] ppid=21358 vsize=1443396 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21362/stat : 21362 (toysat) S 21358 21361 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14008608 1478037504 302845 33554432000 4194304 16246674 140737332461984 140602995879152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21361/tid=21363] ppid=21358 vsize=1443396 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21363/stat : 21363 (toysat) S 21358 21361 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14008608 1478037504 302845 33554432000 4194304 16246674 140737332461984 140602985389296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21361/tid=21364] ppid=21358 vsize=1443396 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21364/stat : 21364 (toysat) S 21358 21361 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14008608 1478037504 302845 33554432000 4194304 16246674 140737332461984 140602867969200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1443396

[startup+1542.31 s]
/proc/loadavg: 2.02 2.05 2.02 3/183 21502
/proc/meminfo: memFree=29279132/32872528 swapFree=188940/188940
[pid=21361] ppid=21358 vsize=1456708 CPUtime=1541.86 cores=1,3,5,7
/proc/21361/stat : 21361 (toysat) R 21358 21361 17164 0 -1 4202496 305204 0 0 0 154135 51 0 0 20 0 4 0 14008608 1491668992 306173 33554432000 4194304 16246674 140737332461984 140737332443904 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21361/statm: 364177 306173 889 2943 0 361071 0
[pid=21361/tid=21362] ppid=21358 vsize=1456708 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21362/stat : 21362 (toysat) S 21358 21361 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14008608 1491668992 306173 33554432000 4194304 16246674 140737332461984 140602995879152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21361/tid=21363] ppid=21358 vsize=1456708 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21363/stat : 21363 (toysat) S 21358 21361 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14008608 1491668992 306173 33554432000 4194304 16246674 140737332461984 140602985389296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21361/tid=21364] ppid=21358 vsize=1456708 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21364/stat : 21364 (toysat) S 21358 21361 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14008608 1491668992 306173 33554432000 4194304 16246674 140737332461984 140602867969200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1456708

[startup+1602.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/182 21503
/proc/meminfo: memFree=29278488/32872528 swapFree=188940/188940
[pid=21361] ppid=21358 vsize=1456708 CPUtime=1601.85 cores=1,3,5,7
/proc/21361/stat : 21361 (toysat) R 21358 21361 17164 0 -1 4202496 305204 0 0 0 160134 51 0 0 20 0 4 0 14008608 1491668992 306173 33554432000 4194304 16246674 140737332461984 140737332443904 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21361/statm: 364177 306173 889 2943 0 361071 0
[pid=21361/tid=21362] ppid=21358 vsize=1456708 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21362/stat : 21362 (toysat) S 21358 21361 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14008608 1491668992 306173 33554432000 4194304 16246674 140737332461984 140602995879152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21361/tid=21363] ppid=21358 vsize=1456708 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21363/stat : 21363 (toysat) S 21358 21361 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14008608 1491668992 306173 33554432000 4194304 16246674 140737332461984 140602985389296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21361/tid=21364] ppid=21358 vsize=1456708 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21364/stat : 21364 (toysat) S 21358 21361 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14008608 1491668992 306173 33554432000 4194304 16246674 140737332461984 140602867969200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1456708

[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/183 21505
/proc/meminfo: memFree=29278636/32872528 swapFree=188940/188940
[pid=21361] ppid=21358 vsize=1456708 CPUtime=1661.84 cores=1,3,5,7
/proc/21361/stat : 21361 (toysat) R 21358 21361 17164 0 -1 4202496 305204 0 0 0 166133 51 0 0 20 0 4 0 14008608 1491668992 306173 33554432000 4194304 16246674 140737332461984 140737332443904 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21361/statm: 364177 306173 889 2943 0 361071 0
[pid=21361/tid=21362] ppid=21358 vsize=1456708 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21362/stat : 21362 (toysat) S 21358 21361 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14008608 1491668992 306173 33554432000 4194304 16246674 140737332461984 140602995879152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21361/tid=21363] ppid=21358 vsize=1456708 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21363/stat : 21363 (toysat) S 21358 21361 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14008608 1491668992 306173 33554432000 4194304 16246674 140737332461984 140602985389296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21361/tid=21364] ppid=21358 vsize=1456708 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21364/stat : 21364 (toysat) S 21358 21361 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14008608 1491668992 306173 33554432000 4194304 16246674 140737332461984 140602867969200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1456708

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 21506
/proc/meminfo: memFree=29278280/32872528 swapFree=188940/188940
[pid=21361] ppid=21358 vsize=1456708 CPUtime=1721.83 cores=1,3,5,7
/proc/21361/stat : 21361 (toysat) R 21358 21361 17164 0 -1 4202496 305204 0 0 0 172131 52 0 0 20 0 4 0 14008608 1491668992 306173 33554432000 4194304 16246674 140737332461984 140737332443904 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21361/statm: 364177 306173 889 2943 0 361071 0
[pid=21361/tid=21362] ppid=21358 vsize=1456708 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21362/stat : 21362 (toysat) S 21358 21361 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14008608 1491668992 306173 33554432000 4194304 16246674 140737332461984 140602995879152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21361/tid=21363] ppid=21358 vsize=1456708 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21363/stat : 21363 (toysat) S 21358 21361 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14008608 1491668992 306173 33554432000 4194304 16246674 140737332461984 140602985389296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21361/tid=21364] ppid=21358 vsize=1456708 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21364/stat : 21364 (toysat) S 21358 21361 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14008608 1491668992 306173 33554432000 4194304 16246674 140737332461984 140602867969200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1456708

[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 21507
/proc/meminfo: memFree=29277848/32872528 swapFree=188940/188940
[pid=21361] ppid=21358 vsize=1456708 CPUtime=1781.82 cores=1,3,5,7
/proc/21361/stat : 21361 (toysat) R 21358 21361 17164 0 -1 4202496 305205 0 0 0 178130 52 0 0 20 0 4 0 14008608 1491668992 306176 33554432000 4194304 16246674 140737332461984 140737332461160 5675184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21361/statm: 364177 306176 889 2943 0 361071 0
[pid=21361/tid=21362] ppid=21358 vsize=1456708 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21362/stat : 21362 (toysat) S 21358 21361 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14008608 1491668992 306176 33554432000 4194304 16246674 140737332461984 140602995879152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21361/tid=21363] ppid=21358 vsize=1456708 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21363/stat : 21363 (toysat) S 21358 21361 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14008608 1491668992 306176 33554432000 4194304 16246674 140737332461984 140602985389296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21361/tid=21364] ppid=21358 vsize=1456708 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21364/stat : 21364 (toysat) S 21358 21361 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14008608 1491668992 306176 33554432000 4194304 16246674 140737332461984 140602867969200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1456708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.10 2.04 2.00 3/183 21507
/proc/meminfo: memFree=29277604/32872528 swapFree=188940/188940
[pid=21361] ppid=21358 vsize=1456708 CPUtime=1800.02 cores=1,3,5,7
/proc/21361/stat : 21361 (toysat) R 21358 21361 17164 0 -1 4202496 305205 0 0 0 179950 52 0 0 20 0 4 0 14008608 1491668992 306176 33554432000 4194304 16246674 140737332461984 140737332443904 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21361/statm: 364177 306176 889 2943 0 361071 0
[pid=21361/tid=21362] ppid=21358 vsize=1456708 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21362/stat : 21362 (toysat) S 21358 21361 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14008608 1491668992 306176 33554432000 4194304 16246674 140737332461984 140602995879152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21361/tid=21363] ppid=21358 vsize=1456708 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21363/stat : 21363 (toysat) S 21358 21361 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14008608 1491668992 306176 33554432000 4194304 16246674 140737332461984 140602985389296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21361/tid=21364] ppid=21358 vsize=1456708 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21364/stat : 21364 (toysat) S 21358 21361 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14008608 1491668992 306176 33554432000 4194304 16246674 140737332461984 140602867969200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1456708

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 21361 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.10 2.04 2.00 3/183 21507
/proc/meminfo: memFree=29277604/32872528 swapFree=188940/188940
[pid=21361] ppid=21358 vsize=1456708 CPUtime=1800.02 cores=1,3,5,7
/proc/21361/stat : 21361 (toysat) R 21358 21361 17164 0 -1 4202496 305205 0 0 0 179950 52 0 0 20 0 4 0 14008608 1491668992 306176 33554432000 4194304 16246674 140737332461984 140737332443904 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21361/statm: 364177 306176 889 2943 0 361071 0
[pid=21361/tid=21362] ppid=21358 vsize=1456708 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21362/stat : 21362 (toysat) S 21358 21361 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14008608 1491668992 306176 33554432000 4194304 16246674 140737332461984 140602995879152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21361/tid=21363] ppid=21358 vsize=1456708 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21363/stat : 21363 (toysat) S 21358 21361 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14008608 1491668992 306176 33554432000 4194304 16246674 140737332461984 140602985389296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21361/tid=21364] ppid=21358 vsize=1456708 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21364/stat : 21364 (toysat) S 21358 21361 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14008608 1491668992 306176 33554432000 4194304 16246674 140737332461984 140602867969200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1456708

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.51
CPU system time (s): 0.526919
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 1456708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.526919
maximum resident set size= 1224704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 305205
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= 369
involuntary context switches= 1952

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.69429 second user time and 6.81596 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-17 01:26:21
IDJOB=4098108
IDBENCH=107853
IDSOLVER=2542
FILE ID=node102/4098108-1466119581
RUNJOBID= node102-1466115959-20140
PBS_JOBID= 19904127
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_15.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098108-1466119581/watcher-4098108-1466119581 -o /tmp/evaluation-result-4098108-1466119581/solver-4098108-1466119581 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466115959-20140 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098108-1466119581.opb

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

MD5SUM BENCH= c226793b4129901062d8cb1e10a179c8
RANDOM SEED=1314836949

node102.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		: 2666.746
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	: 5333.49
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		: 2666.746
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		: 2666.746
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.56
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		: 2666.746
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.55
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		: 2666.746
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		: 2666.746
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.55
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		: 2666.746
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.55
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		: 2666.746
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30600664 kB
Buffers:           52632 kB
Cached:           172624 kB
SwapCached:         1412 kB
Active:          1283060 kB
Inactive:          96232 kB
Active(anon):    1155052 kB
Inactive(anon):     1076 kB
Active(file):     128008 kB
Inactive(file):    95156 kB
Unevictable:      188940 kB
Mlocked:          188940 kB
SwapTotal:      67108856 kB
SwapFree:       67099224 kB
Dirty:             20364 kB
Writeback:             0 kB
AnonPages:       1341688 kB
Mapped:            10636 kB
Shmem:                 0 kB
Slab:             571076 kB
SReclaimable:      14520 kB
SUnreclaim:       556556 kB
KernelStack:        1496 kB
PageTables:         6556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1485756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1146880 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= 71688 MiB
End job on node102 at 2016-06-17 01:56:21