Trace number 4078916

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K183.opb
MD5SUM0350ceeb14af28f3be070cadc324c0d3
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 variables21777
Total number of constraints22145
Number of constraints which are clauses21962
Number of constraints which are cardinality constraints (but not clauses)183
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint183
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 184
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:28:35+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-4078916-1465284514.opb"]
0.00/0.01	c use --random-gen="2871098760 2918628303 1813243075 1169281771 2332452963 2745281284 303178794 2148725998 2800884340 197188735 2900404437 2103543596 1961529014 3590067821 2613905103 3388871609 3970951826 1815718516 4175553665 2214848423 2083273631 275708233 1723079851 2675410962 1604977513 1519369360 428166185 2614468077 1071463230 3974216060 3446819314 2606905172 742918036 2918288185 1983608698 1724393952 998561025 3230109026 225646872 1578109201 1235558719 1537506308 2120195503 741165214 3671145231 2773142537 2852074229 3063019734 2524372867 3426627282 2674165428 1584636288 1127569130 2618660826 1203417736 645559216 1589945736 3866767275 1001475322 59114919 115312190 3702060615 1230879091 3941730509 3938396123 1631754953 2055127307 3838394196 926632429 4045546392 4200332478 1794781743 2891939677 401953895 1430911943 2712063597 1413370424 419506476 2710408231 1238986069 189656497 1592380935 3455704225 718177611 2797070954 4038693419 190071487 3712214209 4119115685 3803545052 1546889364 3318189112 1378515626 2618688739 68708223 1678328844 1708882215 1307535664 1433032849 3596843630 2933481441 1319757195 3600536590 4226370955 2607734709 3448281698 3655868392 2657232771 1419149102 2590379951 3522453330 2604689183 816094876 621262336 1198165460 2873047284 3928668248 2442944414 2761864373 470340027 2804165220 1235555571 2296662224 140617352 2032570392 1010429013 4120904016 2505173910 3989293933 1654664255 239805024 4232437645 709724899 3047164658 1138009797 640152826 402960136 1171454109 3417922554 2961525945 3888137673 3041829338 1358402502 1005849133 3988229734 3371813422 952219531 2826593537 1210728065 207935218 472328714 722408804 4033812981 3051527012 3905748853 2078363976 1625221073 3964492868 2568914689 350198160 3945488658 2976675793 1787539399 1891100247 3037410727 2511604571 3552833280 881242289 1969733885 2704300111 2487684999 226523343 3069824942 343223775 4227998096 2060803471 4078853298 2519096320 3576048646 1900559690 2052777289 151106089 686596900 1780946530 1838592082 829587164 814939851 1079926534 3657996760 3988068977 557107020 2903481505 2043894314 744492238 2129336387 1424011134 119874937 4058692795 3656569432 2831151016 3417336885 818685179 683098973 3789354413 3881085117 3563059667 87901073 1881299455 2141340006 611073674 4192248554 1465463818 2823702669 3230581599 1617157403 1479598103 4015237740 1156473325 2673605883 658887338 766057667 4032341714 888061872 1973463183 3214074383 2149223040 3024975474 1074922800 4004047914 30356926 145024434 3981320228 2465705678 1353213978 3555516456 1336727766 596431975 352046917 3579509233 2351968894 2304839077 653988853 2790186390 60005191 1392126724 3639422088 2244056883 4166817563 3063595346 1404440403 4265172614 3928805300 2705435770 4066130935 4110560359 4129958901 255 362436" option to reproduce the execution
0.29/0.32	c #vars 21777
0.29/0.32	c #constraints 22145
0.79/0.81	c Solving starts ...
0.79/0.81	c ============================[ Search Statistics ]============================
0.79/0.81	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.79/0.81	c       |         |          |          |    Limit     GC | Var      | Constra 
0.79/0.81	c =============================================================================
0.79/0.81	c  0.0s |       0 |        0 |        0 |    14640      0 |      742 |        0
2.19/2.23	c  1.4s |       1 |    12755 |      100 |    14640      0 |      743 |      634
3.19/3.30	c  2.5s |       2 |    29179 |      250 |    16105      0 |      743 |      634
4.19/4.21	c  3.4s |       3 |    45327 |      475 |    17716      0 |      744 |      635
5.19/5.20	c  4.4s |       4 |    57335 |      813 |    19488      0 |      744 |      635
6.48/6.54	c  5.7s |       5 |    79365 |     1320 |    21437      0 |      744 |      635
8.68/8.79	c  8.0s |       5 |   117432 |     2020 |    23581      0 |      744 |      635
8.89/8.93	c  8.1s |       6 |   118669 |     2081 |    25940      0 |      744 |      635
11.28/11.31	c 10.5s |       6 |   136364 |     2881 |    25940      0 |      744 |      635
12.58/12.60	c 11.8s |       7 |   160950 |     3223 |    28535      0 |      744 |      635
14.58/14.61	c 13.8s |       7 |   188685 |     3823 |    28535      0 |      744 |      635
16.78/16.88	c 16.1s |       7 |   228082 |     4523 |    28535      0 |      744 |      635
18.18/18.27	c 17.5s |       8 |   252639 |     4936 |    31389      0 |      744 |      635
20.38/20.45	c 19.6s |       8 |   285671 |     5436 |    31389      0 |      746 |      637
22.38/22.45	c 21.6s |       8 |   307076 |     5936 |    31389      0 |      747 |      638
24.39/24.48	c 23.7s |       8 |   341727 |     6436 |    31389      0 |      748 |      639
26.69/26.78	c 26.0s |       8 |   375639 |     7336 |    31389      0 |      748 |      639
27.39/27.44	c 26.6s |       9 |   382315 |     7506 |    34528      0 |      749 |      640
29.70/29.76	c 28.9s |       9 |   402103 |     8206 |    34528      0 |      749 |      640
31.69/31.77	c 31.0s |       9 |   428259 |     8706 |    34528      0 |      749 |      640
33.79/33.81	c 33.0s |       9 |   461063 |     9206 |    34528      0 |      750 |      641
35.89/35.93	c 35.1s |       9 |   492077 |     9706 |    34528      0 |      750 |      641
38.39/38.41	c 37.6s |       9 |   527067 |    10306 |    34528      0 |      751 |      642
40.79/40.88	c 40.1s |       9 |   558798 |    11006 |    34528      0 |      752 |      643
42.09/42.17	c 41.4s |      10 |   577540 |    11361 |    37981      0 |      752 |      643
44.19/44.20	c 43.4s |      10 |   606254 |    11761 |    37981      0 |      752 |      643
46.48/46.51	c 45.7s |      10 |   637321 |    12361 |    37981      0 |      752 |      643
48.58/48.60	c 47.8s |      10 |   647978 |    13061 |    37981      0 |      752 |      643
50.78/50.84	c 50.0s |      10 |   677625 |    13561 |    37981      0 |      753 |      644
52.98/53.03	c 52.2s |      10 |   707502 |    14061 |    37981      0 |      754 |      645
55.18/55.22	c 54.4s |      10 |   717172 |    14661 |    37981      0 |      754 |      645
57.58/57.65	c 56.8s |      10 |   741051 |    15261 |    37981      0 |      755 |      646
59.68/59.73	c 58.9s |      10 |   765412 |    15761 |    37981      0 |      756 |      647
61.98/62.03	c 61.2s |      10 |   796375 |    16261 |    37981      0 |      756 |      647
64.08/64.14	c 63.3s |      10 |   805935 |    16861 |    37981      0 |      757 |      648
65.08/65.13	c 64.3s |      11 |   806914 |    17144 |    41780      0 |      757 |      648
67.28/67.32	c 66.5s |      11 |   833940 |    17644 |    41780      0 |      757 |      648
69.39/69.46	c 68.6s |      11 |   858908 |    18344 |    41780      0 |      757 |      648
71.38/71.47	c 70.7s |      11 |   888627 |    18844 |    41780      0 |      757 |      648
73.88/73.91	c 73.1s |      11 |   918150 |    19344 |    41780      0 |      758 |      649
75.98/76.04	c 75.2s |      11 |   942728 |    19844 |    41780      0 |      758 |      649
78.08/78.16	c 77.4s |      11 |   965456 |    20444 |    41780      0 |      758 |      649
80.28/80.33	c 79.5s |      11 |   994737 |    20844 |    41780      0 |      759 |      650
82.88/82.90	c 82.1s |      11 |  1022309 |    21344 |    41780      0 |      760 |      651
85.08/85.15	c 84.3s |      11 |  1044804 |    22044 |    41780      0 |      760 |      651
87.18/87.24	c 86.4s |      11 |  1065744 |    22644 |    41780      0 |      760 |      651
89.58/89.68	c 88.9s |      11 |  1093441 |    23144 |    41780      0 |      761 |      652
91.98/92.04	c 91.2s |      11 |  1117068 |    23644 |    41780      0 |      761 |      652
94.17/94.24	c 93.4s |      11 |  1141267 |    24144 |    41780      0 |      762 |      653
96.37/96.45	c 95.6s |      11 |  1166151 |    24644 |    41780      0 |      762 |      653
98.57/98.69	c 97.9s |      11 |  1178485 |    25244 |    41780      0 |      762 |      653
100.87/100.90	c  100s |      11 |  1196836 |    25744 |    45959      0 |      762 |      653
101.07/101.19	c  100s |      12 |  1199379 |    25819 |    45959      0 |      762 |      653
103.38/103.48	c  102s |      12 |  1227611 |    26219 |    45959      0 |      762 |      653
106.27/106.30	c  105s |      12 |  1264578 |    26719 |    45959      0 |      763 |      654
108.47/108.55	c  107s |      12 |  1292627 |    27319 |    45959      0 |      763 |      654
110.47/110.56	c  109s |      12 |  1317848 |    27719 |    45959      0 |      763 |      654
112.57/112.64	c  111s |      12 |  1335824 |    28319 |    45959      0 |      763 |      654
114.77/114.89	c  114s |      12 |  1359784 |    28919 |    45959      0 |      763 |      654
117.17/117.23	c  116s |      12 |  1382907 |    29419 |    45959      0 |      764 |      655
119.37/119.46	c  118s |      12 |  1400594 |    30019 |    45959      0 |      764 |      655
121.37/121.49	c  120s |      12 |  1418019 |    30519 |    45959      0 |      764 |      655
123.67/123.70	c  122s |      12 |  1445805 |    30919 |    45959      0 |      764 |      655
126.07/126.17	c  125s |      12 |  1457835 |    31519 |    45959      0 |      764 |      655
128.07/128.18	c  127s |      12 |  1466756 |    32119 |    45959      0 |      764 |      655
130.07/130.19	c  129s |      12 |  1485830 |    32619 |    45959      0 |      764 |      655
132.17/132.22	c  131s |      12 |  1504709 |    33119 |    45959      0 |      764 |      655
134.17/134.27	c  133s |      12 |  1525056 |    33619 |    45959      0 |      764 |      655
136.47/136.59	c  135s |      12 |  1551912 |    34119 |    45959      0 |      764 |      655
138.67/138.78	c  137s |      12 |  1573052 |    34619 |    45959      0 |      764 |      655
140.97/141.02	c  140s |      12 |  1589814 |    35119 |    45959      0 |      764 |      655
143.37/143.44	c  142s |      12 |  1614089 |    35619 |    45959      0 |      764 |      655
145.76/145.88	c  145s |      12 |  1640780 |    36019 |    45959      0 |      765 |      656
147.86/147.97	c  147s |      12 |  1662922 |    36619 |    45959      0 |      765 |      656
150.26/150.37	c  149s |      12 |  1668019 |    37219 |    45959      0 |      765 |      656
152.66/152.75	c  151s |      12 |  1694381 |    37719 |    45959      0 |      765 |      656
154.86/154.95	c  154s |      12 |  1720040 |    38119 |    45959      0 |      765 |      656
157.17/157.25	c  156s |      12 |  1742395 |    38719 |    50555      0 |      765 |      656
157.57/157.60	c  156s |      13 |  1746228 |    38832 |    50555      0 |      765 |      656
159.87/159.94	c  159s |      13 |  1768213 |    39332 |    50555      0 |      765 |      656
162.27/162.32	c  161s |      13 |  1782705 |    39932 |    50555      0 |      765 |      656
164.47/164.51	c  163s |      13 |  1798646 |    40432 |    50555      0 |      765 |      656
166.47/166.57	c  165s |      13 |  1812883 |    40732 |    50555      0 |      766 |      657
168.56/168.60	c  167s |      13 |  1839114 |    41132 |    50555      0 |      766 |      657
170.57/170.66	c  169s |      13 |  1856069 |    41632 |    50555      0 |      766 |      657
172.96/173.04	c  172s |      13 |  1875744 |    42232 |    50555      0 |      766 |      657
175.46/175.51	c  174s |      13 |  1886673 |    42732 |    50555      0 |      766 |      657
178.16/178.22	c  177s |      13 |  1887979 |    43132 |    50555      0 |      766 |      657
180.76/180.84	c  180s |      13 |  1888976 |    43432 |    50555      0 |      766 |      657
183.16/183.27	c  182s |      13 |  1908995 |    43932 |    50555      0 |      766 |      657
185.55/185.62	c  184s |      13 |  1921095 |    44632 |    50555      0 |      766 |      657
187.95/188.03	c  187s |      13 |  1939180 |    45132 |    50555      0 |      766 |      657
190.15/190.21	c  189s |      13 |  1959964 |    45532 |    50555      0 |      766 |      657
192.25/192.33	c  191s |      13 |  1968789 |    46032 |    50555      0 |      766 |      657
194.35/194.49	c  193s |      13 |  1983136 |    46532 |    50555      0 |      766 |      657
196.45/196.52	c  195s |      13 |  1999242 |    46932 |    50555      0 |      766 |      657
198.54/198.62	c  197s |      13 |  2011972 |    47332 |    50555      0 |      766 |      657
200.74/200.83	c  200s |      13 |  2028162 |    47832 |    50555      0 |      766 |      657
202.84/202.95	c  202s |      13 |  2045530 |    48232 |    50555      0 |      766 |      657
205.24/205.31	c  204s |      13 |  2065150 |    48732 |    50555      0 |      766 |      657
207.34/207.47	c  206s |      13 |  2080592 |    49132 |    50555      0 |      767 |      658
209.54/209.68	c  208s |      13 |  2092663 |    49632 |    50555      0 |      767 |      658
211.54/211.68	c  210s |      13 |  2106486 |    50032 |    50555      0 |      767 |      658
213.74/213.89	c  213s |      13 |  2127167 |    50432 |    50555      0 |      767 |      658
216.34/216.46	c  215s |      13 |  2151773 |    50932 |    50555      0 |      767 |      658
218.54/218.63	c  217s |      13 |  2161492 |    51232 |    50555      0 |      768 |      659
220.74/220.88	c  220s |      13 |  2180663 |    51632 |    50555      0 |      768 |      659
223.74/223.89	c  223s |      13 |  2199170 |    52032 |    50555      1 |      768 |      659
226.04/226.17	c  225s |      13 |  2226265 |    52532 |    50555      1 |      768 |      659
228.53/228.61	c  227s |      13 |  2254350 |    53032 |    50555      1 |      768 |      659
230.63/230.75	c  229s |      13 |  2272224 |    53432 |    50555      1 |      768 |      659
232.84/232.90	c  232s |      13 |  2273088 |    53732 |    50555      1 |      768 |      659
234.84/234.92	c  234s |      13 |  2299298 |    54232 |    50555      1 |      768 |      659
237.24/237.33	c  236s |      13 |  2329532 |    54732 |    50555      1 |      768 |      659
239.43/239.59	c  238s |      13 |  2348264 |    55332 |    50555      1 |      768 |      659
241.83/241.90	c  241s |      13 |  2372086 |    55932 |    50555      1 |      768 |      659
244.03/244.15	c  243s |      13 |  2384076 |    56532 |    50555      1 |      768 |      659
246.13/246.27	c  245s |      13 |  2398235 |    57032 |    50555      1 |      768 |      659
248.42/248.57	c  247s |      13 |  2417962 |    57632 |    50555      1 |      768 |      659
250.62/250.79	c  249s |      13 |  2442330 |    58132 |    55611      1 |      768 |      659
251.83/251.93	c  251s |      14 |  2449570 |    58352 |    55611      1 |      768 |      659
253.82/253.97	c  253s |      14 |  2466774 |    58652 |    55611      1 |      768 |      659
256.12/256.21	c  255s |      14 |  2484709 |    59052 |    55611      1 |      768 |      659
258.12/258.23	c  257s |      14 |  2501805 |    59552 |    55611      1 |      768 |      659
260.22/260.35	c  259s |      14 |  2504320 |    59952 |    55611      1 |      768 |      659
262.52/262.66	c  261s |      14 |  2506351 |    60352 |    55611      1 |      768 |      659
264.62/264.76	c  263s |      14 |  2516270 |    60852 |    55611      1 |      768 |      659
266.62/266.77	c  265s |      14 |  2535072 |    61352 |    55611      1 |      768 |      659
268.81/268.93	c  268s |      14 |  2541723 |    61952 |    55611      1 |      768 |      659
271.31/271.47	c  270s |      14 |  2542458 |    62252 |    55611      1 |      768 |      659
273.61/273.74	c  272s |      14 |  2543545 |    62552 |    55611      1 |      768 |      659
276.52/276.69	c  275s |      14 |  2549342 |    62952 |    55611      1 |      768 |      659
278.61/278.73	c  277s |      14 |  2564306 |    63352 |    55611      1 |      768 |      659
281.62/281.77	c  280s |      14 |  2587887 |    63852 |    55611      1 |      769 |      660
283.72/283.87	c  283s |      14 |  2607888 |    64352 |    55611      1 |      769 |      660
285.81/285.94	c  285s |      14 |  2625184 |    64752 |    55611      1 |      769 |      660
288.01/288.20	c  287s |      14 |  2642165 |    65352 |    55611      1 |      769 |      660
290.60/290.74	c  289s |      14 |  2668383 |    65852 |    55611      1 |      769 |      660
292.80/292.96	c  292s |      14 |  2693311 |    66252 |    55611      1 |      769 |      660
295.30/295.42	c  294s |      14 |  2717949 |    66752 |    55611      1 |      769 |      660
297.30/297.42	c  296s |      14 |  2738394 |    67052 |    55611      1 |      769 |      660
299.50/299.64	c  298s |      14 |  2762040 |    67452 |    55611      1 |      769 |      660
301.60/301.73	c  300s |      14 |  2783997 |    67852 |    55611      1 |      769 |      660
303.60/303.80	c  302s |      14 |  2801163 |    68252 |    55611      1 |      769 |      660
306.10/306.20	c  305s |      14 |  2823166 |    68852 |    55611      1 |      769 |      660
308.29/308.49	c  307s |      14 |  2845985 |    69252 |    55611      1 |      769 |      660
310.59/310.80	c  309s |      14 |  2868067 |    69752 |    55611      1 |      769 |      660
312.69/312.86	c  312s |      14 |  2881702 |    70252 |    55611      1 |      769 |      660
314.79/314.99	c  314s |      14 |  2891366 |    70752 |    55611      1 |      769 |      660
317.09/317.25	c  316s |      14 |  2907277 |    71252 |    55611      1 |      769 |      660
319.09/319.27	c  318s |      14 |  2921657 |    71652 |    55611      1 |      769 |      660
321.29/321.40	c  320s |      14 |  2941111 |    72052 |    55611      1 |      769 |      660
323.59/323.74	c  322s |      14 |  2956620 |    72552 |    55611      1 |      769 |      660
325.99/326.12	c  325s |      14 |  2978562 |    72952 |    55611      1 |      769 |      660
327.99/328.18	c  327s |      14 |  2999588 |    73252 |    55611      1 |      769 |      660
330.19/330.37	c  329s |      14 |  3019633 |    73552 |    55611      1 |      769 |      660
332.59/332.79	c  331s |      14 |  3047378 |    73952 |    55611      1 |      769 |      660
334.79/334.98	c  334s |      14 |  3070427 |    74352 |    55611      1 |      769 |      660
337.08/337.23	c  336s |      14 |  3086647 |    74852 |    55611      1 |      769 |      660
339.68/339.85	c  339s |      14 |  3108864 |    75352 |    55611      1 |      769 |      660
341.88/342.09	c  341s |      14 |  3126049 |    75752 |    55611      1 |      769 |      660
344.08/344.28	c  343s |      14 |  3145420 |    76152 |    55611      1 |      769 |      660
346.18/346.35	c  345s |      14 |  3161346 |    76552 |    55611      1 |      769 |      660
348.59/348.79	c  347s |      14 |  3170437 |    77152 |    55611      1 |      769 |      660
350.89/351.02	c  350s |      14 |  3172118 |    77552 |    55611      1 |      769 |      660
352.88/353.03	c  352s |      14 |  3185053 |    77952 |    55611      1 |      769 |      660
354.88/355.04	c  354s |      14 |  3203504 |    78352 |    55611      1 |      769 |      660
357.87/358.06	c  357s |      14 |  3225751 |    78752 |    55611      1 |      770 |      661
360.37/360.50	c  359s |      14 |  3242183 |    79252 |    55611      1 |      770 |      661
362.88/363.07	c  362s |      14 |  3268174 |    79652 |    55611      1 |      770 |      661
364.87/365.09	c  364s |      14 |  3285546 |    80052 |    55611      1 |      770 |      661
366.97/367.19	c  366s |      14 |  3302236 |    80452 |    55611      1 |      770 |      661
369.27/369.46	c  368s |      14 |  3315649 |    80952 |    55611      1 |      770 |      661
371.87/372.03	c  371s |      14 |  3338138 |    81452 |    55611      1 |      770 |      661
373.88/374.10	c  373s |      14 |  3352407 |    81952 |    55611      1 |      770 |      661
376.17/376.35	c  375s |      14 |  3370680 |    82352 |    55611      1 |      770 |      661
378.27/378.48	c  377s |      14 |  3382504 |    82852 |    55611      1 |      770 |      661
380.67/380.89	c  380s |      14 |  3405550 |    83252 |    55611      1 |      770 |      661
382.87/383.00	c  382s |      14 |  3419281 |    83652 |    55611      1 |      770 |      661
384.87/385.08	c  384s |      14 |  3436157 |    84052 |    55611      1 |      770 |      661
387.07/387.23	c  386s |      14 |  3452198 |    84552 |    55611      1 |      770 |      661
389.46/389.61	c  388s |      14 |  3471562 |    84952 |    55611      1 |      770 |      661
391.57/391.79	c  390s |      14 |  3489260 |    85352 |    55611      1 |      770 |      661
393.96/394.12	c  393s |      14 |  3497273 |    85552 |    55611      2 |      770 |      661
396.66/396.83	c  396s |      14 |  3517448 |    86152 |    55611      2 |      771 |      662
398.76/398.93	c  398s |      14 |  3544930 |    86552 |    55611      2 |      771 |      662
400.76/400.94	c  400s |      14 |  3566821 |    87052 |    61173      2 |      771 |      662
402.57/402.76	c  401s |      15 |  3578694 |    87632 |    61173      2 |      771 |      662
404.86/405.03	c  404s |      15 |  3596960 |    88032 |    61173      2 |      771 |      662
407.06/407.20	c  406s |      15 |  3614349 |    88532 |    61173      2 |      771 |      662
409.06/409.24	c  408s |      15 |  3621680 |    89032 |    61173      2 |      771 |      662
411.16/411.37	c  410s |      15 |  3637988 |    89632 |    61173      2 |      771 |      662
413.46/413.61	c  412s |      15 |  3653482 |    90132 |    61173      2 |      771 |      662
415.66/415.83	c  415s |      15 |  3655572 |    90532 |    61173      2 |      771 |      662
417.86/418.03	c  417s |      15 |  3679378 |    90832 |    61173      2 |      771 |      662
419.95/420.16	c  419s |      15 |  3701300 |    91232 |    61173      2 |      771 |      662
421.95/422.18	c  421s |      15 |  3718929 |    91632 |    61173      2 |      771 |      662
424.05/424.28	c  423s |      15 |  3742578 |    92132 |    61173      2 |      771 |      662
426.25/426.48	c  425s |      15 |  3758627 |    92532 |    61173      2 |      771 |      662
428.64/428.89	c  428s |      15 |  3781070 |    93032 |    61173      2 |      771 |      662
430.94/431.17	c  430s |      15 |  3794173 |    93632 |    61173      2 |      771 |      662
433.14/433.37	c  432s |      15 |  3805475 |    94032 |    61173      2 |      771 |      662
435.14/435.37	c  434s |      15 |  3824052 |    94432 |    61173      2 |      771 |      662
437.65/437.81	c  437s |      15 |  3830271 |    94732 |    61173      2 |      772 |      663
439.94/440.18	c  439s |      15 |  3836006 |    95132 |    61173      2 |      772 |      663
442.23/442.45	c  441s |      15 |  3857605 |    95532 |    61173      2 |      772 |      663
444.53/444.75	c  443s |      15 |  3873962 |    95932 |    61173      2 |      772 |      663
446.63/446.85	c  446s |      15 |  3890557 |    96332 |    61173      2 |      772 |      663
449.03/449.23	c  448s |      15 |  3902109 |    96732 |    61173      2 |      772 |      663
451.44/451.68	c  450s |      15 |  3904103 |    97032 |    61173      2 |      772 |      663
453.74/453.91	c  453s |      15 |  3921884 |    97432 |    61173      2 |      772 |      663
456.14/456.39	c  455s |      15 |  3936591 |    97832 |    61173      2 |      773 |      664
458.33/458.50	c  457s |      15 |  3950309 |    98332 |    61173      2 |      773 |      664
460.53/460.75	c  459s |      15 |  3967262 |    98832 |    61173      2 |      773 |      664
462.73/462.90	c  462s |      15 |  3978048 |    99332 |    61173      2 |      773 |      664
465.14/465.38	c  464s |      15 |  3988196 |    99832 |    61173      2 |      773 |      664
467.13/467.39	c  466s |      15 |  4001384 |   100232 |    61173      2 |      773 |      664
469.53/469.79	c  468s |      15 |  4020469 |   100732 |    61173      2 |      773 |      664
471.73/472.00	c  471s |      15 |  4040934 |   101032 |    61173      2 |      773 |      664
473.93/474.10	c  473s |      15 |  4058093 |   101432 |    61173      2 |      773 |      664
476.23/476.44	c  475s |      15 |  4082671 |   101832 |    61173      2 |      773 |      664
478.22/478.45	c  477s |      15 |  4098201 |   102232 |    61173      2 |      773 |      664
480.71/480.94	c  480s |      15 |  4119324 |   102732 |    61173      2 |      773 |      664
483.01/483.29	c  482s |      15 |  4140724 |   103132 |    61173      2 |      773 |      664
485.11/485.34	c  484s |      15 |  4159434 |   103532 |    61173      2 |      773 |      664
487.61/487.81	c  486s |      15 |  4183734 |   103932 |    61173      2 |      773 |      664
490.01/490.24	c  489s |      15 |  4200367 |   104332 |    61173      2 |      773 |      664
492.11/492.39	c  491s |      15 |  4218201 |   104732 |    61173      2 |      773 |      664
494.71/494.90	c  494s |      15 |  4237793 |   105232 |    61173      2 |      773 |      664
497.12/497.39	c  496s |      15 |  4262488 |   105632 |    61173      2 |      773 |      664
499.51/499.71	c  498s |      15 |  4286351 |   106032 |    61173      2 |      773 |      664
501.60/501.82	c  501s |      15 |  4304224 |   106432 |    61173      2 |      773 |      664
504.00/504.26	c  503s |      15 |  4323256 |   106832 |    61173      2 |      773 |      664
506.60/506.88	c  506s |      15 |  4345688 |   107232 |    61173      2 |      773 |      664
508.80/509.07	c  508s |      15 |  4350350 |   107732 |    61173      2 |      773 |      664
511.20/511.49	c  510s |      15 |  4368303 |   108232 |    61173      2 |      773 |      664
513.79/514.09	c  513s |      15 |  4392040 |   108732 |    61173      2 |      773 |      664
515.99/516.24	c  515s |      15 |  4403038 |   109032 |    61173      2 |      774 |      665
518.19/518.47	c  517s |      15 |  4419033 |   109532 |    61173      2 |      774 |      665
520.69/520.95	c  520s |      15 |  4441583 |   109932 |    61173      2 |      774 |      665
522.89/523.19	c  522s |      15 |  4451699 |   110432 |    61173      2 |      774 |      665
525.09/525.35	c  524s |      15 |  4457125 |   110832 |    61173      2 |      774 |      665
527.19/527.44	c  526s |      15 |  4474513 |   111232 |    61173      2 |      774 |      665
529.19/529.48	c  528s |      15 |  4487570 |   111632 |    61173      2 |      774 |      665
531.59/531.82	c  531s |      15 |  4508469 |   112032 |    61173      2 |      774 |      665
533.69/533.91	c  533s |      15 |  4522046 |   112432 |    61173      2 |      774 |      665
535.69/535.92	c  535s |      15 |  4536543 |   112832 |    61173      2 |      774 |      665
538.09/538.38	c  537s |      15 |  4558844 |   113332 |    61173      2 |      774 |      665
540.89/541.12	c  540s |      15 |  4580615 |   113732 |    61173      2 |      774 |      665
543.30/543.52	c  542s |      15 |  4593642 |   114232 |    61173      2 |      774 |      665
545.59/545.83	c  545s |      15 |  4605896 |   114632 |    61173      2 |      774 |      665
547.59/547.89	c  547s |      15 |  4613718 |   115032 |    61173      2 |      774 |      665
550.28/550.55	c  549s |      15 |  4624768 |   115632 |    61173      2 |      774 |      665
552.48/552.74	c  551s |      15 |  4632968 |   115932 |    61173      2 |      774 |      665
554.48/554.75	c  553s |      15 |  4648281 |   116332 |    61173      2 |      774 |      665
556.68/556.98	c  556s |      15 |  4661730 |   116732 |    61173      2 |      774 |      665
559.37/559.68	c  558s |      15 |  4680206 |   117232 |    61173      2 |      774 |      665
561.47/561.78	c  560s |      15 |  4693222 |   117632 |    61173      2 |      774 |      665
563.67/563.96	c  563s |      15 |  4709965 |   117932 |    61173      2 |      774 |      665
565.87/566.12	c  565s |      15 |  4720474 |   118332 |    61173      2 |      774 |      665
568.17/568.45	c  567s |      15 |  4722735 |   118832 |    61173      2 |      774 |      665
570.27/570.59	c  569s |      15 |  4729117 |   119232 |    61173      2 |      774 |      665
572.76/573.00	c  572s |      15 |  4735944 |   119932 |    61173      2 |      774 |      665
574.96/575.27	c  574s |      15 |  4737363 |   120332 |    61173      2 |      774 |      665
577.27/577.59	c  576s |      15 |  4744432 |   120832 |    61173      2 |      774 |      665
579.46/579.80	c  578s |      15 |  4751851 |   121332 |    61173      2 |      774 |      665
581.56/581.83	c  581s |      15 |  4760508 |   121832 |    61173      2 |      774 |      665
583.66/583.96	c  583s |      15 |  4768217 |   122232 |    61173      2 |      774 |      665
585.66/585.97	c  585s |      15 |  4772245 |   122332 |    61173      3 |      774 |      665
588.36/588.66	c  587s |      15 |  4773888 |   122632 |    61173      3 |      774 |      665
590.86/591.17	c  590s |      15 |  4780132 |   123032 |    61173      3 |      774 |      665
593.25/593.55	c  592s |      15 |  4794579 |   123532 |    61173      3 |      774 |      665
595.45/595.79	c  594s |      15 |  4813716 |   123932 |    61173      3 |      774 |      665
598.05/598.34	c  597s |      15 |  4828736 |   124432 |    61173      3 |      774 |      665
600.15/600.44	c  599s |      15 |  4845111 |   124832 |    61173      3 |      774 |      665
602.35/602.65	c  601s |      15 |  4860857 |   125132 |    61173      3 |      775 |      666
604.35/604.69	c  603s |      15 |  4868601 |   125632 |    61173      3 |      775 |      666
606.65/606.92	c  606s |      15 |  4880930 |   126132 |    61173      3 |      775 |      666
608.74/609.01	c  608s |      15 |  4900088 |   126532 |    61173      3 |      775 |      666
610.74/611.05	c  610s |      15 |  4915552 |   126832 |    61173      3 |      775 |      666
612.84/613.12	c  612s |      15 |  4921785 |   127232 |    61173      3 |      775 |      666
614.94/615.22	c  614s |      15 |  4936425 |   127632 |    61173      3 |      775 |      666
617.24/617.58	c  616s |      15 |  4957669 |   128232 |    61173      3 |      775 |      666
619.43/619.72	c  618s |      15 |  4968029 |   128732 |    61173      3 |      775 |      666
621.43/621.80	c  620s |      15 |  4980736 |   129232 |    61173      3 |      775 |      666
624.13/624.47	c  623s |      15 |  5007884 |   129632 |    61173      3 |      775 |      666
626.53/626.87	c  626s |      15 |  5027863 |   130032 |    61173      3 |      775 |      666
629.12/629.46	c  628s |      15 |  5048152 |   130532 |    61173      3 |      775 |      666
631.52/631.88	c  631s |      15 |  5061055 |   130932 |    67291      3 |      775 |      666
633.72/634.07	c  633s |      15 |  5069299 |   131332 |    67291      3 |      775 |      666
634.82/635.15	c  634s |      16 |  5077212 |   131552 |    67291      3 |      775 |      666
636.92/637.29	c  636s |      16 |  5093371 |   131752 |    67291      3 |      775 |      666
639.21/639.55	c  638s |      16 |  5100654 |   132252 |    67291      3 |      775 |      666
641.31/641.69	c  640s |      16 |  5113037 |   132652 |    67291      3 |      775 |      666
643.81/644.19	c  643s |      16 |  5128442 |   133152 |    67291      3 |      775 |      666
646.21/646.56	c  645s |      16 |  5143899 |   133652 |    67291      3 |      775 |      666
648.50/648.89	c  648s |      16 |  5155165 |   134152 |    67291      3 |      775 |      666
650.60/650.95	c  650s |      16 |  5172362 |   134552 |    67291      3 |      775 |      666
652.60/652.96	c  652s |      16 |  5190843 |   134852 |    67291      3 |      775 |      666
655.11/655.44	c  654s |      16 |  5211337 |   135352 |    67291      3 |      775 |      666
657.62/657.93	c  657s |      16 |  5231395 |   135852 |    67291      3 |      775 |      666
660.01/660.31	c  659s |      16 |  5249898 |   136252 |    67291      3 |      775 |      666
662.01/662.36	c  661s |      16 |  5265886 |   136652 |    67291      3 |      775 |      666
664.21/664.54	c  663s |      16 |  5286039 |   137052 |    67291      3 |      775 |      666
666.60/666.99	c  666s |      16 |  5302636 |   137552 |    67291      3 |      775 |      666
669.00/669.34	c  668s |      16 |  5321167 |   138052 |    67291      3 |      775 |      666
671.10/671.49	c  670s |      16 |  5333234 |   138552 |    67291      3 |      775 |      666
673.90/674.22	c  673s |      16 |  5341413 |   138852 |    67291      3 |      775 |      666
676.00/676.33	c  675s |      16 |  5342206 |   139052 |    67291      3 |      775 |      666
678.29/678.62	c  677s |      16 |  5353294 |   139452 |    67291      3 |      775 |      666
680.39/680.72	c  679s |      16 |  5360949 |   139952 |    67291      3 |      775 |      666
682.59/682.93	c  682s |      16 |  5377808 |   140552 |    67291      3 |      775 |      666
684.79/685.17	c  684s |      16 |  5395532 |   140952 |    67291      3 |      775 |      666
687.39/687.75	c  686s |      16 |  5408214 |   141452 |    67291      3 |      775 |      666
689.68/690.10	c  689s |      16 |  5423703 |   141952 |    67291      3 |      775 |      666
691.98/692.35	c  691s |      16 |  5437316 |   142452 |    67291      3 |      775 |      666
694.48/694.84	c  694s |      16 |  5443004 |   142852 |    67291      3 |      775 |      666
696.58/696.98	c  696s |      16 |  5456903 |   143252 |    67291      3 |      775 |      666
698.67/699.01	c  698s |      16 |  5471900 |   143652 |    67291      3 |      775 |      666
700.97/701.37	c  700s |      16 |  5485400 |   144152 |    67291      3 |      775 |      666
703.37/703.73	c  702s |      16 |  5499192 |   144652 |    67291      3 |      775 |      666
705.77/706.11	c  705s |      16 |  5520881 |   145052 |    67291      3 |      775 |      666
707.77/708.15	c  707s |      16 |  5534979 |   145352 |    67291      3 |      775 |      666
709.77/710.19	c  709s |      16 |  5550999 |   145652 |    67291      3 |      775 |      666
711.87/712.23	c  711s |      16 |  5566358 |   145952 |    67291      3 |      775 |      666
714.17/714.54	c  713s |      16 |  5585253 |   146352 |    67291      3 |      775 |      666
716.17/716.57	c  715s |      16 |  5595948 |   146652 |    67291      3 |      775 |      666
718.56/718.98	c  718s |      16 |  5608117 |   147052 |    67291      3 |      775 |      666
720.86/721.23	c  720s |      16 |  5622231 |   147552 |    67291      3 |      775 |      666
723.36/723.78	c  722s |      16 |  5636119 |   148152 |    67291      3 |      775 |      666
725.67/726.09	c  725s |      16 |  5644189 |   148552 |    67291      3 |      775 |      666
727.96/728.38	c  727s |      16 |  5645250 |   148852 |    67291      3 |      775 |      666
730.16/730.54	c  729s |      16 |  5654988 |   149252 |    67291      3 |      775 |      666
732.65/733.06	c  732s |      16 |  5659682 |   149752 |    67291      3 |      775 |      666
735.35/735.78	c  734s |      16 |  5667213 |   150252 |    67291      3 |      775 |      666
737.45/737.88	c  737s |      16 |  5681427 |   150652 |    67291      3 |      775 |      666
740.25/740.63	c  739s |      16 |  5684516 |   150952 |    67291      3 |      775 |      666
742.85/743.20	c  742s |      16 |  5703596 |   151452 |    67291      3 |      775 |      666
744.85/745.25	c  744s |      16 |  5721090 |   151752 |    67291      3 |      775 |      666
747.35/747.77	c  746s |      16 |  5735743 |   152152 |    67291      3 |      775 |      666
749.74/750.15	c  749s |      16 |  5752059 |   152552 |    67291      3 |      775 |      666
752.24/752.61	c  751s |      16 |  5768755 |   153052 |    67291      3 |      775 |      666
754.25/754.63	c  753s |      16 |  5779166 |   153452 |    67291      3 |      775 |      666
756.64/757.09	c  756s |      16 |  5796829 |   153852 |    67291      3 |      775 |      666
759.84/760.21	c  759s |      16 |  5817107 |   154252 |    67291      3 |      775 |      666
762.14/762.56	c  761s |      16 |  5825014 |   154752 |    67291      3 |      775 |      666
764.63/765.04	c  764s |      16 |  5840855 |   155252 |    67291      3 |      775 |      666
766.73/767.12	c  766s |      16 |  5858134 |   155552 |    67291      3 |      775 |      666
768.83/769.22	c  768s |      16 |  5871687 |   155852 |    67291      3 |      775 |      666
771.13/771.50	c  770s |      16 |  5885786 |   156152 |    67291      3 |      775 |      666
773.83/774.23	c  773s |      16 |  5898539 |   156652 |    67291      3 |      775 |      666
776.13/776.50	c  775s |      16 |  5906067 |   157052 |    67291      3 |      775 |      666
778.82/779.21	c  778s |      16 |  5926916 |   157452 |    67291      3 |      775 |      666
781.52/781.90	c  781s |      16 |  5943179 |   157852 |    67291      3 |      775 |      666
783.72/784.15	c  783s |      16 |  5959963 |   158152 |    67291      3 |      775 |      666
786.52/786.95	c  786s |      16 |  5974783 |   158552 |    67291      3 |      775 |      666
788.92/789.38	c  788s |      16 |  5987743 |   158952 |    67291      3 |      775 |      666
791.62/792.05	c  791s |      16 |  5994927 |   159052 |    67291      4 |      775 |      666
794.01/794.46	c  793s |      16 |  6014753 |   159452 |    67291      4 |      775 |      666
796.41/796.85	c  796s |      16 |  6033508 |   159852 |    67291      4 |      775 |      666
798.71/799.14	c  798s |      16 |  6051804 |   160252 |    67291      4 |      775 |      666
801.41/801.88	c  801s |      16 |  6070373 |   160652 |    67291      4 |      776 |      667
803.51/803.99	c  803s |      16 |  6084340 |   161052 |    67291      4 |      776 |      667
805.61/806.03	c  805s |      16 |  6101090 |   161452 |    67291      4 |      776 |      667
807.90/808.33	c  807s |      16 |  6121473 |   161952 |    67291      4 |      776 |      667
810.10/810.50	c  809s |      16 |  6139134 |   162452 |    67291      4 |      776 |      667
812.40/812.82	c  812s |      16 |  6157899 |   162952 |    67291      4 |      776 |      667
814.71/815.17	c  814s |      16 |  6171730 |   163452 |    67291      4 |      776 |      667
817.01/817.44	c  816s |      16 |  6194081 |   163852 |    67291      4 |      776 |      667
819.60/820.00	c  819s |      16 |  6209171 |   164352 |    67291      4 |      776 |      667
822.00/822.43	c  821s |      16 |  6235237 |   164852 |    67291      4 |      776 |      667
824.40/824.81	c  823s |      16 |  6253797 |   165352 |    67291      4 |      776 |      667
826.90/827.38	c  826s |      16 |  6271425 |   165852 |    67291      4 |      776 |      667
829.10/829.58	c  828s |      16 |  6275301 |   166352 |    67291      4 |      776 |      667
831.60/832.10	c  831s |      16 |  6288376 |   166952 |    67291      4 |      776 |      667
833.80/834.20	c  833s |      16 |  6303351 |   167352 |    67291      4 |      776 |      667
836.00/836.42	c  835s |      16 |  6320363 |   167752 |    67291      4 |      776 |      667
838.09/838.55	c  837s |      16 |  6324724 |   168152 |    67291      4 |      776 |      667
840.49/840.95	c  840s |      16 |  6335314 |   168652 |    67291      4 |      776 |      667
842.69/843.11	c  842s |      16 |  6356748 |   169052 |    67291      4 |      776 |      667
845.09/845.50	c  844s |      16 |  6370073 |   169552 |    67291      4 |      776 |      667
847.39/847.87	c  847s |      16 |  6371814 |   170052 |    67291      4 |      776 |      667
849.59/850.05	c  849s |      16 |  6384992 |   170452 |    67291      4 |      776 |      667
852.21/852.62	c  851s |      16 |  6398444 |   171052 |    67291      4 |      776 |      667
854.90/855.35	c  854s |      16 |  6417750 |   171552 |    67291      4 |      776 |      667
857.30/857.73	c  856s |      16 |  6438421 |   171952 |    67291      4 |      776 |      667
860.00/860.48	c  859s |      16 |  6462565 |   172352 |    67291      4 |      776 |      667
862.50/862.97	c  862s |      16 |  6479707 |   172852 |    67291      4 |      776 |      667
864.70/865.17	c  864s |      16 |  6496261 |   173252 |    67291      4 |      776 |      667
866.80/867.21	c  866s |      16 |  6515431 |   173552 |    67291      4 |      776 |      667
869.00/869.44	c  868s |      16 |  6530622 |   174052 |    67291      4 |      776 |      667
871.10/871.52	c  870s |      16 |  6538860 |   174452 |    67291      4 |      776 |      667
873.30/873.78	c  872s |      16 |  6547212 |   174952 |    67291      4 |      776 |      667
875.70/876.11	c  875s |      16 |  6556687 |   175552 |    67291      4 |      776 |      667
877.80/878.24	c  877s |      16 |  6566141 |   176052 |    67291      4 |      776 |      667
880.09/880.59	c  879s |      16 |  6573255 |   176552 |    67291      4 |      776 |      667
882.69/883.18	c  882s |      16 |  6587126 |   177052 |    67291      4 |      776 |      667
884.89/885.34	c  884s |      16 |  6599249 |   177552 |    67291      4 |      776 |      667
887.30/887.73	c  886s |      16 |  6614248 |   177952 |    67291      4 |      776 |      667
889.79/890.29	c  889s |      16 |  6619835 |   178452 |    67291      4 |      776 |      667
892.59/893.01	c  892s |      16 |  6621726 |   178952 |    67291      4 |      776 |      667
894.59/895.08	c  894s |      16 |  6623075 |   179352 |    67291      4 |      776 |      667
896.89/897.38	c  896s |      16 |  6631607 |   179852 |    67291      4 |      776 |      667
899.39/899.85	c  899s |      16 |  6652767 |   180252 |    67291      4 |      776 |      667
901.69/902.16	c  901s |      16 |  6667362 |   180652 |    67291      4 |      776 |      667
904.09/904.52	c  903s |      16 |  6681951 |   181052 |    67291      4 |      776 |      667
906.69/907.14	c  906s |      16 |  6704833 |   181352 |    67291      4 |      776 |      667
909.29/909.80	c  908s |      16 |  6725560 |   181752 |    67291      4 |      776 |      667
911.79/912.26	c  911s |      16 |  6742987 |   182152 |    67291      4 |      776 |      667
913.89/914.35	c  913s |      16 |  6754482 |   182552 |    67291      4 |      776 |      667
916.28/916.72	c  915s |      16 |  6767348 |   183052 |    67291      4 |      776 |      667
918.38/918.87	c  918s |      16 |  6784019 |   183452 |    67291      4 |      776 |      667
920.48/920.96	c  920s |      16 |  6796499 |   183852 |    67291      4 |      776 |      667
922.78/923.21	c  922s |      16 |  6812624 |   184252 |    67291      4 |      776 |      667
925.08/925.52	c  924s |      16 |  6832186 |   184552 |    67291      4 |      776 |      667
927.08/927.53	c  926s |      16 |  6843116 |   184852 |    67291      4 |      776 |      667
929.48/929.90	c  929s |      16 |  6857160 |   185352 |    67291      4 |      776 |      667
931.78/932.28	c  931s |      16 |  6869949 |   185752 |    67291      4 |      776 |      667
934.48/934.97	c  934s |      16 |  6890832 |   186152 |    67291      4 |      776 |      667
936.68/937.11	c  936s |      16 |  6905628 |   186552 |    67291      4 |      776 |      667
939.09/939.55	c  938s |      16 |  6917339 |   186852 |    67291      4 |      776 |      667
941.38/941.82	c  941s |      16 |  6925524 |   187252 |    67291      4 |      776 |      667
943.58/944.01	c  943s |      16 |  6939435 |   187652 |    67291      4 |      776 |      667
946.28/946.74	c  945s |      16 |  6945707 |   188252 |    67291      4 |      776 |      667
948.78/949.27	c  948s |      16 |  6966397 |   188552 |    67291      4 |      776 |      667
950.79/951.27	c  950s |      16 |  6980799 |   188852 |    67291      4 |      776 |      667
952.99/953.43	c  952s |      16 |  6998790 |   189252 |    67291      4 |      776 |      667
954.98/955.44	c  954s |      16 |  7013303 |   189552 |    67291      4 |      776 |      667
957.38/957.80	c  956s |      16 |  7019127 |   190052 |    67291      4 |      776 |      667
959.48/959.94	c  959s |      16 |  7027884 |   190452 |    67291      4 |      776 |      667
961.68/962.19	c  961s |      16 |  7042341 |   190852 |    67291      4 |      776 |      667
963.98/964.45	c  963s |      16 |  7056565 |   191252 |    67291      4 |      776 |      667
966.18/966.68	c  965s |      16 |  7068731 |   191652 |    67291      4 |      776 |      667
968.38/968.84	c  968s |      16 |  7076389 |   192052 |    67291      4 |      776 |      667
970.48/970.93	c  970s |      16 |  7079450 |   192552 |    67291      4 |      776 |      667
972.48/972.98	c  972s |      16 |  7086689 |   192952 |    67291      4 |      776 |      667
975.08/975.50	c  974s |      16 |  7088237 |   193352 |    67291      4 |      776 |      667
977.68/978.18	c  977s |      16 |  7104042 |   193752 |    67291      4 |      776 |      667
980.48/980.97	c  980s |      16 |  7109752 |   193852 |    67291      5 |      776 |      667
982.78/983.24	c  982s |      16 |  7128308 |   194252 |    67291      5 |      776 |      667
984.98/985.41	c  984s |      16 |  7140168 |   194752 |    67291      5 |      776 |      667
987.08/987.58	c  986s |      16 |  7153223 |   195252 |    67291      5 |      776 |      667
989.68/990.19	c  989s |      16 |  7164448 |   195752 |    67291      5 |      776 |      667
991.98/992.48	c  991s |      16 |  7166695 |   196152 |    74021      5 |      776 |      667
994.27/994.70	c  993s |      16 |  7176722 |   196652 |    74021      5 |      776 |      667
996.67/997.10	c  996s |      16 |  7197081 |   197152 |    74021      5 |      776 |      667
998.77/999.26	c  998s |      16 |  7200619 |   197352 |    74021      5 |      776 |      667
999.48/999.92	c  999s |      17 |  7207657 |   197432 |    74021      5 |      776 |      667
1001.47/1001.93	c 1001s |      17 |  7217679 |   197732 |    74021      5 |      776 |      667
1003.67/1004.19	c 1003s |      17 |  7230323 |   198132 |    74021      5 |      776 |      667
1006.27/1006.78	c 1005s |      17 |  7244586 |   198532 |    74021      5 |      776 |      667
1008.47/1008.93	c 1008s |      17 |  7261459 |   198832 |    74021      5 |      776 |      667
1010.77/1011.20	c 1010s |      17 |  7283362 |   199132 |    74021      5 |      776 |      667
1013.07/1013.54	c 1012s |      17 |  7297613 |   199532 |    74021      5 |      776 |      667
1015.77/1016.24	c 1015s |      17 |  7321483 |   199932 |    74021      5 |      776 |      667
1018.07/1018.53	c 1017s |      17 |  7340352 |   200332 |    74021      5 |      776 |      667
1020.48/1020.96	c 1020s |      17 |  7360554 |   200732 |    74021      5 |      776 |      667
1022.68/1023.19	c 1022s |      17 |  7373496 |   201132 |    74021      5 |      776 |      667
1025.17/1025.69	c 1024s |      17 |  7392171 |   201632 |    74021      5 |      776 |      667
1027.37/1027.80	c 1026s |      17 |  7406253 |   202132 |    74021      5 |      776 |      667
1029.37/1029.82	c 1029s |      17 |  7420892 |   202632 |    74021      5 |      776 |      667
1031.48/1031.97	c 1031s |      17 |  7438857 |   202932 |    74021      5 |      776 |      667
1033.77/1034.23	c 1033s |      17 |  7455051 |   203432 |    74021      5 |      776 |      667
1036.17/1036.66	c 1035s |      17 |  7471681 |   203932 |    74021      5 |      776 |      667
1038.57/1039.06	c 1038s |      17 |  7480342 |   204332 |    74021      5 |      776 |      667
1040.77/1041.24	c 1040s |      17 |  7496030 |   204732 |    74021      5 |      776 |      667
1043.17/1043.64	c 1042s |      17 |  7516678 |   205232 |    74021      5 |      776 |      667
1045.57/1046.07	c 1045s |      17 |  7525750 |   205732 |    74021      5 |      776 |      667
1048.26/1048.77	c 1047s |      17 |  7526650 |   206032 |    74021      5 |      776 |      667
1050.36/1050.82	c 1050s |      17 |  7527831 |   206332 |    74021      5 |      776 |      667
1052.37/1052.87	c 1052s |      17 |  7528417 |   206532 |    74021      5 |      776 |      667
1054.97/1055.41	c 1054s |      17 |  7528716 |   206732 |    74021      5 |      776 |      667
1057.57/1058.00	c 1057s |      17 |  7530029 |   207032 |    74021      5 |      776 |      667
1059.67/1060.17	c 1059s |      17 |  7530908 |   207332 |    74021      5 |      776 |      667
1061.77/1062.27	c 1061s |      17 |  7540666 |   207632 |    74021      5 |      776 |      667
1063.97/1064.49	c 1063s |      17 |  7553565 |   208032 |    74021      5 |      776 |      667
1066.16/1066.61	c 1065s |      17 |  7572732 |   208332 |    74021      5 |      776 |      667
1068.87/1069.31	c 1068s |      17 |  7591210 |   208732 |    74021      5 |      776 |      667
1071.26/1071.71	c 1070s |      17 |  7613487 |   209132 |    74021      5 |      776 |      667
1073.76/1074.24	c 1073s |      17 |  7631798 |   209632 |    74021      5 |      776 |      667
1076.47/1076.98	c 1076s |      17 |  7647406 |   210132 |    74021      5 |      776 |      667
1078.86/1079.35	c 1078s |      17 |  7658748 |   210532 |    74021      5 |      776 |      667
1081.16/1081.66	c 1080s |      17 |  7663975 |   210932 |    74021      5 |      776 |      667
1083.36/1083.83	c 1083s |      17 |  7677036 |   211332 |    74021      5 |      776 |      667
1085.76/1086.27	c 1085s |      17 |  7690537 |   211732 |    74021      5 |      776 |      667
1087.76/1088.28	c 1087s |      17 |  7704457 |   212032 |    74021      5 |      776 |      667
1090.16/1090.63	c 1089s |      17 |  7721831 |   212432 |    74021      5 |      776 |      667
1092.66/1093.11	c 1092s |      17 |  7735092 |   212832 |    74021      5 |      776 |      667
1094.66/1095.18	c 1094s |      17 |  7749370 |   213232 |    74021      5 |      776 |      667
1096.66/1097.19	c 1096s |      17 |  7755584 |   213632 |    74021      5 |      776 |      667
1098.86/1099.37	c 1098s |      17 |  7761332 |   213932 |    74021      5 |      776 |      667
1101.56/1102.06	c 1101s |      17 |  7778942 |   214332 |    74021      5 |      776 |      667
1103.56/1104.08	c 1103s |      17 |  7789874 |   214732 |    74021      5 |      776 |      667
1106.06/1106.59	c 1105s |      17 |  7799700 |   215232 |    74021      5 |      776 |      667
1108.36/1108.84	c 1108s |      17 |  7811183 |   215532 |    74021      5 |      776 |      667
1110.46/1110.94	c 1110s |      17 |  7821659 |   215832 |    74021      5 |      776 |      667
1112.76/1113.26	c 1112s |      17 |  7834348 |   216232 |    74021      5 |      776 |      667
1115.36/1115.89	c 1115s |      17 |  7847647 |   216632 |    74021      5 |      776 |      667
1117.56/1118.01	c 1117s |      17 |  7859062 |   217032 |    74021      5 |      776 |      667
1119.95/1120.42	c 1119s |      17 |  7877310 |   217432 |    74021      5 |      776 |      667
1122.45/1122.95	c 1122s |      17 |  7893795 |   217832 |    74021      5 |      776 |      667
1125.05/1125.52	c 1124s |      17 |  7910339 |   218332 |    74021      5 |      776 |      667
1127.55/1128.10	c 1127s |      17 |  7928139 |   218732 |    74021      5 |      776 |      667
1130.15/1130.61	c 1129s |      17 |  7938647 |   219032 |    74021      5 |      777 |      668
1132.15/1132.62	c 1131s |      17 |  7952876 |   219432 |    74021      5 |      777 |      668
1134.65/1135.16	c 1134s |      17 |  7969726 |   219832 |    74021      5 |      777 |      668
1136.96/1137.41	c 1136s |      17 |  7987498 |   220132 |    74021      5 |      777 |      668
1138.95/1139.46	c 1138s |      17 |  8000555 |   220432 |    74021      5 |      777 |      668
1141.15/1141.62	c 1140s |      17 |  8017737 |   220832 |    74021      5 |      777 |      668
1143.35/1143.85	c 1143s |      17 |  8023137 |   221332 |    74021      5 |      777 |      668
1145.45/1145.95	c 1145s |      17 |  8025083 |   221832 |    74021      5 |      777 |      668
1147.45/1147.95	c 1147s |      17 |  8033444 |   222132 |    74021      5 |      777 |      668
1149.45/1149.98	c 1149s |      17 |  8046939 |   222532 |    74021      5 |      777 |      668
1151.65/1152.16	c 1151s |      17 |  8061177 |   222832 |    74021      5 |      777 |      668
1154.25/1154.77	c 1153s |      17 |  8082055 |   223232 |    74021      5 |      777 |      668
1156.65/1157.20	c 1156s |      17 |  8096329 |   223632 |    74021      5 |      777 |      668
1158.85/1159.40	c 1158s |      17 |  8107168 |   224032 |    74021      5 |      777 |      668
1160.95/1161.49	c 1160s |      17 |  8111055 |   224432 |    74021      5 |      777 |      668
1163.35/1163.86	c 1163s |      17 |  8128627 |   224832 |    74021      5 |      777 |      668
1165.75/1166.26	c 1165s |      17 |  8141880 |   225232 |    74021      5 |      777 |      668
1167.95/1168.41	c 1167s |      17 |  8154411 |   225532 |    74021      5 |      777 |      668
1170.05/1170.59	c 1169s |      17 |  8165919 |   225932 |    74021      5 |      777 |      668
1172.55/1173.02	c 1172s |      17 |  8179813 |   226332 |    74021      5 |      777 |      668
1174.75/1175.27	c 1174s |      17 |  8196158 |   226632 |    74021      5 |      777 |      668
1177.15/1177.64	c 1176s |      17 |  8208615 |   227032 |    74021      5 |      777 |      668
1179.54/1180.01	c 1179s |      17 |  8223650 |   227332 |    74021      5 |      777 |      668
1182.05/1182.59	c 1181s |      17 |  8237067 |   227732 |    74021      5 |      777 |      668
1184.35/1184.83	c 1184s |      17 |  8248251 |   228132 |    74021      5 |      777 |      668
1186.34/1186.85	c 1186s |      17 |  8258254 |   228432 |    74021      5 |      777 |      668
1188.84/1189.33	c 1188s |      17 |  8270546 |   228932 |    74021      5 |      777 |      668
1191.04/1191.55	c 1190s |      17 |  8277024 |   229332 |    74021      5 |      777 |      668
1193.24/1193.71	c 1192s |      17 |  8284267 |   229632 |    74021      5 |      777 |      668
1195.54/1196.09	c 1195s |      17 |  8284987 |   229832 |    74021      5 |      777 |      668
1198.04/1198.50	c 1197s |      17 |  8288072 |   230032 |    74021      5 |      777 |      668
1200.04/1200.56	c 1199s |      17 |  8295912 |   230332 |    74021      5 |      777 |      668
1202.44/1202.95	c 1202s |      17 |  8308183 |   230732 |    74021      5 |      777 |      668
1205.64/1206.13	c 1205s |      17 |  8318979 |   231032 |    74021      5 |      778 |      669
1207.84/1208.32	c 1207s |      17 |  8332957 |   231432 |    74021      5 |      778 |      669
1210.34/1210.86	c 1210s |      17 |  8351038 |   231732 |    74021      5 |      778 |      669
1213.34/1213.86	c 1213s |      17 |  8354757 |   232032 |    74021      5 |      778 |      669
1215.44/1215.96	c 1215s |      17 |  8356126 |   232232 |    74021      5 |      778 |      669
1217.74/1218.28	c 1217s |      17 |  8371815 |   232532 |    74021      5 |      778 |      669
1220.14/1220.66	c 1219s |      17 |  8388187 |   232932 |    74021      5 |      778 |      669
1222.44/1222.94	c 1222s |      17 |  8402112 |   233332 |    74021      5 |      778 |      669
1224.54/1225.07	c 1224s |      17 |  8406275 |   233632 |    74021      5 |      778 |      669
1226.84/1227.39	c 1226s |      17 |  8420145 |   233932 |    74021      5 |      778 |      669
1229.34/1229.86	c 1229s |      17 |  8441381 |   234232 |    74021      5 |      778 |      669
1231.83/1232.30	c 1231s |      17 |  8455737 |   234532 |    74021      5 |      778 |      669
1235.73/1236.27	c 1235s |      17 |  8472294 |   234832 |    74021      6 |      778 |      669
1238.03/1238.53	c 1237s |      17 |  8483552 |   235332 |    74021      6 |      778 |      669
1240.23/1240.71	c 1239s |      17 |  8485535 |   235732 |    74021      6 |      778 |      669
1242.23/1242.77	c 1241s |      17 |  8486162 |   235932 |    74021      6 |      778 |      669
1245.13/1245.64	c 1244s |      17 |  8486944 |   236232 |    74021      6 |      778 |      669
1247.24/1247.70	c 1246s |      17 |  8489117 |   236532 |    74021      6 |      778 |      669
1249.94/1250.45	c 1249s |      17 |  8490723 |   236832 |    74021      6 |      778 |      669
1252.54/1253.08	c 1252s |      17 |  8493367 |   237132 |    74021      6 |      778 |      669
1255.23/1255.75	c 1254s |      17 |  8494901 |   237432 |    74021      6 |      778 |      669
1257.73/1258.26	c 1257s |      17 |  8513531 |   237932 |    74021      6 |      778 |      669
1259.93/1260.40	c 1259s |      17 |  8535429 |   238332 |    74021      6 |      778 |      669
1262.23/1262.72	c 1261s |      17 |  8556973 |   238732 |    74021      6 |      778 |      669
1264.23/1264.77	c 1263s |      17 |  8574035 |   239132 |    74021      6 |      778 |      669
1266.33/1266.88	c 1266s |      17 |  8593375 |   239532 |    74021      6 |      778 |      669
1268.43/1268.95	c 1268s |      17 |  8603655 |   239932 |    74021      6 |      778 |      669
1271.03/1271.56	c 1270s |      17 |  8604803 |   240332 |    74021      6 |      778 |      669
1273.53/1274.07	c 1273s |      17 |  8628556 |   240732 |    74021      6 |      778 |      669
1275.83/1276.40	c 1275s |      17 |  8644493 |   241132 |    74021      6 |      778 |      669
1278.73/1279.27	c 1278s |      17 |  8667338 |   241632 |    74021      6 |      778 |      669
1281.03/1281.58	c 1280s |      17 |  8685931 |   242032 |    74021      6 |      778 |      669
1283.13/1283.69	c 1282s |      17 |  8699601 |   242432 |    74021      6 |      778 |      669
1285.44/1285.94	c 1285s |      17 |  8713844 |   242932 |    74021      6 |      778 |      669
1287.74/1288.22	c 1287s |      17 |  8729393 |   243332 |    74021      6 |      778 |      669
1289.84/1290.38	c 1289s |      17 |  8739447 |   243832 |    74021      6 |      778 |      669
1292.73/1293.28	c 1292s |      17 |  8744366 |   244232 |    74021      6 |      778 |      669
1295.23/1295.80	c 1294s |      17 |  8756934 |   244632 |    74021      6 |      778 |      669
1297.73/1298.23	c 1297s |      17 |  8773715 |   245032 |    74021      6 |      778 |      669
1300.03/1300.52	c 1299s |      17 |  8785825 |   245432 |    74021      6 |      778 |      669
1302.23/1302.74	c 1301s |      17 |  8804672 |   245832 |    74021      6 |      778 |      669
1304.23/1304.77	c 1303s |      17 |  8822558 |   246132 |    74021      6 |      778 |      669
1306.33/1306.85	c 1306s |      17 |  8828036 |   246632 |    74021      6 |      778 |      669
1308.63/1309.13	c 1308s |      17 |  8841695 |   247032 |    74021      6 |      778 |      669
1310.93/1311.46	c 1310s |      17 |  8859188 |   247432 |    74021      6 |      778 |      669
1313.23/1313.75	c 1312s |      17 |  8874868 |   247832 |    74021      6 |      778 |      669
1315.33/1315.81	c 1315s |      17 |  8890033 |   248132 |    74021      6 |      778 |      669
1317.33/1317.90	c 1317s |      17 |  8902303 |   248532 |    74021      6 |      778 |      669
1319.73/1320.27	c 1319s |      17 |  8904299 |   248932 |    74021      6 |      778 |      669
1321.83/1322.39	c 1321s |      17 |  8918019 |   249332 |    74021      6 |      778 |      669
1324.32/1324.83	c 1324s |      17 |  8930246 |   249832 |    74021      6 |      778 |      669
1326.72/1327.22	c 1326s |      17 |  8947923 |   250232 |    74021      6 |      778 |      669
1329.02/1329.59	c 1328s |      17 |  8958881 |   250732 |    74021      6 |      778 |      669
1331.22/1331.72	c 1330s |      17 |  8964559 |   251232 |    74021      6 |      778 |      669
1333.62/1334.16	c 1333s |      17 |  8979093 |   251632 |    74021      6 |      778 |      669
1335.82/1336.31	c 1335s |      17 |  8996212 |   252032 |    74021      6 |      778 |      669
1338.23/1338.77	c 1337s |      17 |  9005714 |   252532 |    74021      6 |      778 |      669
1340.62/1341.13	c 1340s |      17 |  9020443 |   252932 |    74021      6 |      778 |      669
1343.02/1343.59	c 1342s |      17 |  9041329 |   253332 |    74021      6 |      778 |      669
1345.02/1345.59	c 1344s |      17 |  9055212 |   253632 |    74021      6 |      778 |      669
1347.13/1347.63	c 1346s |      17 |  9067950 |   254032 |    74021      6 |      778 |      669
1349.23/1349.72	c 1348s |      17 |  9086218 |   254332 |    74021      6 |      778 |      669
1351.72/1352.23	c 1351s |      17 |  9110398 |   254732 |    74021      6 |      778 |      669
1354.32/1354.80	c 1353s |      17 |  9118306 |   255232 |    74021      6 |      778 |      669
1356.52/1357.05	c 1356s |      17 |  9134748 |   255632 |    74021      6 |      778 |      669
1359.02/1359.58	c 1358s |      17 |  9151959 |   256032 |    74021      6 |      778 |      669
1361.02/1361.59	c 1360s |      17 |  9161751 |   256432 |    74021      6 |      778 |      669
1363.22/1363.73	c 1362s |      17 |  9171235 |   256832 |    74021      6 |      778 |      669
1365.62/1366.13	c 1365s |      17 |  9178128 |   257332 |    74021      6 |      778 |      669
1367.93/1368.48	c 1367s |      17 |  9193288 |   257732 |    74021      6 |      778 |      669
1370.52/1371.05	c 1370s |      17 |  9207523 |   258132 |    74021      6 |      778 |      669
1373.12/1373.65	c 1372s |      17 |  9221375 |   258632 |    74021      6 |      778 |      669
1375.52/1376.00	c 1375s |      17 |  9238020 |   259032 |    74021      6 |      778 |      669
1377.82/1378.34	c 1377s |      17 |  9256843 |   259332 |    74021      6 |      778 |      669
1379.92/1380.46	c 1379s |      17 |  9266120 |   259732 |    74021      6 |      778 |      669
1382.41/1382.90	c 1382s |      17 |  9281485 |   260132 |    74021      6 |      778 |      669
1384.71/1385.26	c 1384s |      17 |  9294022 |   260532 |    74021      6 |      778 |      669
1386.81/1387.35	c 1386s |      17 |  9301953 |   260932 |    74021      6 |      778 |      669
1388.82/1389.40	c 1388s |      17 |  9309515 |   261232 |    74021      6 |      778 |      669
1391.12/1391.63	c 1390s |      17 |  9311063 |   261632 |    74021      6 |      778 |      669
1393.81/1394.33	c 1393s |      17 |  9312285 |   261932 |    74021      6 |      778 |      669
1397.21/1397.75	c 1396s |      17 |  9313066 |   262232 |    74021      6 |      778 |      669
1399.82/1400.32	c 1399s |      17 |  9313909 |   262432 |    74021      6 |      778 |      669
1401.92/1402.45	c 1401s |      17 |  9315240 |   262632 |    74021      6 |      778 |      669
1405.12/1405.68	c 1404s |      17 |  9316980 |   262832 |    74021      6 |      778 |      669
1407.32/1407.88	c 1407s |      17 |  9318078 |   263032 |    74021      6 |      778 |      669
1409.82/1410.33	c 1409s |      17 |  9331444 |   263432 |    74021      6 |      778 |      669
1412.21/1412.74	c 1411s |      17 |  9342202 |   263832 |    74021      6 |      778 |      669
1414.61/1415.15	c 1414s |      17 |  9347795 |   264232 |    74021      6 |      778 |      669
1416.81/1417.37	c 1416s |      17 |  9353325 |   264632 |    74021      6 |      778 |      669
1419.31/1419.86	c 1419s |      17 |  9370355 |   265032 |    74021      6 |      778 |      669
1421.61/1422.16	c 1421s |      17 |  9383240 |   265432 |    74021      6 |      778 |      669
1423.71/1424.20	c 1423s |      17 |  9397139 |   265732 |    74021      6 |      778 |      669
1426.11/1426.62	c 1425s |      17 |  9399508 |   266132 |    74021      6 |      778 |      669
1428.21/1428.77	c 1427s |      17 |  9400728 |   266432 |    74021      6 |      778 |      669
1431.31/1431.82	c 1431s |      17 |  9403231 |   266932 |    74021      6 |      778 |      669
1433.81/1434.36	c 1433s |      17 |  9404591 |   267232 |    74021      6 |      778 |      669
1436.22/1436.73	c 1435s |      17 |  9406449 |   267532 |    74021      6 |      778 |      669
1438.81/1439.32	c 1438s |      17 |  9407317 |   267732 |    74021      6 |      778 |      669
1441.61/1442.19	c 1441s |      17 |  9408343 |   267932 |    74021      6 |      778 |      669
1444.10/1444.67	c 1443s |      17 |  9409972 |   268232 |    74021      6 |      778 |      669
1447.00/1447.55	c 1446s |      17 |  9417387 |   268532 |    74021      6 |      778 |      669
1449.41/1449.91	c 1449s |      17 |  9427657 |   268932 |    74021      6 |      778 |      669
1451.70/1452.25	c 1451s |      17 |  9435898 |   269432 |    74021      6 |      778 |      669
1454.10/1454.62	c 1453s |      17 |  9449952 |   269832 |    74021      6 |      778 |      669
1456.20/1456.78	c 1455s |      17 |  9455884 |   270232 |    74021      6 |      778 |      669
1458.40/1458.94	c 1458s |      17 |  9465758 |   270632 |    74021      6 |      778 |      669
1460.90/1461.40	c 1460s |      17 |  9472305 |   271032 |    74021      6 |      778 |      669
1463.00/1463.59	c 1462s |      17 |  9482824 |   271332 |    74021      6 |      778 |      669
1465.10/1465.62	c 1464s |      17 |  9490298 |   271632 |    74021      6 |      778 |      669
1467.30/1467.80	c 1466s |      17 |  9497015 |   271932 |    74021      6 |      778 |      669
1469.60/1470.14	c 1469s |      17 |  9513448 |   272232 |    74021      6 |      778 |      669
1471.60/1472.18	c 1471s |      17 |  9518497 |   272532 |    74021      6 |      778 |      669
1474.00/1474.57	c 1473s |      17 |  9527463 |   272832 |    74021      6 |      778 |      669
1476.31/1476.83	c 1476s |      17 |  9539667 |   273132 |    74021      6 |      778 |      669
1481.31/1481.83	c 1481s |      17 |  9548760 |   273532 |    74021      7 |      778 |      669
1483.41/1483.95	c 1483s |      17 |  9561797 |   274032 |    74021      7 |      778 |      669
1485.71/1486.28	c 1485s |      17 |  9571410 |   274532 |    74021      7 |      778 |      669
1487.91/1488.41	c 1487s |      17 |  9574168 |   275032 |    74021      7 |      778 |      669
1490.30/1490.83	c 1490s |      17 |  9584359 |   275632 |    74021      7 |      778 |      669
1492.60/1493.15	c 1492s |      17 |  9598334 |   276132 |    74021      7 |      778 |      669
1494.70/1495.23	c 1494s |      17 |  9604824 |   276532 |    74021      7 |      778 |      669
1496.90/1497.41	c 1496s |      17 |  9614717 |   277132 |    74021      7 |      778 |      669
1499.00/1499.53	c 1498s |      17 |  9616799 |   277532 |    74021      7 |      778 |      669
1501.70/1502.27	c 1501s |      17 |  9625082 |   278032 |    74021      7 |      778 |      669
1504.49/1505.01	c 1504s |      17 |  9626946 |   278432 |    74021      7 |      778 |      669
1506.69/1507.26	c 1506s |      17 |  9627720 |   278732 |    74021      7 |      778 |      669
1509.19/1509.79	c 1508s |      17 |  9629072 |   279032 |    74021      7 |      778 |      669
1511.49/1512.09	c 1511s |      17 |  9636603 |   279432 |    74021      7 |      778 |      669
1513.99/1514.59	c 1513s |      17 |  9652495 |   279932 |    74021      7 |      778 |      669
1516.40/1516.99	c 1516s |      17 |  9667565 |   280332 |    74021      7 |      778 |      669
1518.99/1519.50	c 1518s |      17 |  9683455 |   280732 |    74021      7 |      779 |      670
1520.99/1521.58	c 1520s |      17 |  9704897 |   281132 |    74021      7 |      779 |      670
1523.10/1523.63	c 1522s |      17 |  9717947 |   281532 |    74021      7 |      779 |      670
1525.49/1526.03	c 1525s |      17 |  9731941 |   281932 |    74021      7 |      779 |      670
1527.79/1528.30	c 1527s |      17 |  9753970 |   282332 |    74021      7 |      779 |      670
1529.79/1530.35	c 1529s |      17 |  9771164 |   282732 |    74021      7 |      779 |      670
1532.09/1532.64	c 1531s |      17 |  9793263 |   283132 |    74021      7 |      779 |      670
1534.29/1534.89	c 1534s |      17 |  9802262 |   283732 |    74021      7 |      779 |      670
1536.39/1536.92	c 1536s |      17 |  9818450 |   284132 |    74021      7 |      779 |      670
1538.69/1539.27	c 1538s |      17 |  9839151 |   284532 |    74021      7 |      779 |      670
1541.19/1541.78	c 1540s |      17 |  9859650 |   284932 |    74021      7 |      779 |      670
1543.90/1544.44	c 1543s |      17 |  9878914 |   285432 |    74021      7 |      779 |      670
1545.99/1546.52	c 1545s |      17 |  9896220 |   285832 |    74021      7 |      779 |      670
1548.09/1548.65	c 1547s |      17 |  9910465 |   286132 |    74021      7 |      779 |      670
1550.29/1550.89	c 1550s |      17 |  9935411 |   286432 |    74021      7 |      779 |      670
1552.59/1553.11	c 1552s |      17 |  9950189 |   286832 |    74021      7 |      779 |      670
1554.59/1555.20	c 1554s |      17 |  9966638 |   287232 |    74021      7 |      779 |      670
1556.79/1557.36	c 1556s |      17 |  9983723 |   287632 |    74021      7 |      779 |      670
1559.30/1559.84	c 1559s |      17 |  9998138 |   288032 |    74021      7 |      779 |      670
1562.09/1562.63	c 1561s |      17 | 10013678 |   288432 |    74021      7 |      779 |      670
1564.49/1565.01	c 1564s |      17 | 10034318 |   288732 |    74021      7 |      779 |      670
1566.49/1567.06	c 1566s |      17 | 10044032 |   289232 |    74021      7 |      779 |      670
1568.59/1569.14	c 1568s |      17 | 10044844 |   289532 |    74021      7 |      779 |      670
1570.99/1571.53	c 1570s |      17 | 10051660 |   289932 |    74021      7 |      779 |      670
1573.19/1573.79	c 1572s |      17 | 10059368 |   290432 |    74021      7 |      779 |      670
1575.29/1575.80	c 1574s |      17 | 10075705 |   290732 |    74021      7 |      779 |      670
1577.49/1578.02	c 1577s |      17 | 10093120 |   291132 |    74021      7 |      779 |      670
1579.49/1580.05	c 1579s |      17 | 10101694 |   291532 |    74021      7 |      779 |      670
1582.29/1582.85	c 1582s |      17 | 10130132 |   291932 |    74021      7 |      779 |      670
1584.69/1585.22	c 1584s |      17 | 10147100 |   292332 |    74021      7 |      779 |      670
1586.69/1587.24	c 1586s |      17 | 10165647 |   292632 |    74021      7 |      779 |      670
1589.09/1589.69	c 1588s |      17 | 10184816 |   293032 |    74021      7 |      779 |      670
1591.49/1592.01	c 1591s |      17 | 10198100 |   293432 |    74021      7 |      779 |      670
1593.58/1594.15	c 1593s |      17 | 10212123 |   293832 |    74021      7 |      779 |      670
1596.38/1596.95	c 1596s |      17 | 10230722 |   294332 |    81424      7 |      779 |      670
1598.78/1599.37	c 1598s |      17 | 10245341 |   294832 |    81424      7 |      779 |      670
1601.38/1601.97	c 1601s |      17 | 10262255 |   295232 |    81424      7 |      779 |      670
1603.98/1604.57	c 1603s |      17 | 10273182 |   295632 |    81424      7 |      779 |      670
1606.08/1606.66	c 1605s |      17 | 10281180 |   296132 |    81424      7 |      779 |      670
1606.59/1607.19	c 1606s |      18 | 10281867 |   296252 |    81424      7 |      779 |      670
1608.98/1609.52	c 1608s |      18 | 10294557 |   296452 |    81424      7 |      779 |      670
1611.28/1611.88	c 1611s |      18 | 10311377 |   296852 |    81424      7 |      779 |      670
1613.88/1614.42	c 1613s |      18 | 10325285 |   297252 |    81424      7 |      779 |      670
1616.08/1616.62	c 1615s |      18 | 10338850 |   297752 |    81424      7 |      779 |      670
1618.69/1619.22	c 1618s |      18 | 10361042 |   298152 |    81424      7 |      779 |      670
1620.99/1621.58	c 1620s |      18 | 10373061 |   298552 |    81424      7 |      779 |      670
1623.28/1623.86	c 1623s |      18 | 10386232 |   299052 |    81424      7 |      779 |      670
1625.48/1626.07	c 1625s |      18 | 10395997 |   299352 |    81424      7 |      779 |      670
1627.48/1628.10	c 1627s |      18 | 10411845 |   299752 |    81424      7 |      779 |      670
1629.98/1630.56	c 1629s |      18 | 10423923 |   300352 |    81424      7 |      779 |      670
1632.68/1633.22	c 1632s |      18 | 10444145 |   300852 |    81424      7 |      779 |      670
1635.08/1635.62	c 1634s |      18 | 10462723 |   301152 |    81424      7 |      779 |      670
1637.28/1637.90	c 1637s |      18 | 10482631 |   301452 |    81424      7 |      779 |      670
1639.88/1640.49	c 1639s |      18 | 10502406 |   301852 |    81424      7 |      779 |      670
1641.98/1642.57	c 1641s |      18 | 10512639 |   302252 |    81424      7 |      779 |      670
1644.68/1645.27	c 1644s |      18 | 10531816 |   302652 |    81424      7 |      779 |      670
1647.38/1647.92	c 1647s |      18 | 10534181 |   303052 |    81424      7 |      779 |      670
1649.48/1650.10	c 1649s |      18 | 10541891 |   303452 |    81424      7 |      779 |      670
1651.68/1652.21	c 1651s |      18 | 10552133 |   303952 |    81424      7 |      779 |      670
1654.17/1654.70	c 1653s |      18 | 10570670 |   304352 |    81424      7 |      779 |      670
1656.37/1656.93	c 1656s |      18 | 10582926 |   304852 |    81424      7 |      779 |      670
1658.77/1659.31	c 1658s |      18 | 10600803 |   305252 |    81424      7 |      779 |      670
1661.37/1661.97	c 1661s |      18 | 10618882 |   305652 |    81424      7 |      779 |      670
1663.67/1664.20	c 1663s |      18 | 10634896 |   306152 |    81424      7 |      779 |      670
1666.57/1667.16	c 1666s |      18 | 10651952 |   306652 |    81424      7 |      779 |      670
1668.97/1669.55	c 1668s |      18 | 10657343 |   306952 |    81424      7 |      779 |      670
1671.07/1671.60	c 1670s |      18 | 10669985 |   307352 |    81424      7 |      779 |      670
1673.27/1673.86	c 1673s |      18 | 10683536 |   307752 |    81424      7 |      779 |      670
1676.07/1676.61	c 1675s |      18 | 10702916 |   308252 |    81424      7 |      779 |      670
1678.18/1678.71	c 1677s |      18 | 10713321 |   308652 |    81424      7 |      779 |      670
1680.67/1681.24	c 1680s |      18 | 10724761 |   309152 |    81424      7 |      779 |      670
1682.87/1683.41	c 1682s |      18 | 10739354 |   309552 |    81424      7 |      779 |      670
1685.47/1686.06	c 1685s |      18 | 10756441 |   309952 |    81424      7 |      779 |      670
1688.07/1688.66	c 1687s |      18 | 10773070 |   310352 |    81424      7 |      779 |      670
1690.27/1690.87	c 1690s |      18 | 10786730 |   310752 |    81424      7 |      779 |      670
1692.67/1693.20	c 1692s |      18 | 10801239 |   311252 |    81424      7 |      779 |      670
1695.07/1695.60	c 1694s |      18 | 10812443 |   311752 |    81424      7 |      779 |      670
1697.27/1697.84	c 1697s |      18 | 10827375 |   312052 |    81424      7 |      779 |      670
1699.47/1700.03	c 1699s |      18 | 10836416 |   312452 |    81424      7 |      779 |      670
1701.86/1702.41	c 1701s |      18 | 10840143 |   312852 |    81424      7 |      779 |      670
1704.47/1705.01	c 1704s |      18 | 10857582 |   313252 |    81424      7 |      779 |      670
1706.67/1707.30	c 1706s |      18 | 10874424 |   313552 |    81424      7 |      779 |      670
1709.16/1709.76	c 1708s |      18 | 10875828 |   313852 |    81424      7 |      779 |      670
1711.76/1712.38	c 1711s |      18 | 10877212 |   314152 |    81424      7 |      779 |      670
1714.17/1714.72	c 1713s |      18 | 10878382 |   314452 |    81424      7 |      779 |      670
1716.47/1717.06	c 1716s |      18 | 10881820 |   314752 |    81424      7 |      779 |      670
1718.66/1719.21	c 1718s |      18 | 10889677 |   315052 |    81424      7 |      779 |      670
1721.46/1722.03	c 1721s |      18 | 10908848 |   315452 |    81424      7 |      779 |      670
1723.46/1724.05	c 1723s |      18 | 10920324 |   315752 |    81424      7 |      779 |      670
1725.56/1726.13	c 1725s |      18 | 10929912 |   316052 |    81424      7 |      779 |      670
1728.06/1728.61	c 1727s |      18 | 10948261 |   316352 |    81424      7 |      779 |      670
1730.97/1731.51	c 1730s |      18 | 10963525 |   316752 |    81424      7 |      779 |      670
1733.36/1733.95	c 1733s |      18 | 10978861 |   317052 |    81424      7 |      779 |      670
1735.46/1736.02	c 1735s |      18 | 10992902 |   317352 |    81424      7 |      779 |      670
1737.76/1738.31	c 1737s |      18 | 11004880 |   317752 |    81424      7 |      779 |      670
1740.56/1741.11	c 1740s |      18 | 11023139 |   318152 |    81424      7 |      779 |      670
1742.76/1743.31	c 1742s |      18 | 11033441 |   318452 |    81424      7 |      779 |      670
1745.17/1745.73	c 1744s |      18 | 11047888 |   318752 |    81424      7 |      779 |      670
1747.56/1748.15	c 1747s |      18 | 11058844 |   319152 |    81424      7 |      779 |      670
1750.16/1750.75	c 1749s |      18 | 11064967 |   319552 |    81424      7 |      779 |      670
1754.86/1755.47	c 1754s |      18 | 11075619 |   319952 |    81424      8 |      779 |      670
1757.05/1757.64	c 1756s |      18 | 11087989 |   320352 |    81424      8 |      779 |      670
1759.56/1760.11	c 1759s |      18 | 11096031 |   320752 |    81424      8 |      779 |      670
1761.66/1762.30	c 1761s |      18 | 11114804 |   321152 |    81424      8 |      779 |      670
1763.96/1764.56	c 1763s |      18 | 11136141 |   321552 |    81424      8 |      779 |      670
1766.65/1767.20	c 1766s |      18 | 11150148 |   322052 |    81424      8 |      779 |      670
1768.85/1769.43	c 1768s |      18 | 11168569 |   322352 |    81424      8 |      780 |      671
1770.96/1771.56	c 1770s |      18 | 11173011 |   322752 |    81424      8 |      780 |      671
1773.06/1773.64	c 1772s |      18 | 11176864 |   323152 |    81424      8 |      780 |      671
1775.16/1775.72	c 1774s |      18 | 11193358 |   323652 |    81424      8 |      780 |      671
1777.26/1777.82	c 1777s |      18 | 11203394 |   324152 |    81424      8 |      780 |      671
1779.26/1779.89	c 1779s |      18 | 11219734 |   324552 |    81424      8 |      780 |      671
1781.56/1782.16	c 1781s |      18 | 11242867 |   324952 |    81424      8 |      780 |      671
1783.76/1784.34	c 1783s |      18 | 11258825 |   325452 |    81424      8 |      780 |      671
1786.16/1786.71	c 1785s |      18 | 11278470 |   325952 |    81424      8 |      780 |      671
1788.55/1789.18	c 1788s |      18 | 11286935 |   326452 |    81424      8 |      780 |      671
1791.05/1791.63	c 1790s |      18 | 11288789 |   326852 |    81424      8 |      780 |      671
1793.66/1794.25	c 1793s |      18 | 11304009 |   327352 |    81424      8 |      780 |      671
1795.86/1796.40	c 1795s |      18 | 11309230 |   327852 |    81424      8 |      780 |      671
1797.96/1798.52	c 1797s |      18 | 11316152 |   328252 |    81424      8 |      780 |      671

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

pid=10166
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.49 2.32 2.22 3/179 10169
/proc/meminfo: memFree=29345672/32872528 swapFree=16252/1391864
[pid=10169] ppid=10166 vsize=672188 CPUtime=0 cores=1,3,5,7
/proc/10169/stat : 10169 (toysat) R 10166 10169 5783 0 -1 4202496 2498 0 0 0 0 0 0 0 20 0 4 0 110384597 688320512 3369 33554432000 4194304 16246674 140735002566560 140735002565984 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 168559 3378 441 2943 0 165453 0
[pid=10169/tid=10170] ppid=10166 vsize=689596 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10170/stat : 10170 (toysat) S 10166 10169 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110384597 706146304 3436 33554432000 4194304 16246674 140735002566560 139829731896560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10169/tid=10171] ppid=10166 vsize=694716 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10171/stat : 10171 (toysat) S 10166 10169 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110384597 711389184 3455 33554432000 4194304 16246674 140735002566560 139829721406704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10169/tid=10172] ppid=10166 vsize=698812 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10172/stat : 10172 (toysat) S 10166 10169 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110384597 715583488 3474 33554432000 4194304 16246674 140735002566560 139829639638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100181 s]
/proc/loadavg: 2.49 2.32 2.22 3/179 10169
/proc/meminfo: memFree=29345672/32872528 swapFree=16252/1391864
[pid=10169] ppid=10166 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/10169/stat : 10169 (toysat) R 10166 10169 5783 0 -1 4202496 28887 0 0 0 5 4 0 0 20 0 4 0 110384597 1333334016 29696 33554432000 4194304 16246674 140735002566560 140735002565872 7371468 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 325521 29713 801 2943 0 322415 0
[pid=10169/tid=10170] ppid=10166 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10170/stat : 10170 (toysat) S 10166 10169 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110384597 1333334016 29725 33554432000 4194304 16246674 140735002566560 139829731896560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10169/tid=10171] ppid=10166 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10171/stat : 10171 (toysat) S 10166 10169 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110384597 1333334016 29736 33554432000 4194304 16246674 140735002566560 139829721406704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10169/tid=10172] ppid=10166 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10172/stat : 10172 (toysat) S 10166 10169 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110384597 1333334016 29747 33554432000 4194304 16246674 140735002566560 139829639638192 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.200544 s]
/proc/loadavg: 2.49 2.32 2.22 3/179 10169
/proc/meminfo: memFree=29345672/32872528 swapFree=16252/1391864
[pid=10169] ppid=10166 vsize=1314372 CPUtime=0.19 cores=1,3,5,7
/proc/10169/stat : 10169 (toysat) R 10166 10169 5783 0 -1 4202496 47388 0 0 0 12 7 0 0 20 0 4 0 110384597 1345916928 48708 33554432000 4194304 16246674 140735002566560 140735002565872 8055512 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 328593 48708 801 2943 0 325487 0
[pid=10169/tid=10170] ppid=10166 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10170/stat : 10170 (toysat) S 10166 10169 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110384597 1345916928 48708 33554432000 4194304 16246674 140735002566560 139829731896560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10169/tid=10171] ppid=10166 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10171/stat : 10171 (toysat) S 10166 10169 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110384597 1345916928 48708 33554432000 4194304 16246674 140735002566560 139829721406704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10169/tid=10172] ppid=10166 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10172/stat : 10172 (toysat) S 10166 10169 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110384597 1345916928 48708 33554432000 4194304 16246674 140735002566560 139829639638192 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) 1314372

[startup+0.300512 s]
/proc/loadavg: 2.49 2.32 2.22 3/179 10169
/proc/meminfo: memFree=29345672/32872528 swapFree=16252/1391864
[pid=10169] ppid=10166 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/10169/stat : 10169 (toysat) R 10166 10169 5783 0 -1 4202496 54040 0 0 0 21 8 0 0 20 0 4 0 110384597 1345916928 55360 33554432000 4194304 16246674 140735002566560 140735002565872 4206912 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 328593 55360 801 2943 0 325487 0
[pid=10169/tid=10170] ppid=10166 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10170/stat : 10170 (toysat) S 10166 10169 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110384597 1345916928 55360 33554432000 4194304 16246674 140735002566560 139829731896560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10169/tid=10171] ppid=10166 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10171/stat : 10171 (toysat) S 10166 10169 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110384597 1345916928 55360 33554432000 4194304 16246674 140735002566560 139829721406704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10169/tid=10172] ppid=10166 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10172/stat : 10172 (toysat) S 10166 10169 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110384597 1345916928 55360 33554432000 4194304 16246674 140735002566560 139829639638192 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) 1314372

[startup+0.700422 s]
/proc/loadavg: 2.49 2.32 2.22 3/179 10169
/proc/meminfo: memFree=29345672/32872528 swapFree=16252/1391864
[pid=10169] ppid=10166 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/10169/stat : 10169 (toysat) R 10166 10169 5783 0 -1 4202496 104382 0 0 0 54 15 0 0 20 0 4 0 110384597 1345916928 105702 33554432000 4194304 16246674 140735002566560 140735002565872 12480933 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 328593 105715 834 2943 0 325487 0
[pid=10169/tid=10170] ppid=10166 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10170/stat : 10170 (toysat) S 10166 10169 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110384597 1345916928 105724 33554432000 4194304 16246674 140735002566560 139829731896560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10169/tid=10171] ppid=10166 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10171/stat : 10171 (toysat) S 10166 10169 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110384597 1345916928 105731 33554432000 4194304 16246674 140735002566560 139829721406704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10169/tid=10172] ppid=10166 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10172/stat : 10172 (toysat) S 10166 10169 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110384597 1345916928 105735 33554432000 4194304 16246674 140735002566560 139829639638192 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) 1314372

[startup+1.50042 s]
/proc/loadavg: 2.49 2.32 2.22 3/183 10173
/proc/meminfo: memFree=28647568/32872528 swapFree=16252/1391864
[pid=10169] ppid=10166 vsize=1314372 CPUtime=1.48 cores=1,3,5,7
/proc/10169/stat : 10169 (toysat) R 10166 10169 5783 0 -1 4202496 218034 0 0 0 120 28 0 0 20 0 4 0 110384597 1345916928 219355 33554432000 4194304 16246674 140735002566560 140735002548480 5669490 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 328593 219361 876 2943 0 325487 0
[pid=10169/tid=10170] ppid=10166 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10170/stat : 10170 (toysat) S 10166 10169 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110384597 1345916928 219365 33554432000 4194304 16246674 140735002566560 139829731896560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10169/tid=10171] ppid=10166 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10171/stat : 10171 (toysat) S 10166 10169 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110384597 1345916928 219369 33554432000 4194304 16246674 140735002566560 139829721406704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10169/tid=10172] ppid=10166 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10172/stat : 10172 (toysat) S 10166 10169 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110384597 1345916928 219372 33554432000 4194304 16246674 140735002566560 139829639638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1314372

[startup+3.10043 s]
/proc/loadavg: 2.49 2.32 2.22 3/183 10173
/proc/meminfo: memFree=28264160/32872528 swapFree=16252/1391864
[pid=10169] ppid=10166 vsize=1315396 CPUtime=3.09 cores=1,3,5,7
/proc/10169/stat : 10169 (toysat) R 10166 10169 5783 0 -1 4202496 269269 0 0 0 274 35 0 0 20 0 4 0 110384597 1346965504 270589 33554432000 4194304 16246674 140735002566560 140735002548480 5661124 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 328849 270589 879 2943 0 325743 0
[pid=10169/tid=10170] ppid=10166 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10170/stat : 10170 (toysat) S 10166 10169 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110384597 1346965504 270589 33554432000 4194304 16246674 140735002566560 139829731896560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10169/tid=10171] ppid=10166 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10171/stat : 10171 (toysat) S 10166 10169 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110384597 1346965504 270589 33554432000 4194304 16246674 140735002566560 139829721406704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10169/tid=10172] ppid=10166 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10172/stat : 10172 (toysat) S 10166 10169 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110384597 1346965504 270589 33554432000 4194304 16246674 140735002566560 139829639638192 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) 1315396

[startup+6.30043 s]
/proc/loadavg: 2.53 2.33 2.23 3/183 10173
/proc/meminfo: memFree=28263204/32872528 swapFree=16252/1391864
[pid=10169] ppid=10166 vsize=1315396 CPUtime=6.28 cores=1,3,5,7
/proc/10169/stat : 10169 (toysat) R 10166 10169 5783 0 -1 4202496 269516 0 0 0 593 35 0 0 20 0 4 0 110384597 1346965504 270836 33554432000 4194304 16246674 140735002566560 140735002548480 12483524 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 328849 270836 882 2943 0 325743 0
[pid=10169/tid=10170] ppid=10166 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10170/stat : 10170 (toysat) S 10166 10169 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110384597 1346965504 270836 33554432000 4194304 16246674 140735002566560 139829731896560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10169/tid=10171] ppid=10166 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10171/stat : 10171 (toysat) S 10166 10169 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110384597 1346965504 270836 33554432000 4194304 16246674 140735002566560 139829721406704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10169/tid=10172] ppid=10166 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10172/stat : 10172 (toysat) S 10166 10169 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110384597 1346965504 270836 33554432000 4194304 16246674 140735002566560 139829639638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1315396

[startup+12.7004 s]
/proc/loadavg: 2.49 2.33 2.22 3/183 10173
/proc/meminfo: memFree=28262948/32872528 swapFree=16252/1391864
[pid=10169] ppid=10166 vsize=1315396 CPUtime=12.68 cores=1,3,5,7
/proc/10169/stat : 10169 (toysat) R 10166 10169 5783 0 -1 4202496 269516 0 0 0 1233 35 0 0 20 0 4 0 110384597 1346965504 270836 33554432000 4194304 16246674 140735002566560 140735002548480 5830005 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 328849 270836 882 2943 0 325743 0
[pid=10169/tid=10170] ppid=10166 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10170/stat : 10170 (toysat) S 10166 10169 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110384597 1346965504 270836 33554432000 4194304 16246674 140735002566560 139829731896560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10169/tid=10171] ppid=10166 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10171/stat : 10171 (toysat) S 10166 10169 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110384597 1346965504 270836 33554432000 4194304 16246674 140735002566560 139829721406704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10169/tid=10172] ppid=10166 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10172/stat : 10172 (toysat) S 10166 10169 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110384597 1346965504 270836 33554432000 4194304 16246674 140735002566560 139829639638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1315396

[startup+25.5005 s]
/proc/loadavg: 2.38 2.31 2.22 3/183 10173
/proc/meminfo: memFree=28263332/32872528 swapFree=16252/1391864
[pid=10169] ppid=10166 vsize=1315396 CPUtime=25.49 cores=1,3,5,7
/proc/10169/stat : 10169 (toysat) R 10166 10169 5783 0 -1 4202496 269516 0 0 0 2513 36 0 0 20 0 4 0 110384597 1346965504 270836 33554432000 4194304 16246674 140735002566560 140735002548480 5829313 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 328849 270836 882 2943 0 325743 0
[pid=10169/tid=10170] ppid=10166 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10170/stat : 10170 (toysat) S 10166 10169 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110384597 1346965504 270836 33554432000 4194304 16246674 140735002566560 139829731896560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10169/tid=10171] ppid=10166 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10171/stat : 10171 (toysat) S 10166 10169 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110384597 1346965504 270836 33554432000 4194304 16246674 140735002566560 139829721406704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10169/tid=10172] ppid=10166 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10172/stat : 10172 (toysat) S 10166 10169 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110384597 1346965504 270836 33554432000 4194304 16246674 140735002566560 139829639638192 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) 1315396

[startup+51.1005 s]
/proc/loadavg: 2.39 2.32 2.22 4/183 10173
/proc/meminfo: memFree=28263284/32872528 swapFree=16252/1391864
[pid=10169] ppid=10166 vsize=1315396 CPUtime=51.08 cores=1,3,5,7
/proc/10169/stat : 10169 (toysat) R 10166 10169 5783 0 -1 4202496 269520 0 0 0 5072 36 0 0 20 0 4 0 110384597 1346965504 270840 33554432000 4194304 16246674 140735002566560 140735002548480 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 328849 270840 885 2943 0 325743 0
[pid=10169/tid=10170] ppid=10166 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10170/stat : 10170 (toysat) S 10166 10169 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110384597 1346965504 270840 33554432000 4194304 16246674 140735002566560 139829731896560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10169/tid=10171] ppid=10166 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10171/stat : 10171 (toysat) S 10166 10169 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110384597 1346965504 270840 33554432000 4194304 16246674 140735002566560 139829721406704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10169/tid=10172] ppid=10166 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10172/stat : 10172 (toysat) S 10166 10169 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110384597 1346965504 270840 33554432000 4194304 16246674 140735002566560 139829639638192 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) 1315396

[startup+102.301 s]
/proc/loadavg: 2.35 2.31 2.22 3/184 10177
/proc/meminfo: memFree=28263196/32872528 swapFree=16252/1391864
[pid=10169] ppid=10166 vsize=1315396 CPUtime=102.28 cores=1,3,5,7
/proc/10169/stat : 10169 (toysat) R 10166 10169 5783 0 -1 4202496 269520 0 0 0 10192 36 0 0 20 0 4 0 110384597 1346965504 270840 33554432000 4194304 16246674 140735002566560 140735002548480 13943668 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 328849 270840 885 2943 0 325743 0
[pid=10169/tid=10170] ppid=10166 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10170/stat : 10170 (toysat) S 10166 10169 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110384597 1346965504 270840 33554432000 4194304 16246674 140735002566560 139829731896560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10169/tid=10171] ppid=10166 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10171/stat : 10171 (toysat) S 10166 10169 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110384597 1346965504 270840 33554432000 4194304 16246674 140735002566560 139829721406704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10169/tid=10172] ppid=10166 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10172/stat : 10172 (toysat) S 10166 10169 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110384597 1346965504 270840 33554432000 4194304 16246674 140735002566560 139829639638192 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) 1315396


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

/proc/10169/task/10172/stat : 10172 (toysat) S 10166 10169 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110384597 1349062656 271170 33554432000 4194304 16246674 140735002566560 139829639638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 1317444

[startup+1302.3 s]
/proc/loadavg: 2.28 2.31 2.23 4/184 10257
/proc/meminfo: memFree=28255168/32872528 swapFree=16252/1391864
[pid=10169] ppid=10166 vsize=1317444 CPUtime=1301.83 cores=1,3,5,7
/proc/10169/stat : 10169 (toysat) R 10166 10169 5783 0 -1 4202496 270258 0 0 0 130134 49 0 0 20 0 4 0 110384597 1349062656 271170 33554432000 4194304 16246674 140735002566560 140735002548480 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 329361 271170 886 2943 0 326255 0
[pid=10169/tid=10170] ppid=10166 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10170/stat : 10170 (toysat) S 10166 10169 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110384597 1349062656 271170 33554432000 4194304 16246674 140735002566560 139829731896560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10169/tid=10171] ppid=10166 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10171/stat : 10171 (toysat) S 10166 10169 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110384597 1349062656 271170 33554432000 4194304 16246674 140735002566560 139829721406704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10169/tid=10172] ppid=10166 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10172/stat : 10172 (toysat) S 10166 10169 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110384597 1349062656 271170 33554432000 4194304 16246674 140735002566560 139829639638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1317444

[startup+1362.3 s]
/proc/loadavg: 2.38 2.33 2.24 3/183 10258
/proc/meminfo: memFree=28255108/32872528 swapFree=16252/1391864
[pid=10169] ppid=10166 vsize=1317444 CPUtime=1361.82 cores=1,3,5,7
/proc/10169/stat : 10169 (toysat) R 10166 10169 5783 0 -1 4202496 270258 0 0 0 136133 49 0 0 20 0 4 0 110384597 1349062656 271170 33554432000 4194304 16246674 140735002566560 140735002548480 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 329361 271170 886 2943 0 326255 0
[pid=10169/tid=10170] ppid=10166 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10170/stat : 10170 (toysat) S 10166 10169 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110384597 1349062656 271170 33554432000 4194304 16246674 140735002566560 139829731896560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10169/tid=10171] ppid=10166 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10171/stat : 10171 (toysat) S 10166 10169 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110384597 1349062656 271170 33554432000 4194304 16246674 140735002566560 139829721406704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10169/tid=10172] ppid=10166 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10172/stat : 10172 (toysat) S 10166 10169 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110384597 1349062656 271170 33554432000 4194304 16246674 140735002566560 139829639638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1317444

[startup+1422.3 s]
/proc/loadavg: 2.29 2.31 2.24 3/183 10259
/proc/meminfo: memFree=28255240/32872528 swapFree=16252/1391864
[pid=10169] ppid=10166 vsize=1317444 CPUtime=1421.82 cores=1,3,5,7
/proc/10169/stat : 10169 (toysat) R 10166 10169 5783 0 -1 4202496 270258 0 0 0 142132 50 0 0 20 0 4 0 110384597 1349062656 271170 33554432000 4194304 16246674 140735002566560 140735002548480 5523371 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 329361 271170 886 2943 0 326255 0
[pid=10169/tid=10170] ppid=10166 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10170/stat : 10170 (toysat) S 10166 10169 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110384597 1349062656 271170 33554432000 4194304 16246674 140735002566560 139829731896560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10169/tid=10171] ppid=10166 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10171/stat : 10171 (toysat) S 10166 10169 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110384597 1349062656 271170 33554432000 4194304 16246674 140735002566560 139829721406704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10169/tid=10172] ppid=10166 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10172/stat : 10172 (toysat) S 10166 10169 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110384597 1349062656 271170 33554432000 4194304 16246674 140735002566560 139829639638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1317444

[startup+1482.3 s]
/proc/loadavg: 2.32 2.31 2.25 4/183 10261
/proc/meminfo: memFree=28251644/32872528 swapFree=16252/1391864
[pid=10169] ppid=10166 vsize=1320516 CPUtime=1481.8 cores=1,3,5,7
/proc/10169/stat : 10169 (toysat) R 10166 10169 5783 0 -1 4202496 271156 0 0 0 148129 51 0 0 20 0 4 0 110384597 1352208384 272068 33554432000 4194304 16246674 140735002566560 140735002548480 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 330129 272068 886 2943 0 327023 0
[pid=10169/tid=10170] ppid=10166 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10170/stat : 10170 (toysat) S 10166 10169 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110384597 1352208384 272068 33554432000 4194304 16246674 140735002566560 139829731896560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10169/tid=10171] ppid=10166 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10171/stat : 10171 (toysat) S 10166 10169 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110384597 1352208384 272068 33554432000 4194304 16246674 140735002566560 139829721406704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10169/tid=10172] ppid=10166 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10172/stat : 10172 (toysat) S 10166 10169 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110384597 1352208384 272068 33554432000 4194304 16246674 140735002566560 139829639638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1320516

[startup+1542.31 s]
/proc/loadavg: 2.30 2.30 2.24 3/183 10262
/proc/meminfo: memFree=28251664/32872528 swapFree=16252/1391864
[pid=10169] ppid=10166 vsize=1320516 CPUtime=1541.79 cores=1,3,5,7
/proc/10169/stat : 10169 (toysat) R 10166 10169 5783 0 -1 4202496 271156 0 0 0 154128 51 0 0 20 0 4 0 110384597 1352208384 272068 33554432000 4194304 16246674 140735002566560 140735002548480 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 330129 272068 886 2943 0 327023 0
[pid=10169/tid=10170] ppid=10166 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10170/stat : 10170 (toysat) S 10166 10169 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110384597 1352208384 272068 33554432000 4194304 16246674 140735002566560 139829731896560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10169/tid=10171] ppid=10166 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10171/stat : 10171 (toysat) S 10166 10169 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110384597 1352208384 272068 33554432000 4194304 16246674 140735002566560 139829721406704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10169/tid=10172] ppid=10166 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10172/stat : 10172 (toysat) S 10166 10169 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110384597 1352208384 272068 33554432000 4194304 16246674 140735002566560 139829639638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1320516

[startup+1602.3 s]
/proc/loadavg: 2.19 2.27 2.24 3/183 10263
/proc/meminfo: memFree=28251632/32872528 swapFree=16252/1391864
[pid=10169] ppid=10166 vsize=1320516 CPUtime=1601.78 cores=1,3,5,7
/proc/10169/stat : 10169 (toysat) R 10166 10169 5783 0 -1 4202496 271156 0 0 0 160126 52 0 0 20 0 4 0 110384597 1352208384 272068 33554432000 4194304 16246674 140735002566560 140735002548480 13950188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 330129 272068 886 2943 0 327023 0
[pid=10169/tid=10170] ppid=10166 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10170/stat : 10170 (toysat) S 10166 10169 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110384597 1352208384 272068 33554432000 4194304 16246674 140735002566560 139829731896560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10169/tid=10171] ppid=10166 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10171/stat : 10171 (toysat) S 10166 10169 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110384597 1352208384 272068 33554432000 4194304 16246674 140735002566560 139829721406704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10169/tid=10172] ppid=10166 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10172/stat : 10172 (toysat) S 10166 10169 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110384597 1352208384 272068 33554432000 4194304 16246674 140735002566560 139829639638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1320516

[startup+1662.3 s]
/proc/loadavg: 2.23 2.27 2.24 4/183 10264
/proc/meminfo: memFree=28251852/32872528 swapFree=16252/1391864
[pid=10169] ppid=10166 vsize=1320516 CPUtime=1661.77 cores=1,3,5,7
/proc/10169/stat : 10169 (toysat) R 10166 10169 5783 0 -1 4202496 271156 0 0 0 166125 52 0 0 20 0 4 0 110384597 1352208384 272068 33554432000 4194304 16246674 140735002566560 140735002548480 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 330129 272068 886 2943 0 327023 0
[pid=10169/tid=10170] ppid=10166 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10170/stat : 10170 (toysat) S 10166 10169 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110384597 1352208384 272068 33554432000 4194304 16246674 140735002566560 139829731896560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10169/tid=10171] ppid=10166 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10171/stat : 10171 (toysat) S 10166 10169 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110384597 1352208384 272068 33554432000 4194304 16246674 140735002566560 139829721406704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10169/tid=10172] ppid=10166 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10172/stat : 10172 (toysat) S 10166 10169 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110384597 1352208384 272068 33554432000 4194304 16246674 140735002566560 139829639638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1320516

[startup+1722.3 s]
/proc/loadavg: 2.20 2.25 2.23 3/183 10265
/proc/meminfo: memFree=28251580/32872528 swapFree=16252/1391864
[pid=10169] ppid=10166 vsize=1320516 CPUtime=1721.76 cores=1,3,5,7
/proc/10169/stat : 10169 (toysat) R 10166 10169 5783 0 -1 4202496 271156 0 0 0 172123 53 0 0 20 0 4 0 110384597 1352208384 272068 33554432000 4194304 16246674 140735002566560 140735002548480 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 330129 272068 886 2943 0 327023 0
[pid=10169/tid=10170] ppid=10166 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10170/stat : 10170 (toysat) S 10166 10169 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110384597 1352208384 272068 33554432000 4194304 16246674 140735002566560 139829731896560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10169/tid=10171] ppid=10166 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10171/stat : 10171 (toysat) S 10166 10169 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110384597 1352208384 272068 33554432000 4194304 16246674 140735002566560 139829721406704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10169/tid=10172] ppid=10166 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10172/stat : 10172 (toysat) S 10166 10169 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110384597 1352208384 272068 33554432000 4194304 16246674 140735002566560 139829639638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1320516

[startup+1782.3 s]
/proc/loadavg: 2.34 2.27 2.24 3/182 10266
/proc/meminfo: memFree=28251320/32872528 swapFree=16252/1391864
[pid=10169] ppid=10166 vsize=1320516 CPUtime=1781.76 cores=1,3,5,7
/proc/10169/stat : 10169 (toysat) R 10166 10169 5783 0 -1 4202496 271156 0 0 0 178122 54 0 0 20 0 4 0 110384597 1352208384 272068 33554432000 4194304 16246674 140735002566560 140735002548480 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 330129 272068 886 2943 0 327023 0
[pid=10169/tid=10170] ppid=10166 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10170/stat : 10170 (toysat) S 10166 10169 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110384597 1352208384 272068 33554432000 4194304 16246674 140735002566560 139829731896560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10169/tid=10171] ppid=10166 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10171/stat : 10171 (toysat) S 10166 10169 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110384597 1352208384 272068 33554432000 4194304 16246674 140735002566560 139829721406704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10169/tid=10172] ppid=10166 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10172/stat : 10172 (toysat) S 10166 10169 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110384597 1352208384 272068 33554432000 4194304 16246674 140735002566560 139829639638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1320516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.26 2.26 2.23 4/183 10267
/proc/meminfo: memFree=28251664/32872528 swapFree=16252/1391864
[pid=10169] ppid=10166 vsize=1320516 CPUtime=1800.05 cores=1,3,5,7
/proc/10169/stat : 10169 (toysat) R 10166 10169 5783 0 -1 4202496 271156 0 0 0 179951 54 0 0 20 0 4 0 110384597 1352208384 272068 33554432000 4194304 16246674 140735002566560 140735002548480 12483332 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 330129 272068 886 2943 0 327023 0
[pid=10169/tid=10170] ppid=10166 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10170/stat : 10170 (toysat) S 10166 10169 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110384597 1352208384 272068 33554432000 4194304 16246674 140735002566560 139829731896560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10169/tid=10171] ppid=10166 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10171/stat : 10171 (toysat) S 10166 10169 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110384597 1352208384 272068 33554432000 4194304 16246674 140735002566560 139829721406704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10169/tid=10172] ppid=10166 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10172/stat : 10172 (toysat) S 10166 10169 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110384597 1352208384 272068 33554432000 4194304 16246674 140735002566560 139829639638192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1320516

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 10169 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.07
CPU user time (s): 1799.52
CPU system time (s): 0.546916
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 1320516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.52
system time used= 0.546916
maximum resident set size= 1088272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271156
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= 423
involuntary context switches= 1960

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.53331 second user time and 7.00293 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-07 09:28:34
IDJOB=4078916
IDBENCH=90144
IDSOLVER=2542
FILE ID=node119/4078916-1465284514
RUNJOBID= node119-1465252213-5800
PBS_JOBID= 19843259
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 0350ceeb14af28f3be070cadc324c0d3
RANDOM SEED=167035895

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.410
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.56
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.410
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:        29345472 kB
Buffers:          131096 kB
Cached:           184036 kB
SwapCached:          576 kB
Active:          1214812 kB
Inactive:         180308 kB
Active(anon):    1078172 kB
Inactive(anon):     4188 kB
Active(file):     136640 kB
Inactive(file):   176120 kB
Unevictable:     1391864 kB
Mlocked:           16252 kB
SwapTotal:      67108856 kB
SwapFree:       67100180 kB
Dirty:             17912 kB
Writeback:            24 kB
AnonPages:       2475624 kB
Mapped:            10612 kB
Shmem:                 0 kB
Slab:             600920 kB
SReclaimable:      44420 kB
SUnreclaim:       556500 kB
KernelStack:        1464 kB
PageTables:         8960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2620256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2248704 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 node119 at 2016-06-07 09:58:35