Trace number 4122746

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-02UNSAT 170.972 171.009

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n84-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
MD5SUM1eff1ede3574710522aaf0f953f48c8d
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.24181
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables126
Total number of constraints336
Number of constraints which are clauses336
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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-30T22:11:46+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-4122746-1467317506.opb"]
0.00/0.01	c use --random-gen="1733144292 3319876886 2277650592 2683705164 1959616438 1265235241 363215025 3653717008 2616195387 1187594538 2584592820 2256291341 3198074766 2923524624 3722063372 1143050495 3812825656 3554891389 3771690675 3981878959 2802498794 4157716874 2314519714 1610802102 1565973211 809158074 4064170310 1510779826 2219230196 2135092644 1799770505 3607911876 4090287726 1668500457 3318231515 2158821372 2073908497 4042583287 3413875780 3119643119 2234131688 983624543 1666225480 3710204767 531710254 1602520283 2779578793 2673668496 327564001 513285948 897039927 854713570 1948260634 4134032725 556733863 2615490308 4044279522 1788120236 1024629771 1985573905 3907814728 2925969228 2083011427 1452808777 497255045 2336220570 380558195 1412796697 2313690758 2210111497 3355493688 2137056333 2938638881 1969936226 2140542983 398685273 2496333484 2530646170 3120053706 2971972192 2162212801 1950725931 335965387 1078608911 1766487480 2176267495 3405929972 2530694741 2255936556 3374469904 2326494682 4063594437 327217028 2990170089 2121556472 2730053340 3381074289 4124757302 435472882 99742083 1547626371 2135537071 1576796948 3310548398 3160689561 340704815 1224856618 1847729865 622136651 3285166800 670352088 3294068702 2226269481 1434511241 669618543 4170642966 873241350 3469792279 3785265240 1232960422 446835596 1571671115 3728260040 3393932409 1916238296 706328235 389233407 1096655966 3794926119 2007050641 33016931 2691375960 2363512042 3402368699 2662964549 2244634015 2686983815 3152028970 420634097 3114364800 722460603 2083180473 4134766837 3738360200 4217531770 1732799187 2833275956 486568008 349277930 3032381404 2157463761 2004748756 2738740611 360010599 3308660647 758506381 1713665681 1798784763 3799913344 1346872440 1693744528 1050238939 4149450855 2699439675 3993347966 508087534 2736660555 387175502 60743273 2447926840 236590916 3478197231 1203295083 2665431613 977682224 2206769755 2656742118 3498493437 1549593800 3666505151 1375957004 643860786 1925834768 2154325845 1181896578 2408449947 4072225831 1515374312 3025418904 3546571701 1089362884 717350235 3863063832 4116181118 1739728699 2743831473 3669511134 48342038 2823577754 192494767 2389258798 578461034 2595527421 3828479360 2382144607 3524778613 1288227850 2996039856 1785682489 2272514099 2365433491 110212201 2868387282 2807729829 259442132 3881388432 798670800 2504223037 1726371597 1306811228 857638384 975578990 1697498881 509349373 2473678241 1054885482 4151858545 2226847731 3437910781 2628037508 3949274636 1952150147 1056567930 2466537071 1015518316 3267036809 1137340631 3527716189 3236949284 696039655 1786788134 4182726187 2713151576 3563509724 933064831 3697787709 3052218246 1493739699 3875418229 671102892 2607648917 2251919024 804285287 351784079 802988738 1805505493 255 362436" option to reproduce the execution
0.00/0.01	c #vars 126
0.00/0.01	c #constraints 336
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      154      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      139 |      100 |      154      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      369 |      250 |      170      0 |        0 |        0
0.00/0.07	c  0.1s |       3 |      642 |      475 |      188      2 |        0 |        0
0.09/0.11	c  0.1s |       4 |     1053 |      813 |      207      5 |        0 |        0
0.09/0.16	c  0.1s |       5 |     1716 |     1320 |      228      9 |        0 |        0
0.18/0.22	c  0.2s |       6 |     2913 |     2081 |      277     14 |        0 |        0
0.29/0.34	c  0.3s |       7 |     4260 |     3223 |      305     21 |        0 |        0
0.39/0.48	c  0.5s |       8 |     6476 |     4936 |      336     31 |        0 |        0
0.69/0.71	c  0.7s |       9 |    10338 |     7506 |      370     45 |        0 |        0
0.98/1.03	c  1.0s |      10 |    15218 |    11361 |      408     65 |        0 |        0
1.29/1.38	c  1.4s |      11 |    23905 |    17144 |      449     92 |        0 |        0
1.88/1.95	c  1.9s |      12 |    35910 |    25819 |      494    129 |        0 |        0
2.68/2.71	c  2.7s |      13 |    55054 |    38832 |      544    180 |        0 |        0
3.88/3.93	c  3.9s |      14 |    81192 |    58352 |      599    250 |        0 |        0
5.69/5.71	c  5.7s |      15 |   122414 |    87632 |      659    346 |        0 |        0
7.70/7.71	c  7.7s |      15 |   161988 |   117532 |      659    435 |        0 |        0
8.59/8.65	c  8.6s |      16 |   180678 |   131552 |      725    477 |        0 |        0
10.59/10.65	c 10.6s |      16 |   222217 |   162052 |      725    559 |        0 |        0
12.59/12.66	c 12.6s |      16 |   264814 |   193252 |      725    644 |        0 |        0
12.89/12.96	c 12.9s |      17 |   270505 |   197432 |      798    655 |        0 |        0
14.88/14.97	c 15.0s |      17 |   312199 |   228532 |      798    732 |        0 |        0
16.88/16.97	c 17.0s |      17 |   352767 |   258532 |      798    807 |        0 |        0
18.88/18.98	c 19.0s |      17 |   391387 |   287532 |      798    879 |        0 |        0
19.48/19.59	c 19.6s |      18 |   402181 |   296252 |      878    900 |        0 |        0
21.58/21.60	c 21.6s |      18 |   444162 |   326852 |      878    969 |        0 |        0
23.58/23.60	c 23.6s |      18 |   483625 |   356452 |      878   1036 |        0 |        0
25.58/25.61	c 25.6s |      18 |   523555 |   384552 |      878   1099 |        0 |        0
27.59/27.61	c 27.6s |      18 |   562978 |   414052 |      878   1166 |        0 |        0
29.58/29.61	c 29.6s |      18 |   603993 |   444252 |      966   1233 |        0 |        0
29.58/29.63	c 29.6s |      19 |   604286 |   444482 |      966   1234 |        0 |        0
31.59/31.63	c 31.6s |      19 |   641832 |   473582 |      966   1294 |        0 |        0
33.59/33.64	c 33.6s |      19 |   680996 |   503182 |      966   1354 |        0 |        0
35.59/35.65	c 35.6s |      19 |   716799 |   531582 |      966   1413 |        0 |        0
37.59/37.65	c 37.6s |      19 |   755582 |   560482 |      966   1473 |        0 |        0
39.59/39.65	c 39.6s |      19 |   795163 |   590482 |      966   1534 |        0 |        0
41.59/41.65	c 41.6s |      19 |   837274 |   621182 |      966   1598 |        0 |        0
43.59/43.65	c 43.6s |      19 |   877133 |   650982 |      966   1659 |        0 |        0
44.79/44.80	c 44.8s |      20 |   897907 |   666827 |     1063   1690 |        0 |        0
46.78/46.80	c 46.8s |      20 |   927293 |   691027 |     1063   1735 |        0 |        0
48.78/48.81	c 48.8s |      20 |   963971 |   717727 |     1063   1785 |        0 |        0
50.78/50.82	c 50.8s |      20 |   998191 |   743427 |     1063   1833 |        0 |        0
52.79/52.82	c 52.8s |      20 |  1030995 |   769927 |     1063   1882 |        0 |        0
54.78/54.83	c 54.8s |      20 |  1069028 |   798027 |     1063   1935 |        0 |        0
56.78/56.83	c 56.8s |      20 |  1108971 |   827127 |     1063   1989 |        0 |        0
58.78/58.83	c 58.8s |      20 |  1148966 |   856427 |     1063   2044 |        0 |        0
60.78/60.84	c 60.8s |      20 |  1185889 |   884027 |     1063   2095 |        0 |        0
62.79/62.84	c 62.8s |      20 |  1225538 |   913327 |     1063   2150 |        0 |        0
64.78/64.85	c 64.8s |      20 |  1262207 |   940527 |     1063   2201 |        0 |        0
66.78/66.85	c 66.8s |      20 |  1298068 |   967527 |     1063   2251 |        0 |        0
68.78/68.86	c 68.8s |      20 |  1331838 |   992627 |     1063   2298 |        0 |        0
69.48/69.54	c 69.5s |      21 |  1341752 |  1000345 |     1170   2311 |        0 |        0
71.49/71.54	c 71.5s |      21 |  1376682 |  1026845 |     1170   2356 |        0 |        0
73.48/73.54	c 73.5s |      21 |  1412438 |  1053345 |     1170   2401 |        0 |        0
75.48/75.55	c 75.5s |      21 |  1450812 |  1080945 |     1170   2448 |        0 |        0
77.48/77.55	c 77.5s |      21 |  1491221 |  1109345 |     1170   2496 |        0 |        0
79.48/79.55	c 79.5s |      21 |  1527406 |  1136145 |     1170   2541 |        0 |        0
81.48/81.55	c 81.5s |      21 |  1561384 |  1161945 |     1170   2585 |        0 |        0
83.47/83.56	c 83.5s |      21 |  1594750 |  1187745 |     1170   2629 |        0 |        0
85.48/85.56	c 85.5s |      21 |  1630388 |  1215745 |     1170   2676 |        0 |        0
87.48/87.56	c 87.5s |      21 |  1667470 |  1243445 |     1170   2724 |        0 |        0
89.48/89.57	c 89.5s |      21 |  1706979 |  1272645 |     1170   2773 |        0 |        0
91.48/91.57	c 91.6s |      21 |  1743566 |  1300845 |     1170   2821 |        0 |        0
93.48/93.57	c 93.6s |      21 |  1782780 |  1329845 |     1170   2870 |        0 |        0
95.48/95.58	c 95.6s |      21 |  1820566 |  1357645 |     1170   2918 |        0 |        0
97.48/97.58	c 97.6s |      21 |  1854270 |  1383345 |     1170   2961 |        0 |        0
99.48/99.59	c 99.6s |      21 |  1889399 |  1409645 |     1170   3006 |        0 |        0
101.47/101.59	c  101s |      21 |  1926097 |  1436645 |     1170   3052 |        0 |        0
103.48/103.59	c  103s |      21 |  1962283 |  1464145 |     1170   3098 |        0 |        0
105.47/105.59	c  105s |      21 |  1994046 |  1489345 |     1170   3141 |        0 |        0
106.37/106.47	c  106s |      22 |  2008594 |  1500622 |     1287   3158 |        0 |        0
108.37/108.48	c  108s |      22 |  2042543 |  1526322 |     1287   3198 |        0 |        0
110.37/110.48	c  110s |      22 |  2081383 |  1553122 |     1287   3239 |        0 |        0
112.37/112.48	c  112s |      22 |  2116750 |  1579622 |     1287   3280 |        0 |        0
114.37/114.49	c  114s |      22 |  2151986 |  1605522 |     1287   3320 |        0 |        0
116.37/116.49	c  116s |      22 |  2187476 |  1631622 |     1287   3361 |        0 |        0
118.37/118.50	c  118s |      22 |  2223104 |  1658622 |     1287   3402 |        0 |        0
120.47/120.50	c  120s |      22 |  2258409 |  1684922 |     1287   3443 |        0 |        0
122.47/122.51	c  122s |      22 |  2295482 |  1712222 |     1287   3485 |        0 |        0
124.47/124.51	c  124s |      22 |  2331239 |  1738622 |     1287   3526 |        0 |        0
126.47/126.51	c  126s |      22 |  2369017 |  1765822 |     1287   3568 |        0 |        0
128.47/128.52	c  128s |      22 |  2403480 |  1792522 |     1287   3609 |        0 |        0
130.46/130.52	c  130s |      22 |  2439815 |  1819622 |     1287   3651 |        0 |        0
132.46/132.52	c  132s |      22 |  2478492 |  1848122 |     1287   3694 |        1 |        4
134.47/134.53	c  134s |      22 |  2514073 |  1874622 |     1287   3734 |        1 |        4
136.48/136.54	c  136s |      22 |  2549988 |  1901222 |     1287   3776 |        1 |        4
138.47/138.54	c  138s |      22 |  2588151 |  1929522 |     1287   3819 |        1 |        4
140.47/140.54	c  140s |      22 |  2624230 |  1956422 |     1287   3861 |        1 |        4
142.47/142.55	c  142s |      22 |  2660819 |  1983122 |     1287   3902 |        1 |        4
144.47/144.55	c  144s |      22 |  2699635 |  2011522 |     1287   3946 |        1 |        4
146.47/146.56	c  146s |      22 |  2735053 |  2038322 |     1287   3987 |        1 |        4
148.47/148.57	c  148s |      22 |  2771535 |  2065922 |     1287   4030 |        1 |        4
150.46/150.57	c  150s |      22 |  2802482 |  2089922 |     1287   4065 |        2 |        8
152.46/152.57	c  152s |      22 |  2834921 |  2114622 |     1287   4104 |        2 |        8
154.46/154.58	c  154s |      22 |  2867199 |  2139822 |     1287   4142 |        2 |        8
156.46/156.58	c  156s |      22 |  2904320 |  2167422 |     1287   4185 |        2 |        8
158.47/158.58	c  158s |      22 |  2942451 |  2194822 |     1287   4227 |        2 |        8
160.46/160.59	c  160s |      22 |  2982437 |  2223522 |     1287   4272 |        2 |        8
162.46/162.52	c  162s |      23 |  3020524 |  2251038 |     1416   4310 |        3 |       12
164.46/164.52	c  164s |      23 |  3057408 |  2277638 |     1416   4348 |        3 |       12
166.46/166.52	c  166s |      23 |  3095613 |  2305438 |     1416   4386 |        4 |       16
168.47/168.53	c  168s |      23 |  3131132 |  2331838 |     1416   4423 |        4 |       16
170.47/170.54	c  170s |      23 |  3167370 |  2359238 |     1416   4459 |        8 |       32
170.87/170.94	c  170s |      23 |  3174865 |  2365044 |     1416   4464 |       25 |       80
170.87/170.94	c #cpu_time = 170.490s
170.87/170.94	c #wall_clock_time = 170.928s
170.87/170.94	c #decision = 3174865
170.87/170.94	c #random_decision = 15472
170.87/170.94	c #conflict = 2365044
170.87/170.94	c #restart = 23
170.87/170.94	s UNSATISFIABLE
170.87/170.94	c total CPU time = 170.510s
170.87/170.94	c total wall clock time = 170.948s

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

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

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


[startup+0 s]
/proc/loadavg: 2.23 2.21 2.14 4/179 13437
/proc/meminfo: memFree=29354100/32872528 swapFree=1102192/1183952
[pid=13437] ppid=13434 vsize=704956 CPUtime=0 cores=0,2,4,6
/proc/13437/stat : 13437 (toysat) R 13434 13437 11495 0 -1 4202496 2627 0 0 0 0 0 0 0 20 0 4 0 10779781 721874944 2988 33554432000 4194304 16246674 140736449038336 140736449037760 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 176751 2998 441 2943 0 173645 0
[pid=13437/tid=13438] ppid=13434 vsize=722364 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13438/stat : 13438 (toysat) S 13434 13437 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779782 739700736 3058 33554432000 4194304 16246674 140736449038336 140092327832816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13437/tid=13439] ppid=13434 vsize=726460 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13439/stat : 13439 (toysat) S 13434 13437 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779782 743895040 3074 33554432000 4194304 16246674 140736449038336 140092317342960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13437/tid=13440] ppid=13434 vsize=731580 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13440/stat : 13440 (toysat) S 13434 13437 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10779782 749137920 3091 33554432000 4194304 16246674 140736449038336 140092236623024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100123 s]
/proc/loadavg: 2.23 2.21 2.14 4/179 13437
/proc/meminfo: memFree=29354100/32872528 swapFree=1102192/1183952
[pid=13437] ppid=13434 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/13437/stat : 13437 (toysat) R 13434 13437 11495 0 -1 4202496 25833 0 0 0 5 4 0 0 20 0 4 0 10779781 1247350784 26182 33554432000 4194304 16246674 140736449038336 140736449037760 5546500 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 304529 26192 709 2943 0 301423 0
[pid=13437/tid=13438] ppid=13434 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13438/stat : 13438 (toysat) S 13434 13437 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779782 1247350784 26198 33554432000 4194304 16246674 140736449038336 140092327832816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13437/tid=13439] ppid=13434 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13439/stat : 13439 (toysat) S 13434 13437 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779782 1247350784 26207 33554432000 4194304 16246674 140736449038336 140092317342960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13437/tid=13440] ppid=13434 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13440/stat : 13440 (toysat) S 13434 13437 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10779782 1247350784 26213 33554432000 4194304 16246674 140736449038336 140092236623024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200447 s]
/proc/loadavg: 2.23 2.21 2.14 4/179 13437
/proc/meminfo: memFree=29354100/32872528 swapFree=1102192/1183952
[pid=13437] ppid=13434 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/13437/stat : 13437 (toysat) R 13434 13437 11495 0 -1 4202496 49218 0 0 0 12 6 0 0 20 0 4 0 10779781 1247350784 49567 33554432000 4194304 16246674 140736449038336 140736449037760 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 304529 49577 709 2943 0 301423 0
[pid=13437/tid=13438] ppid=13434 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13438/stat : 13438 (toysat) S 13434 13437 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779782 1247350784 49583 33554432000 4194304 16246674 140736449038336 140092327832816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13437/tid=13439] ppid=13434 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13439/stat : 13439 (toysat) S 13434 13437 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779782 1247350784 49591 33554432000 4194304 16246674 140736449038336 140092317342960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13437/tid=13440] ppid=13434 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13440/stat : 13440 (toysat) S 13434 13437 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10779782 1247350784 49596 33554432000 4194304 16246674 140736449038336 140092236623024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300414 s]
/proc/loadavg: 2.23 2.21 2.14 4/179 13437
/proc/meminfo: memFree=29354100/32872528 swapFree=1102192/1183952
[pid=13437] ppid=13434 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/13437/stat : 13437 (toysat) R 13434 13437 11495 0 -1 4202496 72818 0 0 0 19 10 0 0 20 0 4 0 10779781 1247350784 73168 33554432000 4194304 16246674 140736449038336 140736449037760 13191869 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 304529 73176 710 2943 0 301423 0
[pid=13437/tid=13438] ppid=13434 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13438/stat : 13438 (toysat) S 13434 13437 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779782 1247350784 73184 33554432000 4194304 16246674 140736449038336 140092327832816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13437/tid=13439] ppid=13434 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13439/stat : 13439 (toysat) S 13434 13437 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779782 1247350784 73191 33554432000 4194304 16246674 140736449038336 140092317342960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13437/tid=13440] ppid=13434 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13440/stat : 13440 (toysat) S 13434 13437 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10779782 1247350784 73196 33554432000 4194304 16246674 140736449038336 140092236623024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700331 s]
/proc/loadavg: 2.23 2.21 2.14 4/179 13437
/proc/meminfo: memFree=29354100/32872528 swapFree=1102192/1183952
[pid=13437] ppid=13434 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/13437/stat : 13437 (toysat) R 13434 13437 11495 0 -1 4202496 166410 0 0 0 45 24 0 0 20 0 4 0 10779781 1247350784 166760 33554432000 4194304 16246674 140736449038336 140736449037760 5516309 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 304529 166769 710 2943 0 301423 0
[pid=13437/tid=13438] ppid=13434 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13438/stat : 13438 (toysat) S 13434 13437 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779782 1247350784 166774 33554432000 4194304 16246674 140736449038336 140092327832816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13437/tid=13439] ppid=13434 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13439/stat : 13439 (toysat) S 13434 13437 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779782 1247350784 166781 33554432000 4194304 16246674 140736449038336 140092317342960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13437/tid=13440] ppid=13434 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13440/stat : 13440 (toysat) S 13434 13437 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10779782 1247350784 166788 33554432000 4194304 16246674 140736449038336 140092236623024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50036 s]
/proc/loadavg: 2.23 2.21 2.14 4/183 13441
/proc/meminfo: memFree=28371280/32872528 swapFree=1102192/1183952
[pid=13437] ppid=13434 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/13437/stat : 13437 (toysat) R 13434 13437 11495 0 -1 4202496 245569 0 0 0 114 35 0 0 20 0 4 0 10779781 1248399360 245898 33554432000 4194304 16246674 140736449038336 140736449037648 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 304785 245898 786 2943 0 301679 0
[pid=13437/tid=13438] ppid=13434 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13438/stat : 13438 (toysat) S 13434 13437 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779782 1248399360 245898 33554432000 4194304 16246674 140736449038336 140092327832816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13437/tid=13439] ppid=13434 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13439/stat : 13439 (toysat) S 13434 13437 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779782 1248399360 245898 33554432000 4194304 16246674 140736449038336 140092317342960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13437/tid=13440] ppid=13434 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13440/stat : 13440 (toysat) S 13434 13437 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10779782 1248399360 245898 33554432000 4194304 16246674 140736449038336 140092236623024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10039 s]
/proc/loadavg: 2.23 2.21 2.14 4/183 13441
/proc/meminfo: memFree=28283992/32872528 swapFree=1102192/1183952
[pid=13437] ppid=13434 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/13437/stat : 13437 (toysat) R 13434 13437 11495 0 -1 4202496 267394 0 0 0 270 38 0 0 20 0 4 0 10779781 1337528320 267723 33554432000 4194304 16246674 140736449038336 140736449020224 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 326545 267723 786 2943 0 323439 0
[pid=13437/tid=13438] ppid=13434 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13438/stat : 13438 (toysat) S 13434 13437 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779782 1337528320 267723 33554432000 4194304 16246674 140736449038336 140092327832816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13437/tid=13439] ppid=13434 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13439/stat : 13439 (toysat) S 13434 13437 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779782 1337528320 267723 33554432000 4194304 16246674 140736449038336 140092317342960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13437/tid=13440] ppid=13434 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13440/stat : 13440 (toysat) S 13434 13437 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10779782 1337528320 267723 33554432000 4194304 16246674 140736449038336 140092236623024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30036 s]
/proc/loadavg: 2.21 2.21 2.14 3/183 13441
/proc/meminfo: memFree=28282756/32872528 swapFree=1102192/1183952
[pid=13437] ppid=13434 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/13437/stat : 13437 (toysat) R 13434 13437 11495 0 -1 4202496 267484 0 0 0 590 39 0 0 20 0 4 0 10779781 1337528320 267813 33554432000 4194304 16246674 140736449038336 140736449020224 5808568 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 326545 267813 786 2943 0 323439 0
[pid=13437/tid=13438] ppid=13434 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13438/stat : 13438 (toysat) S 13434 13437 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779782 1337528320 267813 33554432000 4194304 16246674 140736449038336 140092327832816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13437/tid=13439] ppid=13434 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13439/stat : 13439 (toysat) S 13434 13437 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779782 1337528320 267813 33554432000 4194304 16246674 140736449038336 140092317342960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13437/tid=13440] ppid=13434 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13440/stat : 13440 (toysat) S 13434 13437 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10779782 1337528320 267813 33554432000 4194304 16246674 140736449038336 140092236623024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.19 2.21 2.14 3/183 13441
/proc/meminfo: memFree=28282272/32872528 swapFree=1102192/1183952
[pid=13437] ppid=13434 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/13437/stat : 13437 (toysat) R 13434 13437 11495 0 -1 4202496 267505 0 0 0 1230 39 0 0 20 0 4 0 10779781 1337528320 267834 33554432000 4194304 16246674 140736449038336 140736449021336 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 326545 267834 787 2943 0 323439 0
[pid=13437/tid=13438] ppid=13434 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13438/stat : 13438 (toysat) S 13434 13437 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779782 1337528320 267834 33554432000 4194304 16246674 140736449038336 140092327832816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13437/tid=13439] ppid=13434 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13439/stat : 13439 (toysat) S 13434 13437 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779782 1337528320 267834 33554432000 4194304 16246674 140736449038336 140092317342960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13437/tid=13440] ppid=13434 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13440/stat : 13440 (toysat) S 13434 13437 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10779782 1337528320 267834 33554432000 4194304 16246674 140736449038336 140092236623024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5004 s]
/proc/loadavg: 2.15 2.20 2.14 3/183 13441
/proc/meminfo: memFree=28282656/32872528 swapFree=1102192/1183952
[pid=13437] ppid=13434 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/13437/stat : 13437 (toysat) R 13434 13437 11495 0 -1 4202496 267506 0 0 0 2509 39 0 0 20 0 4 0 10779781 1337528320 267835 33554432000 4194304 16246674 140736449038336 140736449020224 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 326545 267835 788 2943 0 323439 0
[pid=13437/tid=13438] ppid=13434 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13438/stat : 13438 (toysat) S 13434 13437 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779782 1337528320 267835 33554432000 4194304 16246674 140736449038336 140092327832816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13437/tid=13439] ppid=13434 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13439/stat : 13439 (toysat) S 13434 13437 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779782 1337528320 267835 33554432000 4194304 16246674 140736449038336 140092317342960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13437/tid=13440] ppid=13434 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13440/stat : 13440 (toysat) S 13434 13437 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10779782 1337528320 267835 33554432000 4194304 16246674 140736449038336 140092236623024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.15 2.19 2.14 3/183 13442
/proc/meminfo: memFree=28282000/32872528 swapFree=1102192/1183952
[pid=13437] ppid=13434 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/13437/stat : 13437 (toysat) R 13434 13437 11495 0 -1 4202496 267645 0 0 0 5068 40 0 0 20 0 4 0 10779781 1338576896 267974 33554432000 4194304 16246674 140736449038336 140736449020224 6012143 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 326801 267974 792 2943 0 323695 0
[pid=13437/tid=13438] ppid=13434 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13438/stat : 13438 (toysat) S 13434 13437 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779782 1338576896 267974 33554432000 4194304 16246674 140736449038336 140092327832816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13437/tid=13439] ppid=13434 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13439/stat : 13439 (toysat) S 13434 13437 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779782 1338576896 267974 33554432000 4194304 16246674 140736449038336 140092317342960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13437/tid=13440] ppid=13434 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13440/stat : 13440 (toysat) S 13434 13437 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10779782 1338576896 267974 33554432000 4194304 16246674 140736449038336 140092236623024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.14 2.18 2.13 3/183 13443
/proc/meminfo: memFree=28281520/32872528 swapFree=1102192/1183952
[pid=13437] ppid=13434 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/13437/stat : 13437 (toysat) R 13434 13437 11495 0 -1 4202496 267661 0 0 0 10187 41 0 0 20 0 4 0 10779781 1338576896 267990 33554432000 4194304 16246674 140736449038336 140736449020224 5653000 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 326801 267990 792 2943 0 323695 0
[pid=13437/tid=13438] ppid=13434 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13438/stat : 13438 (toysat) S 13434 13437 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779782 1338576896 267990 33554432000 4194304 16246674 140736449038336 140092327832816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13437/tid=13439] ppid=13434 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13439/stat : 13439 (toysat) S 13434 13437 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779782 1338576896 267990 33554432000 4194304 16246674 140736449038336 140092317342960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13437/tid=13440] ppid=13434 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13440/stat : 13440 (toysat) S 13434 13437 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10779782 1338576896 267990 33554432000 4194304 16246674 140736449038336 140092236623024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204

[startup+162.3 s]
/proc/loadavg: 2.08 2.16 2.13 3/183 13492
/proc/meminfo: memFree=28278220/32872528 swapFree=1102192/1183952
[pid=13437] ppid=13434 vsize=1307204 CPUtime=162.26 cores=0,2,4,6
/proc/13437/stat : 13437 (toysat) R 13434 13437 11495 0 -1 4202496 267765 0 0 0 16184 42 0 0 20 0 4 0 10779781 1338576896 268349 33554432000 4194304 16246674 140736449038336 140736449020224 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 326801 268349 792 2943 0 323695 0
[pid=13437/tid=13438] ppid=13434 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13438/stat : 13438 (toysat) S 13434 13437 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779782 1338576896 268349 33554432000 4194304 16246674 140736449038336 140092327832816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13437/tid=13439] ppid=13434 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13439/stat : 13439 (toysat) S 13434 13437 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779782 1338576896 268349 33554432000 4194304 16246674 140736449038336 140092317342960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13437/tid=13440] ppid=13434 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13440/stat : 13440 (toysat) S 13434 13437 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10779782 1338576896 268349 33554432000 4194304 16246674 140736449038336 140092236623024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1307204

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13437 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+166.4 s]
/proc/loadavg: 2.07 2.15 2.13 3/183 13492
/proc/meminfo: memFree=28278220/32872528 swapFree=1102192/1183952
[pid=13437] ppid=13434 vsize=1307204 CPUtime=166.36 cores=0,2,4,6
/proc/13437/stat : 13437 (toysat) R 13434 13437 11495 0 -1 4202496 267765 0 0 0 16594 42 0 0 20 0 4 0 10779781 1338576896 268349 33554432000 4194304 16246674 140736449038336 140736449020224 13194300 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 326801 268349 792 2943 0 323695 0
[pid=13437/tid=13438] ppid=13434 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13438/stat : 13438 (toysat) S 13434 13437 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779782 1338576896 268349 33554432000 4194304 16246674 140736449038336 140092327832816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13437/tid=13439] ppid=13434 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13439/stat : 13439 (toysat) S 13434 13437 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779782 1338576896 268349 33554432000 4194304 16246674 140736449038336 140092317342960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13437/tid=13440] ppid=13434 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13440/stat : 13440 (toysat) S 13434 13437 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10779782 1338576896 268349 33554432000 4194304 16246674 140736449038336 140092236623024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 166.36
Current children cumulated vsize (KiB) 1307204

[startup+169.6 s]
/proc/loadavg: 2.07 2.15 2.12 3/183 13492
/proc/meminfo: memFree=28277956/32872528 swapFree=1102192/1183952
[pid=13437] ppid=13434 vsize=1307204 CPUtime=169.57 cores=0,2,4,6
/proc/13437/stat : 13437 (toysat) R 13434 13437 11495 0 -1 4202496 267766 0 0 0 16914 43 0 0 20 0 4 0 10779781 1338576896 268349 33554432000 4194304 16246674 140736449038336 140736449020224 5823627 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 326801 268349 792 2943 0 323695 0
[pid=13437/tid=13438] ppid=13434 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13438/stat : 13438 (toysat) S 13434 13437 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779782 1338576896 268349 33554432000 4194304 16246674 140736449038336 140092327832816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13437/tid=13439] ppid=13434 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13439/stat : 13439 (toysat) S 13434 13437 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779782 1338576896 268349 33554432000 4194304 16246674 140736449038336 140092317342960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13437/tid=13440] ppid=13434 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13440/stat : 13440 (toysat) S 13434 13437 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10779782 1338576896 268349 33554432000 4194304 16246674 140736449038336 140092236623024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 169.57
Current children cumulated vsize (KiB) 1307204

[startup+170.4 s]
/proc/loadavg: 2.07 2.15 2.12 3/183 13492
/proc/meminfo: memFree=28277956/32872528 swapFree=1102192/1183952
[pid=13437] ppid=13434 vsize=1307204 CPUtime=170.37 cores=0,2,4,6
/proc/13437/stat : 13437 (toysat) R 13434 13437 11495 0 -1 4202496 267766 0 0 0 16994 43 0 0 20 0 4 0 10779781 1338576896 268349 33554432000 4194304 16246674 140736449038336 140736449020224 6020887 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 326801 268349 792 2943 0 323695 0
[pid=13437/tid=13438] ppid=13434 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13438/stat : 13438 (toysat) S 13434 13437 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779782 1338576896 268349 33554432000 4194304 16246674 140736449038336 140092327832816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13437/tid=13439] ppid=13434 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13439/stat : 13439 (toysat) S 13434 13437 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779782 1338576896 268349 33554432000 4194304 16246674 140736449038336 140092317342960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13437/tid=13440] ppid=13434 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13440/stat : 13440 (toysat) S 13434 13437 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10779782 1338576896 268349 33554432000 4194304 16246674 140736449038336 140092236623024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 170.37
Current children cumulated vsize (KiB) 1307204

[startup+170.8 s]
/proc/loadavg: 2.07 2.15 2.12 3/183 13492
/proc/meminfo: memFree=28278204/32872528 swapFree=1102192/1183952
[pid=13437] ppid=13434 vsize=1307204 CPUtime=170.77 cores=0,2,4,6
/proc/13437/stat : 13437 (toysat) R 13434 13437 11495 0 -1 4202496 267766 0 0 0 17034 43 0 0 20 0 4 0 10779781 1338576896 268349 33554432000 4194304 16246674 140736449038336 140736449020224 6837252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 326801 268349 792 2943 0 323695 0
[pid=13437/tid=13438] ppid=13434 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13438/stat : 13438 (toysat) S 13434 13437 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10779782 1338576896 268349 33554432000 4194304 16246674 140736449038336 140092327832816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13437/tid=13439] ppid=13434 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13439/stat : 13439 (toysat) S 13434 13437 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10779782 1338576896 268349 33554432000 4194304 16246674 140736449038336 140092317342960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13437/tid=13440] ppid=13434 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13437/task/13440/stat : 13440 (toysat) S 13434 13437 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10779782 1338576896 268349 33554432000 4194304 16246674 140736449038336 140092236623024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 170.77
Current children cumulated vsize (KiB) 1307204

[startup+171 s]
/proc/loadavg: 2.07 2.15 2.12 3/183 13492
/proc/meminfo: memFree=28278204/32872528 swapFree=1102192/1183952
[pid=13437] ppid=13434 vsize=0 CPUtime=170.97 cores=0,2,4,6
/proc/13437/stat : 13437 (toysat) Z 13434 13437 11495 0 -1 4202508 267771 0 0 0 17049 48 0 0 20 0 2 0 10779781 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13437/statm: 0 0 0 0 0 0 0
[pid=13437/tid=13440] ppid=13434 vsize=0 CPUtime=0.03 cores=0,2,4,6
/proc/13437/task/13440/stat : 13440 (toysat) R 13434 13437 11495 0 -1 4203588 1 0 0 0 0 3 0 0 20 0 2 0 10779782 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 170.97
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 171.009
CPU time (s): 170.972
CPU user time (s): 170.491
CPU system time (s): 0.480926
CPU usage (%): 99.9783
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 170.491
system time used= 0.480926
maximum resident set size= 1073408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267771
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= 24
involuntary context switches= 187

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.564914 second user time and 0.750885 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-30 22:11:46
IDJOB=4122746
IDBENCH=111315
IDSOLVER=2542
FILE ID=node115/4122746-1467317506
RUNJOBID= node115-1467308742-11511
PBS_JOBID= 20005276
Free space on /tmp= 71648 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n84-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4122746-1467317506/watcher-4122746-1467317506 -o /tmp/evaluation-result-4122746-1467317506/solver-4122746-1467317506 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467308742-11511 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122746-1467317506.opb

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

MD5SUM BENCH= 1eff1ede3574710522aaf0f953f48c8d
RANDOM SEED=1550300576

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.087
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.56
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.087
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.54
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.087
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.087
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.087
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.087
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.087
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:        29354108 kB
Buffers:          161864 kB
Cached:           344656 kB
SwapCached:            0 kB
Active:          1370400 kB
Inactive:         222068 kB
Active(anon):    1081868 kB
Inactive(anon):     6556 kB
Active(file):     288532 kB
Inactive(file):   215512 kB
Unevictable:     1183952 kB
Mlocked:         1102192 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16320 kB
Writeback:             0 kB
AnonPages:       2269472 kB
Mapped:            17084 kB
Shmem:               204 kB
Slab:             608008 kB
SReclaimable:      52104 kB
SUnreclaim:       555904 kB
KernelStack:        1464 kB
PageTables:         8880 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2405588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    206848 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= 71632 MiB
End job on node115 at 2016-06-30 22:14:37