Trace number 4079375

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (MO) 1056.16 1056.44

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/MH+IC/
normalized-minisat25_4_7_1_mh_ic.opb
MD5SUM19509a32f8723d88252dcacb3db21725
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3623164
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables45775
Total number of constraints102733
Number of constraints which are clauses71450
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints31250
Minimum length of a constraint2
Maximum length of a constraint925
Number of terms in the objective function 17425
Biggest coefficient in the objective function 92345408
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 11614872417
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 92345408
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 11614872417
Number of bits of the biggest sum of numbers34
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-07T19:49:35+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079375-1465321774.opb"]
0.00/0.01	c use --random-gen="3998557039 1588963690 3786393346 2301553373 2573380115 1447856248 617105693 1092776382 1020487541 1328727777 1259412591 2668562729 1495677213 1256054364 139381642 3505037810 2803060780 2303498090 3345916197 2466349195 1336775181 3492857447 4129825284 4281512352 4167326999 2566346236 1858180533 1802173893 2688517900 288137792 930288988 3362425261 2088476419 2995433737 3271780492 413205219 1182313252 815058497 2957352753 4099648489 2623764173 1226752469 987155408 2768016586 1543018197 1887148292 4281350715 2861341766 975271394 2041460920 1626931448 2066359594 3147464342 1800435274 393149207 3267381740 1251698687 4267523700 1254147085 825012936 3066707555 1973848654 1384834862 3301681597 2169982916 3498040947 1245471573 1465015472 151054287 477561579 4077192636 1106316329 37731775 2120751279 4162369383 2926267396 4082106204 3454978464 840180401 1715622963 3170870165 1920631295 3181648871 1240034172 2329612622 2333248426 381339532 2884373631 1711886960 1258543999 4178781296 1098317494 145690127 1907928677 1541072013 1370442866 1868497981 3875901005 596518374 1354294454 2782353925 2043712694 189535067 854366934 427193893 3765876672 1067138723 1505567707 3575813064 805996873 2813939200 3210400840 1496876513 2450497956 1404345649 2892693784 1118091192 3850230140 883602520 2761919170 161788027 1728143627 532931514 2419198931 3910257728 1823474009 1859336703 3926951724 2926151574 1897822414 1057874181 771106567 2971668328 2872547051 2171257143 16416219 2185200578 2149863893 3938937205 1102362200 1668204206 2084611840 3305146575 1734211906 397601641 443710214 2626922030 3119126286 532377630 1196792053 4093004466 438403577 2638551408 576565688 2437255503 4056483013 3431337759 2444812136 4192374497 2674513054 2994306653 3508302270 2008549003 3753579142 912760746 32613348 3844060970 2308387558 922160911 4279524484 436122251 1202747670 2301311023 3504801047 2065931735 1739350070 3527890024 2791779498 1967975565 2372457476 2473296382 2619225346 351487141 3973748888 1607272656 70179973 1242077729 1168468247 1100012236 1542309033 864521108 1241847433 149658416 1356845305 789653972 3885190549 4079277403 268921711 2022609481 665995301 2153072297 2184972955 207525427 1285975367 912436161 2967639460 3141990766 2943516321 4274397042 3166055176 630065717 3780779596 423686739 3394729744 49474570 1147617312 4286305256 1595610245 3114075525 1303599464 130478505 1466510032 3144412869 804413983 3564120424 1804558362 4280610278 596046748 481116986 1346297986 505993230 2766617567 2743679500 3996691919 3589344132 2936438304 1285343109 1338526343 2867608437 1238021660 3045548370 526893177 3786063124 3721676823 2995725971 3728275051 1597804887 437981909 122217451 3791005715 3682824539 3081193170 2498691755 388191261 2302107209 1363669777 255 362436" option to reproduce the execution
0.69/0.75	c #vars 45775
0.69/0.75	c #constraints 102733
2.59/2.61	c BCD2: Hardening is enabled.
2.59/2.61	c BCD2: BiasedSearch is enabled.
2.59/2.61	c Solving starts ...
2.59/2.61	c ============================[ Search Statistics ]============================
2.59/2.61	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.59/2.61	c       |         |          |          |    Limit     GC | Var      | Constra 
2.59/2.61	c =============================================================================
2.59/2.62	c  0.0s |       0 |        0 |        0 |    50102      0 |      100 |        0
3.59/3.62	c  1.0s |       1 |      558 |      100 |    50102      0 |      100 |        0
4.39/4.45	c  1.8s |       2 |     1789 |      250 |    55113      0 |      100 |        0
6.49/6.57	c  4.0s |       2 |     2570 |      350 |    60625      0 |      100 |        0
8.89/8.93	c  6.3s |       3 |     3765 |      475 |    60625      0 |      100 |        0
10.99/11.03	c  8.4s |       3 |     4536 |      575 |    66688      0 |      100 |        0
15.39/15.47	c 12.9s |       3 |     5428 |      775 |    66688      0 |      100 |        0
16.49/16.58	c 14.0s |       4 |     5511 |      813 |    66688      0 |      100 |        0
18.69/18.72	c 16.1s |       4 |     5996 |      913 |    73357      0 |      100 |        0
23.19/23.27	c 20.7s |       4 |     7413 |     1113 |    73357      0 |      100 |        0
26.88/26.99	c 24.4s |       4 |     8776 |     1313 |    73357      0 |      100 |        0
27.18/27.20	c 24.6s |       5 |     8779 |     1320 |    73357      0 |      100 |        0
30.28/30.33	c 27.7s |       5 |     9571 |     1520 |    80693      0 |      100 |        0
35.19/35.25	c 32.6s |       5 |    11028 |     1720 |    80693      0 |      100 |        0
37.68/37.73	c 35.1s |       5 |    11738 |     1820 |    80693      0 |      100 |        0
40.28/40.32	c 37.7s |       5 |    12163 |     1920 |    80693      0 |      100 |        0
43.28/43.35	c 40.7s |       6 |    13828 |     2081 |    88763      0 |      100 |        0
45.68/45.71	c 43.1s |       6 |    14333 |     2181 |    88763      0 |      100 |        0
47.78/47.86	c 45.2s |       6 |    15055 |     2281 |    88763      0 |      100 |        0
52.18/52.21	c 49.6s |       6 |    16449 |     2481 |    88763      0 |      100 |        0
54.28/54.32	c 51.7s |       6 |    17102 |     2581 |    88763      0 |      100 |        0
58.39/58.45	c 55.8s |       6 |    18180 |     2781 |    88763      0 |      100 |        0
61.28/61.38	c 58.8s |       6 |    18981 |     2881 |    88763      0 |      100 |        0
63.58/63.67	c 61.1s |       6 |    19837 |     2981 |    88763      0 |      100 |        0
67.28/67.31	c 64.7s |       6 |    21215 |     3181 |    88763      0 |      100 |        0
68.18/68.28	c 65.7s |       7 |    21306 |     3223 |    97640      0 |      100 |        0
70.68/70.76	c 68.1s |       7 |    22115 |     3323 |    97640      0 |      100 |        0
72.78/72.89	c 70.3s |       7 |    22298 |     3423 |    97640      0 |      100 |        0
76.98/77.02	c 74.4s |       7 |    23738 |     3623 |    97640      0 |      100 |        0
79.97/80.01	c 77.4s |       7 |    24718 |     3723 |    97640      0 |      100 |        0
83.68/83.74	c 81.1s |       7 |    25902 |     3923 |    97640      0 |      100 |        0
85.78/85.90	c 83.3s |       7 |    26428 |     4023 |    97640      0 |      100 |        0
88.17/88.25	c 85.6s |       7 |    27010 |     4123 |    97640      0 |      100 |        0
91.28/91.33	c 88.7s |       7 |    27790 |     4223 |    97640      0 |      100 |        0
93.97/94.01	c 91.4s |       7 |    28529 |     4423 |    97640      0 |      100 |        0
96.26/96.34	c 93.7s |       7 |    28759 |     4523 |    97640      0 |      100 |        0
99.07/99.16	c 96.5s |       7 |    30068 |     4623 |    97640      0 |      100 |        0
101.66/101.71	c 99.1s |       7 |    31043 |     4723 |    97640      0 |      100 |        0
104.76/104.87	c  102s |       7 |    31820 |     4923 |   107405      0 |      100 |        0
105.16/105.20	c  102s |       8 |    31876 |     4936 |   107405      0 |      100 |        0
107.36/107.46	c  104s |       8 |    32565 |     5036 |   107405      0 |      100 |        0
111.26/111.32	c  108s |       8 |    33324 |     5236 |   107405      0 |      100 |        0
114.36/114.42	c  111s |       8 |    34701 |     5436 |   107405      0 |      100 |        0
116.76/116.87	c  114s |       8 |    35591 |     5536 |   107405      0 |      100 |        0
119.56/119.66	c  117s |       8 |    36419 |     5736 |   107405      0 |      100 |        0
122.66/122.72	c  120s |       8 |    38118 |     5936 |   107405      0 |      100 |        0
125.65/125.75	c  123s |       8 |    38699 |     6036 |   107405      0 |      100 |        0
129.05/129.15	c  126s |       8 |    39836 |     6336 |   107405      0 |      100 |        0
131.25/131.36	c  128s |       8 |    40556 |     6436 |   107405      0 |      100 |        0
134.75/134.80	c  132s |       8 |    41542 |     6636 |   107405      0 |      100 |        0
136.85/136.99	c  134s |       8 |    42023 |     6736 |   107405      0 |      100 |        0
140.86/140.99	c  138s |       8 |    42819 |     6936 |   107405      0 |      100 |        0
144.45/144.54	c  141s |       8 |    43594 |     7136 |   107405      0 |      100 |        0
148.25/148.33	c  145s |       8 |    44884 |     7336 |   107405      0 |      100 |        0
150.66/150.79	c  148s |       8 |    45339 |     7436 |   107405      0 |      100 |        0
151.65/151.75	c  149s |       9 |    45590 |     7506 |   118146      0 |      100 |        0
154.95/155.10	c  152s |       9 |    46615 |     7706 |   118146      0 |      100 |        0
157.65/157.71	c  155s |       9 |    46904 |     7806 |   118146      0 |      100 |        0
161.46/161.54	c  158s |       9 |    48157 |     8006 |   118146      0 |      100 |        0
163.76/163.81	c  161s |       9 |    49151 |     8106 |   118146      0 |      100 |        0
167.76/167.81	c  165s |       9 |    49994 |     8306 |   118146      0 |      100 |        0
169.76/169.85	c  167s |       9 |    50576 |     8406 |   118146      0 |      100 |        0
172.26/172.31	c  169s |       9 |    51120 |     8506 |   118146      0 |      100 |        0
175.86/175.97	c  173s |       9 |    52429 |     8706 |   118146      0 |      100 |        0
179.26/179.31	c  176s |       9 |    53556 |     8906 |   118146      0 |      100 |        0
182.45/182.57	c  179s |       9 |    54914 |     9106 |   118146      0 |      100 |        0
184.55/184.69	c  182s |       9 |    55477 |     9206 |   118146      0 |      100 |        0
188.06/188.11	c  185s |       9 |    56654 |     9406 |   118146      0 |      100 |        0
192.15/192.27	c  189s |       9 |    57767 |     9606 |   118146      0 |      100 |        0
194.25/194.30	c  191s |       9 |    58348 |     9706 |   118146      0 |      100 |        0
196.25/196.36	c  193s |       9 |    59239 |     9806 |   118146      0 |      100 |        0
199.35/199.41	c  196s |       9 |    60111 |    10006 |   118146      0 |      100 |        0
202.75/202.88	c  200s |       9 |    61001 |    10206 |   118146      0 |      100 |        0
205.76/205.87	c  203s |       9 |    62095 |    10406 |   118146      0 |      100 |        0
208.65/208.75	c  206s |       9 |    62956 |    10606 |   118146      0 |      100 |        0
212.55/212.68	c  210s |       9 |    64106 |    10806 |   118146      0 |      100 |        0
215.45/215.54	c  212s |       9 |    64878 |    11006 |   118146      0 |      100 |        0
218.05/218.19	c  215s |       9 |    65977 |    11206 |   118146      0 |      100 |        0
221.25/221.30	c  218s |      10 |    66832 |    11361 |   129961      0 |      100 |        0
224.75/224.89	c  222s |      10 |    68022 |    11561 |   129961      0 |      100 |        0
228.35/228.48	c  225s |      10 |    69353 |    11761 |   129961      0 |      100 |        0
231.95/232.03	c  229s |      10 |    70445 |    11961 |   129961      0 |      100 |        0
234.85/234.99	c  232s |      10 |    71432 |    12161 |   129961      0 |      100 |        0
237.74/237.83	c  235s |      10 |    72121 |    12361 |   129961      0 |      100 |        0
239.75/239.88	c  237s |      10 |    72409 |    12461 |   129961      0 |      100 |        0
242.84/242.99	c  240s |      10 |    72880 |    12661 |   129961      0 |      100 |        0
246.84/246.91	c  244s |      10 |    74160 |    12861 |   129961      0 |      100 |        0
248.94/249.00	c  246s |      10 |    74924 |    12961 |   129961      0 |      100 |        0
252.54/252.68	c  250s |      10 |    75989 |    13161 |   129961      0 |      100 |        0
256.74/256.81	c  254s |      10 |    76805 |    13361 |   129961      0 |      100 |        0
259.55/259.70	c  257s |      10 |    77257 |    13461 |   129961      0 |      100 |        0
263.24/263.37	c  260s |      10 |    78257 |    13661 |   129961      0 |      100 |        0
265.74/265.86	c  263s |      10 |    79307 |    13861 |   129961      0 |      100 |        0
269.24/269.38	c  266s |      10 |    80431 |    14061 |   129961      0 |      100 |        0
271.34/271.47	c  268s |      10 |    81331 |    14261 |   129961      0 |      100 |        0
274.04/274.14	c  271s |      10 |    82368 |    14461 |   129961      0 |      100 |        0
277.44/277.53	c  274s |      10 |    83419 |    14661 |   129961      0 |      100 |        0
279.64/279.73	c  277s |      10 |    84141 |    14761 |   129961      0 |      100 |        0
282.24/282.31	c  279s |      10 |    84943 |    14861 |   129961      0 |      100 |        0
284.24/284.32	c  281s |      10 |    85248 |    14961 |   129961      0 |      100 |        0
287.34/287.48	c  284s |      10 |    86100 |    15061 |   129961      0 |      100 |        0
290.23/290.38	c  287s |      10 |    86861 |    15161 |   129961      0 |      100 |        0
292.64/292.71	c  290s |      10 |    87833 |    15261 |   129961      0 |      100 |        0
294.93/295.06	c  292s |      10 |    88433 |    15361 |   129961      0 |      100 |        0
298.04/298.16	c  295s |      10 |    88947 |    15461 |   129961      0 |      100 |        0
300.43/300.53	c  297s |      10 |    89726 |    15761 |   129961      0 |      100 |        0
302.44/302.56	c  299s |      10 |    91754 |    16261 |   129961      0 |      100 |        0
304.74/304.82	c  302s |      10 |    93829 |    17061 |   142958      0 |      100 |        0
305.03/305.18	c  302s |      11 |    94000 |    17144 |   142958      0 |      100 |        0
307.43/307.50	c  304s |      11 |    96267 |    17744 |   142958      0 |      100 |        0
309.53/309.66	c  307s |      11 |    98172 |    18344 |   142958      0 |      100 |        0
312.03/312.11	c  309s |      11 |   100783 |    19044 |   142958      0 |      100 |        0
314.13/314.23	c  311s |      11 |   103192 |    19544 |   142958      0 |      100 |        0
316.13/316.26	c  313s |      11 |   104856 |    20244 |   142958      0 |      100 |        0
318.63/318.77	c  316s |      11 |   106616 |    20844 |   142958      0 |      100 |        0
320.73/320.80	c  318s |      11 |   108241 |    21344 |   142958      0 |      100 |        0
323.03/323.16	c  320s |      11 |   109788 |    21944 |   142958      0 |      100 |        0
325.13/325.28	c  322s |      11 |   111953 |    22444 |   142958      0 |      100 |        0
327.23/327.32	c  324s |      11 |   113228 |    22844 |   142958      0 |      100 |        0
329.33/329.48	c  326s |      11 |   114667 |    23344 |   142958      0 |      100 |        0
331.63/331.71	c  329s |      11 |   116478 |    23944 |   142958      0 |      100 |        0
333.73/333.89	c  331s |      11 |   117597 |    24344 |   142958      0 |      100 |        0
336.03/336.13	c  333s |      11 |   118310 |    24744 |   142958      0 |      100 |        0
338.63/338.78	c  336s |      11 |   119147 |    25144 |   142958      0 |      100 |        0
340.73/340.81	c  338s |      11 |   120281 |    25644 |   142958      0 |      100 |        0
341.33/341.48	c  338s |      12 |   120647 |    25819 |   157254      0 |      100 |        0
343.63/343.71	c  341s |      12 |   122104 |    26219 |   157254      0 |      100 |        0
346.12/346.21	c  343s |      12 |   123781 |    26819 |   157254      0 |      100 |        0
348.63/348.79	c  346s |      12 |   124745 |    27219 |   157254      0 |      100 |        0
350.93/351.07	c  348s |      12 |   125563 |    27619 |   157254      0 |      100 |        0
353.03/353.13	c  350s |      12 |   126168 |    27919 |   157254      0 |      100 |        0
355.02/355.17	c  352s |      12 |   128108 |    28519 |   157254      0 |      100 |        0
357.32/357.42	c  354s |      12 |   129755 |    29119 |   157254      0 |      100 |        0
359.73/359.83	c  357s |      12 |   131814 |    29719 |   157254      0 |      100 |        0
362.02/362.18	c  359s |      12 |   133574 |    30319 |   157254      0 |      100 |        0
364.42/364.57	c  361s |      12 |   134760 |    30819 |   157254      0 |      100 |        0
366.82/366.92	c  364s |      12 |   136649 |    31319 |   157254      0 |      100 |        0
369.32/369.41	c  366s |      12 |   138140 |    31719 |   157254      0 |      100 |        0
371.42/371.55	c  368s |      12 |   139966 |    32219 |   157254      0 |      100 |        0
373.52/373.68	c  371s |      12 |   140958 |    32619 |   157254      0 |      100 |        0
376.92/377.01	c  374s |      12 |   142308 |    33019 |   157254      0 |      100 |        0
379.12/379.21	c  376s |      12 |   142714 |    33119 |   157254      0 |      100 |        0
381.22/381.32	c  378s |      12 |   143382 |    33219 |   157254      0 |      100 |        0
384.93/385.09	c  382s |      12 |   144678 |    33419 |   157254      0 |      100 |        0
387.02/387.15	c  384s |      12 |   145138 |    33519 |   157254      0 |      100 |        0
390.32/390.49	c  387s |      12 |   145473 |    33619 |   157254      0 |      100 |        0
393.22/393.38	c  390s |      12 |   145998 |    33719 |   157254      0 |      100 |        0
396.31/396.42	c  393s |      12 |   146262 |    33819 |   157254      0 |      100 |        0
399.22/399.39	c  396s |      12 |   146526 |    33919 |   157254      0 |      100 |        0
401.31/401.44	c  398s |      12 |   147006 |    34019 |   157254      0 |      100 |        0
403.81/403.91	c  401s |      12 |   147780 |    34119 |   157254      0 |      100 |        0
407.71/407.86	c  405s |      12 |   148189 |    34219 |   157254      0 |      100 |        0
410.22/410.31	c  407s |      12 |   148979 |    34519 |   157254      0 |      100 |        0
412.52/412.62	c  410s |      12 |   150666 |    35019 |   157254      0 |      100 |        0
414.81/414.93	c  412s |      12 |   152356 |    35619 |   157254      0 |      100 |        0
417.01/417.11	c  414s |      12 |   153529 |    36119 |   157254      0 |      100 |        0
419.41/419.59	c  416s |      12 |   155364 |    36619 |   157254      0 |      100 |        0
421.61/421.77	c  419s |      12 |   156493 |    37019 |   157254      0 |      100 |        0
424.01/424.17	c  421s |      12 |   157526 |    37419 |   157254      0 |      100 |        0
426.50/426.62	c  424s |      12 |   158343 |    37819 |   157254      0 |      100 |        0
429.01/429.18	c  426s |      12 |   159619 |    38319 |   157254      0 |      100 |        0
431.60/431.71	c  429s |      12 |   160550 |    38719 |   172980      0 |      100 |        0
432.40/432.56	c  429s |      13 |   160710 |    38832 |   172980      0 |      100 |        0
434.60/434.78	c  432s |      13 |   161758 |    39232 |   172980      0 |      100 |        0
436.71/436.84	c  434s |      13 |   162633 |    39632 |   172980      0 |      100 |        0
438.81/438.96	c  436s |      13 |   163706 |    40132 |   172980      0 |      100 |        0
441.01/441.18	c  438s |      13 |   165006 |    40532 |   172980      0 |      100 |        0
443.20/443.38	c  440s |      13 |   165590 |    40832 |   172980      0 |      100 |        0
445.89/446.02	c  443s |      13 |   166437 |    41232 |   172980      0 |      100 |        0
448.09/448.25	c  445s |      13 |   167421 |    41632 |   172980      0 |      100 |        0
450.29/450.42	c  447s |      13 |   169004 |    42332 |   172980      0 |      100 |        0
452.59/452.77	c  450s |      13 |   170222 |    42932 |   172980      0 |      100 |        0
454.59/454.78	c  452s |      13 |   171466 |    43432 |   172980      0 |      100 |        0
456.69/456.89	c  454s |      13 |   173076 |    43932 |   172980      0 |      100 |        0
458.79/458.99	c  456s |      13 |   174525 |    44432 |   172980      0 |      100 |        0
460.99/461.18	c  458s |      13 |   176671 |    45232 |   172980      0 |      100 |        0
463.19/463.36	c  460s |      13 |   178510 |    45832 |   172980      0 |      100 |        0
465.48/465.60	c  462s |      13 |   180165 |    46432 |   172980      0 |      100 |        0
467.78/467.94	c  465s |      13 |   181658 |    47032 |   172980      0 |      100 |        0
469.78/469.97	c  467s |      13 |   183411 |    47532 |   172980      0 |      100 |        0
471.98/472.10	c  469s |      13 |   184488 |    48032 |   172980      0 |      100 |        0
473.99/474.18	c  471s |      13 |   186295 |    48632 |   172980      0 |      100 |        0
476.18/476.33	c  473s |      13 |   187593 |    49232 |   172980      0 |      100 |        0
478.17/478.38	c  475s |      13 |   188710 |    49732 |   172980      0 |      100 |        0
480.58/480.73	c  478s |      13 |   189997 |    50232 |   172980      0 |      100 |        0
482.57/482.77	c  480s |      13 |   190893 |    50732 |   172980      0 |      100 |        0
485.08/485.26	c  482s |      13 |   192165 |    51232 |   172980      0 |      100 |        0
487.18/487.36	c  484s |      13 |   193618 |    51632 |   172980      0 |      100 |        0
489.17/489.37	c  486s |      13 |   194583 |    52032 |   172980      0 |      100 |        0
491.47/491.67	c  489s |      13 |   195929 |    52432 |   172980      0 |      100 |        0
493.77/494.00	c  491s |      13 |   196607 |    52832 |   172980      0 |      100 |        0
496.16/496.33	c  493s |      13 |   197479 |    53332 |   172980      0 |      100 |        0
498.66/498.80	c  496s |      13 |   199282 |    53832 |   172980      0 |      100 |        0
500.76/500.92	c  498s |      13 |   200378 |    54232 |   172980      0 |      100 |        0
503.26/503.41	c  500s |      13 |   201675 |    54732 |   172980      0 |      100 |        0
505.46/505.64	c  503s |      13 |   202680 |    55132 |   172980      0 |      100 |        0
507.76/507.96	c  505s |      13 |   203665 |    55532 |   172980      0 |      100 |        0
509.96/510.12	c  507s |      13 |   205226 |    56132 |   172980      0 |      100 |        0
511.96/512.14	c  509s |      13 |   207073 |    56632 |   172980      0 |      100 |        0
514.16/514.38	c  511s |      13 |   208331 |    57132 |   172980      0 |      100 |        0
516.56/516.79	c  514s |      13 |   209896 |    57632 |   172980      0 |      100 |        0
519.35/519.51	c  516s |      13 |   211277 |    58032 |   190279      0 |      100 |        0
521.26/521.47	c  518s |      14 |   212063 |    58352 |   190279      0 |      100 |        0
523.65/523.80	c  521s |      14 |   213173 |    58752 |   190279      0 |      100 |        0
526.05/526.29	c  523s |      14 |   214552 |    59252 |   190279      0 |      100 |        0
528.25/528.48	c  525s |      14 |   215490 |    59652 |   190279      0 |      100 |        0
530.95/531.17	c  528s |      14 |   217351 |    60152 |   190279      0 |      100 |        0
533.15/533.38	c  530s |      14 |   218475 |    60552 |   190279      0 |      100 |        0
535.25/535.47	c  532s |      14 |   219862 |    60952 |   190279      0 |      100 |        0
537.55/537.72	c  535s |      14 |   221394 |    61452 |   190279      0 |      100 |        0
539.65/539.89	c  537s |      14 |   222866 |    61852 |   190279      0 |      100 |        0
541.74/541.97	c  539s |      14 |   224243 |    62252 |   190279      0 |      100 |        0
544.04/544.26	c  541s |      14 |   225755 |    62752 |   190279      0 |      100 |        0
546.65/546.82	c  544s |      14 |   227210 |    63252 |   190279      0 |      100 |        0
549.04/549.28	c  546s |      14 |   228519 |    63652 |   190279      0 |      100 |        0
551.14/551.31	c  548s |      14 |   229299 |    64052 |   190279      0 |      100 |        0
553.34/553.57	c  550s |      14 |   230204 |    64452 |   190279      0 |      100 |        0
555.44/555.64	c  553s |      14 |   231124 |    64852 |   190279      0 |      100 |        0
557.64/557.86	c  555s |      14 |   232177 |    65252 |   190279      0 |      100 |        0
559.74/559.99	c  557s |      14 |   233062 |    65652 |   190279      0 |      100 |        0
562.04/562.21	c  559s |      14 |   233750 |    66052 |   190279      0 |      100 |        0
564.04/564.21	c  561s |      14 |   234238 |    66352 |   190279      0 |      100 |        0
566.34/566.56	c  563s |      14 |   236107 |    66852 |   190279      0 |      100 |        0
569.23/569.41	c  566s |      14 |   237325 |    67352 |   190279      0 |      100 |        0
571.23/571.49	c  568s |      14 |   239027 |    67852 |   190279      0 |      100 |        0
573.43/573.68	c  571s |      14 |   240000 |    68252 |   190279      0 |      100 |        0
575.93/576.15	c  573s |      14 |   241243 |    68752 |   190279      0 |      100 |        0
578.54/578.73	c  576s |      14 |   242459 |    69252 |   190279      0 |      100 |        0
580.83/581.02	c  578s |      14 |   243833 |    69752 |   190279      0 |      100 |        0
583.53/583.79	c  581s |      14 |   245193 |    70152 |   190279      0 |      100 |        0
586.23/586.49	c  583s |      14 |   245961 |    70552 |   190279      0 |      100 |        0
588.83/589.06	c  586s |      14 |   246680 |    70952 |   190279      0 |      100 |        0
590.83/591.09	c  588s |      14 |   247934 |    71352 |   190279      0 |      100 |        0
593.33/593.59	c  590s |      14 |   248688 |    71752 |   190279      0 |      100 |        0
595.52/595.71	c  593s |      14 |   249287 |    72052 |   190279      0 |      100 |        0
598.12/598.39	c  595s |      14 |   250216 |    72452 |   190279      0 |      100 |        0
600.32/600.50	c  597s |      14 |   250915 |    72752 |   190279      0 |      100 |        0
602.63/602.81	c  600s |      14 |   251444 |    73052 |   190279      0 |      100 |        0
604.62/604.81	c  602s |      14 |   252241 |    73452 |   190279      0 |      100 |        0
606.92/607.17	c  604s |      14 |   253207 |    73952 |   190279      0 |      100 |        0
609.42/609.60	c  606s |      14 |   254050 |    74452 |   190279      0 |      100 |        0
611.82/612.00	c  609s |      14 |   255102 |    74952 |   190279      0 |      100 |        0
613.82/614.01	c  611s |      14 |   255719 |    75352 |   190279      0 |      100 |        0
616.42/616.64	c  614s |      14 |   256658 |    75752 |   190279      0 |      100 |        0
619.01/619.23	c  616s |      14 |   257468 |    76252 |   190279      0 |      100 |        0
621.21/621.43	c  618s |      14 |   258093 |    76552 |   190279      0 |      100 |        0
623.71/623.92	c  621s |      14 |   258856 |    76952 |   190279      0 |      100 |        0
626.31/626.55	c  623s |      14 |   259746 |    77352 |   190279      0 |      100 |        0
628.51/628.79	c  626s |      14 |   260310 |    77652 |   190279      0 |      100 |        0
630.71/630.91	c  628s |      14 |   260855 |    77952 |   190279      0 |      100 |        0
631.41/631.61	c  629s |      14 |   261360 |    78062 |   190279      0 |      100 |        0
631.41/631.61	c #cpu_time = 627.260s
631.41/631.61	c #wall_clock_time = 628.957s
631.41/631.61	c #decision = 261360
631.41/631.61	c #random_decision = 285
631.41/631.61	c #conflict = 78062
631.41/631.61	c #restart = 14
631.41/631.61	o 240045054
697.59/697.89	c BCD2: updating upper bound: 11614872417 -> 240045078
758.29/758.53	c BCD2: 0 <= obj <= 240045078
758.29/758.53	c BCD2: #cores=0, #unrelaxed=17425, #relaxed=0, #hardened=0
758.29/758.53	c BCD2: #sat=1 #unsat=1 bias=1/2
758.29/758.53	c Solving starts ...
758.29/758.53	c ============================[ Search Statistics ]============================
758.29/758.53	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
758.29/758.53	c       |         |          |          |    Limit     GC | Var      | Constra 
758.29/758.53	c =============================================================================
758.29/758.53	c  0.0s |       0 |        0 |        0 |   190279      0 |      100 |        0
758.79/759.03	c  0.5s |       0 |      274 |        0 |   190279      0 |      100 |        0
758.79/759.03	c #cpu_time = 0.479s
758.79/759.03	c #wall_clock_time = 0.480s
758.79/759.03	c #decision = 274
758.79/759.03	c #random_decision = 0
758.79/759.03	c #conflict = 0
758.79/759.03	c #restart = 0
758.79/759.04	c BCD2: found a new core of size 275: cost of the new core is >=3375
758.79/759.04	c lower bound updated to 3350
823.16/823.48	c BCD2: 3375 <= obj <= 240045078
823.16/823.48	c BCD2: #cores=1, #unrelaxed=17150, #relaxed=275, #hardened=0
823.16/823.48	c BCD2: #sat=1 #unsat=2 bias=2/3
1055.32/1055.60	toysat: out of memory (requested 1048576 bytes)

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

pid=20696
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.11 2.20 2.18 3/170 20700
/proc/meminfo: memFree=29576080/32872528 swapFree=16636/1570076
[pid=20700] ppid=20696 vsize=667204 CPUtime=0 cores=1,3,5,7
/proc/20700/stat : 20700 (toysat) R 20696 20700 2168 0 -1 4202496 2475 0 0 0 0 0 0 0 20 0 4 0 114109827 683216896 3348 33554432000 4194304 16246674 140736858422208 140736858421632 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20700/statm: 167313 3357 442 2943 0 164207 0
[pid=20700/tid=20701] ppid=20696 vsize=684612 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20701/stat : 20701 (toysat) S 20696 20700 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114109827 701042688 3417 33554432000 4194304 16246674 140736858422208 139732260465904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20700/tid=20702] ppid=20696 vsize=688708 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20702/stat : 20702 (toysat) S 20696 20700 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109827 705236992 3435 33554432000 4194304 16246674 140736858422208 139732249976048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20700/tid=20703] ppid=20696 vsize=692804 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20703/stat : 20703 (toysat) S 20696 20700 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114109827 709431296 3450 33554432000 4194304 16246674 140736858422208 139732130458800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 2.11 2.20 2.18 3/170 20700
/proc/meminfo: memFree=29576080/32872528 swapFree=16636/1570076
[pid=20700] ppid=20696 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/20700/stat : 20700 (toysat) R 20696 20700 2168 0 -1 4202496 31307 0 0 0 5 4 0 0 20 0 4 0 114109827 1334382592 32118 33554432000 4194304 16246674 140736858422208 140736858421520 7371468 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20700/statm: 325777 32135 801 2943 0 322671 0
[pid=20700/tid=20701] ppid=20696 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20701/stat : 20701 (toysat) S 20696 20700 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114109827 1334382592 32145 33554432000 4194304 16246674 140736858422208 139732260465904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20700/tid=20702] ppid=20696 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20702/stat : 20702 (toysat) S 20696 20700 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109827 1334382592 32156 33554432000 4194304 16246674 140736858422208 139732249976048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20700/tid=20703] ppid=20696 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20703/stat : 20703 (toysat) S 20696 20700 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114109827 1334382592 32167 33554432000 4194304 16246674 140736858422208 139732130458800 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) 1303108

[startup+0.200483 s]
/proc/loadavg: 2.11 2.20 2.18 3/170 20700
/proc/meminfo: memFree=29576080/32872528 swapFree=16636/1570076
[pid=20700] ppid=20696 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/20700/stat : 20700 (toysat) R 20696 20700 2168 0 -1 4202496 44122 0 0 0 12 7 0 0 20 0 4 0 114109827 1344868352 45443 33554432000 4194304 16246674 140736858422208 140736858421520 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20700/statm: 328337 45443 802 2943 0 325231 0
[pid=20700/tid=20701] ppid=20696 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20701/stat : 20701 (toysat) S 20696 20700 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114109827 1344868352 45443 33554432000 4194304 16246674 140736858422208 139732260465904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20700/tid=20702] ppid=20696 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20702/stat : 20702 (toysat) S 20696 20700 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109827 1344868352 45443 33554432000 4194304 16246674 140736858422208 139732249976048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20700/tid=20703] ppid=20696 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20703/stat : 20703 (toysat) S 20696 20700 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114109827 1344868352 45443 33554432000 4194304 16246674 140736858422208 139732130458800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300437 s]
/proc/loadavg: 2.11 2.20 2.18 3/170 20700
/proc/meminfo: memFree=29576080/32872528 swapFree=16636/1570076
[pid=20700] ppid=20696 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/20700/stat : 20700 (toysat) R 20696 20700 2168 0 -1 4202496 55961 0 0 0 20 9 0 0 20 0 4 0 114109827 1344868352 57282 33554432000 4194304 16246674 140736858422208 140736858421520 4220807 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20700/statm: 328337 57282 802 2943 0 325231 0
[pid=20700/tid=20701] ppid=20696 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20701/stat : 20701 (toysat) S 20696 20700 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114109827 1344868352 57282 33554432000 4194304 16246674 140736858422208 139732260465904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20700/tid=20702] ppid=20696 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20702/stat : 20702 (toysat) S 20696 20700 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109827 1344868352 57282 33554432000 4194304 16246674 140736858422208 139732249976048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20700/tid=20703] ppid=20696 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20703/stat : 20703 (toysat) S 20696 20700 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114109827 1344868352 57282 33554432000 4194304 16246674 140736858422208 139732130458800 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) 1313348

[startup+0.70037 s]
/proc/loadavg: 2.11 2.20 2.18 3/170 20700
/proc/meminfo: memFree=29576080/32872528 swapFree=16636/1570076
[pid=20700] ppid=20696 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/20700/stat : 20700 (toysat) R 20696 20700 2168 0 -1 4202496 68399 0 0 0 58 11 0 0 20 0 4 0 114109827 1344868352 69720 33554432000 4194304 16246674 140736858422208 140736858405200 8058916 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20700/statm: 328337 69720 803 2943 0 325231 0
[pid=20700/tid=20701] ppid=20696 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20701/stat : 20701 (toysat) S 20696 20700 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114109827 1344868352 69720 33554432000 4194304 16246674 140736858422208 139732260465904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20700/tid=20702] ppid=20696 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20702/stat : 20702 (toysat) S 20696 20700 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109827 1344868352 69720 33554432000 4194304 16246674 140736858422208 139732249976048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20700/tid=20703] ppid=20696 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20703/stat : 20703 (toysat) S 20696 20700 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114109827 1344868352 69720 33554432000 4194304 16246674 140736858422208 139732130458800 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) 1313348

[startup+1.50041 s]
/proc/loadavg: 2.11 2.20 2.18 4/176 20725
/proc/meminfo: memFree=29305232/32872528 swapFree=16636/1570076
[pid=20700] ppid=20696 vsize=1318468 CPUtime=1.49 cores=1,3,5,7
/proc/20700/stat : 20700 (toysat) R 20696 20700 2168 0 -1 4202496 174369 0 0 0 122 27 0 0 20 0 4 0 114109827 1350111232 175690 33554432000 4194304 16246674 140736858422208 140736858404096 13954914 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20700/statm: 329617 175705 841 2943 0 326511 0
[pid=20700/tid=20701] ppid=20696 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20701/stat : 20701 (toysat) S 20696 20700 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114109827 1350111232 175713 33554432000 4194304 16246674 140736858422208 139732260465904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20700/tid=20702] ppid=20696 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20702/stat : 20702 (toysat) S 20696 20700 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109827 1350111232 175721 33554432000 4194304 16246674 140736858422208 139732249976048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20700/tid=20703] ppid=20696 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20703/stat : 20703 (toysat) S 20696 20700 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114109827 1350111232 175735 33554432000 4194304 16246674 140736858422208 139732130458800 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) 1318468

[startup+3.10043 s]
/proc/loadavg: 2.11 2.20 2.18 4/183 20739
/proc/meminfo: memFree=28326684/32872528 swapFree=16636/1570076
[pid=20700] ppid=20696 vsize=1328708 CPUtime=3.09 cores=1,3,5,7
/proc/20700/stat : 20700 (toysat) R 20696 20700 2168 0 -1 4202496 272853 0 0 0 265 44 0 0 20 0 4 0 114109827 1360596992 274174 33554432000 4194304 16246674 140736858422208 140736858404096 5675732 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20700/statm: 332177 274174 892 2943 0 329071 0
[pid=20700/tid=20701] ppid=20696 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20701/stat : 20701 (toysat) S 20696 20700 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114109827 1360596992 274174 33554432000 4194304 16246674 140736858422208 139732260465904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20700/tid=20702] ppid=20696 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20702/stat : 20702 (toysat) S 20696 20700 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109827 1360596992 274174 33554432000 4194304 16246674 140736858422208 139732249976048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20700/tid=20703] ppid=20696 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20703/stat : 20703 (toysat) S 20696 20700 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114109827 1360596992 274174 33554432000 4194304 16246674 140736858422208 139732130458800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1328708

[startup+6.30042 s]
/proc/loadavg: 2.26 2.23 2.19 3/183 20739
/proc/meminfo: memFree=27882856/32872528 swapFree=16636/1570076
[pid=20700] ppid=20696 vsize=1328708 CPUtime=6.29 cores=1,3,5,7
/proc/20700/stat : 20700 (toysat) R 20696 20700 2168 0 -1 4202496 272858 0 0 0 585 44 0 0 20 0 4 0 114109827 1360596992 274179 33554432000 4194304 16246674 140736858422208 140736858404096 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20700/statm: 332177 274179 896 2943 0 329071 0
[pid=20700/tid=20701] ppid=20696 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20701/stat : 20701 (toysat) S 20696 20700 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114109827 1360596992 274179 33554432000 4194304 16246674 140736858422208 139732260465904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20700/tid=20702] ppid=20696 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20702/stat : 20702 (toysat) S 20696 20700 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109827 1360596992 274179 33554432000 4194304 16246674 140736858422208 139732249976048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20700/tid=20703] ppid=20696 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20703/stat : 20703 (toysat) S 20696 20700 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114109827 1360596992 274179 33554432000 4194304 16246674 140736858422208 139732130458800 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) 1328708

[startup+12.7004 s]
/proc/loadavg: 2.24 2.23 2.18 4/183 20739
/proc/meminfo: memFree=27383080/32872528 swapFree=16636/1570076
[pid=20700] ppid=20696 vsize=1328708 CPUtime=12.69 cores=1,3,5,7
/proc/20700/stat : 20700 (toysat) R 20696 20700 2168 0 -1 4202496 272858 0 0 0 1225 44 0 0 20 0 4 0 114109827 1360596992 274179 33554432000 4194304 16246674 140736858422208 140736858404096 12483524 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20700/statm: 332177 274179 896 2943 0 329071 0
[pid=20700/tid=20701] ppid=20696 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20701/stat : 20701 (toysat) S 20696 20700 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114109827 1360596992 274179 33554432000 4194304 16246674 140736858422208 139732260465904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20700/tid=20702] ppid=20696 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20702/stat : 20702 (toysat) S 20696 20700 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109827 1360596992 274179 33554432000 4194304 16246674 140736858422208 139732249976048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20700/tid=20703] ppid=20696 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20703/stat : 20703 (toysat) S 20696 20700 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114109827 1360596992 274179 33554432000 4194304 16246674 140736858422208 139732130458800 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) 1328708

[startup+25.5005 s]
/proc/loadavg: 2.18 2.22 2.18 3/183 20739
/proc/meminfo: memFree=26595924/32872528 swapFree=16636/1570076
[pid=20700] ppid=20696 vsize=1328708 CPUtime=25.48 cores=1,3,5,7
/proc/20700/stat : 20700 (toysat) R 20696 20700 2168 0 -1 4202496 272858 0 0 0 2504 44 0 0 20 0 4 0 114109827 1360596992 274179 33554432000 4194304 16246674 140736858422208 140736858404096 5674844 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20700/statm: 332177 274179 896 2943 0 329071 0
[pid=20700/tid=20701] ppid=20696 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20701/stat : 20701 (toysat) S 20696 20700 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114109827 1360596992 274179 33554432000 4194304 16246674 140736858422208 139732260465904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20700/tid=20702] ppid=20696 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20702/stat : 20702 (toysat) S 20696 20700 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109827 1360596992 274179 33554432000 4194304 16246674 140736858422208 139732249976048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20700/tid=20703] ppid=20696 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20703/stat : 20703 (toysat) S 20696 20700 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114109827 1360596992 274179 33554432000 4194304 16246674 140736858422208 139732130458800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1328708

[startup+51.1005 s]
/proc/loadavg: 2.34 2.25 2.19 3/184 20742
/proc/meminfo: memFree=26400372/32872528 swapFree=16636/1570076
[pid=20700] ppid=20696 vsize=1328708 CPUtime=51.08 cores=1,3,5,7
/proc/20700/stat : 20700 (toysat) R 20696 20700 2168 0 -1 4202496 272858 0 0 0 5064 44 0 0 20 0 4 0 114109827 1360596992 274179 33554432000 4194304 16246674 140736858422208 140736858404096 5659504 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20700/statm: 332177 274179 896 2943 0 329071 0
[pid=20700/tid=20701] ppid=20696 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20701/stat : 20701 (toysat) S 20696 20700 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114109827 1360596992 274179 33554432000 4194304 16246674 140736858422208 139732260465904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20700/tid=20702] ppid=20696 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20702/stat : 20702 (toysat) S 20696 20700 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109827 1360596992 274179 33554432000 4194304 16246674 140736858422208 139732249976048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20700/tid=20703] ppid=20696 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20703/stat : 20703 (toysat) S 20696 20700 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114109827 1360596992 274179 33554432000 4194304 16246674 140736858422208 139732130458800 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) 1328708

[startup+102.301 s]
/proc/loadavg: 2.31 2.25 2.19 3/183 20743
/proc/meminfo: memFree=26258904/32872528 swapFree=16636/1570076
[pid=20700] ppid=20696 vsize=1328708 CPUtime=102.27 cores=1,3,5,7
/proc/20700/stat : 20700 (toysat) R 20696 20700 2168 0 -1 4202496 272868 0 0 0 10183 44 0 0 20 0 4 0 114109827 1360596992 274179 33554432000 4194304 16246674 140736858422208 140736858404096 5601651 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20700/statm: 332177 274179 896 2943 0 329071 0
[pid=20700/tid=20701] ppid=20696 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20701/stat : 20701 (toysat) S 20696 20700 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114109827 1360596992 274179 33554432000 4194304 16246674 140736858422208 139732260465904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20700/tid=20702] ppid=20696 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20702/stat : 20702 (toysat) S 20696 20700 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109827 1360596992 274179 33554432000 4194304 16246674 140736858422208 139732249976048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20700/tid=20703] ppid=20696 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20703/stat : 20703 (toysat) S 20696 20700 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114109827 1360596992 274179 33554432000 4194304 16246674 140736858422208 139732130458800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1328708


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

[pid=20700] ppid=20696 vsize=1328708 CPUtime=582.13 cores=1,3,5,7
/proc/20700/stat : 20700 (toysat) R 20696 20700 2168 0 -1 4202496 272987 0 0 0 58168 45 0 0 20 0 4 0 114109827 1360596992 274179 33554432000 4194304 16246674 140736858422208 140736858404096 5722960 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20700/statm: 332177 274179 896 2943 0 329071 0
[pid=20700/tid=20701] ppid=20696 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20701/stat : 20701 (toysat) S 20696 20700 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114109827 1360596992 274179 33554432000 4194304 16246674 140736858422208 139732260465904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20700/tid=20702] ppid=20696 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20702/stat : 20702 (toysat) S 20696 20700 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109827 1360596992 274179 33554432000 4194304 16246674 140736858422208 139732249976048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20700/tid=20703] ppid=20696 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20703/stat : 20703 (toysat) S 20696 20700 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114109827 1360596992 274179 33554432000 4194304 16246674 140736858422208 139732130458800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1328708

[startup+642.3 s]
/proc/loadavg: 2.28 2.23 2.19 3/184 20757
/proc/meminfo: memFree=25292720/32872528 swapFree=16636/1570076
[pid=20700] ppid=20696 vsize=2291268 CPUtime=642.11 cores=1,3,5,7
/proc/20700/stat : 20700 (toysat) R 20696 20700 2168 0 -1 4202496 513657 0 0 0 64134 77 0 0 20 0 4 0 114109827 2346258432 514828 33554432000 4194304 16246674 140736858422208 140736858420032 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20700/statm: 572817 514828 905 2943 0 569711 0
[pid=20700/tid=20701] ppid=20696 vsize=2291268 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20701/stat : 20701 (toysat) S 20696 20700 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114109827 2346258432 514828 33554432000 4194304 16246674 140736858422208 139732260465904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20700/tid=20702] ppid=20696 vsize=2291268 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20702/stat : 20702 (toysat) S 20696 20700 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109827 2346258432 514828 33554432000 4194304 16246674 140736858422208 139732249976048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20700/tid=20703] ppid=20696 vsize=2291268 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20703/stat : 20703 (toysat) S 20696 20700 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114109827 2346258432 514828 33554432000 4194304 16246674 140736858422208 139732130458800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 2291268

[startup+702.301 s]
/proc/loadavg: 2.22 2.22 2.18 3/184 20781
/proc/meminfo: memFree=17558904/32872528 swapFree=16636/1570076
[pid=20700] ppid=20696 vsize=10009156 CPUtime=702.09 cores=1,3,5,7
/proc/20700/stat : 20700 (toysat) R 20696 20700 2168 0 -1 4202496 2443135 0 0 0 69877 332 0 0 20 0 4 0 114109827 10249375744 2444306 33554432000 4194304 16246674 140736858422208 140736858421304 12655212 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20700/statm: 2502289 2444306 908 2943 0 2499183 0
[pid=20700/tid=20701] ppid=20696 vsize=10009156 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20701/stat : 20701 (toysat) S 20696 20700 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114109827 10249375744 2444306 33554432000 4194304 16246674 140736858422208 139732260465904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20700/tid=20702] ppid=20696 vsize=10009156 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20702/stat : 20702 (toysat) S 20696 20700 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109827 10249375744 2444306 33554432000 4194304 16246674 140736858422208 139732249976048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20700/tid=20703] ppid=20696 vsize=10009156 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20703/stat : 20703 (toysat) S 20696 20700 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114109827 10249375744 2444306 33554432000 4194304 16246674 140736858422208 139732130458800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 10009156

[startup+762.3 s]
/proc/loadavg: 2.25 2.22 2.18 3/183 20782
/proc/meminfo: memFree=18445576/32872528 swapFree=16636/1570076
[pid=20700] ppid=20696 vsize=9032260 CPUtime=762.09 cores=1,3,5,7
/proc/20700/stat : 20700 (toysat) R 20696 20700 2168 0 -1 4202496 3900812 0 0 0 75637 572 0 0 20 0 4 0 114109827 9249034240 2192671 33554432000 4194304 16246674 140736858422208 140736858420032 15002759 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20700/statm: 2258065 2192671 920 2943 0 2254959 0
[pid=20700/tid=20701] ppid=20696 vsize=9032260 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20701/stat : 20701 (toysat) S 20696 20700 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114109827 9249034240 2191135 33554432000 4194304 16246674 140736858422208 139732260465904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20700/tid=20702] ppid=20696 vsize=9032260 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20702/stat : 20702 (toysat) S 20696 20700 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109827 9249034240 2191135 33554432000 4194304 16246674 140736858422208 139732249975824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20700/tid=20703] ppid=20696 vsize=9032260 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20703/stat : 20703 (toysat) S 20696 20700 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114109827 9249034240 2191135 33554432000 4194304 16246674 140736858422208 139732130458800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 9032260

[startup+822.3 s]
/proc/loadavg: 2.33 2.25 2.19 3/183 20784
/proc/meminfo: memFree=17278584/32872528 swapFree=16636/1570076
[pid=20700] ppid=20696 vsize=10288708 CPUtime=822.06 cores=1,3,5,7
/proc/20700/stat : 20700 (toysat) R 20696 20700 2168 0 -1 4202496 5629582 0 0 0 81375 831 0 0 20 0 4 0 114109827 10535636992 2514209 33554432000 4194304 16246674 140736858422208 140736858421304 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20700/statm: 2572177 2514209 920 2943 0 2569071 0
[pid=20700/tid=20701] ppid=20696 vsize=10288708 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20701/stat : 20701 (toysat) S 20696 20700 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114109827 10535636992 2514209 33554432000 4194304 16246674 140736858422208 139732260465904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20700/tid=20702] ppid=20696 vsize=10288708 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20702/stat : 20702 (toysat) S 20696 20700 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109827 10535636992 2514209 33554432000 4194304 16246674 140736858422208 139732249976048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20700/tid=20703] ppid=20696 vsize=10288708 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20703/stat : 20703 (toysat) S 20696 20700 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114109827 10535636992 2514209 33554432000 4194304 16246674 140736858422208 139732130458800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 10288708

[startup+882.307 s]
/proc/loadavg: 2.39 2.28 2.20 3/183 20785
/proc/meminfo: memFree=22391604/32872528 swapFree=16636/1570076
[pid=20700] ppid=20696 vsize=5184068 CPUtime=882.05 cores=1,3,5,7
/proc/20700/stat : 20700 (toysat) R 20696 20700 2168 0 -1 4202496 6554511 0 0 0 87191 1014 0 0 20 0 4 0 114109827 5308485632 1238050 33554432000 4194304 16246674 140736858422208 140736858421424 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20700/statm: 1296017 1238050 920 2943 0 1292911 0
[pid=20700/tid=20701] ppid=20696 vsize=5184068 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20701/stat : 20701 (toysat) S 20696 20700 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114109827 5308485632 1238050 33554432000 4194304 16246674 140736858422208 139732260465904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20700/tid=20702] ppid=20696 vsize=5184068 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20702/stat : 20702 (toysat) S 20696 20700 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109827 5308485632 1238050 33554432000 4194304 16246674 140736858422208 139732249976048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20700/tid=20703] ppid=20696 vsize=5184068 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20703/stat : 20703 (toysat) S 20696 20700 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114109827 5308485632 1238050 33554432000 4194304 16246674 140736858422208 139732130458800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 5184068

[startup+942.3 s]
/proc/loadavg: 2.19 2.24 2.19 3/183 20786
/proc/meminfo: memFree=13666000/32872528 swapFree=16636/1570076
[pid=20700] ppid=20696 vsize=13894212 CPUtime=942.03 cores=1,3,5,7
/proc/20700/stat : 20700 (toysat) R 20696 20700 2168 0 -1 4202496 8732049 0 0 0 92895 1308 0 0 20 0 4 0 114109827 14227673088 3415588 33554432000 4194304 16246674 140736858422208 140736858421304 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20700/statm: 3473553 3415588 920 2943 0 3470447 0
[pid=20700/tid=20701] ppid=20696 vsize=13894212 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20701/stat : 20701 (toysat) S 20696 20700 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114109827 14227673088 3415588 33554432000 4194304 16246674 140736858422208 139732260465904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20700/tid=20702] ppid=20696 vsize=13894212 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20702/stat : 20702 (toysat) S 20696 20700 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109827 14227673088 3415588 33554432000 4194304 16246674 140736858422208 139732249976048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20700/tid=20703] ppid=20696 vsize=13894212 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20703/stat : 20703 (toysat) S 20696 20700 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114109827 14227673088 3415588 33554432000 4194304 16246674 140736858422208 139732130458800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 13894212

[startup+1002.3 s]
/proc/loadavg: 2.32 2.26 2.19 4/183 20787
/proc/meminfo: memFree=13666220/32872528 swapFree=16636/1570076
[pid=20700] ppid=20696 vsize=13894212 CPUtime=1002.02 cores=1,3,5,7
/proc/20700/stat : 20700 (toysat) R 20696 20700 2168 0 -1 4202496 8732053 0 0 0 98890 1312 0 0 20 0 4 0 114109827 14227673088 3415592 33554432000 4194304 16246674 140736858422208 140736858420160 13899629 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20700/statm: 3473553 3415592 924 2943 0 3470447 0
[pid=20700/tid=20701] ppid=20696 vsize=13894212 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20701/stat : 20701 (toysat) S 20696 20700 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114109827 14227673088 3415592 33554432000 4194304 16246674 140736858422208 139732260465904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20700/tid=20702] ppid=20696 vsize=13894212 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20702/stat : 20702 (toysat) S 20696 20700 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109827 14227673088 3415592 33554432000 4194304 16246674 140736858422208 139732249975824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20700/tid=20703] ppid=20696 vsize=13894212 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20703/stat : 20703 (toysat) S 20696 20700 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114109827 14227673088 3415592 33554432000 4194304 16246674 140736858422208 139732130458800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 13894212



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1055.6 s]
/proc/loadavg: 2.26 2.25 2.19 3/183 20788
/proc/meminfo: memFree=12591680/32872528 swapFree=16636/1570076
[pid=20700] ppid=20696 vsize=15920708 CPUtime=1055.32 cores=1,3,5,7
/proc/20700/stat : 20700 (toysat) R 20696 20700 2168 0 -1 4202496 9238544 0 0 0 104129 1403 0 0 20 0 4 0 114109827 16302804992 3922083 33554432000 4194304 16246674 140736858422208 140736858421384 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20700/statm: 3980177 3922083 924 2943 0 3977071 0
[pid=20700/tid=20701] ppid=20696 vsize=15920708 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20701/stat : 20701 (toysat) S 20696 20700 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114109827 16302804992 3922083 33554432000 4194304 16246674 140736858422208 139732260465904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20700/tid=20702] ppid=20696 vsize=15920708 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20702/stat : 20702 (toysat) S 20696 20700 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109827 16302804992 3922083 33554432000 4194304 16246674 140736858422208 139732249976048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20700/tid=20703] ppid=20696 vsize=15920708 CPUtime=0 cores=1,3,5,7
/proc/20700/task/20703/stat : 20703 (toysat) S 20696 20700 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114109827 16302804992 3922083 33554432000 4194304 16246674 140736858422208 139732130458800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1055.32
Current children cumulated vsize (KiB) 15920708

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

[startup+1056 s]
/proc/loadavg: 2.24 2.24 2.19 3/181 20788
/proc/meminfo: memFree=19923736/32872528 swapFree=16636/1570076
[pid=20700] ppid=20696 vsize=0 CPUtime=1055.72 cores=1,3,5,7
/proc/20700/stat : 20700 (toysat) Z 20696 20700 2168 0 -1 4202508 9239190 0 0 0 104129 1443 0 0 20 0 2 0 114109827 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20700/statm: 0 0 0 0 0 0 0
[pid=20700/tid=20701] ppid=20696 vsize=0 CPUtime=0.39 cores=1,3,5,7
/proc/20700/task/20701/stat : 20701 (toysat) R 20696 20700 2168 0 -1 4203588 9 0 0 0 0 39 0 0 20 0 2 0 114109827 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1055.72
Current children cumulated vsize (KiB) 0

[startup+1056.4 s]
/proc/loadavg: 2.24 2.24 2.19 3/181 20788
/proc/meminfo: memFree=19923736/32872528 swapFree=16636/1570076
[pid=20700] ppid=20696 vsize=0 CPUtime=1056.11 cores=1,3,5,7
/proc/20700/stat : 20700 (toysat) Z 20696 20700 2168 0 -1 4202508 9239190 0 0 0 104129 1482 0 0 20 0 2 0 114109827 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20700/statm: 0 0 0 0 0 0 0
[pid=20700/tid=20701] ppid=20696 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/20700/task/20701/stat : 20701 (toysat) R 20696 20700 2168 0 -1 4203588 9 0 0 0 0 78 0 0 20 0 2 0 114109827 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1056.11
Current children cumulated vsize (KiB) 0

Child status: 1
Real time (s): 1056.44
CPU time (s): 1056.16
CPU user time (s): 1041.3
CPU system time (s): 14.8627
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 15920708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1041.3
system time used= 14.8627
maximum resident set size= 15690916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9239190
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= 421
involuntary context switches= 1292

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.2259 second user time and 9.58654 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-07 19:49:35
IDJOB=4079375
IDBENCH=92655
IDSOLVER=2542
FILE ID=node140/4079375-1465321774
RUNJOBID= node140-1465312758-19944
PBS_JOBID= 19850417
Free space on /tmp= 71504 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_1_mh_ic.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079375-1465321774/watcher-4079375-1465321774 -o /tmp/evaluation-result-4079375-1465321774/solver-4079375-1465321774 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465312758-19944 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079375-1465321774.opb

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

MD5SUM BENCH= 19509a32f8723d88252dcacb3db21725
RANDOM SEED=594245098

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29576152 kB
Buffers:          123512 kB
Cached:           845024 kB
SwapCached:         1452 kB
Active:           264584 kB
Inactive:         708832 kB
Active(anon):       1572 kB
Inactive(anon):     6260 kB
Active(file):     263012 kB
Inactive(file):   702572 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098752 kB
Dirty:             20628 kB
Writeback:             0 kB
AnonPages:       1574784 kB
Mapped:             7128 kB
Shmem:                 0 kB
Slab:             619444 kB
SReclaimable:      63224 kB
SUnreclaim:       556220 kB
KernelStack:        1552 kB
PageTables:         6280 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1669472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1556480 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= 71668 MiB
End job on node140 at 2016-06-07 20:07:11