Trace number 4101321

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-02UNSAT 129.436 129.46

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-misc05.opb
MD5SUMbada111af8c03eca9b9736a7d2e9e703
Bench CategoryOPT-SMALLINT (optimisation, small integers)
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 benchmark0.027995
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables1940
Total number of constraints300
Number of constraints which are clauses155
Number of constraints which are cardinality constraints (but not clauses)8
Number of constraints which are nor clauses,nor cardinality constraints137
Minimum length of a constraint2
Maximum length of a constraint451
Number of terms in the objective function 31
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524318
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524652
Number of bits of the biggest sum of numbers20
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-18T06:03:14+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-4101321-1466222594.opb"]
0.00/0.01	c use --random-gen="2601847780 160276988 1077391160 705638348 3914269246 1579457473 2839733495 768597329 554290336 1021951931 1783567717 4289807588 332890313 3040996190 3930784848 3009476224 1878574725 1092323865 2125077001 653822514 30515201 2959312232 329024544 3459569593 1847820822 1823818144 683545019 4132490354 3577103091 2349247251 2042245052 3979124116 1864203987 3167733143 624342322 3167121151 3348712203 1281332287 3281960824 397814788 1213878460 2854035216 1315739277 2438492699 3015461987 1024258563 3400899065 1126863359 466461969 368670283 226973736 4074923958 3306310175 3007439304 4086070811 2530986413 3912877773 1000725276 3653307649 2272847205 4214148900 1775973249 3451041999 3405499216 1373362031 257111834 3294183029 1885340873 3210393682 3448633518 1147022780 1997002476 3982538181 3654887722 2532223709 2196407185 2355113814 1858862974 1552149550 2953670872 4202837093 696861552 3861302698 810399252 3053465971 1224533426 1876737310 82017873 941008094 1447532232 307032980 2152798885 2098352199 2068942450 1996728589 1662570936 2866051609 3387926545 1976334149 4163598389 4146772976 1234026989 2893090192 3689792516 492153788 257169153 2166060870 3684275573 1202741099 2503283326 1917540935 1630182144 2994442967 3975287388 93042775 701157309 2194842636 519892120 1084918776 1720518623 3316650283 4138529977 1134561702 3510026712 1046089681 2485764017 3640777057 1959950856 4018251637 2041081669 838040446 2095048150 3479269880 4070587460 1203791679 1986456371 623612036 2902805144 234853379 1929467773 140188587 467809153 1406215831 1696310164 1854346180 3582054812 3591280658 4204626916 458918000 3881199421 3973762503 2761380756 3168772280 3680999880 697689095 3948442448 2056815171 4211052632 2029084528 2149446187 919367001 3403421639 1272867119 4174173564 198437223 2633701071 3923108734 2048193019 3857034658 1813573494 909533569 3756995411 1831491564 261091954 1370199983 2971436309 406866418 334633258 1814163978 801474835 232703003 3742429200 1515304454 1161363165 1053157467 808717847 3769347143 1199677729 3368059059 2234780611 895161686 866786819 388249697 3153681109 2963062185 2465398818 2357274972 4177688891 3772472020 88771796 363463179 1067204616 2035681586 2799783252 4143880141 1646285472 3800100835 2791797647 2721463058 1690587693 3644160034 1600783282 2114539686 3811486618 1137330682 2187118501 2523724063 2889256515 1473933185 2998021304 2478764850 4079774130 11525496 3468655523 3720677010 1523618526 4117043639 2853518599 2374346741 3615297202 871735546 2006115403 809685446 528266405 2490571401 3578731548 3229032778 3904824919 3742898517 520146877 4254785865 330487223 1579623110 4078858192 2616803921 48094361 1831413364 1780384126 2248237029 3564065656 1359633459 3705671311 3370360590 2556227256 567351169 1166226614 255 362436" option to reproduce the execution
0.00/0.03	c #vars 1940
0.00/0.03	c #constraints 300
0.59/0.68	c BCD2: Hardening is enabled.
0.59/0.68	c BCD2: BiasedSearch is enabled.
0.59/0.68	c Solving starts ...
0.59/0.68	c ============================[ Search Statistics ]============================
0.59/0.68	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.68	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.68	c =============================================================================
0.59/0.68	c  0.0s |       0 |        0 |        0 |      756      0 |      662 |        0
0.69/0.74	c  0.1s |       1 |      117 |      100 |      756      0 |      662 |       30
0.79/0.86	c  0.2s |       2 |      391 |      250 |      832      0 |      681 |       32
1.49/1.51	c  0.8s |       3 |     1322 |      475 |      916      0 |      682 |       32
2.29/2.33	c  1.7s |       4 |     1985 |      813 |     1008      0 |      682 |       32
2.89/2.93	c  2.3s |       5 |     2695 |     1320 |     1109      0 |      682 |       32
3.39/3.42	c  2.7s |       6 |     3923 |     2081 |     1342      0 |      682 |       32
4.68/4.79	c  4.1s |       7 |     5652 |     3223 |     1477      1 |      682 |       32
6.60/6.61	c  5.9s |       8 |     7669 |     4936 |     1625      3 |      682 |       32
8.69/8.72	c  8.0s |       8 |     9415 |     6036 |     1625      3 |      682 |       32
10.79/10.89	c 10.2s |       8 |    10539 |     7036 |     1625      4 |      682 |       32
11.49/11.57	c 10.9s |       9 |    11008 |     7506 |     1788      4 |      682 |       32
13.49/13.59	c 12.9s |       9 |    12847 |     9006 |     1788      5 |      682 |       32
15.59/15.67	c 15.0s |       9 |    14293 |    10406 |     1788      6 |      682 |       32
16.89/16.93	c 16.3s |      10 |    15422 |    11361 |     1967      6 |      682 |       32
18.89/18.95	c 18.3s |      10 |    17684 |    12461 |     1967      7 |      682 |       32
20.89/21.00	c 20.3s |      10 |    18911 |    13561 |     1967      8 |      682 |       32
23.19/23.21	c 22.5s |      10 |    20120 |    14661 |     1967      8 |      682 |       32
25.29/25.32	c 24.6s |      10 |    21219 |    15661 |     1967      9 |      682 |       32
27.39/27.41	c 26.7s |      10 |    22305 |    16661 |     1967      9 |      682 |       32
28.69/28.72	c 28.0s |      11 |    22800 |    17144 |     2164     10 |      682 |       32
30.69/30.74	c 30.1s |      11 |    25286 |    18844 |     2164     11 |      682 |       32
32.69/32.79	c 32.1s |      11 |    27424 |    19944 |     2164     11 |      682 |       32
34.89/34.92	c 34.2s |      11 |    28563 |    20644 |     2164     12 |      682 |       32
36.89/36.97	c 36.3s |      11 |    30917 |    22444 |     2164     13 |      682 |       32
39.29/39.34	c 38.7s |      11 |    31322 |    22744 |     2164     13 |      682 |       32
41.68/41.78	c 41.1s |      11 |    31674 |    23044 |     2164     13 |      682 |       32
43.78/43.88	c 43.2s |      11 |    33415 |    24544 |     2164     14 |      682 |       32
45.88/45.93	c 45.3s |      12 |    34725 |    25819 |     2381     15 |      682 |       32
47.98/48.04	c 47.4s |      12 |    37248 |    27819 |     2381     16 |      682 |       32
49.98/50.08	c 49.4s |      12 |    39013 |    29519 |     2381     17 |      682 |       32
52.08/52.17	c 51.5s |      12 |    40909 |    31219 |     2381     18 |      682 |       32
54.08/54.18	c 53.5s |      12 |    42455 |    32719 |     2381     18 |      682 |       32
56.19/56.23	c 55.6s |      12 |    44043 |    34219 |     2381     19 |      682 |       32
58.18/58.25	c 57.6s |      12 |    45657 |    35719 |     2381     20 |      682 |       32
60.18/60.27	c 59.6s |      12 |    47247 |    37219 |     2381     21 |      682 |       32
62.28/62.34	c 61.7s |      12 |    48864 |    38719 |     2620     22 |      682 |       32
62.38/62.48	c 61.8s |      13 |    48982 |    38832 |     2620     22 |      682 |       32
64.48/64.58	c 63.9s |      13 |    51218 |    40032 |     2620     22 |      682 |       32
66.58/66.64	c 66.0s |      13 |    53553 |    41832 |     2620     23 |      682 |       32
68.58/68.66	c 68.0s |      13 |    56604 |    43332 |     2620     24 |      682 |       32
70.78/70.80	c 70.1s |      13 |    58538 |    44432 |     2620     24 |      682 |       32
72.98/73.05	c 72.4s |      13 |    60026 |    45332 |     2620     25 |      682 |       32
75.08/75.10	c 74.4s |      13 |    60558 |    45832 |     2620     25 |      682 |       32
77.38/77.43	c 76.8s |      13 |    61185 |    46432 |     2620     25 |      682 |       32
79.68/79.73	c 79.1s |      13 |    61786 |    47032 |     2620     25 |      682 |       32
82.08/82.12	c 81.4s |      13 |    62386 |    47632 |     2620     26 |      682 |       32
84.38/84.48	c 83.8s |      13 |    62990 |    48232 |     2620     26 |      682 |       32
86.78/86.86	c 86.2s |      13 |    63594 |    48832 |     2620     26 |      682 |       32
89.18/89.29	c 88.6s |      13 |    64191 |    49432 |     2620     27 |      682 |       32
91.28/91.31	c 90.6s |      13 |    64695 |    49932 |     2620     27 |      682 |       32
93.67/93.70	c 93.0s |      13 |    65296 |    50532 |     2620     27 |      682 |       32
95.68/95.72	c 95.0s |      13 |    65798 |    51032 |     2620     27 |      682 |       32
97.77/97.81	c 97.1s |      13 |    66303 |    51532 |     2620     28 |      682 |       32
99.77/99.82	c 99.1s |      13 |    66805 |    52032 |     2620     28 |      682 |       32
102.07/102.15	c  101s |      13 |    67407 |    52632 |     2620     28 |      682 |       32
104.48/104.51	c  103s |      13 |    68011 |    53232 |     2620     28 |      682 |       32
106.47/106.58	c  105s |      13 |    68514 |    53732 |     2620     29 |      682 |       32
108.88/108.97	c  108s |      13 |    69119 |    54332 |     2620     29 |      682 |       32
111.27/111.36	c  110s |      13 |    69721 |    54932 |     2620     29 |      682 |       32
113.28/113.40	c  112s |      13 |    70223 |    55432 |     2620     29 |      682 |       32
115.48/115.51	c  114s |      13 |    70722 |    55932 |     2620     30 |      682 |       32
117.48/117.57	c  116s |      13 |    71224 |    56432 |     2620     30 |      682 |       32
119.88/119.96	c  119s |      13 |    71827 |    57032 |     2620     30 |      682 |       32
121.87/121.98	c  121s |      13 |    72322 |    57532 |     2620     30 |      682 |       32
123.97/124.07	c  123s |      13 |    72824 |    58032 |     2883     31 |      682 |       32
125.27/125.35	c  124s |      14 |    73145 |    58352 |     2883     31 |      682 |       32
127.37/127.40	c  126s |      14 |    74736 |    59652 |     2883     31 |      682 |       32
129.27/129.39	c  128s |      14 |    76675 |    61325 |     2883     32 |      751 |       32
129.27/129.39	c #cpu_time = 128.385s
129.27/129.39	c #wall_clock_time = 128.713s
129.27/129.39	c #decision = 76675
129.27/129.39	c #random_decision = 249
129.27/129.39	c #conflict = 61325
129.27/129.39	c #restart = 14
129.27/129.39	s UNSATISFIABLE
129.27/129.39	c total CPU time = 129.062s
129.27/129.39	c total wall clock time = 129.392s

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

pid=17398
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.16 2.16 2.15 4/179 17401
/proc/meminfo: memFree=29496608/32872528 swapFree=1191052/1305516
[pid=17401] ppid=17398 vsize=720452 CPUtime=0 cores=0,2,4,6
/proc/17401/stat : 17401 (toysat) R 17398 17401 14522 0 -1 4202496 2688 0 0 0 0 0 0 0 20 0 4 0 24306062 737742848 3049 33554432000 4194304 16246674 140736076734096 140736076733520 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17401/statm: 180625 3057 442 2943 0 177519 0
[pid=17401/tid=17402] ppid=17398 vsize=736836 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17402/stat : 17402 (toysat) S 17398 17401 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24306062 754520064 3113 33554432000 4194304 16246674 140736076734096 139775230061808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17401/tid=17403] ppid=17398 vsize=740932 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17403/stat : 17403 (toysat) S 17398 17401 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24306062 758714368 3129 33554432000 4194304 16246674 140736076734096 139775147224304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17401/tid=17404] ppid=17398 vsize=746052 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17404/stat : 17404 (toysat) S 17398 17401 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24306062 763957248 3146 33554432000 4194304 16246674 140736076734096 139775136750768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100216 s]
/proc/loadavg: 2.16 2.16 2.15 4/179 17401
/proc/meminfo: memFree=29496608/32872528 swapFree=1191052/1305516
[pid=17401] ppid=17398 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/17401/stat : 17401 (toysat) R 17398 17401 14522 0 -1 4202496 30722 0 0 0 5 4 0 0 20 0 4 0 24306062 1247350784 31073 33554432000 4194304 16246674 140736076734096 140736076715968 12429797 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17401/statm: 304529 31078 636 2943 0 301423 0
[pid=17401/tid=17402] ppid=17398 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17402/stat : 17402 (toysat) S 17398 17401 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24306062 1247350784 31081 33554432000 4194304 16246674 140736076734096 139775230061808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17401/tid=17403] ppid=17398 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17403/stat : 17403 (toysat) S 17398 17401 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24306062 1247350784 31085 33554432000 4194304 16246674 140736076734096 139775147224304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17401/tid=17404] ppid=17398 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17404/stat : 17404 (toysat) S 17398 17401 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24306062 1247350784 31088 33554432000 4194304 16246674 140736076734096 139775136750768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200498 s]
/proc/loadavg: 2.16 2.16 2.15 4/179 17401
/proc/meminfo: memFree=29496608/32872528 swapFree=1191052/1305516
[pid=17401] ppid=17398 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/17401/stat : 17401 (toysat) R 17398 17401 14522 0 -1 4202496 56014 0 0 0 11 8 0 0 20 0 4 0 24306062 1247350784 56365 33554432000 4194304 16246674 140736076734096 140736076715968 12449130 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17401/statm: 304529 56379 637 2943 0 301423 0
[pid=17401/tid=17402] ppid=17398 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17402/stat : 17402 (toysat) S 17398 17401 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24306062 1247350784 56387 33554432000 4194304 16246674 140736076734096 139775230061808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17401/tid=17403] ppid=17398 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17403/stat : 17403 (toysat) S 17398 17401 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24306062 1247350784 56396 33554432000 4194304 16246674 140736076734096 139775147224304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17401/tid=17404] ppid=17398 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17404/stat : 17404 (toysat) S 17398 17401 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24306062 1247350784 56405 33554432000 4194304 16246674 140736076734096 139775136750768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.30046 s]
/proc/loadavg: 2.16 2.16 2.15 4/179 17401
/proc/meminfo: memFree=29496608/32872528 swapFree=1191052/1305516
[pid=17401] ppid=17398 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/17401/stat : 17401 (toysat) R 17398 17401 14522 0 -1 4202496 78659 0 0 0 18 11 0 0 20 0 4 0 24306062 1247350784 79010 33554432000 4194304 16246674 140736076734096 140736076715968 12449399 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17401/statm: 304529 79025 638 2943 0 301423 0
[pid=17401/tid=17402] ppid=17398 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17402/stat : 17402 (toysat) S 17398 17401 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24306062 1247350784 79035 33554432000 4194304 16246674 140736076734096 139775230061808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17401/tid=17403] ppid=17398 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17403/stat : 17403 (toysat) S 17398 17401 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24306062 1247350784 79046 33554432000 4194304 16246674 140736076734096 139775147224304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17401/tid=17404] ppid=17398 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17404/stat : 17404 (toysat) S 17398 17401 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24306062 1247350784 79056 33554432000 4194304 16246674 140736076734096 139775136750768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700403 s]
/proc/loadavg: 2.16 2.16 2.15 4/179 17401
/proc/meminfo: memFree=29496608/32872528 swapFree=1191052/1305516
[pid=17401] ppid=17398 vsize=1222212 CPUtime=0.69 cores=0,2,4,6
/proc/17401/stat : 17401 (toysat) R 17398 17401 14522 0 -1 4202496 129813 0 0 0 51 18 0 0 20 0 4 0 24306062 1251545088 130120 33554432000 4194304 16246674 140736076734096 140736076733408 5599933 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17401/statm: 305553 130120 896 2943 0 302447 0
[pid=17401/tid=17402] ppid=17398 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17402/stat : 17402 (toysat) S 17398 17401 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24306062 1251545088 130120 33554432000 4194304 16246674 140736076734096 139775230061808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17401/tid=17403] ppid=17398 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17403/stat : 17403 (toysat) S 17398 17401 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24306062 1251545088 130120 33554432000 4194304 16246674 140736076734096 139775147224304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17401/tid=17404] ppid=17398 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17404/stat : 17404 (toysat) S 17398 17401 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24306062 1251545088 130120 33554432000 4194304 16246674 140736076734096 139775136750768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1222212

[startup+1.50039 s]
/proc/loadavg: 2.16 2.16 2.15 4/183 17405
/proc/meminfo: memFree=28977836/32872528 swapFree=1191052/1305516
[pid=17401] ppid=17398 vsize=1222212 CPUtime=1.49 cores=0,2,4,6
/proc/17401/stat : 17401 (toysat) R 17398 17401 14522 0 -1 4202496 170214 0 0 0 125 24 0 0 20 0 4 0 24306062 1251545088 170521 33554432000 4194304 16246674 140736076734096 140736076715968 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17401/statm: 305553 170526 896 2943 0 302447 0
[pid=17401/tid=17402] ppid=17398 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17402/stat : 17402 (toysat) S 17398 17401 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24306062 1251545088 170529 33554432000 4194304 16246674 140736076734096 139775230061808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17401/tid=17403] ppid=17398 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17403/stat : 17403 (toysat) S 17398 17401 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24306062 1251545088 170532 33554432000 4194304 16246674 140736076734096 139775147224304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17401/tid=17404] ppid=17398 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17404/stat : 17404 (toysat) S 17398 17401 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24306062 1251545088 170535 33554432000 4194304 16246674 140736076734096 139775136750768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1222212

[startup+3.1004 s]
/proc/loadavg: 2.16 2.16 2.15 4/183 17405
/proc/meminfo: memFree=28431060/32872528 swapFree=1191052/1305516
[pid=17401] ppid=17398 vsize=1301060 CPUtime=3.09 cores=0,2,4,6
/proc/17401/stat : 17401 (toysat) R 17398 17401 14522 0 -1 4202496 266410 0 0 0 273 36 0 0 20 0 4 0 24306062 1332285440 266717 33554432000 4194304 16246674 140736076734096 140736076715968 5722960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17401/statm: 325265 266717 901 2943 0 322159 0
[pid=17401/tid=17402] ppid=17398 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17402/stat : 17402 (toysat) S 17398 17401 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24306062 1332285440 266717 33554432000 4194304 16246674 140736076734096 139775230061808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17401/tid=17403] ppid=17398 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17403/stat : 17403 (toysat) S 17398 17401 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24306062 1332285440 266717 33554432000 4194304 16246674 140736076734096 139775147224304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17401/tid=17404] ppid=17398 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17404/stat : 17404 (toysat) S 17398 17401 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24306062 1332285440 266717 33554432000 4194304 16246674 140736076734096 139775136750768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1301060

[startup+6.3004 s]
/proc/loadavg: 2.15 2.16 2.15 4/183 17405
/proc/meminfo: memFree=28424348/32872528 swapFree=1191052/1305516
[pid=17401] ppid=17398 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/17401/stat : 17401 (toysat) R 17398 17401 14522 0 -1 4202496 268225 0 0 0 592 37 0 0 20 0 4 0 24306062 1339625472 268532 33554432000 4194304 16246674 140736076734096 140736076715968 6012036 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17401/statm: 327057 268532 906 2943 0 323951 0
[pid=17401/tid=17402] ppid=17398 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17402/stat : 17402 (toysat) S 17398 17401 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24306062 1339625472 268532 33554432000 4194304 16246674 140736076734096 139775230061808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17401/tid=17403] ppid=17398 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17403/stat : 17403 (toysat) S 17398 17401 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24306062 1339625472 268532 33554432000 4194304 16246674 140736076734096 139775147224304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17401/tid=17404] ppid=17398 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17404/stat : 17404 (toysat) S 17398 17401 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24306062 1339625472 268532 33554432000 4194304 16246674 140736076734096 139775136750768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.14 2.15 2.15 3/183 17405
/proc/meminfo: memFree=28421884/32872528 swapFree=1191052/1305516
[pid=17401] ppid=17398 vsize=1310276 CPUtime=12.69 cores=0,2,4,6
/proc/17401/stat : 17401 (toysat) R 17398 17401 14522 0 -1 4202496 268650 0 0 0 1232 37 0 0 20 0 4 0 24306062 1341722624 268957 33554432000 4194304 16246674 140736076734096 140736076715968 5711338 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17401/statm: 327569 268957 907 2943 0 324463 0
[pid=17401/tid=17402] ppid=17398 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17402/stat : 17402 (toysat) S 17398 17401 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24306062 1341722624 268957 33554432000 4194304 16246674 140736076734096 139775230061808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17401/tid=17403] ppid=17398 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17403/stat : 17403 (toysat) S 17398 17401 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24306062 1341722624 268957 33554432000 4194304 16246674 140736076734096 139775147224304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17401/tid=17404] ppid=17398 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17404/stat : 17404 (toysat) S 17398 17401 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24306062 1341722624 268957 33554432000 4194304 16246674 140736076734096 139775136750768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.10 2.14 2.15 3/183 17405
/proc/meminfo: memFree=28415848/32872528 swapFree=1191052/1305516
[pid=17401] ppid=17398 vsize=1316420 CPUtime=25.49 cores=0,2,4,6
/proc/17401/stat : 17401 (toysat) R 17398 17401 14522 0 -1 4202496 270221 0 0 0 2512 37 0 0 20 0 4 0 24306062 1348014080 270528 33554432000 4194304 16246674 140736076734096 140736076715968 5722683 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17401/statm: 329105 270528 907 2943 0 325999 0
[pid=17401/tid=17402] ppid=17398 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17402/stat : 17402 (toysat) S 17398 17401 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24306062 1348014080 270528 33554432000 4194304 16246674 140736076734096 139775230061808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17401/tid=17403] ppid=17398 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17403/stat : 17403 (toysat) S 17398 17401 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24306062 1348014080 270528 33554432000 4194304 16246674 140736076734096 139775147224304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17401/tid=17404] ppid=17398 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17404/stat : 17404 (toysat) S 17398 17401 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24306062 1348014080 270528 33554432000 4194304 16246674 140736076734096 139775136750768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1316420

[startup+51.1005 s]
/proc/loadavg: 2.07 2.13 2.14 3/183 17405
/proc/meminfo: memFree=28415604/32872528 swapFree=1191052/1305516
[pid=17401] ppid=17398 vsize=1316420 CPUtime=51.08 cores=0,2,4,6
/proc/17401/stat : 17401 (toysat) R 17398 17401 14522 0 -1 4202496 270293 0 0 0 5071 37 0 0 20 0 4 0 24306062 1348014080 270600 33554432000 4194304 16246674 140736076734096 140736076715968 5600869 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17401/statm: 329105 270600 907 2943 0 325999 0
[pid=17401/tid=17402] ppid=17398 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17402/stat : 17402 (toysat) S 17398 17401 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24306062 1348014080 270600 33554432000 4194304 16246674 140736076734096 139775230061808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17401/tid=17403] ppid=17398 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17403/stat : 17403 (toysat) S 17398 17401 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24306062 1348014080 270600 33554432000 4194304 16246674 140736076734096 139775147224304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17401/tid=17404] ppid=17398 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17404/stat : 17404 (toysat) S 17398 17401 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24306062 1348014080 270600 33554432000 4194304 16246674 140736076734096 139775136750768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1316420

[startup+102.3 s]
/proc/loadavg: 2.10 2.12 2.14 3/183 17406
/proc/meminfo: memFree=28412180/32872528 swapFree=1191052/1305516
[pid=17401] ppid=17398 vsize=1320516 CPUtime=102.28 cores=0,2,4,6
/proc/17401/stat : 17401 (toysat) R 17398 17401 14522 0 -1 4202496 271107 0 0 0 10191 37 0 0 20 0 4 0 24306062 1352208384 271414 33554432000 4194304 16246674 140736076734096 140736076715968 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17401/statm: 330129 271414 907 2943 0 327023 0
[pid=17401/tid=17402] ppid=17398 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17402/stat : 17402 (toysat) S 17398 17401 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24306062 1352208384 271414 33554432000 4194304 16246674 140736076734096 139775230061808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17401/tid=17403] ppid=17398 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17403/stat : 17403 (toysat) S 17398 17401 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24306062 1352208384 271414 33554432000 4194304 16246674 140736076734096 139775147224304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17401/tid=17404] ppid=17398 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17404/stat : 17404 (toysat) S 17398 17401 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24306062 1352208384 271414 33554432000 4194304 16246674 140736076734096 139775136750768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1320516

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

[startup+102.408 s]
/proc/loadavg: 2.10 2.12 2.14 3/183 17406
/proc/meminfo: memFree=28412180/32872528 swapFree=1191052/1305516
[pid=17401] ppid=17398 vsize=1320516 CPUtime=102.38 cores=0,2,4,6
/proc/17401/stat : 17401 (toysat) R 17398 17401 14522 0 -1 4202496 271107 0 0 0 10201 37 0 0 20 0 4 0 24306062 1352208384 271414 33554432000 4194304 16246674 140736076734096 140736076715968 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17401/statm: 330129 271414 907 2943 0 327023 0
[pid=17401/tid=17402] ppid=17398 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17402/stat : 17402 (toysat) S 17398 17401 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24306062 1352208384 271414 33554432000 4194304 16246674 140736076734096 139775230061808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17401/tid=17403] ppid=17398 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17403/stat : 17403 (toysat) S 17398 17401 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24306062 1352208384 271414 33554432000 4194304 16246674 140736076734096 139775147224304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17401/tid=17404] ppid=17398 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17404/stat : 17404 (toysat) S 17398 17401 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24306062 1352208384 271414 33554432000 4194304 16246674 140736076734096 139775136750768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 1320516

[startup+115.2 s]
/proc/loadavg: 2.07 2.12 2.14 4/183 17406
/proc/meminfo: memFree=28412308/32872528 swapFree=1191052/1305516
[pid=17401] ppid=17398 vsize=1320516 CPUtime=115.17 cores=0,2,4,6
/proc/17401/stat : 17401 (toysat) R 17398 17401 14522 0 -1 4202496 271107 0 0 0 11480 37 0 0 20 0 4 0 24306062 1352208384 271414 33554432000 4194304 16246674 140736076734096 140736076715968 5711439 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17401/statm: 330129 271414 907 2943 0 327023 0
[pid=17401/tid=17402] ppid=17398 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17402/stat : 17402 (toysat) S 17398 17401 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24306062 1352208384 271414 33554432000 4194304 16246674 140736076734096 139775230061808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17401/tid=17403] ppid=17398 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17403/stat : 17403 (toysat) S 17398 17401 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24306062 1352208384 271414 33554432000 4194304 16246674 140736076734096 139775147224304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17401/tid=17404] ppid=17398 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17404/stat : 17404 (toysat) S 17398 17401 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24306062 1352208384 271414 33554432000 4194304 16246674 140736076734096 139775136750768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 115.17
Current children cumulated vsize (KiB) 1320516

[startup+121.6 s]
/proc/loadavg: 2.07 2.12 2.14 3/183 17407
/proc/meminfo: memFree=28396056/32872528 swapFree=1191052/1305516
[pid=17401] ppid=17398 vsize=1334852 CPUtime=121.57 cores=0,2,4,6
/proc/17401/stat : 17401 (toysat) R 17398 17401 14522 0 -1 4202496 274876 0 0 0 12119 38 0 0 20 0 4 0 24306062 1366888448 275183 33554432000 4194304 16246674 140736076734096 140736076715968 5711423 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17401/statm: 333713 275183 907 2943 0 330607 0
[pid=17401/tid=17402] ppid=17398 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17402/stat : 17402 (toysat) S 17398 17401 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24306062 1366888448 275183 33554432000 4194304 16246674 140736076734096 139775230061808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17401/tid=17403] ppid=17398 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17403/stat : 17403 (toysat) S 17398 17401 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24306062 1366888448 275183 33554432000 4194304 16246674 140736076734096 139775147224304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17401/tid=17404] ppid=17398 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17404/stat : 17404 (toysat) S 17398 17401 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24306062 1366888448 275183 33554432000 4194304 16246674 140736076734096 139775136750768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 121.57
Current children cumulated vsize (KiB) 1334852

[startup+124.8 s]
/proc/loadavg: 2.06 2.11 2.13 3/183 17407
/proc/meminfo: memFree=28394328/32872528 swapFree=1191052/1305516
[pid=17401] ppid=17398 vsize=1336900 CPUtime=124.77 cores=0,2,4,6
/proc/17401/stat : 17401 (toysat) R 17398 17401 14522 0 -1 4202496 275402 0 0 0 12439 38 0 0 20 0 4 0 24306062 1368985600 275709 33554432000 4194304 16246674 140736076734096 140736076717088 5712248 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17401/statm: 334225 275709 907 2943 0 331119 0
[pid=17401/tid=17402] ppid=17398 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17402/stat : 17402 (toysat) S 17398 17401 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24306062 1368985600 275709 33554432000 4194304 16246674 140736076734096 139775230061808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17401/tid=17403] ppid=17398 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17403/stat : 17403 (toysat) S 17398 17401 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24306062 1368985600 275709 33554432000 4194304 16246674 140736076734096 139775147224304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17401/tid=17404] ppid=17398 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17404/stat : 17404 (toysat) S 17398 17401 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24306062 1368985600 275709 33554432000 4194304 16246674 140736076734096 139775136750768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 124.77
Current children cumulated vsize (KiB) 1336900

[startup+128 s]
/proc/loadavg: 2.06 2.11 2.13 3/183 17407
/proc/meminfo: memFree=28393348/32872528 swapFree=1191052/1305516
[pid=17401] ppid=17398 vsize=1337924 CPUtime=127.97 cores=0,2,4,6
/proc/17401/stat : 17401 (toysat) R 17398 17401 14522 0 -1 4202496 275669 0 0 0 12759 38 0 0 20 0 4 0 24306062 1370034176 275976 33554432000 4194304 16246674 140736076734096 140736076715968 5721402 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17401/statm: 334481 275976 907 2943 0 331375 0
[pid=17401/tid=17402] ppid=17398 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17402/stat : 17402 (toysat) S 17398 17401 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24306062 1370034176 275976 33554432000 4194304 16246674 140736076734096 139775230061808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17401/tid=17403] ppid=17398 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17403/stat : 17403 (toysat) S 17398 17401 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24306062 1370034176 275976 33554432000 4194304 16246674 140736076734096 139775147224304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17401/tid=17404] ppid=17398 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17404/stat : 17404 (toysat) S 17398 17401 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24306062 1370034176 275976 33554432000 4194304 16246674 140736076734096 139775136750768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 127.97
Current children cumulated vsize (KiB) 1337924

[startup+128.807 s]
/proc/loadavg: 2.06 2.11 2.13 3/183 17407
/proc/meminfo: memFree=28393348/32872528 swapFree=1191052/1305516
[pid=17401] ppid=17398 vsize=1337924 CPUtime=128.78 cores=0,2,4,6
/proc/17401/stat : 17401 (toysat) R 17398 17401 14522 0 -1 4202496 275669 0 0 0 12840 38 0 0 20 0 4 0 24306062 1370034176 275976 33554432000 4194304 16246674 140736076734096 140736076715968 13760224 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17401/statm: 334481 275976 907 2943 0 331375 0
[pid=17401/tid=17402] ppid=17398 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17402/stat : 17402 (toysat) S 17398 17401 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24306062 1370034176 275976 33554432000 4194304 16246674 140736076734096 139775230061808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17401/tid=17403] ppid=17398 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17403/stat : 17403 (toysat) S 17398 17401 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24306062 1370034176 275976 33554432000 4194304 16246674 140736076734096 139775147224304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17401/tid=17404] ppid=17398 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17404/stat : 17404 (toysat) S 17398 17401 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24306062 1370034176 275976 33554432000 4194304 16246674 140736076734096 139775136750768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 128.78
Current children cumulated vsize (KiB) 1337924

[startup+129.2 s]
/proc/loadavg: 2.06 2.11 2.13 3/183 17407
/proc/meminfo: memFree=28393348/32872528 swapFree=1191052/1305516
[pid=17401] ppid=17398 vsize=1337924 CPUtime=129.17 cores=0,2,4,6
/proc/17401/stat : 17401 (toysat) R 17398 17401 14522 0 -1 4202496 275669 0 0 0 12879 38 0 0 20 0 4 0 24306062 1370034176 275976 33554432000 4194304 16246674 140736076734096 140736076715968 5722960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17401/statm: 334481 275976 907 2943 0 331375 0
[pid=17401/tid=17402] ppid=17398 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17402/stat : 17402 (toysat) S 17398 17401 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24306062 1370034176 275976 33554432000 4194304 16246674 140736076734096 139775230061808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17401/tid=17403] ppid=17398 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17403/stat : 17403 (toysat) S 17398 17401 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24306062 1370034176 275976 33554432000 4194304 16246674 140736076734096 139775147224304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17401/tid=17404] ppid=17398 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17404/stat : 17404 (toysat) S 17398 17401 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24306062 1370034176 275976 33554432000 4194304 16246674 140736076734096 139775136750768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 129.17
Current children cumulated vsize (KiB) 1337924

[startup+129.4 s]
/proc/loadavg: 2.06 2.11 2.13 3/183 17407
/proc/meminfo: memFree=28393348/32872528 swapFree=1191052/1305516
[pid=17401] ppid=17398 vsize=0 CPUtime=129.37 cores=0,2,4,6
/proc/17401/stat : 17401 (toysat) Z 17398 17401 14522 0 -1 4202508 275674 0 0 0 12899 38 0 0 20 0 2 0 24306062 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17401/statm: 0 0 0 0 0 0 0
[pid=17401/tid=17403] ppid=17398 vsize=0 CPUtime=0 cores=0,2,4,6
/proc/17401/task/17403/stat : 17403 (toysat) R 17398 17401 14522 0 -1 4203588 8 0 0 0 0 0 0 0 20 0 2 0 24306062 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 129.37
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 129.46
CPU time (s): 129.436
CPU user time (s): 128.992
CPU system time (s): 0.443932
CPU usage (%): 99.9816
Max. virtual memory (cumulated for all children) (KiB): 1337924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 128.992
system time used= 0.443932
maximum resident set size= 1103920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275674
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= 18
involuntary context switches= 135

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.32495 second user time and 0.502923 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 06:03:14
IDJOB=4101321
IDBENCH=1729
IDSOLVER=2542
FILE ID=node127/4101321-1466222594
RUNJOBID= node127-1466206072-14538
PBS_JOBID= 19918150
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-misc05.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101321-1466222594/watcher-4101321-1466222594 -o /tmp/evaluation-result-4101321-1466222594/solver-4101321-1466222594 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14538 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101321-1466222594.opb

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

MD5SUM BENCH= bada111af8c03eca9b9736a7d2e9e703
RANDOM SEED=1417382390

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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:        29497516 kB
Buffers:          113236 kB
Cached:           131800 kB
SwapCached:          528 kB
Active:          1184960 kB
Inactive:         147468 kB
Active(anon):    1088768 kB
Inactive(anon):      864 kB
Active(file):      96192 kB
Inactive(file):   146604 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:             16336 kB
Writeback:             0 kB
AnonPages:       2352904 kB
Mapped:            10920 kB
Shmem:                 0 kB
Slab:             602836 kB
SReclaimable:      47016 kB
SUnreclaim:       555820 kB
KernelStack:        1520 kB
PageTables:         8900 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2539336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     77824 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= 71708 MiB
End job on node127 at 2016-06-18 06:05:24