Trace number 4078920

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K200.opb
MD5SUM4ffc81aa318dee614e51a62344fd339d
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 variables23800
Total number of constraints24202
Number of constraints which are clauses24002
Number of constraints which are cardinality constraints (but not clauses)200
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint200
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 201
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:25:34+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-4078920-1465284333.opb"]
0.00/0.01	c use --random-gen="2360661345 1206886676 292589232 4202349643 758162701 2156524511 2638106300 2061586596 946643629 197321630 7683443 3545093117 275962345 967773298 3891239615 1852331990 3948489901 4105091398 2459141618 1768330996 4106097878 3370324044 656727387 2350028271 3476068722 2942209612 4102598887 2225928350 3158575233 3863211407 990681802 3234402762 1227438369 2057756356 2523819746 679747361 1979088289 1002184858 564678434 1412175534 1136571323 354430264 3908014999 124540069 2562133686 1460646112 2574070345 3737959122 3395268751 3615853528 522671029 2839043410 2854376256 3374536693 4152204 961974466 3229839390 436735828 1931620596 2093093932 3051605088 3171731731 2993846038 7135173 1994428428 2618588991 152883003 202342791 4251318862 3071815899 25269649 2491459243 2527423880 3849721022 124442518 254600542 4228634711 2785820791 2040461736 1918083414 3891157009 3313075451 3747068603 406571805 4141763558 463239324 1388886018 922524864 1892959109 974172869 3179718405 228847109 3624661006 1661353246 3701778372 938193212 3203834694 3619654136 369835093 340128609 2215875800 946468141 1938052421 3738834759 690475958 422022657 2701321463 3659638693 3382453395 4248869667 3964965036 3018079506 4273544828 1372228911 457620578 1963486142 1052637345 3596922152 895481028 1570643498 2746016632 1008450079 1473908906 1705810084 2820725507 3116607566 997615075 3156177056 2586812047 1810437016 1467979097 1528921104 4158525551 561462557 1016914617 307653005 3147247549 1540986907 1567300004 811840086 4160778669 2498390414 1224204507 295605248 1843327341 1119067590 23959579 1348277440 4024212655 4263343542 4087270643 2962368788 177302759 713302143 716308317 269748632 3503806422 1068535919 389249262 2288544211 476772182 2182471372 286267439 1446573156 3761629009 1910977401 3328878608 259215784 542739245 3179979838 3713448672 949690534 509310696 3795961216 632519729 415372538 215342394 1531051109 2214551227 2767593946 3077939132 3237928627 543141927 561354504 2568459828 356426501 2902017500 3999034665 945310628 142739307 336150656 4120338701 2179973997 959348008 916548057 3831769984 1033164539 933948101 2671709265 2977464499 2912419230 3793389536 1106646061 3326339186 1941914504 187921539 3026854883 3392571475 3304488822 2126989378 3165758747 192473716 3569001503 3109380873 3052542135 2697169612 4007789750 3533751198 4064840399 3947103062 2564007658 1001401008 598137130 4162789656 3114793994 1025603618 1168214426 1304787228 340030934 2389936936 799373163 4140948851 1257335117 3787424489 1741602695 1318540381 652394997 1281487006 3022950280 4261265314 526980055 3820603024 2106491558 984162930 851247912 2509079359 284436896 984318602 2006513212 2090563746 2897699008 2527602564 3660892951 2725365041 2253132740 3626635774 255 362436" option to reproduce the execution
0.29/0.33	c #vars 23800
0.29/0.33	c #constraints 24202
0.79/0.85	c Solving starts ...
0.79/0.85	c ============================[ Search Statistics ]============================
0.79/0.85	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.79/0.85	c       |         |          |          |    Limit     GC | Var      | Constra 
0.79/0.85	c =============================================================================
0.79/0.85	c  0.0s |       0 |        0 |        0 |    16000      0 |      742 |        0
2.48/2.56	c  1.7s |       1 |    13347 |      100 |    16000      0 |      743 |      634
4.28/4.33	c  3.5s |       2 |    37032 |      250 |    17600      0 |      745 |      636
5.18/5.20	c  4.4s |       3 |    50502 |      475 |    19360      0 |      745 |      636
6.69/6.79	c  5.9s |       4 |    84530 |      813 |    21296      0 |      745 |      636
8.68/8.74	c  7.9s |       5 |   116829 |     1320 |    23426      0 |      745 |      636
11.18/11.24	c 10.4s |       5 |   165405 |     1920 |    25769      0 |      747 |      638
11.98/12.07	c 11.2s |       6 |   179975 |     2081 |    28346      0 |      747 |      638
14.09/14.18	c 13.3s |       6 |   215405 |     2581 |    28346      0 |      748 |      639
16.29/16.32	c 15.5s |       6 |   251002 |     3181 |    28346      0 |      748 |      639
16.39/16.47	c 15.6s |       7 |   253034 |     3223 |    31181      0 |      748 |      639
18.70/18.73	c 17.9s |       7 |   287207 |     3823 |    31181      0 |      749 |      640
20.90/20.96	c 20.1s |       7 |   320404 |     4223 |    31181      0 |      751 |      642
22.99/23.00	c 22.2s |       7 |   336413 |     4723 |    31181      0 |      751 |      642
23.99/24.08	c 23.2s |       8 |   356614 |     4936 |    34300      0 |      752 |      643
26.09/26.14	c 25.3s |       8 |   386496 |     5536 |    34300      0 |      753 |      644
28.19/28.26	c 27.4s |       8 |   421110 |     6036 |    34300      0 |      753 |      644
30.49/30.53	c 29.7s |       8 |   462193 |     6536 |    34300      0 |      753 |      644
32.49/32.56	c 31.7s |       8 |   495428 |     7036 |    34300      0 |      754 |      645
33.89/33.97	c 33.1s |       9 |   514012 |     7506 |    37730      0 |      754 |      645
35.99/36.04	c 35.2s |       9 |   543685 |     8106 |    37730      0 |      754 |      645
38.19/38.28	c 37.4s |       9 |   577943 |     8706 |    37730      0 |      754 |      645
40.48/40.53	c 39.7s |       9 |   613693 |     9206 |    37730      0 |      755 |      646
42.99/43.00	c 42.2s |       9 |   651302 |     9806 |    37730      0 |      755 |      646
45.09/45.15	c 44.3s |       9 |   688454 |    10306 |    37730      0 |      755 |      646
47.18/47.29	c 46.4s |       9 |   718428 |    10806 |    37730      0 |      755 |      646
49.49/49.52	c 48.7s |       9 |   761394 |    11206 |    37730      0 |      755 |      646
50.18/50.23	c 49.4s |      10 |   773814 |    11361 |    41503      0 |      755 |      646
52.18/52.26	c 51.4s |      10 |   804404 |    11761 |    41503      0 |      756 |      647
54.28/54.32	c 53.5s |      10 |   842828 |    12161 |    41503      0 |      756 |      647
56.58/56.65	c 55.8s |      10 |   876755 |    12761 |    41503      0 |      756 |      647
58.78/58.83	c 58.0s |      10 |   912208 |    13361 |    41503      0 |      756 |      647
61.18/61.28	c 60.4s |      10 |   957282 |    13861 |    41503      0 |      756 |      647
63.68/63.71	c 62.9s |      10 |   993161 |    14361 |    41503      0 |      757 |      648
66.09/66.14	c 65.3s |      10 |  1029420 |    14861 |    41503      0 |      757 |      648
68.48/68.51	c 67.7s |      10 |  1060582 |    15461 |    41503      0 |      757 |      648
70.68/70.71	c 69.9s |      10 |  1096725 |    15961 |    41503      0 |      757 |      648
72.69/72.73	c 71.9s |      10 |  1127948 |    16361 |    41503      0 |      757 |      648
74.89/74.94	c 74.1s |      10 |  1158454 |    16861 |    41503      0 |      757 |      648
76.18/76.20	c 75.3s |      11 |  1176549 |    17144 |    45654      0 |      757 |      648
78.09/78.20	c 77.4s |      11 |  1206641 |    17644 |    45654      0 |      757 |      648
80.38/80.48	c 79.6s |      11 |  1236344 |    18444 |    45654      0 |      757 |      648
82.48/82.58	c 81.7s |      11 |  1261670 |    18844 |    45654      0 |      758 |      649
84.48/84.59	c 83.7s |      11 |  1285978 |    19344 |    45654      0 |      758 |      649
86.78/86.87	c 86.0s |      11 |  1295899 |    20044 |    45654      0 |      758 |      649
88.98/89.05	c 88.2s |      11 |  1320382 |    20444 |    45654      0 |      760 |      651
91.08/91.11	c 90.3s |      11 |  1327071 |    21144 |    45654      0 |      760 |      651
93.18/93.20	c 92.4s |      11 |  1351903 |    21544 |    45654      0 |      760 |      651
95.27/95.40	c 94.5s |      11 |  1366161 |    22044 |    45654      0 |      760 |      651
97.57/97.68	c 96.8s |      11 |  1397012 |    22444 |    45654      0 |      760 |      651
100.08/100.18	c 99.3s |      11 |  1429543 |    22944 |    45654      0 |      760 |      651
102.38/102.42	c  101s |      11 |  1456010 |    23444 |    45654      0 |      760 |      651
104.58/104.66	c  103s |      11 |  1482585 |    23944 |    45654      0 |      760 |      651
106.68/106.78	c  105s |      11 |  1504322 |    24444 |    45654      0 |      760 |      651
109.17/109.24	c  108s |      11 |  1534819 |    24944 |    45654      0 |      760 |      651
111.27/111.36	c  110s |      11 |  1549497 |    25444 |    45654      0 |      760 |      651
113.57/113.61	c  112s |      12 |  1571270 |    25819 |    50220      0 |      760 |      651
115.87/115.91	c  115s |      12 |  1596228 |    26219 |    50220      0 |      760 |      651
118.17/118.25	c  117s |      12 |  1610380 |    26719 |    50220      0 |      761 |      652
120.57/120.61	c  119s |      12 |  1623206 |    27219 |    50220      0 |      761 |      652
123.47/123.59	c  122s |      12 |  1662355 |    27619 |    50220      0 |      762 |      653
125.66/125.74	c  124s |      12 |  1686489 |    28119 |    50220      0 |      762 |      653
127.86/127.96	c  127s |      12 |  1718019 |    28519 |    50220      0 |      762 |      653
130.16/130.28	c  129s |      12 |  1746823 |    29019 |    50220      0 |      762 |      653
132.76/132.81	c  131s |      12 |  1775428 |    29519 |    50220      0 |      762 |      653
135.47/135.50	c  134s |      12 |  1804271 |    29919 |    50220      0 |      763 |      654
137.87/137.92	c  137s |      12 |  1824607 |    30519 |    50220      0 |      763 |      654
140.07/140.17	c  139s |      12 |  1849923 |    30919 |    50220      0 |      763 |      654
142.37/142.40	c  141s |      12 |  1870796 |    31419 |    50220      0 |      763 |      654
144.57/144.68	c  143s |      12 |  1901943 |    31819 |    50220      0 |      763 |      654
146.77/146.83	c  145s |      12 |  1921468 |    32219 |    50220      0 |      763 |      654
148.87/148.99	c  148s |      12 |  1944434 |    32719 |    50220      0 |      763 |      654
151.27/151.34	c  150s |      12 |  1973221 |    33019 |    50220      0 |      763 |      654
153.47/153.52	c  152s |      12 |  2002016 |    33419 |    50220      0 |      763 |      654
155.47/155.52	c  154s |      12 |  2024105 |    33719 |    50220      0 |      763 |      654
157.77/157.84	c  156s |      12 |  2044918 |    34219 |    50220      0 |      763 |      654
160.07/160.10	c  159s |      12 |  2067142 |    34619 |    50220      0 |      763 |      654
162.27/162.32	c  161s |      12 |  2093850 |    35019 |    50220      0 |      763 |      654
164.37/164.44	c  163s |      12 |  2116946 |    35419 |    50220      0 |      763 |      654
166.57/166.60	c  165s |      12 |  2133005 |    35719 |    50220      0 |      764 |      655
168.87/168.91	c  168s |      12 |  2159902 |    36219 |    50220      0 |      764 |      655
171.17/171.21	c  170s |      12 |  2183751 |    36719 |    50220      0 |      764 |      655
173.56/173.63	c  172s |      12 |  2199962 |    37119 |    50220      0 |      765 |      656
175.86/175.97	c  175s |      12 |  2218138 |    37519 |    50220      0 |      765 |      656
177.96/178.06	c  177s |      12 |  2241199 |    37819 |    50220      0 |      765 |      656
180.26/180.33	c  179s |      12 |  2255567 |    38219 |    50220      0 |      766 |      657
182.76/182.89	c  182s |      12 |  2275329 |    38719 |    55243      0 |      766 |      657
183.16/183.27	c  182s |      13 |  2278544 |    38832 |    55243      0 |      766 |      657
185.66/185.70	c  184s |      13 |  2300615 |    39132 |    55243      0 |      766 |      657
187.66/187.75	c  186s |      13 |  2325810 |    39532 |    55243      0 |      766 |      657
189.76/189.83	c  188s |      13 |  2351146 |    39932 |    55243      0 |      766 |      657
191.76/191.89	c  191s |      13 |  2373033 |    40332 |    55243      0 |      766 |      657
193.86/193.94	c  193s |      13 |  2378376 |    40832 |    55243      0 |      766 |      657
196.06/196.13	c  195s |      13 |  2390904 |    41232 |    55243      0 |      766 |      657
198.56/198.63	c  197s |      13 |  2412925 |    41732 |    55243      0 |      766 |      657
201.06/201.10	c  200s |      13 |  2441944 |    42132 |    55243      0 |      766 |      657
203.36/203.40	c  202s |      13 |  2464849 |    42532 |    55243      0 |      766 |      657
205.46/205.52	c  204s |      13 |  2484499 |    42932 |    55243      0 |      766 |      657
207.56/207.64	c  206s |      13 |  2505428 |    43332 |    55243      0 |      766 |      657
210.06/210.13	c  209s |      13 |  2525808 |    43832 |    55243      0 |      766 |      657
212.55/212.61	c  211s |      13 |  2546052 |    44232 |    55243      0 |      766 |      657
214.95/215.02	c  214s |      13 |  2570721 |    44632 |    55243      0 |      766 |      657
217.65/217.78	c  216s |      13 |  2595003 |    45032 |    55243      0 |      767 |      658
220.06/220.17	c  219s |      13 |  2629527 |    45432 |    55243      0 |      767 |      658
222.45/222.50	c  221s |      13 |  2649982 |    45932 |    55243      0 |      767 |      658
224.95/225.01	c  224s |      13 |  2679565 |    46332 |    55243      0 |      767 |      658
227.25/227.32	c  226s |      13 |  2708170 |    46732 |    55243      0 |      767 |      658
229.25/229.39	c  228s |      13 |  2728212 |    47132 |    55243      0 |      767 |      658
231.85/231.97	c  231s |      13 |  2755006 |    47532 |    55243      0 |      767 |      658
234.26/234.38	c  233s |      13 |  2763313 |    48132 |    55243      0 |      767 |      658
236.66/236.72	c  235s |      13 |  2780306 |    48632 |    55243      0 |      767 |      658
238.66/238.79	c  237s |      13 |  2802645 |    49032 |    55243      0 |      767 |      658
240.76/240.89	c  240s |      13 |  2819448 |    49432 |    55243      0 |      767 |      658
243.16/243.26	c  242s |      13 |  2838346 |    49932 |    55243      0 |      767 |      658
245.46/245.54	c  244s |      13 |  2863755 |    50332 |    55243      0 |      767 |      658
247.96/248.06	c  247s |      13 |  2890870 |    50732 |    55243      0 |      767 |      658
250.06/250.16	c  249s |      13 |  2899551 |    51132 |    55243      0 |      767 |      658
252.15/252.24	c  251s |      13 |  2922092 |    51432 |    55243      0 |      767 |      658
254.35/254.44	c  253s |      13 |  2941550 |    51832 |    55243      0 |      767 |      658
256.95/257.02	c  256s |      13 |  2969461 |    52232 |    55243      0 |      767 |      658
259.05/259.15	c  258s |      13 |  2994060 |    52532 |    55243      0 |      767 |      658
261.35/261.43	c  260s |      13 |  3008984 |    53032 |    55243      0 |      767 |      658
263.55/263.66	c  262s |      13 |  3033858 |    53332 |    55243      0 |      767 |      658
266.26/266.35	c  265s |      13 |  3062507 |    53732 |    55243      0 |      767 |      658
268.25/268.40	c  267s |      13 |  3074874 |    54132 |    55243      0 |      767 |      658
270.66/270.77	c  269s |      13 |  3098758 |    54532 |    55243      0 |      767 |      658
272.86/272.99	c  272s |      13 |  3121587 |    55032 |    55243      0 |      767 |      658
275.25/275.37	c  274s |      13 |  3145211 |    55432 |    55243      0 |      767 |      658
277.35/277.42	c  276s |      13 |  3168078 |    55732 |    55243      0 |      767 |      658
279.75/279.88	c  279s |      13 |  3197129 |    56132 |    55243      0 |      767 |      658
282.05/282.16	c  281s |      13 |  3213561 |    56532 |    55243      0 |      767 |      658
284.35/284.44	c  283s |      13 |  3237288 |    56832 |    55243      0 |      767 |      658
286.45/286.51	c  285s |      13 |  3248121 |    57232 |    55243      0 |      767 |      658
288.65/288.71	c  287s |      13 |  3257862 |    57532 |    55243      1 |      767 |      658
290.65/290.72	c  289s |      13 |  3277755 |    57932 |    55243      1 |      767 |      658
292.45/292.51	c  291s |      14 |  3279216 |    58352 |    60768      1 |      767 |      658
294.45/294.56	c  293s |      14 |  3304392 |    58652 |    60768      1 |      767 |      658
297.15/297.20	c  296s |      14 |  3337134 |    59052 |    60768      1 |      767 |      658
300.05/300.10	c  299s |      14 |  3365287 |    59552 |    60768      1 |      768 |      659
302.05/302.19	c  301s |      14 |  3379383 |    59952 |    60768      1 |      768 |      659
304.25/304.33	c  303s |      14 |  3398073 |    60452 |    60768      1 |      768 |      659
306.75/306.80	c  305s |      14 |  3425508 |    60952 |    60768      1 |      768 |      659
309.44/309.55	c  308s |      14 |  3450246 |    61352 |    60768      1 |      769 |      660
311.54/311.67	c  310s |      14 |  3470435 |    61852 |    60768      1 |      769 |      660
314.04/314.17	c  313s |      14 |  3472401 |    62352 |    60768      1 |      769 |      660
316.34/316.48	c  315s |      14 |  3473051 |    62652 |    60768      1 |      769 |      660
318.54/318.62	c  317s |      14 |  3474947 |    63152 |    60768      1 |      769 |      660
320.84/320.92	c  320s |      14 |  3475688 |    63452 |    60768      1 |      769 |      660
323.04/323.11	c  322s |      14 |  3488201 |    64052 |    60768      1 |      769 |      660
325.44/325.52	c  324s |      14 |  3509996 |    64452 |    60768      1 |      769 |      660
327.44/327.54	c  326s |      14 |  3528213 |    64852 |    60768      1 |      769 |      660
329.73/329.80	c  328s |      14 |  3553554 |    65252 |    60768      1 |      769 |      660
331.84/331.92	c  331s |      14 |  3572894 |    65652 |    60768      1 |      769 |      660
333.94/334.03	c  333s |      14 |  3591772 |    65952 |    60768      1 |      770 |      661
335.94/336.08	c  335s |      14 |  3611243 |    66352 |    60768      1 |      770 |      661
338.34/338.45	c  337s |      14 |  3641019 |    66752 |    60768      1 |      770 |      661
340.44/340.55	c  339s |      14 |  3660235 |    67152 |    60768      1 |      770 |      661
343.04/343.10	c  342s |      14 |  3682526 |    67552 |    60768      1 |      770 |      661
345.45/345.53	c  344s |      14 |  3710728 |    67952 |    60768      1 |      770 |      661
347.55/347.65	c  346s |      14 |  3733663 |    68352 |    60768      1 |      770 |      661
350.34/350.50	c  349s |      14 |  3759570 |    68852 |    60768      1 |      770 |      661
352.64/352.73	c  351s |      14 |  3783431 |    69252 |    60768      1 |      770 |      661
355.35/355.42	c  354s |      14 |  3809095 |    69752 |    60768      1 |      770 |      661
357.34/357.48	c  356s |      14 |  3824431 |    70152 |    60768      1 |      770 |      661
359.54/359.60	c  358s |      14 |  3841418 |    70552 |    60768      1 |      770 |      661
361.94/362.02	c  361s |      14 |  3863468 |    70952 |    60768      1 |      770 |      661
364.14/364.25	c  363s |      14 |  3887871 |    71352 |    60768      1 |      770 |      661
366.24/366.36	c  365s |      14 |  3893839 |    71752 |    60768      1 |      770 |      661
368.54/368.69	c  367s |      14 |  3914826 |    72152 |    60768      1 |      770 |      661
370.74/370.81	c  369s |      14 |  3925909 |    72552 |    60768      1 |      770 |      661
373.03/373.15	c  372s |      14 |  3950275 |    72952 |    60768      1 |      770 |      661
375.33/375.42	c  374s |      14 |  3969424 |    73352 |    60768      1 |      770 |      661
377.83/377.99	c  377s |      14 |  3998133 |    73752 |    60768      1 |      770 |      661
380.23/380.31	c  379s |      14 |  4022614 |    74152 |    60768      1 |      770 |      661
382.53/382.66	c  381s |      14 |  4042147 |    74652 |    60768      1 |      770 |      661
384.94/385.04	c  384s |      14 |  4059115 |    75152 |    60768      1 |      770 |      661
387.73/387.89	c  387s |      14 |  4071618 |    75652 |    60768      1 |      770 |      661
390.33/390.41	c  389s |      14 |  4083129 |    76052 |    60768      1 |      770 |      661
392.33/392.45	c  391s |      14 |  4099488 |    76352 |    60768      1 |      770 |      661
394.33/394.45	c  393s |      14 |  4118303 |    76752 |    60768      1 |      770 |      661
396.83/396.90	c  396s |      14 |  4145397 |    77252 |    60768      1 |      770 |      661
399.03/399.17	c  398s |      14 |  4164240 |    77652 |    60768      1 |      770 |      661
401.23/401.37	c  400s |      14 |  4165288 |    77952 |    60768      1 |      770 |      661
403.83/403.95	c  403s |      14 |  4182062 |    78252 |    60768      1 |      770 |      661
405.94/406.07	c  405s |      14 |  4201362 |    78652 |    60768      1 |      770 |      661
408.73/408.83	c  407s |      14 |  4227637 |    79052 |    60768      1 |      770 |      661
411.23/411.36	c  410s |      14 |  4247747 |    79552 |    60768      1 |      770 |      661
413.53/413.67	c  412s |      14 |  4267975 |    79952 |    60768      1 |      770 |      661
415.73/415.83	c  414s |      14 |  4290536 |    80252 |    60768      1 |      770 |      661
418.03/418.19	c  417s |      14 |  4316381 |    80552 |    60768      1 |      770 |      661
420.23/420.31	c  419s |      14 |  4336800 |    80852 |    60768      1 |      770 |      661
422.33/422.45	c  421s |      14 |  4360698 |    81252 |    60768      1 |      770 |      661
424.43/424.56	c  423s |      14 |  4379056 |    81652 |    60768      1 |      770 |      661
426.63/426.74	c  425s |      14 |  4401133 |    82052 |    60768      1 |      770 |      661
428.93/429.01	c  428s |      14 |  4411786 |    82452 |    60768      1 |      770 |      661
431.42/431.57	c  430s |      14 |  4437827 |    82852 |    60768      1 |      770 |      661
433.72/433.86	c  433s |      14 |  4459754 |    83252 |    60768      1 |      770 |      661
435.92/436.03	c  435s |      14 |  4479054 |    83652 |    60768      1 |      770 |      661
438.22/438.35	c  437s |      14 |  4495273 |    84152 |    60768      1 |      770 |      661
440.32/440.49	c  439s |      14 |  4511710 |    84552 |    60768      1 |      770 |      661
442.92/443.06	c  442s |      14 |  4535021 |    84952 |    60768      1 |      770 |      661
445.22/445.39	c  444s |      14 |  4554183 |    85452 |    60768      1 |      770 |      661
447.52/447.67	c  446s |      14 |  4571847 |    85852 |    60768      1 |      770 |      661
450.52/450.61	c  449s |      14 |  4587860 |    86152 |    60768      1 |      771 |      662
453.42/453.58	c  452s |      14 |  4619565 |    86552 |    60768      1 |      771 |      662
455.52/455.69	c  454s |      14 |  4634393 |    86852 |    60768      1 |      771 |      662
457.63/457.74	c  456s |      14 |  4648282 |    87252 |    66845      1 |      771 |      662
460.02/460.18	c  459s |      15 |  4671314 |    87632 |    66845      1 |      771 |      662
462.42/462.51	c  461s |      15 |  4688350 |    87832 |    66845      1 |      771 |      662
464.52/464.68	c  463s |      15 |  4699812 |    88232 |    66845      1 |      771 |      662
466.72/466.87	c  466s |      15 |  4710684 |    88632 |    66845      1 |      771 |      662
468.92/469.00	c  468s |      15 |  4722024 |    89032 |    66845      1 |      771 |      662
470.92/471.04	c  470s |      15 |  4740451 |    89332 |    66845      1 |      771 |      662
472.92/473.10	c  472s |      15 |  4758450 |    89732 |    66845      1 |      771 |      662
475.31/475.46	c  474s |      15 |  4770719 |    90132 |    66845      1 |      771 |      662
477.51/477.61	c  476s |      15 |  4786279 |    90532 |    66845      1 |      771 |      662
479.52/479.63	c  478s |      15 |  4791052 |    90732 |    66845      1 |      772 |      663
482.11/482.23	c  481s |      15 |  4812923 |    91032 |    66845      1 |      772 |      663
484.41/484.51	c  483s |      15 |  4831378 |    91432 |    66845      1 |      772 |      663
487.01/487.16	c  486s |      15 |  4851595 |    91832 |    66845      1 |      772 |      663
489.42/489.55	c  488s |      15 |  4870293 |    92232 |    66845      1 |      772 |      663
491.72/491.89	c  491s |      15 |  4890088 |    92632 |    66845      1 |      772 |      663
494.11/494.20	c  493s |      15 |  4907156 |    93032 |    66845      1 |      772 |      663
496.81/496.92	c  496s |      15 |  4910206 |    93332 |    66845      1 |      772 |      663
499.01/499.12	c  498s |      15 |  4932680 |    93632 |    66845      1 |      772 |      663
501.11/501.26	c  500s |      15 |  4949133 |    94032 |    66845      1 |      772 |      663
503.61/503.79	c  502s |      15 |  4968361 |    94432 |    66845      1 |      772 |      663
506.11/506.24	c  505s |      15 |  4987952 |    94832 |    66845      1 |      772 |      663
508.51/508.69	c  507s |      15 |  5004351 |    95232 |    66845      1 |      772 |      663
511.11/511.24	c  510s |      15 |  5019957 |    95632 |    66845      1 |      772 |      663
513.51/513.60	c  512s |      15 |  5040483 |    96032 |    66845      1 |      772 |      663
516.01/516.15	c  515s |      15 |  5065109 |    96432 |    66845      1 |      772 |      663
518.01/518.17	c  517s |      15 |  5078898 |    96732 |    66845      1 |      772 |      663
520.31/520.42	c  519s |      15 |  5100163 |    97132 |    66845      1 |      772 |      663
522.31/522.46	c  521s |      15 |  5114334 |    97432 |    66845      1 |      772 |      663
524.41/524.53	c  523s |      15 |  5129925 |    97832 |    66845      1 |      772 |      663
526.70/526.80	c  525s |      15 |  5140786 |    98232 |    66845      1 |      772 |      663
529.11/529.21	c  528s |      15 |  5160002 |    98532 |    66845      1 |      772 |      663
531.31/531.49	c  530s |      15 |  5178237 |    98932 |    66845      1 |      772 |      663
533.41/533.57	c  532s |      15 |  5193665 |    99332 |    66845      1 |      772 |      663
536.30/536.40	c  535s |      15 |  5201458 |    99632 |    66845      2 |      772 |      663
538.40/538.54	c  537s |      15 |  5216890 |   100132 |    66845      2 |      772 |      663
540.60/540.70	c  539s |      15 |  5231580 |   100632 |    66845      2 |      772 |      663
542.70/542.82	c  541s |      15 |  5252740 |   101032 |    66845      2 |      772 |      663
544.71/544.84	c  543s |      15 |  5259596 |   101532 |    66845      2 |      772 |      663
546.81/546.98	c  546s |      15 |  5271750 |   101932 |    66845      2 |      772 |      663
549.01/549.18	c  548s |      15 |  5291491 |   102332 |    66845      2 |      772 |      663
551.61/551.78	c  550s |      15 |  5318118 |   102832 |    66845      2 |      772 |      663
554.01/554.17	c  553s |      15 |  5340379 |   103332 |    66845      2 |      772 |      663
556.30/556.47	c  555s |      15 |  5346794 |   103732 |    66845      2 |      772 |      663
558.81/558.99	c  558s |      15 |  5363507 |   104232 |    66845      2 |      772 |      663
561.40/561.55	c  560s |      15 |  5383591 |   104732 |    66845      2 |      772 |      663
563.60/563.76	c  562s |      15 |  5401212 |   105132 |    66845      2 |      772 |      663
565.90/566.00	c  565s |      15 |  5424483 |   105532 |    66845      2 |      772 |      663
568.20/568.31	c  567s |      15 |  5444111 |   105932 |    66845      2 |      772 |      663
570.20/570.31	c  569s |      15 |  5459913 |   106432 |    66845      2 |      772 |      663
572.50/572.64	c  571s |      15 |  5475088 |   106932 |    66845      2 |      772 |      663
575.20/575.33	c  574s |      15 |  5502954 |   107332 |    66845      2 |      772 |      663
577.50/577.68	c  576s |      15 |  5526301 |   107732 |    66845      2 |      772 |      663
579.60/579.74	c  578s |      15 |  5542449 |   108132 |    66845      2 |      772 |      663
581.90/582.05	c  581s |      15 |  5563817 |   108532 |    66845      2 |      772 |      663
584.00/584.19	c  583s |      15 |  5589817 |   108932 |    66845      2 |      772 |      663
586.69/586.82	c  585s |      15 |  5615618 |   109432 |    66845      2 |      772 |      663
588.89/589.07	c  588s |      15 |  5636755 |   109832 |    66845      2 |      772 |      663
591.09/591.24	c  590s |      15 |  5656352 |   110232 |    66845      2 |      772 |      663
593.49/593.68	c  592s |      15 |  5679348 |   110632 |    66845      2 |      772 |      663
595.79/595.91	c  595s |      15 |  5697445 |   111032 |    66845      2 |      772 |      663
598.19/598.39	c  597s |      15 |  5716150 |   111532 |    66845      2 |      772 |      663
600.79/600.95	c  600s |      15 |  5740084 |   111832 |    66845      2 |      772 |      663
602.89/603.08	c  602s |      15 |  5745942 |   112232 |    66845      2 |      772 |      663
605.29/605.41	c  604s |      15 |  5771900 |   112632 |    66845      2 |      772 |      663
607.88/608.04	c  607s |      15 |  5796750 |   113032 |    66845      2 |      772 |      663
610.08/610.21	c  609s |      15 |  5823039 |   113432 |    66845      2 |      772 |      663
612.18/612.31	c  611s |      15 |  5836665 |   113932 |    66845      2 |      772 |      663
614.48/614.61	c  613s |      15 |  5838424 |   114432 |    66845      2 |      772 |      663
616.48/616.64	c  615s |      15 |  5848300 |   114732 |    66845      2 |      772 |      663
618.88/619.05	c  618s |      15 |  5863641 |   115132 |    66845      2 |      772 |      663
620.98/621.18	c  620s |      15 |  5869303 |   115432 |    66845      2 |      772 |      663
623.59/623.73	c  622s |      15 |  5886373 |   115832 |    66845      2 |      772 |      663
625.68/625.86	c  625s |      15 |  5903025 |   116232 |    66845      2 |      772 |      663
627.99/628.17	c  627s |      15 |  5919635 |   116632 |    66845      2 |      772 |      663
630.38/630.51	c  629s |      15 |  5943679 |   116932 |    66845      2 |      772 |      663
632.38/632.51	c  631s |      15 |  5960920 |   117232 |    66845      2 |      772 |      663
634.88/635.09	c  634s |      15 |  5979633 |   117632 |    66845      2 |      772 |      663
637.48/637.63	c  636s |      15 |  5998727 |   118032 |    66845      2 |      772 |      663
640.08/640.25	c  639s |      15 |  6021019 |   118432 |    66845      2 |      772 |      663
642.07/642.25	c  641s |      15 |  6032418 |   118832 |    66845      2 |      772 |      663
644.27/644.48	c  643s |      15 |  6052789 |   119132 |    66845      2 |      772 |      663
646.78/646.99	c  646s |      15 |  6084138 |   119532 |    66845      2 |      772 |      663
648.88/649.09	c  648s |      15 |  6100426 |   119832 |    66845      2 |      772 |      663
651.08/651.21	c  650s |      15 |  6116460 |   120132 |    66845      2 |      772 |      663
653.57/653.70	c  652s |      15 |  6138230 |   120532 |    66845      2 |      772 |      663
655.87/656.03	c  655s |      15 |  6157117 |   120832 |    66845      2 |      772 |      663
658.37/658.52	c  657s |      15 |  6166706 |   121232 |    66845      2 |      772 |      663
660.47/660.66	c  659s |      15 |  6171904 |   121732 |    66845      2 |      772 |      663
662.67/662.86	c  662s |      15 |  6187030 |   122132 |    66845      2 |      772 |      663
665.17/665.34	c  664s |      15 |  6203793 |   122632 |    66845      2 |      772 |      663
667.27/667.45	c  666s |      15 |  6216116 |   123032 |    66845      2 |      772 |      663
669.27/669.48	c  668s |      15 |  6234013 |   123332 |    66845      2 |      772 |      663
671.66/671.87	c  671s |      15 |  6249128 |   123832 |    66845      2 |      772 |      663
673.96/674.15	c  673s |      15 |  6259027 |   124132 |    66845      2 |      773 |      664
676.26/676.43	c  675s |      15 |  6269057 |   124532 |    66845      2 |      773 |      664
678.76/678.94	c  678s |      15 |  6288683 |   124932 |    66845      2 |      773 |      664
680.77/680.99	c  680s |      15 |  6303200 |   125332 |    66845      2 |      773 |      664
682.97/683.18	c  682s |      15 |  6316729 |   125732 |    66845      2 |      773 |      664
685.06/685.27	c  684s |      15 |  6324247 |   126032 |    66845      2 |      773 |      664
687.26/687.44	c  686s |      15 |  6330992 |   126432 |    66845      2 |      773 |      664
689.67/689.81	c  688s |      15 |  6341915 |   126932 |    66845      2 |      773 |      664
691.66/691.89	c  691s |      15 |  6354442 |   127332 |    66845      2 |      773 |      664
693.76/693.97	c  693s |      15 |  6356507 |   127832 |    66845      2 |      773 |      664
695.97/696.19	c  695s |      15 |  6357515 |   128132 |    66845      2 |      773 |      664
698.17/698.35	c  697s |      15 |  6368839 |   128432 |    66845      2 |      773 |      664
700.17/700.39	c  699s |      15 |  6380643 |   128832 |    66845      2 |      773 |      664
702.77/702.94	c  702s |      15 |  6399746 |   129232 |    66845      2 |      773 |      664
705.46/705.62	c  704s |      15 |  6409768 |   129732 |    66845      2 |      773 |      664
708.27/708.45	c  707s |      15 |  6414083 |   130132 |    66845      2 |      773 |      664
710.57/710.79	c  709s |      15 |  6429662 |   130532 |    66845      2 |      773 |      664
713.46/713.64	c  712s |      15 |  6448533 |   130932 |    73530      2 |      773 |      664
716.07/716.23	c  715s |      15 |  6467115 |   131332 |    73530      2 |      773 |      664
717.26/717.49	c  716s |      16 |  6473535 |   131552 |    73530      2 |      773 |      664
719.56/719.77	c  718s |      16 |  6486847 |   131752 |    73530      2 |      773 |      664
721.76/721.99	c  721s |      16 |  6501013 |   132152 |    73530      2 |      773 |      664
724.26/724.48	c  723s |      16 |  6520551 |   132552 |    73530      2 |      773 |      664
726.36/726.58	c  725s |      16 |  6534374 |   132952 |    73530      2 |      773 |      664
728.76/728.99	c  728s |      16 |  6552831 |   133352 |    73530      2 |      773 |      664
731.15/731.30	c  730s |      16 |  6564811 |   133652 |    73530      2 |      773 |      664
733.66/733.81	c  732s |      16 |  6568422 |   133952 |    73530      2 |      773 |      664
736.35/736.52	c  735s |      16 |  6597878 |   134352 |    73530      2 |      773 |      664
738.65/738.85	c  738s |      16 |  6617048 |   134652 |    73530      2 |      773 |      664
741.15/741.33	c  740s |      16 |  6634493 |   135052 |    73530      2 |      773 |      664
743.35/743.59	c  742s |      16 |  6650107 |   135452 |    73530      2 |      773 |      664
745.44/745.66	c  744s |      16 |  6665533 |   135852 |    73530      2 |      773 |      664
747.54/747.72	c  746s |      16 |  6680520 |   136152 |    73530      2 |      773 |      664
749.74/749.93	c  749s |      16 |  6700327 |   136452 |    73530      2 |      773 |      664
752.04/752.27	c  751s |      16 |  6716760 |   136752 |    73530      2 |      773 |      664
754.04/754.28	c  753s |      16 |  6731519 |   137052 |    73530      2 |      773 |      664
756.54/756.79	c  755s |      16 |  6754752 |   137352 |    73530      2 |      773 |      664
758.94/759.17	c  758s |      16 |  6773656 |   137752 |    73530      2 |      773 |      664
761.23/761.40	c  760s |      16 |  6780493 |   138152 |    73530      2 |      773 |      664
763.63/763.81	c  762s |      16 |  6799149 |   138552 |    73530      2 |      773 |      664
765.63/765.89	c  765s |      16 |  6810931 |   138852 |    73530      2 |      773 |      664
768.23/768.45	c  767s |      16 |  6831071 |   139252 |    73530      2 |      773 |      664
770.62/770.81	c  769s |      16 |  6848833 |   139552 |    73530      2 |      773 |      664
772.92/773.11	c  772s |      16 |  6868549 |   139852 |    73530      2 |      773 |      664
774.92/775.17	c  774s |      16 |  6881258 |   140152 |    73530      2 |      773 |      664
777.12/777.36	c  776s |      16 |  6900884 |   140452 |    73530      2 |      773 |      664
780.82/781.06	c  780s |      16 |  6916342 |   140752 |    73530      3 |      773 |      664
783.42/783.66	c  782s |      16 |  6937300 |   141152 |    73530      3 |      773 |      664
785.92/786.11	c  785s |      16 |  6954404 |   141652 |    73530      3 |      773 |      664
788.12/788.36	c  787s |      16 |  6978754 |   142052 |    73530      3 |      773 |      664
790.32/790.50	c  789s |      16 |  6995649 |   142452 |    73530      3 |      773 |      664
792.61/792.84	c  791s |      16 |  7018773 |   142852 |    73530      3 |      773 |      664
795.12/795.36	c  794s |      16 |  7038926 |   143252 |    73530      3 |      773 |      664
797.21/797.46	c  796s |      16 |  7058464 |   143552 |    73530      3 |      773 |      664
799.51/799.72	c  798s |      16 |  7081431 |   143952 |    73530      3 |      773 |      664
801.81/802.09	c  801s |      16 |  7103577 |   144352 |    73530      3 |      773 |      664
804.30/804.51	c  803s |      16 |  7132470 |   144752 |    73530      3 |      773 |      664
806.60/806.86	c  806s |      16 |  7150955 |   145252 |    73530      3 |      773 |      664
809.00/809.29	c  808s |      16 |  7170130 |   145652 |    73530      3 |      774 |      665
811.10/811.32	c  810s |      16 |  7172526 |   146052 |    73530      3 |      774 |      665
813.20/813.48	c  812s |      16 |  7185946 |   146552 |    73530      3 |      774 |      665
815.40/815.69	c  814s |      16 |  7205265 |   147052 |    73530      3 |      774 |      665
818.00/818.27	c  817s |      16 |  7231301 |   147552 |    73530      3 |      774 |      665
820.40/820.62	c  819s |      16 |  7248842 |   148052 |    73530      3 |      774 |      665
822.60/822.89	c  822s |      16 |  7272563 |   148452 |    73530      3 |      774 |      665
824.99/825.25	c  824s |      16 |  7287191 |   148952 |    73530      3 |      774 |      665
827.59/827.82	c  826s |      16 |  7308633 |   149452 |    73530      3 |      774 |      665
830.09/830.34	c  829s |      16 |  7325185 |   149952 |    73530      3 |      774 |      665
832.09/832.35	c  831s |      16 |  7335960 |   150452 |    73530      3 |      774 |      665
834.29/834.51	c  833s |      16 |  7356875 |   150852 |    73530      3 |      774 |      665
836.89/837.14	c  836s |      16 |  7380624 |   151252 |    73530      3 |      774 |      665
838.89/839.20	c  838s |      16 |  7396181 |   151552 |    73530      3 |      774 |      665
841.18/841.49	c  840s |      16 |  7408493 |   151852 |    73530      3 |      775 |      666
843.38/843.60	c  842s |      16 |  7424066 |   152352 |    73530      3 |      775 |      666
845.48/845.71	c  844s |      16 |  7427313 |   152952 |    73530      3 |      775 |      666
847.99/848.22	c  847s |      16 |  7445991 |   153452 |    73530      3 |      775 |      666
850.08/850.40	c  849s |      16 |  7461272 |   153852 |    73530      3 |      775 |      666
852.57/852.88	c  852s |      16 |  7481660 |   154252 |    73530      3 |      775 |      666
855.18/855.40	c  854s |      16 |  7493792 |   154752 |    73530      3 |      775 |      666
857.48/857.70	c  856s |      16 |  7504549 |   155252 |    73530      3 |      775 |      666
859.68/859.91	c  859s |      16 |  7517881 |   155752 |    73530      3 |      775 |      666
861.67/861.99	c  861s |      16 |  7528278 |   156152 |    73530      3 |      775 |      666
863.77/864.03	c  863s |      16 |  7547286 |   156552 |    73530      3 |      775 |      666
865.77/866.04	c  865s |      16 |  7563715 |   156952 |    73530      3 |      775 |      666
868.37/868.61	c  867s |      16 |  7584145 |   157452 |    73530      3 |      775 |      666
870.77/871.03	c  870s |      16 |  7605231 |   157852 |    73530      3 |      775 |      666
872.77/873.08	c  872s |      16 |  7621721 |   158252 |    73530      3 |      775 |      666
875.07/875.30	c  874s |      16 |  7638001 |   158652 |    73530      3 |      775 |      666
877.27/877.50	c  876s |      16 |  7642501 |   159052 |    73530      3 |      775 |      666
879.37/879.60	c  878s |      16 |  7650641 |   159452 |    73530      3 |      775 |      666
881.56/881.88	c  881s |      16 |  7651374 |   159752 |    73530      3 |      775 |      666
883.86/884.15	c  883s |      16 |  7658209 |   160152 |    73530      3 |      775 |      666
886.16/886.47	c  885s |      16 |  7671554 |   160652 |    73530      3 |      775 |      666
888.26/888.51	c  887s |      16 |  7687632 |   161052 |    73530      3 |      775 |      666
890.26/890.52	c  889s |      16 |  7697972 |   161552 |    73530      3 |      775 |      666
892.35/892.61	c  891s |      16 |  7699204 |   161952 |    73530      3 |      775 |      666
894.65/894.92	c  894s |      16 |  7706450 |   162352 |    73530      3 |      775 |      666
896.75/897.04	c  896s |      16 |  7711578 |   162952 |    73530      3 |      775 |      666
898.75/899.04	c  898s |      16 |  7714346 |   163452 |    73530      3 |      775 |      666
900.95/901.22	c  900s |      16 |  7716684 |   163952 |    73530      3 |      775 |      666
903.05/903.32	c  902s |      16 |  7723859 |   164352 |    73530      3 |      775 |      666
905.65/905.95	c  905s |      16 |  7745329 |   164752 |    73530      3 |      775 |      666
907.95/908.29	c  907s |      16 |  7764959 |   165052 |    73530      3 |      775 |      666
910.35/910.65	c  909s |      16 |  7780733 |   165552 |    73530      3 |      775 |      666
912.44/912.77	c  911s |      16 |  7796238 |   165852 |    73530      3 |      775 |      666
915.94/916.23	c  915s |      16 |  7797379 |   166152 |    73530      3 |      775 |      666
918.04/918.37	c  917s |      16 |  7798571 |   166352 |    73530      3 |      775 |      666
920.34/920.70	c  919s |      16 |  7800686 |   166852 |    73530      3 |      775 |      666
922.64/922.92	c  922s |      16 |  7801840 |   167152 |    73530      3 |      775 |      666
924.73/925.10	c  924s |      16 |  7809447 |   167552 |    73530      3 |      775 |      666
927.14/927.46	c  926s |      16 |  7822433 |   168052 |    73530      3 |      775 |      666
929.43/929.77	c  928s |      16 |  7823702 |   168452 |    73530      3 |      775 |      666
932.13/932.42	c  931s |      16 |  7825322 |   168852 |    73530      3 |      775 |      666
934.84/935.18	c  934s |      16 |  7826261 |   169152 |    73530      3 |      775 |      666
937.23/937.51	c  936s |      16 |  7842372 |   169552 |    73530      3 |      775 |      666
939.63/939.99	c  939s |      16 |  7862386 |   169952 |    73530      3 |      775 |      666
942.02/942.32	c  941s |      16 |  7880065 |   170352 |    73530      3 |      775 |      666
944.02/944.39	c  943s |      16 |  7882025 |   170852 |    73530      3 |      775 |      666
946.22/946.51	c  945s |      16 |  7883574 |   171252 |    73530      3 |      775 |      666
948.42/948.77	c  947s |      16 |  7903879 |   171652 |    73530      3 |      775 |      666
950.82/951.17	c  950s |      16 |  7922727 |   172052 |    73530      3 |      775 |      666
953.02/953.37	c  952s |      16 |  7939895 |   172352 |    73530      3 |      775 |      666
955.31/955.63	c  954s |      16 |  7952523 |   172852 |    73530      3 |      775 |      666
957.71/958.05	c  957s |      16 |  7970729 |   173352 |    73530      3 |      775 |      666
959.91/960.23	c  959s |      16 |  7989582 |   173652 |    73530      3 |      775 |      666
962.11/962.44	c  961s |      16 |  7993556 |   173952 |    73530      3 |      775 |      666
964.61/964.97	c  964s |      16 |  8012485 |   174352 |    73530      3 |      775 |      666
966.62/966.98	c  966s |      16 |  8028629 |   174652 |    73530      3 |      775 |      666
968.71/969.08	c  968s |      16 |  8043898 |   174952 |    73530      3 |      775 |      666
971.31/971.66	c  970s |      16 |  8056600 |   175352 |    73530      3 |      775 |      666
973.91/974.27	c  973s |      16 |  8073720 |   175752 |    73530      3 |      775 |      666
976.81/977.15	c  976s |      16 |  8091256 |   176152 |    73530      3 |      775 |      666
979.11/979.47	c  978s |      16 |  8108343 |   176552 |    73530      3 |      775 |      666
981.60/981.91	c  981s |      16 |  8128765 |   176952 |    73530      3 |      775 |      666
984.00/984.36	c  983s |      16 |  8146667 |   177352 |    73530      3 |      775 |      666
986.10/986.46	c  985s |      16 |  8167279 |   177652 |    73530      3 |      775 |      666
988.40/988.72	c  987s |      16 |  8176317 |   178052 |    73530      3 |      775 |      666
990.70/991.09	c  990s |      16 |  8188089 |   178452 |    73530      3 |      775 |      666
993.00/993.40	c  992s |      16 |  8206364 |   178752 |    73530      3 |      775 |      666
995.90/996.29	c  995s |      16 |  8210536 |   178952 |    73530      4 |      775 |      666
998.20/998.57	c  997s |      16 |  8221800 |   179452 |    73530      4 |      775 |      666
1000.59/1000.96	c 1000s |      16 |  8245230 |   179952 |    73530      4 |      775 |      666
1002.79/1003.14	c 1002s |      16 |  8268259 |   180352 |    73530      4 |      775 |      666
1004.89/1005.20	c 1004s |      16 |  8286558 |   180852 |    73530      4 |      775 |      666
1007.19/1007.53	c 1006s |      16 |  8306445 |   181352 |    73530      4 |      775 |      666
1009.19/1009.53	c 1008s |      16 |  8326525 |   181752 |    73530      4 |      775 |      666
1011.18/1011.59	c 1010s |      16 |  8349406 |   182152 |    73530      4 |      775 |      666
1013.48/1013.89	c 1013s |      16 |  8376416 |   182552 |    73530      4 |      775 |      666
1015.58/1015.94	c 1015s |      16 |  8396087 |   183052 |    73530      4 |      775 |      666
1017.78/1018.17	c 1017s |      16 |  8419171 |   183452 |    73530      4 |      775 |      666
1020.18/1020.51	c 1019s |      16 |  8442275 |   183852 |    73530      4 |      775 |      666
1022.58/1022.95	c 1022s |      16 |  8469446 |   184252 |    73530      4 |      775 |      666
1024.98/1025.34	c 1024s |      16 |  8484960 |   184652 |    73530      4 |      775 |      666
1026.98/1027.37	c 1026s |      16 |  8504839 |   185052 |    73530      4 |      775 |      666
1029.08/1029.44	c 1028s |      16 |  8526918 |   185452 |    73530      4 |      775 |      666
1031.37/1031.80	c 1030s |      16 |  8545282 |   185952 |    73530      4 |      775 |      666
1033.68/1034.06	c 1033s |      16 |  8564265 |   186352 |    73530      4 |      775 |      666
1035.88/1036.26	c 1035s |      16 |  8583978 |   186852 |    73530      4 |      775 |      666
1038.37/1038.78	c 1037s |      16 |  8607030 |   187452 |    73530      4 |      775 |      666
1040.76/1041.19	c 1040s |      16 |  8631393 |   187852 |    73530      4 |      775 |      666
1042.86/1043.20	c 1042s |      16 |  8648836 |   188152 |    73530      4 |      775 |      666
1045.16/1045.55	c 1044s |      16 |  8671126 |   188652 |    73530      4 |      775 |      666
1047.36/1047.74	c 1046s |      16 |  8690028 |   189052 |    73530      4 |      775 |      666
1049.86/1050.20	c 1049s |      16 |  8713447 |   189552 |    73530      4 |      775 |      666
1051.86/1052.29	c 1051s |      16 |  8735437 |   189852 |    73530      4 |      775 |      666
1054.25/1054.64	c 1053s |      16 |  8760850 |   190252 |    73530      4 |      775 |      666
1056.45/1056.85	c 1056s |      16 |  8780971 |   190752 |    73530      4 |      775 |      666
1058.85/1059.24	c 1058s |      16 |  8800985 |   191252 |    73530      4 |      775 |      666
1061.16/1061.54	c 1060s |      16 |  8823274 |   191652 |    73530      4 |      775 |      666
1063.55/1063.91	c 1063s |      16 |  8836067 |   192252 |    73530      4 |      775 |      666
1065.95/1066.38	c 1065s |      16 |  8849976 |   192852 |    73530      4 |      775 |      666
1068.35/1068.71	c 1067s |      16 |  8873685 |   193252 |    73530      4 |      775 |      666
1070.55/1070.95	c 1070s |      16 |  8891254 |   193652 |    73530      4 |      775 |      666
1072.75/1073.19	c 1072s |      16 |  8895427 |   194152 |    73530      4 |      775 |      666
1075.05/1075.42	c 1074s |      16 |  8915012 |   194552 |    73530      4 |      775 |      666
1077.75/1078.13	c 1077s |      16 |  8933033 |   194952 |    73530      4 |      776 |      667
1080.04/1080.44	c 1079s |      16 |  8954480 |   195452 |    73530      4 |      776 |      667
1082.44/1082.86	c 1082s |      16 |  8978327 |   195952 |    73530      4 |      776 |      667
1084.74/1085.12	c 1084s |      16 |  8996964 |   196352 |    80883      4 |      776 |      667
1086.94/1087.35	c 1086s |      16 |  9021670 |   196752 |    80883      4 |      776 |      667
1088.94/1089.35	c 1088s |      16 |  9042737 |   197052 |    80883      4 |      776 |      667
1091.04/1091.44	c 1090s |      17 |  9063524 |   197432 |    80883      4 |      776 |      667
1093.04/1093.49	c 1092s |      17 |  9071812 |   197732 |    80883      4 |      776 |      667
1095.24/1095.60	c 1094s |      17 |  9093944 |   198132 |    80883      4 |      776 |      667
1097.54/1097.96	c 1097s |      17 |  9115768 |   198632 |    80883      4 |      776 |      667
1100.23/1100.62	c 1099s |      17 |  9145435 |   199032 |    80883      4 |      776 |      667
1102.33/1102.76	c 1101s |      17 |  9162585 |   199432 |    80883      4 |      776 |      667
1104.43/1104.82	c 1103s |      17 |  9164864 |   199932 |    80883      4 |      776 |      667
1106.53/1106.97	c 1106s |      17 |  9166779 |   200232 |    80883      4 |      776 |      667
1108.63/1109.03	c 1108s |      17 |  9168315 |   200532 |    80883      4 |      776 |      667
1111.02/1111.48	c 1110s |      17 |  9169953 |   200932 |    80883      4 |      776 |      667
1114.12/1114.55	c 1113s |      17 |  9170767 |   201232 |    80883      4 |      776 |      667
1117.02/1117.41	c 1116s |      17 |  9172545 |   201632 |    80883      4 |      776 |      667
1119.53/1119.92	c 1119s |      17 |  9172961 |   201832 |    80883      4 |      776 |      667
1121.72/1122.19	c 1121s |      17 |  9173893 |   202032 |    80883      4 |      776 |      667
1123.82/1124.28	c 1123s |      17 |  9174823 |   202232 |    80883      4 |      776 |      667
1126.81/1127.20	c 1126s |      17 |  9175362 |   202432 |    80883      4 |      776 |      667
1128.81/1129.22	c 1128s |      17 |  9195257 |   202732 |    80883      4 |      776 |      667
1131.41/1131.86	c 1131s |      17 |  9226100 |   203132 |    80883      4 |      776 |      667
1133.51/1133.90	c 1133s |      17 |  9244946 |   203432 |    80883      4 |      776 |      667
1135.51/1135.94	c 1135s |      17 |  9264869 |   203732 |    80883      4 |      776 |      667
1138.01/1138.47	c 1137s |      17 |  9289233 |   204132 |    80883      4 |      776 |      667
1140.50/1140.92	c 1140s |      17 |  9310424 |   204532 |    80883      4 |      776 |      667
1143.10/1143.53	c 1142s |      17 |  9328767 |   205132 |    80883      4 |      776 |      667
1145.50/1145.92	c 1145s |      17 |  9351066 |   205532 |    80883      4 |      776 |      667
1148.01/1148.45	c 1147s |      17 |  9378007 |   205932 |    80883      4 |      776 |      667
1150.10/1150.52	c 1149s |      17 |  9398104 |   206232 |    80883      4 |      776 |      667
1152.51/1152.94	c 1152s |      17 |  9422433 |   206632 |    80883      4 |      776 |      667
1155.00/1155.43	c 1154s |      17 |  9447407 |   207032 |    80883      4 |      776 |      667
1157.70/1158.17	c 1157s |      17 |  9465565 |   207632 |    80883      4 |      776 |      667
1159.80/1160.21	c 1159s |      17 |  9486970 |   207932 |    80883      4 |      776 |      667
1162.40/1162.89	c 1162s |      17 |  9507229 |   208332 |    80883      4 |      776 |      667
1164.80/1165.22	c 1164s |      17 |  9525838 |   208832 |    80883      4 |      776 |      667
1167.10/1167.51	c 1166s |      17 |  9527688 |   209232 |    80883      4 |      776 |      667
1169.31/1169.71	c 1168s |      17 |  9532958 |   209732 |    80883      4 |      776 |      667
1171.40/1171.88	c 1171s |      17 |  9550916 |   210132 |    80883      4 |      776 |      667
1174.10/1174.57	c 1173s |      17 |  9574529 |   210532 |    80883      4 |      776 |      667
1176.40/1176.85	c 1176s |      17 |  9588539 |   210732 |    80883      4 |      777 |      668
1178.91/1179.33	c 1178s |      17 |  9613623 |   211132 |    80883      4 |      777 |      668
1181.70/1182.19	c 1181s |      17 |  9637446 |   211532 |    80883      4 |      777 |      668
1184.20/1184.64	c 1183s |      17 |  9656025 |   211932 |    80883      4 |      777 |      668
1186.70/1187.15	c 1186s |      17 |  9686106 |   212332 |    80883      4 |      777 |      668
1188.70/1189.16	c 1188s |      17 |  9698284 |   212732 |    80883      4 |      777 |      668
1191.00/1191.46	c 1190s |      17 |  9713488 |   213132 |    80883      4 |      777 |      668
1193.39/1193.82	c 1192s |      17 |  9718233 |   213632 |    80883      4 |      777 |      668
1195.99/1196.46	c 1195s |      17 |  9732612 |   214032 |    80883      4 |      777 |      668
1198.49/1198.91	c 1198s |      17 |  9753448 |   214432 |    80883      4 |      777 |      668
1200.68/1201.10	c 1200s |      17 |  9768859 |   214832 |    80883      4 |      777 |      668
1202.78/1203.26	c 1202s |      17 |  9782627 |   215232 |    80883      4 |      777 |      668
1205.08/1205.57	c 1204s |      17 |  9800848 |   215632 |    80883      4 |      777 |      668
1207.28/1207.79	c 1206s |      17 |  9824242 |   215932 |    80883      4 |      777 |      668
1209.69/1210.16	c 1209s |      17 |  9844030 |   216332 |    80883      4 |      777 |      668
1211.68/1212.19	c 1211s |      17 |  9858291 |   216732 |    80883      4 |      777 |      668
1213.78/1214.26	c 1213s |      17 |  9866911 |   217032 |    80883      4 |      777 |      668
1216.18/1216.63	c 1215s |      17 |  9884169 |   217432 |    80883      4 |      777 |      668
1218.67/1219.14	c 1218s |      17 |  9896301 |   218032 |    80883      4 |      777 |      668
1220.77/1221.21	c 1220s |      17 |  9912083 |   218432 |    80883      4 |      777 |      668
1223.37/1223.86	c 1223s |      17 |  9929958 |   218832 |    80883      4 |      777 |      668
1225.97/1226.42	c 1225s |      17 |  9951154 |   219232 |    80883      4 |      777 |      668
1228.77/1229.21	c 1228s |      17 |  9973818 |   219632 |    80883      4 |      777 |      668
1231.07/1231.50	c 1230s |      17 |  9992996 |   219932 |    80883      4 |      777 |      668
1233.47/1233.97	c 1233s |      17 | 10011021 |   220332 |    80883      4 |      777 |      668
1235.57/1236.02	c 1235s |      17 | 10024749 |   220732 |    80883      4 |      777 |      668
1237.57/1238.07	c 1237s |      17 | 10042677 |   221032 |    80883      4 |      777 |      668
1239.97/1240.40	c 1239s |      17 | 10059310 |   221532 |    80883      4 |      777 |      668
1242.27/1242.71	c 1241s |      17 | 10076282 |   222032 |    80883      4 |      777 |      668
1244.37/1244.83	c 1243s |      17 | 10088508 |   222432 |    80883      4 |      777 |      668
1246.47/1246.94	c 1246s |      17 | 10089320 |   222732 |    80883      4 |      777 |      668
1248.47/1248.94	c 1248s |      17 | 10090229 |   222832 |    80883      4 |      777 |      668
1250.97/1251.46	c 1250s |      17 | 10099441 |   223332 |    80883      4 |      777 |      668
1253.07/1253.58	c 1252s |      17 | 10109036 |   223732 |    80883      4 |      777 |      668
1255.77/1256.22	c 1255s |      17 | 10132131 |   224232 |    80883      4 |      777 |      668
1257.97/1258.44	c 1257s |      17 | 10144687 |   224732 |    80883      4 |      777 |      668
1260.17/1260.67	c 1259s |      17 | 10159040 |   225232 |    80883      4 |      777 |      668
1263.97/1264.42	c 1263s |      17 | 10171945 |   225532 |    80883      5 |      777 |      668
1266.06/1266.51	c 1265s |      17 | 10185426 |   225932 |    80883      5 |      777 |      668
1268.16/1268.68	c 1267s |      17 | 10203737 |   226432 |    80883      5 |      777 |      668
1270.46/1270.91	c 1270s |      17 | 10224566 |   226932 |    80883      5 |      777 |      668
1272.66/1273.17	c 1272s |      17 | 10239830 |   227432 |    80883      5 |      777 |      668
1274.86/1275.34	c 1274s |      17 | 10262113 |   227832 |    80883      5 |      777 |      668
1277.16/1277.64	c 1276s |      17 | 10286690 |   228232 |    80883      5 |      777 |      668
1279.66/1280.14	c 1279s |      17 | 10314583 |   228732 |    80883      5 |      777 |      668
1281.86/1282.36	c 1281s |      17 | 10335467 |   229232 |    80883      5 |      777 |      668
1284.26/1284.74	c 1283s |      17 | 10353316 |   229832 |    80883      5 |      777 |      668
1286.46/1286.92	c 1286s |      17 | 10374528 |   230332 |    80883      5 |      777 |      668
1288.66/1289.15	c 1288s |      17 | 10397687 |   230832 |    80883      5 |      777 |      668
1291.36/1291.84	c 1290s |      17 | 10421734 |   231332 |    80883      5 |      777 |      668
1293.86/1294.30	c 1293s |      17 | 10446340 |   231832 |    80883      5 |      777 |      668
1296.26/1296.74	c 1295s |      17 | 10473451 |   232332 |    80883      5 |      777 |      668
1298.46/1298.95	c 1298s |      17 | 10496579 |   232632 |    80883      5 |      778 |      669
1301.06/1301.50	c 1300s |      17 | 10521470 |   233032 |    80883      5 |      778 |      669
1303.06/1303.58	c 1302s |      17 | 10545088 |   233432 |    80883      5 |      778 |      669
1305.36/1305.83	c 1304s |      17 | 10575328 |   233832 |    80883      5 |      778 |      669
1307.46/1307.92	c 1307s |      17 | 10598233 |   234232 |    80883      5 |      778 |      669
1309.56/1310.05	c 1309s |      17 | 10612352 |   234732 |    80883      5 |      778 |      669
1311.76/1312.29	c 1311s |      17 | 10631629 |   235132 |    80883      5 |      778 |      669
1313.96/1314.45	c 1313s |      17 | 10650270 |   235632 |    80883      5 |      778 |      669
1316.06/1316.55	c 1315s |      17 | 10671127 |   236032 |    80883      5 |      778 |      669
1318.15/1318.63	c 1317s |      17 | 10683498 |   236432 |    80883      5 |      779 |      670
1320.26/1320.70	c 1319s |      17 | 10692160 |   236932 |    80883      5 |      779 |      670
1322.36/1322.89	c 1322s |      17 | 10707692 |   237432 |    80883      5 |      779 |      670
1325.26/1325.71	c 1324s |      17 | 10722616 |   237832 |    80883      5 |      779 |      670
1327.27/1327.72	c 1326s |      17 | 10723123 |   238032 |    80883      5 |      779 |      670
1329.26/1329.78	c 1328s |      17 | 10745110 |   238432 |    80883      5 |      779 |      670
1331.86/1332.36	c 1331s |      17 | 10770472 |   238832 |    80883      5 |      779 |      670
1334.56/1335.07	c 1334s |      17 | 10771763 |   239232 |    80883      5 |      779 |      670
1337.06/1337.55	c 1336s |      17 | 10793223 |   239732 |    80883      5 |      779 |      670
1339.66/1340.19	c 1339s |      17 | 10817093 |   240132 |    80883      5 |      779 |      670
1341.96/1342.42	c 1341s |      17 | 10841216 |   240532 |    80883      5 |      779 |      670
1344.06/1344.56	c 1343s |      17 | 10843202 |   240932 |    80883      5 |      779 |      670
1346.75/1347.21	c 1346s |      17 | 10860242 |   241432 |    80883      5 |      779 |      670
1349.26/1349.73	c 1348s |      17 | 10874659 |   241932 |    80883      5 |      779 |      670
1351.25/1351.77	c 1350s |      17 | 10877442 |   242432 |    80883      5 |      779 |      670
1353.45/1353.96	c 1353s |      17 | 10887233 |   242932 |    80883      5 |      779 |      670
1355.96/1356.42	c 1355s |      17 | 10908795 |   243332 |    80883      5 |      779 |      670
1358.55/1359.01	c 1358s |      17 | 10928405 |   243832 |    80883      5 |      779 |      670
1360.55/1361.03	c 1360s |      17 | 10946306 |   244232 |    80883      5 |      779 |      670
1362.65/1363.19	c 1362s |      17 | 10970380 |   244632 |    80883      5 |      779 |      670
1365.15/1365.61	c 1364s |      17 | 10995267 |   245132 |    80883      5 |      779 |      670
1367.45/1367.96	c 1367s |      17 | 11014660 |   245532 |    80883      5 |      779 |      670
1369.75/1370.23	c 1369s |      17 | 11039364 |   245932 |    80883      5 |      779 |      670
1371.95/1372.49	c 1371s |      17 | 11059445 |   246332 |    80883      5 |      779 |      670
1374.45/1374.93	c 1374s |      17 | 11077123 |   246832 |    80883      5 |      779 |      670
1376.55/1377.06	c 1376s |      17 | 11099518 |   247232 |    80883      5 |      779 |      670
1378.65/1379.12	c 1378s |      17 | 11103891 |   247832 |    80883      5 |      779 |      670
1380.74/1381.28	c 1380s |      17 | 11106415 |   248332 |    80883      5 |      779 |      670
1382.85/1383.32	c 1382s |      17 | 11111625 |   248632 |    80883      5 |      779 |      670
1385.05/1385.54	c 1384s |      17 | 11118737 |   249032 |    80883      5 |      779 |      670
1387.45/1387.95	c 1387s |      17 | 11138491 |   249532 |    80883      5 |      779 |      670
1389.96/1390.41	c 1389s |      17 | 11162229 |   250032 |    80883      5 |      779 |      670
1392.05/1392.50	c 1391s |      17 | 11175212 |   250432 |    80883      5 |      779 |      670
1394.36/1394.83	c 1393s |      17 | 11185193 |   250932 |    80883      5 |      779 |      670
1396.56/1397.01	c 1396s |      17 | 11202044 |   251332 |    80883      5 |      779 |      670
1398.76/1399.29	c 1398s |      17 | 11218487 |   251732 |    80883      5 |      779 |      670
1401.25/1401.78	c 1400s |      17 | 11231809 |   252132 |    80883      5 |      779 |      670
1403.35/1403.82	c 1402s |      17 | 11239781 |   252532 |    80883      5 |      779 |      670
1405.75/1406.26	c 1405s |      17 | 11241700 |   252932 |    80883      5 |      779 |      670
1408.25/1408.77	c 1407s |      17 | 11242136 |   253132 |    80883      5 |      779 |      670
1410.75/1411.29	c 1410s |      17 | 11250778 |   253432 |    80883      5 |      779 |      670
1412.85/1413.35	c 1412s |      17 | 11260538 |   253832 |    80883      5 |      779 |      670
1415.35/1415.84	c 1414s |      17 | 11272463 |   254232 |    80883      5 |      779 |      670
1417.45/1417.91	c 1417s |      17 | 11281227 |   254732 |    80883      5 |      779 |      670
1419.65/1420.19	c 1419s |      17 | 11298833 |   255132 |    80883      5 |      779 |      670
1421.95/1422.45	c 1421s |      17 | 11316263 |   255632 |    80883      5 |      779 |      670
1423.94/1424.46	c 1423s |      17 | 11335310 |   256032 |    80883      5 |      779 |      670
1426.44/1426.91	c 1426s |      17 | 11355083 |   256432 |    80883      5 |      779 |      670
1428.45/1428.96	c 1428s |      17 | 11370174 |   256832 |    80883      5 |      779 |      670
1430.84/1431.33	c 1430s |      17 | 11385229 |   257332 |    80883      5 |      779 |      670
1433.24/1433.73	c 1432s |      17 | 11397758 |   257832 |    80883      5 |      779 |      670
1435.54/1436.09	c 1435s |      17 | 11416873 |   258232 |    80883      5 |      779 |      670
1438.04/1438.57	c 1437s |      17 | 11417842 |   258632 |    80883      5 |      779 |      670
1440.14/1440.68	c 1439s |      17 | 11418612 |   258832 |    80883      5 |      779 |      670
1443.04/1443.59	c 1442s |      17 | 11434947 |   259232 |    80883      5 |      780 |      671
1445.64/1446.19	c 1445s |      17 | 11451762 |   259632 |    80883      5 |      780 |      671
1447.74/1448.25	c 1447s |      17 | 11467915 |   260032 |    80883      5 |      780 |      671
1449.94/1450.42	c 1449s |      17 | 11481001 |   260432 |    80883      5 |      780 |      671
1452.44/1452.99	c 1452s |      17 | 11485805 |   260832 |    80883      5 |      780 |      671
1454.94/1455.44	c 1454s |      17 | 11503995 |   261232 |    80883      5 |      780 |      671
1457.53/1458.09	c 1457s |      17 | 11522097 |   261732 |    80883      5 |      780 |      671
1459.73/1460.25	c 1459s |      17 | 11546626 |   262032 |    80883      5 |      780 |      671
1462.13/1462.64	c 1461s |      17 | 11555824 |   262532 |    80883      5 |      780 |      671
1464.84/1465.33	c 1464s |      17 | 11578229 |   262932 |    80883      5 |      780 |      671
1467.43/1467.93	c 1467s |      17 | 11599010 |   263332 |    80883      5 |      780 |      671
1469.83/1470.36	c 1469s |      17 | 11612680 |   263732 |    80883      5 |      780 |      671
1472.13/1472.67	c 1471s |      17 | 11628438 |   264132 |    80883      5 |      780 |      671
1474.53/1475.00	c 1474s |      17 | 11645480 |   264532 |    80883      5 |      780 |      671
1476.63/1477.14	c 1476s |      17 | 11660095 |   264932 |    80883      5 |      780 |      671
1478.93/1479.40	c 1478s |      17 | 11674249 |   265332 |    80883      5 |      780 |      671
1481.13/1481.69	c 1480s |      17 | 11688564 |   265732 |    80883      5 |      780 |      671
1483.64/1484.13	c 1483s |      17 | 11707202 |   266132 |    80883      5 |      780 |      671
1487.94/1488.45	c 1487s |      17 | 11727052 |   266532 |    80883      6 |      780 |      671
1490.14/1490.66	c 1489s |      17 | 11748051 |   267032 |    80883      6 |      780 |      671
1492.44/1492.98	c 1492s |      17 | 11774737 |   267532 |    80883      6 |      780 |      671
1494.54/1495.08	c 1494s |      17 | 11791754 |   267932 |    80883      6 |      780 |      671
1497.14/1497.63	c 1496s |      17 | 11806316 |   268332 |    80883      6 |      780 |      671
1499.54/1500.06	c 1499s |      17 | 11818735 |   268832 |    80883      6 |      780 |      671
1501.93/1502.41	c 1501s |      17 | 11842669 |   269332 |    80883      6 |      780 |      671
1504.44/1504.94	c 1504s |      17 | 11854735 |   269732 |    80883      6 |      780 |      671
1506.54/1507.06	c 1506s |      17 | 11865710 |   270232 |    80883      6 |      780 |      671
1508.74/1509.25	c 1508s |      17 | 11883805 |   270732 |    80883      6 |      780 |      671
1511.04/1511.51	c 1510s |      17 | 11906870 |   271232 |    80883      6 |      780 |      671
1513.24/1513.76	c 1512s |      17 | 11926433 |   271632 |    80883      6 |      780 |      671
1515.23/1515.76	c 1514s |      17 | 11939642 |   271932 |    80883      6 |      780 |      671
1517.73/1518.28	c 1517s |      17 | 11941325 |   272332 |    80883      6 |      780 |      671
1519.84/1520.33	c 1519s |      17 | 11942131 |   272532 |    80883      6 |      780 |      671
1521.94/1522.49	c 1521s |      17 | 11944268 |   272832 |    80883      6 |      780 |      671
1524.24/1524.77	c 1523s |      17 | 11964911 |   273232 |    80883      6 |      780 |      671
1526.34/1526.87	c 1526s |      17 | 11982706 |   273732 |    80883      6 |      780 |      671
1528.73/1529.29	c 1528s |      17 | 12003050 |   274332 |    80883      6 |      780 |      671
1531.13/1531.61	c 1530s |      17 | 12007199 |   274832 |    80883      6 |      780 |      671
1533.63/1534.15	c 1533s |      17 | 12009199 |   275332 |    80883      6 |      780 |      671
1536.03/1536.59	c 1535s |      17 | 12010923 |   275732 |    80883      6 |      780 |      671
1538.12/1538.69	c 1537s |      17 | 12011740 |   276032 |    80883      6 |      780 |      671
1540.32/1540.83	c 1539s |      17 | 12012836 |   276332 |    80883      6 |      780 |      671
1543.02/1543.56	c 1542s |      17 | 12014209 |   276732 |    80883      6 |      780 |      671
1545.03/1545.57	c 1544s |      17 | 12018480 |   277132 |    80883      6 |      780 |      671
1547.23/1547.72	c 1546s |      17 | 12036692 |   277532 |    80883      6 |      780 |      671
1549.32/1549.89	c 1549s |      17 | 12052224 |   277932 |    80883      6 |      780 |      671
1551.73/1552.22	c 1551s |      17 | 12076206 |   278432 |    80883      6 |      780 |      671
1553.93/1554.46	c 1553s |      17 | 12094287 |   278932 |    80883      6 |      780 |      671
1556.22/1556.76	c 1555s |      17 | 12110415 |   279532 |    80883      6 |      780 |      671
1558.33/1558.85	c 1558s |      17 | 12128173 |   279932 |    80883      6 |      780 |      671
1560.52/1561.08	c 1560s |      17 | 12147548 |   280332 |    80883      6 |      780 |      671
1562.92/1563.47	c 1562s |      17 | 12169350 |   280832 |    80883      6 |      780 |      671
1565.02/1565.55	c 1564s |      17 | 12181959 |   281232 |    80883      6 |      780 |      671
1567.32/1567.81	c 1566s |      17 | 12197951 |   281832 |    80883      6 |      780 |      671
1569.62/1570.16	c 1569s |      17 | 12216084 |   282332 |    80883      6 |      780 |      671
1571.92/1572.46	c 1571s |      17 | 12241142 |   282732 |    80883      6 |      780 |      671
1574.01/1574.59	c 1573s |      17 | 12256363 |   283232 |    80883      6 |      780 |      671
1576.61/1577.12	c 1576s |      17 | 12282502 |   283732 |    80883      6 |      780 |      671
1578.91/1579.44	c 1578s |      17 | 12303391 |   284232 |    80883      6 |      780 |      671
1580.91/1581.46	c 1580s |      17 | 12319446 |   284732 |    80883      6 |      780 |      671
1583.21/1583.74	c 1582s |      17 | 12342785 |   285232 |    80883      6 |      780 |      671
1585.22/1585.76	c 1584s |      17 | 12357769 |   285632 |    80883      6 |      780 |      671
1587.62/1588.15	c 1587s |      17 | 12377102 |   286132 |    80883      6 |      780 |      671
1589.82/1590.30	c 1589s |      17 | 12394900 |   286632 |    80883      6 |      780 |      671
1592.02/1592.56	c 1591s |      17 | 12417134 |   287032 |    80883      6 |      780 |      671
1594.12/1594.68	c 1593s |      17 | 12437019 |   287432 |    80883      6 |      780 |      671
1596.32/1596.89	c 1596s |      17 | 12447227 |   288032 |    80883      6 |      780 |      671
1598.42/1598.90	c 1598s |      17 | 12451891 |   288532 |    80883      6 |      780 |      671
1600.82/1601.35	c 1600s |      17 | 12453136 |   289032 |    80883      6 |      780 |      671
1603.22/1603.80	c 1602s |      17 | 12455480 |   289432 |    80883      6 |      780 |      671
1605.32/1605.86	c 1605s |      17 | 12458892 |   290032 |    80883      6 |      780 |      671
1608.02/1608.52	c 1607s |      17 | 12460682 |   290432 |    80883      6 |      780 |      671
1611.42/1611.92	c 1611s |      17 | 12461175 |   290632 |    80883      6 |      780 |      671
1613.72/1614.25	c 1613s |      17 | 12469107 |   290932 |    80883      6 |      780 |      671
1615.72/1616.26	c 1615s |      17 | 12485897 |   291332 |    80883      6 |      780 |      671
1618.32/1618.83	c 1617s |      17 | 12506474 |   291832 |    80883      6 |      780 |      671
1620.31/1620.85	c 1620s |      17 | 12526299 |   292232 |    80883      6 |      780 |      671
1622.41/1622.91	c 1622s |      17 | 12542733 |   292632 |    80883      6 |      780 |      671
1624.71/1625.29	c 1624s |      17 | 12550315 |   293032 |    80883      6 |      780 |      671
1627.11/1627.61	c 1626s |      17 | 12551583 |   293432 |    80883      6 |      780 |      671
1629.41/1629.91	c 1629s |      17 | 12559132 |   293832 |    80883      6 |      780 |      671
1631.61/1632.17	c 1631s |      17 | 12562008 |   294132 |    80883      6 |      780 |      671
1633.71/1634.23	c 1633s |      17 | 12579562 |   294532 |    88972      6 |      780 |      671
1635.81/1636.30	c 1635s |      17 | 12596094 |   294932 |    88972      6 |      780 |      671
1638.21/1638.71	c 1637s |      17 | 12606348 |   295332 |    88972      6 |      781 |      672
1640.61/1641.12	c 1640s |      17 | 12620253 |   295732 |    88972      6 |      781 |      672
1642.71/1643.24	c 1642s |      17 | 12640209 |   296132 |    88972      6 |      781 |      672
1643.31/1643.85	c 1643s |      18 | 12646413 |   296252 |    88972      6 |      781 |      672
1645.81/1646.39	c 1645s |      18 | 12659497 |   296652 |    88972      6 |      781 |      672
1648.01/1648.55	c 1647s |      18 | 12667036 |   297152 |    88972      6 |      781 |      672
1650.31/1650.85	c 1650s |      18 | 12691945 |   297552 |    88972      6 |      781 |      672
1652.61/1653.14	c 1652s |      18 | 12698468 |   297952 |    88972      6 |      781 |      672
1655.01/1655.60	c 1654s |      18 | 12718570 |   298552 |    88972      6 |      781 |      672
1657.61/1658.20	c 1657s |      18 | 12730364 |   299052 |    88972      6 |      781 |      672
1660.20/1660.79	c 1659s |      18 | 12733986 |   299352 |    88972      6 |      781 |      672
1662.71/1663.22	c 1662s |      18 | 12755653 |   299752 |    88972      6 |      781 |      672
1664.70/1665.22	c 1664s |      18 | 12774095 |   300052 |    88972      6 |      781 |      672
1666.80/1667.34	c 1666s |      18 | 12796456 |   300452 |    88972      6 |      781 |      672
1669.00/1669.51	c 1668s |      18 | 12818908 |   300852 |    88972      6 |      781 |      672
1671.20/1671.75	c 1670s |      18 | 12832725 |   301252 |    88972      6 |      781 |      672
1673.20/1673.76	c 1672s |      18 | 12850115 |   301652 |    88972      6 |      781 |      672
1675.81/1676.33	c 1675s |      18 | 12865113 |   302152 |    88972      6 |      781 |      672
1678.01/1678.58	c 1677s |      18 | 12879638 |   302552 |    88972      6 |      781 |      672
1680.41/1680.95	c 1680s |      18 | 12889327 |   302952 |    88972      6 |      781 |      672
1682.91/1683.49	c 1682s |      18 | 12908859 |   303552 |    88972      6 |      781 |      672
1685.31/1685.87	c 1685s |      18 | 12921168 |   303952 |    88972      6 |      781 |      672
1687.51/1688.05	c 1687s |      18 | 12932139 |   304452 |    88972      6 |      781 |      672
1690.01/1690.57	c 1689s |      18 | 12954235 |   304852 |    88972      6 |      781 |      672
1692.30/1692.88	c 1692s |      18 | 12961824 |   305352 |    88972      6 |      781 |      672
1694.61/1695.12	c 1694s |      18 | 12973508 |   305652 |    88972      6 |      781 |      672
1696.70/1697.22	c 1696s |      18 | 12994498 |   305952 |    88972      6 |      781 |      672
1698.70/1699.28	c 1698s |      18 | 13008856 |   306352 |    88972      6 |      781 |      672
1701.10/1701.63	c 1700s |      18 | 13019216 |   306852 |    88972      6 |      781 |      672
1703.60/1704.19	c 1703s |      18 | 13035015 |   307352 |    88972      6 |      781 |      672
1705.71/1706.24	c 1705s |      18 | 13048743 |   307752 |    88972      6 |      781 |      672
1707.91/1708.42	c 1707s |      18 | 13058025 |   308252 |    88972      6 |      781 |      672
1710.40/1710.92	c 1710s |      18 | 13082562 |   308652 |    88972      6 |      781 |      672
1713.10/1713.68	c 1712s |      18 | 13104205 |   309052 |    88972      6 |      781 |      672
1715.20/1715.70	c 1714s |      18 | 13124470 |   309352 |    88972      6 |      781 |      672
1717.39/1717.91	c 1717s |      18 | 13137752 |   309952 |    88972      6 |      781 |      672
1719.39/1719.95	c 1719s |      18 | 13155329 |   310352 |    88972      6 |      781 |      672
1721.39/1721.95	c 1721s |      18 | 13168432 |   310752 |    88972      6 |      781 |      672
1723.69/1724.29	c 1723s |      18 | 13184415 |   311052 |    88972      6 |      781 |      672
1725.79/1726.31	c 1725s |      18 | 13195838 |   311452 |    88972      6 |      781 |      672
1727.89/1728.46	c 1727s |      18 | 13210931 |   311952 |    88972      6 |      781 |      672
1730.19/1730.71	c 1729s |      18 | 13227319 |   312352 |    88972      6 |      781 |      672
1732.19/1732.76	c 1731s |      18 | 13239266 |   312852 |    88972      6 |      781 |      672
1734.59/1735.10	c 1734s |      18 | 13253116 |   313452 |    88972      6 |      781 |      672
1737.19/1737.74	c 1736s |      18 | 13264438 |   313952 |    88972      6 |      781 |      672
1739.49/1740.08	c 1739s |      18 | 13280902 |   314352 |    88972      6 |      781 |      672
1741.59/1742.19	c 1741s |      18 | 13294997 |   314752 |    88972      6 |      781 |      672
1743.89/1744.46	c 1743s |      18 | 13304145 |   315252 |    88972      6 |      781 |      672
1746.30/1746.82	c 1745s |      18 | 13312565 |   315752 |    88972      6 |      781 |      672
1748.39/1748.92	c 1748s |      18 | 13321331 |   316152 |    88972      6 |      781 |      672
1750.69/1751.20	c 1750s |      18 | 13323541 |   316652 |    88972      6 |      781 |      672
1752.89/1753.44	c 1752s |      18 | 13331895 |   317152 |    88972      6 |      781 |      672
1755.29/1755.82	c 1754s |      18 | 13342005 |   317752 |    88972      6 |      781 |      672
1757.49/1758.00	c 1757s |      18 | 13360330 |   318152 |    88972      6 |      781 |      672
1760.39/1760.90	c 1760s |      18 | 13365715 |   318252 |    88972      7 |      781 |      672
1762.69/1763.20	c 1762s |      18 | 13393465 |   318652 |    88972      7 |      781 |      672
1765.09/1765.63	c 1764s |      18 | 13423994 |   319152 |    88972      7 |      781 |      672
1767.09/1767.68	c 1766s |      18 | 13445179 |   319552 |    88972      7 |      781 |      672
1769.39/1769.99	c 1769s |      18 | 13457676 |   320152 |    88972      7 |      781 |      672
1771.78/1772.36	c 1771s |      18 | 13483814 |   320652 |    88972      7 |      781 |      672
1773.98/1774.50	c 1773s |      18 | 13498677 |   321152 |    88972      7 |      781 |      672
1776.69/1777.28	c 1776s |      18 | 13503703 |   321752 |    88972      7 |      781 |      672
1779.19/1779.76	c 1778s |      18 | 13504609 |   322052 |    88972      7 |      781 |      672
1781.60/1782.12	c 1781s |      18 | 13523901 |   322552 |    88972      7 |      781 |      672
1783.59/1784.13	c 1783s |      18 | 13538104 |   322952 |    88972      7 |      781 |      672
1786.39/1786.91	c 1786s |      18 | 13538956 |   323252 |    88972      7 |      781 |      672
1788.79/1789.35	c 1788s |      18 | 13541328 |   323652 |    88972      7 |      781 |      672
1790.99/1791.58	c 1790s |      18 | 13555569 |   324052 |    88972      7 |      781 |      672
1793.59/1794.13	c 1793s |      18 | 13582806 |   324552 |    88972      7 |      781 |      672
1795.59/1796.14	c 1795s |      18 | 13591052 |   324952 |    88972      7 |      781 |      672
1797.89/1798.42	c 1797s |      18 | 13606698 |   325252 |    88972      7 |      781 |      672

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

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

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


[startup+0 s]
/proc/loadavg: 2.31 2.28 2.27 3/179 6580
/proc/meminfo: memFree=29101472/32872528 swapFree=17892/1720544
[pid=6580] ppid=6577 vsize=566852 CPUtime=0 cores=0,2,4,6
/proc/6580/stat : 6580 (toysat) R 6577 6580 3556 0 -1 4202496 2088 0 0 0 0 0 0 0 20 0 4 0 110366515 580456448 2449 33554432000 4194304 16246674 140733895810176 140733895809600 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6580/statm: 142225 2456 442 2943 0 139119 0
[pid=6580/tid=6581] ppid=6577 vsize=584260 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6581/stat : 6581 (toysat) S 6577 6580 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110366515 598282240 2518 33554432000 4194304 16246674 140733895810176 140651313212656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6580/tid=6582] ppid=6577 vsize=588356 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6582/stat : 6582 (toysat) S 6577 6580 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110366515 602476544 2534 33554432000 4194304 16246674 140733895810176 140651302722800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6580/tid=6583] ppid=6577 vsize=593476 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6583/stat : 6583 (toysat) S 6577 6580 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110366515 607719424 2552 33554432000 4194304 16246674 140733895810176 140651186351280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.1002 s]
/proc/loadavg: 2.31 2.28 2.27 3/179 6580
/proc/meminfo: memFree=29101472/32872528 swapFree=17892/1720544
[pid=6580] ppid=6577 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/6580/stat : 6580 (toysat) R 6577 6580 3556 0 -1 4202496 27751 0 0 0 5 3 0 0 20 0 4 0 110366515 1333334016 28050 33554432000 4194304 16246674 140733895810176 140733895809488 12752373 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6580/statm: 325521 28064 801 2943 0 322415 0
[pid=6580/tid=6581] ppid=6577 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6581/stat : 6581 (toysat) S 6577 6580 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110366515 1333334016 28075 33554432000 4194304 16246674 140733895810176 140651313212656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6580/tid=6582] ppid=6577 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6582/stat : 6582 (toysat) S 6577 6580 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110366515 1333334016 28086 33554432000 4194304 16246674 140733895810176 140651302722800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6580/tid=6583] ppid=6577 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6583/stat : 6583 (toysat) S 6577 6580 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110366515 1333334016 28097 33554432000 4194304 16246674 140733895810176 140651186351280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200513 s]
/proc/loadavg: 2.31 2.28 2.27 3/179 6580
/proc/meminfo: memFree=29101472/32872528 swapFree=17892/1720544
[pid=6580] ppid=6577 vsize=1314372 CPUtime=0.19 cores=0,2,4,6
/proc/6580/stat : 6580 (toysat) R 6577 6580 3556 0 -1 4202496 47599 0 0 0 13 6 0 0 20 0 4 0 110366515 1345916928 48408 33554432000 4194304 16246674 140733895810176 140733895809488 7374380 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6580/statm: 328593 48408 801 2943 0 325487 0
[pid=6580/tid=6581] ppid=6577 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6581/stat : 6581 (toysat) S 6577 6580 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110366515 1345916928 48408 33554432000 4194304 16246674 140733895810176 140651313212656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6580/tid=6582] ppid=6577 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6582/stat : 6582 (toysat) S 6577 6580 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110366515 1345916928 48408 33554432000 4194304 16246674 140733895810176 140651302722800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6580/tid=6583] ppid=6577 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6583/stat : 6583 (toysat) S 6577 6580 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110366515 1345916928 48408 33554432000 4194304 16246674 140733895810176 140651186351280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300486 s]
/proc/loadavg: 2.31 2.28 2.27 3/179 6580
/proc/meminfo: memFree=29101472/32872528 swapFree=17892/1720544
[pid=6580] ppid=6577 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/6580/stat : 6580 (toysat) R 6577 6580 3556 0 -1 4202496 56478 0 0 0 22 7 0 0 20 0 4 0 110366515 1345916928 57287 33554432000 4194304 16246674 140733895810176 140733895809488 4220543 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6580/statm: 328593 57287 801 2943 0 325487 0
[pid=6580/tid=6581] ppid=6577 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6581/stat : 6581 (toysat) S 6577 6580 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110366515 1345916928 57287 33554432000 4194304 16246674 140733895810176 140651313212656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6580/tid=6582] ppid=6577 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6582/stat : 6582 (toysat) S 6577 6580 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110366515 1345916928 57287 33554432000 4194304 16246674 140733895810176 140651302722800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6580/tid=6583] ppid=6577 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6583/stat : 6583 (toysat) S 6577 6580 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110366515 1345916928 57287 33554432000 4194304 16246674 140733895810176 140651186351280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700389 s]
/proc/loadavg: 2.31 2.28 2.27 3/179 6580
/proc/meminfo: memFree=29101472/32872528 swapFree=17892/1720544
[pid=6580] ppid=6577 vsize=1314372 CPUtime=0.68 cores=0,2,4,6
/proc/6580/stat : 6580 (toysat) R 6577 6580 3556 0 -1 4202496 102672 0 0 0 54 14 0 0 20 0 4 0 110366515 1345916928 103482 33554432000 4194304 16246674 140733895810176 140733895792064 13759916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6580/statm: 328593 103491 835 2943 0 325487 0
[pid=6580/tid=6581] ppid=6577 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6581/stat : 6581 (toysat) S 6577 6580 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110366515 1345916928 103498 33554432000 4194304 16246674 140733895810176 140651313212656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6580/tid=6582] ppid=6577 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6582/stat : 6582 (toysat) S 6577 6580 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110366515 1345916928 103504 33554432000 4194304 16246674 140733895810176 140651302722800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6580/tid=6583] ppid=6577 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6583/stat : 6583 (toysat) S 6577 6580 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110366515 1345916928 103510 33554432000 4194304 16246674 140733895810176 140651186351280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1314372

[startup+1.50039 s]
/proc/loadavg: 2.37 2.29 2.27 3/183 6584
/proc/meminfo: memFree=28389396/32872528 swapFree=17892/1720544
[pid=6580] ppid=6577 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/6580/stat : 6580 (toysat) R 6577 6580 3556 0 -1 4202496 223952 0 0 0 119 30 0 0 20 0 4 0 110366515 1345916928 224761 33554432000 4194304 16246674 140733895810176 140733895792064 5674521 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6580/statm: 328593 224767 878 2943 0 325487 0
[pid=6580/tid=6581] ppid=6577 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6581/stat : 6581 (toysat) S 6577 6580 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110366515 1345916928 224771 33554432000 4194304 16246674 140733895810176 140651313212656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6580/tid=6582] ppid=6577 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6582/stat : 6582 (toysat) S 6577 6580 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110366515 1345916928 224775 33554432000 4194304 16246674 140733895810176 140651302722800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6580/tid=6583] ppid=6577 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6583/stat : 6583 (toysat) S 6577 6580 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110366515 1345916928 224779 33554432000 4194304 16246674 140733895810176 140651186351280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.1004 s]
/proc/loadavg: 2.37 2.29 2.27 3/183 6584
/proc/meminfo: memFree=27999292/32872528 swapFree=17892/1720544
[pid=6580] ppid=6577 vsize=1337924 CPUtime=3.08 cores=0,2,4,6
/proc/6580/stat : 6580 (toysat) R 6577 6580 3556 0 -1 4202496 274920 0 0 0 272 36 0 0 20 0 4 0 110366515 1370034176 275729 33554432000 4194304 16246674 140733895810176 140733895792064 5662768 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6580/statm: 334481 275729 881 2943 0 331375 0
[pid=6580/tid=6581] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6581/stat : 6581 (toysat) S 6577 6580 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 275729 33554432000 4194304 16246674 140733895810176 140651313212656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6580/tid=6582] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6582/stat : 6582 (toysat) S 6577 6580 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 275729 33554432000 4194304 16246674 140733895810176 140651302722800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6580/tid=6583] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6583/stat : 6583 (toysat) S 6577 6580 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 275729 33554432000 4194304 16246674 140733895810176 140651186351280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1337924

[startup+6.30041 s]
/proc/loadavg: 2.37 2.29 2.27 3/183 6584
/proc/meminfo: memFree=27998436/32872528 swapFree=17892/1720544
[pid=6580] ppid=6577 vsize=1337924 CPUtime=6.28 cores=0,2,4,6
/proc/6580/stat : 6580 (toysat) R 6577 6580 3556 0 -1 4202496 275153 0 0 0 592 36 0 0 20 0 4 0 110366515 1370034176 275962 33554432000 4194304 16246674 140733895810176 140733895792064 5662038 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6580/statm: 334481 275962 885 2943 0 331375 0
[pid=6580/tid=6581] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6581/stat : 6581 (toysat) S 6577 6580 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 275962 33554432000 4194304 16246674 140733895810176 140651313212656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6580/tid=6582] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6582/stat : 6582 (toysat) S 6577 6580 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 275962 33554432000 4194304 16246674 140733895810176 140651302722800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6580/tid=6583] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6583/stat : 6583 (toysat) S 6577 6580 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 275962 33554432000 4194304 16246674 140733895810176 140651186351280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1337924

[startup+12.7004 s]
/proc/loadavg: 2.31 2.28 2.27 3/183 6584
/proc/meminfo: memFree=27998352/32872528 swapFree=17892/1720544
[pid=6580] ppid=6577 vsize=1337924 CPUtime=12.68 cores=0,2,4,6
/proc/6580/stat : 6580 (toysat) R 6577 6580 3556 0 -1 4202496 275153 0 0 0 1232 36 0 0 20 0 4 0 110366515 1370034176 275962 33554432000 4194304 16246674 140733895810176 140733895792064 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6580/statm: 334481 275962 885 2943 0 331375 0
[pid=6580/tid=6581] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6581/stat : 6581 (toysat) S 6577 6580 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 275962 33554432000 4194304 16246674 140733895810176 140651313212656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6580/tid=6582] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6582/stat : 6582 (toysat) S 6577 6580 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 275962 33554432000 4194304 16246674 140733895810176 140651302722800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6580/tid=6583] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6583/stat : 6583 (toysat) S 6577 6580 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 275962 33554432000 4194304 16246674 140733895810176 140651186351280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1337924

[startup+25.5005 s]
/proc/loadavg: 2.33 2.29 2.27 3/183 6584
/proc/meminfo: memFree=27999220/32872528 swapFree=17892/1720544
[pid=6580] ppid=6577 vsize=1337924 CPUtime=25.49 cores=0,2,4,6
/proc/6580/stat : 6580 (toysat) R 6577 6580 3556 0 -1 4202496 275153 0 0 0 2512 37 0 0 20 0 4 0 110366515 1370034176 275962 33554432000 4194304 16246674 140733895810176 140733895792064 13929536 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6580/statm: 334481 275962 885 2943 0 331375 0
[pid=6580/tid=6581] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6581/stat : 6581 (toysat) S 6577 6580 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 275962 33554432000 4194304 16246674 140733895810176 140651313212656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6580/tid=6582] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6582/stat : 6582 (toysat) S 6577 6580 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 275962 33554432000 4194304 16246674 140733895810176 140651302722800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6580/tid=6583] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6583/stat : 6583 (toysat) S 6577 6580 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 275962 33554432000 4194304 16246674 140733895810176 140651186351280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1337924

[startup+51.1005 s]
/proc/loadavg: 2.25 2.28 2.27 3/183 6584
/proc/meminfo: memFree=27999004/32872528 swapFree=17892/1720544
[pid=6580] ppid=6577 vsize=1337924 CPUtime=51.08 cores=0,2,4,6
/proc/6580/stat : 6580 (toysat) R 6577 6580 3556 0 -1 4202496 275154 0 0 0 5071 37 0 0 20 0 4 0 110366515 1370034176 275963 33554432000 4194304 16246674 140733895810176 140733895792064 13906983 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6580/statm: 334481 275963 885 2943 0 331375 0
[pid=6580/tid=6581] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6581/stat : 6581 (toysat) S 6577 6580 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 275963 33554432000 4194304 16246674 140733895810176 140651313212656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6580/tid=6582] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6582/stat : 6582 (toysat) S 6577 6580 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 275963 33554432000 4194304 16246674 140733895810176 140651302722800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6580/tid=6583] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6583/stat : 6583 (toysat) S 6577 6580 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 275963 33554432000 4194304 16246674 140733895810176 140651186351280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1337924

[startup+102.3 s]
/proc/loadavg: 2.22 2.26 2.26 3/183 6586
/proc/meminfo: memFree=27998556/32872528 swapFree=17892/1720544
[pid=6580] ppid=6577 vsize=1337924 CPUtime=102.28 cores=0,2,4,6
/proc/6580/stat : 6580 (toysat) R 6577 6580 3556 0 -1 4202496 275154 0 0 0 10191 37 0 0 20 0 4 0 110366515 1370034176 275963 33554432000 4194304 16246674 140733895810176 140733895792064 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6580/statm: 334481 275963 885 2943 0 331375 0
[pid=6580/tid=6581] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6581/stat : 6581 (toysat) S 6577 6580 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 275963 33554432000 4194304 16246674 140733895810176 140651313212656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6580/tid=6582] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6582/stat : 6582 (toysat) S 6577 6580 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 275963 33554432000 4194304 16246674 140733895810176 140651302722800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6580/tid=6583] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6583/stat : 6583 (toysat) S 6577 6580 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 275963 33554432000 4194304 16246674 140733895810176 140651186351280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1337924


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

/proc/6580/task/6583/stat : 6583 (toysat) S 6577 6580 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140651186351280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1337924

[startup+1302.3 s]
/proc/loadavg: 2.35 2.26 2.20 3/183 6665
/proc/meminfo: memFree=27990628/32872528 swapFree=17892/1720544
[pid=6580] ppid=6577 vsize=1337924 CPUtime=1301.86 cores=0,2,4,6
/proc/6580/stat : 6580 (toysat) R 6577 6580 3556 0 -1 4202496 275544 0 0 0 130140 46 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140733895792064 5523460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6580/statm: 334481 276221 887 2943 0 331375 0
[pid=6580/tid=6581] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6581/stat : 6581 (toysat) S 6577 6580 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140651313212656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6580/tid=6582] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6582/stat : 6582 (toysat) S 6577 6580 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140651302722800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6580/tid=6583] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6583/stat : 6583 (toysat) S 6577 6580 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140651186351280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1337924

[startup+1362.3 s]
/proc/loadavg: 2.24 2.24 2.19 3/183 6666
/proc/meminfo: memFree=27990544/32872528 swapFree=17892/1720544
[pid=6580] ppid=6577 vsize=1337924 CPUtime=1361.85 cores=0,2,4,6
/proc/6580/stat : 6580 (toysat) R 6577 6580 3556 0 -1 4202496 275544 0 0 0 136138 47 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140733895792064 5545872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6580/statm: 334481 276221 887 2943 0 331375 0
[pid=6580/tid=6581] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6581/stat : 6581 (toysat) S 6577 6580 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140651313212656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6580/tid=6582] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6582/stat : 6582 (toysat) S 6577 6580 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140651302722800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6580/tid=6583] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6583/stat : 6583 (toysat) S 6577 6580 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140651186351280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1337924

[startup+1422.3 s]
/proc/loadavg: 2.19 2.23 2.19 3/183 6667
/proc/meminfo: memFree=27990852/32872528 swapFree=17892/1720544
[pid=6580] ppid=6577 vsize=1337924 CPUtime=1421.85 cores=0,2,4,6
/proc/6580/stat : 6580 (toysat) R 6577 6580 3556 0 -1 4202496 275544 0 0 0 142137 48 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140733895792064 5674844 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6580/statm: 334481 276221 887 2943 0 331375 0
[pid=6580/tid=6581] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6581/stat : 6581 (toysat) S 6577 6580 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140651313212656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6580/tid=6582] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6582/stat : 6582 (toysat) S 6577 6580 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140651302722800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6580/tid=6583] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6583/stat : 6583 (toysat) S 6577 6580 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140651186351280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1337924

[startup+1482.3 s]
/proc/loadavg: 2.29 2.24 2.19 3/184 6671
/proc/meminfo: memFree=27990412/32872528 swapFree=17892/1720544
[pid=6580] ppid=6577 vsize=1337924 CPUtime=1481.83 cores=0,2,4,6
/proc/6580/stat : 6580 (toysat) R 6577 6580 3556 0 -1 4202496 275544 0 0 0 148134 49 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140733895792064 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6580/statm: 334481 276221 887 2943 0 331375 0
[pid=6580/tid=6581] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6581/stat : 6581 (toysat) S 6577 6580 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140651313212656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6580/tid=6582] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6582/stat : 6582 (toysat) S 6577 6580 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140651302722800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6580/tid=6583] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6583/stat : 6583 (toysat) S 6577 6580 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140651186351280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1337924

[startup+1542.31 s]
/proc/loadavg: 2.20 2.23 2.19 3/183 6672
/proc/meminfo: memFree=27990680/32872528 swapFree=17892/1720544
[pid=6580] ppid=6577 vsize=1337924 CPUtime=1541.83 cores=0,2,4,6
/proc/6580/stat : 6580 (toysat) R 6577 6580 3556 0 -1 4202496 275544 0 0 0 154133 50 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140733895792064 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6580/statm: 334481 276221 887 2943 0 331375 0
[pid=6580/tid=6581] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6581/stat : 6581 (toysat) S 6577 6580 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140651313212656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6580/tid=6582] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6582/stat : 6582 (toysat) S 6577 6580 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140651302722800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6580/tid=6583] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6583/stat : 6583 (toysat) S 6577 6580 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140651186351280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1337924

[startup+1602.3 s]
/proc/loadavg: 2.22 2.23 2.18 4/183 6674
/proc/meminfo: memFree=27990716/32872528 swapFree=17892/1720544
[pid=6580] ppid=6577 vsize=1337924 CPUtime=1601.82 cores=0,2,4,6
/proc/6580/stat : 6580 (toysat) R 6577 6580 3556 0 -1 4202496 275544 0 0 0 160131 51 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140733895792064 5546224 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6580/statm: 334481 276221 887 2943 0 331375 0
[pid=6580/tid=6581] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6581/stat : 6581 (toysat) S 6577 6580 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140651313212656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6580/tid=6582] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6582/stat : 6582 (toysat) S 6577 6580 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140651302722800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6580/tid=6583] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6583/stat : 6583 (toysat) S 6577 6580 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140651186351280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1337924

[startup+1662.3 s]
/proc/loadavg: 2.27 2.23 2.19 3/183 6675
/proc/meminfo: memFree=27989588/32872528 swapFree=17892/1720544
[pid=6580] ppid=6577 vsize=1337924 CPUtime=1661.8 cores=0,2,4,6
/proc/6580/stat : 6580 (toysat) R 6577 6580 3556 0 -1 4202496 275544 0 0 0 166129 51 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140733895792064 5823674 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6580/statm: 334481 276221 887 2943 0 331375 0
[pid=6580/tid=6581] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6581/stat : 6581 (toysat) S 6577 6580 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140651313212656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6580/tid=6582] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6582/stat : 6582 (toysat) S 6577 6580 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140651302722800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6580/tid=6583] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6583/stat : 6583 (toysat) S 6577 6580 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140651186351280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1337924

[startup+1722.3 s]
/proc/loadavg: 2.23 2.23 2.18 3/183 6676
/proc/meminfo: memFree=27989420/32872528 swapFree=17892/1720544
[pid=6580] ppid=6577 vsize=1337924 CPUtime=1721.79 cores=0,2,4,6
/proc/6580/stat : 6580 (toysat) R 6577 6580 3556 0 -1 4202496 275544 0 0 0 172127 52 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140733895809352 5666933 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6580/statm: 334481 276221 887 2943 0 331375 0
[pid=6580/tid=6581] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6581/stat : 6581 (toysat) S 6577 6580 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140651313212656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6580/tid=6582] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6582/stat : 6582 (toysat) S 6577 6580 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140651302722800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6580/tid=6583] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6583/stat : 6583 (toysat) S 6577 6580 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140651186351280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1337924

[startup+1782.3 s]
/proc/loadavg: 2.35 2.25 2.19 3/183 6677
/proc/meminfo: memFree=27988588/32872528 swapFree=17892/1720544
[pid=6580] ppid=6577 vsize=1337924 CPUtime=1781.79 cores=0,2,4,6
/proc/6580/stat : 6580 (toysat) R 6577 6580 3556 0 -1 4202496 275544 0 0 0 178126 53 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140733895809352 5723016 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6580/statm: 334481 276221 887 2943 0 331375 0
[pid=6580/tid=6581] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6581/stat : 6581 (toysat) S 6577 6580 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140651313212656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6580/tid=6582] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6582/stat : 6582 (toysat) S 6577 6580 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140651302722800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6580/tid=6583] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6583/stat : 6583 (toysat) S 6577 6580 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140651186351280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1337924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.27 2.24 2.19 3/183 6678
/proc/meminfo: memFree=27989204/32872528 swapFree=17892/1720544
[pid=6580] ppid=6577 vsize=1337924 CPUtime=1800.09 cores=0,2,4,6
/proc/6580/stat : 6580 (toysat) R 6577 6580 3556 0 -1 4202496 275544 0 0 0 179956 53 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140733895792064 5673454 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6580/statm: 334481 276221 887 2943 0 331375 0
[pid=6580/tid=6581] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6581/stat : 6581 (toysat) S 6577 6580 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140651313212656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6580/tid=6582] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6582/stat : 6582 (toysat) S 6577 6580 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140651302722800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6580/tid=6583] ppid=6577 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6580/task/6583/stat : 6583 (toysat) S 6577 6580 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110366515 1370034176 276221 33554432000 4194304 16246674 140733895810176 140651186351280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1337924

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.57
CPU system time (s): 0.533918
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 1337924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.533918
maximum resident set size= 1104884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275544
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= 403
involuntary context switches= 1848

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.35034 second user time and 7.15891 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-07 09:25:34
IDJOB=4078920
IDBENCH=90143
IDSOLVER=2542
FILE ID=node117/4078920-1465284333
RUNJOBID= node117-1465262703-3572
PBS_JOBID= 19843298
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 4ffc81aa318dee614e51a62344fd339d
RANDOM SEED=530263590

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

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

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

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.088
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.088
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		: 2667.088
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.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.088
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:        29102108 kB
Buffers:           85680 kB
Cached:           121632 kB
SwapCached:        29276 kB
Active:          1154172 kB
Inactive:         156936 kB
Active(anon):    1076128 kB
Inactive(anon):    30172 kB
Active(file):      78044 kB
Inactive(file):   126764 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67071196 kB
Dirty:             17880 kB
Writeback:             0 kB
AnonPages:       2800508 kB
Mapped:            10640 kB
Shmem:                 0 kB
Slab:             599416 kB
SReclaimable:      43564 kB
SUnreclaim:       555852 kB
KernelStack:        1480 kB
PageTables:         9584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2944596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1921024 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 node117 at 2016-06-07 09:55:34