Trace number 4108932

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.18 1800.58

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-147.opb
MD5SUM8c2053bb677dce90b85fb5832d9bc324
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 variables42127
Total number of constraints974306
Number of constraints which are clauses875463
Number of constraints which are cardinality constraints (but not clauses)3062
Number of constraints which are nor clauses,nor cardinality constraints95781
Minimum length of a constraint2
Maximum length of a constraint627
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 628
Number of bits of the biggest sum of numbers10
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-19T01:32:16+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-4108932-1466292735.opb"]
0.00/0.01	c use --random-gen="637803436 676619163 1219628949 2471382214 1779996832 1640305168 1647048343 3573316766 3613928787 309491164 3837144495 4163008873 1980399073 396140167 2300386435 4290380900 2074660933 3571371946 3545141346 2717548643 2707280131 826534396 1290038344 3359114374 2882431816 3450456732 768895323 1522501958 2560244364 2623549474 3509348103 1883191657 916827562 2008406422 3640306935 2594973629 2890978826 2418996540 1967729231 1369692257 1808704837 4244500030 2092926127 4263069781 2462302561 2276556964 851658410 898969706 3962664850 2317897023 1966112361 4275462990 3970536388 3987139702 259777707 17865034 4135574725 2640090809 2572730334 673472874 3573323939 2669306330 2705097486 1080413820 2130803690 2228899529 2804708579 3385319792 1544639004 164818781 3689314108 56851010 2018255904 471888483 2687536703 3169572869 2960377100 2959382404 2169481089 1096423025 891234447 3652299839 1782110057 1458126825 2515442555 4006505401 3987537442 2814981127 3322197379 256583912 690262921 3043105226 2424985710 2236355981 4057648394 1189961763 510574341 3510204959 3363068526 1462024856 3953742088 1724003251 2555783260 3433345419 1413588084 217796867 2000047750 2797552276 1023649267 964192504 3109626834 755554164 4144091737 804065037 960874629 2447860339 422672703 3019849918 1341412098 2701129768 2439135386 832665813 531469770 405910413 4006302433 1252123705 1924831269 234041411 3020637209 2097877869 3075762901 2319910730 3322116557 469890490 3163326727 3004524302 4284366746 2283652297 1777304130 3674292661 1594634132 642194829 2110320936 2390324082 315833833 3458702239 4284615773 1935017174 3226408942 3465823540 1793778305 3967309958 2907903499 2476375517 2970697534 3165872182 1658585173 2761864052 3042791098 3277921698 3394407792 2876273588 96029251 321453301 1970603881 2904519645 2344968557 1949330846 76811983 994286050 2260920276 2173529340 115568203 3877255557 1374683676 3369073547 833741199 2952660147 1146537228 2059360220 1257756156 1468818198 3514376501 967946307 2441120634 1628020985 4229970486 66663042 1799562100 327390781 3330570223 3331929676 4115009681 2662783714 1799255576 1383631423 2349688116 2456737844 158414006 22723959 3157267094 193489382 1537989428 433441706 2939349561 2277787131 2884979397 4170008369 2693458569 248448878 2388057045 4008362754 2639719962 2259887645 1611256958 636959536 2382891365 1608318726 1172945121 108586712 89400748 2333090178 3250416607 1666510469 1263806494 335467159 3091623571 1520990370 2783492303 1325732071 2358378085 4275481474 3670141651 2535052184 3254813914 1261399714 1451258306 2252168642 1237245535 3190092316 1417022753 3174364934 855878448 4294645643 392899205 3772917767 2266910103 1293426834 3929942068 1337537120 3557829311 3279784174 1865367137 2128420945 2332889290 914446349 255 362436" option to reproduce the execution
7.79/7.81	c #vars 42127
7.79/7.81	c #constraints 974306
26.58/26.61	c Solving starts ...
26.58/26.61	c ============================[ Search Statistics ]============================
26.58/26.61	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
26.58/26.61	c       |         |          |          |    Limit     GC | Var      | Constra 
26.58/26.61	c =============================================================================
26.58/26.62	c  0.0s |       0 |        0 |        0 |   339325      0 |        0 |        0
27.28/27.35	c  0.7s |       1 |      162 |      100 |   339325      0 |        0 |        0
29.58/29.64	c  3.0s |       1 |     8994 |      200 |   373258      0 |        0 |        0
31.99/32.03	c  5.4s |       2 |    25191 |      250 |   373258      0 |        0 |        0
33.28/33.39	c  6.8s |       3 |    26165 |      475 |   410584      0 |        0 |        0
35.48/35.58	c  9.0s |       3 |    36951 |      575 |   451643      0 |        0 |        0
38.89/38.98	c 12.4s |       3 |    56465 |      775 |   451643      0 |        0 |        0
41.48/41.53	c 14.9s |       4 |    66075 |      813 |   451643      0 |        0 |        0
45.19/45.30	c 18.7s |       4 |    96562 |      913 |   496808      0 |        0 |        0
51.18/51.27	c 24.7s |       4 |   158589 |     1013 |   496808      0 |        0 |        0
55.88/55.92	c 29.3s |       4 |   207011 |     1113 |   496808      0 |        0 |        0
59.49/59.57	c 33.0s |       4 |   242993 |     1313 |   496808      0 |        0 |        0
59.58/59.61	c 33.0s |       5 |   242998 |     1320 |   496808      0 |        0 |        0
63.08/63.10	c 36.5s |       5 |   265848 |     1420 |   546489      0 |        0 |        0
65.58/65.66	c 39.1s |       5 |   302964 |     1720 |   546489      0 |        0 |        0
68.88/68.96	c 42.3s |       5 |   351438 |     1920 |   546489      0 |        0 |        0
70.38/70.45	c 43.8s |       6 |   381778 |     2081 |   601138      0 |        0 |        0
72.48/72.55	c 45.9s |       6 |   452821 |     2581 |   601138      0 |        0 |        0
73.68/73.78	c 47.2s |       7 |   489959 |     3223 |   661252      0 |        0 |        0
77.28/77.32	c 50.7s |       7 |   552689 |     3623 |   661252      0 |        0 |        0
80.57/80.67	c 54.1s |       7 |   601493 |     3923 |   661252      0 |        0 |        0
82.67/82.72	c 56.1s |       7 |   640621 |     4123 |   661252      0 |        0 |        0
85.07/85.19	c 58.6s |       7 |   747271 |     4823 |   661252      0 |        0 |        0
85.47/85.51	c 58.9s |       8 |   760486 |     4936 |   727378      0 |        0 |        0
87.98/88.02	c 61.4s |       8 |   782767 |     5536 |   727378      0 |        0 |        0
90.37/90.45	c 63.8s |       8 |   802041 |     5636 |   727378      0 |        0 |        0
92.97/93.02	c 66.4s |       8 |   817681 |     5836 |   727378      0 |        0 |        0
94.97/95.06	c 68.4s |       8 |   818649 |     6636 |   727378      0 |        0 |        0
97.07/97.11	c 70.5s |       8 |   819591 |     7436 |   727378      0 |        0 |        0
97.17/97.28	c 70.7s |       9 |   819664 |     7506 |   800116      0 |        0 |        0
99.47/99.51	c 72.9s |       9 |   824147 |     7906 |   800116      0 |        0 |        0
101.67/101.78	c 75.2s |       9 |   825009 |     8606 |   800116      0 |        0 |        0
103.77/103.81	c 77.2s |       9 |   825811 |     9306 |   800116      0 |        0 |        0
106.07/106.14	c 79.5s |       9 |   837601 |     9706 |   800116      0 |        0 |        0
108.17/108.22	c 81.6s |       9 |   868096 |    10106 |   800116      0 |        0 |        0
110.27/110.34	c 83.7s |       9 |   893160 |    10406 |   800116      0 |        0 |        0
112.67/112.70	c 86.1s |       9 |   965740 |    11006 |   800116      0 |        0 |        0
113.77/113.80	c 87.2s |      10 |   968401 |    11361 |   880128      0 |        0 |        0
115.77/115.80	c 89.2s |      10 |  1050385 |    11861 |   880128      0 |        0 |        0
117.97/118.07	c 91.5s |      10 |  1098358 |    12361 |   880128      0 |        0 |        0
120.17/120.20	c 93.6s |      10 |  1130926 |    12561 |   880128      0 |        0 |        0
122.67/122.70	c 96.1s |      10 |  1153775 |    12761 |   880128      0 |        0 |        0
124.87/124.96	c 98.3s |      10 |  1155110 |    13361 |   880128      0 |        0 |        0
126.87/126.98	c  100s |      10 |  1156214 |    13661 |   880128      0 |        0 |        0
128.97/129.05	c  102s |      10 |  1169710 |    13861 |   880128      0 |        0 |        0
132.07/132.16	c  105s |      10 |  1184629 |    14261 |   880128      0 |        0 |        0
134.46/134.56	c  107s |      10 |  1202523 |    14561 |   880128      0 |        0 |        0
136.56/136.67	c  110s |      10 |  1218408 |    14861 |   880128      0 |        0 |        0
138.67/138.77	c  112s |      10 |  1228167 |    15161 |   880128      0 |        0 |        0
140.77/140.84	c  114s |      10 |  1232505 |    15561 |   880128      0 |        0 |        0
143.07/143.18	c  116s |      10 |  1233304 |    16061 |   880128      0 |        0 |        0
145.56/145.64	c  119s |      10 |  1234000 |    16461 |   880128      0 |        0 |        0
148.06/148.17	c  121s |      10 |  1234657 |    16961 |   880128      0 |        0 |        0
148.86/148.96	c  122s |      11 |  1234883 |    17144 |   968141      0 |        0 |        0
151.16/151.24	c  124s |      11 |  1235927 |    17344 |   968141      0 |        0 |        0
153.36/153.40	c  126s |      11 |  1236400 |    17644 |   968141      0 |        0 |        0
155.66/155.77	c  129s |      11 |  1236905 |    18044 |   968141      0 |        0 |        0
158.07/158.17	c  131s |      11 |  1237360 |    18444 |   968141      0 |        0 |        0
160.26/160.31	c  133s |      11 |  1238248 |    18744 |   968141      0 |        0 |        0
162.66/162.70	c  136s |      11 |  1238479 |    18944 |   968141      0 |        0 |        0
164.86/164.98	c  138s |      11 |  1239256 |    19444 |   968141      0 |        0 |        0
167.27/167.36	c  140s |      11 |  1239924 |    19944 |   968141      0 |        0 |        0
169.37/169.42	c  142s |      11 |  1240405 |    20344 |   968141      0 |        0 |        0
171.86/171.91	c  145s |      11 |  1241017 |    20844 |   968141      0 |        0 |        0
173.86/173.96	c  147s |      11 |  1241479 |    21244 |   968141      0 |        0 |        0
176.06/176.19	c  149s |      11 |  1242122 |    21744 |   968141      0 |        0 |        0
178.06/178.20	c  151s |      11 |  1242863 |    22344 |   968141      0 |        0 |        0
180.36/180.43	c  153s |      11 |  1243820 |    23144 |   968141      0 |        0 |        0
182.76/182.80	c  156s |      11 |  1244598 |    23644 |   968141      0 |        0 |        0
185.26/185.32	c  158s |      11 |  1245269 |    24144 |   968141      0 |        0 |        0
187.46/187.57	c  160s |      11 |  1245833 |    24644 |   968141      0 |        0 |        0
189.96/190.00	c  163s |      11 |  1246411 |    25144 |   968141      0 |        0 |        0
191.96/192.03	c  165s |      11 |  1246864 |    25544 |   968141      0 |        0 |        0
193.36/193.47	c  166s |      12 |  1247178 |    25819 |  1064956      0 |        0 |        0
195.77/195.84	c  169s |      12 |  1254890 |    26119 |  1064956      0 |        0 |        0
198.56/198.61	c  171s |      12 |  1269141 |    26419 |  1064956      0 |        0 |        0
200.56/200.63	c  174s |      12 |  1292299 |    26819 |  1064956      0 |        0 |        0
202.66/202.76	c  176s |      12 |  1292765 |    27219 |  1064956      0 |        0 |        0
204.96/205.02	c  178s |      12 |  1293196 |    27619 |  1064956      0 |        0 |        0
207.26/207.30	c  180s |      12 |  1293806 |    28119 |  1064956      0 |        0 |        0
209.46/209.53	c  182s |      12 |  1294368 |    28619 |  1064956      0 |        0 |        0
212.37/212.46	c  185s |      12 |  1309178 |    29019 |  1064956      0 |        0 |        0
214.76/214.82	c  188s |      12 |  1326661 |    29219 |  1064956      0 |        0 |        0
217.16/217.26	c  190s |      12 |  1327145 |    29619 |  1064956      0 |        0 |        0
219.56/219.60	c  192s |      12 |  1327617 |    30019 |  1064956      0 |        0 |        0
221.86/221.95	c  195s |      12 |  1328151 |    30419 |  1064956      0 |        0 |        0
224.16/224.28	c  197s |      12 |  1328823 |    30819 |  1064956      0 |        0 |        0
226.66/226.71	c  200s |      12 |  1329317 |    31219 |  1064956      0 |        0 |        0
229.26/229.33	c  202s |      12 |  1329791 |    31619 |  1064956      0 |        0 |        0
231.86/231.94	c  205s |      12 |  1335842 |    32019 |  1064956      0 |        0 |        0
234.06/234.18	c  207s |      12 |  1384966 |    32319 |  1064956      0 |        0 |        0
236.36/236.45	c  209s |      12 |  1436879 |    33019 |  1064956      0 |        0 |        0
238.66/238.72	c  212s |      12 |  1437491 |    33519 |  1064956      0 |        0 |        0
240.76/240.90	c  214s |      12 |  1438067 |    34019 |  1064956      0 |        0 |        0
243.06/243.11	c  216s |      12 |  1438786 |    34519 |  1064956      0 |        0 |        0
245.36/245.46	c  218s |      12 |  1439376 |    35019 |  1064956      0 |        0 |        0
247.56/247.62	c  221s |      12 |  1440010 |    35519 |  1064956      0 |        0 |        0
249.55/249.65	c  223s |      12 |  1440592 |    36019 |  1064956      0 |        0 |        0
251.75/251.85	c  225s |      12 |  1441237 |    36419 |  1064956      0 |        0 |        0
253.85/253.90	c  227s |      12 |  1441759 |    36819 |  1064956      0 |        0 |        0
255.95/256.00	c  229s |      12 |  1442232 |    37219 |  1064956      0 |        0 |        0
258.05/258.11	c  231s |      12 |  1442682 |    37619 |  1064956      0 |        0 |        0
260.45/260.54	c  233s |      12 |  1443258 |    38119 |  1064956      0 |        0 |        0
262.55/262.65	c  236s |      12 |  1443997 |    38519 |  1064956      0 |        0 |        0
264.06/264.19	c  237s |      13 |  1444389 |    38832 |  1171452      0 |        0 |        0
266.45/266.52	c  239s |      13 |  1444927 |    39132 |  1171452      0 |        0 |        0
268.85/268.92	c  242s |      13 |  1477601 |    39432 |  1171452      0 |        0 |        0
271.15/271.29	c  244s |      13 |  1478205 |    39932 |  1171452      0 |        0 |        0
274.75/274.88	c  248s |      13 |  1507526 |    40132 |  1171452      0 |        0 |        0
279.05/279.11	c  252s |      13 |  1564245 |    40232 |  1171452      0 |        0 |        0
281.66/281.77	c  255s |      13 |  1597051 |    40532 |  1171452      0 |        0 |        0
283.75/283.89	c  257s |      13 |  1609711 |    40632 |  1171452      0 |        0 |        0
286.15/286.25	c  259s |      13 |  1623073 |    40832 |  1171452      0 |        0 |        0
288.65/288.74	c  262s |      13 |  1665444 |    41132 |  1171452      0 |        0 |        0
291.05/291.12	c  264s |      13 |  1740178 |    41432 |  1171452      0 |        0 |        0
293.35/293.42	c  266s |      13 |  1795916 |    41832 |  1171452      0 |        0 |        0
295.55/295.63	c  269s |      13 |  1814042 |    42232 |  1171452      0 |        0 |        0
298.05/298.14	c  271s |      13 |  1818253 |    42632 |  1171452      0 |        0 |        0
301.55/301.64	c  275s |      13 |  1834048 |    42932 |  1171452      0 |        0 |        0
304.24/304.30	c  277s |      13 |  1852921 |    43232 |  1171452      0 |        0 |        0
306.54/306.68	c  280s |      13 |  1880017 |    43632 |  1171452      0 |        0 |        0
308.64/308.75	c  282s |      13 |  1893218 |    44132 |  1171452      0 |        0 |        0
310.94/311.01	c  284s |      13 |  1893672 |    44532 |  1171452      0 |        0 |        0
314.14/314.21	c  287s |      13 |  1912274 |    44932 |  1171452      0 |        0 |        0
316.44/316.58	c  289s |      13 |  1929506 |    45132 |  1171452      0 |        0 |        0
318.74/318.84	c  292s |      13 |  1992603 |    45432 |  1171452      0 |        0 |        0
321.15/321.25	c  294s |      13 |  2046750 |    45932 |  1171452      0 |        0 |        0
323.54/323.67	c  297s |      13 |  2047114 |    46232 |  1171452      0 |        0 |        0
325.84/325.95	c  299s |      13 |  2047523 |    46532 |  1171452      0 |        0 |        0
327.94/328.00	c  301s |      13 |  2048007 |    46832 |  1171452      0 |        0 |        0
330.54/330.63	c  304s |      13 |  2048509 |    47232 |  1171452      0 |        0 |        0
332.84/332.93	c  306s |      13 |  2048960 |    47632 |  1171452      0 |        0 |        0
335.24/335.31	c  308s |      13 |  2049421 |    48032 |  1171452      0 |        0 |        0
337.24/337.31	c  310s |      13 |  2049889 |    48432 |  1171452      0 |        0 |        0
339.64/339.79	c  313s |      13 |  2050480 |    48932 |  1171452      0 |        0 |        0
341.94/342.03	c  315s |      13 |  2065143 |    49232 |  1171452      0 |        0 |        0
344.04/344.13	c  317s |      13 |  2075023 |    49432 |  1171452      0 |        0 |        0
346.54/346.68	c  320s |      13 |  2086772 |    49732 |  1171452      0 |        0 |        0
348.74/348.88	c  322s |      13 |  2087225 |    50132 |  1171452      0 |        0 |        0
351.14/351.25	c  324s |      13 |  2087713 |    50532 |  1171452      0 |        0 |        0
353.24/353.30	c  326s |      13 |  2088209 |    50932 |  1171452      0 |        0 |        0
355.44/355.50	c  328s |      13 |  2088703 |    51332 |  1171452      0 |        0 |        0
357.54/357.62	c  331s |      13 |  2089166 |    51732 |  1171452      0 |        0 |        0
359.83/359.96	c  333s |      13 |  2089615 |    52132 |  1171452      0 |        0 |        0
361.84/361.97	c  335s |      13 |  2090055 |    52532 |  1171452      0 |        0 |        0
363.93/364.04	c  337s |      13 |  2090502 |    52932 |  1171452      0 |        0 |        0
372.73/372.81	c  346s |      13 |  2179773 |    53132 |  1171452      0 |        0 |        0
375.04/375.19	c  348s |      13 |  2184921 |    53532 |  1171452      0 |        0 |        0
377.13/377.24	c  350s |      13 |  2185414 |    53832 |  1171452      0 |        0 |        0
379.23/379.36	c  352s |      13 |  2185785 |    54132 |  1171452      0 |        0 |        0
381.44/381.56	c  354s |      13 |  2186124 |    54432 |  1171452      0 |        0 |        0
384.03/384.18	c  357s |      13 |  2186779 |    54732 |  1171452      0 |        0 |        0
386.63/386.76	c  360s |      13 |  2187230 |    55032 |  1171452      0 |        0 |        0
389.23/389.34	c  362s |      13 |  2187528 |    55232 |  1171452      0 |        0 |        0
391.73/391.87	c  365s |      13 |  2188003 |    55632 |  1171452      0 |        0 |        0
394.13/394.29	c  367s |      13 |  2188514 |    56032 |  1171452      0 |        0 |        0
396.53/396.60	c  369s |      13 |  2189205 |    56432 |  1171452      0 |        0 |        0
398.93/399.06	c  372s |      13 |  2190173 |    56832 |  1171452      0 |        0 |        0
401.03/401.13	c  374s |      13 |  2190709 |    57132 |  1171452      0 |        0 |        0
403.03/403.19	c  376s |      13 |  2191284 |    57432 |  1171452      0 |        0 |        0
405.53/405.61	c  378s |      13 |  2191893 |    57832 |  1171452      0 |        0 |        0
407.93/408.10	c  381s |      13 |  2192496 |    58232 |  1288598      0 |        0 |        0
409.03/409.15	c  382s |      14 |  2192668 |    58352 |  1288598      0 |        0 |        0
411.34/411.48	c  384s |      14 |  2193288 |    58552 |  1288598      0 |        0 |        0
413.64/413.79	c  387s |      14 |  2194182 |    58952 |  1288598      0 |        1 |       12
415.63/415.80	c  389s |      14 |  2194717 |    59352 |  1288598      0 |        1 |       12
417.73/417.89	c  391s |      14 |  2195232 |    59752 |  1288598      0 |        1 |       12
419.83/419.99	c  393s |      14 |  2195732 |    60152 |  1288598      0 |        1 |       12
422.23/422.31	c  395s |      14 |  2196213 |    60552 |  1288598      0 |        1 |       12
424.23/424.31	c  397s |      14 |  2196692 |    60952 |  1288598      0 |        1 |       12
426.33/426.43	c  399s |      14 |  2197194 |    61352 |  1288598      0 |        1 |       12
428.83/428.99	c  402s |      14 |  2197790 |    61852 |  1288598      0 |        1 |       12
431.13/431.28	c  404s |      14 |  2198260 |    62252 |  1288598      0 |        1 |       12
433.33/433.48	c  406s |      14 |  2198720 |    62652 |  1288598      0 |        1 |       12
435.72/435.88	c  409s |      14 |  2199188 |    63052 |  1288598      0 |        1 |       12
437.83/437.99	c  411s |      14 |  2199663 |    63452 |  1288598      0 |        1 |       12
440.22/440.32	c  413s |      14 |  2200242 |    63952 |  1288598      0 |        1 |       12
442.62/442.75	c  416s |      14 |  2200869 |    64452 |  1288598      0 |        1 |       12
444.82/444.99	c  418s |      14 |  2201502 |    64852 |  1288598      0 |        1 |       12
447.32/447.45	c  420s |      14 |  2202084 |    65352 |  1288598      0 |        1 |       12
449.83/449.91	c  423s |      14 |  2202681 |    65852 |  1288598      0 |        1 |       12
452.32/452.41	c  425s |      14 |  2203274 |    66352 |  1288598      0 |        1 |       12
454.82/454.93	c  428s |      14 |  2203760 |    66752 |  1288598      0 |        1 |       12
457.42/457.54	c  430s |      14 |  2204237 |    67152 |  1288598      0 |        1 |       12
459.62/459.73	c  433s |      14 |  2204712 |    67552 |  1288598      0 |        1 |       12
462.12/462.23	c  435s |      14 |  2205303 |    68052 |  1288598      0 |        1 |       12
464.23/464.32	c  437s |      14 |  2205763 |    68452 |  1288598      0 |        1 |       12
466.22/466.39	c  439s |      14 |  2206225 |    68852 |  1288598      0 |        1 |       12
468.42/468.52	c  441s |      14 |  2206699 |    69252 |  1288598      0 |        1 |       12
470.83/470.99	c  444s |      14 |  2207263 |    69752 |  1288598      0 |        1 |       12
472.93/473.01	c  446s |      14 |  2207720 |    70152 |  1288598      0 |        1 |       12
474.92/475.06	c  448s |      14 |  2208180 |    70552 |  1288598      0 |        1 |       12
477.12/477.20	c  450s |      14 |  2208648 |    70952 |  1288598      0 |        1 |       12
479.22/479.31	c  452s |      14 |  2209104 |    71352 |  1288598      0 |        1 |       12
481.42/481.59	c  454s |      14 |  2209661 |    71852 |  1288598      0 |        1 |       12
483.62/483.71	c  457s |      14 |  2210104 |    72252 |  1288598      0 |        1 |       12
486.22/486.34	c  459s |      14 |  2210596 |    72652 |  1288598      0 |        1 |       12
488.32/488.42	c  461s |      14 |  2210992 |    72952 |  1288598      0 |        1 |       12
490.31/490.46	c  463s |      14 |  2211317 |    73252 |  1288598      0 |        1 |       12
492.41/492.56	c  465s |      14 |  2211695 |    73552 |  1288598      0 |        1 |       12
494.71/494.85	c  468s |      14 |  2212052 |    73852 |  1288598      0 |        1 |       12
497.01/497.18	c  470s |      14 |  2212431 |    74152 |  1288598      0 |        1 |       12
499.51/499.67	c  473s |      14 |  2212769 |    74452 |  1288598      0 |        1 |       12
501.71/501.89	c  475s |      14 |  2213153 |    74752 |  1288598      0 |        1 |       12
504.11/504.26	c  477s |      14 |  2213484 |    75052 |  1288598      0 |        1 |       12
506.21/506.34	c  479s |      14 |  2213872 |    75352 |  1288598      0 |        1 |       12
508.51/508.67	c  482s |      14 |  2214226 |    75652 |  1288598      0 |        1 |       12
510.71/510.81	c  484s |      14 |  2214600 |    75952 |  1288598      0 |        1 |       12
513.31/513.42	c  486s |      14 |  2215078 |    76352 |  1288598      0 |        1 |       12
515.82/515.96	c  489s |      14 |  2215568 |    76752 |  1288598      0 |        1 |       12
518.02/518.13	c  491s |      14 |  2215934 |    77052 |  1288598      0 |        1 |       12
520.22/520.36	c  493s |      14 |  2216307 |    77352 |  1288598      0 |        1 |       12
522.31/522.48	c  495s |      14 |  2216667 |    77652 |  1288598      0 |        1 |       12
525.01/525.13	c  498s |      14 |  2217148 |    78052 |  1288598      0 |        1 |       12
527.51/527.62	c  501s |      14 |  2217465 |    78352 |  1288598      0 |        1 |       12
530.01/530.16	c  503s |      14 |  2217966 |    78752 |  1288598      0 |        1 |       12
532.61/532.71	c  506s |      14 |  2218451 |    79152 |  1288598      0 |        1 |       12
535.21/535.31	c  508s |      14 |  2218920 |    79552 |  1288598      0 |        1 |       12
537.41/537.55	c  510s |      14 |  2219288 |    79852 |  1288598      0 |        1 |       12
540.01/540.13	c  513s |      14 |  2219799 |    80252 |  1288598      0 |        1 |       12
542.71/542.87	c  516s |      14 |  2220292 |    80652 |  1288598      0 |        1 |       12
545.21/545.38	c  518s |      14 |  2220783 |    81052 |  1288598      0 |        1 |       12
547.71/547.87	c  521s |      14 |  2221289 |    81452 |  1288598      0 |        1 |       12
550.21/550.32	c  523s |      14 |  2221789 |    81852 |  1288598      0 |        1 |       12
552.21/552.36	c  525s |      14 |  2222169 |    82152 |  1288598      0 |        1 |       12
554.41/554.52	c  527s |      14 |  2222546 |    82452 |  1288598      0 |        1 |       12
556.80/556.99	c  530s |      14 |  2223046 |    82852 |  1288598      0 |        1 |       12
559.20/559.32	c  532s |      14 |  2223426 |    83152 |  1288598      0 |        1 |       12
561.20/561.35	c  534s |      14 |  2223774 |    83452 |  1288598      0 |        1 |       12
563.50/563.62	c  537s |      14 |  2224204 |    83752 |  1288598      0 |        1 |       12
565.60/565.72	c  539s |      14 |  2224585 |    84052 |  1288598      0 |        1 |       12
567.70/567.82	c  541s |      14 |  2224953 |    84352 |  1288598      0 |        1 |       12
569.81/569.97	c  543s |      14 |  2225280 |    84652 |  1288598      0 |        1 |       12
572.01/572.13	c  545s |      14 |  2225635 |    84952 |  1288598      0 |        1 |       12
574.20/574.35	c  547s |      14 |  2226026 |    85252 |  1288598      0 |        1 |       12
576.50/576.64	c  550s |      14 |  2226429 |    85552 |  1288598      0 |        1 |       12
578.50/578.70	c  552s |      14 |  2226818 |    85852 |  1288598      0 |        1 |       12
580.90/581.08	c  554s |      14 |  2227181 |    86152 |  1288598      0 |        1 |       12
583.10/583.29	c  556s |      14 |  2227547 |    86452 |  1288598      0 |        1 |       12
585.30/585.46	c  558s |      14 |  2227915 |    86752 |  1288598      0 |        1 |       12
587.59/587.70	c  561s |      14 |  2228267 |    87052 |  1417458      0 |        1 |       12
589.60/589.79	c  563s |      14 |  2228611 |    87352 |  1417458      0 |        1 |       12
591.60/591.73	c  565s |      15 |  2228927 |    87632 |  1417458      0 |        1 |       12
597.10/597.29	c  570s |      15 |  2284747 |    87732 |  1417458      0 |        1 |       12
600.19/600.30	c  573s |      15 |  2322179 |    87832 |  1417458      0 |        1 |       12
602.59/602.74	c  576s |      15 |  2322648 |    88132 |  1417458      0 |        1 |       12
606.00/606.19	c  579s |      15 |  2323392 |    88532 |  1417458      0 |        2 |       24
608.49/608.64	c  582s |      15 |  2323836 |    88832 |  1417458      0 |        2 |       24
611.19/611.32	c  584s |      15 |  2324491 |    89132 |  1417458      0 |        2 |       24
613.59/613.79	c  587s |      15 |  2324836 |    89432 |  1417458      0 |        2 |       24
616.09/616.23	c  589s |      15 |  2325185 |    89732 |  1417458      0 |        2 |       24
618.39/618.56	c  591s |      15 |  2325525 |    90032 |  1417458      0 |        2 |       24
620.79/620.97	c  594s |      15 |  2325883 |    90332 |  1417458      0 |        2 |       24
622.99/623.11	c  596s |      15 |  2326217 |    90632 |  1417458      0 |        2 |       24
625.19/625.32	c  598s |      15 |  2326583 |    90932 |  1417458      0 |        2 |       24
627.19/627.36	c  600s |      15 |  2326911 |    91232 |  1417458      0 |        2 |       24
629.79/629.91	c  603s |      15 |  2327410 |    91632 |  1417458      0 |        2 |       24
631.89/632.01	c  605s |      15 |  2327774 |    91932 |  1417458      0 |        2 |       24
634.09/634.24	c  607s |      15 |  2328378 |    92232 |  1417458      0 |        2 |       24
636.49/636.63	c  610s |      15 |  2328986 |    92532 |  1417458      0 |        2 |       24
638.89/639.03	c  612s |      15 |  2329438 |    92832 |  1417458      0 |        2 |       24
641.39/641.55	c  614s |      15 |  2329811 |    93132 |  1417458      0 |        2 |       24
643.99/644.10	c  617s |      15 |  2330173 |    93432 |  1417458      0 |        2 |       24
645.99/646.13	c  619s |      15 |  2330517 |    93732 |  1417458      0 |        2 |       24
648.29/648.46	c  621s |      15 |  2330866 |    94032 |  1417458      0 |        2 |       24
650.59/650.73	c  624s |      15 |  2331276 |    94332 |  1417458      0 |        2 |       24
652.59/652.78	c  626s |      15 |  2331660 |    94632 |  1417458      0 |        2 |       24
655.39/655.60	c  628s |      15 |  2331978 |    94932 |  1417458      0 |        2 |       24
658.19/658.32	c  631s |      15 |  2332364 |    95232 |  1417458      0 |        2 |       24
660.49/660.68	c  634s |      15 |  2332719 |    95532 |  1417458      0 |        2 |       24
662.69/662.81	c  636s |      15 |  2333160 |    95832 |  1417458      0 |        2 |       24
664.79/664.92	c  638s |      15 |  2333621 |    96132 |  1417458      0 |        2 |       24
667.18/667.33	c  640s |      15 |  2334052 |    96432 |  1417458      0 |        2 |       24
669.68/669.86	c  643s |      15 |  2334668 |    96832 |  1417458      0 |        2 |       24
672.28/672.49	c  645s |      15 |  2335169 |    97232 |  1417458      0 |        2 |       24
674.48/674.63	c  648s |      15 |  2335509 |    97532 |  1417458      0 |        2 |       24
676.68/676.89	c  650s |      15 |  2335858 |    97832 |  1417458      0 |        2 |       24
678.88/679.03	c  652s |      15 |  2336226 |    98132 |  1417458      0 |        2 |       24
681.38/681.55	c  654s |      15 |  2336581 |    98432 |  1417458      0 |        2 |       24
683.98/684.20	c  657s |      15 |  2336936 |    98732 |  1417458      0 |        2 |       24
686.68/686.81	c  660s |      15 |  2337283 |    99032 |  1417458      0 |        2 |       24
689.18/689.39	c  662s |      15 |  2337634 |    99332 |  1417458      0 |        2 |       24
691.89/692.05	c  665s |      15 |  2337977 |    99632 |  1417458      0 |        2 |       24
694.58/694.72	c  668s |      15 |  2338326 |    99932 |  1417458      0 |        2 |       24
697.09/697.29	c  670s |      15 |  2338868 |   100232 |  1417458      0 |        2 |       24
699.59/699.74	c  673s |      15 |  2339218 |   100532 |  1417458      0 |        2 |       24
702.08/702.25	c  675s |      15 |  2339578 |   100832 |  1417458      0 |        2 |       24
704.99/705.17	c  678s |      15 |  2339927 |   101132 |  1417458      0 |        2 |       24
707.68/707.81	c  681s |      15 |  2340281 |   101432 |  1417458      0 |        2 |       24
709.68/709.82	c  683s |      15 |  2340482 |   101632 |  1417458      0 |        2 |       24
712.18/712.34	c  685s |      15 |  2340818 |   101932 |  1417458      0 |        2 |       24
714.68/714.83	c  688s |      15 |  2341160 |   102232 |  1417458      0 |        2 |       24
717.48/717.67	c  691s |      15 |  2341511 |   102532 |  1417458      0 |        2 |       24
720.28/720.41	c  693s |      15 |  2341911 |   102832 |  1417458      0 |        2 |       24
722.28/722.44	c  695s |      15 |  2342137 |   103032 |  1417458      0 |        2 |       24
724.89/725.06	c  698s |      15 |  2342488 |   103332 |  1417458      0 |        2 |       24
727.48/727.67	c  701s |      15 |  2342876 |   103632 |  1417458      0 |        2 |       24
730.39/730.57	c  703s |      15 |  2343216 |   103932 |  1417458      0 |        2 |       24
732.88/733.07	c  706s |      15 |  2343592 |   104232 |  1417458      0 |        2 |       24
735.28/735.47	c  708s |      15 |  2343940 |   104532 |  1417458      0 |        2 |       24
737.78/737.90	c  711s |      15 |  2344279 |   104832 |  1417458      0 |        2 |       24
739.98/740.17	c  713s |      15 |  2344653 |   105132 |  1417458      0 |        2 |       24
742.28/742.42	c  715s |      15 |  2345016 |   105432 |  1417458      0 |        2 |       24
744.58/744.76	c  718s |      15 |  2345361 |   105732 |  1417458      0 |        2 |       24
746.68/746.86	c  720s |      15 |  2345708 |   106032 |  1417458      0 |        2 |       24
748.88/749.01	c  722s |      15 |  2346074 |   106332 |  1417458      0 |        2 |       24
751.87/752.03	c  725s |      15 |  2346418 |   106632 |  1417458      0 |        2 |       24
754.48/754.66	c  728s |      15 |  2346833 |   106932 |  1417458      0 |        2 |       24
756.57/756.75	c  730s |      15 |  2347168 |   107132 |  1417458      0 |        2 |       24
759.37/759.55	c  732s |      15 |  2347622 |   107432 |  1417458      0 |        2 |       24
761.98/762.17	c  735s |      15 |  2347868 |   107632 |  1417458      0 |        2 |       24
764.07/764.28	c  737s |      15 |  2348188 |   107832 |  1417458      0 |        2 |       24
766.18/766.38	c  739s |      15 |  2348463 |   108032 |  1417458      0 |        2 |       24
768.38/768.51	c  741s |      15 |  2348585 |   108132 |  1417458      0 |        2 |       24
771.37/771.51	c  744s |      15 |  2348928 |   108432 |  1417458      0 |        2 |       24
774.17/774.34	c  747s |      15 |  2349302 |   108732 |  1417458      0 |        2 |       24
777.07/777.22	c  750s |      15 |  2349632 |   109032 |  1417458      0 |        2 |       24
779.78/779.92	c  753s |      15 |  2350080 |   109332 |  1417458      0 |        2 |       24
782.57/782.70	c  756s |      15 |  2350449 |   109632 |  1417458      0 |        2 |       24
785.57/785.71	c  759s |      15 |  2350789 |   109932 |  1417458      0 |        2 |       24
788.47/788.68	c  762s |      15 |  2351113 |   110232 |  1417458      0 |        2 |       24
790.57/790.71	c  764s |      15 |  2351408 |   110432 |  1417458      0 |        2 |       24
792.77/792.99	c  766s |      15 |  2351614 |   110632 |  1417458      0 |        2 |       24
795.47/795.67	c  769s |      15 |  2351981 |   110932 |  1417458      0 |        2 |       24
797.57/797.77	c  771s |      15 |  2352237 |   111132 |  1417458      0 |        2 |       24
800.47/800.67	c  774s |      15 |  2352572 |   111432 |  1417458      0 |        2 |       24
802.88/803.06	c  776s |      15 |  2352930 |   111732 |  1417458      0 |        2 |       24
805.67/805.89	c  779s |      15 |  2353270 |   112032 |  1417458      0 |        2 |       24
808.48/808.62	c  782s |      15 |  2353600 |   112332 |  1417458      0 |        2 |       24
810.97/811.11	c  784s |      15 |  2353955 |   112632 |  1417458      0 |        2 |       24
813.77/813.98	c  787s |      15 |  2354283 |   112932 |  1417458      0 |        2 |       24
816.47/816.64	c  790s |      15 |  2354623 |   113232 |  1417458      0 |        2 |       24
819.27/819.40	c  792s |      15 |  2354982 |   113532 |  1417458      0 |        2 |       24
821.77/821.99	c  795s |      15 |  2355340 |   113832 |  1417458      0 |        2 |       24
824.27/824.45	c  797s |      15 |  2355689 |   114132 |  1417458      0 |        2 |       24
826.77/826.93	c  800s |      15 |  2356028 |   114432 |  1417458      0 |        2 |       24
829.16/829.39	c  802s |      15 |  2356370 |   114732 |  1417458      0 |        2 |       24
831.76/831.99	c  805s |      15 |  2356729 |   115032 |  1417458      0 |        2 |       24
834.06/834.21	c  807s |      15 |  2357046 |   115232 |  1417458      0 |        2 |       24
836.06/836.21	c  809s |      15 |  2357297 |   115432 |  1417458      0 |        2 |       24
838.17/838.34	c  811s |      15 |  2357537 |   115632 |  1417458      0 |        2 |       24
840.86/841.05	c  814s |      15 |  2357914 |   115932 |  1417458      0 |        2 |       24
843.46/843.67	c  817s |      15 |  2358246 |   116232 |  1417458      0 |        2 |       24
845.56/845.78	c  819s |      15 |  2358487 |   116432 |  1417458      0 |        2 |       24
848.45/848.67	c  822s |      15 |  2358881 |   116732 |  1417458      0 |        2 |       24
850.75/850.98	c  824s |      15 |  2359092 |   116932 |  1417458      0 |        2 |       24
853.46/853.67	c  827s |      15 |  2359434 |   117232 |  1417458      0 |        2 |       24
856.25/856.48	c  829s |      15 |  2359764 |   117532 |  1417458      0 |        2 |       24
859.05/859.28	c  832s |      15 |  2360127 |   117832 |  1417458      0 |        2 |       24
861.75/861.93	c  835s |      15 |  2360459 |   118132 |  1417458      0 |        2 |       24
864.35/864.59	c  837s |      15 |  2360804 |   118432 |  1417458      0 |        2 |       24
866.45/866.63	c  840s |      15 |  2361025 |   118632 |  1417458      0 |        2 |       24
868.95/869.20	c  842s |      15 |  2361379 |   118932 |  1417458      0 |        2 |       24
871.54/871.78	c  845s |      15 |  2361713 |   119232 |  1417458      0 |        2 |       24
874.24/874.49	c  847s |      15 |  2362056 |   119532 |  1417458      0 |        2 |       24
876.34/876.59	c  849s |      15 |  2362279 |   119732 |  1417458      0 |        2 |       24
879.03/879.29	c  852s |      15 |  2362615 |   120032 |  1417458      0 |        2 |       24
881.63/881.89	c  855s |      15 |  2362943 |   120332 |  1417458      0 |        2 |       24
884.63/884.86	c  858s |      15 |  2363265 |   120632 |  1417458      0 |        2 |       24
887.54/887.78	c  861s |      15 |  2363626 |   120932 |  1417458      0 |        2 |       24
889.73/889.94	c  863s |      15 |  2363865 |   121132 |  1417458      0 |        2 |       24
892.33/892.53	c  865s |      15 |  2364228 |   121432 |  1417458      0 |        2 |       24
895.12/895.32	c  868s |      15 |  2364571 |   121732 |  1417458      0 |        2 |       24
897.43/897.67	c  871s |      15 |  2364806 |   121932 |  1417458      0 |        2 |       24
899.52/899.74	c  873s |      15 |  2365049 |   122132 |  1417458      0 |        2 |       24
902.42/902.68	c  876s |      15 |  2365404 |   122432 |  1417458      0 |        2 |       24
905.52/905.75	c  879s |      15 |  2365778 |   122732 |  1417458      0 |        2 |       24
907.62/907.83	c  881s |      15 |  2366022 |   122932 |  1417458      0 |        2 |       24
910.73/910.91	c  884s |      15 |  2366242 |   123132 |  1417458      0 |        2 |       24
912.93/913.18	c  886s |      15 |  2366606 |   123432 |  1417458      0 |        2 |       24
915.03/915.29	c  888s |      15 |  2366941 |   123732 |  1417458      0 |        2 |       24
917.92/918.20	c  891s |      15 |  2367285 |   124032 |  1417458      0 |        2 |       24
920.53/920.80	c  894s |      15 |  2367694 |   124332 |  1417458      0 |        2 |       24
923.52/923.76	c  897s |      15 |  2368051 |   124632 |  1417458      0 |        2 |       24
926.52/926.71	c  900s |      15 |  2368414 |   124932 |  1417458      0 |        2 |       24
928.61/928.82	c  902s |      15 |  2368650 |   125132 |  1417458      0 |        2 |       24
931.41/931.66	c  905s |      15 |  2368995 |   125432 |  1417458      0 |        2 |       24
934.41/934.62	c  908s |      15 |  2369330 |   125732 |  1417458      0 |        2 |       24
937.21/937.47	c  910s |      15 |  2369656 |   126032 |  1417458      0 |        2 |       24
939.81/940.02	c  913s |      15 |  2369974 |   126332 |  1417458      0 |        2 |       24
942.71/942.93	c  916s |      15 |  2370350 |   126632 |  1417458      0 |        2 |       24
945.61/945.81	c  919s |      15 |  2370720 |   126932 |  1417458      0 |        2 |       24
948.12/948.32	c  921s |      15 |  2371064 |   127232 |  1417458      0 |        2 |       24
951.21/951.48	c  924s |      15 |  2371419 |   127532 |  1417458      0 |        2 |       24
954.31/954.55	c  927s |      15 |  2371765 |   127832 |  1417458      0 |        2 |       24
956.31/956.57	c  929s |      15 |  2372030 |   128032 |  1417458      0 |        2 |       24
959.21/959.40	c  932s |      15 |  2372389 |   128332 |  1417458      0 |        2 |       24
961.22/961.42	c  934s |      15 |  2372624 |   128532 |  1417458      0 |        2 |       24
964.21/964.42	c  937s |      15 |  2372960 |   128832 |  1417458      0 |        2 |       24
966.41/966.65	c  940s |      15 |  2373194 |   129032 |  1417458      0 |        2 |       24
968.61/968.86	c  942s |      15 |  2373414 |   129232 |  1417458      0 |        2 |       24
970.71/970.94	c  944s |      15 |  2373659 |   129432 |  1417458      0 |        2 |       24
973.71/973.95	c  947s |      15 |  2374009 |   129732 |  1417458      0 |        2 |       24
976.81/977.05	c  950s |      15 |  2374377 |   130032 |  1417458      0 |        2 |       24
979.01/979.26	c  952s |      15 |  2374621 |   130232 |  1417458      0 |        2 |       24
981.30/981.59	c  954s |      15 |  2374874 |   130432 |  1417458      0 |        2 |       24
984.10/984.36	c  957s |      15 |  2375219 |   130732 |  1559204      0 |        2 |       24
986.80/987.00	c  960s |      15 |  2375559 |   131032 |  1559204      0 |        2 |       24
989.50/989.77	c  963s |      15 |  2375912 |   131332 |  1559204      0 |        2 |       24
991.70/991.90	c  965s |      16 |  2376163 |   131552 |  1559204      0 |        2 |       24
996.10/996.36	c  969s |      16 |  2376801 |   131752 |  1559204      0 |        3 |       36
998.40/998.65	c  972s |      16 |  2377388 |   131952 |  1559204      0 |        3 |       36
1000.60/1000.82	c  974s |      16 |  2377687 |   132152 |  1559204      0 |        3 |       36
1002.80/1003.03	c  976s |      16 |  2378126 |   132352 |  1559204      0 |        3 |       36
1005.41/1005.66	c  979s |      16 |  2378363 |   132552 |  1559204      0 |        3 |       36
1008.10/1008.34	c  981s |      16 |  2378583 |   132752 |  1559204      0 |        3 |       36
1010.60/1010.86	c  984s |      16 |  2378846 |   132952 |  1559204      0 |        3 |       36
1012.80/1013.07	c  986s |      16 |  2379077 |   133152 |  1559204      0 |        3 |       36
1014.90/1015.14	c  988s |      16 |  2379296 |   133352 |  1559204      0 |        3 |       36
1017.40/1017.63	c  991s |      16 |  2379589 |   133552 |  1559204      0 |        3 |       36
1019.90/1020.14	c  993s |      16 |  2379745 |   133652 |  1559204      0 |        3 |       36
1022.30/1022.55	c  995s |      16 |  2379982 |   133852 |  1559204      0 |        3 |       36
1024.60/1024.87	c  998s |      16 |  2380230 |   134052 |  1559204      0 |        3 |       36
1026.80/1027.08	c 1000s |      16 |  2380501 |   134252 |  1559204      0 |        3 |       36
1029.10/1029.35	c 1002s |      16 |  2380744 |   134452 |  1559204      0 |        3 |       36
1031.40/1031.60	c 1004s |      16 |  2380979 |   134652 |  1559204      0 |        3 |       36
1033.60/1033.81	c 1007s |      16 |  2381220 |   134852 |  1559204      0 |        3 |       36
1035.60/1035.82	c 1009s |      16 |  2381445 |   135052 |  1559204      0 |        3 |       36
1037.70/1037.92	c 1011s |      16 |  2381698 |   135252 |  1559204      0 |        3 |       36
1040.10/1040.38	c 1013s |      16 |  2381926 |   135452 |  1559204      0 |        3 |       36
1042.20/1042.46	c 1015s |      16 |  2382149 |   135652 |  1559204      0 |        3 |       36
1044.80/1045.09	c 1018s |      16 |  2382474 |   135952 |  1559204      0 |        3 |       36
1046.90/1047.18	c 1020s |      16 |  2382719 |   136152 |  1559204      0 |        3 |       36
1048.99/1049.25	c 1022s |      16 |  2382944 |   136352 |  1559204      0 |        3 |       36
1051.29/1051.57	c 1024s |      16 |  2383171 |   136552 |  1559204      0 |        3 |       36
1053.49/1053.76	c 1027s |      16 |  2383402 |   136752 |  1559204      0 |        3 |       36
1056.29/1056.55	c 1029s |      16 |  2383747 |   137052 |  1559204      0 |        3 |       36
1059.29/1059.50	c 1032s |      16 |  2384092 |   137352 |  1559204      0 |        3 |       36
1062.59/1062.90	c 1036s |      16 |  2384454 |   137652 |  1559204      0 |        3 |       36
1065.09/1065.36	c 1038s |      16 |  2384706 |   137852 |  1559204      0 |        3 |       36
1067.49/1067.75	c 1041s |      16 |  2385034 |   138152 |  1559204      0 |        3 |       36
1070.49/1070.72	c 1044s |      16 |  2385400 |   138452 |  1559204      0 |        3 |       36
1072.69/1072.98	c 1046s |      16 |  2385655 |   138652 |  1559204      0 |        3 |       36
1074.89/1075.16	c 1048s |      16 |  2385888 |   138852 |  1559204      0 |        3 |       36
1077.89/1078.20	c 1051s |      16 |  2386220 |   139152 |  1559204      0 |        3 |       36
1079.99/1080.29	c 1053s |      16 |  2386474 |   139352 |  1559204      0 |        3 |       36
1082.58/1082.82	c 1056s |      16 |  2386722 |   139552 |  1559204      0 |        3 |       36
1084.88/1085.10	c 1058s |      16 |  2386954 |   139752 |  1559204      0 |        3 |       36
1086.98/1087.29	c 1060s |      16 |  2387184 |   139952 |  1559204      0 |        3 |       36
1089.18/1089.41	c 1062s |      16 |  2387396 |   140152 |  1559204      0 |        3 |       36
1091.38/1091.62	c 1065s |      16 |  2387635 |   140352 |  1559204      0 |        3 |       36
1093.58/1093.89	c 1067s |      16 |  2387882 |   140552 |  1559204      0 |        3 |       36
1095.98/1096.27	c 1069s |      16 |  2388133 |   140752 |  1559204      0 |        3 |       36
1098.38/1098.67	c 1072s |      16 |  2388349 |   140952 |  1559204      0 |        3 |       36
1100.58/1100.85	c 1074s |      16 |  2388582 |   141152 |  1559204      0 |        3 |       36
1102.68/1102.98	c 1076s |      16 |  2388790 |   141352 |  1559204      0 |        3 |       36
1104.88/1105.10	c 1078s |      16 |  2389111 |   141552 |  1559204      0 |        3 |       36
1107.08/1107.34	c 1080s |      16 |  2389354 |   141752 |  1559204      0 |        3 |       36
1109.48/1109.74	c 1083s |      16 |  2389580 |   141852 |  1559204      0 |        3 |       36
1111.78/1112.04	c 1085s |      16 |  2389805 |   142052 |  1559204      0 |        3 |       36
1114.09/1114.38	c 1087s |      16 |  2390036 |   142252 |  1559204      0 |        3 |       36
1116.58/1116.81	c 1090s |      16 |  2390264 |   142452 |  1559204      0 |        3 |       36
1118.68/1118.96	c 1092s |      16 |  2390506 |   142652 |  1559204      0 |        3 |       36
1121.79/1122.05	c 1095s |      16 |  2390857 |   142952 |  1559204      0 |        3 |       36
1123.99/1124.24	c 1097s |      16 |  2391093 |   143152 |  1559204      0 |        3 |       36
1126.28/1126.51	c 1099s |      16 |  2391321 |   143352 |  1559204      0 |        3 |       36
1128.98/1129.22	c 1102s |      16 |  2391530 |   143552 |  1559204      0 |        3 |       36
1131.98/1132.29	c 1105s |      16 |  2391825 |   143752 |  1559204      0 |        3 |       36
1134.07/1134.30	c 1107s |      16 |  2392116 |   143952 |  1559204      0 |        3 |       36
1136.18/1136.48	c 1109s |      16 |  2392336 |   144152 |  1559204      0 |        3 |       36
1138.28/1138.58	c 1111s |      16 |  2392608 |   144352 |  1559204      0 |        3 |       36
1141.17/1141.40	c 1114s |      16 |  2392961 |   144652 |  1559204      0 |        3 |       36
1143.47/1143.71	c 1117s |      16 |  2393183 |   144852 |  1559204      0 |        3 |       36
1145.67/1145.91	c 1119s |      16 |  2393438 |   145052 |  1559204      0 |        3 |       36
1148.18/1148.41	c 1121s |      16 |  2393699 |   145252 |  1559204      0 |        3 |       36
1150.17/1150.47	c 1123s |      16 |  2393944 |   145452 |  1559204      0 |        3 |       36
1152.47/1152.70	c 1126s |      16 |  2394186 |   145652 |  1559204      0 |        3 |       36
1154.78/1155.02	c 1128s |      16 |  2394415 |   145852 |  1559204      0 |        3 |       36
1156.77/1157.03	c 1130s |      16 |  2394671 |   146052 |  1559204      0 |        3 |       36
1158.77/1159.06	c 1132s |      16 |  2394946 |   146252 |  1559204      0 |        3 |       36
1161.07/1161.39	c 1134s |      16 |  2395171 |   146452 |  1559204      0 |        3 |       36
1163.37/1163.65	c 1137s |      16 |  2395450 |   146652 |  1559204      0 |        3 |       36
1165.87/1166.11	c 1139s |      16 |  2395705 |   146852 |  1559204      0 |        3 |       36
1168.36/1168.64	c 1142s |      16 |  2395925 |   147052 |  1559204      0 |        3 |       36
1170.77/1171.08	c 1144s |      16 |  2396164 |   147252 |  1559204      0 |        3 |       36
1173.06/1173.37	c 1146s |      16 |  2396374 |   147452 |  1559204      0 |        3 |       36
1175.46/1175.75	c 1149s |      16 |  2396614 |   147652 |  1559204      0 |        3 |       36
1178.55/1178.82	c 1152s |      16 |  2396956 |   147952 |  1559204      0 |        3 |       36
1180.85/1181.11	c 1154s |      16 |  2397202 |   148152 |  1559204      0 |        3 |       36
1183.36/1183.67	c 1157s |      16 |  2397432 |   148352 |  1559204      0 |        3 |       36
1186.95/1187.28	c 1160s |      16 |  2397667 |   148552 |  1559204      0 |        3 |       36
1188.96/1189.28	c 1162s |      16 |  2397927 |   148752 |  1559204      0 |        3 |       36
1191.55/1191.89	c 1165s |      16 |  2398345 |   149052 |  1559204      0 |        3 |       36
1193.75/1194.05	c 1167s |      16 |  2398697 |   149352 |  1559204      0 |        3 |       36
1196.35/1196.68	c 1170s |      16 |  2399049 |   149652 |  1559204      0 |        3 |       36
1198.95/1199.25	c 1172s |      16 |  2399424 |   149952 |  1559204      0 |        3 |       36
1201.95/1202.20	c 1175s |      16 |  2399732 |   150252 |  1559204      0 |        3 |       36
1204.26/1204.51	c 1177s |      16 |  2399987 |   150452 |  1559204      0 |        3 |       36
1206.35/1206.60	c 1179s |      16 |  2400239 |   150652 |  1559204      0 |        3 |       36
1209.35/1209.67	c 1183s |      16 |  2400585 |   150952 |  1559204      0 |        3 |       36
1211.45/1211.76	c 1185s |      16 |  2400812 |   151152 |  1559204      0 |        3 |       36
1213.65/1213.97	c 1187s |      16 |  2401057 |   151352 |  1559204      0 |        3 |       36
1215.95/1216.29	c 1189s |      16 |  2401284 |   151552 |  1559204      0 |        3 |       36
1219.05/1219.37	c 1192s |      16 |  2401630 |   151852 |  1559204      0 |        3 |       36
1221.35/1221.68	c 1195s |      16 |  2401862 |   152052 |  1559204      0 |        3 |       36
1223.85/1224.12	c 1197s |      16 |  2402081 |   152252 |  1559204      0 |        3 |       36
1226.65/1226.90	c 1200s |      16 |  2402431 |   152552 |  1559204      0 |        3 |       36
1228.95/1229.20	c 1202s |      16 |  2402653 |   152752 |  1559204      0 |        3 |       36
1231.24/1231.52	c 1204s |      16 |  2402877 |   152952 |  1559204      0 |        3 |       36
1233.34/1233.65	c 1207s |      16 |  2403133 |   153152 |  1559204      0 |        3 |       36
1235.85/1236.14	c 1209s |      16 |  2403368 |   153352 |  1559204      0 |        3 |       36
1238.65/1238.99	c 1212s |      16 |  2403747 |   153652 |  1559204      0 |        3 |       36
1241.34/1241.61	c 1214s |      16 |  2404097 |   153952 |  1559204      0 |        3 |       36
1244.04/1244.33	c 1217s |      16 |  2404422 |   154252 |  1559204      0 |        3 |       36
1247.04/1247.37	c 1220s |      16 |  2404825 |   154552 |  1559204      0 |        3 |       36
1250.84/1251.18	c 1224s |      16 |  2405072 |   154752 |  1559204      0 |        3 |       36
1253.24/1253.53	c 1226s |      16 |  2405323 |   154952 |  1559204      0 |        3 |       36
1255.44/1255.70	c 1229s |      16 |  2405554 |   155152 |  1559204      0 |        3 |       36
1258.34/1258.68	c 1232s |      16 |  2405911 |   155452 |  1559204      0 |        3 |       36
1261.14/1261.41	c 1234s |      16 |  2406258 |   155752 |  1559204      0 |        3 |       36
1263.14/1263.50	c 1236s |      16 |  2406485 |   155952 |  1559204      0 |        3 |       36
1265.24/1265.59	c 1238s |      16 |  2406719 |   156152 |  1559204      0 |        3 |       36
1267.74/1268.04	c 1241s |      16 |  2406963 |   156352 |  1559204      0 |        3 |       36
1270.14/1270.49	c 1243s |      16 |  2407201 |   156552 |  1559204      0 |        3 |       36
1272.34/1272.64	c 1246s |      16 |  2407421 |   156752 |  1559204      0 |        3 |       36
1274.64/1274.91	c 1248s |      16 |  2407642 |   156952 |  1559204      0 |        3 |       36
1277.04/1277.33	c 1250s |      16 |  2407873 |   157152 |  1559204      0 |        3 |       36
1279.33/1279.61	c 1252s |      16 |  2408133 |   157352 |  1559204      0 |        3 |       36
1281.53/1281.87	c 1255s |      16 |  2408382 |   157552 |  1559204      0 |        3 |       36
1284.43/1284.77	c 1258s |      16 |  2408744 |   157852 |  1559204      0 |        3 |       36
1286.84/1287.10	c 1260s |      16 |  2408961 |   158052 |  1559204      0 |        3 |       36
1289.04/1289.35	c 1262s |      16 |  2409236 |   158252 |  1559204      0 |        3 |       36
1291.53/1291.85	c 1265s |      16 |  2409437 |   158452 |  1559204      0 |        3 |       36
1294.03/1294.34	c 1267s |      16 |  2409655 |   158652 |  1559204      0 |        3 |       36
1296.24/1296.54	c 1269s |      16 |  2409874 |   158852 |  1559204      0 |        3 |       36
1298.43/1298.77	c 1272s |      16 |  2410100 |   159052 |  1559204      0 |        3 |       36
1300.63/1300.99	c 1274s |      16 |  2410346 |   159252 |  1559204      0 |        3 |       36
1303.24/1303.57	c 1276s |      16 |  2410586 |   159452 |  1559204      0 |        3 |       36
1305.54/1305.83	c 1279s |      16 |  2410826 |   159652 |  1559204      0 |        3 |       36
1308.13/1308.41	c 1281s |      16 |  2411056 |   159852 |  1559204      0 |        3 |       36
1310.42/1310.71	c 1284s |      16 |  2411266 |   160052 |  1559204      0 |        3 |       36
1312.72/1313.07	c 1286s |      16 |  2411372 |   160152 |  1559204      0 |        3 |       36
1314.73/1315.09	c 1288s |      16 |  2411598 |   160352 |  1559204      0 |        3 |       36
1316.83/1317.18	c 1290s |      16 |  2411830 |   160552 |  1559204      0 |        3 |       36
1318.93/1319.21	c 1292s |      16 |  2412052 |   160752 |  1559204      0 |        3 |       36
1321.23/1321.51	c 1294s |      16 |  2412277 |   160952 |  1559204      0 |        3 |       36
1323.33/1323.68	c 1297s |      16 |  2412496 |   161152 |  1559204      0 |        3 |       36
1326.23/1326.60	c 1299s |      16 |  2412845 |   161452 |  1559204      0 |        3 |       36
1328.64/1328.93	c 1302s |      16 |  2413067 |   161652 |  1559204      0 |        3 |       36
1331.33/1331.66	c 1305s |      16 |  2413433 |   161952 |  1559204      0 |        3 |       36
1334.43/1334.74	c 1308s |      16 |  2413783 |   162252 |  1559204      0 |        3 |       36
1337.33/1337.65	c 1311s |      16 |  2414117 |   162552 |  1559204      0 |        3 |       36
1339.33/1339.69	c 1313s |      16 |  2414378 |   162752 |  1559204      0 |        3 |       36
1341.43/1341.76	c 1315s |      16 |  2414599 |   162952 |  1559204      0 |        3 |       36
1344.32/1344.60	c 1317s |      16 |  2414917 |   163252 |  1559204      0 |        3 |       36
1346.92/1347.25	c 1320s |      16 |  2415261 |   163552 |  1559204      0 |        3 |       36
1349.62/1349.96	c 1323s |      16 |  2415596 |   163852 |  1559204      0 |        3 |       36
1352.52/1352.86	c 1326s |      16 |  2415935 |   164152 |  1559204      0 |        3 |       36
1355.82/1356.18	c 1329s |      16 |  2416268 |   164452 |  1559204      0 |        3 |       36
1357.92/1358.26	c 1331s |      16 |  2416470 |   164652 |  1559204      0 |        3 |       36
1360.22/1360.51	c 1333s |      16 |  2416728 |   164852 |  1559204      0 |        3 |       36
1362.32/1362.68	c 1336s |      16 |  2416957 |   165052 |  1559204      0 |        3 |       36
1364.82/1365.13	c 1338s |      16 |  2417185 |   165252 |  1559204      0 |        3 |       36
1368.02/1368.36	c 1341s |      16 |  2417412 |   165452 |  1559204      0 |        3 |       36
1370.82/1371.17	c 1344s |      16 |  2417772 |   165752 |  1559204      0 |        3 |       36
1373.42/1373.74	c 1347s |      16 |  2418100 |   166052 |  1559204      0 |        3 |       36
1376.02/1376.35	c 1349s |      16 |  2418440 |   166352 |  1559204      0 |        3 |       36
1378.22/1378.56	c 1351s |      16 |  2418767 |   166652 |  1559204      0 |        3 |       36
1380.72/1381.00	c 1354s |      16 |  2419090 |   166952 |  1559204      0 |        3 |       36
1383.92/1384.21	c 1357s |      16 |  2419448 |   167252 |  1559204      0 |        3 |       36
1386.72/1387.02	c 1360s |      16 |  2419719 |   167452 |  1559204      0 |        3 |       36
1389.12/1389.45	c 1362s |      16 |  2419948 |   167652 |  1559204      0 |        3 |       36
1391.62/1391.93	c 1365s |      16 |  2420198 |   167852 |  1559204      0 |        3 |       36
1394.22/1394.57	c 1367s |      16 |  2420446 |   168052 |  1559204      0 |        3 |       36
1396.82/1397.18	c 1370s |      16 |  2420681 |   168252 |  1559204      0 |        3 |       36
1400.02/1400.36	c 1373s |      16 |  2420924 |   168452 |  1559204      0 |        3 |       36
1402.81/1403.18	c 1376s |      16 |  2421175 |   168652 |  1559204      0 |        3 |       36
1405.31/1405.63	c 1379s |      16 |  2421388 |   168852 |  1559204      0 |        3 |       36
1408.11/1408.41	c 1381s |      16 |  2421607 |   169052 |  1559204      0 |        3 |       36
1411.20/1411.55	c 1384s |      16 |  2421840 |   169252 |  1559204      0 |        3 |       36
1414.31/1414.70	c 1388s |      16 |  2422066 |   169452 |  1559204      0 |        3 |       36
1418.41/1418.73	c 1392s |      16 |  2422295 |   169652 |  1559204      0 |        3 |       36
1421.11/1421.41	c 1394s |      16 |  2422515 |   169852 |  1559204      0 |        3 |       36
1423.12/1423.43	c 1396s |      16 |  2422759 |   170052 |  1559204      0 |        3 |       36
1425.31/1425.68	c 1399s |      16 |  2422984 |   170252 |  1559204      0 |        3 |       36
1428.21/1428.54	c 1401s |      16 |  2423204 |   170452 |  1559204      0 |        3 |       36
1430.51/1430.87	c 1404s |      16 |  2423441 |   170652 |  1559204      0 |        3 |       36
1432.71/1433.03	c 1406s |      16 |  2423674 |   170852 |  1559204      0 |        3 |       36
1434.91/1435.24	c 1408s |      16 |  2423890 |   171052 |  1559204      0 |        3 |       36
1437.00/1437.36	c 1410s |      16 |  2424135 |   171252 |  1559204      0 |        3 |       36
1439.90/1440.28	c 1413s |      16 |  2424478 |   171552 |  1559204      0 |        3 |       36
1442.60/1442.90	c 1416s |      16 |  2424707 |   171752 |  1559204      0 |        3 |       36
1445.11/1445.42	c 1418s |      16 |  2424931 |   171952 |  1559204      0 |        3 |       36
1447.99/1448.33	c 1421s |      16 |  2425151 |   172152 |  1559204      0 |        3 |       36
1450.61/1450.90	c 1424s |      16 |  2425378 |   172352 |  1559204      0 |        3 |       36
1452.99/1453.30	c 1426s |      16 |  2425622 |   172552 |  1559204      0 |        3 |       36
1455.50/1455.87	c 1429s |      16 |  2425841 |   172752 |  1559204      0 |        3 |       36
1458.20/1458.60	c 1431s |      16 |  2426058 |   172952 |  1559204      0 |        3 |       36
1460.80/1461.10	c 1434s |      16 |  2426307 |   173152 |  1559204      0 |        3 |       36
1463.00/1463.31	c 1436s |      16 |  2426533 |   173352 |  1559204      0 |        3 |       36
1465.40/1465.73	c 1439s |      16 |  2426680 |   173452 |  1559204      0 |        3 |       36
1467.90/1468.28	c 1441s |      16 |  2426896 |   173652 |  1559204      0 |        3 |       36
1470.50/1470.86	c 1444s |      16 |  2427109 |   173852 |  1559204      0 |        3 |       36
1472.70/1473.05	c 1446s |      16 |  2427335 |   174052 |  1559204      0 |        3 |       36
1475.69/1476.06	c 1449s |      16 |  2427675 |   174352 |  1559204      0 |        3 |       36
1477.69/1478.08	c 1451s |      16 |  2427890 |   174552 |  1559204      0 |        3 |       36
1480.49/1480.83	c 1454s |      16 |  2428136 |   174752 |  1559204      0 |        3 |       36
1482.99/1483.38	c 1456s |      16 |  2428344 |   174952 |  1559204      0 |        3 |       36
1485.49/1485.81	c 1459s |      16 |  2428569 |   175152 |  1559204      0 |        3 |       36
1487.89/1488.29	c 1461s |      16 |  2428794 |   175352 |  1559204      0 |        3 |       36
1490.59/1490.92	c 1464s |      16 |  2429024 |   175552 |  1559204      0 |        3 |       36
1493.39/1493.76	c 1467s |      16 |  2429245 |   175752 |  1559204      0 |        3 |       36
1495.89/1496.29	c 1469s |      16 |  2429459 |   175952 |  1559204      0 |        3 |       36
1498.19/1498.59	c 1471s |      16 |  2429697 |   176152 |  1559204      0 |        3 |       36
1500.88/1501.21	c 1474s |      16 |  2429930 |   176352 |  1559204      0 |        3 |       36
1503.19/1503.55	c 1476s |      16 |  2430149 |   176552 |  1559204      0 |        3 |       36
1505.59/1505.97	c 1479s |      16 |  2430387 |   176752 |  1559204      0 |        3 |       36
1509.29/1509.60	c 1482s |      16 |  2430604 |   176952 |  1559204      0 |        3 |       36
1511.59/1511.90	c 1485s |      16 |  2430820 |   177152 |  1559204      0 |        3 |       36
1513.89/1514.27	c 1487s |      16 |  2431034 |   177352 |  1559204      0 |        3 |       36
1516.09/1516.43	c 1489s |      16 |  2431248 |   177552 |  1559204      0 |        3 |       36
1518.58/1518.92	c 1492s |      16 |  2431464 |   177752 |  1559204      0 |        3 |       36
1521.28/1521.69	c 1495s |      16 |  2431779 |   178052 |  1559204      0 |        3 |       36
1524.18/1524.51	c 1497s |      16 |  2432115 |   178352 |  1559204      0 |        3 |       36
1526.49/1526.81	c 1500s |      16 |  2432358 |   178552 |  1559204      0 |        3 |       36
1529.38/1529.79	c 1503s |      16 |  2432583 |   178752 |  1559204      0 |        3 |       36
1532.38/1532.77	c 1506s |      16 |  2432826 |   178952 |  1559204      0 |        3 |       36
1535.18/1535.50	c 1508s |      16 |  2433082 |   179152 |  1559204      0 |        3 |       36
1537.98/1538.32	c 1511s |      16 |  2433309 |   179352 |  1559204      0 |        3 |       36
1540.89/1541.26	c 1514s |      16 |  2433526 |   179552 |  1559204      0 |        3 |       36
1543.68/1544.02	c 1517s |      16 |  2433753 |   179752 |  1559204      0 |        3 |       36
1546.18/1546.51	c 1519s |      16 |  2434001 |   179952 |  1559204      0 |        3 |       36
1548.58/1548.94	c 1522s |      16 |  2434222 |   180152 |  1559204      0 |        3 |       36
1550.78/1551.16	c 1524s |      16 |  2434336 |   180252 |  1559204      0 |        3 |       36
1553.07/1553.41	c 1526s |      16 |  2434579 |   180452 |  1559204      0 |        3 |       36
1555.37/1555.75	c 1529s |      16 |  2434793 |   180652 |  1559204      0 |        3 |       36
1558.57/1558.93	c 1532s |      16 |  2435114 |   180952 |  1559204      0 |        3 |       36
1560.87/1561.28	c 1534s |      16 |  2435338 |   181152 |  1559204      0 |        3 |       36
1563.37/1563.72	c 1537s |      16 |  2435579 |   181352 |  1559204      0 |        3 |       36
1565.97/1566.33	c 1539s |      16 |  2435799 |   181552 |  1559204      0 |        3 |       36
1568.77/1569.18	c 1542s |      16 |  2436018 |   181752 |  1559204      0 |        3 |       36
1571.78/1572.11	c 1545s |      16 |  2436250 |   181952 |  1559204      0 |        3 |       36
1574.47/1574.81	c 1548s |      16 |  2436470 |   182152 |  1559204      0 |        3 |       36
1576.77/1577.16	c 1550s |      16 |  2436700 |   182352 |  1559204      0 |        3 |       36
1579.57/1579.92	c 1553s |      16 |  2436922 |   182552 |  1559204      0 |        3 |       36
1581.97/1582.31	c 1555s |      16 |  2437145 |   182752 |  1559204      0 |        3 |       36
1584.17/1584.59	c 1557s |      16 |  2437376 |   182952 |  1559204      0 |        3 |       36
1587.67/1588.03	c 1561s |      16 |  2437597 |   183152 |  1559204      0 |        3 |       36
1589.67/1590.05	c 1563s |      16 |  2437752 |   183252 |  1559204      0 |        3 |       36
1592.37/1592.79	c 1566s |      16 |  2437996 |   183452 |  1559204      0 |        3 |       36
1594.78/1595.15	c 1568s |      16 |  2438217 |   183652 |  1559204      0 |        3 |       36
1597.67/1598.03	c 1571s |      16 |  2438442 |   183852 |  1559204      0 |        3 |       36
1600.37/1600.78	c 1574s |      16 |  2438679 |   184052 |  1559204      0 |        3 |       36
1602.96/1603.32	c 1576s |      16 |  2438907 |   184252 |  1559204      0 |        3 |       36
1605.67/1606.09	c 1579s |      16 |  2439132 |   184452 |  1559204      0 |        3 |       36
1608.35/1608.78	c 1582s |      16 |  2439347 |   184652 |  1559204      0 |        3 |       36
1611.17/1611.56	c 1584s |      16 |  2439585 |   184852 |  1559204      0 |        3 |       36
1613.66/1614.06	c 1587s |      16 |  2439815 |   185052 |  1559204      0 |        3 |       36
1616.55/1616.96	c 1590s |      16 |  2440034 |   185252 |  1559204      0 |        3 |       36
1619.25/1619.68	c 1593s |      16 |  2440255 |   185452 |  1559204      0 |        3 |       36
1621.66/1622.05	c 1595s |      16 |  2440368 |   185552 |  1559204      0 |        3 |       36
1624.26/1624.60	c 1597s |      16 |  2440625 |   185752 |  1559204      0 |        3 |       36
1626.75/1627.16	c 1600s |      16 |  2440850 |   185952 |  1559204      0 |        3 |       36
1628.86/1629.23	c 1602s |      16 |  2441074 |   186152 |  1559204      0 |        3 |       36
1631.25/1631.62	c 1605s |      16 |  2441283 |   186352 |  1559204      0 |        3 |       36
1633.55/1633.91	c 1607s |      16 |  2441534 |   186552 |  1559204      0 |        3 |       36
1636.15/1636.57	c 1609s |      16 |  2441775 |   186752 |  1559204      0 |        3 |       36
1638.25/1638.62	c 1612s |      16 |  2442016 |   186952 |  1559204      0 |        3 |       36
1640.55/1640.98	c 1614s |      16 |  2442249 |   187152 |  1559204      0 |        3 |       36
1643.06/1643.41	c 1616s |      16 |  2442469 |   187352 |  1559204      0 |        3 |       36
1645.65/1646.01	c 1619s |      16 |  2442686 |   187552 |  1559204      0 |        3 |       36
1649.04/1649.49	c 1622s |      16 |  2443012 |   187852 |  1559204      0 |        3 |       36
1651.55/1651.95	c 1625s |      16 |  2443178 |   187952 |  1559204      0 |        3 |       36
1654.44/1654.80	c 1628s |      16 |  2443310 |   188052 |  1559204      0 |        3 |       36
1657.45/1657.85	c 1631s |      16 |  2443554 |   188252 |  1559204      0 |        3 |       36
1660.24/1660.61	c 1633s |      16 |  2443809 |   188452 |  1559204      0 |        3 |       36
1663.74/1664.19	c 1637s |      16 |  2444050 |   188652 |  1559204      0 |        3 |       36
1666.94/1667.32	c 1640s |      16 |  2444295 |   188852 |  1559204      0 |        3 |       36
1670.23/1670.62	c 1644s |      16 |  2444525 |   189052 |  1559204      0 |        3 |       36
1673.84/1674.30	c 1647s |      16 |  2444754 |   189252 |  1559204      0 |        3 |       36
1677.13/1677.59	c 1650s |      16 |  2444995 |   189452 |  1559204      0 |        3 |       36
1679.93/1680.37	c 1653s |      16 |  2445218 |   189652 |  1559204      0 |        3 |       36
1684.13/1684.54	c 1657s |      16 |  2445448 |   189852 |  1559204      0 |        3 |       36
1686.63/1687.02	c 1660s |      16 |  2445676 |   190052 |  1559204      0 |        3 |       36
1689.02/1689.41	c 1662s |      16 |  2445899 |   190252 |  1559204      0 |        3 |       36
1691.53/1691.92	c 1665s |      16 |  2446114 |   190452 |  1559204      0 |        3 |       36
1694.12/1694.55	c 1667s |      16 |  2446351 |   190652 |  1559204      0 |        3 |       36
1696.94/1697.34	c 1670s |      16 |  2446571 |   190852 |  1559204      0 |        3 |       36
1699.62/1700.04	c 1673s |      16 |  2446789 |   191052 |  1559204      0 |        3 |       36
1702.32/1702.76	c 1676s |      16 |  2447040 |   191252 |  1559204      0 |        3 |       36
1705.42/1705.81	c 1679s |      16 |  2447281 |   191452 |  1559204      0 |        3 |       36
1708.41/1708.80	c 1682s |      16 |  2447506 |   191652 |  1559204      0 |        3 |       36
1710.82/1711.23	c 1684s |      16 |  2447714 |   191852 |  1559204      0 |        3 |       36
1714.01/1714.46	c 1687s |      16 |  2448051 |   192152 |  1559204      0 |        3 |       36
1716.62/1717.02	c 1690s |      16 |  2448183 |   192252 |  1559204      0 |        3 |       36
1718.93/1719.40	c 1692s |      16 |  2448399 |   192452 |  1559204      0 |        3 |       36
1721.72/1722.14	c 1695s |      16 |  2448639 |   192652 |  1559204      0 |        3 |       36
1724.12/1724.54	c 1697s |      16 |  2448853 |   192852 |  1559204      0 |        3 |       36
1726.91/1727.30	c 1700s |      16 |  2449093 |   193052 |  1559204      0 |        3 |       36
1730.02/1730.43	c 1703s |      16 |  2449356 |   193252 |  1559204      0 |        3 |       36
1732.81/1733.27	c 1706s |      16 |  2449579 |   193452 |  1559204      0 |        3 |       36
1735.42/1735.86	c 1709s |      16 |  2449801 |   193652 |  1559204      0 |        3 |       36
1737.91/1738.35	c 1711s |      16 |  2450034 |   193852 |  1559204      0 |        3 |       36
1741.11/1741.53	c 1714s |      16 |  2450264 |   194052 |  1559204      0 |        3 |       36
1745.01/1745.48	c 1718s |      16 |  2450501 |   194252 |  1559204      0 |        3 |       36
1747.41/1747.83	c 1721s |      16 |  2450722 |   194452 |  1559204      0 |        3 |       36
1749.72/1750.19	c 1723s |      16 |  2450962 |   194652 |  1559204      0 |        3 |       36
1752.11/1752.56	c 1725s |      16 |  2451190 |   194852 |  1559204      0 |        3 |       36
1755.01/1755.46	c 1728s |      16 |  2451540 |   195152 |  1559204      0 |        3 |       36
1757.51/1757.96	c 1731s |      16 |  2451807 |   195352 |  1559204      0 |        3 |       36
1759.50/1759.98	c 1733s |      16 |  2452022 |   195552 |  1559204      0 |        3 |       36
1761.60/1762.05	c 1735s |      16 |  2452244 |   195752 |  1559204      0 |        3 |       36
1763.81/1764.26	c 1737s |      16 |  2452467 |   195952 |  1559204      0 |        3 |       36
1766.31/1766.77	c 1740s |      16 |  2452704 |   196152 |  1715125      0 |        3 |       36
1768.51/1768.98	c 1742s |      16 |  2452934 |   196352 |  1715125      0 |        3 |       36
1770.61/1771.04	c 1744s |      16 |  2453151 |   196552 |  1715125      0 |        3 |       36
1774.50/1774.92	c 1748s |      16 |  2453500 |   196852 |  1715125      0 |        3 |       36
1777.21/1777.67	c 1751s |      16 |  2453714 |   197052 |  1715125      0 |        3 |       36
1779.90/1780.31	c 1753s |      16 |  2453951 |   197252 |  1715125      0 |        3 |       36
1782.10/1782.56	c 1755s |      17 |  2454154 |   197432 |  1715125      0 |        3 |       36
1787.79/1788.22	c 1761s |      17 |  2459207 |   197532 |  1715125      0 |        4 |       48
1790.51/1790.96	c 1764s |      17 |  2459430 |   197732 |  1715125      0 |        4 |       48
1792.99/1793.42	c 1766s |      17 |  2459647 |   197932 |  1715125      0 |        4 |       48
1795.70/1796.17	c 1769s |      17 |  2459880 |   198132 |  1715125      0 |        4 |       48
1799.39/1799.85	c 1773s |      17 |  2460115 |   198332 |  1715125      0 |        4 |       48

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

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

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


[startup+0 s]
/proc/loadavg: 2.15 2.22 2.23 3/181 25438
/proc/meminfo: memFree=28802428/32872528 swapFree=1505436/1685308
[pid=25438] ppid=25435 vsize=702908 CPUtime=0 cores=1,3,5,7
/proc/25438/stat : 25438 (toysat) R 25435 25438 21389 0 -1 4202496 2616 0 0 0 0 0 0 0 20 0 4 0 31319512 719777792 3489 33554432000 4194304 16246674 140735423644128 140735423643552 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25438/statm: 176239 3497 441 2943 0 173133 0
[pid=25438/tid=25439] ppid=25435 vsize=720316 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25439/stat : 25439 (toysat) S 25435 25438 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31319512 737603584 3559 33554432000 4194304 16246674 140735423644128 140373550673136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25438/tid=25440] ppid=25435 vsize=724412 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25440/stat : 25440 (toysat) S 25435 25438 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31319512 741797888 3575 33554432000 4194304 16246674 140735423644128 140373540183280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25438/tid=25441] ppid=25435 vsize=728508 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25441/stat : 25441 (toysat) S 25435 25438 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31319512 745992192 3591 33554432000 4194304 16246674 140735423644128 140373422763184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100131 s]
/proc/loadavg: 2.15 2.22 2.23 3/181 25438
/proc/meminfo: memFree=28802428/32872528 swapFree=1505436/1685308
[pid=25438] ppid=25435 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/25438/stat : 25438 (toysat) R 25435 25438 21389 0 -1 4202496 26951 0 0 0 5 4 0 0 20 0 4 0 31319512 1250496512 27761 33554432000 4194304 16246674 140735423644128 140735423643440 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25438/statm: 305297 27764 799 2943 0 302191 0
[pid=25438/tid=25439] ppid=25435 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25439/stat : 25439 (toysat) S 25435 25438 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31319512 1250496512 27766 33554432000 4194304 16246674 140735423644128 140373550673136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25438/tid=25440] ppid=25435 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25440/stat : 25440 (toysat) S 25435 25438 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31319512 1250496512 27768 33554432000 4194304 16246674 140735423644128 140373540183280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25438/tid=25441] ppid=25435 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25441/stat : 25441 (toysat) S 25435 25438 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31319512 1250496512 27770 33554432000 4194304 16246674 140735423644128 140373422763184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.20051 s]
/proc/loadavg: 2.15 2.22 2.23 3/181 25438
/proc/meminfo: memFree=28802428/32872528 swapFree=1505436/1685308
[pid=25438] ppid=25435 vsize=1308228 CPUtime=0.18 cores=1,3,5,7
/proc/25438/stat : 25438 (toysat) R 25435 25438 21389 0 -1 4202496 48083 0 0 0 12 6 0 0 20 0 4 0 31319512 1339625472 49404 33554432000 4194304 16246674 140735423644128 140735423643440 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25438/statm: 327057 49408 800 2943 0 323951 0
[pid=25438/tid=25439] ppid=25435 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25439/stat : 25439 (toysat) S 25435 25438 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31319512 1339625472 49410 33554432000 4194304 16246674 140735423644128 140373550673136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25438/tid=25440] ppid=25435 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25440/stat : 25440 (toysat) S 25435 25438 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31319512 1339625472 49412 33554432000 4194304 16246674 140735423644128 140373540183280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25438/tid=25441] ppid=25435 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25441/stat : 25441 (toysat) S 25435 25438 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31319512 1339625472 49414 33554432000 4194304 16246674 140735423644128 140373422763184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1308228

[startup+0.300477 s]
/proc/loadavg: 2.15 2.22 2.23 3/181 25438
/proc/meminfo: memFree=28802428/32872528 swapFree=1505436/1685308
[pid=25438] ppid=25435 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/25438/stat : 25438 (toysat) R 25435 25438 21389 0 -1 4202496 57870 0 0 0 21 8 0 0 20 0 4 0 31319512 1345916928 59191 33554432000 4194304 16246674 140735423644128 140735423643440 4220507 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25438/statm: 328593 59191 800 2943 0 325487 0
[pid=25438/tid=25439] ppid=25435 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25439/stat : 25439 (toysat) S 25435 25438 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31319512 1345916928 59191 33554432000 4194304 16246674 140735423644128 140373550673136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25438/tid=25440] ppid=25435 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25440/stat : 25440 (toysat) S 25435 25438 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31319512 1345916928 59191 33554432000 4194304 16246674 140735423644128 140373540183280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25438/tid=25441] ppid=25435 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25441/stat : 25441 (toysat) S 25435 25438 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31319512 1345916928 59191 33554432000 4194304 16246674 140735423644128 140373422763184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700397 s]
/proc/loadavg: 2.15 2.22 2.23 3/181 25438
/proc/meminfo: memFree=28802428/32872528 swapFree=1505436/1685308
[pid=25438] ppid=25435 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/25438/stat : 25438 (toysat) R 25435 25438 21389 0 -1 4202496 71741 0 0 0 58 11 0 0 20 0 4 0 31319512 1345916928 73062 33554432000 4194304 16246674 140735423644128 140735423627120 8058513 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25438/statm: 328593 73062 801 2943 0 325487 0
[pid=25438/tid=25439] ppid=25435 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25439/stat : 25439 (toysat) S 25435 25438 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31319512 1345916928 73062 33554432000 4194304 16246674 140735423644128 140373550673136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25438/tid=25440] ppid=25435 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25440/stat : 25440 (toysat) S 25435 25438 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31319512 1345916928 73062 33554432000 4194304 16246674 140735423644128 140373540183280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25438/tid=25441] ppid=25435 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25441/stat : 25441 (toysat) S 25435 25438 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31319512 1345916928 73062 33554432000 4194304 16246674 140735423644128 140373422763184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50041 s]
/proc/loadavg: 2.15 2.22 2.23 4/185 25442
/proc/meminfo: memFree=28467272/32872528 swapFree=1505436/1685308
[pid=25438] ppid=25435 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/25438/stat : 25438 (toysat) R 25435 25438 21389 0 -1 4202496 87914 0 0 0 135 14 0 0 20 0 4 0 31319512 1345916928 89235 33554432000 4194304 16246674 140735423644128 140735423627120 8058700 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25438/statm: 328593 89235 802 2943 0 325487 0
[pid=25438/tid=25439] ppid=25435 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25439/stat : 25439 (toysat) S 25435 25438 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31319512 1345916928 89235 33554432000 4194304 16246674 140735423644128 140373550673136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25438/tid=25440] ppid=25435 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25440/stat : 25440 (toysat) S 25435 25438 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31319512 1345916928 89235 33554432000 4194304 16246674 140735423644128 140373540183280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25438/tid=25441] ppid=25435 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25441/stat : 25441 (toysat) S 25435 25438 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31319512 1345916928 89235 33554432000 4194304 16246674 140735423644128 140373422763184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10035 s]
/proc/loadavg: 2.15 2.22 2.23 4/185 25442
/proc/meminfo: memFree=28394612/32872528 swapFree=1505436/1685308
[pid=25438] ppid=25435 vsize=1324612 CPUtime=3.08 cores=1,3,5,7
/proc/25438/stat : 25438 (toysat) R 25435 25438 21389 0 -1 4202496 116337 0 0 0 291 17 0 0 20 0 4 0 31319512 1356402688 117658 33554432000 4194304 16246674 140735423644128 140735423627120 4220480 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25438/statm: 331153 117658 802 2943 0 328047 0
[pid=25438/tid=25439] ppid=25435 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25439/stat : 25439 (toysat) S 25435 25438 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31319512 1356402688 117658 33554432000 4194304 16246674 140735423644128 140373550673136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25438/tid=25440] ppid=25435 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25440/stat : 25440 (toysat) S 25435 25438 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31319512 1356402688 117658 33554432000 4194304 16246674 140735423644128 140373540183280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25438/tid=25441] ppid=25435 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25441/stat : 25441 (toysat) S 25435 25438 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31319512 1356402688 117658 33554432000 4194304 16246674 140735423644128 140373422763184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1324612

[startup+6.30039 s]
/proc/loadavg: 2.21 2.23 2.23 3/185 25442
/proc/meminfo: memFree=27903340/32872528 swapFree=1505436/1685308
[pid=25438] ppid=25435 vsize=1373764 CPUtime=6.29 cores=1,3,5,7
/proc/25438/stat : 25438 (toysat) R 25435 25438 21389 0 -1 4202496 216688 0 0 0 597 32 0 0 20 0 4 0 31319512 1406734336 226185 33554432000 4194304 16246674 140735423644128 140735423627120 14073329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25438/statm: 343441 226185 802 2943 0 340335 0
[pid=25438/tid=25439] ppid=25435 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25439/stat : 25439 (toysat) S 25435 25438 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31319512 1406734336 226185 33554432000 4194304 16246674 140735423644128 140373550673136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25438/tid=25440] ppid=25435 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25440/stat : 25440 (toysat) S 25435 25438 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31319512 1406734336 226185 33554432000 4194304 16246674 140735423644128 140373540183280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25438/tid=25441] ppid=25435 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25441/stat : 25441 (toysat) S 25435 25438 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31319512 1406734336 226185 33554432000 4194304 16246674 140735423644128 140373422763184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1373764

[startup+12.7003 s]
/proc/loadavg: 2.20 2.23 2.23 3/185 25442
/proc/meminfo: memFree=27557532/32872528 swapFree=1505436/1685308
[pid=25438] ppid=25435 vsize=1478212 CPUtime=12.69 cores=1,3,5,7
/proc/25438/stat : 25438 (toysat) R 25435 25438 21389 0 -1 4202496 297919 0 0 0 1225 44 0 0 20 0 4 0 31319512 1513689088 311504 33554432000 4194304 16246674 140735423644128 140735423626048 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25438/statm: 369553 311504 848 2943 0 366447 0
[pid=25438/tid=25439] ppid=25435 vsize=1478212 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25439/stat : 25439 (toysat) S 25435 25438 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31319512 1513689088 311504 33554432000 4194304 16246674 140735423644128 140373550673136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25438/tid=25440] ppid=25435 vsize=1478212 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25440/stat : 25440 (toysat) S 25435 25438 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31319512 1513689088 311504 33554432000 4194304 16246674 140735423644128 140373540183280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25438/tid=25441] ppid=25435 vsize=1478212 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25441/stat : 25441 (toysat) S 25435 25438 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31319512 1513689088 311504 33554432000 4194304 16246674 140735423644128 140373422763184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1478212

[startup+25.5005 s]
/proc/loadavg: 2.15 2.21 2.23 3/185 25442
/proc/meminfo: memFree=26752664/32872528 swapFree=1505436/1685308
[pid=25438] ppid=25435 vsize=2282052 CPUtime=25.49 cores=1,3,5,7
/proc/25438/stat : 25438 (toysat) R 25435 25438 21389 0 -1 4202496 498882 0 0 0 2480 69 0 0 20 0 4 0 31319512 2336821248 512467 33554432000 4194304 16246674 140735423644128 140735423643304 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25438/statm: 570513 512467 848 2943 0 567407 0
[pid=25438/tid=25439] ppid=25435 vsize=2282052 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25439/stat : 25439 (toysat) S 25435 25438 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31319512 2336821248 512467 33554432000 4194304 16246674 140735423644128 140373550673136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25438/tid=25440] ppid=25435 vsize=2282052 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25440/stat : 25440 (toysat) S 25435 25438 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31319512 2336821248 512467 33554432000 4194304 16246674 140735423644128 140373540183280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25438/tid=25441] ppid=25435 vsize=2282052 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25441/stat : 25441 (toysat) S 25435 25438 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31319512 2336821248 512467 33554432000 4194304 16246674 140735423644128 140373422763184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2282052

[startup+51.1004 s]
/proc/loadavg: 2.18 2.21 2.23 3/185 25442
/proc/meminfo: memFree=26296132/32872528 swapFree=1505436/1685308
[pid=25438] ppid=25435 vsize=2737732 CPUtime=51.08 cores=1,3,5,7
/proc/25438/stat : 25438 (toysat) R 25435 25438 21389 0 -1 4202496 612845 0 0 0 5021 87 0 0 20 0 4 0 31319512 2803437568 626430 33554432000 4194304 16246674 140735423644128 140735423626048 5600136 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25438/statm: 684433 626430 890 2943 0 681327 0
[pid=25438/tid=25439] ppid=25435 vsize=2737732 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25439/stat : 25439 (toysat) S 25435 25438 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31319512 2803437568 626430 33554432000 4194304 16246674 140735423644128 140373550673136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25438/tid=25440] ppid=25435 vsize=2737732 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25440/stat : 25440 (toysat) S 25435 25438 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31319512 2803437568 626430 33554432000 4194304 16246674 140735423644128 140373540183280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25438/tid=25441] ppid=25435 vsize=2737732 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25441/stat : 25441 (toysat) S 25435 25438 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31319512 2803437568 626430 33554432000 4194304 16246674 140735423644128 140373422763184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2737732

[startup+102.3 s]
/proc/loadavg: 2.19 2.21 2.22 4/184 25443
/proc/meminfo: memFree=26296244/32872528 swapFree=1505436/1685308
[pid=25438] ppid=25435 vsize=2737732 CPUtime=102.28 cores=1,3,5,7
/proc/25438/stat : 25438 (toysat) R 25435 25438 21389 0 -1 4202496 612845 0 0 0 10141 87 0 0 20 0 4 0 31319512 2803437568 626430 33554432000 4194304 16246674 140735423644128 140735423626048 5717462 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25438/statm: 684433 626430 890 2943 0 681327 0
[pid=25438/tid=25439] ppid=25435 vsize=2737732 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25439/stat : 25439 (toysat) S 25435 25438 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31319512 2803437568 626430 33554432000 4194304 16246674 140735423644128 140373550673136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25438/tid=25440] ppid=25435 vsize=2737732 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25440/stat : 25440 (toysat) S 25435 25438 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31319512 2803437568 626430 33554432000 4194304 16246674 140735423644128 140373540183280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25438/tid=25441] ppid=25435 vsize=2737732 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25441/stat : 25441 (toysat) S 25435 25438 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31319512 2803437568 626430 33554432000 4194304 16246674 140735423644128 140373422763184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2737732


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

/proc/25438/task/25441/stat : 25441 (toysat) S 25435 25438 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31319512 2957578240 664069 33554432000 4194304 16246674 140735423644128 140373422763184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 2888260

[startup+1362.3 s]
/proc/loadavg: 2.21 2.21 2.22 4/185 25523
/proc/meminfo: memFree=26078508/32872528 swapFree=1505436/1685308
[pid=25438] ppid=25435 vsize=2922052 CPUtime=1362.02 cores=1,3,5,7
/proc/25438/stat : 25438 (toysat) R 25435 25438 21389 0 -1 4202496 659048 0 0 0 136076 126 0 0 20 0 4 0 31319512 2992181248 672517 33554432000 4194304 16246674 140735423644128 140735423643304 5827686 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25438/statm: 730513 672517 894 2943 0 727407 0
[pid=25438/tid=25439] ppid=25435 vsize=2922052 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25439/stat : 25439 (toysat) S 25435 25438 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31319512 2992181248 672517 33554432000 4194304 16246674 140735423644128 140373550673136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25438/tid=25440] ppid=25435 vsize=2922052 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25440/stat : 25440 (toysat) S 25435 25438 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31319512 2992181248 672517 33554432000 4194304 16246674 140735423644128 140373540183280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25438/tid=25441] ppid=25435 vsize=2922052 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25441/stat : 25441 (toysat) S 25435 25438 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31319512 2992181248 672517 33554432000 4194304 16246674 140735423644128 140373422763184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 2922052

[startup+1422.3 s]
/proc/loadavg: 2.21 2.20 2.21 3/185 25525
/proc/meminfo: memFree=26018172/32872528 swapFree=1505436/1685308
[pid=25438] ppid=25435 vsize=2982468 CPUtime=1422.02 cores=1,3,5,7
/proc/25438/stat : 25438 (toysat) R 25435 25438 21389 0 -1 4202496 674159 0 0 0 142069 133 0 0 20 0 4 0 31319512 3054047232 687621 33554432000 4194304 16246674 140735423644128 140735423626048 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25438/statm: 745617 687621 894 2943 0 742511 0
[pid=25438/tid=25439] ppid=25435 vsize=2982468 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25439/stat : 25439 (toysat) S 25435 25438 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31319512 3054047232 687621 33554432000 4194304 16246674 140735423644128 140373550673136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25438/tid=25440] ppid=25435 vsize=2982468 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25440/stat : 25440 (toysat) S 25435 25438 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31319512 3054047232 687621 33554432000 4194304 16246674 140735423644128 140373540183280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25438/tid=25441] ppid=25435 vsize=2982468 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25441/stat : 25441 (toysat) S 25435 25438 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31319512 3054047232 687621 33554432000 4194304 16246674 140735423644128 140373422763184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 2982468

[startup+1482.3 s]
/proc/loadavg: 2.17 2.19 2.20 3/185 25525
/proc/meminfo: memFree=25994912/32872528 swapFree=1505436/1685308
[pid=25438] ppid=25435 vsize=3006020 CPUtime=1481.99 cores=1,3,5,7
/proc/25438/stat : 25438 (toysat) R 25435 25438 21389 0 -1 4202496 679932 0 0 0 148061 138 0 0 20 0 4 0 31319512 3078164480 693380 33554432000 4194304 16246674 140735423644128 140735423626048 5553664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25438/statm: 751505 693380 894 2943 0 748399 0
[pid=25438/tid=25439] ppid=25435 vsize=3006020 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25439/stat : 25439 (toysat) S 25435 25438 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31319512 3078164480 693380 33554432000 4194304 16246674 140735423644128 140373550673136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25438/tid=25440] ppid=25435 vsize=3006020 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25440/stat : 25440 (toysat) S 25435 25438 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31319512 3078164480 693380 33554432000 4194304 16246674 140735423644128 140373540183280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25438/tid=25441] ppid=25435 vsize=3006020 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25441/stat : 25441 (toysat) S 25435 25438 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31319512 3078164480 693380 33554432000 4194304 16246674 140735423644128 140373422763184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 3006020

[startup+1542.31 s]
/proc/loadavg: 2.31 2.23 2.21 3/185 25528
/proc/meminfo: memFree=25974088/32872528 swapFree=1505436/1685308
[pid=25438] ppid=25435 vsize=3026500 CPUtime=1541.99 cores=1,3,5,7
/proc/25438/stat : 25438 (toysat) R 25435 25438 21389 0 -1 4202496 685187 0 0 0 154055 144 0 0 20 0 4 0 31319512 3099136000 698629 33554432000 4194304 16246674 140735423644128 140735423643304 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25438/statm: 756625 698629 894 2943 0 753519 0
[pid=25438/tid=25439] ppid=25435 vsize=3026500 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25439/stat : 25439 (toysat) S 25435 25438 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31319512 3099136000 698629 33554432000 4194304 16246674 140735423644128 140373550673136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25438/tid=25440] ppid=25435 vsize=3026500 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25440/stat : 25440 (toysat) S 25435 25438 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31319512 3099136000 698629 33554432000 4194304 16246674 140735423644128 140373540183280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25438/tid=25441] ppid=25435 vsize=3026500 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25441/stat : 25441 (toysat) S 25435 25438 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31319512 3099136000 698629 33554432000 4194304 16246674 140735423644128 140373422763184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 3026500

[startup+1602.3 s]
/proc/loadavg: 2.17 2.20 2.20 3/185 25528
/proc/meminfo: memFree=25935008/32872528 swapFree=1505436/1685308
[pid=25438] ppid=25435 vsize=3066436 CPUtime=1601.96 cores=1,3,5,7
/proc/25438/stat : 25438 (toysat) R 25435 25438 21389 0 -1 4202496 695021 0 0 0 160046 150 0 0 20 0 4 0 31319512 3140030464 708450 33554432000 4194304 16246674 140735423644128 140735423643304 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25438/statm: 766609 708450 894 2943 0 763503 0
[pid=25438/tid=25439] ppid=25435 vsize=3066436 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25439/stat : 25439 (toysat) S 25435 25438 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31319512 3140030464 708450 33554432000 4194304 16246674 140735423644128 140373550673136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25438/tid=25440] ppid=25435 vsize=3066436 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25440/stat : 25440 (toysat) S 25435 25438 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31319512 3140030464 708450 33554432000 4194304 16246674 140735423644128 140373540183280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25438/tid=25441] ppid=25435 vsize=3066436 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25441/stat : 25441 (toysat) S 25435 25438 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31319512 3140030464 708450 33554432000 4194304 16246674 140735423644128 140373422763184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 3066436

[startup+1662.3 s]
/proc/loadavg: 2.15 2.19 2.20 3/185 25529
/proc/meminfo: memFree=25904284/32872528 swapFree=1505436/1685308
[pid=25438] ppid=25435 vsize=3096132 CPUtime=1661.94 cores=1,3,5,7
/proc/25438/stat : 25438 (toysat) R 25435 25438 21389 0 -1 4202496 702629 0 0 0 166037 157 0 0 20 0 4 0 31319512 3170439168 716037 33554432000 4194304 16246674 140735423644128 140735423626048 12415720 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25438/statm: 774033 716037 894 2943 0 770927 0
[pid=25438/tid=25439] ppid=25435 vsize=3096132 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25439/stat : 25439 (toysat) S 25435 25438 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31319512 3170439168 716037 33554432000 4194304 16246674 140735423644128 140373550673136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25438/tid=25440] ppid=25435 vsize=3096132 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25440/stat : 25440 (toysat) S 25435 25438 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31319512 3170439168 716037 33554432000 4194304 16246674 140735423644128 140373540183280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25438/tid=25441] ppid=25435 vsize=3096132 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25441/stat : 25441 (toysat) S 25435 25438 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31319512 3170439168 716037 33554432000 4194304 16246674 140735423644128 140373422763184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 3096132

[startup+1722.3 s]
/proc/loadavg: 2.21 2.20 2.19 4/186 25533
/proc/meminfo: memFree=25880896/32872528 swapFree=1505436/1685308
[pid=25438] ppid=25435 vsize=3119684 CPUtime=1721.92 cores=1,3,5,7
/proc/25438/stat : 25438 (toysat) R 25435 25438 21389 0 -1 4202496 708426 0 0 0 172026 166 0 0 20 0 4 0 31319512 3194556416 721804 33554432000 4194304 16246674 140735423644128 140735423626048 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25438/statm: 779921 721804 894 2943 0 776815 0
[pid=25438/tid=25439] ppid=25435 vsize=3119684 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25439/stat : 25439 (toysat) S 25435 25438 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31319512 3194556416 721804 33554432000 4194304 16246674 140735423644128 140373550673136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25438/tid=25440] ppid=25435 vsize=3119684 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25440/stat : 25440 (toysat) S 25435 25438 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31319512 3194556416 721804 33554432000 4194304 16246674 140735423644128 140373540183280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25438/tid=25441] ppid=25435 vsize=3119684 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25441/stat : 25441 (toysat) S 25435 25438 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31319512 3194556416 721804 33554432000 4194304 16246674 140735423644128 140373422763184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 3119684

[startup+1782.3 s]
/proc/loadavg: 2.24 2.21 2.19 3/186 25557
/proc/meminfo: memFree=25854184/32872528 swapFree=1505436/1685308
[pid=25438] ppid=25435 vsize=3146308 CPUtime=1781.9 cores=1,3,5,7
/proc/25438/stat : 25438 (toysat) R 25435 25438 21389 0 -1 4202496 715071 0 0 0 178014 176 0 0 20 0 4 0 31319512 3221819392 728432 33554432000 4194304 16246674 140735423644128 140735423643304 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25438/statm: 786577 728432 894 2943 0 783471 0
[pid=25438/tid=25439] ppid=25435 vsize=3146308 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25439/stat : 25439 (toysat) S 25435 25438 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31319512 3221819392 728432 33554432000 4194304 16246674 140735423644128 140373550673136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25438/tid=25440] ppid=25435 vsize=3146308 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25440/stat : 25440 (toysat) S 25435 25438 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31319512 3221819392 728432 33554432000 4194304 16246674 140735423644128 140373540183280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25438/tid=25441] ppid=25435 vsize=3146308 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25441/stat : 25441 (toysat) S 25435 25438 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31319512 3221819392 728432 33554432000 4194304 16246674 140735423644128 140373422763184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 3146308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.24 2.21 2.19 3/185 25559
/proc/meminfo: memFree=25853284/32872528 swapFree=1505436/1685308
[pid=25438] ppid=25435 vsize=3146308 CPUtime=1800.09 cores=1,3,5,7
/proc/25438/stat : 25438 (toysat) R 25435 25438 21389 0 -1 4202496 715220 0 0 0 179827 182 0 0 20 0 4 0 31319512 3221819392 728581 33554432000 4194304 16246674 140735423644128 140735423643304 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25438/statm: 786577 728581 894 2943 0 783471 0
[pid=25438/tid=25439] ppid=25435 vsize=3146308 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25439/stat : 25439 (toysat) S 25435 25438 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31319512 3221819392 728581 33554432000 4194304 16246674 140735423644128 140373550673136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25438/tid=25440] ppid=25435 vsize=3146308 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25440/stat : 25440 (toysat) S 25435 25438 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31319512 3221819392 728581 33554432000 4194304 16246674 140735423644128 140373540183280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25438/tid=25441] ppid=25435 vsize=3146308 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25441/stat : 25441 (toysat) S 25435 25438 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31319512 3221819392 728581 33554432000 4194304 16246674 140735423644128 140373422763184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 3146308

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

[startup+1800.5 s]
/proc/loadavg: 2.24 2.21 2.19 3/185 25559
/proc/meminfo: memFree=25853284/32872528 swapFree=1505436/1685308
[pid=25438] ppid=25435 vsize=3146308 CPUtime=1800.09 cores=1,3,5,7
/proc/25438/stat : 25438 (toysat) R 25435 25438 21389 0 -1 4202496 715220 0 0 0 179827 182 0 0 20 0 4 0 31319512 3221819392 728581 33554432000 4194304 16246674 140735423644128 140735423643304 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25438/statm: 786577 728581 894 2943 0 783471 0
[pid=25438/tid=25439] ppid=25435 vsize=3146308 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25439/stat : 25439 (toysat) S 25435 25438 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31319512 3221819392 728581 33554432000 4194304 16246674 140735423644128 140373550673136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25438/tid=25440] ppid=25435 vsize=3146308 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25440/stat : 25440 (toysat) S 25435 25438 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31319512 3221819392 728581 33554432000 4194304 16246674 140735423644128 140373540183280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25438/tid=25441] ppid=25435 vsize=3146308 CPUtime=0 cores=1,3,5,7
/proc/25438/task/25441/stat : 25441 (toysat) S 25435 25438 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31319512 3221819392 728581 33554432000 4194304 16246674 140735423644128 140373422763184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 3146308

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.58
CPU time (s): 1800.18
CPU user time (s): 1798.28
CPU system time (s): 1.89671
CPU usage (%): 99.9777
Max. virtual memory (cumulated for all children) (KiB): 3146308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.28
system time used= 1.89671
maximum resident set size= 2914324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 715220
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= 349
involuntary context switches= 1970

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.77712 second user time and 7.49786 second system time

The end

Launcher Data 

Begin job on node135 at 2016-06-19 01:32:16
IDJOB=4108932
IDBENCH=89747
IDSOLVER=2542
FILE ID=node135/4108932-1466292735
RUNJOBID= node135-1466266561-21406
PBS_JOBID= 19918237
Free space on /tmp= 71636 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-147.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108932-1466292735/watcher-4108932-1466292735 -o /tmp/evaluation-result-4108932-1466292735/solver-4108932-1466292735 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21406 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108932-1466292735.opb

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

MD5SUM BENCH= 8c2053bb677dce90b85fb5832d9bc324
RANDOM SEED=1188203161

node135.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.004
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.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.004
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:        28802328 kB
Buffers:          174652 kB
Cached:           355820 kB
SwapCached:          716 kB
Active:          1308780 kB
Inactive:         330296 kB
Active(anon):    1109260 kB
Inactive(anon):     1848 kB
Active(file):     199520 kB
Inactive(file):   328448 kB
Unevictable:     1685308 kB
Mlocked:         1505436 kB
SwapTotal:      67108856 kB
SwapFree:       67100444 kB
Dirty:             59448 kB
Writeback:             0 kB
AnonPages:       2795668 kB
Mapped:            10848 kB
Shmem:                 0 kB
Slab:             609396 kB
SReclaimable:      53068 kB
SUnreclaim:       556328 kB
KernelStack:        1472 kB
PageTables:         9548 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2935900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1282048 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= 71628 MiB
End job on node135 at 2016-06-19 02:02:16