Trace number 4078915

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K181.opb
MD5SUM786bb841dd145412a2aec0a596e79174
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 variables21539
Total number of constraints21903
Number of constraints which are clauses21722
Number of constraints which are cardinality constraints (but not clauses)181
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint181
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 182
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-07T09:49:56+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-4078915-1465285796.opb"]
0.00/0.01	c use --random-gen="2810759828 1513780454 3134022559 188678031 2233553141 1723221327 715207054 2115664379 1600887454 1688238866 2925888817 2723806246 826668011 235869329 408929252 338926068 2988524626 2644174085 3335473630 2697877341 2476596907 1819913325 3796491636 1340181258 3323635681 1456852552 1505598208 816688183 3114987367 692839224 3115956935 1853750349 197048727 4107373396 405201354 596219030 3757602614 2357299679 3793390826 4065936463 726697359 4262693257 3453698439 345161215 1132780907 2096588273 2644539873 1084334590 321698331 2478660385 378258971 4190225187 955695700 3055818934 876868700 2977084805 4255883044 4211332353 2173420513 2717468367 2818327245 2786340350 2906286887 1750670600 3733178377 1399215667 3002168241 476563422 2395754013 3248195801 749051336 953244385 2879312003 2477114397 961820332 2548393632 3350411329 2261860780 881547472 2132960536 3098942058 2003186846 2100726774 1813215793 1841421577 2519950918 1024608329 3540643563 703592266 3418900439 3256873500 865942148 2713785488 439324151 945569937 301160394 226423196 3448917392 164592933 1036143276 2167258065 3543083135 352845983 866710302 3739162273 1406895766 1687372901 2951211267 1762358561 1334123048 1861150198 1476650165 1759862452 1845884812 1834179282 2449062023 579777940 2845827429 1868772911 3845895013 3352313479 2955982008 1802610174 3188857737 2174890038 3615166384 968139294 160127263 2950329361 1718899633 1495919487 2649406767 1029137497 2963594553 3465679907 282097040 1947871775 2898336499 2435271924 2127293283 1057839481 3775256220 821893228 763417835 1482718190 2189633953 2484557680 3048941139 2381982464 327890889 1207320553 2277689848 3680624399 4100650729 213198879 4270357208 3074239601 1086029862 3660795804 2585561908 62127036 1736265790 653468931 503350342 89637203 1526859441 1839092102 2989943047 2953294437 2246708757 1937338959 825290698 2897606208 4192141264 440945424 2093719527 1612695090 3978574024 1927918203 3694147968 3239081023 2177900911 2577603635 2509805583 2680423299 1838177862 1484822914 1214155386 412506525 702015486 825171095 1006607251 1719367847 312413339 2723510441 212650467 829176156 3142385684 2967773932 725897651 3004844729 185421858 1594638526 159253795 2750020370 3553554194 3859154847 2392345987 3283398569 542044367 1199971202 3766656907 2677610973 2505483767 2217479861 1620053383 616956134 3737999085 2636892153 2170686117 915300132 1556126548 3237348950 959409652 1059888446 1852616407 3992129608 1290550616 2813233409 1799517289 1023512830 1409993807 2067063026 736838220 2525283924 692634785 3202002179 1063183256 3526208298 1567850069 2537511123 3673989169 4071078982 4093086911 3450731827 501205675 2056791481 4098168332 1829088604 3801161372 3089141496 2256045258 3539716651 490792674 4136240032 2964575281 255 362436" option to reproduce the execution
0.29/0.30	c #vars 21539
0.29/0.30	c #constraints 21903
0.69/0.77	c Solving starts ...
0.69/0.77	c ============================[ Search Statistics ]============================
0.69/0.77	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.69/0.77	c       |         |          |          |    Limit     GC | Var      | Constra 
0.69/0.77	c =============================================================================
0.69/0.77	c  0.0s |       0 |        0 |        0 |    14480      0 |      742 |        0
1.19/1.21	c  0.4s |       1 |     7018 |      100 |    14480      0 |      743 |      634
1.89/1.96	c  1.2s |       2 |    18292 |      250 |    15929      0 |      744 |      635
2.58/2.68	c  1.9s |       3 |    29687 |      475 |    17522      0 |      744 |      635
3.89/3.99	c  3.2s |       4 |    52711 |      813 |    19275      0 |      744 |      635
5.79/5.86	c  5.1s |       5 |    89865 |     1320 |    21203      0 |      744 |      635
7.89/7.99	c  7.2s |       5 |   130326 |     2020 |    23324      0 |      745 |      636
8.09/8.14	c  7.4s |       6 |   132659 |     2081 |    25657      0 |      745 |      636
10.19/10.22	c  9.5s |       6 |   161235 |     2681 |    25657      0 |      746 |      637
11.99/12.02	c 11.2s |       7 |   194039 |     3223 |    28223      0 |      747 |      638
13.99/14.07	c 13.3s |       7 |   222878 |     3823 |    28223      0 |      748 |      639
16.09/16.15	c 15.4s |       7 |   247901 |     4523 |    28223      0 |      748 |      639
17.19/17.28	c 16.5s |       8 |   263876 |     4936 |    31046      0 |      748 |      639
19.29/19.39	c 18.6s |       8 |   294486 |     5436 |    31046      0 |      749 |      640
21.29/21.39	c 20.6s |       8 |   321844 |     6036 |    31046      0 |      749 |      640
23.79/23.82	c 23.0s |       8 |   361472 |     6636 |    31046      0 |      751 |      642
26.09/26.17	c 25.4s |       8 |   397558 |     7336 |    31046      0 |      751 |      642
26.50/26.59	c 25.8s |       9 |   401991 |     7506 |    34151      0 |      751 |      642
28.59/28.70	c 27.9s |       9 |   417233 |     8206 |    34151      0 |      751 |      642
30.89/30.95	c 30.2s |       9 |   419806 |     8806 |    34151      0 |      751 |      642
32.89/32.96	c 32.2s |       9 |   421895 |     9306 |    34151      0 |      751 |      642
35.09/35.11	c 34.3s |       9 |   448159 |     9906 |    34151      0 |      753 |      644
37.49/37.53	c 36.8s |       9 |   478635 |    10506 |    34151      0 |      753 |      644
39.49/39.60	c 38.8s |       9 |   510558 |    11006 |    34151      0 |      753 |      644
40.69/40.79	c 40.0s |      10 |   525173 |    11361 |    37567      0 |      753 |      644
42.89/42.93	c 42.2s |      10 |   547920 |    11861 |    37567      0 |      754 |      645
45.09/45.14	c 44.4s |      10 |   566348 |    12561 |    37567      0 |      755 |      646
47.18/47.24	c 46.5s |      10 |   583912 |    13261 |    37567      0 |      755 |      646
49.28/49.37	c 48.6s |      10 |   599568 |    13861 |    37567      0 |      755 |      646
51.38/51.42	c 50.6s |      10 |   628763 |    14461 |    37567      0 |      755 |      646
53.58/53.63	c 52.9s |      10 |   663894 |    15061 |    37567      0 |      755 |      646
55.68/55.72	c 55.0s |      10 |   683446 |    15661 |    37567      0 |      755 |      646
57.98/58.08	c 57.3s |      10 |   712985 |    16261 |    37567      0 |      756 |      647
60.18/60.22	c 59.5s |      10 |   739567 |    16861 |    37567      0 |      756 |      647
61.38/61.47	c 60.7s |      11 |   751979 |    17144 |    41324      0 |      756 |      647
63.79/63.81	c 63.0s |      11 |   774982 |    17744 |    41324      0 |      756 |      647
66.18/66.20	c 65.4s |      11 |   810039 |    18344 |    41324      0 |      756 |      647
68.38/68.48	c 67.7s |      11 |   835532 |    19044 |    41324      0 |      756 |      647
70.58/70.67	c 69.9s |      11 |   862593 |    19444 |    41324      0 |      757 |      648
72.88/72.94	c 72.2s |      11 |   891371 |    19944 |    41324      0 |      757 |      648
75.28/75.32	c 74.5s |      11 |   923707 |    20444 |    41324      0 |      758 |      649
77.38/77.44	c 76.7s |      11 |   941681 |    20944 |    41324      0 |      758 |      649
79.68/79.76	c 79.0s |      11 |   958942 |    21644 |    41324      0 |      758 |      649
82.08/82.19	c 81.4s |      11 |   964410 |    22044 |    41324      0 |      759 |      650
84.17/84.25	c 83.5s |      11 |   972926 |    22444 |    41324      0 |      759 |      650
86.57/86.68	c 85.9s |      11 |  1004584 |    22944 |    41324      0 |      759 |      650
89.27/89.37	c 88.6s |      11 |  1029869 |    23644 |    41324      0 |      760 |      651
91.47/91.56	c 90.8s |      11 |  1056194 |    24144 |    41324      0 |      760 |      651
93.67/93.73	c 93.0s |      11 |  1063749 |    25044 |    41324      0 |      760 |      651
95.98/96.03	c 95.3s |      11 |  1090832 |    25644 |    41324      0 |      760 |      651
96.68/96.75	c 96.0s |      12 |  1097279 |    25819 |    45457      0 |      760 |      651
98.99/99.02	c 98.2s |      12 |  1120102 |    26319 |    45457      0 |      760 |      651
100.98/101.08	c  100s |      12 |  1143950 |    26719 |    45457      0 |      760 |      651
103.28/103.31	c  102s |      12 |  1174158 |    27219 |    45457      0 |      760 |      651
105.58/105.69	c  104s |      12 |  1186435 |    27819 |    45457      0 |      760 |      651
107.67/107.72	c  106s |      12 |  1202729 |    28419 |    45457      0 |      760 |      651
109.87/109.95	c  109s |      12 |  1226420 |    29019 |    45457      0 |      760 |      651
112.37/112.48	c  111s |      12 |  1255822 |    29619 |    45457      0 |      760 |      651
114.57/114.64	c  113s |      12 |  1284361 |    30119 |    45457      0 |      760 |      651
116.68/116.76	c  115s |      12 |  1304351 |    30619 |    45457      0 |      760 |      651
118.88/118.97	c  118s |      12 |  1331180 |    31119 |    45457      0 |      760 |      651
120.98/121.01	c  120s |      12 |  1356751 |    31519 |    45457      0 |      760 |      651
123.07/123.13	c  122s |      12 |  1375444 |    32119 |    45457      0 |      760 |      651
125.37/125.48	c  124s |      12 |  1384161 |    32819 |    45457      0 |      760 |      651
127.57/127.65	c  126s |      12 |  1406464 |    33319 |    45457      0 |      760 |      651
130.07/130.11	c  129s |      12 |  1426912 |    33919 |    45457      0 |      760 |      651
132.37/132.43	c  131s |      12 |  1444548 |    34319 |    45457      0 |      760 |      651
134.57/134.61	c  133s |      12 |  1472071 |    34819 |    45457      0 |      760 |      651
136.97/137.00	c  136s |      12 |  1499519 |    35319 |    45457      0 |      760 |      651
139.07/139.13	c  138s |      12 |  1517835 |    35719 |    45457      0 |      760 |      651
141.47/141.56	c  140s |      12 |  1547738 |    36219 |    45457      0 |      760 |      651
144.08/144.17	c  143s |      12 |  1567102 |    36719 |    45457      0 |      761 |      652
146.38/146.48	c  145s |      12 |  1593041 |    37119 |    45457      0 |      761 |      652
148.87/148.92	c  148s |      12 |  1615554 |    37719 |    45457      0 |      761 |      652
151.37/151.40	c  150s |      12 |  1637748 |    38219 |    45457      0 |      761 |      652
153.57/153.67	c  152s |      12 |  1657169 |    38719 |    50003      0 |      761 |      652
154.07/154.16	c  153s |      13 |  1663316 |    38832 |    50003      0 |      761 |      652
156.56/156.67	c  155s |      13 |  1675001 |    39232 |    50003      0 |      761 |      652
158.56/158.69	c  157s |      13 |  1685190 |    39732 |    50003      0 |      761 |      652
160.67/160.71	c  159s |      13 |  1686714 |    40132 |    50003      0 |      761 |      652
162.96/163.01	c  162s |      13 |  1691063 |    40632 |    50003      0 |      761 |      652
165.06/165.19	c  164s |      13 |  1712653 |    40932 |    50003      0 |      762 |      653
167.27/167.32	c  166s |      13 |  1732584 |    41332 |    50003      0 |      762 |      653
169.26/169.34	c  168s |      13 |  1746657 |    41832 |    50003      0 |      762 |      653
171.67/171.71	c  170s |      13 |  1769276 |    42332 |    50003      0 |      762 |      653
173.87/173.90	c  173s |      13 |  1781332 |    42832 |    50003      0 |      762 |      653
176.07/176.18	c  175s |      13 |  1803159 |    43432 |    50003      0 |      762 |      653
178.76/178.80	c  178s |      13 |  1829569 |    43932 |    50003      0 |      762 |      653
180.86/180.93	c  180s |      13 |  1851944 |    44232 |    50003      0 |      762 |      653
182.86/182.93	c  182s |      13 |  1871864 |    44632 |    50003      0 |      762 |      653
185.15/185.24	c  184s |      13 |  1890282 |    45232 |    50003      0 |      762 |      653
187.45/187.54	c  186s |      13 |  1902692 |    45632 |    50003      0 |      763 |      654
189.55/189.63	c  188s |      13 |  1923698 |    46032 |    50003      0 |      763 |      654
191.75/191.83	c  191s |      13 |  1941527 |    46432 |    50003      0 |      763 |      654
193.95/194.09	c  193s |      13 |  1969476 |    46832 |    50003      0 |      763 |      654
196.15/196.24	c  195s |      13 |  1989536 |    47232 |    50003      0 |      763 |      654
198.45/198.50	c  197s |      13 |  2006395 |    47832 |    50003      0 |      763 |      654
200.45/200.53	c  199s |      13 |  2016342 |    48232 |    50003      0 |      763 |      654
202.94/203.08	c  202s |      13 |  2037878 |    48732 |    50003      0 |      763 |      654
205.44/205.50	c  204s |      13 |  2065104 |    49232 |    50003      0 |      763 |      654
207.74/207.82	c  207s |      13 |  2084480 |    49832 |    50003      0 |      763 |      654
209.74/209.84	c  209s |      13 |  2105334 |    50232 |    50003      0 |      763 |      654
212.35/212.46	c  211s |      13 |  2126818 |    50532 |    50003      0 |      764 |      655
214.45/214.54	c  213s |      13 |  2150469 |    50832 |    50003      0 |      764 |      655
216.65/216.78	c  216s |      13 |  2170218 |    51232 |    50003      0 |      764 |      655
218.84/218.99	c  218s |      13 |  2193651 |    51532 |    50003      0 |      764 |      655
221.33/221.46	c  220s |      13 |  2218224 |    51932 |    50003      0 |      764 |      655
223.53/223.63	c  222s |      13 |  2236238 |    52332 |    50003      0 |      764 |      655
225.73/225.82	c  225s |      13 |  2243805 |    52832 |    50003      0 |      764 |      655
227.74/227.87	c  227s |      13 |  2244835 |    53132 |    50003      0 |      764 |      655
230.94/231.09	c  230s |      13 |  2246022 |    53432 |    50003      0 |      764 |      655
233.14/233.30	c  232s |      13 |  2253764 |    53632 |    50003      1 |      764 |      655
235.54/235.62	c  234s |      13 |  2275451 |    54132 |    50003      1 |      764 |      655
237.84/237.99	c  237s |      13 |  2295195 |    54632 |    50003      1 |      764 |      655
239.94/240.07	c  239s |      13 |  2320136 |    55132 |    50003      1 |      764 |      655
242.04/242.16	c  241s |      13 |  2341275 |    55632 |    50003      1 |      764 |      655
244.14/244.21	c  243s |      13 |  2363705 |    56132 |    50003      1 |      764 |      655
246.23/246.37	c  245s |      13 |  2385557 |    56632 |    50003      1 |      764 |      655
248.64/248.75	c  247s |      13 |  2405694 |    57132 |    50003      1 |      764 |      655
250.83/250.96	c  250s |      13 |  2412118 |    57732 |    50003      1 |      764 |      655
253.12/253.21	c  252s |      13 |  2432984 |    58232 |    55004      1 |      764 |      655
253.52/253.69	c  252s |      14 |  2437869 |    58352 |    55004      1 |      764 |      655
256.23/256.38	c  255s |      14 |  2463316 |    58752 |    55004      1 |      764 |      655
258.62/258.71	c  257s |      14 |  2486098 |    59252 |    55004      1 |      764 |      655
260.93/261.00	c  260s |      14 |  2509224 |    59852 |    55004      1 |      764 |      655
262.94/263.07	c  262s |      14 |  2531417 |    60352 |    55004      1 |      764 |      655
265.23/265.36	c  264s |      14 |  2551595 |    60752 |    55004      1 |      765 |      656
267.73/267.81	c  267s |      14 |  2579468 |    61252 |    55004      1 |      765 |      656
270.22/270.38	c  269s |      14 |  2608403 |    61752 |    55004      1 |      765 |      656
272.73/272.85	c  272s |      14 |  2612119 |    62252 |    55004      1 |      765 |      656
275.32/275.41	c  274s |      14 |  2638498 |    62852 |    55004      1 |      765 |      656
277.82/277.92	c  277s |      14 |  2659999 |    63352 |    55004      1 |      765 |      656
280.12/280.27	c  279s |      14 |  2681105 |    63952 |    55004      1 |      765 |      656
282.22/282.38	c  281s |      14 |  2688532 |    64452 |    55004      1 |      765 |      656
284.41/284.52	c  283s |      14 |  2705526 |    64952 |    55004      1 |      765 |      656
286.71/286.88	c  286s |      14 |  2728373 |    65452 |    55004      1 |      765 |      656
288.81/288.94	c  288s |      14 |  2740383 |    65852 |    55004      1 |      765 |      656
291.11/291.20	c  290s |      14 |  2764070 |    66352 |    55004      1 |      765 |      656
293.21/293.32	c  292s |      14 |  2781920 |    66752 |    55004      1 |      765 |      656
295.41/295.51	c  294s |      14 |  2799676 |    67252 |    55004      1 |      765 |      656
297.92/298.01	c  297s |      14 |  2823702 |    67752 |    55004      1 |      765 |      656
300.22/300.31	c  299s |      14 |  2842743 |    68252 |    55004      1 |      765 |      656
302.62/302.74	c  301s |      14 |  2860268 |    68752 |    55004      1 |      765 |      656
305.11/305.25	c  304s |      14 |  2880755 |    69352 |    55004      1 |      765 |      656
307.41/307.52	c  306s |      14 |  2903387 |    69752 |    55004      1 |      765 |      656
310.01/310.19	c  309s |      14 |  2925993 |    70252 |    55004      1 |      765 |      656
312.41/312.52	c  311s |      14 |  2938717 |    70752 |    55004      1 |      765 |      656
314.51/314.67	c  313s |      14 |  2955814 |    71252 |    55004      1 |      765 |      656
316.71/316.88	c  316s |      14 |  2974365 |    71652 |    55004      1 |      765 |      656
319.01/319.13	c  318s |      14 |  2994062 |    72152 |    55004      1 |      765 |      656
321.21/321.34	c  320s |      14 |  3011037 |    72652 |    55004      1 |      765 |      656
323.70/323.82	c  323s |      14 |  3029601 |    73252 |    55004      1 |      765 |      656
326.31/326.43	c  325s |      14 |  3049672 |    73752 |    55004      1 |      765 |      656
328.41/328.57	c  327s |      14 |  3064233 |    74152 |    55004      1 |      765 |      656
330.70/330.87	c  330s |      14 |  3077114 |    74452 |    55004      1 |      765 |      656
332.90/333.09	c  332s |      14 |  3089161 |    74952 |    55004      1 |      765 |      656
335.20/335.35	c  334s |      14 |  3094486 |    75352 |    55004      1 |      765 |      656
337.30/337.40	c  336s |      14 |  3100016 |    75852 |    55004      1 |      765 |      656
339.39/339.57	c  338s |      14 |  3111282 |    76352 |    55004      1 |      765 |      656
341.89/342.02	c  341s |      14 |  3135786 |    76752 |    55004      1 |      765 |      656
344.49/344.62	c  343s |      14 |  3160070 |    77252 |    55004      1 |      765 |      656
346.59/346.73	c  345s |      14 |  3168975 |    77652 |    55004      1 |      765 |      656
348.70/348.81	c  348s |      14 |  3172017 |    78052 |    55004      1 |      765 |      656
350.80/350.91	c  350s |      14 |  3173116 |    78352 |    55004      1 |      765 |      656
352.89/353.09	c  352s |      14 |  3174077 |    78652 |    55004      1 |      765 |      656
355.59/355.71	c  354s |      14 |  3181131 |    78952 |    55004      1 |      765 |      656
357.89/358.04	c  357s |      14 |  3200008 |    79452 |    55004      1 |      765 |      656
360.18/360.32	c  359s |      14 |  3214124 |    79952 |    55004      1 |      765 |      656
362.38/362.53	c  361s |      14 |  3229690 |    80352 |    55004      1 |      765 |      656
364.68/364.87	c  364s |      14 |  3246140 |    80752 |    55004      1 |      765 |      656
366.79/366.96	c  366s |      14 |  3248134 |    81252 |    55004      1 |      765 |      656
369.38/369.53	c  368s |      14 |  3249163 |    81552 |    55004      1 |      765 |      656
371.48/371.63	c  370s |      14 |  3263897 |    81952 |    55004      1 |      765 |      656
373.58/373.70	c  372s |      14 |  3278090 |    82452 |    55004      1 |      765 |      656
375.88/376.04	c  375s |      14 |  3293163 |    82852 |    55004      1 |      765 |      656
378.08/378.28	c  377s |      14 |  3308635 |    83252 |    55004      1 |      765 |      656
380.58/380.73	c  379s |      14 |  3333248 |    83652 |    55004      1 |      765 |      656
383.38/383.56	c  382s |      14 |  3356713 |    84152 |    55004      1 |      765 |      656
385.57/385.79	c  385s |      14 |  3373036 |    84552 |    55004      1 |      765 |      656
387.98/388.14	c  387s |      14 |  3384512 |    84852 |    55004      2 |      765 |      656
390.28/390.42	c  389s |      14 |  3394887 |    85552 |    55004      2 |      765 |      656
392.59/392.71	c  391s |      14 |  3415081 |    86052 |    55004      2 |      765 |      656
394.58/394.79	c  394s |      14 |  3435361 |    86452 |    55004      2 |      765 |      656
396.88/397.02	c  396s |      14 |  3445779 |    86952 |    55004      2 |      765 |      656
399.57/399.73	c  398s |      14 |  3447148 |    87352 |    60505      2 |      765 |      656
401.38/401.51	c  400s |      15 |  3448265 |    87632 |    60505      2 |      765 |      656
403.58/403.76	c  402s |      15 |  3463923 |    88132 |    60505      2 |      765 |      656
405.67/405.86	c  405s |      15 |  3484338 |    88632 |    60505      2 |      765 |      656
407.87/408.02	c  407s |      15 |  3504782 |    89132 |    60505      2 |      765 |      656
410.37/410.51	c  409s |      15 |  3535041 |    89732 |    60505      2 |      765 |      656
412.77/412.93	c  412s |      15 |  3563928 |    90232 |    60505      2 |      765 |      656
415.07/415.26	c  414s |      15 |  3585587 |    90732 |    60505      2 |      765 |      656
417.28/417.48	c  416s |      15 |  3608161 |    91332 |    60505      2 |      765 |      656
419.37/419.59	c  418s |      15 |  3625341 |    91832 |    60505      2 |      765 |      656
421.47/421.66	c  420s |      15 |  3652076 |    92232 |    60505      2 |      765 |      656
423.67/423.88	c  423s |      15 |  3676446 |    92732 |    60505      2 |      765 |      656
425.87/426.02	c  425s |      15 |  3685924 |    93332 |    60505      2 |      765 |      656
428.17/428.33	c  427s |      15 |  3697002 |    93932 |    60505      2 |      765 |      656
430.27/430.46	c  429s |      15 |  3712032 |    94532 |    60505      2 |      765 |      656
432.67/432.88	c  432s |      15 |  3738273 |    95032 |    60505      2 |      765 |      656
435.48/435.61	c  434s |      15 |  3748330 |    95432 |    60505      2 |      765 |      656
437.78/437.95	c  437s |      15 |  3765189 |    95932 |    60505      2 |      765 |      656
439.97/440.17	c  439s |      15 |  3766917 |    96332 |    60505      2 |      765 |      656
442.47/442.65	c  441s |      15 |  3778799 |    96732 |    60505      2 |      765 |      656
444.57/444.73	c  443s |      15 |  3798816 |    97132 |    60505      2 |      765 |      656
446.86/447.08	c  446s |      15 |  3807543 |    97632 |    60505      2 |      765 |      656
449.16/449.35	c  448s |      15 |  3823359 |    98332 |    60505      2 |      765 |      656
451.16/451.38	c  450s |      15 |  3841426 |    98632 |    60505      2 |      766 |      657
453.65/453.83	c  453s |      15 |  3845988 |    99332 |    60505      2 |      766 |      657
455.65/455.88	c  455s |      15 |  3855041 |    99932 |    60505      2 |      766 |      657
457.75/457.96	c  457s |      15 |  3861805 |   100532 |    60505      2 |      766 |      657
459.84/460.02	c  459s |      15 |  3866824 |   101132 |    60505      2 |      766 |      657
462.35/462.51	c  461s |      15 |  3868626 |   101732 |    60505      2 |      766 |      657
464.34/464.57	c  463s |      15 |  3870665 |   102232 |    60505      2 |      766 |      657
466.65/466.86	c  466s |      15 |  3874729 |   102732 |    60505      2 |      766 |      657
468.85/469.09	c  468s |      15 |  3878860 |   103332 |    60505      2 |      766 |      657
471.04/471.28	c  470s |      15 |  3892752 |   103732 |    60505      2 |      766 |      657
473.24/473.44	c  472s |      15 |  3900830 |   104132 |    60505      2 |      766 |      657
475.64/475.86	c  475s |      15 |  3926941 |   104632 |    60505      2 |      766 |      657
478.14/478.33	c  477s |      15 |  3941629 |   105132 |    60505      2 |      766 |      657
480.54/480.71	c  479s |      15 |  3956024 |   105632 |    60505      2 |      766 |      657
483.03/483.24	c  482s |      15 |  3975899 |   106032 |    60505      2 |      766 |      657
485.23/485.45	c  484s |      15 |  3996452 |   106532 |    60505      2 |      766 |      657
487.73/487.98	c  487s |      15 |  4022537 |   106932 |    60505      2 |      766 |      657
489.83/490.08	c  489s |      15 |  4040571 |   107432 |    60505      2 |      766 |      657
492.13/492.33	c  491s |      15 |  4056338 |   107932 |    60505      2 |      766 |      657
494.23/494.44	c  493s |      15 |  4077931 |   108332 |    60505      2 |      766 |      657
496.33/496.58	c  495s |      15 |  4092749 |   108732 |    60505      2 |      766 |      657
498.63/498.84	c  498s |      15 |  4103044 |   109332 |    60505      2 |      766 |      657
500.82/501.07	c  500s |      15 |  4124358 |   109732 |    60505      2 |      766 |      657
503.13/503.35	c  502s |      15 |  4129392 |   110032 |    60505      2 |      766 |      657
505.53/505.75	c  504s |      15 |  4144209 |   110532 |    60505      2 |      766 |      657
507.63/507.88	c  507s |      15 |  4164626 |   110832 |    60505      2 |      766 |      657
509.93/510.19	c  509s |      15 |  4171410 |   111232 |    60505      2 |      766 |      657
512.23/512.45	c  511s |      15 |  4194657 |   111632 |    60505      2 |      766 |      657
514.64/514.88	c  514s |      15 |  4215887 |   112032 |    60505      2 |      766 |      657
516.73/516.95	c  516s |      15 |  4227543 |   112532 |    60505      2 |      766 |      657
519.23/519.40	c  518s |      15 |  4231751 |   112932 |    60505      2 |      766 |      657
521.23/521.43	c  520s |      15 |  4243544 |   113432 |    60505      2 |      766 |      657
523.43/523.63	c  522s |      15 |  4254578 |   113932 |    60505      2 |      766 |      657
525.63/525.90	c  525s |      15 |  4279339 |   114332 |    60505      2 |      766 |      657
528.82/529.09	c  528s |      15 |  4300243 |   114732 |    60505      2 |      767 |      658
531.22/531.49	c  530s |      15 |  4322602 |   115132 |    60505      2 |      767 |      658
533.71/533.93	c  533s |      15 |  4344160 |   115632 |    60505      2 |      767 |      658
535.91/536.10	c  535s |      15 |  4362068 |   116032 |    60505      2 |      767 |      658
538.51/538.71	c  537s |      15 |  4383675 |   116432 |    60505      2 |      767 |      658
540.81/541.03	c  540s |      15 |  4397850 |   116632 |    60505      2 |      768 |      659
543.11/543.35	c  542s |      15 |  4413328 |   117032 |    60505      2 |      768 |      659
545.20/545.40	c  544s |      15 |  4419137 |   117432 |    60505      2 |      768 |      659
547.80/548.05	c  547s |      15 |  4420366 |   117732 |    60505      2 |      768 |      659
550.10/550.37	c  549s |      15 |  4428153 |   118032 |    60505      2 |      768 |      659
552.70/552.93	c  552s |      15 |  4445542 |   118432 |    60505      2 |      768 |      659
555.00/555.23	c  554s |      15 |  4462834 |   118832 |    60505      2 |      768 |      659
557.20/557.46	c  556s |      15 |  4468024 |   118932 |    60505      3 |      768 |      659
559.50/559.72	c  558s |      15 |  4477578 |   119432 |    60505      3 |      768 |      659
561.80/562.02	c  561s |      15 |  4488324 |   120032 |    60505      3 |      768 |      659
563.99/564.24	c  563s |      15 |  4498812 |   120532 |    60505      3 |      768 |      659
565.99/566.28	c  565s |      15 |  4516648 |   120932 |    60505      3 |      768 |      659
568.50/568.73	c  567s |      15 |  4535714 |   121532 |    60505      3 |      768 |      659
570.89/571.14	c  570s |      15 |  4556917 |   121932 |    60505      3 |      768 |      659
573.19/573.48	c  572s |      15 |  4577659 |   122432 |    60505      3 |      768 |      659
575.68/575.99	c  575s |      15 |  4587951 |   123032 |    60505      3 |      768 |      659
577.98/578.25	c  577s |      15 |  4605493 |   123532 |    60505      3 |      768 |      659
580.38/580.62	c  579s |      15 |  4620994 |   124032 |    60505      3 |      768 |      659
582.48/582.77	c  581s |      15 |  4632095 |   124432 |    60505      3 |      768 |      659
584.58/584.82	c  584s |      15 |  4645400 |   124832 |    60505      3 |      768 |      659
586.88/587.15	c  586s |      15 |  4664310 |   125232 |    60505      3 |      768 |      659
589.38/589.68	c  588s |      15 |  4690390 |   125732 |    60505      3 |      768 |      659
591.48/591.72	c  590s |      15 |  4706174 |   126232 |    60505      3 |      768 |      659
593.67/593.92	c  593s |      15 |  4723784 |   126632 |    60505      3 |      768 |      659
595.77/596.08	c  595s |      15 |  4738504 |   127032 |    60505      3 |      768 |      659
598.07/598.31	c  597s |      15 |  4751289 |   127532 |    60505      3 |      768 |      659
600.06/600.39	c  599s |      15 |  4763305 |   128132 |    60505      3 |      768 |      659
602.26/602.57	c  601s |      15 |  4771269 |   128532 |    60505      3 |      769 |      660
604.78/605.04	c  604s |      15 |  4784130 |   128932 |    60505      3 |      769 |      660
606.77/607.06	c  606s |      15 |  4800458 |   129332 |    60505      3 |      769 |      660
609.17/609.47	c  608s |      15 |  4815963 |   129732 |    60505      3 |      769 |      660
611.37/611.63	c  610s |      15 |  4832217 |   130132 |    60505      3 |      769 |      660
613.96/614.29	c  613s |      15 |  4854868 |   130532 |    60505      3 |      769 |      660
616.76/617.01	c  616s |      15 |  4874844 |   131032 |    66556      3 |      769 |      660
618.76/619.01	c  618s |      15 |  4892345 |   131432 |    66556      3 |      769 |      660
619.16/619.50	c  618s |      16 |  4895692 |   131552 |    66556      3 |      769 |      660
621.26/621.55	c  620s |      16 |  4903440 |   131852 |    66556      3 |      769 |      660
623.35/623.68	c  622s |      16 |  4921229 |   132252 |    66556      3 |      769 |      660
625.85/626.10	c  625s |      16 |  4940705 |   132652 |    66556      3 |      769 |      660
628.05/628.33	c  627s |      16 |  4956270 |   133052 |    66556      3 |      769 |      660
630.45/630.71	c  629s |      16 |  4970395 |   133552 |    66556      3 |      769 |      660
632.45/632.73	c  631s |      16 |  4986932 |   133952 |    66556      3 |      769 |      660
634.85/635.17	c  634s |      16 |  5003752 |   134552 |    66556      3 |      769 |      660
637.05/637.39	c  636s |      16 |  5020966 |   134952 |    66556      3 |      769 |      660
639.44/639.78	c  639s |      16 |  5037460 |   135352 |    66556      3 |      769 |      660
641.74/642.06	c  641s |      16 |  5050888 |   135852 |    66556      3 |      769 |      660
644.25/644.60	c  643s |      16 |  5066224 |   136352 |    66556      3 |      769 |      660
646.95/647.26	c  646s |      16 |  5085754 |   136852 |    66556      3 |      769 |      660
649.05/649.35	c  648s |      16 |  5098169 |   137252 |    66556      3 |      769 |      660
651.14/651.49	c  650s |      16 |  5108115 |   137752 |    66556      3 |      769 |      660
653.34/653.65	c  652s |      16 |  5124893 |   138152 |    66556      3 |      769 |      660
655.64/655.90	c  655s |      16 |  5138347 |   138652 |    66556      3 |      769 |      660
658.04/658.32	c  657s |      16 |  5155002 |   139152 |    66556      3 |      769 |      660
660.53/660.82	c  660s |      16 |  5171025 |   139552 |    66556      3 |      769 |      660
662.73/663.01	c  662s |      16 |  5189437 |   139952 |    66556      3 |      769 |      660
665.13/665.40	c  664s |      16 |  5196626 |   140552 |    66556      3 |      769 |      660
667.13/667.49	c  666s |      16 |  5207095 |   141052 |    66556      3 |      769 |      660
669.52/669.87	c  669s |      16 |  5226872 |   141452 |    66556      3 |      769 |      660
671.93/672.26	c  671s |      16 |  5239972 |   141852 |    66556      3 |      769 |      660
674.13/674.48	c  673s |      16 |  5257945 |   142152 |    66556      3 |      769 |      660
676.82/677.11	c  676s |      16 |  5274261 |   142552 |    66556      3 |      769 |      660
679.31/679.65	c  678s |      16 |  5289665 |   143052 |    66556      3 |      769 |      660
681.72/682.03	c  681s |      16 |  5304874 |   143452 |    66556      3 |      769 |      660
683.81/684.14	c  683s |      16 |  5317721 |   143852 |    66556      3 |      769 |      660
686.23/686.59	c  685s |      16 |  5330735 |   144352 |    66556      3 |      769 |      660
688.43/688.78	c  688s |      16 |  5343173 |   144752 |    66556      3 |      769 |      660
691.01/691.33	c  690s |      16 |  5360358 |   145152 |    66556      3 |      769 |      660
693.11/693.49	c  692s |      16 |  5374407 |   145552 |    66556      3 |      769 |      660
695.71/696.01	c  695s |      16 |  5392456 |   145852 |    66556      3 |      769 |      660
697.71/698.07	c  697s |      16 |  5403149 |   146252 |    66556      3 |      769 |      660
699.90/700.24	c  699s |      16 |  5409686 |   146452 |    66556      3 |      769 |      660
701.90/702.27	c  701s |      16 |  5423300 |   146852 |    66556      3 |      769 |      660
703.90/704.28	c  703s |      16 |  5440486 |   147152 |    66556      3 |      769 |      660
706.20/706.53	c  705s |      16 |  5451392 |   147552 |    66556      3 |      769 |      660
708.50/708.87	c  708s |      16 |  5463795 |   148052 |    66556      3 |      769 |      660
711.00/711.38	c  710s |      16 |  5483334 |   148452 |    66556      3 |      769 |      660
713.10/713.47	c  712s |      16 |  5487927 |   148952 |    66556      3 |      769 |      660
715.60/715.96	c  715s |      16 |  5502363 |   149352 |    66556      3 |      769 |      660
717.80/718.18	c  717s |      16 |  5507270 |   149652 |    66556      3 |      769 |      660
720.59/720.98	c  720s |      16 |  5508860 |   149952 |    66556      3 |      769 |      660
722.69/723.01	c  722s |      16 |  5516405 |   150252 |    66556      3 |      769 |      660
724.89/725.28	c  724s |      16 |  5531752 |   150652 |    66556      3 |      769 |      660
727.19/727.52	c  726s |      16 |  5539377 |   151052 |    66556      3 |      769 |      660
729.88/730.28	c  729s |      16 |  5546430 |   151452 |    66556      3 |      769 |      660
731.98/732.36	c  731s |      16 |  5559543 |   151752 |    66556      3 |      769 |      660
734.58/734.96	c  734s |      16 |  5573770 |   152152 |    66556      3 |      769 |      660
737.18/737.57	c  736s |      16 |  5586233 |   152552 |    66556      3 |      769 |      660
739.17/739.58	c  738s |      16 |  5596737 |   152852 |    66556      3 |      769 |      660
741.37/741.73	c  740s |      16 |  5605719 |   153252 |    66556      3 |      769 |      660
743.67/744.08	c  743s |      16 |  5614098 |   153652 |    66556      3 |      769 |      660
745.97/746.33	c  745s |      16 |  5627071 |   154052 |    66556      3 |      769 |      660
748.38/748.70	c  747s |      16 |  5640531 |   154452 |    66556      3 |      769 |      660
750.48/750.88	c  750s |      16 |  5654067 |   154852 |    66556      3 |      769 |      660
752.58/752.98	c  752s |      16 |  5662619 |   155252 |    66556      3 |      769 |      660
755.38/755.79	c  755s |      16 |  5674650 |   155652 |    66556      3 |      769 |      660
757.68/758.01	c  757s |      16 |  5685384 |   156052 |    66556      3 |      769 |      660
759.67/760.02	c  759s |      16 |  5694755 |   156352 |    66556      3 |      769 |      660
761.87/762.21	c  761s |      16 |  5706258 |   156752 |    66556      3 |      769 |      660
764.07/764.47	c  763s |      16 |  5715698 |   157152 |    66556      3 |      769 |      660
766.17/766.50	c  765s |      16 |  5726591 |   157452 |    66556      3 |      769 |      660
768.37/768.70	c  767s |      16 |  5732246 |   157852 |    66556      3 |      769 |      660
770.96/771.35	c  770s |      16 |  5744922 |   158252 |    66556      3 |      769 |      660
773.07/773.48	c  772s |      16 |  5752242 |   158652 |    66556      3 |      769 |      660
775.87/776.21	c  775s |      16 |  5762012 |   159052 |    66556      3 |      769 |      660
778.26/778.63	c  777s |      16 |  5763137 |   159352 |    66556      3 |      769 |      660
780.46/780.87	c  780s |      16 |  5764250 |   159652 |    66556      3 |      769 |      660
782.97/783.33	c  782s |      16 |  5767800 |   159952 |    66556      3 |      769 |      660
785.46/785.83	c  785s |      16 |  5778825 |   160352 |    66556      3 |      769 |      660
787.56/787.96	c  787s |      16 |  5780628 |   160752 |    66556      3 |      769 |      660
789.56/789.99	c  789s |      16 |  5785019 |   161152 |    66556      3 |      769 |      660
791.95/792.32	c  791s |      16 |  5788251 |   161552 |    66556      3 |      769 |      660
795.25/795.69	c  794s |      16 |  5794798 |   161752 |    66556      4 |      769 |      660
797.85/798.22	c  797s |      16 |  5800107 |   162152 |    66556      4 |      769 |      660
800.05/800.48	c  799s |      16 |  5812388 |   162552 |    66556      4 |      769 |      660
802.05/802.49	c  801s |      16 |  5818890 |   162952 |    66556      4 |      769 |      660
804.14/804.52	c  803s |      16 |  5831547 |   163252 |    66556      4 |      769 |      660
806.35/806.72	c  805s |      16 |  5836776 |   163652 |    66556      4 |      769 |      660
808.35/808.74	c  807s |      16 |  5840997 |   164152 |    66556      4 |      769 |      660
811.05/811.46	c  810s |      16 |  5843198 |   164652 |    66556      4 |      769 |      660
813.45/813.80	c  813s |      16 |  5855192 |   165052 |    66556      4 |      769 |      660
815.86/816.26	c  815s |      16 |  5863048 |   165452 |    66556      4 |      769 |      660
818.85/819.22	c  818s |      16 |  5867233 |   165652 |    66556      4 |      769 |      660
821.35/821.77	c  820s |      16 |  5878121 |   166052 |    66556      4 |      769 |      660
823.74/824.18	c  823s |      16 |  5890487 |   166452 |    66556      4 |      769 |      660
825.85/826.28	c  825s |      16 |  5898996 |   166852 |    66556      4 |      769 |      660
828.05/828.48	c  827s |      16 |  5907841 |   167252 |    66556      4 |      769 |      660
830.54/830.96	c  830s |      16 |  5911628 |   167552 |    66556      4 |      769 |      660
832.54/832.96	c  832s |      16 |  5916866 |   167852 |    66556      4 |      769 |      660
835.15/835.50	c  834s |      16 |  5919654 |   168252 |    66556      4 |      769 |      660
837.45/837.86	c  837s |      16 |  5929347 |   168652 |    66556      4 |      769 |      660
839.85/840.28	c  839s |      16 |  5937225 |   169052 |    66556      4 |      769 |      660
842.35/842.75	c  841s |      16 |  5939965 |   169452 |    66556      4 |      769 |      660
844.94/845.39	c  844s |      16 |  5941797 |   169852 |    66556      4 |      769 |      660
847.35/847.72	c  846s |      16 |  5942381 |   170052 |    66556      4 |      769 |      660
849.84/850.28	c  849s |      16 |  5947364 |   170552 |    66556      4 |      769 |      660
852.44/852.81	c  852s |      16 |  5954851 |   170952 |    66556      4 |      769 |      660
854.55/854.93	c  854s |      16 |  5961940 |   171252 |    66556      4 |      769 |      660
856.65/857.08	c  856s |      16 |  5968666 |   171652 |    66556      4 |      769 |      660
858.84/859.21	c  858s |      16 |  5977256 |   171952 |    66556      4 |      769 |      660
860.95/861.37	c  860s |      16 |  5983198 |   172252 |    66556      4 |      769 |      660
863.74/864.16	c  863s |      16 |  5984629 |   172452 |    66556      4 |      769 |      660
865.94/866.34	c  865s |      16 |  5991932 |   172852 |    66556      4 |      769 |      660
868.14/868.54	c  867s |      16 |  5999000 |   173252 |    66556      4 |      769 |      660
870.24/870.68	c  869s |      16 |  6003558 |   173552 |    66556      4 |      769 |      660
872.94/873.39	c  872s |      16 |  6009532 |   173952 |    66556      4 |      769 |      660
875.25/875.66	c  874s |      16 |  6018614 |   174252 |    66556      4 |      769 |      660
877.34/877.71	c  876s |      16 |  6023541 |   174652 |    66556      4 |      769 |      660
879.94/880.30	c  879s |      16 |  6025544 |   174952 |    66556      4 |      769 |      660
882.24/882.62	c  881s |      16 |  6035593 |   175352 |    66556      4 |      769 |      660
884.43/884.86	c  884s |      16 |  6045477 |   175752 |    66556      4 |      769 |      660
886.93/887.31	c  886s |      16 |  6056791 |   176152 |    66556      4 |      769 |      660
889.04/889.42	c  888s |      16 |  6059352 |   176552 |    66556      4 |      769 |      660
891.44/891.88	c  891s |      16 |  6068786 |   176952 |    66556      4 |      769 |      660
894.04/894.42	c  893s |      16 |  6076961 |   177252 |    66556      4 |      769 |      660
896.53/896.97	c  896s |      16 |  6081897 |   177652 |    66556      4 |      769 |      660
899.04/899.46	c  898s |      16 |  6084151 |   178052 |    66556      4 |      769 |      660
901.54/901.91	c  901s |      16 |  6085063 |   178352 |    66556      4 |      769 |      660
903.53/903.92	c  903s |      16 |  6085760 |   178552 |    66556      4 |      769 |      660
906.14/906.55	c  905s |      16 |  6086229 |   178752 |    66556      4 |      769 |      660
908.73/909.20	c  908s |      16 |  6089255 |   179052 |    66556      4 |      769 |      660
910.83/911.24	c  910s |      16 |  6096948 |   179352 |    66556      4 |      769 |      660
912.93/913.39	c  912s |      16 |  6104630 |   179652 |    66556      4 |      769 |      660
915.13/915.57	c  914s |      16 |  6112321 |   179952 |    66556      4 |      769 |      660
917.63/918.07	c  917s |      16 |  6116171 |   180352 |    66556      4 |      769 |      660
919.84/920.24	c  919s |      16 |  6120937 |   180652 |    66556      4 |      769 |      660
922.43/922.84	c  922s |      16 |  6127594 |   181052 |    66556      4 |      769 |      660
925.23/925.63	c  924s |      16 |  6132659 |   181452 |    66556      4 |      769 |      660
927.23/927.63	c  926s |      16 |  6138939 |   181752 |    66556      4 |      769 |      660
929.33/929.79	c  929s |      16 |  6146192 |   182152 |    66556      4 |      769 |      660
931.63/932.09	c  931s |      16 |  6150905 |   182552 |    66556      4 |      769 |      660
934.53/935.00	c  934s |      16 |  6152147 |   182852 |    66556      4 |      769 |      660
937.13/937.55	c  936s |      16 |  6153972 |   183052 |    66556      4 |      769 |      660
939.53/939.90	c  939s |      16 |  6161390 |   183552 |    66556      4 |      769 |      660
942.03/942.41	c  941s |      16 |  6167469 |   183852 |    66556      4 |      769 |      660
944.64/945.06	c  944s |      16 |  6179928 |   184252 |    66556      4 |      769 |      660
947.23/947.66	c  946s |      16 |  6187245 |   184652 |    66556      4 |      769 |      660
949.73/950.19	c  949s |      16 |  6198944 |   185052 |    66556      4 |      769 |      660
951.83/952.29	c  951s |      16 |  6204008 |   185352 |    66556      4 |      769 |      660
954.03/954.44	c  953s |      16 |  6208589 |   185652 |    66556      4 |      769 |      660
956.23/956.67	c  955s |      16 |  6209790 |   185952 |    66556      4 |      769 |      660
959.03/959.46	c  958s |      16 |  6211286 |   186252 |    66556      4 |      769 |      660
961.42/961.89	c  961s |      16 |  6214039 |   186552 |    66556      4 |      769 |      660
964.12/964.57	c  963s |      16 |  6215100 |   186752 |    66556      4 |      769 |      660
966.72/967.14	c  966s |      16 |  6218575 |   187052 |    66556      4 |      769 |      660
968.92/969.30	c  968s |      16 |  6226099 |   187352 |    66556      4 |      769 |      660
971.32/971.70	c  970s |      16 |  6226643 |   187552 |    66556      4 |      769 |      660
974.13/974.58	c  973s |      16 |  6227401 |   187852 |    66556      4 |      769 |      660
977.02/977.44	c  976s |      16 |  6228082 |   188052 |    66556      4 |      769 |      660
979.02/979.46	c  978s |      16 |  6228709 |   188252 |    66556      4 |      769 |      660
981.52/981.97	c  981s |      16 |  6229283 |   188452 |    66556      4 |      769 |      660
984.02/984.41	c  983s |      16 |  6239652 |   188752 |    66556      4 |      769 |      660
986.62/987.04	c  986s |      16 |  6247757 |   189152 |    66556      4 |      769 |      660
988.92/989.32	c  988s |      16 |  6255404 |   189452 |    66556      4 |      769 |      660
991.02/991.43	c  990s |      16 |  6258636 |   189752 |    66556      4 |      769 |      660
993.42/993.80	c  993s |      16 |  6264049 |   190052 |    66556      4 |      769 |      660
995.92/996.39	c  995s |      16 |  6270863 |   190352 |    66556      4 |      769 |      660
998.42/998.89	c  998s |      16 |  6272799 |   190652 |    66556      4 |      769 |      660
1000.62/1001.02	c 1000s |      16 |  6281433 |   190952 |    66556      4 |      769 |      660
1002.82/1003.26	c 1002s |      16 |  6288793 |   191252 |    66556      4 |      769 |      660
1005.21/1005.65	c 1004s |      16 |  6294330 |   191652 |    66556      4 |      769 |      660
1007.32/1007.74	c 1006s |      16 |  6297141 |   192052 |    66556      4 |      769 |      660
1009.82/1010.21	c 1009s |      16 |  6301090 |   192452 |    66556      4 |      769 |      660
1012.32/1012.73	c 1011s |      16 |  6303058 |   192852 |    66556      4 |      769 |      660
1015.32/1015.74	c 1014s |      16 |  6304197 |   193152 |    66556      4 |      769 |      660
1018.23/1018.61	c 1017s |      16 |  6304866 |   193352 |    66556      4 |      769 |      660
1021.21/1021.60	c 1020s |      16 |  6305936 |   193652 |    66556      4 |      769 |      660
1024.01/1024.41	c 1023s |      16 |  6306762 |   193952 |    66556      4 |      769 |      660
1026.11/1026.52	c 1025s |      16 |  6309957 |   194252 |    66556      4 |      769 |      660
1028.22/1028.63	c 1027s |      16 |  6311570 |   194552 |    66556      4 |      769 |      660
1031.42/1031.88	c 1031s |      16 |  6312256 |   194752 |    66556      4 |      769 |      660
1033.91/1034.35	c 1033s |      16 |  6312576 |   194852 |    66556      4 |      769 |      660
1035.92/1036.38	c 1035s |      16 |  6313687 |   195152 |    66556      4 |      769 |      660
1038.22/1038.67	c 1037s |      16 |  6319719 |   195452 |    66556      4 |      769 |      660
1040.82/1041.24	c 1040s |      16 |  6328776 |   195852 |    66556      4 |      769 |      660
1043.12/1043.53	c 1042s |      16 |  6334586 |   196152 |    73212      4 |      769 |      660
1045.42/1045.88	c 1045s |      16 |  6337880 |   196452 |    73212      4 |      769 |      660
1048.12/1048.51	c 1047s |      16 |  6345293 |   196752 |    73212      4 |      769 |      660
1050.22/1050.63	c 1049s |      16 |  6350503 |   197052 |    73212      4 |      769 |      660
1052.32/1052.73	c 1051s |      16 |  6352705 |   197352 |    73212      4 |      769 |      660
1052.61/1053.07	c 1052s |      17 |  6353059 |   197432 |    73212      4 |      769 |      660
1054.91/1055.32	c 1054s |      17 |  6358013 |   197532 |    73212      4 |      769 |      660
1056.91/1057.34	c 1056s |      17 |  6362276 |   197932 |    73212      4 |      769 |      660
1059.41/1059.89	c 1059s |      17 |  6372863 |   198332 |    73212      4 |      769 |      660
1061.51/1061.94	c 1061s |      17 |  6378438 |   198732 |    73212      4 |      769 |      660
1063.91/1064.35	c 1063s |      17 |  6392599 |   199132 |    73212      4 |      769 |      660
1066.31/1066.73	c 1065s |      17 |  6406351 |   199432 |    73212      4 |      769 |      660
1068.71/1069.14	c 1068s |      17 |  6425237 |   199732 |    73212      4 |      769 |      660
1071.02/1071.45	c 1070s |      17 |  6436306 |   200132 |    73212      4 |      769 |      660
1075.01/1075.44	c 1074s |      17 |  6445703 |   200332 |    73212      5 |      769 |      660
1077.21/1077.65	c 1076s |      17 |  6463356 |   200732 |    73212      5 |      769 |      660
1079.31/1079.71	c 1078s |      17 |  6479906 |   201132 |    73212      5 |      769 |      660
1081.61/1082.03	c 1081s |      17 |  6501486 |   201532 |    73212      5 |      769 |      660
1083.91/1084.31	c 1083s |      17 |  6524512 |   202032 |    73212      5 |      769 |      660
1086.31/1086.75	c 1085s |      17 |  6540543 |   202432 |    73212      5 |      769 |      660
1088.61/1089.01	c 1088s |      17 |  6554260 |   202932 |    73212      5 |      769 |      660
1090.61/1091.06	c 1090s |      17 |  6557324 |   203332 |    73212      5 |      769 |      660
1092.61/1093.07	c 1092s |      17 |  6573112 |   203732 |    73212      5 |      769 |      660
1094.91/1095.36	c 1094s |      17 |  6587582 |   204132 |    73212      5 |      769 |      660
1097.21/1097.68	c 1096s |      17 |  6603288 |   204632 |    73212      5 |      769 |      660
1099.30/1099.76	c 1098s |      17 |  6614518 |   205132 |    73212      5 |      769 |      660
1101.81/1102.27	c 1101s |      17 |  6633610 |   205632 |    73212      5 |      769 |      660
1103.90/1104.30	c 1103s |      17 |  6652775 |   206032 |    73212      5 |      769 |      660
1105.90/1106.32	c 1105s |      17 |  6666763 |   206432 |    73212      5 |      769 |      660
1108.20/1108.64	c 1107s |      17 |  6685156 |   206832 |    73212      5 |      769 |      660
1110.90/1111.30	c 1110s |      17 |  6698539 |   207232 |    73212      5 |      769 |      660
1113.00/1113.44	c 1112s |      17 |  6714708 |   207632 |    73212      5 |      769 |      660
1115.50/1115.92	c 1115s |      17 |  6718452 |   208032 |    73212      5 |      769 |      660
1117.90/1118.34	c 1117s |      17 |  6736185 |   208532 |    73212      5 |      769 |      660
1120.10/1120.52	c 1119s |      17 |  6753110 |   208932 |    73212      5 |      769 |      660
1122.60/1123.05	c 1122s |      17 |  6770226 |   209432 |    73212      5 |      769 |      660
1124.80/1125.26	c 1124s |      17 |  6787616 |   209832 |    73212      5 |      769 |      660
1126.80/1127.29	c 1126s |      17 |  6788710 |   210132 |    73212      5 |      769 |      660
1129.10/1129.52	c 1128s |      17 |  6806950 |   210432 |    73212      5 |      769 |      660
1131.20/1131.63	c 1130s |      17 |  6820609 |   210832 |    73212      5 |      769 |      660
1133.30/1133.70	c 1132s |      17 |  6833247 |   211332 |    73212      5 |      769 |      660
1135.70/1136.18	c 1135s |      17 |  6850635 |   211732 |    73212      5 |      769 |      660
1138.11/1138.57	c 1137s |      17 |  6856111 |   212132 |    73212      5 |      769 |      660
1140.20/1140.60	c 1139s |      17 |  6859783 |   212532 |    73212      5 |      769 |      660
1142.51/1142.96	c 1142s |      17 |  6874757 |   212932 |    73212      5 |      769 |      660
1144.90/1145.37	c 1144s |      17 |  6894682 |   213332 |    73212      5 |      769 |      660
1147.10/1147.51	c 1146s |      17 |  6904551 |   213832 |    73212      5 |      769 |      660
1149.21/1149.69	c 1148s |      17 |  6918144 |   214232 |    73212      5 |      769 |      660
1151.41/1151.84	c 1151s |      17 |  6935336 |   214532 |    73212      5 |      769 |      660
1154.00/1154.41	c 1153s |      17 |  6954358 |   214932 |    73212      5 |      769 |      660
1156.20/1156.65	c 1155s |      17 |  6964177 |   215332 |    73212      5 |      769 |      660
1158.50/1158.92	c 1158s |      17 |  6977564 |   215732 |    73212      5 |      769 |      660
1160.90/1161.31	c 1160s |      17 |  6994629 |   216132 |    73212      5 |      769 |      660
1163.29/1163.70	c 1162s |      17 |  6997900 |   216432 |    73212      5 |      769 |      660
1165.60/1166.01	c 1165s |      17 |  7008372 |   216732 |    73212      5 |      769 |      660
1168.09/1168.55	c 1167s |      17 |  7027872 |   217132 |    73212      5 |      769 |      660
1170.69/1171.13	c 1170s |      17 |  7044363 |   217532 |    73212      5 |      769 |      660
1173.19/1173.62	c 1172s |      17 |  7058765 |   217932 |    73212      5 |      769 |      660
1175.50/1175.99	c 1175s |      17 |  7069027 |   218432 |    73212      5 |      769 |      660
1177.80/1178.28	c 1177s |      17 |  7083658 |   218832 |    73212      5 |      769 |      660
1179.79/1180.29	c 1179s |      17 |  7093911 |   219132 |    73212      5 |      769 |      660
1182.39/1182.84	c 1182s |      17 |  7111861 |   219632 |    73212      5 |      769 |      660
1184.49/1184.97	c 1184s |      17 |  7123302 |   220032 |    73212      5 |      769 |      660
1186.69/1187.13	c 1186s |      17 |  7134490 |   220332 |    73212      5 |      769 |      660
1189.09/1189.52	c 1188s |      17 |  7151051 |   220732 |    73212      5 |      769 |      660
1191.99/1192.41	c 1191s |      17 |  7169125 |   221232 |    73212      5 |      769 |      660
1194.29/1194.76	c 1193s |      17 |  7187578 |   221532 |    73212      5 |      769 |      660
1196.89/1197.32	c 1196s |      17 |  7202992 |   221932 |    73212      5 |      769 |      660
1199.48/1199.97	c 1199s |      17 |  7220799 |   222332 |    73212      5 |      769 |      660
1201.68/1202.15	c 1201s |      17 |  7225709 |   222732 |    73212      5 |      769 |      660
1204.09/1204.60	c 1203s |      17 |  7226702 |   223032 |    73212      5 |      769 |      660
1206.78/1207.26	c 1206s |      17 |  7227294 |   223232 |    73212      5 |      769 |      660
1210.09/1210.58	c 1209s |      17 |  7227821 |   223432 |    73212      5 |      769 |      660
1212.49/1212.91	c 1212s |      17 |  7235499 |   223632 |    73212      5 |      769 |      660
1214.69/1215.12	c 1214s |      17 |  7246945 |   223932 |    73212      5 |      769 |      660
1216.79/1217.28	c 1216s |      17 |  7253107 |   224232 |    73212      5 |      769 |      660
1219.29/1219.79	c 1219s |      17 |  7269065 |   224632 |    73212      5 |      769 |      660
1221.39/1221.82	c 1221s |      17 |  7284906 |   224932 |    73212      5 |      769 |      660
1224.49/1224.98	c 1224s |      17 |  7293828 |   225332 |    73212      5 |      770 |      661
1226.99/1227.48	c 1226s |      17 |  7310201 |   225732 |    73212      5 |      770 |      661
1229.09/1229.50	c 1228s |      17 |  7324635 |   226032 |    73212      5 |      770 |      661
1232.69/1233.16	c 1232s |      17 |  7340851 |   226432 |    73212      5 |      771 |      662
1235.49/1235.95	c 1235s |      17 |  7343537 |   226832 |    73212      5 |      771 |      662
1237.49/1237.99	c 1237s |      17 |  7360256 |   227132 |    73212      5 |      771 |      662
1239.59/1240.01	c 1239s |      17 |  7378579 |   227432 |    73212      5 |      771 |      662
1242.09/1242.56	c 1241s |      17 |  7381855 |   227732 |    73212      5 |      771 |      662
1244.28/1244.78	c 1244s |      17 |  7396925 |   228132 |    73212      5 |      771 |      662
1246.68/1247.15	c 1246s |      17 |  7406551 |   228532 |    73212      5 |      771 |      662
1248.98/1249.46	c 1248s |      17 |  7425264 |   228832 |    73212      5 |      771 |      662
1250.98/1251.48	c 1250s |      17 |  7435370 |   229232 |    73212      5 |      771 |      662
1253.38/1253.85	c 1253s |      17 |  7446612 |   229732 |    73212      5 |      771 |      662
1255.48/1255.99	c 1255s |      17 |  7460127 |   230032 |    73212      5 |      771 |      662
1257.88/1258.40	c 1257s |      17 |  7474806 |   230432 |    73212      5 |      771 |      662
1260.48/1260.93	c 1260s |      17 |  7493618 |   230732 |    73212      5 |      771 |      662
1262.78/1263.23	c 1262s |      17 |  7508349 |   231132 |    73212      5 |      771 |      662
1264.98/1265.43	c 1264s |      17 |  7518166 |   231432 |    73212      5 |      771 |      662
1267.58/1268.05	c 1267s |      17 |  7519719 |   231832 |    73212      5 |      771 |      662
1269.98/1270.45	c 1269s |      17 |  7533431 |   232232 |    73212      5 |      771 |      662
1272.08/1272.54	c 1271s |      17 |  7549117 |   232532 |    73212      5 |      771 |      662
1274.68/1275.10	c 1274s |      17 |  7556124 |   232832 |    73212      5 |      771 |      662
1277.18/1277.63	c 1276s |      17 |  7577253 |   233232 |    73212      5 |      771 |      662
1279.28/1279.71	c 1278s |      17 |  7593911 |   233532 |    73212      5 |      771 |      662
1281.38/1281.81	c 1281s |      17 |  7598075 |   233932 |    73212      5 |      771 |      662
1283.97/1284.41	c 1283s |      17 |  7616760 |   234332 |    73212      5 |      771 |      662
1286.77/1287.30	c 1286s |      17 |  7642716 |   234732 |    73212      5 |      771 |      662
1288.88/1289.33	c 1288s |      17 |  7649374 |   234832 |    73212      5 |      772 |      663
1290.87/1291.38	c 1290s |      17 |  7665703 |   235132 |    73212      5 |      772 |      663
1293.37/1293.86	c 1293s |      17 |  7682236 |   235532 |    73212      5 |      772 |      663
1295.97/1296.42	c 1295s |      17 |  7692915 |   235932 |    73212      5 |      772 |      663
1298.27/1298.75	c 1297s |      17 |  7702900 |   236432 |    73212      5 |      772 |      663
1300.37/1300.89	c 1300s |      17 |  7706355 |   236832 |    73212      5 |      772 |      663
1302.77/1303.28	c 1302s |      17 |  7717428 |   237232 |    73212      5 |      772 |      663
1305.28/1305.76	c 1304s |      17 |  7737725 |   237632 |    73212      5 |      772 |      663
1307.37/1307.83	c 1307s |      17 |  7745754 |   237932 |    73212      5 |      772 |      663
1309.37/1309.86	c 1309s |      17 |  7755950 |   238332 |    73212      5 |      772 |      663
1311.77/1312.27	c 1311s |      17 |  7767316 |   238732 |    73212      5 |      772 |      663
1314.47/1314.99	c 1314s |      17 |  7782363 |   239132 |    73212      5 |      772 |      663
1319.07/1319.51	c 1318s |      17 |  7795223 |   239432 |    73212      6 |      772 |      663
1321.47/1321.94	c 1321s |      17 |  7810881 |   239832 |    73212      6 |      772 |      663
1323.67/1324.15	c 1323s |      17 |  7811713 |   240132 |    73212      6 |      772 |      663
1325.97/1326.42	c 1325s |      17 |  7812621 |   240432 |    73212      6 |      772 |      663
1329.47/1329.95	c 1329s |      17 |  7813293 |   240732 |    73212      6 |      772 |      663
1331.67/1332.14	c 1331s |      17 |  7824890 |   241232 |    73212      6 |      772 |      663
1333.67/1334.19	c 1333s |      17 |  7830313 |   241632 |    73212      6 |      772 |      663
1335.77/1336.21	c 1335s |      17 |  7845819 |   242032 |    73212      6 |      772 |      663
1338.28/1338.71	c 1337s |      17 |  7866099 |   242532 |    73212      6 |      772 |      663
1340.77/1341.22	c 1340s |      17 |  7883934 |   243032 |    73212      6 |      772 |      663
1343.07/1343.56	c 1342s |      17 |  7901815 |   243532 |    73212      6 |      772 |      663
1345.27/1345.78	c 1345s |      17 |  7907280 |   244032 |    73212      6 |      772 |      663
1347.47/1347.96	c 1347s |      17 |  7921961 |   244432 |    73212      6 |      772 |      663
1349.87/1350.31	c 1349s |      17 |  7940152 |   244832 |    73212      6 |      772 |      663
1352.07/1352.50	c 1351s |      17 |  7956284 |   245232 |    73212      6 |      772 |      663
1354.57/1355.00	c 1354s |      17 |  7972413 |   245632 |    73212      6 |      772 |      663
1356.67/1357.12	c 1356s |      17 |  7984912 |   246032 |    73212      6 |      772 |      663
1359.27/1359.79	c 1359s |      17 |  8005010 |   246532 |    73212      6 |      772 |      663
1361.47/1361.98	c 1361s |      17 |  8024400 |   246932 |    73212      6 |      772 |      663
1363.67/1364.15	c 1363s |      17 |  8041608 |   247332 |    73212      6 |      772 |      663
1365.87/1366.37	c 1365s |      17 |  8062510 |   247732 |    73212      6 |      772 |      663
1368.27/1368.75	c 1367s |      17 |  8077394 |   248132 |    73212      6 |      772 |      663
1370.36/1370.90	c 1370s |      17 |  8094245 |   248532 |    73212      6 |      772 |      663
1372.47/1372.91	c 1372s |      17 |  8106541 |   248832 |    73212      6 |      772 |      663
1375.26/1375.70	c 1374s |      17 |  8124639 |   249232 |    73212      6 |      773 |      664
1377.66/1378.13	c 1377s |      17 |  8142665 |   249632 |    73212      6 |      773 |      664
1380.26/1380.77	c 1380s |      17 |  8159074 |   250032 |    73212      6 |      773 |      664
1382.46/1382.99	c 1382s |      17 |  8172356 |   250432 |    73212      6 |      773 |      664
1384.66/1385.16	c 1384s |      17 |  8186982 |   250832 |    73212      6 |      773 |      664
1386.96/1387.43	c 1386s |      17 |  8198706 |   251432 |    73212      6 |      773 |      664
1389.06/1389.54	c 1388s |      17 |  8209518 |   251932 |    73212      6 |      773 |      664
1391.07/1391.55	c 1390s |      17 |  8226512 |   252332 |    73212      6 |      773 |      664
1393.06/1393.58	c 1392s |      17 |  8238218 |   252732 |    73212      6 |      773 |      664
1395.26/1395.73	c 1394s |      17 |  8257544 |   253032 |    73212      6 |      773 |      664
1397.46/1398.00	c 1397s |      17 |  8271546 |   253532 |    73212      6 |      773 |      664
1399.97/1400.45	c 1399s |      17 |  8286448 |   253932 |    73212      6 |      773 |      664
1402.07/1402.51	c 1401s |      17 |  8293407 |   254232 |    73212      6 |      773 |      664
1404.76/1405.23	c 1404s |      17 |  8310048 |   254632 |    73212      6 |      773 |      664
1407.57/1408.02	c 1407s |      17 |  8332454 |   255132 |    73212      6 |      773 |      664
1409.56/1410.09	c 1409s |      17 |  8351896 |   255432 |    73212      6 |      773 |      664
1411.76/1412.21	c 1411s |      17 |  8363194 |   255732 |    73212      6 |      773 |      664
1413.76/1414.24	c 1413s |      17 |  8376737 |   256032 |    73212      6 |      773 |      664
1415.96/1416.48	c 1415s |      17 |  8395939 |   256432 |    73212      6 |      773 |      664
1417.96/1418.49	c 1417s |      17 |  8406535 |   256832 |    73212      6 |      773 |      664
1420.45/1420.91	c 1420s |      17 |  8412954 |   257332 |    73212      6 |      773 |      664
1422.55/1423.07	c 1422s |      17 |  8415786 |   257632 |    73212      6 |      773 |      664
1424.65/1425.15	c 1424s |      17 |  8428497 |   258032 |    73212      6 |      773 |      664
1426.96/1427.43	c 1426s |      17 |  8437808 |   258432 |    73212      6 |      773 |      664
1428.95/1429.45	c 1428s |      17 |  8440255 |   258632 |    73212      6 |      773 |      664
1430.95/1431.49	c 1430s |      17 |  8446095 |   258932 |    73212      6 |      773 |      664
1433.36/1433.84	c 1433s |      17 |  8448244 |   259332 |    73212      6 |      773 |      664
1435.86/1436.31	c 1435s |      17 |  8450409 |   259732 |    73212      6 |      773 |      664
1438.06/1438.50	c 1437s |      17 |  8458808 |   260032 |    73212      6 |      773 |      664
1440.56/1441.07	c 1440s |      17 |  8471406 |   260532 |    73212      6 |      773 |      664
1443.15/1443.68	c 1442s |      17 |  8494902 |   260932 |    73212      6 |      773 |      664
1445.45/1445.99	c 1445s |      17 |  8507405 |   261332 |    73212      6 |      773 |      664
1448.45/1448.92	c 1448s |      17 |  8524801 |   261732 |    73212      6 |      773 |      664
1450.56/1451.09	c 1450s |      17 |  8540534 |   262032 |    73212      6 |      773 |      664
1452.85/1453.35	c 1452s |      17 |  8548264 |   262432 |    73212      6 |      773 |      664
1455.25/1455.71	c 1454s |      17 |  8550425 |   262732 |    73212      6 |      773 |      664
1457.55/1458.09	c 1457s |      17 |  8566399 |   263032 |    73212      6 |      773 |      664
1459.95/1460.47	c 1459s |      17 |  8586046 |   263332 |    73212      6 |      773 |      664
1462.55/1463.08	c 1462s |      17 |  8601735 |   263732 |    73212      6 |      773 |      664
1464.95/1465.45	c 1464s |      17 |  8622526 |   264032 |    73212      6 |      773 |      664
1466.95/1467.45	c 1466s |      17 |  8635250 |   264332 |    73212      6 |      773 |      664
1468.94/1469.48	c 1468s |      17 |  8650564 |   264632 |    73212      6 |      773 |      664
1471.54/1472.07	c 1471s |      17 |  8668193 |   265032 |    73212      6 |      773 |      664
1473.84/1474.34	c 1473s |      17 |  8678077 |   265432 |    73212      6 |      773 |      664
1476.54/1477.01	c 1476s |      17 |  8682185 |   265832 |    73212      6 |      773 |      664
1479.35/1479.82	c 1479s |      17 |  8688895 |   266132 |    73212      6 |      773 |      664
1481.95/1482.44	c 1481s |      17 |  8689308 |   266232 |    73212      6 |      773 |      664
1484.25/1484.74	c 1483s |      17 |  8702421 |   266532 |    73212      6 |      773 |      664
1486.76/1487.28	c 1486s |      17 |  8713745 |   266932 |    73212      6 |      773 |      664
1489.06/1489.51	c 1488s |      17 |  8725646 |   267232 |    73212      6 |      773 |      664
1491.05/1491.58	c 1490s |      17 |  8730291 |   267532 |    73212      6 |      773 |      664
1493.25/1493.70	c 1492s |      17 |  8733631 |   267832 |    73212      6 |      773 |      664
1495.55/1496.02	c 1495s |      17 |  8746494 |   268232 |    73212      6 |      773 |      664
1497.75/1498.30	c 1497s |      17 |  8755655 |   268732 |    73212      6 |      773 |      664
1500.34/1500.82	c 1500s |      17 |  8767422 |   268932 |    73212      6 |      774 |      665
1502.64/1503.10	c 1502s |      17 |  8783659 |   269232 |    73212      6 |      774 |      665
1505.45/1505.91	c 1505s |      17 |  8803345 |   269632 |    73212      6 |      774 |      665
1507.84/1508.31	c 1507s |      17 |  8814433 |   270032 |    73212      6 |      774 |      665
1510.14/1510.64	c 1509s |      17 |  8818177 |   270432 |    73212      6 |      774 |      665
1512.34/1512.84	c 1512s |      17 |  8834478 |   270732 |    73212      6 |      774 |      665
1514.74/1515.23	c 1514s |      17 |  8845249 |   271032 |    73212      6 |      774 |      665
1516.74/1517.28	c 1516s |      17 |  8856450 |   271332 |    73212      6 |      774 |      665
1519.14/1519.60	c 1518s |      17 |  8863993 |   271632 |    73212      6 |      774 |      665
1521.95/1522.43	c 1521s |      17 |  8879042 |   272132 |    73212      6 |      774 |      665
1524.84/1525.30	c 1524s |      17 |  8895102 |   272632 |    73212      6 |      774 |      665
1526.94/1527.42	c 1526s |      17 |  8904368 |   273032 |    73212      6 |      774 |      665
1530.04/1530.55	c 1529s |      17 |  8918940 |   273332 |    73212      6 |      775 |      666
1532.54/1533.03	c 1532s |      17 |  8934240 |   273732 |    73212      6 |      775 |      666
1534.64/1535.10	c 1534s |      17 |  8945212 |   274032 |    73212      6 |      775 |      666
1536.74/1537.23	c 1536s |      17 |  8950987 |   274332 |    73212      6 |      775 |      666
1538.94/1539.50	c 1538s |      17 |  8967147 |   274632 |    73212      6 |      775 |      666
1541.74/1542.22	c 1541s |      17 |  8984019 |   275032 |    73212      6 |      775 |      666
1544.13/1544.65	c 1543s |      17 |  8996596 |   275332 |    73212      6 |      775 |      666
1546.73/1547.21	c 1546s |      17 |  9007428 |   275732 |    73212      6 |      775 |      666
1549.33/1549.81	c 1549s |      17 |  9012674 |   275832 |    73212      7 |      775 |      666
1551.54/1552.04	c 1551s |      17 |  9022051 |   276232 |    73212      7 |      775 |      666
1553.74/1554.27	c 1553s |      17 |  9036312 |   276732 |    73212      7 |      775 |      666
1555.84/1556.34	c 1555s |      17 |  9051317 |   277132 |    73212      7 |      775 |      666
1558.34/1558.89	c 1558s |      17 |  9073969 |   277532 |    73212      7 |      775 |      666
1560.63/1561.16	c 1560s |      17 |  9089335 |   278032 |    73212      7 |      775 |      666
1562.83/1563.37	c 1562s |      17 |  9100127 |   278532 |    73212      7 |      775 |      666
1564.85/1565.40	c 1564s |      17 |  9106019 |   278932 |    73212      7 |      775 |      666
1567.24/1567.76	c 1566s |      17 |  9122661 |   279332 |    73212      7 |      775 |      666
1569.34/1569.86	c 1569s |      17 |  9139455 |   279732 |    73212      7 |      775 |      666
1571.64/1572.16	c 1571s |      17 |  9147331 |   280132 |    73212      7 |      775 |      666
1574.43/1574.98	c 1574s |      17 |  9151054 |   280532 |    73212      7 |      775 |      666
1576.83/1577.33	c 1576s |      17 |  9166735 |   280932 |    73212      7 |      775 |      666
1578.93/1579.45	c 1578s |      17 |  9174123 |   281432 |    73212      7 |      775 |      666
1581.03/1581.53	c 1580s |      17 |  9187169 |   281832 |    73212      7 |      775 |      666
1583.64/1584.13	c 1583s |      17 |  9210195 |   282232 |    73212      7 |      775 |      666
1585.93/1586.49	c 1585s |      17 |  9231410 |   282632 |    73212      7 |      775 |      666
1588.43/1588.95	c 1588s |      17 |  9245885 |   283132 |    73212      7 |      775 |      666
1590.83/1591.32	c 1590s |      17 |  9266703 |   283532 |    73212      7 |      775 |      666
1593.13/1593.61	c 1592s |      17 |  9273346 |   283932 |    73212      7 |      775 |      666
1595.23/1595.72	c 1594s |      17 |  9286816 |   284432 |    73212      7 |      775 |      666
1597.63/1598.15	c 1597s |      17 |  9295707 |   284832 |    73212      7 |      775 |      666
1599.93/1600.49	c 1599s |      17 |  9318202 |   285232 |    73212      7 |      775 |      666
1602.12/1602.65	c 1601s |      17 |  9336266 |   285632 |    73212      7 |      775 |      666
1604.63/1605.18	c 1604s |      17 |  9353908 |   286032 |    73212      7 |      775 |      666
1607.32/1607.81	c 1607s |      17 |  9374531 |   286532 |    73212      7 |      775 |      666
1609.52/1610.01	c 1609s |      17 |  9386247 |   286932 |    73212      7 |      775 |      666
1611.92/1612.48	c 1611s |      17 |  9400030 |   287432 |    73212      7 |      775 |      666
1614.53/1615.06	c 1614s |      17 |  9419332 |   287932 |    73212      7 |      775 |      666
1616.93/1617.48	c 1616s |      17 |  9438712 |   288332 |    73212      7 |      775 |      666
1619.23/1619.74	c 1618s |      17 |  9456444 |   288632 |    73212      7 |      775 |      666
1621.33/1621.83	c 1621s |      17 |  9463858 |   289032 |    73212      7 |      775 |      666
1624.03/1624.54	c 1623s |      17 |  9473987 |   289532 |    73212      7 |      775 |      666
1626.54/1627.06	c 1626s |      17 |  9493320 |   289932 |    73212      7 |      775 |      666
1629.03/1629.59	c 1628s |      17 |  9508031 |   290332 |    73212      7 |      775 |      666
1631.53/1632.02	c 1631s |      17 |  9523164 |   290732 |    73212      7 |      775 |      666
1633.73/1634.22	c 1633s |      17 |  9535990 |   291132 |    73212      7 |      775 |      666
1635.93/1636.46	c 1635s |      17 |  9537273 |   291432 |    73212      7 |      775 |      666
1638.43/1638.90	c 1638s |      17 |  9556502 |   291832 |    73212      7 |      775 |      666
1640.73/1641.27	c 1640s |      17 |  9570273 |   292232 |    73212      7 |      775 |      666
1643.13/1643.66	c 1642s |      17 |  9586854 |   292632 |    73212      7 |      775 |      666
1645.52/1646.08	c 1645s |      17 |  9604875 |   293032 |    73212      7 |      775 |      666
1647.72/1648.23	c 1647s |      17 |  9612107 |   293432 |    73212      7 |      775 |      666
1649.92/1650.50	c 1649s |      17 |  9621508 |   293832 |    73212      7 |      775 |      666
1652.32/1652.83	c 1652s |      17 |  9629498 |   294332 |    80534      7 |      775 |      666
1654.72/1655.21	c 1654s |      17 |  9643518 |   294732 |    80534      7 |      775 |      666
1657.12/1657.68	c 1656s |      17 |  9660141 |   295032 |    80534      7 |      775 |      666
1659.53/1660.07	c 1659s |      17 |  9669788 |   295532 |    80534      7 |      775 |      666
1661.63/1662.13	c 1661s |      17 |  9681599 |   295932 |    80534      7 |      775 |      666
1663.42/1663.95	c 1663s |      18 |  9691090 |   296252 |    80534      7 |      775 |      666
1665.82/1666.39	c 1665s |      18 |  9700542 |   296552 |    80534      7 |      775 |      666
1668.02/1668.54	c 1667s |      18 |  9712761 |   296852 |    80534      7 |      775 |      666
1670.02/1670.57	c 1669s |      18 |  9727296 |   297152 |    80534      7 |      775 |      666
1672.21/1672.77	c 1671s |      18 |  9738638 |   297552 |    80534      7 |      775 |      666
1674.61/1675.17	c 1674s |      18 |  9752533 |   297952 |    80534      7 |      775 |      666
1676.91/1677.45	c 1676s |      18 |  9766977 |   298352 |    80534      7 |      775 |      666
1679.51/1680.06	c 1679s |      18 |  9777048 |   298752 |    80534      7 |      775 |      666
1681.81/1682.31	c 1681s |      18 |  9790245 |   299052 |    80534      7 |      775 |      666
1684.11/1684.66	c 1683s |      18 |  9804327 |   299352 |    80534      7 |      775 |      666
1686.21/1686.75	c 1685s |      18 |  9817939 |   299752 |    80534      7 |      775 |      666
1688.51/1689.07	c 1688s |      18 |  9832824 |   300152 |    80534      7 |      775 |      666
1691.21/1691.72	c 1690s |      18 |  9847924 |   300652 |    80534      7 |      775 |      666
1694.11/1694.66	c 1693s |      18 |  9866872 |   301052 |    80534      7 |      775 |      666
1696.31/1696.88	c 1696s |      18 |  9880859 |   301452 |    80534      7 |      775 |      666
1698.51/1699.03	c 1698s |      18 |  9890351 |   301852 |    80534      7 |      775 |      666
1700.91/1701.44	c 1700s |      18 |  9905119 |   302152 |    80534      7 |      775 |      666
1703.21/1703.76	c 1702s |      18 |  9916446 |   302552 |    80534      7 |      775 |      666
1705.62/1706.15	c 1705s |      18 |  9930797 |   302952 |    80534      7 |      775 |      666
1707.92/1708.41	c 1707s |      18 |  9944514 |   303452 |    80534      7 |      775 |      666
1710.01/1710.57	c 1709s |      18 |  9955846 |   303752 |    80534      7 |      775 |      666
1712.31/1712.82	c 1712s |      18 |  9973594 |   304052 |    80534      7 |      775 |      666
1714.51/1715.03	c 1714s |      18 |  9985128 |   304452 |    80534      7 |      775 |      666
1716.62/1717.13	c 1716s |      18 |  9995304 |   304852 |    80534      7 |      775 |      666
1719.02/1719.51	c 1718s |      18 | 10008778 |   305352 |    80534      7 |      775 |      666
1721.61/1722.16	c 1721s |      18 | 10024957 |   305752 |    80534      7 |      775 |      666
1723.91/1724.45	c 1723s |      18 | 10035201 |   306152 |    80534      7 |      775 |      666
1726.41/1726.95	c 1726s |      18 | 10053595 |   306452 |    80534      7 |      775 |      666
1728.51/1729.01	c 1728s |      18 | 10067049 |   306752 |    80534      7 |      775 |      666
1730.61/1731.12	c 1730s |      18 | 10081326 |   307052 |    80534      7 |      775 |      666
1733.12/1733.64	c 1732s |      18 | 10094551 |   307452 |    80534      7 |      775 |      666
1735.21/1735.79	c 1735s |      18 | 10103047 |   307852 |    80534      7 |      775 |      666
1737.61/1738.14	c 1737s |      18 | 10113561 |   308252 |    80534      7 |      775 |      666
1739.60/1740.16	c 1739s |      18 | 10122271 |   308552 |    80534      7 |      775 |      666
1741.92/1742.50	c 1741s |      18 | 10127379 |   308952 |    80534      7 |      775 |      666
1744.12/1744.66	c 1743s |      18 | 10137783 |   309252 |    80534      7 |      775 |      666
1746.31/1746.80	c 1746s |      18 | 10146282 |   309552 |    80534      7 |      775 |      666
1748.70/1749.22	c 1748s |      18 | 10158586 |   309952 |    80534      7 |      775 |      666
1751.10/1751.60	c 1750s |      18 | 10174613 |   310252 |    80534      7 |      775 |      666
1753.40/1753.91	c 1753s |      18 | 10185145 |   310452 |    80534      7 |      776 |      667
1755.50/1756.05	c 1755s |      18 | 10200350 |   310752 |    80534      7 |      776 |      667
1757.70/1758.29	c 1757s |      18 | 10203085 |   311252 |    80534      7 |      776 |      667
1760.10/1760.60	c 1759s |      18 | 10214449 |   311652 |    80534      7 |      776 |      667
1762.10/1762.69	c 1761s |      18 | 10227871 |   311952 |    80534      7 |      776 |      667
1764.90/1765.42	c 1764s |      18 | 10234889 |   312452 |    80534      7 |      776 |      667
1767.10/1767.64	c 1766s |      18 | 10248503 |   312852 |    80534      7 |      776 |      667
1770.00/1770.54	c 1769s |      18 | 10268023 |   313252 |    80534      7 |      776 |      667
1772.30/1772.80	c 1772s |      18 | 10277526 |   313552 |    80534      7 |      776 |      667
1774.30/1774.89	c 1774s |      18 | 10289759 |   313852 |    80534      7 |      776 |      667
1776.70/1777.25	c 1776s |      18 | 10301912 |   314152 |    80534      7 |      776 |      667
1778.90/1779.41	c 1778s |      18 | 10312668 |   314452 |    80534      7 |      776 |      667
1781.40/1782.00	c 1781s |      18 | 10324017 |   314852 |    80534      7 |      776 |      667
1783.90/1784.47	c 1783s |      18 | 10331849 |   315252 |    80534      7 |      776 |      667
1786.20/1786.78	c 1786s |      18 | 10344503 |   315552 |    80534      7 |      776 |      667
1788.30/1788.84	c 1788s |      18 | 10356430 |   315952 |    80534      7 |      776 |      667
1790.79/1791.32	c 1790s |      18 | 10370502 |   316252 |    80534      7 |      776 |      667
1793.00/1793.53	c 1792s |      18 | 10380937 |   316552 |    80534      7 |      776 |      667
1795.19/1795.76	c 1794s |      18 | 10393767 |   316852 |    80534      7 |      776 |      667
1797.59/1798.13	c 1797s |      18 | 10410440 |   317152 |    80534      7 |      776 |      667

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

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

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


[startup+0 s]
/proc/loadavg: 2.10 2.04 2.01 3/179 16884
/proc/meminfo: memFree=30590828/32872528 swapFree=11196/354588
[pid=16884] ppid=16881 vsize=744892 CPUtime=0 cores=1,3,5,7
/proc/16884/stat : 16884 (toysat) R 16881 16884 12837 0 -1 4202496 2781 0 0 0 0 0 0 0 20 0 4 0 110513077 762769408 3653 33554432000 4194304 16246674 140734612292384 140734612291808 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16884/statm: 186735 3661 441 2943 0 183629 0
[pid=16884/tid=16885] ppid=16881 vsize=762300 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16885/stat : 16885 (toysat) S 16881 16884 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110513077 780595200 3720 33554432000 4194304 16246674 140734612292384 140261302709488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16884/tid=16886] ppid=16881 vsize=766396 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16886/stat : 16886 (toysat) S 16881 16884 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110513077 784789504 3737 33554432000 4194304 16246674 140734612292384 140261216726256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16884/tid=16887] ppid=16881 vsize=770492 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16887/stat : 16887 (toysat) S 16881 16884 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110513077 788983808 3753 33554432000 4194304 16246674 140734612292384 140261206252720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100211 s]
/proc/loadavg: 2.10 2.04 2.01 3/179 16884
/proc/meminfo: memFree=30590828/32872528 swapFree=11196/354588
[pid=16884] ppid=16881 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/16884/stat : 16884 (toysat) R 16881 16884 12837 0 -1 4202496 28969 0 0 0 6 3 0 0 20 0 4 0 110513077 1333334016 29780 33554432000 4194304 16246674 140734612292384 140734612291696 7364033 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16884/statm: 325521 29796 801 2943 0 322415 0
[pid=16884/tid=16885] ppid=16881 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16885/stat : 16885 (toysat) S 16881 16884 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110513077 1333334016 29807 33554432000 4194304 16246674 140734612292384 140261302709488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16884/tid=16886] ppid=16881 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16886/stat : 16886 (toysat) S 16881 16884 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110513077 1333334016 29817 33554432000 4194304 16246674 140734612292384 140261216726256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16884/tid=16887] ppid=16881 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16887/stat : 16887 (toysat) S 16881 16884 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110513077 1333334016 29828 33554432000 4194304 16246674 140734612292384 140261206252720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200575 s]
/proc/loadavg: 2.10 2.04 2.01 3/179 16884
/proc/meminfo: memFree=30590828/32872528 swapFree=11196/354588
[pid=16884] ppid=16881 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/16884/stat : 16884 (toysat) R 16881 16884 12837 0 -1 4202496 46951 0 0 0 13 6 0 0 20 0 4 0 110513077 1344868352 48272 33554432000 4194304 16246674 140734612292384 140734612291696 7372092 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16884/statm: 328337 48272 801 2943 0 325231 0
[pid=16884/tid=16885] ppid=16881 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16885/stat : 16885 (toysat) S 16881 16884 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110513077 1344868352 48272 33554432000 4194304 16246674 140734612292384 140261302709488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16884/tid=16886] ppid=16881 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16886/stat : 16886 (toysat) S 16881 16884 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110513077 1344868352 48272 33554432000 4194304 16246674 140734612292384 140261216726256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16884/tid=16887] ppid=16881 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16887/stat : 16887 (toysat) S 16881 16884 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110513077 1344868352 48272 33554432000 4194304 16246674 140734612292384 140261206252720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300517 s]
/proc/loadavg: 2.10 2.04 2.01 3/179 16884
/proc/meminfo: memFree=30590828/32872528 swapFree=11196/354588
[pid=16884] ppid=16881 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/16884/stat : 16884 (toysat) R 16881 16884 12837 0 -1 4202496 59550 0 0 0 20 9 0 0 20 0 4 0 110513077 1344868352 60871 33554432000 4194304 16246674 140734612292384 140734612291696 7392208 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16884/statm: 328337 60871 801 2943 0 325231 0
[pid=16884/tid=16885] ppid=16881 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16885/stat : 16885 (toysat) S 16881 16884 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110513077 1344868352 60871 33554432000 4194304 16246674 140734612292384 140261302709488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16884/tid=16886] ppid=16881 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16886/stat : 16886 (toysat) S 16881 16884 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110513077 1344868352 60871 33554432000 4194304 16246674 140734612292384 140261216726256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16884/tid=16887] ppid=16881 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16887/stat : 16887 (toysat) S 16881 16884 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110513077 1344868352 60871 33554432000 4194304 16246674 140734612292384 140261206252720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700427 s]
/proc/loadavg: 2.10 2.04 2.01 3/179 16884
/proc/meminfo: memFree=30590828/32872528 swapFree=11196/354588
[pid=16884] ppid=16881 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/16884/stat : 16884 (toysat) R 16881 16884 12837 0 -1 4202496 110840 0 0 0 53 16 0 0 20 0 4 0 110513077 1344868352 112161 33554432000 4194304 16246674 140734612292384 140734612291696 7202813 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16884/statm: 328337 112174 836 2943 0 325231 0
[pid=16884/tid=16885] ppid=16881 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16885/stat : 16885 (toysat) S 16881 16884 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110513077 1344868352 112180 33554432000 4194304 16246674 140734612292384 140261302709488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16884/tid=16886] ppid=16881 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16886/stat : 16886 (toysat) S 16881 16884 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110513077 1344868352 112190 33554432000 4194304 16246674 140734612292384 140261216726256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16884/tid=16887] ppid=16881 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16887/stat : 16887 (toysat) S 16881 16884 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110513077 1344868352 112203 33554432000 4194304 16246674 140734612292384 140261206252720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50044 s]
/proc/loadavg: 2.10 2.04 2.01 3/183 16888
/proc/meminfo: memFree=29946252/32872528 swapFree=11196/354588
[pid=16884] ppid=16881 vsize=1321540 CPUtime=1.49 cores=1,3,5,7
/proc/16884/stat : 16884 (toysat) R 16881 16884 12837 0 -1 4202496 160160 0 0 0 127 22 0 0 20 0 4 0 110513077 1353256960 161481 33554432000 4194304 16246674 140734612292384 140734612291480 5661428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16884/statm: 330385 161481 881 2943 0 327279 0
[pid=16884/tid=16885] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16885/stat : 16885 (toysat) S 16881 16884 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 161481 33554432000 4194304 16246674 140734612292384 140261302709488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16884/tid=16886] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16886/stat : 16886 (toysat) S 16881 16884 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 161481 33554432000 4194304 16246674 140734612292384 140261216726256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16884/tid=16887] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16887/stat : 16887 (toysat) S 16881 16884 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 161481 33554432000 4194304 16246674 140734612292384 140261206252720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1321540

[startup+3.10044 s]
/proc/loadavg: 2.10 2.04 2.01 3/183 16888
/proc/meminfo: memFree=29945136/32872528 swapFree=11196/354588
[pid=16884] ppid=16881 vsize=1321540 CPUtime=3.09 cores=1,3,5,7
/proc/16884/stat : 16884 (toysat) R 16881 16884 12837 0 -1 4202496 196375 0 0 0 281 28 0 0 20 0 4 0 110513077 1353256960 197696 33554432000 4194304 16246674 140734612292384 140734612274304 5722052 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16884/statm: 330385 197696 885 2943 0 327279 0
[pid=16884/tid=16885] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16885/stat : 16885 (toysat) S 16881 16884 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 197696 33554432000 4194304 16246674 140734612292384 140261302709488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16884/tid=16886] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16886/stat : 16886 (toysat) S 16881 16884 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 197696 33554432000 4194304 16246674 140734612292384 140261216726256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16884/tid=16887] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16887/stat : 16887 (toysat) S 16881 16884 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 197696 33554432000 4194304 16246674 140734612292384 140261206252720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1321540

[startup+6.30044 s]
/proc/loadavg: 2.41 2.11 2.03 3/184 16891
/proc/meminfo: memFree=29538744/32872528 swapFree=11196/354588
[pid=16884] ppid=16881 vsize=1321540 CPUtime=6.29 cores=1,3,5,7
/proc/16884/stat : 16884 (toysat) R 16881 16884 12837 0 -1 4202496 261858 0 0 0 594 35 0 0 20 0 4 0 110513077 1353256960 263179 33554432000 4194304 16246674 140734612292384 140734612274304 5822687 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16884/statm: 330385 263179 885 2943 0 327279 0
[pid=16884/tid=16885] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16885/stat : 16885 (toysat) S 16881 16884 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 263179 33554432000 4194304 16246674 140734612292384 140261302709488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16884/tid=16886] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16886/stat : 16886 (toysat) S 16881 16884 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 263179 33554432000 4194304 16246674 140734612292384 140261216726256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16884/tid=16887] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16887/stat : 16887 (toysat) S 16881 16884 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 263179 33554432000 4194304 16246674 140734612292384 140261206252720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1321540

[startup+12.7004 s]
/proc/loadavg: 2.37 2.11 2.03 3/184 16891
/proc/meminfo: memFree=29502300/32872528 swapFree=11196/354588
[pid=16884] ppid=16881 vsize=1321540 CPUtime=12.69 cores=1,3,5,7
/proc/16884/stat : 16884 (toysat) R 16881 16884 12837 0 -1 4202496 271055 0 0 0 1232 37 0 0 20 0 4 0 110513077 1353256960 272376 33554432000 4194304 16246674 140734612292384 140734612274304 5829044 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16884/statm: 330385 272376 885 2943 0 327279 0
[pid=16884/tid=16885] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16885/stat : 16885 (toysat) S 16881 16884 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272376 33554432000 4194304 16246674 140734612292384 140261302709488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16884/tid=16886] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16886/stat : 16886 (toysat) S 16881 16884 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272376 33554432000 4194304 16246674 140734612292384 140261216726256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16884/tid=16887] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16887/stat : 16887 (toysat) S 16881 16884 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272376 33554432000 4194304 16246674 140734612292384 140261206252720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1321540

[startup+25.5005 s]
/proc/loadavg: 2.29 2.10 2.03 3/184 16891
/proc/meminfo: memFree=29502836/32872528 swapFree=11196/354588
[pid=16884] ppid=16881 vsize=1321540 CPUtime=25.49 cores=1,3,5,7
/proc/16884/stat : 16884 (toysat) R 16881 16884 12837 0 -1 4202496 271055 0 0 0 2512 37 0 0 20 0 4 0 110513077 1353256960 272376 33554432000 4194304 16246674 140734612292384 140734612274304 5667488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16884/statm: 330385 272376 885 2943 0 327279 0
[pid=16884/tid=16885] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16885/stat : 16885 (toysat) S 16881 16884 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272376 33554432000 4194304 16246674 140734612292384 140261302709488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16884/tid=16886] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16886/stat : 16886 (toysat) S 16881 16884 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272376 33554432000 4194304 16246674 140734612292384 140261216726256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16884/tid=16887] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16887/stat : 16887 (toysat) S 16881 16884 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272376 33554432000 4194304 16246674 140734612292384 140261206252720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1321540

[startup+51.1005 s]
/proc/loadavg: 2.26 2.11 2.04 3/184 16891
/proc/meminfo: memFree=29502668/32872528 swapFree=11196/354588
[pid=16884] ppid=16881 vsize=1321540 CPUtime=51.08 cores=1,3,5,7
/proc/16884/stat : 16884 (toysat) R 16881 16884 12837 0 -1 4202496 271055 0 0 0 5070 38 0 0 20 0 4 0 110513077 1353256960 272376 33554432000 4194304 16246674 140734612292384 140734612274304 5754700 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16884/statm: 330385 272376 885 2943 0 327279 0
[pid=16884/tid=16885] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16885/stat : 16885 (toysat) S 16881 16884 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272376 33554432000 4194304 16246674 140734612292384 140261302709488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16884/tid=16886] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16886/stat : 16886 (toysat) S 16881 16884 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272376 33554432000 4194304 16246674 140734612292384 140261216726256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16884/tid=16887] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16887/stat : 16887 (toysat) S 16881 16884 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272376 33554432000 4194304 16246674 140734612292384 140261206252720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1321540

[startup+102.301 s]
/proc/loadavg: 2.11 2.09 2.03 3/183 16892
/proc/meminfo: memFree=29502236/32872528 swapFree=11196/354588
[pid=16884] ppid=16881 vsize=1321540 CPUtime=102.28 cores=1,3,5,7
/proc/16884/stat : 16884 (toysat) R 16881 16884 12837 0 -1 4202496 271055 0 0 0 10189 39 0 0 20 0 4 0 110513077 1353256960 272376 33554432000 4194304 16246674 140734612292384 140734612274304 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16884/statm: 330385 272376 885 2943 0 327279 0
[pid=16884/tid=16885] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16885/stat : 16885 (toysat) S 16881 16884 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272376 33554432000 4194304 16246674 140734612292384 140261302709488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16884/tid=16886] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16886/stat : 16886 (toysat) S 16881 16884 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272376 33554432000 4194304 16246674 140734612292384 140261216726256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16884/tid=16887] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16887/stat : 16887 (toysat) S 16881 16884 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272376 33554432000 4194304 16246674 140734612292384 140261206252720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1321540


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

/proc/16884/task/16887/stat : 16887 (toysat) S 16881 16884 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140261206252720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1321540

[startup+1302.3 s]
/proc/loadavg: 2.15 2.08 2.02 3/183 16994
/proc/meminfo: memFree=29509608/32872528 swapFree=11196/354588
[pid=16884] ppid=16881 vsize=1321540 CPUtime=1301.87 cores=1,3,5,7
/proc/16884/stat : 16884 (toysat) R 16881 16884 12837 0 -1 4202496 271413 0 0 0 130100 87 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140734612274304 6836125 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16884/statm: 330385 272377 886 2943 0 327279 0
[pid=16884/tid=16885] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16885/stat : 16885 (toysat) S 16881 16884 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140261302709488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16884/tid=16886] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16886/stat : 16886 (toysat) S 16881 16884 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140261216726256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16884/tid=16887] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16887/stat : 16887 (toysat) S 16881 16884 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140261206252720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1321540

[startup+1362.3 s]
/proc/loadavg: 2.10 2.08 2.02 3/183 16995
/proc/meminfo: memFree=29509480/32872528 swapFree=11196/354588
[pid=16884] ppid=16881 vsize=1321540 CPUtime=1361.87 cores=1,3,5,7
/proc/16884/stat : 16884 (toysat) R 16881 16884 12837 0 -1 4202496 271413 0 0 0 136099 88 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140734612274304 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16884/statm: 330385 272377 886 2943 0 327279 0
[pid=16884/tid=16885] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16885/stat : 16885 (toysat) S 16881 16884 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140261302709488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16884/tid=16886] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16886/stat : 16886 (toysat) S 16881 16884 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140261216726256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16884/tid=16887] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16887/stat : 16887 (toysat) S 16881 16884 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140261206252720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1321540

[startup+1422.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/183 16996
/proc/meminfo: memFree=29509732/32872528 swapFree=11196/354588
[pid=16884] ppid=16881 vsize=1321540 CPUtime=1421.86 cores=1,3,5,7
/proc/16884/stat : 16884 (toysat) R 16881 16884 12837 0 -1 4202496 271413 0 0 0 142097 89 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140734612291560 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16884/statm: 330385 272377 886 2943 0 327279 0
[pid=16884/tid=16885] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16885/stat : 16885 (toysat) S 16881 16884 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140261302709488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16884/tid=16886] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16886/stat : 16886 (toysat) S 16881 16884 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140261216726256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16884/tid=16887] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16887/stat : 16887 (toysat) S 16881 16884 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140261206252720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1321540

[startup+1482.3 s]
/proc/loadavg: 2.11 2.08 2.02 3/183 16997
/proc/meminfo: memFree=29509492/32872528 swapFree=11196/354588
[pid=16884] ppid=16881 vsize=1321540 CPUtime=1481.85 cores=1,3,5,7
/proc/16884/stat : 16884 (toysat) R 16881 16884 12837 0 -1 4202496 271413 0 0 0 148093 92 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140734612274304 12875584 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16884/statm: 330385 272377 886 2943 0 327279 0
[pid=16884/tid=16885] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16885/stat : 16885 (toysat) S 16881 16884 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140261302709488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16884/tid=16886] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16886/stat : 16886 (toysat) S 16881 16884 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140261216726256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16884/tid=16887] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16887/stat : 16887 (toysat) S 16881 16884 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140261206252720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1321540

[startup+1542.31 s]
/proc/loadavg: 2.04 2.06 2.01 3/183 16999
/proc/meminfo: memFree=29509740/32872528 swapFree=11196/354588
[pid=16884] ppid=16881 vsize=1321540 CPUtime=1541.84 cores=1,3,5,7
/proc/16884/stat : 16884 (toysat) R 16881 16884 12837 0 -1 4202496 271413 0 0 0 154092 92 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140734612274304 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16884/statm: 330385 272377 886 2943 0 327279 0
[pid=16884/tid=16885] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16885/stat : 16885 (toysat) S 16881 16884 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140261302709488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16884/tid=16886] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16886/stat : 16886 (toysat) S 16881 16884 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140261216726256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16884/tid=16887] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16887/stat : 16887 (toysat) S 16881 16884 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140261206252720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1321540

[startup+1602.3 s]
/proc/loadavg: 2.13 2.08 2.02 3/183 17000
/proc/meminfo: memFree=29508992/32872528 swapFree=11196/354588
[pid=16884] ppid=16881 vsize=1321540 CPUtime=1601.83 cores=1,3,5,7
/proc/16884/stat : 16884 (toysat) R 16881 16884 12837 0 -1 4202496 271413 0 0 0 160089 94 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140734612291560 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16884/statm: 330385 272377 886 2943 0 327279 0
[pid=16884/tid=16885] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16885/stat : 16885 (toysat) S 16881 16884 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140261302709488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16884/tid=16886] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16886/stat : 16886 (toysat) S 16881 16884 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140261216726256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16884/tid=16887] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16887/stat : 16887 (toysat) S 16881 16884 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140261206252720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1321540

[startup+1662.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/183 17001
/proc/meminfo: memFree=29503292/32872528 swapFree=11196/354588
[pid=16884] ppid=16881 vsize=1321540 CPUtime=1661.82 cores=1,3,5,7
/proc/16884/stat : 16884 (toysat) R 16881 16884 12837 0 -1 4202496 271413 0 0 0 166087 95 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140734612274304 5708157 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16884/statm: 330385 272377 886 2943 0 327279 0
[pid=16884/tid=16885] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16885/stat : 16885 (toysat) S 16881 16884 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140261302709488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16884/tid=16886] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16886/stat : 16886 (toysat) S 16881 16884 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140261216726256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16884/tid=16887] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16887/stat : 16887 (toysat) S 16881 16884 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140261206252720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1321540

[startup+1722.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/183 17002
/proc/meminfo: memFree=29502716/32872528 swapFree=11196/354588
[pid=16884] ppid=16881 vsize=1321540 CPUtime=1721.81 cores=1,3,5,7
/proc/16884/stat : 16884 (toysat) R 16881 16884 12837 0 -1 4202496 271413 0 0 0 172085 96 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140734612274304 5721677 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16884/statm: 330385 272377 886 2943 0 327279 0
[pid=16884/tid=16885] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16885/stat : 16885 (toysat) S 16881 16884 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140261302709488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16884/tid=16886] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16886/stat : 16886 (toysat) S 16881 16884 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140261216726256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16884/tid=16887] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16887/stat : 16887 (toysat) S 16881 16884 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140261206252720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1321540

[startup+1782.3 s]
/proc/loadavg: 2.15 2.08 2.02 4/183 17003
/proc/meminfo: memFree=29502496/32872528 swapFree=11196/354588
[pid=16884] ppid=16881 vsize=1321540 CPUtime=1781.8 cores=1,3,5,7
/proc/16884/stat : 16884 (toysat) R 16881 16884 12837 0 -1 4202496 271413 0 0 0 178083 97 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140734612274304 5523515 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16884/statm: 330385 272377 886 2943 0 327279 0
[pid=16884/tid=16885] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16885/stat : 16885 (toysat) S 16881 16884 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140261302709488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16884/tid=16886] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16886/stat : 16886 (toysat) S 16881 16884 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140261216726256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16884/tid=16887] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16887/stat : 16887 (toysat) S 16881 16884 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140261206252720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1321540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.11 2.08 2.01 3/183 17003
/proc/meminfo: memFree=29502216/32872528 swapFree=11196/354588
[pid=16884] ppid=16881 vsize=1321540 CPUtime=1800.09 cores=1,3,5,7
/proc/16884/stat : 16884 (toysat) R 16881 16884 12837 0 -1 4202496 271413 0 0 0 179912 97 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140734612274304 5522977 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16884/statm: 330385 272377 886 2943 0 327279 0
[pid=16884/tid=16885] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16885/stat : 16885 (toysat) S 16881 16884 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140261302709488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16884/tid=16886] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16886/stat : 16886 (toysat) S 16881 16884 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140261216726256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16884/tid=16887] ppid=16881 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/16884/task/16887/stat : 16887 (toysat) S 16881 16884 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110513077 1353256960 272377 33554432000 4194304 16246674 140734612292384 140261206252720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1321540

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 16884 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.11
CPU user time (s): 1799.13
CPU system time (s): 0.978851
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (KiB): 1321540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.13
system time used= 0.978851
maximum resident set size= 1089508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271413
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= 372
involuntary context switches= 1892

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.6752 second user time and 16.2935 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-07 09:49:56
IDJOB=4078915
IDBENCH=90184
IDSOLVER=2542
FILE ID=node126/4078915-1465285796
RUNJOBID= node126-1465253620-12854
PBS_JOBID= 19843265
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 786bb841dd145412a2aec0a596e79174
RANDOM SEED=1682894970

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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.500
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:        30590836 kB
Buffers:           22080 kB
Cached:            82460 kB
SwapCached:         2100 kB
Active:          1146048 kB
Inactive:          45268 kB
Active(anon):    1084272 kB
Inactive(anon):     4724 kB
Active(file):      61776 kB
Inactive(file):    40544 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:             17736 kB
Writeback:             0 kB
AnonPages:       1432000 kB
Mapped:            10752 kB
Shmem:                 0 kB
Slab:             595876 kB
SReclaimable:      39808 kB
SUnreclaim:       556068 kB
KernelStack:        1464 kB
PageTables:         7196 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1592436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1249280 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 node126 at 2016-06-07 10:19:57