Trace number 4078910

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.1 1800.61

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K168.opb
MD5SUM4a002b4e44699cf4cd35a469f7223c94
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 variables19992
Total number of constraints20330
Number of constraints which are clauses20162
Number of constraints which are cardinality constraints (but not clauses)168
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint168
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 169
Number of bits of the biggest sum of numbers8
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-07T10:07:52+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-4078910-1465286871.opb"]
0.00/0.01	c use --random-gen="3716569945 4256068833 3877306766 839798356 2022613164 939496710 3895960082 2917456264 3122109575 4124869904 2180414173 2501892444 2571184599 3798582389 205100769 810745547 877844222 678533522 755610523 1815326986 1304505472 1122331656 1390964961 4091106796 436367565 3991789488 1272773127 726710285 2008821491 3962606902 3792223038 901477614 3239794718 3566441927 2340718502 1290776149 3062411858 2384717951 4162084271 2849291799 391075415 4218046013 2159923097 2393248141 3131978388 1306957858 3280928296 2770096746 3324568698 3837112341 273876602 2649270769 1361668146 3494968162 823737558 1394251096 2177016504 3272230768 1396553112 1324577389 460970850 3312963434 107028005 1167992100 2959877770 3525358964 733388646 640272099 525749026 2089837522 3272774659 247404067 188986335 1206235977 654070054 2297270721 3742450191 1158684651 2735836673 1302023137 422982887 1515695032 509049112 2446733429 296808399 2561454545 1493573298 479976081 4175825902 628373074 3495374686 3067057021 2641837857 1195006284 1433628939 3011034378 2886012183 1935362597 415188415 2156195709 1804240143 935513275 3268203607 3013759094 1367064402 782724895 1411961969 703250066 3914555729 1109700073 3188956237 475121551 637312229 1121871754 1019198103 4174849248 1275151557 1855815834 2210267126 3582583352 524223002 3443250151 1112230255 7138817 361397883 1821984434 1709507017 3697955010 2539544012 2931984900 1413086058 2837998609 1363819292 2236745896 1767301053 3888005238 3908880535 1571678616 2633136861 865354454 1467020292 3574313661 2065814986 2204790174 907444710 439524902 3818299636 3467993795 1772923146 1935331738 1642348760 2101413309 935924239 1282764881 293204791 1658971042 2561426634 3705164556 570531440 2838100739 3588533223 3875921467 4249344586 1828895328 413061334 755476169 956806888 3767248847 3602690483 1530443683 310739567 1787561843 3528463182 908956170 4240906407 3849047174 3033159467 2994810989 1253279263 2008003426 1920361200 3970334392 2769145228 2811980501 3670260017 2303301398 3402374029 1517379764 1067088833 2434999573 2462441889 3725844811 1316608518 4215046194 3801967384 2051166574 754939608 2491154802 1336910873 3419275391 2564321774 3448048281 4015718208 458789013 3376217884 2848285173 1908018376 897326842 90059524 335374257 3395836677 3588912471 3566242979 3163844132 3230981544 1919056296 2484738139 2157403963 4003751788 1354540790 1375470148 2974615112 3080151285 1536666452 3298995762 235587617 3217228095 3067503089 3627508008 1626671985 4161259321 2871100191 806436970 2998117271 4293222818 1700594061 2758079352 1848448060 491146591 3414908412 3800136021 3920549699 2940649134 3660466441 582260018 438061324 1182001359 1837001049 2280154767 4285859840 2495961368 1037780197 3480940976 2110047474 3535650135 762344723 255 362436" option to reproduce the execution
0.19/0.28	c #vars 19992
0.19/0.28	c #constraints 20330
0.68/0.74	c Solving starts ...
0.68/0.74	c ============================[ Search Statistics ]============================
0.68/0.74	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.68/0.74	c       |         |          |          |    Limit     GC | Var      | Constra 
0.68/0.74	c =============================================================================
0.68/0.74	c  0.0s |       0 |        0 |        0 |    13440      0 |      742 |        0
1.79/1.86	c  1.1s |       1 |    11425 |      100 |    13440      0 |      743 |      634
2.79/2.84	c  2.1s |       2 |    25414 |      250 |    14785      0 |      744 |      635
3.69/3.71	c  3.0s |       3 |    37790 |      475 |    16264      0 |      746 |      637
4.59/4.61	c  3.9s |       4 |    47836 |      813 |    17891      0 |      747 |      638
5.99/6.06	c  5.3s |       5 |    75745 |     1320 |    19681      0 |      748 |      639
8.29/8.34	c  7.6s |       5 |   118889 |     2020 |    21650      0 |      749 |      640
8.49/8.59	c  7.9s |       6 |   123842 |     2081 |    23816      0 |      749 |      640
10.79/10.87	c 10.1s |       6 |   151258 |     2981 |    23816      0 |      749 |      640
11.69/11.75	c 11.0s |       7 |   166705 |     3223 |    26198      0 |      749 |      640
13.79/13.89	c 13.2s |       7 |   205233 |     3823 |    26198      0 |      750 |      641
15.88/15.96	c 15.2s |       7 |   236396 |     4623 |    26198      0 |      751 |      642
16.88/16.90	c 16.2s |       8 |   253447 |     4936 |    28818      0 |      751 |      642
19.08/19.16	c 18.4s |       8 |   287618 |     5636 |    28818      0 |      751 |      642
21.28/21.38	c 20.6s |       8 |   327914 |     6436 |    28818      0 |      751 |      642
23.38/23.45	c 22.7s |       8 |   347476 |     7136 |    28818      0 |      751 |      642
24.88/24.97	c 24.2s |       9 |   370179 |     7506 |    31700      0 |      751 |      642
26.88/26.97	c 26.2s |       9 |   381430 |     8306 |    31700      0 |      752 |      643
29.38/29.43	c 28.7s |       9 |   414913 |     9206 |    31700      0 |      752 |      643
31.38/31.49	c 30.8s |       9 |   443065 |    10006 |    31700      0 |      752 |      643
33.68/33.71	c 33.0s |       9 |   467626 |    10706 |    31700      0 |      752 |      643
35.88/35.95	c 35.2s |      10 |   499065 |    11361 |    34870      0 |      752 |      643
37.88/37.99	c 37.3s |      10 |   525456 |    11861 |    34870      0 |      752 |      643
40.28/40.36	c 39.6s |      10 |   558853 |    12361 |    34870      0 |      754 |      645
42.38/42.46	c 41.7s |      10 |   575254 |    12961 |    34870      0 |      754 |      645
44.68/44.78	c 44.0s |      10 |   608726 |    13561 |    34870      0 |      754 |      645
47.18/47.28	c 46.5s |      10 |   641196 |    14161 |    34870      0 |      756 |      647
49.38/49.48	c 48.7s |      10 |   671963 |    14761 |    34870      0 |      756 |      647
51.88/51.97	c 51.2s |      10 |   696123 |    15461 |    34870      0 |      757 |      648
53.89/53.97	c 53.2s |      10 |   713919 |    16161 |    34870      0 |      758 |      649
56.28/56.33	c 55.6s |      10 |   750114 |    16661 |    34870      0 |      758 |      649
58.58/58.68	c 57.9s |      11 |   776795 |    17144 |    38357      0 |      758 |      649
60.88/60.99	c 60.3s |      11 |   802879 |    17844 |    38357      0 |      758 |      649
63.18/63.26	c 62.5s |      11 |   830744 |    18444 |    38357      0 |      758 |      649
65.38/65.49	c 64.8s |      11 |   859350 |    19044 |    38357      0 |      758 |      649
67.78/67.90	c 67.2s |      11 |   885355 |    19844 |    38357      0 |      758 |      649
69.98/70.07	c 69.3s |      11 |   912967 |    20344 |    38357      0 |      758 |      649
72.18/72.23	c 71.5s |      11 |   931160 |    20944 |    38357      0 |      758 |      649
74.28/74.31	c 73.6s |      11 |   956607 |    21544 |    38357      0 |      758 |      649
76.38/76.46	c 75.7s |      11 |   984336 |    22144 |    38357      0 |      758 |      649
78.78/78.87	c 78.1s |      11 |  1015951 |    22744 |    38357      0 |      758 |      649
80.87/80.94	c 80.2s |      11 |  1040226 |    23244 |    38357      0 |      758 |      649
83.27/83.32	c 82.6s |      11 |  1060669 |    23944 |    38357      0 |      758 |      649
85.37/85.49	c 84.8s |      11 |  1073639 |    24544 |    38357      0 |      758 |      649
87.67/87.70	c 87.0s |      11 |  1091146 |    25144 |    38357      0 |      758 |      649
89.67/89.79	c 89.1s |      11 |  1093111 |    25744 |    42193      0 |      758 |      649
89.97/90.06	c 89.3s |      12 |  1093916 |    25819 |    42193      0 |      758 |      649
92.07/92.18	c 91.4s |      12 |  1108478 |    26219 |    42193      0 |      759 |      650
94.37/94.41	c 93.7s |      12 |  1136446 |    26619 |    42193      0 |      760 |      651
96.47/96.55	c 95.8s |      12 |  1158678 |    27119 |    42193      0 |      760 |      651
98.57/98.63	c 97.9s |      12 |  1178111 |    27619 |    42193      0 |      760 |      651
100.97/101.05	c  100s |      12 |  1200593 |    28119 |    42193      0 |      761 |      652
103.38/103.46	c  102s |      12 |  1221165 |    28819 |    42193      0 |      761 |      652
105.47/105.53	c  104s |      12 |  1240259 |    29219 |    42193      0 |      762 |      653
107.88/107.90	c  107s |      12 |  1265258 |    29719 |    42193      0 |      762 |      653
109.98/110.10	c  109s |      12 |  1280797 |    30219 |    42193      0 |      763 |      654
112.18/112.24	c  111s |      12 |  1298202 |    30819 |    42193      0 |      763 |      654
114.37/114.43	c  113s |      12 |  1319691 |    31419 |    42193      0 |      763 |      654
116.57/116.70	c  115s |      12 |  1335599 |    32119 |    42193      0 |      763 |      654
119.07/119.15	c  118s |      12 |  1361452 |    32719 |    42193      0 |      763 |      654
121.87/121.91	c  121s |      12 |  1382362 |    33519 |    42193      0 |      764 |      655
124.17/124.20	c  123s |      12 |  1400511 |    34119 |    42193      0 |      764 |      655
126.87/126.95	c  126s |      12 |  1425301 |    34719 |    42193      0 |      765 |      656
128.97/129.08	c  128s |      12 |  1449236 |    35119 |    42193      0 |      765 |      656
131.26/131.36	c  130s |      12 |  1475808 |    35619 |    42193      0 |      765 |      656
133.66/133.78	c  133s |      12 |  1495356 |    36219 |    42193      0 |      765 |      656
136.16/136.27	c  135s |      12 |  1524513 |    36719 |    42193      0 |      765 |      656
138.57/138.69	c  137s |      12 |  1555312 |    37219 |    42193      0 |      765 |      656
140.66/140.74	c  140s |      12 |  1559274 |    37619 |    42193      0 |      765 |      656
143.07/143.15	c  142s |      12 |  1562202 |    38019 |    42193      0 |      765 |      656
145.27/145.35	c  144s |      12 |  1563650 |    38419 |    42193      0 |      765 |      656
146.96/147.03	c  146s |      13 |  1572625 |    38832 |    46413      0 |      765 |      656
148.96/149.05	c  148s |      13 |  1589697 |    39232 |    46413      0 |      765 |      656
151.06/151.12	c  150s |      13 |  1613237 |    39732 |    46413      0 |      765 |      656
153.06/153.13	c  152s |      13 |  1632585 |    40132 |    46413      0 |      765 |      656
155.17/155.21	c  154s |      13 |  1645566 |    40732 |    46413      0 |      765 |      656
157.16/157.23	c  156s |      13 |  1663519 |    41232 |    46413      0 |      765 |      656
159.16/159.25	c  158s |      13 |  1681981 |    41632 |    46413      0 |      765 |      656
161.26/161.36	c  160s |      13 |  1703304 |    42032 |    46413      0 |      765 |      656
163.36/163.42	c  162s |      13 |  1718657 |    42532 |    46413      0 |      765 |      656
165.66/165.73	c  164s |      13 |  1727458 |    43232 |    46413      0 |      765 |      656
167.86/167.95	c  167s |      13 |  1743622 |    43732 |    46413      0 |      765 |      656
170.16/170.27	c  169s |      13 |  1767024 |    44232 |    46413      0 |      765 |      656
172.26/172.34	c  171s |      13 |  1780468 |    44632 |    46413      0 |      765 |      656
174.36/174.41	c  173s |      13 |  1793312 |    45132 |    46413      0 |      765 |      656
176.96/177.00	c  176s |      13 |  1816793 |    45632 |    46413      0 |      765 |      656
178.96/179.08	c  178s |      13 |  1831437 |    46132 |    46413      0 |      765 |      656
181.26/181.32	c  180s |      13 |  1839913 |    46532 |    46413      0 |      766 |      657
183.36/183.45	c  182s |      13 |  1859703 |    46932 |    46413      0 |      766 |      657
185.55/185.61	c  184s |      13 |  1878520 |    47432 |    46413      0 |      766 |      657
187.75/187.86	c  187s |      13 |  1882251 |    48032 |    46413      0 |      766 |      657
189.85/189.99	c  189s |      13 |  1883913 |    48532 |    46413      0 |      766 |      657
192.16/192.27	c  191s |      13 |  1886077 |    49132 |    46413      0 |      766 |      657
194.96/195.06	c  194s |      13 |  1895334 |    49632 |    46413      1 |      766 |      657
197.36/197.46	c  196s |      13 |  1921465 |    50132 |    46413      1 |      766 |      657
199.36/199.46	c  198s |      13 |  1943521 |    50632 |    46413      1 |      766 |      657
201.56/201.63	c  200s |      13 |  1972864 |    51132 |    46413      1 |      766 |      657
203.57/203.70	c  202s |      13 |  1993321 |    51632 |    46413      1 |      766 |      657
205.66/205.76	c  205s |      13 |  2009279 |    52132 |    46413      1 |      766 |      657
207.96/208.02	c  207s |      13 |  2031908 |    52632 |    46413      1 |      766 |      657
209.96/210.09	c  209s |      13 |  2048772 |    53232 |    46413      1 |      766 |      657
212.26/212.33	c  211s |      13 |  2064271 |    53832 |    46413      1 |      766 |      657
214.36/214.44	c  213s |      13 |  2082424 |    54332 |    46413      1 |      766 |      657
216.46/216.53	c  215s |      13 |  2099608 |    54632 |    46413      1 |      768 |      659
218.86/218.94	c  218s |      13 |  2123015 |    55132 |    46413      1 |      768 |      659
221.16/221.26	c  220s |      13 |  2149332 |    55732 |    46413      1 |      768 |      659
223.26/223.35	c  222s |      13 |  2168401 |    56332 |    46413      1 |      768 |      659
225.56/225.68	c  224s |      13 |  2195171 |    56832 |    46413      1 |      768 |      659
227.76/227.80	c  227s |      13 |  2219192 |    57232 |    46413      1 |      768 |      659
230.15/230.22	c  229s |      13 |  2220720 |    57632 |    46413      1 |      768 |      659
232.55/232.66	c  231s |      13 |  2222684 |    58132 |    51055      1 |      768 |      659
233.75/233.90	c  233s |      14 |  2228336 |    58352 |    51055      1 |      768 |      659
236.15/236.23	c  235s |      14 |  2250749 |    58752 |    51055      1 |      768 |      659
238.15/238.27	c  237s |      14 |  2270159 |    59252 |    51055      1 |      768 |      659
240.45/240.50	c  239s |      14 |  2298882 |    59652 |    51055      1 |      768 |      659
242.45/242.58	c  241s |      14 |  2315397 |    60152 |    51055      1 |      768 |      659
245.05/245.11	c  244s |      14 |  2340115 |    60752 |    51055      1 |      768 |      659
247.05/247.16	c  246s |      14 |  2362910 |    61252 |    51055      1 |      768 |      659
249.45/249.51	c  248s |      14 |  2384343 |    61752 |    51055      1 |      768 |      659
251.75/251.83	c  251s |      14 |  2403796 |    62252 |    51055      1 |      768 |      659
254.25/254.37	c  253s |      14 |  2430788 |    62752 |    51055      1 |      768 |      659
256.75/256.80	c  256s |      14 |  2447473 |    63152 |    51055      1 |      769 |      660
258.85/258.91	c  258s |      14 |  2450430 |    63752 |    51055      1 |      769 |      660
261.65/261.71	c  260s |      14 |  2451854 |    64152 |    51055      1 |      769 |      660
263.95/264.01	c  263s |      14 |  2477896 |    64652 |    51055      1 |      769 |      660
266.15/266.23	c  265s |      14 |  2494259 |    65052 |    51055      1 |      770 |      661
268.24/268.36	c  267s |      14 |  2503672 |    65652 |    51055      1 |      770 |      661
270.65/270.71	c  269s |      14 |  2518774 |    66252 |    51055      1 |      770 |      661
272.75/272.90	c  272s |      14 |  2536626 |    66852 |    51055      1 |      770 |      661
274.84/274.92	c  274s |      14 |  2555362 |    67452 |    51055      1 |      770 |      661
276.94/277.09	c  276s |      14 |  2572435 |    67852 |    51055      1 |      770 |      661
279.24/279.36	c  278s |      14 |  2591974 |    68352 |    51055      1 |      770 |      661
281.44/281.52	c  280s |      14 |  2605237 |    68852 |    51055      1 |      770 |      661
283.84/283.95	c  283s |      14 |  2624304 |    69352 |    51055      1 |      770 |      661
286.04/286.17	c  285s |      14 |  2645972 |    69852 |    51055      1 |      770 |      661
288.24/288.39	c  287s |      14 |  2656239 |    70352 |    51055      1 |      770 |      661
290.34/290.46	c  289s |      14 |  2668319 |    70852 |    51055      1 |      770 |      661
293.03/293.13	c  292s |      14 |  2690877 |    71452 |    51055      1 |      770 |      661
295.34/295.41	c  294s |      14 |  2699032 |    72152 |    51055      1 |      770 |      661
297.94/298.01	c  297s |      14 |  2719500 |    72652 |    51055      1 |      770 |      661
300.04/300.12	c  299s |      14 |  2732026 |    73152 |    51055      1 |      770 |      661
302.45/302.57	c  301s |      14 |  2732839 |    73552 |    51055      1 |      770 |      661
304.64/304.75	c  304s |      14 |  2742979 |    73952 |    51055      1 |      770 |      661
306.94/307.07	c  306s |      14 |  2764448 |    74452 |    51055      1 |      770 |      661
309.34/309.47	c  308s |      14 |  2783756 |    74952 |    51055      1 |      770 |      661
311.83/311.91	c  311s |      14 |  2805198 |    75452 |    51055      1 |      770 |      661
314.13/314.23	c  313s |      14 |  2826200 |    75852 |    51055      1 |      770 |      661
316.33/316.46	c  315s |      14 |  2838892 |    76352 |    51055      1 |      770 |      661
318.53/318.67	c  317s |      14 |  2849856 |    76852 |    51055      1 |      770 |      661
320.83/320.99	c  320s |      14 |  2872036 |    77352 |    51055      1 |      770 |      661
323.13/323.21	c  322s |      14 |  2885952 |    77852 |    51055      1 |      770 |      661
325.23/325.38	c  324s |      14 |  2901071 |    78352 |    51055      1 |      770 |      661
327.23/327.39	c  326s |      14 |  2907341 |    78552 |    51055      2 |      770 |      661
329.33/329.41	c  328s |      14 |  2927514 |    78952 |    51055      2 |      770 |      661
331.53/331.69	c  330s |      14 |  2953889 |    79552 |    51055      2 |      770 |      661
333.73/333.89	c  333s |      14 |  2962778 |    80152 |    51055      2 |      770 |      661
336.53/336.65	c  335s |      14 |  2987879 |    80652 |    51055      2 |      772 |      663
338.52/338.65	c  337s |      14 |  3006850 |    81152 |    51055      2 |      772 |      663
340.82/340.95	c  340s |      14 |  3022064 |    81852 |    51055      2 |      772 |      663
343.02/343.16	c  342s |      14 |  3036875 |    82452 |    51055      2 |      772 |      663
345.22/345.40	c  344s |      14 |  3052337 |    83252 |    51055      2 |      772 |      663
347.53/347.63	c  346s |      14 |  3063820 |    83852 |    51055      2 |      772 |      663
349.62/349.72	c  348s |      14 |  3076788 |    84252 |    51055      2 |      772 |      663
351.82/351.96	c  351s |      14 |  3089634 |    84752 |    51055      2 |      772 |      663
354.13/354.23	c  353s |      14 |  3108409 |    85352 |    51055      2 |      772 |      663
356.22/356.39	c  355s |      14 |  3131170 |    85852 |    51055      2 |      772 |      663
358.53/358.68	c  357s |      14 |  3145831 |    86352 |    51055      2 |      773 |      664
360.52/360.68	c  359s |      14 |  3158745 |    86852 |    51055      2 |      773 |      664
362.72/362.89	c  362s |      14 |  3177349 |    87352 |    56161      2 |      773 |      664
364.12/364.22	c  363s |      15 |  3186411 |    87632 |    56161      2 |      773 |      664
366.41/366.50	c  365s |      15 |  3198303 |    88132 |    56161      2 |      773 |      664
368.52/368.69	c  367s |      15 |  3215002 |    88732 |    56161      2 |      773 |      664
370.81/370.99	c  370s |      15 |  3232652 |    89332 |    56161      2 |      773 |      664
373.11/373.25	c  372s |      15 |  3242044 |    89832 |    56161      2 |      773 |      664
375.31/375.43	c  374s |      15 |  3256891 |    90432 |    56161      2 |      773 |      664
377.41/377.55	c  376s |      15 |  3277507 |    90932 |    56161      2 |      773 |      664
379.91/380.07	c  379s |      15 |  3296687 |    91632 |    56161      2 |      773 |      664
382.01/382.17	c  381s |      15 |  3306350 |    92132 |    56161      2 |      773 |      664
384.51/384.63	c  383s |      15 |  3326074 |    92732 |    56161      2 |      773 |      664
387.00/387.15	c  386s |      15 |  3353397 |    93232 |    56161      2 |      773 |      664
389.00/389.19	c  388s |      15 |  3372747 |    93732 |    56161      2 |      773 |      664
391.40/391.54	c  390s |      15 |  3397376 |    94232 |    56161      2 |      773 |      664
394.20/394.39	c  393s |      15 |  3408087 |    94832 |    56161      2 |      773 |      664
396.40/396.53	c  395s |      15 |  3409246 |    95132 |    56161      2 |      773 |      664
399.10/399.22	c  398s |      15 |  3409671 |    95332 |    56161      2 |      773 |      664
401.10/401.27	c  400s |      15 |  3410937 |    95732 |    56161      2 |      773 |      664
403.71/403.83	c  403s |      15 |  3411714 |    96032 |    56161      2 |      773 |      664
406.70/406.84	c  406s |      15 |  3412459 |    96332 |    56161      2 |      773 |      664
409.20/409.36	c  408s |      15 |  3413937 |    96732 |    56161      2 |      773 |      664
411.30/411.44	c  410s |      15 |  3415108 |    97032 |    56161      2 |      773 |      664
413.50/413.67	c  412s |      15 |  3416263 |    97332 |    56161      2 |      773 |      664
416.29/416.46	c  415s |      15 |  3416628 |    97532 |    56161      2 |      773 |      664
419.10/419.21	c  418s |      15 |  3417177 |    97732 |    56161      2 |      773 |      664
421.40/421.59	c  420s |      15 |  3418136 |    98032 |    56161      2 |      773 |      664
424.50/424.64	c  423s |      15 |  3418695 |    98232 |    56161      2 |      773 |      664
427.00/427.14	c  426s |      15 |  3419509 |    98432 |    56161      2 |      773 |      664
429.50/429.63	c  428s |      15 |  3440696 |    98932 |    56161      2 |      773 |      664
431.50/431.66	c  430s |      15 |  3453091 |    99432 |    56161      2 |      773 |      664
433.80/433.91	c  433s |      15 |  3472987 |    99932 |    56161      2 |      773 |      664
435.79/435.94	c  435s |      15 |  3493596 |   100332 |    56161      2 |      773 |      664
438.19/438.38	c  437s |      15 |  3498726 |   100832 |    56161      2 |      773 |      664
440.49/440.68	c  439s |      15 |  3504560 |   101232 |    56161      2 |      773 |      664
442.59/442.76	c  442s |      15 |  3520628 |   101632 |    56161      2 |      773 |      664
445.09/445.27	c  444s |      15 |  3534103 |   102332 |    56161      2 |      773 |      664
447.18/447.35	c  446s |      15 |  3550846 |   102732 |    56161      2 |      773 |      664
449.18/449.38	c  448s |      15 |  3559262 |   103332 |    56161      2 |      773 |      664
451.18/451.39	c  450s |      15 |  3563633 |   103832 |    56161      2 |      773 |      664
453.38/453.51	c  452s |      15 |  3586041 |   104232 |    56161      2 |      773 |      664
455.58/455.74	c  455s |      15 |  3603329 |   104632 |    56161      2 |      773 |      664
457.68/457.81	c  457s |      15 |  3613401 |   105132 |    56161      2 |      773 |      664
459.98/460.15	c  459s |      15 |  3620466 |   105532 |    56161      2 |      773 |      664
462.37/462.56	c  461s |      15 |  3639540 |   106032 |    56161      2 |      773 |      664
464.47/464.64	c  463s |      15 |  3658108 |   106432 |    56161      2 |      773 |      664
466.87/467.08	c  466s |      15 |  3677339 |   106832 |    56161      2 |      773 |      664
469.07/469.30	c  468s |      15 |  3691283 |   107232 |    56161      2 |      773 |      664
471.47/471.66	c  470s |      15 |  3703196 |   107732 |    56161      2 |      773 |      664
473.67/473.84	c  473s |      15 |  3713905 |   108332 |    56161      2 |      773 |      664
476.06/476.27	c  475s |      15 |  3728109 |   108832 |    56161      2 |      773 |      664
478.37/478.54	c  477s |      15 |  3741203 |   109332 |    56161      2 |      773 |      664
480.76/480.95	c  480s |      15 |  3754596 |   109832 |    56161      2 |      773 |      664
482.96/483.10	c  482s |      15 |  3774281 |   110232 |    56161      2 |      773 |      664
485.45/485.61	c  484s |      15 |  3783234 |   110732 |    56161      2 |      773 |      664
487.85/488.00	c  487s |      15 |  3790140 |   111232 |    56161      2 |      773 |      664
490.25/490.42	c  489s |      15 |  3803225 |   111732 |    56161      2 |      773 |      664
492.45/492.65	c  491s |      15 |  3811261 |   111932 |    56161      3 |      773 |      664
495.06/495.24	c  494s |      15 |  3815059 |   112432 |    56161      3 |      773 |      664
497.36/497.54	c  496s |      15 |  3821566 |   112832 |    56161      3 |      773 |      664
499.36/499.57	c  498s |      15 |  3834057 |   113432 |    56161      3 |      773 |      664
501.65/501.80	c  501s |      15 |  3840173 |   114032 |    56161      3 |      773 |      664
503.76/503.92	c  503s |      15 |  3848718 |   114532 |    56161      3 |      773 |      664
505.96/506.14	c  505s |      15 |  3864020 |   115232 |    56161      3 |      773 |      664
508.25/508.43	c  507s |      15 |  3876311 |   115832 |    56161      3 |      773 |      664
510.65/510.81	c  510s |      15 |  3881352 |   116232 |    56161      3 |      773 |      664
512.85/513.07	c  512s |      15 |  3899457 |   116832 |    56161      3 |      773 |      664
514.95/515.19	c  514s |      15 |  3927992 |   117332 |    56161      3 |      773 |      664
517.84/518.03	c  517s |      15 |  3940383 |   117832 |    56161      3 |      773 |      664
520.04/520.29	c  519s |      15 |  3940856 |   118032 |    56161      3 |      773 |      664
522.45/522.68	c  521s |      15 |  3960246 |   118532 |    56161      3 |      773 |      664
524.65/524.82	c  524s |      15 |  3968784 |   119032 |    56161      3 |      773 |      664
526.75/526.96	c  526s |      15 |  3983595 |   119432 |    56161      3 |      773 |      664
529.05/529.25	c  528s |      15 |  4003278 |   119932 |    56161      3 |      773 |      664
531.34/531.52	c  530s |      15 |  4018969 |   120432 |    56161      3 |      773 |      664
533.45/533.61	c  532s |      15 |  4037810 |   120832 |    56161      3 |      773 |      664
535.74/535.91	c  535s |      15 |  4057004 |   121332 |    56161      3 |      773 |      664
538.04/538.23	c  537s |      15 |  4066822 |   121832 |    56161      3 |      773 |      664
540.14/540.38	c  539s |      15 |  4079350 |   122332 |    56161      3 |      773 |      664
542.44/542.65	c  541s |      15 |  4090363 |   122932 |    56161      3 |      773 |      664
544.64/544.81	c  544s |      15 |  4107611 |   123432 |    56161      3 |      773 |      664
546.73/546.94	c  546s |      15 |  4122512 |   123932 |    56161      3 |      773 |      664
549.13/549.33	c  548s |      15 |  4143165 |   124432 |    56161      3 |      773 |      664
551.33/551.50	c  550s |      15 |  4159154 |   125032 |    56161      3 |      773 |      664
553.63/553.82	c  553s |      15 |  4171840 |   125632 |    56161      3 |      773 |      664
555.73/555.90	c  555s |      15 |  4189921 |   126032 |    56161      3 |      773 |      664
558.03/558.20	c  557s |      15 |  4206992 |   126532 |    56161      3 |      773 |      664
560.13/560.39	c  559s |      15 |  4222118 |   127032 |    56161      3 |      773 |      664
562.33/562.58	c  561s |      15 |  4240168 |   127532 |    56161      3 |      773 |      664
564.53/564.73	c  563s |      15 |  4257107 |   128032 |    56161      3 |      773 |      664
566.72/566.90	c  566s |      15 |  4275466 |   128432 |    56161      3 |      773 |      664
568.92/569.12	c  568s |      15 |  4291487 |   128932 |    56161      3 |      773 |      664
571.22/571.46	c  570s |      15 |  4305813 |   129432 |    56161      3 |      773 |      664
573.62/573.83	c  573s |      15 |  4327746 |   129932 |    56161      3 |      773 |      664
575.62/575.85	c  575s |      15 |  4336667 |   130332 |    56161      3 |      773 |      664
577.82/578.09	c  577s |      15 |  4355512 |   130732 |    61778      3 |      773 |      664
580.22/580.44	c  579s |      15 |  4363545 |   131232 |    61778      3 |      773 |      664
581.72/581.92	c  581s |      16 |  4377453 |   131552 |    61778      3 |      773 |      664
583.82/584.01	c  583s |      16 |  4387977 |   131952 |    61778      3 |      773 |      664
586.01/586.21	c  585s |      16 |  4404198 |   132552 |    61778      3 |      773 |      664
588.42/588.63	c  587s |      16 |  4427749 |   132952 |    61778      3 |      773 |      664
590.71/590.92	c  590s |      16 |  4439211 |   133452 |    61778      3 |      773 |      664
592.72/592.93	c  592s |      16 |  4449106 |   133852 |    61778      3 |      773 |      664
595.11/595.30	c  594s |      16 |  4468053 |   134352 |    61778      3 |      773 |      664
597.40/597.65	c  596s |      16 |  4486120 |   134852 |    61778      3 |      773 |      664
599.80/600.00	c  599s |      16 |  4508238 |   135252 |    61778      3 |      773 |      664
602.10/602.36	c  601s |      16 |  4529093 |   135652 |    61778      3 |      773 |      664
604.10/604.39	c  603s |      16 |  4543358 |   136152 |    61778      3 |      773 |      664
606.30/606.56	c  605s |      16 |  4555408 |   136552 |    61778      3 |      773 |      664
608.50/608.73	c  607s |      16 |  4556982 |   136852 |    61778      3 |      773 |      664
611.09/611.30	c  610s |      16 |  4558879 |   137152 |    61778      3 |      773 |      664
613.49/613.71	c  612s |      16 |  4576304 |   137652 |    61778      3 |      773 |      664
615.69/615.98	c  615s |      16 |  4589883 |   138052 |    61778      3 |      773 |      664
618.39/618.65	c  617s |      16 |  4591820 |   138452 |    61778      3 |      773 |      664
620.49/620.72	c  619s |      16 |  4605939 |   138852 |    61778      3 |      773 |      664
622.79/623.00	c  622s |      16 |  4616055 |   139352 |    61778      3 |      773 |      664
625.19/625.45	c  624s |      16 |  4628951 |   139852 |    61778      3 |      773 |      664
627.48/627.77	c  627s |      16 |  4645351 |   140352 |    61778      3 |      773 |      664
629.58/629.83	c  629s |      16 |  4658242 |   140752 |    61778      3 |      773 |      664
631.98/632.24	c  631s |      16 |  4669760 |   141252 |    61778      3 |      773 |      664
634.38/634.69	c  633s |      16 |  4685113 |   141752 |    61778      3 |      773 |      664
636.58/636.81	c  636s |      16 |  4688865 |   142152 |    61778      3 |      773 |      664
638.78/639.03	c  638s |      16 |  4701665 |   142552 |    61778      3 |      773 |      664
640.78/641.08	c  640s |      16 |  4711181 |   143052 |    61778      3 |      773 |      664
642.88/643.14	c  642s |      16 |  4723234 |   143552 |    61778      3 |      773 |      664
644.88/645.19	c  644s |      16 |  4735625 |   143952 |    61778      3 |      773 |      664
647.07/647.32	c  646s |      16 |  4741510 |   144452 |    61778      3 |      773 |      664
649.17/649.41	c  648s |      16 |  4754459 |   144852 |    61778      3 |      773 |      664
651.27/651.53	c  650s |      16 |  4770978 |   145252 |    61778      3 |      773 |      664
653.57/653.89	c  653s |      16 |  4784900 |   145752 |    61778      3 |      773 |      664
655.87/656.13	c  655s |      16 |  4789232 |   145952 |    61778      4 |      773 |      664
657.97/658.20	c  657s |      16 |  4807020 |   146352 |    61778      4 |      773 |      664
660.07/660.33	c  659s |      16 |  4821706 |   146852 |    61778      4 |      773 |      664
662.57/662.82	c  662s |      16 |  4833105 |   147352 |    61778      4 |      773 |      664
664.87/665.19	c  664s |      16 |  4839596 |   147752 |    61778      4 |      773 |      664
667.07/667.38	c  666s |      16 |  4854973 |   148452 |    61778      4 |      773 |      664
669.37/669.62	c  668s |      16 |  4859145 |   149152 |    61778      4 |      773 |      664
671.87/672.15	c  671s |      16 |  4860522 |   149552 |    61778      4 |      773 |      664
674.56/674.82	c  674s |      16 |  4861541 |   149952 |    61778      4 |      773 |      664
676.76/677.07	c  676s |      16 |  4872693 |   150452 |    61778      4 |      773 |      664
678.86/679.17	c  678s |      16 |  4887325 |   151052 |    61778      4 |      773 |      664
680.97/681.26	c  680s |      16 |  4892943 |   151752 |    61778      4 |      773 |      664
682.98/683.29	c  682s |      16 |  4903942 |   152352 |    61778      4 |      773 |      664
685.17/685.46	c  684s |      16 |  4918535 |   153052 |    61778      4 |      773 |      664
687.27/687.55	c  686s |      16 |  4929245 |   153652 |    61778      4 |      773 |      664
689.57/689.85	c  689s |      16 |  4950749 |   154252 |    61778      4 |      773 |      664
691.77/692.05	c  691s |      16 |  4965708 |   154652 |    61778      4 |      774 |      665
693.87/694.11	c  693s |      16 |  4981848 |   155252 |    61778      4 |      774 |      665
696.06/696.31	c  695s |      16 |  4996833 |   155952 |    61778      4 |      774 |      665
698.36/698.62	c  697s |      16 |  5012250 |   156652 |    61778      4 |      774 |      665
700.46/700.73	c  699s |      16 |  5027348 |   157152 |    61778      4 |      774 |      665
702.76/703.02	c  702s |      16 |  5041187 |   157652 |    61778      4 |      774 |      665
705.05/705.37	c  704s |      16 |  5064143 |   158252 |    61778      4 |      774 |      665
707.35/707.62	c  706s |      16 |  5078751 |   158752 |    61778      4 |      774 |      665
709.55/709.82	c  709s |      16 |  5091999 |   159352 |    61778      4 |      774 |      665
711.85/712.13	c  711s |      16 |  5113763 |   159952 |    61778      4 |      774 |      665
713.85/714.16	c  713s |      16 |  5124734 |   160352 |    61778      4 |      774 |      665
716.15/716.41	c  715s |      16 |  5145468 |   160852 |    61778      4 |      774 |      665
718.34/718.68	c  717s |      16 |  5165569 |   161352 |    61778      4 |      774 |      665
720.54/720.89	c  720s |      16 |  5175095 |   161952 |    61778      4 |      774 |      665
722.94/723.23	c  722s |      16 |  5189776 |   162552 |    61778      4 |      774 |      665
725.04/725.36	c  724s |      16 |  5209836 |   163052 |    61778      4 |      774 |      665
727.04/727.36	c  726s |      16 |  5228574 |   163452 |    61778      4 |      774 |      665
729.34/729.65	c  728s |      16 |  5241653 |   163952 |    61778      4 |      774 |      665
731.54/731.89	c  731s |      16 |  5253744 |   164752 |    61778      4 |      774 |      665
733.84/734.11	c  733s |      16 |  5272152 |   165252 |    61778      4 |      774 |      665
736.03/736.36	c  735s |      16 |  5290762 |   165852 |    61778      4 |      774 |      665
738.13/738.49	c  737s |      16 |  5306928 |   166352 |    61778      4 |      774 |      665
740.23/740.53	c  739s |      16 |  5324023 |   166952 |    61778      4 |      774 |      665
742.63/742.90	c  742s |      16 |  5339119 |   167552 |    61778      4 |      774 |      665
744.83/745.14	c  744s |      16 |  5354932 |   168152 |    61778      4 |      774 |      665
747.13/747.49	c  746s |      16 |  5362174 |   168752 |    61778      4 |      774 |      665
749.43/749.71	c  748s |      16 |  5374975 |   169452 |    61778      4 |      774 |      665
751.73/752.07	c  751s |      16 |  5386866 |   170052 |    61778      4 |      774 |      665
754.13/754.42	c  753s |      16 |  5398350 |   170752 |    61778      4 |      774 |      665
756.22/756.56	c  755s |      16 |  5410895 |   171052 |    61778      4 |      775 |      666
758.73/759.09	c  758s |      16 |  5427393 |   171552 |    61778      4 |      775 |      666
760.82/761.13	c  760s |      16 |  5438198 |   172152 |    61778      4 |      775 |      666
763.32/763.67	c  762s |      16 |  5456262 |   172652 |    61778      4 |      775 |      666
765.61/765.93	c  765s |      16 |  5468850 |   173152 |    61778      4 |      775 |      666
767.81/768.19	c  767s |      16 |  5487166 |   173652 |    61778      4 |      775 |      666
770.21/770.55	c  769s |      16 |  5503818 |   174152 |    61778      4 |      775 |      666
772.31/772.60	c  771s |      16 |  5518839 |   174652 |    61778      4 |      775 |      666
774.91/775.23	c  774s |      16 |  5545762 |   175052 |    61778      4 |      775 |      666
777.11/777.43	c  776s |      16 |  5568985 |   175452 |    61778      4 |      775 |      666
779.71/780.07	c  779s |      16 |  5588021 |   176052 |    61778      4 |      775 |      666
781.81/782.18	c  781s |      16 |  5601571 |   176452 |    61778      4 |      775 |      666
784.31/784.64	c  783s |      16 |  5623439 |   176952 |    61778      4 |      775 |      666
786.31/786.69	c  785s |      16 |  5631627 |   177252 |    61778      4 |      775 |      666
789.80/790.10	c  789s |      16 |  5644531 |   177752 |    61778      5 |      775 |      666
791.81/792.13	c  791s |      16 |  5653826 |   178252 |    61778      5 |      775 |      666
793.91/794.30	c  793s |      16 |  5671097 |   178752 |    61778      5 |      775 |      666
796.00/796.31	c  795s |      16 |  5691108 |   179252 |    61778      5 |      775 |      666
798.09/798.43	c  797s |      16 |  5710723 |   179852 |    61778      5 |      775 |      666
800.29/800.64	c  799s |      16 |  5727984 |   180552 |    61778      5 |      775 |      666
802.49/802.81	c  802s |      16 |  5752019 |   181052 |    61778      5 |      775 |      666
804.79/805.13	c  804s |      16 |  5775622 |   181552 |    61778      5 |      775 |      666
806.89/807.29	c  806s |      16 |  5791752 |   182052 |    61778      5 |      775 |      666
808.99/809.32	c  808s |      16 |  5800025 |   182752 |    61778      5 |      775 |      666
811.49/811.81	c  811s |      16 |  5805315 |   183252 |    61778      5 |      775 |      666
813.79/814.16	c  813s |      16 |  5815914 |   183752 |    61778      5 |      775 |      666
816.28/816.64	c  815s |      16 |  5838382 |   184352 |    61778      5 |      775 |      666
818.48/818.89	c  818s |      16 |  5860516 |   184852 |    61778      5 |      775 |      666
820.68/821.08	c  820s |      16 |  5874455 |   185452 |    61778      5 |      775 |      666
822.78/823.10	c  822s |      16 |  5896169 |   185952 |    61778      5 |      775 |      666
824.88/825.24	c  824s |      16 |  5915030 |   186552 |    61778      5 |      775 |      666
827.37/827.71	c  826s |      16 |  5939684 |   187052 |    61778      5 |      775 |      666
829.67/830.01	c  829s |      16 |  5959267 |   187652 |    61778      5 |      775 |      666
831.87/832.21	c  831s |      16 |  5970040 |   188252 |    61778      5 |      775 |      666
834.17/834.53	c  833s |      16 |  5982069 |   188752 |    61778      5 |      775 |      666
836.37/836.78	c  836s |      16 |  6003291 |   189352 |    61778      5 |      775 |      666
838.67/839.05	c  838s |      16 |  6020664 |   189952 |    61778      5 |      775 |      666
840.77/841.19	c  840s |      16 |  6031695 |   190552 |    61778      5 |      775 |      666
842.87/843.25	c  842s |      16 |  6033440 |   191052 |    61778      5 |      775 |      666
845.07/845.49	c  844s |      16 |  6041413 |   191552 |    61778      5 |      775 |      666
847.77/848.14	c  847s |      16 |  6064999 |   192152 |    61778      5 |      775 |      666
850.07/850.47	c  849s |      16 |  6082121 |   192652 |    61778      5 |      775 |      666
852.56/852.98	c  852s |      16 |  6096407 |   193052 |    61778      5 |      775 |      666
854.86/855.28	c  854s |      16 |  6113366 |   193552 |    61778      5 |      775 |      666
857.25/857.60	c  856s |      16 |  6129662 |   194052 |    61778      5 |      775 |      666
859.55/859.93	c  859s |      16 |  6148319 |   194652 |    61778      5 |      775 |      666
861.65/862.07	c  861s |      16 |  6161567 |   195152 |    61778      5 |      775 |      666
863.65/864.08	c  863s |      16 |  6177122 |   195752 |    61778      5 |      775 |      666
866.15/866.50	c  865s |      16 |  6196155 |   196252 |    67956      5 |      775 |      666
868.35/868.79	c  868s |      16 |  6210132 |   196752 |    67956      5 |      775 |      666
870.75/871.16	c  870s |      16 |  6217864 |   197352 |    67956      5 |      775 |      666
871.15/871.50	c  870s |      17 |  6218071 |   197432 |    67956      5 |      775 |      666
873.55/873.93	c  873s |      17 |  6229259 |   197832 |    67956      5 |      775 |      666
875.84/876.29	c  875s |      17 |  6245293 |   198432 |    67956      5 |      775 |      666
878.24/878.67	c  877s |      17 |  6261703 |   198932 |    67956      5 |      775 |      666
880.64/881.09	c  880s |      17 |  6283257 |   199432 |    67956      5 |      775 |      666
882.84/883.23	c  882s |      17 |  6291284 |   200032 |    67956      5 |      775 |      666
884.94/885.34	c  884s |      17 |  6296232 |   200532 |    67956      5 |      775 |      666
887.14/887.52	c  886s |      17 |  6314197 |   201132 |    67956      5 |      775 |      666
889.13/889.53	c  888s |      17 |  6328235 |   201532 |    67956      5 |      775 |      666
891.13/891.53	c  890s |      17 |  6340015 |   202032 |    67956      5 |      775 |      666
893.33/893.73	c  892s |      17 |  6352137 |   202632 |    67956      5 |      775 |      666
895.53/895.98	c  895s |      17 |  6368708 |   203232 |    67956      5 |      775 |      666
897.93/898.38	c  897s |      17 |  6386990 |   203732 |    67956      5 |      775 |      666
900.23/900.64	c  899s |      17 |  6402391 |   204232 |    67956      5 |      775 |      666
902.43/902.85	c  902s |      17 |  6415495 |   204832 |    67956      5 |      775 |      666
904.43/904.87	c  904s |      17 |  6432760 |   205332 |    67956      5 |      775 |      666
906.72/907.11	c  906s |      17 |  6455617 |   205832 |    67956      5 |      775 |      666
908.83/909.21	c  908s |      17 |  6458076 |   206232 |    67956      5 |      775 |      666
910.83/911.29	c  910s |      17 |  6474098 |   206732 |    67956      5 |      775 |      666
912.93/913.37	c  912s |      17 |  6490201 |   207232 |    67956      5 |      775 |      666
915.03/915.44	c  914s |      17 |  6506859 |   207732 |    67956      5 |      775 |      666
917.22/917.69	c  916s |      17 |  6527890 |   208232 |    67956      5 |      775 |      666
919.42/919.83	c  919s |      17 |  6547904 |   208732 |    67956      5 |      775 |      666
921.92/922.36	c  921s |      17 |  6561858 |   209132 |    67956      5 |      775 |      666
924.22/924.65	c  923s |      17 |  6578754 |   209532 |    67956      5 |      775 |      666
926.62/927.03	c  926s |      17 |  6596059 |   210032 |    67956      5 |      775 |      666
928.92/929.36	c  928s |      17 |  6611252 |   210532 |    67956      5 |      775 |      666
931.02/931.47	c  930s |      17 |  6625810 |   211032 |    67956      5 |      775 |      666
933.22/933.62	c  932s |      17 |  6629483 |   211332 |    67956      5 |      775 |      666
935.22/935.63	c  934s |      17 |  6641970 |   211732 |    67956      5 |      775 |      666
937.32/937.76	c  937s |      17 |  6655674 |   212232 |    67956      5 |      775 |      666
939.72/940.15	c  939s |      17 |  6675025 |   212732 |    67956      5 |      775 |      666
942.12/942.56	c  941s |      17 |  6682601 |   213232 |    67956      5 |      775 |      666
944.62/945.02	c  944s |      17 |  6700371 |   213832 |    67956      5 |      775 |      666
946.72/947.14	c  946s |      17 |  6712739 |   214332 |    67956      5 |      775 |      666
949.02/949.46	c  948s |      17 |  6719232 |   214932 |    67956      5 |      775 |      666
951.61/952.05	c  951s |      17 |  6720663 |   215232 |    67956      5 |      775 |      666
953.71/954.19	c  953s |      17 |  6721928 |   215532 |    67956      5 |      775 |      666
955.91/956.31	c  955s |      17 |  6722545 |   215732 |    67956      5 |      775 |      666
958.11/958.55	c  957s |      17 |  6724540 |   216032 |    67956      5 |      775 |      666
960.81/961.20	c  960s |      17 |  6733945 |   216632 |    67956      5 |      775 |      666
962.81/963.22	c  962s |      17 |  6739921 |   216832 |    67956      6 |      775 |      666
964.81/965.27	c  964s |      17 |  6759846 |   217332 |    67956      6 |      775 |      666
967.01/967.42	c  966s |      17 |  6778075 |   217932 |    67956      6 |      775 |      666
969.61/970.06	c  969s |      17 |  6786713 |   218532 |    67956      6 |      775 |      666
971.91/972.32	c  971s |      17 |  6789745 |   218932 |    67956      6 |      775 |      666
974.11/974.54	c  973s |      17 |  6813593 |   219432 |    67956      6 |      775 |      666
976.61/977.06	c  976s |      17 |  6836501 |   220032 |    67956      6 |      775 |      666
978.81/979.20	c  978s |      17 |  6853861 |   220632 |    67956      6 |      775 |      666
980.91/981.35	c  980s |      17 |  6860557 |   221132 |    67956      6 |      775 |      666
983.40/983.84	c  983s |      17 |  6875269 |   221732 |    67956      6 |      775 |      666
985.60/986.01	c  985s |      17 |  6883486 |   222232 |    67956      6 |      775 |      666
987.90/988.33	c  987s |      17 |  6898312 |   222832 |    67956      6 |      775 |      666
990.00/990.46	c  989s |      17 |  6911275 |   223332 |    67956      6 |      775 |      666
992.10/992.59	c  991s |      17 |  6925117 |   223932 |    67956      6 |      775 |      666
994.50/994.98	c  994s |      17 |  6936575 |   224532 |    67956      6 |      775 |      666
996.70/997.16	c  996s |      17 |  6946846 |   225132 |    67956      6 |      775 |      666
999.00/999.41	c  998s |      17 |  6957615 |   225632 |    67956      6 |      775 |      666
1001.20/1001.67	c 1000s |      17 |  6972193 |   226232 |    67956      6 |      775 |      666
1003.30/1003.75	c 1003s |      17 |  6988223 |   226832 |    67956      6 |      775 |      666
1005.60/1006.04	c 1005s |      17 |  7015695 |   227332 |    67956      6 |      775 |      666
1007.60/1008.06	c 1007s |      17 |  7024938 |   227832 |    67956      6 |      775 |      666
1009.90/1010.35	c 1009s |      17 |  7036670 |   228432 |    67956      6 |      775 |      666
1012.30/1012.74	c 1012s |      17 |  7049600 |   228932 |    67956      6 |      775 |      666
1014.40/1014.85	c 1014s |      17 |  7055694 |   229332 |    67956      6 |      775 |      666
1016.50/1016.98	c 1016s |      17 |  7067759 |   229932 |    67956      6 |      775 |      666
1019.41/1019.84	c 1019s |      17 |  7091041 |   230432 |    67956      6 |      776 |      667
1021.60/1022.04	c 1021s |      17 |  7109258 |   230932 |    67956      6 |      776 |      667
1023.70/1024.10	c 1023s |      17 |  7121139 |   231532 |    67956      6 |      776 |      667
1025.80/1026.23	c 1025s |      17 |  7125761 |   232132 |    67956      6 |      776 |      667
1028.00/1028.42	c 1027s |      17 |  7136459 |   232732 |    67956      6 |      776 |      667
1030.00/1030.46	c 1029s |      17 |  7151328 |   233132 |    67956      6 |      776 |      667
1032.00/1032.49	c 1031s |      17 |  7170165 |   233632 |    67956      6 |      776 |      667
1034.09/1034.51	c 1033s |      17 |  7189584 |   234032 |    67956      6 |      776 |      667
1036.29/1036.72	c 1035s |      17 |  7204469 |   234532 |    67956      6 |      776 |      667
1038.79/1039.22	c 1038s |      17 |  7227679 |   235132 |    67956      6 |      776 |      667
1041.49/1041.97	c 1041s |      17 |  7248701 |   235632 |    67956      6 |      776 |      667
1043.89/1044.34	c 1043s |      17 |  7264473 |   236132 |    67956      6 |      776 |      667
1046.09/1046.50	c 1045s |      17 |  7285245 |   236532 |    67956      6 |      776 |      667
1048.19/1048.68	c 1047s |      17 |  7303638 |   237032 |    67956      6 |      776 |      667
1050.29/1050.72	c 1049s |      17 |  7319974 |   237432 |    67956      6 |      776 |      667
1052.49/1052.97	c 1052s |      17 |  7332644 |   237932 |    67956      6 |      776 |      667
1054.60/1055.08	c 1054s |      17 |  7344473 |   238432 |    67956      6 |      776 |      667
1056.80/1057.22	c 1056s |      17 |  7359235 |   238932 |    67956      6 |      776 |      667
1059.19/1059.60	c 1058s |      17 |  7373003 |   239532 |    67956      6 |      776 |      667
1061.29/1061.71	c 1060s |      17 |  7383636 |   240032 |    67956      6 |      776 |      667
1063.50/1063.96	c 1063s |      17 |  7389578 |   240332 |    67956      6 |      776 |      667
1065.70/1066.15	c 1065s |      17 |  7402125 |   240732 |    67956      6 |      776 |      667
1068.20/1068.61	c 1067s |      17 |  7414669 |   241332 |    67956      6 |      776 |      667
1070.50/1070.90	c 1070s |      17 |  7427032 |   241932 |    67956      6 |      776 |      667
1072.80/1073.21	c 1072s |      17 |  7439325 |   242632 |    67956      6 |      776 |      667
1074.90/1075.31	c 1074s |      17 |  7451772 |   243132 |    67956      6 |      776 |      667
1077.00/1077.41	c 1076s |      17 |  7461264 |   243632 |    67956      6 |      776 |      667
1079.40/1079.85	c 1079s |      17 |  7478876 |   244132 |    67956      6 |      776 |      667
1081.80/1082.29	c 1081s |      17 |  7489257 |   244632 |    67956      6 |      776 |      667
1083.90/1084.39	c 1083s |      17 |  7506819 |   245032 |    67956      6 |      776 |      667
1086.09/1086.59	c 1085s |      17 |  7520065 |   245432 |    67956      6 |      776 |      667
1088.49/1088.91	c 1088s |      17 |  7538026 |   245832 |    67956      6 |      776 |      667
1090.99/1091.40	c 1090s |      17 |  7545151 |   246432 |    67956      6 |      776 |      667
1093.00/1093.49	c 1092s |      17 |  7561395 |   246832 |    67956      6 |      776 |      667
1095.20/1095.62	c 1094s |      17 |  7568310 |   247232 |    67956      6 |      776 |      667
1097.89/1098.36	c 1097s |      17 |  7573980 |   247732 |    67956      6 |      776 |      667
1100.09/1100.54	c 1099s |      17 |  7583138 |   248132 |    67956      6 |      776 |      667
1102.49/1102.94	c 1102s |      17 |  7598297 |   248632 |    67956      6 |      776 |      667
1104.49/1104.99	c 1104s |      17 |  7612320 |   249032 |    67956      6 |      776 |      667
1106.69/1107.10	c 1106s |      17 |  7632075 |   249432 |    67956      6 |      776 |      667
1108.79/1109.29	c 1108s |      17 |  7651253 |   249832 |    67956      6 |      776 |      667
1111.09/1111.54	c 1110s |      17 |  7668080 |   250332 |    67956      6 |      776 |      667
1113.19/1113.68	c 1112s |      17 |  7681379 |   250832 |    67956      6 |      776 |      667
1115.29/1115.77	c 1115s |      17 |  7692308 |   251332 |    67956      6 |      776 |      667
1117.59/1118.05	c 1117s |      17 |  7703491 |   251532 |    67956      7 |      776 |      667
1119.79/1120.20	c 1119s |      17 |  7720197 |   252032 |    67956      7 |      776 |      667
1121.89/1122.33	c 1121s |      17 |  7744395 |   252432 |    67956      7 |      777 |      668
1124.09/1124.50	c 1123s |      17 |  7766628 |   253132 |    67956      7 |      777 |      668
1126.09/1126.57	c 1125s |      17 |  7783794 |   253732 |    67956      7 |      777 |      668
1128.49/1128.99	c 1128s |      17 |  7804971 |   254332 |    67956      7 |      777 |      668
1130.99/1131.42	c 1130s |      17 |  7816727 |   254932 |    67956      7 |      777 |      668
1133.29/1133.77	c 1133s |      17 |  7819476 |   255332 |    67956      7 |      777 |      668
1135.49/1135.99	c 1135s |      17 |  7841900 |   255932 |    67956      7 |      777 |      668
1137.69/1138.15	c 1137s |      17 |  7859439 |   256532 |    67956      7 |      777 |      668
1140.08/1140.51	c 1139s |      17 |  7883056 |   257132 |    67956      7 |      777 |      668
1142.18/1142.68	c 1141s |      17 |  7908473 |   257632 |    67956      7 |      777 |      668
1144.38/1144.85	c 1144s |      17 |  7934365 |   258132 |    67956      7 |      777 |      668
1146.48/1146.99	c 1146s |      17 |  7955499 |   258632 |    67956      7 |      777 |      668
1148.98/1149.44	c 1148s |      17 |  7969313 |   259332 |    67956      7 |      777 |      668
1151.08/1151.58	c 1150s |      17 |  7980327 |   259832 |    67956      7 |      777 |      668
1153.28/1153.73	c 1152s |      17 |  7994483 |   260532 |    67956      7 |      777 |      668
1155.48/1155.98	c 1155s |      17 |  8015244 |   261032 |    67956      7 |      777 |      668
1157.68/1158.15	c 1157s |      17 |  8029669 |   261532 |    67956      7 |      777 |      668
1159.88/1160.39	c 1159s |      17 |  8045767 |   262032 |    67956      7 |      777 |      668
1162.29/1162.80	c 1162s |      17 |  8055094 |   262532 |    67956      7 |      777 |      668
1164.49/1164.96	c 1164s |      17 |  8075056 |   263032 |    67956      7 |      777 |      668
1166.58/1167.05	c 1166s |      17 |  8092954 |   263532 |    67956      7 |      777 |      668
1168.58/1169.07	c 1168s |      17 |  8114198 |   264032 |    67956      7 |      777 |      668
1170.78/1171.27	c 1170s |      17 |  8129708 |   264632 |    67956      7 |      777 |      668
1173.28/1173.79	c 1173s |      17 |  8133464 |   264932 |    67956      7 |      777 |      668
1175.78/1176.27	c 1175s |      17 |  8135437 |   265332 |    67956      7 |      777 |      668
1178.27/1178.76	c 1178s |      17 |  8137053 |   265732 |    67956      7 |      777 |      668
1180.67/1181.19	c 1180s |      17 |  8137396 |   265932 |    67956      7 |      777 |      668
1182.77/1183.21	c 1182s |      17 |  8154425 |   266332 |    67956      7 |      777 |      668
1184.87/1185.34	c 1184s |      17 |  8171008 |   266832 |    67956      7 |      777 |      668
1187.17/1187.63	c 1186s |      17 |  8178951 |   267332 |    67956      7 |      777 |      668
1189.47/1189.98	c 1189s |      17 |  8193151 |   267932 |    67956      7 |      777 |      668
1191.77/1192.22	c 1191s |      17 |  8204956 |   268532 |    67956      7 |      777 |      668
1194.08/1194.55	c 1193s |      17 |  8225298 |   269232 |    67956      7 |      777 |      668
1196.18/1196.61	c 1195s |      17 |  8234714 |   269832 |    67956      7 |      777 |      668
1198.28/1198.77	c 1198s |      17 |  8254871 |   270232 |    67956      7 |      777 |      668
1200.68/1201.16	c 1200s |      17 |  8268628 |   270932 |    67956      7 |      777 |      668
1202.88/1203.38	c 1202s |      17 |  8283354 |   271432 |    67956      7 |      777 |      668
1205.08/1205.57	c 1204s |      17 |  8296395 |   271932 |    67956      7 |      777 |      668
1207.48/1207.91	c 1207s |      17 |  8313681 |   272432 |    67956      7 |      777 |      668
1209.88/1210.38	c 1209s |      17 |  8341196 |   272932 |    67956      7 |      777 |      668
1211.98/1212.46	c 1211s |      17 |  8356345 |   273432 |    67956      7 |      777 |      668
1213.98/1214.48	c 1213s |      17 |  8376379 |   273832 |    67956      7 |      777 |      668
1216.18/1216.70	c 1215s |      17 |  8392946 |   274332 |    67956      7 |      777 |      668
1218.48/1218.97	c 1218s |      17 |  8402251 |   274832 |    67956      7 |      777 |      668
1220.87/1221.37	c 1220s |      17 |  8413140 |   275432 |    67956      7 |      777 |      668
1222.97/1223.48	c 1222s |      17 |  8426528 |   275932 |    67956      7 |      777 |      668
1225.17/1225.62	c 1224s |      17 |  8435619 |   276432 |    67956      7 |      777 |      668
1227.77/1228.21	c 1227s |      17 |  8450181 |   276932 |    67956      7 |      777 |      668
1229.87/1230.38	c 1229s |      17 |  8464773 |   277432 |    67956      7 |      777 |      668
1231.97/1232.47	c 1231s |      17 |  8477859 |   277932 |    67956      7 |      777 |      668
1234.37/1234.86	c 1234s |      17 |  8493673 |   278432 |    67956      7 |      777 |      668
1236.67/1237.17	c 1236s |      17 |  8508168 |   278932 |    67956      7 |      777 |      668
1238.77/1239.28	c 1238s |      17 |  8521711 |   279332 |    67956      7 |      777 |      668
1241.17/1241.68	c 1240s |      17 |  8528123 |   279832 |    67956      7 |      777 |      668
1243.37/1243.87	c 1243s |      17 |  8540935 |   280332 |    67956      7 |      777 |      668
1245.67/1246.13	c 1245s |      17 |  8554859 |   280932 |    67956      7 |      777 |      668
1247.97/1248.44	c 1247s |      17 |  8568185 |   281432 |    67956      7 |      777 |      668
1250.47/1250.92	c 1250s |      17 |  8583811 |   281932 |    67956      7 |      777 |      668
1253.27/1253.77	c 1253s |      17 |  8588746 |   282532 |    67956      7 |      777 |      668
1255.57/1256.02	c 1255s |      17 |  8594046 |   282932 |    67956      7 |      777 |      668
1258.07/1258.55	c 1257s |      17 |  8607941 |   283432 |    67956      7 |      777 |      668
1260.17/1260.64	c 1259s |      17 |  8626200 |   283832 |    67956      7 |      777 |      668
1262.27/1262.76	c 1262s |      17 |  8636251 |   284332 |    67956      7 |      777 |      668
1264.37/1264.83	c 1264s |      17 |  8650198 |   284732 |    67956      7 |      777 |      668
1266.67/1267.13	c 1266s |      17 |  8652136 |   285132 |    67956      7 |      777 |      668
1268.76/1269.23	c 1268s |      17 |  8652959 |   285332 |    67956      7 |      777 |      668
1270.76/1271.27	c 1270s |      17 |  8660955 |   285732 |    67956      7 |      777 |      668
1273.26/1273.78	c 1273s |      17 |  8671249 |   286432 |    67956      7 |      777 |      668
1275.96/1276.41	c 1275s |      17 |  8679842 |   286732 |    67956      8 |      777 |      668
1278.16/1278.63	c 1277s |      17 |  8703112 |   287332 |    67956      8 |      777 |      668
1280.16/1280.67	c 1279s |      17 |  8706870 |   287732 |    67956      8 |      777 |      668
1282.86/1283.33	c 1282s |      17 |  8708005 |   288032 |    67956      8 |      777 |      668
1284.96/1285.49	c 1284s |      17 |  8710182 |   288332 |    67956      8 |      777 |      668
1287.36/1287.86	c 1287s |      17 |  8714485 |   288632 |    67956      8 |      777 |      668
1289.56/1290.06	c 1289s |      17 |  8733869 |   289232 |    67956      8 |      777 |      668
1291.56/1292.06	c 1291s |      17 |  8736096 |   289732 |    67956      8 |      777 |      668
1293.66/1294.10	c 1293s |      17 |  8756520 |   290332 |    67956      8 |      777 |      668
1295.66/1296.12	c 1295s |      17 |  8769819 |   290832 |    67956      8 |      777 |      668
1297.96/1298.47	c 1297s |      17 |  8795135 |   291332 |    67956      8 |      777 |      668
1300.46/1300.93	c 1300s |      17 |  8810400 |   291932 |    67956      8 |      777 |      668
1302.66/1303.15	c 1302s |      17 |  8813789 |   292532 |    67956      8 |      777 |      668
1304.96/1305.42	c 1304s |      17 |  8820927 |   293132 |    67956      8 |      777 |      668
1306.96/1307.43	c 1306s |      17 |  8839525 |   293632 |    67956      8 |      777 |      668
1309.26/1309.72	c 1308s |      17 |  8858855 |   294232 |    74752      8 |      777 |      668
1311.26/1311.77	c 1311s |      17 |  8876449 |   294732 |    74752      8 |      777 |      668
1313.46/1313.99	c 1313s |      17 |  8890749 |   295332 |    74752      8 |      777 |      668
1315.76/1316.21	c 1315s |      17 |  8909480 |   295932 |    74752      8 |      777 |      668
1317.06/1317.53	c 1316s |      18 |  8919780 |   296252 |    74752      8 |      777 |      668
1319.16/1319.66	c 1318s |      18 |  8925494 |   296752 |    74752      8 |      777 |      668
1321.25/1321.75	c 1321s |      18 |  8948013 |   297252 |    74752      8 |      777 |      668
1323.45/1323.92	c 1323s |      18 |  8970367 |   297852 |    74752      8 |      777 |      668
1325.65/1326.10	c 1325s |      18 |  8993381 |   298352 |    74752      8 |      777 |      668
1327.65/1328.16	c 1327s |      18 |  9009261 |   299052 |    74752      8 |      777 |      668
1330.05/1330.52	c 1329s |      18 |  9027911 |   299652 |    74752      8 |      777 |      668
1332.15/1332.65	c 1331s |      18 |  9042877 |   300352 |    74752      8 |      777 |      668
1334.25/1334.75	c 1334s |      18 |  9061778 |   300852 |    74752      8 |      777 |      668
1336.45/1336.96	c 1336s |      18 |  9080064 |   301452 |    74752      8 |      777 |      668
1338.75/1339.24	c 1338s |      18 |  9102870 |   301952 |    74752      8 |      777 |      668
1341.06/1341.57	c 1340s |      18 |  9121712 |   302552 |    74752      8 |      777 |      668
1343.16/1343.61	c 1342s |      18 |  9142463 |   303052 |    74752      8 |      777 |      668
1345.36/1345.84	c 1345s |      18 |  9164415 |   303552 |    74752      8 |      777 |      668
1347.46/1347.99	c 1347s |      18 |  9179599 |   304052 |    74752      8 |      777 |      668
1349.56/1350.01	c 1349s |      18 |  9189070 |   304552 |    74752      8 |      777 |      668
1351.95/1352.44	c 1351s |      18 |  9204360 |   305152 |    74752      8 |      777 |      668
1354.15/1354.61	c 1353s |      18 |  9220951 |   305652 |    74752      8 |      777 |      668
1356.35/1356.84	c 1356s |      18 |  9230131 |   306352 |    74752      8 |      777 |      668
1358.75/1359.26	c 1358s |      18 |  9244896 |   306952 |    74752      8 |      777 |      668
1361.05/1361.51	c 1360s |      18 |  9263467 |   307452 |    74752      8 |      777 |      668
1363.15/1363.64	c 1362s |      18 |  9267580 |   307952 |    74752      8 |      777 |      668
1365.65/1366.11	c 1365s |      18 |  9268937 |   308352 |    74752      8 |      777 |      668
1367.65/1368.15	c 1367s |      18 |  9279504 |   308652 |    74752      8 |      777 |      668
1369.85/1370.30	c 1369s |      18 |  9299039 |   309152 |    74752      8 |      777 |      668
1371.85/1372.33	c 1371s |      18 |  9305561 |   309752 |    74752      8 |      777 |      668
1374.15/1374.67	c 1373s |      18 |  9325869 |   310352 |    74752      8 |      777 |      668
1376.55/1377.02	c 1376s |      18 |  9351054 |   310852 |    74752      8 |      777 |      668
1379.06/1379.52	c 1378s |      18 |  9378936 |   311352 |    74752      8 |      777 |      668
1381.26/1381.77	c 1381s |      18 |  9394344 |   311852 |    74752      8 |      777 |      668
1383.55/1384.04	c 1383s |      18 |  9414685 |   312452 |    74752      8 |      777 |      668
1385.66/1386.14	c 1385s |      18 |  9429912 |   312952 |    74752      8 |      777 |      668
1388.15/1388.67	c 1387s |      18 |  9444052 |   313452 |    74752      8 |      777 |      668
1390.45/1390.93	c 1390s |      18 |  9458094 |   313952 |    74752      8 |      777 |      668
1392.75/1393.28	c 1392s |      18 |  9480863 |   314452 |    74752      8 |      777 |      668
1395.35/1395.80	c 1395s |      18 |  9494627 |   314852 |    74752      8 |      778 |      669
1397.55/1398.07	c 1397s |      18 |  9520038 |   315252 |    74752      8 |      778 |      669
1400.15/1400.66	c 1399s |      18 |  9526103 |   315852 |    74752      8 |      778 |      669
1402.54/1403.09	c 1402s |      18 |  9527117 |   316152 |    74752      8 |      778 |      669
1405.35/1405.82	c 1405s |      18 |  9528624 |   316452 |    74752      8 |      778 |      669
1407.55/1408.08	c 1407s |      18 |  9539900 |   316852 |    74752      8 |      778 |      669
1409.85/1410.37	c 1409s |      18 |  9553807 |   317152 |    74752      8 |      779 |      670
1412.05/1412.56	c 1411s |      18 |  9575574 |   317552 |    74752      8 |      779 |      670
1414.34/1414.83	c 1414s |      18 |  9591509 |   318052 |    74752      8 |      779 |      670
1416.45/1416.97	c 1416s |      18 |  9602391 |   318552 |    74752      8 |      779 |      670
1418.65/1419.15	c 1418s |      18 |  9613426 |   319052 |    74752      8 |      779 |      670
1420.75/1421.28	c 1420s |      18 |  9621995 |   319452 |    74752      8 |      779 |      670
1422.95/1423.47	c 1422s |      18 |  9629928 |   320052 |    74752      8 |      779 |      670
1425.44/1425.91	c 1425s |      18 |  9636135 |   320552 |    74752      8 |      779 |      670
1427.64/1428.11	c 1427s |      18 |  9641958 |   321052 |    74752      8 |      779 |      670
1429.84/1430.38	c 1429s |      18 |  9654082 |   321452 |    74752      8 |      779 |      670
1432.44/1432.94	c 1432s |      18 |  9657775 |   321952 |    74752      8 |      779 |      670
1435.24/1435.74	c 1435s |      18 |  9658986 |   322252 |    74752      8 |      779 |      670
1437.64/1438.11	c 1437s |      18 |  9661536 |   322452 |    74752      8 |      779 |      670
1439.84/1440.30	c 1439s |      18 |  9674946 |   322952 |    74752      8 |      779 |      670
1442.13/1442.68	c 1441s |      18 |  9687865 |   323452 |    74752      8 |      779 |      670
1444.33/1444.84	c 1444s |      18 |  9702414 |   323952 |    74752      8 |      779 |      670
1446.43/1446.93	c 1446s |      18 |  9712770 |   324552 |    74752      8 |      779 |      670
1448.83/1449.37	c 1448s |      18 |  9724194 |   325152 |    74752      8 |      779 |      670
1450.93/1451.41	c 1450s |      18 |  9734946 |   325652 |    74752      8 |      779 |      670
1452.93/1453.47	c 1452s |      18 |  9747169 |   326252 |    74752      8 |      779 |      670
1455.33/1455.83	c 1455s |      18 |  9757197 |   326752 |    74752      8 |      779 |      670
1457.53/1458.03	c 1457s |      18 |  9774480 |   327152 |    74752      8 |      779 |      670
1459.63/1460.12	c 1459s |      18 |  9787678 |   327552 |    74752      8 |      779 |      670
1461.63/1462.15	c 1461s |      18 |  9797508 |   327952 |    74752      8 |      779 |      670
1464.03/1464.58	c 1463s |      18 |  9800443 |   328352 |    74752      8 |      779 |      670
1466.13/1466.61	c 1465s |      18 |  9802544 |   328752 |    74752      8 |      779 |      670
1468.63/1469.15	c 1468s |      18 |  9804150 |   329152 |    74752      8 |      779 |      670
1470.73/1471.29	c 1470s |      18 |  9804879 |   329352 |    74752      8 |      779 |      670
1473.03/1473.58	c 1472s |      18 |  9807448 |   329452 |    74752      9 |      779 |      670
1475.44/1475.96	c 1475s |      18 |  9826704 |   330152 |    74752      9 |      779 |      670
1477.53/1478.00	c 1477s |      18 |  9832685 |   330852 |    74752      9 |      779 |      670
1479.73/1480.29	c 1479s |      18 |  9852241 |   331552 |    74752      9 |      779 |      670
1482.03/1482.50	c 1481s |      18 |  9875467 |   332152 |    74752      9 |      779 |      670
1484.23/1484.77	c 1484s |      18 |  9893876 |   332752 |    74752      9 |      779 |      670
1486.63/1487.17	c 1486s |      18 |  9907179 |   333452 |    74752      9 |      779 |      670
1488.73/1489.29	c 1488s |      18 |  9919730 |   334052 |    74752      9 |      779 |      670
1490.93/1491.49	c 1490s |      18 |  9932605 |   334752 |    74752      9 |      779 |      670
1493.73/1494.20	c 1493s |      18 |  9936192 |   335252 |    74752      9 |      779 |      670
1495.83/1496.37	c 1495s |      18 |  9949628 |   335852 |    74752      9 |      779 |      670
1498.33/1498.80	c 1498s |      18 |  9965788 |   336552 |    74752      9 |      779 |      670
1500.33/1500.87	c 1500s |      18 |  9977673 |   337152 |    74752      9 |      779 |      670
1502.63/1503.17	c 1502s |      18 |  9988124 |   337952 |    74752      9 |      779 |      670
1505.03/1505.54	c 1504s |      18 |  9997432 |   338752 |    74752      9 |      779 |      670
1507.13/1507.60	c 1506s |      18 | 10013796 |   339352 |    74752      9 |      779 |      670
1509.53/1510.06	c 1509s |      18 | 10018352 |   339952 |    74752      9 |      779 |      670
1512.03/1512.51	c 1511s |      18 | 10019458 |   340352 |    74752      9 |      779 |      670
1514.13/1514.66	c 1513s |      18 | 10027543 |   340752 |    74752      9 |      779 |      670
1516.43/1516.95	c 1516s |      18 | 10045417 |   341352 |    74752      9 |      779 |      670
1518.63/1519.12	c 1518s |      18 | 10065904 |   341852 |    74752      9 |      779 |      670
1520.63/1521.12	c 1520s |      18 | 10076179 |   342352 |    74752      9 |      779 |      670
1522.83/1523.37	c 1522s |      18 | 10091925 |   342952 |    74752      9 |      779 |      670
1524.93/1525.46	c 1524s |      18 | 10112479 |   343452 |    74752      9 |      779 |      670
1527.12/1527.67	c 1526s |      18 | 10127885 |   343952 |    74752      9 |      779 |      670
1529.52/1530.06	c 1529s |      18 | 10147693 |   344452 |    74752      9 |      779 |      670
1531.93/1532.41	c 1531s |      18 | 10155210 |   345052 |    74752      9 |      779 |      670
1534.22/1534.79	c 1534s |      18 | 10161676 |   345452 |    74752      9 |      779 |      670
1536.42/1536.98	c 1536s |      18 | 10175147 |   345852 |    74752      9 |      780 |      671
1538.62/1539.10	c 1538s |      18 | 10191995 |   346452 |    74752      9 |      780 |      671
1541.02/1541.56	c 1540s |      18 | 10196934 |   346952 |    74752      9 |      780 |      671
1543.22/1543.72	c 1542s |      18 | 10211478 |   347452 |    74752      9 |      780 |      671
1545.52/1546.01	c 1545s |      18 | 10228731 |   348152 |    74752      9 |      780 |      671
1547.82/1548.37	c 1547s |      18 | 10252614 |   348652 |    74752      9 |      780 |      671
1550.02/1550.54	c 1549s |      18 | 10272644 |   349252 |    74752      9 |      780 |      671
1552.12/1552.69	c 1551s |      18 | 10285159 |   349952 |    74752      9 |      780 |      671
1554.62/1555.10	c 1554s |      18 | 10304875 |   350552 |    74752      9 |      780 |      671
1557.02/1557.50	c 1556s |      18 | 10330519 |   351152 |    74752      9 |      780 |      671
1559.02/1559.58	c 1558s |      18 | 10346674 |   351852 |    74752      9 |      780 |      671
1561.32/1561.83	c 1561s |      18 | 10365787 |   352452 |    74752      9 |      780 |      671
1563.62/1564.18	c 1563s |      18 | 10378302 |   353152 |    74752      9 |      780 |      671
1565.72/1566.20	c 1565s |      18 | 10393249 |   353652 |    74752      9 |      780 |      671
1567.82/1568.36	c 1567s |      18 | 10395455 |   354152 |    74752      9 |      780 |      671
1569.92/1570.47	c 1569s |      18 | 10408673 |   354652 |    74752      9 |      780 |      671
1572.01/1572.59	c 1571s |      18 | 10415971 |   355252 |    74752      9 |      780 |      671
1574.11/1574.65	c 1573s |      18 | 10423662 |   355752 |    74752      9 |      780 |      671
1576.51/1577.04	c 1576s |      18 | 10430750 |   356252 |    74752      9 |      780 |      671
1578.71/1579.20	c 1578s |      18 | 10446561 |   356852 |    74752      9 |      780 |      671
1580.91/1581.44	c 1580s |      18 | 10464703 |   357352 |    74752      9 |      780 |      671
1583.21/1583.75	c 1583s |      18 | 10472650 |   357952 |    74752      9 |      780 |      671
1585.61/1586.15	c 1585s |      18 | 10483793 |   358652 |    74752      9 |      780 |      671
1587.92/1588.41	c 1587s |      18 | 10495232 |   359252 |    74752      9 |      780 |      671
1590.12/1590.62	c 1589s |      18 | 10501860 |   359752 |    74752      9 |      780 |      671
1592.21/1592.76	c 1592s |      18 | 10519455 |   360352 |    74752      9 |      780 |      671
1594.41/1595.00	c 1594s |      18 | 10523231 |   360952 |    74752      9 |      780 |      671
1596.72/1597.24	c 1596s |      18 | 10533576 |   361552 |    74752      9 |      780 |      671
1598.82/1599.35	c 1598s |      18 | 10542657 |   362152 |    74752      9 |      780 |      671
1600.92/1601.45	c 1600s |      18 | 10545457 |   362652 |    74752      9 |      780 |      671
1603.12/1603.60	c 1602s |      18 | 10556509 |   363152 |    74752      9 |      780 |      671
1605.32/1605.89	c 1605s |      18 | 10559080 |   363652 |    74752      9 |      780 |      671
1607.62/1608.15	c 1607s |      18 | 10572193 |   364152 |    74752      9 |      780 |      671
1609.72/1610.21	c 1609s |      18 | 10591443 |   364552 |    74752      9 |      780 |      671
1611.72/1612.24	c 1611s |      18 | 10600221 |   365052 |    74752      9 |      780 |      671
1613.81/1614.38	c 1613s |      18 | 10617538 |   365452 |    74752      9 |      780 |      671
1615.91/1616.46	c 1615s |      18 | 10630767 |   365952 |    74752      9 |      780 |      671
1618.21/1618.72	c 1617s |      18 | 10650427 |   366452 |    74752      9 |      780 |      671
1620.31/1620.81	c 1620s |      18 | 10661521 |   366952 |    74752      9 |      780 |      671
1622.71/1623.21	c 1622s |      18 | 10680562 |   367452 |    74752      9 |      780 |      671
1626.81/1627.32	c 1626s |      18 | 10700139 |   367952 |    74752     10 |      780 |      671
1628.91/1629.40	c 1628s |      18 | 10723878 |   368452 |    74752     10 |      780 |      671
1631.01/1631.59	c 1630s |      18 | 10746290 |   368952 |    74752     10 |      780 |      671
1633.41/1633.90	c 1633s |      18 | 10772300 |   369652 |    74752     10 |      780 |      671
1635.41/1635.93	c 1635s |      18 | 10787898 |   370252 |    74752     10 |      780 |      671
1637.42/1637.98	c 1637s |      18 | 10807602 |   370852 |    74752     10 |      780 |      671
1639.62/1640.18	c 1639s |      18 | 10819525 |   371552 |    74752     10 |      780 |      671
1641.71/1642.24	c 1641s |      18 | 10842391 |   372152 |    74752     10 |      780 |      671
1643.91/1644.42	c 1643s |      18 | 10868278 |   372652 |    74752     10 |      780 |      671
1646.11/1646.65	c 1645s |      18 | 10877337 |   373252 |    74752     10 |      780 |      671
1648.31/1648.86	c 1648s |      18 | 10900758 |   373852 |    74752     10 |      780 |      671
1650.51/1651.04	c 1650s |      18 | 10918751 |   374352 |    74752     10 |      780 |      671
1652.51/1653.09	c 1652s |      18 | 10936791 |   374952 |    74752     10 |      780 |      671
1654.81/1655.35	c 1654s |      18 | 10959058 |   375552 |    74752     10 |      780 |      671
1656.91/1657.49	c 1656s |      18 | 10976178 |   376052 |    74752     10 |      780 |      671
1659.21/1659.75	c 1659s |      18 | 10993770 |   376652 |    74752     10 |      780 |      671
1661.21/1661.75	c 1661s |      18 | 11011372 |   377152 |    74752     10 |      781 |      672
1663.51/1664.09	c 1663s |      18 | 11022651 |   377752 |    74752     10 |      781 |      672
1665.60/1666.12	c 1665s |      18 | 11039183 |   378352 |    74752     10 |      781 |      672
1667.70/1668.29	c 1667s |      18 | 11045515 |   378952 |    74752     10 |      781 |      672
1670.10/1670.63	c 1669s |      18 | 11063277 |   379652 |    74752     10 |      781 |      672
1672.40/1672.90	c 1672s |      18 | 11080417 |   380252 |    74752     10 |      781 |      672
1674.91/1675.47	c 1674s |      18 | 11097978 |   380952 |    74752     10 |      782 |      673
1677.11/1677.66	c 1676s |      18 | 11119045 |   381452 |    74752     10 |      782 |      673
1679.10/1679.67	c 1678s |      18 | 11137755 |   381952 |    74752     10 |      782 |      673
1681.20/1681.70	c 1680s |      18 | 11163750 |   382452 |    74752     10 |      782 |      673
1683.30/1683.85	c 1683s |      18 | 11184891 |   382952 |    74752     10 |      782 |      673
1685.60/1686.18	c 1685s |      18 | 11207500 |   383552 |    74752     10 |      782 |      673
1687.70/1688.22	c 1687s |      18 | 11225571 |   384052 |    74752     10 |      782 |      673
1690.00/1690.53	c 1689s |      18 | 11245807 |   384652 |    74752     10 |      782 |      673
1692.10/1692.67	c 1691s |      18 | 11252280 |   385152 |    74752     10 |      782 |      673
1694.20/1694.71	c 1693s |      18 | 11255846 |   385552 |    74752     10 |      782 |      673
1696.20/1696.75	c 1696s |      18 | 11277701 |   386052 |    74752     10 |      782 |      673
1698.40/1698.97	c 1698s |      18 | 11295446 |   386652 |    74752     10 |      782 |      673
1700.50/1701.06	c 1700s |      18 | 11297639 |   387252 |    74752     10 |      782 |      673
1702.90/1703.48	c 1702s |      18 | 11306364 |   387752 |    74752     10 |      782 |      673
1705.00/1705.54	c 1704s |      18 | 11325581 |   388252 |    74752     10 |      782 |      673
1707.10/1707.62	c 1706s |      18 | 11330495 |   388652 |    74752     10 |      782 |      673
1709.30/1709.86	c 1709s |      18 | 11353952 |   389152 |    74752     10 |      782 |      673
1711.50/1712.06	c 1711s |      18 | 11372210 |   389852 |    74752     10 |      782 |      673
1713.60/1714.15	c 1713s |      18 | 11378724 |   390252 |    74752     10 |      782 |      673
1715.90/1716.40	c 1715s |      18 | 11397425 |   390952 |    74752     10 |      782 |      673
1718.00/1718.57	c 1717s |      18 | 11413781 |   391552 |    74752     10 |      782 |      673
1720.30/1720.80	c 1720s |      18 | 11430405 |   392052 |    74752     10 |      782 |      673
1722.40/1722.93	c 1722s |      18 | 11445704 |   392652 |    74752     10 |      782 |      673
1724.79/1725.31	c 1724s |      18 | 11461582 |   393252 |    74752     10 |      782 |      673
1726.89/1727.49	c 1726s |      18 | 11464093 |   393652 |    74752     10 |      782 |      673
1729.19/1729.76	c 1729s |      18 | 11479510 |   394352 |    74752     10 |      782 |      673
1731.49/1732.05	c 1731s |      18 | 11496578 |   395052 |    74752     10 |      782 |      673
1733.79/1734.38	c 1733s |      18 | 11515274 |   395652 |    74752     10 |      782 |      673
1735.99/1736.54	c 1735s |      18 | 11531269 |   396352 |    74752     10 |      782 |      673
1738.29/1738.82	c 1738s |      18 | 11551752 |   396952 |    74752     10 |      782 |      673
1740.80/1741.30	c 1740s |      18 | 11564567 |   397452 |    74752     10 |      782 |      673
1743.00/1743.51	c 1742s |      18 | 11574805 |   397952 |    74752     10 |      782 |      673
1745.09/1745.63	c 1744s |      18 | 11592962 |   398452 |    74752     10 |      782 |      673
1747.50/1748.06	c 1747s |      18 | 11613662 |   398952 |    74752     10 |      782 |      673
1749.99/1750.53	c 1749s |      18 | 11637605 |   399452 |    74752     10 |      782 |      673
1752.39/1752.91	c 1752s |      18 | 11658459 |   399952 |    74752     10 |      782 |      673
1754.89/1755.43	c 1754s |      18 | 11670971 |   400552 |    74752     10 |      782 |      673
1757.19/1757.71	c 1756s |      18 | 11687406 |   401052 |    74752     10 |      782 |      673
1759.29/1759.82	c 1759s |      18 | 11694205 |   401452 |    74752     10 |      782 |      673
1761.69/1762.22	c 1761s |      18 | 11699233 |   401852 |    74752     10 |      782 |      673
1764.29/1764.88	c 1764s |      18 | 11700117 |   402152 |    74752     10 |      782 |      673
1766.58/1767.14	c 1766s |      18 | 11700565 |   402352 |    74752     10 |      782 |      673
1769.69/1770.21	c 1769s |      18 | 11701038 |   402552 |    74752     10 |      782 |      673
1771.89/1772.45	c 1771s |      18 | 11712185 |   403152 |    74752     10 |      782 |      673
1774.19/1774.73	c 1773s |      18 | 11727315 |   403652 |    74752     10 |      782 |      673
1776.59/1777.12	c 1776s |      18 | 11737448 |   404252 |    74752     10 |      782 |      673
1778.89/1779.42	c 1778s |      18 | 11747602 |   404752 |    74752     10 |      782 |      673
1781.19/1781.77	c 1781s |      18 | 11756970 |   405352 |    74752     10 |      782 |      673
1783.49/1784.04	c 1783s |      18 | 11772684 |   405852 |    74752     10 |      782 |      673
1786.59/1787.11	c 1786s |      18 | 11784753 |   406252 |    74752     11 |      782 |      673
1788.99/1789.51	c 1788s |      18 | 11812701 |   406952 |    74752     11 |      782 |      673
1791.09/1791.70	c 1790s |      18 | 11827814 |   407652 |    74752     11 |      782 |      673
1793.19/1793.79	c 1793s |      18 | 11844616 |   408352 |    74752     11 |      782 |      673
1795.39/1795.96	c 1795s |      18 | 11861859 |   408952 |    74752     11 |      782 |      673
1797.58/1798.17	c 1797s |      18 | 11885217 |   409552 |    74752     11 |      782 |      673
1799.78/1800.33	c 1799s |      18 | 11897730 |   410152 |    74752     11 |      782 |      673

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

pid=8247
running on 4 cores: 0,2,4,6

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.35 2.25 2.21 3/179 8250
/proc/meminfo: memFree=29149380/32872528 swapFree=15644/1722384
[pid=8250] ppid=8247 vsize=604604 CPUtime=0 cores=0,2,4,6
/proc/8250/stat : 8250 (toysat) R 8247 8250 4315 0 -1 4202496 2232 0 0 0 0 0 0 0 20 0 4 0 110620737 619114496 3105 33554432000 4194304 16246674 140736994541984 140736994541408 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8250/statm: 151663 3114 441 2943 0 148557 0
[pid=8250/tid=8251] ppid=8247 vsize=623036 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8251/stat : 8251 (toysat) S 8247 8250 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110620738 637988864 3177 33554432000 4194304 16246674 140736994541984 140560715197680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8250/tid=8252] ppid=8247 vsize=627132 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8252/stat : 8252 (toysat) S 8247 8250 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110620738 642183168 3194 33554432000 4194304 16246674 140736994541984 140560704707824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8250/tid=8253] ppid=8247 vsize=632252 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8253/stat : 8253 (toysat) S 8247 8250 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110620738 647426048 3212 33554432000 4194304 16246674 140736994541984 140560589384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100161 s]
/proc/loadavg: 2.35 2.25 2.21 3/179 8250
/proc/meminfo: memFree=29149380/32872528 swapFree=15644/1722384
[pid=8250] ppid=8247 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/8250/stat : 8250 (toysat) R 8247 8250 4315 0 -1 4202496 27184 0 0 0 5 4 0 0 20 0 4 0 110620737 1333334016 27995 33554432000 4194304 16246674 140736994541984 140736994541296 8057278 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8250/statm: 325521 28009 800 2943 0 322415 0
[pid=8250/tid=8251] ppid=8247 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8251/stat : 8251 (toysat) S 8247 8250 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110620738 1333334016 28020 33554432000 4194304 16246674 140736994541984 140560715197680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8250/tid=8252] ppid=8247 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8252/stat : 8252 (toysat) S 8247 8250 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110620738 1333334016 28031 33554432000 4194304 16246674 140736994541984 140560704707824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8250/tid=8253] ppid=8247 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8253/stat : 8253 (toysat) S 8247 8250 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110620738 1333334016 28042 33554432000 4194304 16246674 140736994541984 140560589384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200508 s]
/proc/loadavg: 2.35 2.25 2.21 3/179 8250
/proc/meminfo: memFree=29149380/32872528 swapFree=15644/1722384
[pid=8250] ppid=8247 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/8250/stat : 8250 (toysat) R 8247 8250 4315 0 -1 4202496 47441 0 0 0 12 7 0 0 20 0 4 0 110620737 1344868352 48762 33554432000 4194304 16246674 140736994541984 140736994541296 7367488 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8250/statm: 328337 48762 801 2943 0 325231 0
[pid=8250/tid=8251] ppid=8247 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8251/stat : 8251 (toysat) S 8247 8250 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110620738 1344868352 48762 33554432000 4194304 16246674 140736994541984 140560715197680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8250/tid=8252] ppid=8247 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8252/stat : 8252 (toysat) S 8247 8250 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110620738 1344868352 48762 33554432000 4194304 16246674 140736994541984 140560704707824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8250/tid=8253] ppid=8247 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8253/stat : 8253 (toysat) S 8247 8250 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110620738 1344868352 48762 33554432000 4194304 16246674 140736994541984 140560589384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300491 s]
/proc/loadavg: 2.35 2.25 2.21 3/179 8250
/proc/meminfo: memFree=29149380/32872528 swapFree=15644/1722384
[pid=8250] ppid=8247 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/8250/stat : 8250 (toysat) R 8247 8250 4315 0 -1 4202496 54164 0 0 0 21 8 0 0 20 0 4 0 110620737 1344868352 55485 33554432000 4194304 16246674 140736994541984 140736994541296 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8250/statm: 328337 55485 812 2943 0 325231 0
[pid=8250/tid=8251] ppid=8247 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8251/stat : 8251 (toysat) S 8247 8250 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110620738 1344868352 55485 33554432000 4194304 16246674 140736994541984 140560715197680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8250/tid=8252] ppid=8247 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8252/stat : 8252 (toysat) S 8247 8250 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110620738 1344868352 55485 33554432000 4194304 16246674 140736994541984 140560704707824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8250/tid=8253] ppid=8247 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8253/stat : 8253 (toysat) S 8247 8250 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110620738 1344868352 55485 33554432000 4194304 16246674 140736994541984 140560589384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700392 s]
/proc/loadavg: 2.35 2.25 2.21 3/179 8250
/proc/meminfo: memFree=29149380/32872528 swapFree=15644/1722384
[pid=8250] ppid=8247 vsize=1317444 CPUtime=0.68 cores=0,2,4,6
/proc/8250/stat : 8250 (toysat) R 8247 8250 4315 0 -1 4202496 111719 0 0 0 51 17 0 0 20 0 4 0 110620737 1349062656 113041 33554432000 4194304 16246674 140736994541984 140736994541296 6762828 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8250/statm: 329361 113051 834 2943 0 326255 0
[pid=8250/tid=8251] ppid=8247 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8251/stat : 8251 (toysat) S 8247 8250 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110620738 1349062656 113058 33554432000 4194304 16246674 140736994541984 140560715197680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8250/tid=8252] ppid=8247 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8252/stat : 8252 (toysat) S 8247 8250 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110620738 1349062656 113069 33554432000 4194304 16246674 140736994541984 140560704707824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8250/tid=8253] ppid=8247 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8253/stat : 8253 (toysat) S 8247 8250 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110620738 1349062656 113077 33554432000 4194304 16246674 140736994541984 140560589384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1317444

[startup+1.5004 s]
/proc/loadavg: 2.35 2.25 2.21 3/183 8254
/proc/meminfo: memFree=28466628/32872528 swapFree=15644/1722384
[pid=8250] ppid=8247 vsize=1317444 CPUtime=1.49 cores=0,2,4,6
/proc/8250/stat : 8250 (toysat) R 8247 8250 4315 0 -1 4202496 211126 0 0 0 118 31 0 0 20 0 4 0 110620737 1349062656 212447 33554432000 4194304 16246674 140736994541984 140736994523904 5664948 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8250/statm: 329361 212450 876 2943 0 326255 0
[pid=8250/tid=8251] ppid=8247 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8251/stat : 8251 (toysat) S 8247 8250 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110620738 1349062656 212452 33554432000 4194304 16246674 140736994541984 140560715197680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8250/tid=8252] ppid=8247 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8252/stat : 8252 (toysat) S 8247 8250 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110620738 1349062656 212455 33554432000 4194304 16246674 140736994541984 140560704707824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8250/tid=8253] ppid=8247 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8253/stat : 8253 (toysat) S 8247 8250 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110620738 1349062656 212456 33554432000 4194304 16246674 140736994541984 140560589384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1317444

[startup+3.1004 s]
/proc/loadavg: 2.35 2.25 2.21 3/183 8254
/proc/meminfo: memFree=28060900/32872528 swapFree=15644/1722384
[pid=8250] ppid=8247 vsize=1321540 CPUtime=3.09 cores=0,2,4,6
/proc/8250/stat : 8250 (toysat) R 8247 8250 4315 0 -1 4202496 270920 0 0 0 270 39 0 0 20 0 4 0 110620737 1353256960 272241 33554432000 4194304 16246674 140736994541984 140736994523904 5523464 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8250/statm: 330385 272241 879 2943 0 327279 0
[pid=8250/tid=8251] ppid=8247 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8251/stat : 8251 (toysat) S 8247 8250 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110620738 1353256960 272241 33554432000 4194304 16246674 140736994541984 140560715197680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8250/tid=8252] ppid=8247 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8252/stat : 8252 (toysat) S 8247 8250 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110620738 1353256960 272241 33554432000 4194304 16246674 140736994541984 140560704707824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8250/tid=8253] ppid=8247 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8253/stat : 8253 (toysat) S 8247 8250 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110620738 1353256960 272241 33554432000 4194304 16246674 140736994541984 140560589384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1321540

[startup+6.3004 s]
/proc/loadavg: 2.32 2.25 2.21 3/183 8254
/proc/meminfo: memFree=28060332/32872528 swapFree=15644/1722384
[pid=8250] ppid=8247 vsize=1321540 CPUtime=6.29 cores=0,2,4,6
/proc/8250/stat : 8250 (toysat) R 8247 8250 4315 0 -1 4202496 271057 0 0 0 590 39 0 0 20 0 4 0 110620737 1353256960 272378 33554432000 4194304 16246674 140736994541984 140736994523904 5662354 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8250/statm: 330385 272378 885 2943 0 327279 0
[pid=8250/tid=8251] ppid=8247 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8251/stat : 8251 (toysat) S 8247 8250 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110620738 1353256960 272378 33554432000 4194304 16246674 140736994541984 140560715197680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8250/tid=8252] ppid=8247 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8252/stat : 8252 (toysat) S 8247 8250 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110620738 1353256960 272378 33554432000 4194304 16246674 140736994541984 140560704707824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8250/tid=8253] ppid=8247 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8253/stat : 8253 (toysat) S 8247 8250 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110620738 1353256960 272378 33554432000 4194304 16246674 140736994541984 140560589384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1321540

[startup+12.7004 s]
/proc/loadavg: 2.29 2.24 2.21 3/183 8254
/proc/meminfo: memFree=28060372/32872528 swapFree=15644/1722384
[pid=8250] ppid=8247 vsize=1321540 CPUtime=12.69 cores=0,2,4,6
/proc/8250/stat : 8250 (toysat) R 8247 8250 4315 0 -1 4202496 271057 0 0 0 1230 39 0 0 20 0 4 0 110620737 1353256960 272378 33554432000 4194304 16246674 140736994541984 140736994523904 5667556 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8250/statm: 330385 272378 885 2943 0 327279 0
[pid=8250/tid=8251] ppid=8247 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8251/stat : 8251 (toysat) S 8247 8250 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110620738 1353256960 272378 33554432000 4194304 16246674 140736994541984 140560715197680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8250/tid=8252] ppid=8247 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8252/stat : 8252 (toysat) S 8247 8250 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110620738 1353256960 272378 33554432000 4194304 16246674 140736994541984 140560704707824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8250/tid=8253] ppid=8247 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8253/stat : 8253 (toysat) S 8247 8250 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110620738 1353256960 272378 33554432000 4194304 16246674 140736994541984 140560589384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1321540

[startup+25.5005 s]
/proc/loadavg: 2.30 2.25 2.21 3/183 8254
/proc/meminfo: memFree=28060068/32872528 swapFree=15644/1722384
[pid=8250] ppid=8247 vsize=1321540 CPUtime=25.48 cores=0,2,4,6
/proc/8250/stat : 8250 (toysat) R 8247 8250 4315 0 -1 4202496 271057 0 0 0 2509 39 0 0 20 0 4 0 110620737 1353256960 272378 33554432000 4194304 16246674 140736994541984 140736994523904 5545784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8250/statm: 330385 272378 885 2943 0 327279 0
[pid=8250/tid=8251] ppid=8247 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8251/stat : 8251 (toysat) S 8247 8250 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110620738 1353256960 272378 33554432000 4194304 16246674 140736994541984 140560715197680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8250/tid=8252] ppid=8247 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8252/stat : 8252 (toysat) S 8247 8250 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110620738 1353256960 272378 33554432000 4194304 16246674 140736994541984 140560704707824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8250/tid=8253] ppid=8247 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8253/stat : 8253 (toysat) S 8247 8250 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110620738 1353256960 272378 33554432000 4194304 16246674 140736994541984 140560589384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1321540

[startup+51.1004 s]
/proc/loadavg: 2.26 2.24 2.21 3/183 8254
/proc/meminfo: memFree=28061012/32872528 swapFree=15644/1722384
[pid=8250] ppid=8247 vsize=1321540 CPUtime=51.08 cores=0,2,4,6
/proc/8250/stat : 8250 (toysat) R 8247 8250 4315 0 -1 4202496 271057 0 0 0 5069 39 0 0 20 0 4 0 110620737 1353256960 272378 33554432000 4194304 16246674 140736994541984 140736994523904 5723568 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8250/statm: 330385 272378 885 2943 0 327279 0
[pid=8250/tid=8251] ppid=8247 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8251/stat : 8251 (toysat) S 8247 8250 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110620738 1353256960 272378 33554432000 4194304 16246674 140736994541984 140560715197680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8250/tid=8252] ppid=8247 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8252/stat : 8252 (toysat) S 8247 8250 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110620738 1353256960 272378 33554432000 4194304 16246674 140736994541984 140560704707824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8250/tid=8253] ppid=8247 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8253/stat : 8253 (toysat) S 8247 8250 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110620738 1353256960 272378 33554432000 4194304 16246674 140736994541984 140560589384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1321540

[startup+102.3 s]
/proc/loadavg: 2.24 2.23 2.20 3/183 8256
/proc/meminfo: memFree=28060900/32872528 swapFree=15644/1722384
[pid=8250] ppid=8247 vsize=1321540 CPUtime=102.28 cores=0,2,4,6
/proc/8250/stat : 8250 (toysat) R 8247 8250 4315 0 -1 4202496 271057 0 0 0 10189 39 0 0 20 0 4 0 110620737 1353256960 272378 33554432000 4194304 16246674 140736994541984 140736994523904 5721677 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8250/statm: 330385 272378 885 2943 0 327279 0
[pid=8250/tid=8251] ppid=8247 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8251/stat : 8251 (toysat) S 8247 8250 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110620738 1353256960 272378 33554432000 4194304 16246674 140736994541984 140560715197680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8250/tid=8252] ppid=8247 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8252/stat : 8252 (toysat) S 8247 8250 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110620738 1353256960 272378 33554432000 4194304 16246674 140736994541984 140560704707824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8250/tid=8253] ppid=8247 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8253/stat : 8253 (toysat) S 8247 8250 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110620738 1353256960 272378 33554432000 4194304 16246674 140736994541984 140560589384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1321540


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

/proc/8250/task/8253/stat : 8253 (toysat) S 8247 8250 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110620738 1353256960 272383 33554432000 4194304 16246674 140736994541984 140560589384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1321540

[startup+1302.3 s]
/proc/loadavg: 2.15 2.21 2.20 3/183 8334
/proc/meminfo: memFree=28052460/32872528 swapFree=15644/1722384
[pid=8250] ppid=8247 vsize=1321540 CPUtime=1301.86 cores=0,2,4,6
/proc/8250/stat : 8250 (toysat) R 8247 8250 4315 0 -1 4202496 271459 0 0 0 130136 50 0 0 20 0 4 0 110620737 1353256960 272383 33554432000 4194304 16246674 140736994541984 140736994523904 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8250/statm: 330385 272383 887 2943 0 327279 0
[pid=8250/tid=8251] ppid=8247 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8251/stat : 8251 (toysat) S 8247 8250 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110620738 1353256960 272383 33554432000 4194304 16246674 140736994541984 140560715197680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8250/tid=8252] ppid=8247 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8252/stat : 8252 (toysat) S 8247 8250 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110620738 1353256960 272383 33554432000 4194304 16246674 140736994541984 140560704707824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8250/tid=8253] ppid=8247 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8253/stat : 8253 (toysat) S 8247 8250 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110620738 1353256960 272383 33554432000 4194304 16246674 140736994541984 140560589384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1321540

[startup+1362.3 s]
/proc/loadavg: 2.27 2.25 2.20 3/184 8338
/proc/meminfo: memFree=28052448/32872528 swapFree=15644/1722384
[pid=8250] ppid=8247 vsize=1321540 CPUtime=1361.85 cores=0,2,4,6
/proc/8250/stat : 8250 (toysat) R 8247 8250 4315 0 -1 4202496 271459 0 0 0 136134 51 0 0 20 0 4 0 110620737 1353256960 272383 33554432000 4194304 16246674 140736994541984 140736994523904 5661428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8250/statm: 330385 272383 887 2943 0 327279 0
[pid=8250/tid=8251] ppid=8247 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8251/stat : 8251 (toysat) S 8247 8250 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110620738 1353256960 272383 33554432000 4194304 16246674 140736994541984 140560715197680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8250/tid=8252] ppid=8247 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8252/stat : 8252 (toysat) S 8247 8250 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110620738 1353256960 272383 33554432000 4194304 16246674 140736994541984 140560704707824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8250/tid=8253] ppid=8247 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8253/stat : 8253 (toysat) S 8247 8250 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110620738 1353256960 272383 33554432000 4194304 16246674 140736994541984 140560589384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1321540

[startup+1422.3 s]
/proc/loadavg: 2.20 2.23 2.20 4/183 8339
/proc/meminfo: memFree=28052376/32872528 swapFree=15644/1722384
[pid=8250] ppid=8247 vsize=1321540 CPUtime=1421.85 cores=0,2,4,6
/proc/8250/stat : 8250 (toysat) R 8247 8250 4315 0 -1 4202496 271459 0 0 0 142134 51 0 0 20 0 4 0 110620737 1353256960 272383 33554432000 4194304 16246674 140736994541984 140736994523904 5662205 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8250/statm: 330385 272383 887 2943 0 327279 0
[pid=8250/tid=8251] ppid=8247 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8251/stat : 8251 (toysat) S 8247 8250 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110620738 1353256960 272383 33554432000 4194304 16246674 140736994541984 140560715197680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8250/tid=8252] ppid=8247 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8252/stat : 8252 (toysat) S 8247 8250 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110620738 1353256960 272383 33554432000 4194304 16246674 140736994541984 140560704707824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8250/tid=8253] ppid=8247 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8253/stat : 8253 (toysat) S 8247 8250 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110620738 1353256960 272383 33554432000 4194304 16246674 140736994541984 140560589384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1321540

[startup+1482.3 s]
/proc/loadavg: 2.29 2.25 2.20 3/183 8340
/proc/meminfo: memFree=28051532/32872528 swapFree=15644/1722384
[pid=8250] ppid=8247 vsize=1323588 CPUtime=1481.83 cores=0,2,4,6
/proc/8250/stat : 8250 (toysat) R 8247 8250 4315 0 -1 4202496 271721 0 0 0 148131 52 0 0 20 0 4 0 110620737 1355354112 272645 33554432000 4194304 16246674 140736994541984 140736994523904 5823116 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8250/statm: 330897 272645 887 2943 0 327791 0
[pid=8250/tid=8251] ppid=8247 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8251/stat : 8251 (toysat) S 8247 8250 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110620738 1355354112 272645 33554432000 4194304 16246674 140736994541984 140560715197680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8250/tid=8252] ppid=8247 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8252/stat : 8252 (toysat) S 8247 8250 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110620738 1355354112 272645 33554432000 4194304 16246674 140736994541984 140560704707824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8250/tid=8253] ppid=8247 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8253/stat : 8253 (toysat) S 8247 8250 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110620738 1355354112 272645 33554432000 4194304 16246674 140736994541984 140560589384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1323588

[startup+1542.31 s]
/proc/loadavg: 2.34 2.27 2.21 3/183 8341
/proc/meminfo: memFree=28051148/32872528 swapFree=15644/1722384
[pid=8250] ppid=8247 vsize=1323588 CPUtime=1541.83 cores=0,2,4,6
/proc/8250/stat : 8250 (toysat) R 8247 8250 4315 0 -1 4202496 271721 0 0 0 154131 52 0 0 20 0 4 0 110620737 1355354112 272645 33554432000 4194304 16246674 140736994541984 140736994541080 6026044 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8250/statm: 330897 272645 887 2943 0 327791 0
[pid=8250/tid=8251] ppid=8247 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8251/stat : 8251 (toysat) S 8247 8250 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110620738 1355354112 272645 33554432000 4194304 16246674 140736994541984 140560715197680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8250/tid=8252] ppid=8247 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8252/stat : 8252 (toysat) S 8247 8250 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110620738 1355354112 272645 33554432000 4194304 16246674 140736994541984 140560704707824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8250/tid=8253] ppid=8247 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8253/stat : 8253 (toysat) S 8247 8250 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110620738 1355354112 272645 33554432000 4194304 16246674 140736994541984 140560589384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1323588

[startup+1602.3 s]
/proc/loadavg: 2.26 2.27 2.21 3/183 8343
/proc/meminfo: memFree=28050668/32872528 swapFree=15644/1722384
[pid=8250] ppid=8247 vsize=1323588 CPUtime=1601.82 cores=0,2,4,6
/proc/8250/stat : 8250 (toysat) R 8247 8250 4315 0 -1 4202496 271721 0 0 0 160129 53 0 0 20 0 4 0 110620737 1355354112 272645 33554432000 4194304 16246674 140736994541984 140736994523904 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8250/statm: 330897 272645 887 2943 0 327791 0
[pid=8250/tid=8251] ppid=8247 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8251/stat : 8251 (toysat) S 8247 8250 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110620738 1355354112 272645 33554432000 4194304 16246674 140736994541984 140560715197680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8250/tid=8252] ppid=8247 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8252/stat : 8252 (toysat) S 8247 8250 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110620738 1355354112 272645 33554432000 4194304 16246674 140736994541984 140560704707824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8250/tid=8253] ppid=8247 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8253/stat : 8253 (toysat) S 8247 8250 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110620738 1355354112 272645 33554432000 4194304 16246674 140736994541984 140560589384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1323588

[startup+1662.3 s]
/proc/loadavg: 2.20 2.24 2.20 4/183 8344
/proc/meminfo: memFree=28051520/32872528 swapFree=15644/1722384
[pid=8250] ppid=8247 vsize=1323588 CPUtime=1661.81 cores=0,2,4,6
/proc/8250/stat : 8250 (toysat) R 8247 8250 4315 0 -1 4202496 271721 0 0 0 166128 53 0 0 20 0 4 0 110620737 1355354112 272645 33554432000 4194304 16246674 140736994541984 140736994523904 5545907 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8250/statm: 330897 272645 887 2943 0 327791 0
[pid=8250/tid=8251] ppid=8247 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8251/stat : 8251 (toysat) S 8247 8250 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110620738 1355354112 272645 33554432000 4194304 16246674 140736994541984 140560715197680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8250/tid=8252] ppid=8247 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8252/stat : 8252 (toysat) S 8247 8250 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110620738 1355354112 272645 33554432000 4194304 16246674 140736994541984 140560704707824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8250/tid=8253] ppid=8247 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8253/stat : 8253 (toysat) S 8247 8250 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110620738 1355354112 272645 33554432000 4194304 16246674 140736994541984 140560589384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1323588

[startup+1722.3 s]
/proc/loadavg: 2.28 2.26 2.21 4/183 8345
/proc/meminfo: memFree=28051272/32872528 swapFree=15644/1722384
[pid=8250] ppid=8247 vsize=1323588 CPUtime=1721.8 cores=0,2,4,6
/proc/8250/stat : 8250 (toysat) R 8247 8250 4315 0 -1 4202496 271721 0 0 0 172127 53 0 0 20 0 4 0 110620737 1355354112 272645 33554432000 4194304 16246674 140736994541984 140736994523904 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8250/statm: 330897 272645 887 2943 0 327791 0
[pid=8250/tid=8251] ppid=8247 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8251/stat : 8251 (toysat) S 8247 8250 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110620738 1355354112 272645 33554432000 4194304 16246674 140736994541984 140560715197680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8250/tid=8252] ppid=8247 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8252/stat : 8252 (toysat) S 8247 8250 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110620738 1355354112 272645 33554432000 4194304 16246674 140736994541984 140560704707824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8250/tid=8253] ppid=8247 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8253/stat : 8253 (toysat) S 8247 8250 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110620738 1355354112 272645 33554432000 4194304 16246674 140736994541984 140560589384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1323588

[startup+1782.3 s]
/proc/loadavg: 2.24 2.25 2.20 3/183 8346
/proc/meminfo: memFree=28050148/32872528 swapFree=15644/1722384
[pid=8250] ppid=8247 vsize=1323588 CPUtime=1781.79 cores=0,2,4,6
/proc/8250/stat : 8250 (toysat) R 8247 8250 4315 0 -1 4202496 271721 0 0 0 178125 54 0 0 20 0 4 0 110620737 1355354112 272645 33554432000 4194304 16246674 140736994541984 140736994523904 6022750 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8250/statm: 330897 272645 887 2943 0 327791 0
[pid=8250/tid=8251] ppid=8247 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8251/stat : 8251 (toysat) S 8247 8250 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110620738 1355354112 272645 33554432000 4194304 16246674 140736994541984 140560715197680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8250/tid=8252] ppid=8247 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8252/stat : 8252 (toysat) S 8247 8250 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110620738 1355354112 272645 33554432000 4194304 16246674 140736994541984 140560704707824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8250/tid=8253] ppid=8247 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8253/stat : 8253 (toysat) S 8247 8250 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110620738 1355354112 272645 33554432000 4194304 16246674 140736994541984 140560589384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1323588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.32 2.27 2.21 3/183 8346
/proc/meminfo: memFree=28049160/32872528 swapFree=15644/1722384
[pid=8250] ppid=8247 vsize=1323588 CPUtime=1800.08 cores=0,2,4,6
/proc/8250/stat : 8250 (toysat) R 8247 8250 4315 0 -1 4202496 271971 0 0 0 179954 54 0 0 20 0 4 0 110620737 1355354112 272895 33554432000 4194304 16246674 140736994541984 140736994523904 13907028 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8250/statm: 330897 272895 887 2943 0 327791 0
[pid=8250/tid=8251] ppid=8247 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8251/stat : 8251 (toysat) S 8247 8250 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110620738 1355354112 272895 33554432000 4194304 16246674 140736994541984 140560715197680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8250/tid=8252] ppid=8247 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8252/stat : 8252 (toysat) S 8247 8250 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110620738 1355354112 272895 33554432000 4194304 16246674 140736994541984 140560704707824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8250/tid=8253] ppid=8247 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/8250/task/8253/stat : 8253 (toysat) S 8247 8250 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110620738 1355354112 272895 33554432000 4194304 16246674 140736994541984 140560589384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1323588

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.56
CPU system time (s): 0.542917
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 1323588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.542917
maximum resident set size= 1091580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271971
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= 418
involuntary context switches= 2023

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

The end

Launcher Data 

Begin job on node120 at 2016-06-07 10:07:52
IDJOB=4078910
IDBENCH=90204
IDSOLVER=2542
FILE ID=node120/4078910-1465286871
RUNJOBID= node120-1465256721-4331
PBS_JOBID= 19843284
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K168.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078910-1465286871/watcher-4078910-1465286871 -o /tmp/evaluation-result-4078910-1465286871/solver-4078910-1465286871 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465256721-4331 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078910-1465286871.opb

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

MD5SUM BENCH= 4a002b4e44699cf4cd35a469f7223c94
RANDOM SEED=1962844660

node120.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.425
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	: 5332.85
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.425
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.425
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29150016 kB
Buffers:           62032 kB
Cached:            99740 kB
SwapCached:         1080 kB
Active:          1179152 kB
Inactive:          72552 kB
Active(anon):    1088124 kB
Inactive(anon):     4300 kB
Active(file):      91028 kB
Inactive(file):    68252 kB
Unevictable:     1722384 kB
Mlocked:           15644 kB
SwapTotal:      67108856 kB
SwapFree:       67099668 kB
Dirty:             17492 kB
Writeback:             0 kB
AnonPages:       2811744 kB
Mapped:            11712 kB
Shmem:                 0 kB
Slab:             612516 kB
SReclaimable:      56684 kB
SUnreclaim:       555832 kB
KernelStack:        1520 kB
PageTables:         9336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2955236 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2103296 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= 71704 MiB
End job on node120 at 2016-06-07 10:37:52