Trace number 4104553

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-02OPT379 1.2948 1.29656

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=379-Q=397.opb
MD5SUM403863c20e88b697b0eb6f914a8a73d4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark379
Best CPU time to get the best result obtained on this benchmark0.021995
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 379
Optimality of the best value was proved YES
Number of variables99
Total number of constraints244
Number of constraints which are clauses243
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint81
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 150463
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 411584
Number of bits of the biggest sum of numbers19
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-18T11:40:35+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4104553-1466242835.opb"]
0.00/0.01	c use --random-gen="2541780306 3052748016 212283194 3179388314 2811413308 273959325 1215634367 3260461668 4535465 923044798 1575450337 231784373 3064306752 2687494428 2198412208 3952362159 4140060975 3424132325 1091012651 2556426176 1778200870 2379648702 288433934 491125702 668786971 223305612 677257890 2979838942 592036268 2491575194 4243256887 3124995016 1552858925 640433035 2637448460 382763077 570074071 3889883451 336844008 105054685 2254923189 228629660 2851531822 146514284 2993015107 2503774311 340663479 3685620694 262522886 3254501956 1845959554 1453693377 663951120 1319064287 3208145733 4003901662 3685621007 1992656507 1867619744 313367016 2030579991 258198994 798627595 1875914885 481263864 11102025 3943134463 2589000866 1459302770 3146295536 3104499196 3414360016 3440784007 1629657414 2919460811 527376799 3730716707 2483436270 2109777232 1210199525 3154002041 988004236 1638490161 3162481455 198883659 147479974 2230136114 1785454319 3014297623 3989687949 2784317026 2715474113 1259471399 238504900 2544111722 1156263706 239722254 674477047 1554968134 3678887395 1953717898 4294087074 2768993794 1090528446 217095989 3276156110 4284762158 2272134433 2801583379 3273669560 1868598953 2293190107 3077435123 1521176224 2272837917 503446262 4197328906 1291622931 3384614974 3585067998 2282601089 1907957168 2699371089 3462978790 563758940 3735673996 1874644923 696720252 1105356794 2158169767 4194850524 2606198661 3840310549 1735467753 2997570258 449424799 2802587087 800044239 2711635705 965814805 1700037526 1951412951 561814060 2178407693 367223816 2236681315 1939341758 3017624561 2121911937 1435026844 3009464976 4238172326 1972297314 2581664447 100217437 1687420889 735554615 885472118 3068075510 2586308339 269535391 1860302624 3185789724 868211399 1678644253 2707290372 3619319735 356728374 638963721 637735668 4151861475 4169098608 2120628193 3605692610 2110772869 2726518246 2662608630 4047501566 4247232638 917123972 4073151540 2914451171 1888806482 1706484755 2582615551 3875511334 3770789481 3171554166 3667834446 3611824598 3609388061 1853506417 2428035472 1776585452 4119410848 2356089431 2200221009 3597887559 427688567 2933185462 3635093626 1824425906 4003212493 2431399795 1440230399 2650386905 1393043544 3187889264 602030885 216944648 3733131575 2808362471 1285569543 2610107254 3491556332 2357401915 1824209216 970407352 1955953601 1076425491 2533552635 1733129449 68281382 3390193300 962572529 142998955 1512052672 732387620 2445901101 274861020 3136928520 996887050 93818628 923706105 227909575 4014378423 1905974241 1090334 3002751617 3717432351 2391730080 2618894451 1989479740 3613407830 1430994813 435298848 373582556 3279802847 406034042 3814252930 2371159041 2604883444 3684412540 3312701078 273011547 2735497710 255 362436" option to reproduce the execution
0.00/0.01	c #vars 99
0.00/0.01	c #constraints 244
1.19/1.21	c BCD2: Hardening is enabled.
1.19/1.21	c BCD2: BiasedSearch is enabled.
1.19/1.21	c Solving starts ...
1.19/1.21	c ============================[ Search Statistics ]============================
1.19/1.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.19/1.21	c       |         |          |          |    Limit     GC | Var      | Constra 
1.19/1.21	c =============================================================================
1.19/1.21	c  0.0s |       0 |        0 |        0 |      114      0 |        0 |        0
1.19/1.22	c  0.0s |       0 |       87 |       66 |      114      0 |        0 |        0
1.19/1.22	c #cpu_time = 0.007s
1.19/1.22	c #wall_clock_time = 0.007s
1.19/1.22	c #decision = 87
1.19/1.22	c #random_decision = 1
1.19/1.22	c #conflict = 66
1.19/1.22	c #restart = 0
1.19/1.22	o 379
1.19/1.22	c BCD2: updating upper bound: 511 -> 378
1.19/1.22	c BCD2: 0 <= obj <= 378
1.19/1.22	c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0
1.19/1.22	c BCD2: #sat=1 #unsat=1 bias=1/2
1.19/1.22	c Solving starts ...
1.19/1.22	c ============================[ Search Statistics ]============================
1.19/1.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.19/1.22	c       |         |          |          |    Limit     GC | Var      | Constra 
1.19/1.22	c =============================================================================
1.19/1.22	c  0.0s |       0 |        0 |        0 |      114      0 |        0 |        0
1.19/1.22	c  0.0s |       0 |        1 |        1 |      114      0 |       13 |       45
1.19/1.22	c #cpu_time = 0.000s
1.19/1.22	c #wall_clock_time = 0.000s
1.19/1.22	c #decision = 1
1.19/1.22	c #random_decision = 0
1.19/1.22	c #conflict = 1
1.19/1.22	c #restart = 0
1.19/1.22	c BCD2: found a new core of size 1: cost of the new core is >=256
1.19/1.22	c lower bound updated to 256
1.19/1.22	c BCD2: hardening fixes 1 literals
1.19/1.22	c BCD2: 256 <= obj <= 378
1.19/1.22	c BCD2: #cores=1, #unrelaxed=7, #relaxed=1, #hardened=1
1.19/1.22	c BCD2: #sat=1 #unsat=2 bias=2/3
1.19/1.22	c Solving starts ...
1.19/1.22	c ============================[ Search Statistics ]============================
1.19/1.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.19/1.22	c       |         |          |          |    Limit     GC | Var      | Constra 
1.19/1.22	c =============================================================================
1.19/1.22	c  0.0s |       0 |        0 |        0 |      114      0 |       13 |       45
1.19/1.22	c  0.0s |       0 |        2 |        0 |      114      0 |       13 |       45
1.19/1.22	c #cpu_time = 0.000s
1.19/1.22	c #wall_clock_time = 0.000s
1.19/1.22	c #decision = 2
1.19/1.22	c #random_decision = 0
1.19/1.22	c #conflict = 0
1.19/1.22	c #restart = 0
1.19/1.22	c BCD2: found a new core of size 2: cost of the new core is >=32
1.19/1.22	c lower bound updated to 288
1.19/1.22	c BCD2: 288 <= obj <= 378
1.19/1.22	c BCD2: #cores=2, #unrelaxed=5, #relaxed=3, #hardened=1
1.19/1.22	c BCD2: #sat=1 #unsat=3 bias=3/4
1.19/1.22	c Solving starts ...
1.19/1.22	c ============================[ Search Statistics ]============================
1.19/1.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.19/1.22	c       |         |          |          |    Limit     GC | Var      | Constra 
1.19/1.22	c =============================================================================
1.19/1.22	c  0.0s |       0 |        0 |        0 |      114      0 |       13 |       45
1.19/1.22	c  0.0s |       0 |        6 |        1 |      114      0 |       13 |       45
1.19/1.22	c #cpu_time = 0.000s
1.19/1.22	c #wall_clock_time = 0.000s
1.19/1.22	c #decision = 6
1.19/1.22	c #random_decision = 0
1.19/1.22	c #conflict = 1
1.19/1.22	c #restart = 0
1.19/1.22	c BCD2: relaxing 4 and merging with 1 cores into a new core of size 6: cost of the new core is >=34
1.19/1.22	c lower bound updated to 290
1.19/1.22	c BCD2: 290 <= obj <= 378
1.19/1.22	c BCD2: #cores=2, #unrelaxed=1, #relaxed=7, #hardened=1
1.19/1.22	c BCD2: #sat=1 #unsat=4 bias=4/5
1.19/1.22	c Solving starts ...
1.19/1.22	c ============================[ Search Statistics ]============================
1.19/1.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.19/1.22	c       |         |          |          |    Limit     GC | Var      | Constra 
1.19/1.22	c =============================================================================
1.19/1.22	c  0.0s |       0 |        0 |        0 |      114      0 |       14 |       45
1.19/1.23	c  0.0s |       0 |       62 |       57 |      126      0 |       14 |       46
1.19/1.23	c #cpu_time = 0.007s
1.19/1.23	c #wall_clock_time = 0.007s
1.19/1.23	c #decision = 62
1.19/1.23	c #random_decision = 1
1.19/1.23	c #conflict = 57
1.19/1.23	c #restart = 0
1.19/1.23	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 7: cost of the new core is >=35
1.19/1.23	c lower bound updated to 291
1.19/1.23	c BCD2: 291 <= obj <= 378
1.19/1.23	c BCD2: #cores=2, #unrelaxed=0, #relaxed=8, #hardened=1
1.19/1.23	c BCD2: #sat=1 #unsat=5 bias=5/6
1.19/1.23	c Solving starts ...
1.19/1.23	c ============================[ Search Statistics ]============================
1.19/1.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.19/1.23	c       |         |          |          |    Limit     GC | Var      | Constra 
1.19/1.23	c =============================================================================
1.19/1.23	c  0.0s |       0 |        0 |        0 |      126      0 |       15 |       46
1.19/1.23	c  0.0s |       0 |       39 |       30 |      126      0 |       30 |       93
1.19/1.23	c #cpu_time = 0.004s
1.19/1.23	c #wall_clock_time = 0.005s
1.19/1.23	c #decision = 39
1.19/1.23	c #random_decision = 0
1.19/1.23	c #conflict = 30
1.19/1.23	c #restart = 0
1.19/1.23	c BCD2: updating lower bound of a core
1.19/1.23	c lower bound updated to 365
1.19/1.23	c BCD2: 365 <= obj <= 378
1.19/1.23	c BCD2: #cores=2, #unrelaxed=0, #relaxed=8, #hardened=1
1.19/1.23	c BCD2: #sat=1 #unsat=6 bias=6/7
1.19/1.23	c Solving starts ...
1.19/1.23	c ============================[ Search Statistics ]============================
1.19/1.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.19/1.23	c       |         |          |          |    Limit     GC | Var      | Constra 
1.19/1.23	c =============================================================================
1.19/1.23	c  0.0s |       0 |        0 |        0 |      126      0 |       33 |       93
1.19/1.24	c  0.0s |       0 |       13 |       11 |      126      0 |       43 |      125
1.19/1.24	c #cpu_time = 0.002s
1.19/1.24	c #wall_clock_time = 0.002s
1.19/1.24	c #decision = 13
1.19/1.24	c #random_decision = 0
1.19/1.24	c #conflict = 11
1.19/1.24	c #restart = 0
1.19/1.24	c BCD2: updating lower bound of a core
1.19/1.24	c lower bound updated to 378
1.19/1.24	c BCD2: 378 <= obj <= 378
1.19/1.24	c BCD2: #cores=2, #unrelaxed=0, #relaxed=8, #hardened=1
1.19/1.24	c BCD2: #sat=1 #unsat=7 bias=7/8
1.19/1.24	c Solving starts ...
1.19/1.24	c ============================[ Search Statistics ]============================
1.19/1.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.19/1.24	c       |         |          |          |    Limit     GC | Var      | Constra 
1.19/1.24	c =============================================================================
1.19/1.24	c  0.0s |       0 |        0 |        0 |      126      0 |       68 |      126
1.19/1.24	c  0.0s |       0 |        3 |        2 |      126      0 |       84 |      193
1.19/1.24	c #cpu_time = 0.000s
1.19/1.24	c #wall_clock_time = 0.000s
1.19/1.24	c #decision = 3
1.19/1.24	c #random_decision = 0
1.19/1.24	c #conflict = 2
1.19/1.24	c #restart = 0
1.19/1.24	c lower bound updated to 379
1.19/1.24	s OPTIMUM FOUND
1.19/1.24	v x1 x2 -x3 x4 x5 x6 x7 -x8 x9 x10
1.19/1.24	v -x11 x12 x13 -x14 -x15 -x16 x17 x18 x19 -x20
1.19/1.24	v x21 x22 -x23 -x24 -x25 x26 x27 x28 -x29 x30
1.19/1.24	v x31 -x32 -x33 -x34 x35 x36 -x37 -x38 -x39 -x40
1.19/1.24	v -x41 -x42 -x43 -x44 -x45 x46 -x47 x48 x49 -x50
1.19/1.24	v -x51 -x52 x53 x54 x55 -x56 x57 x58 -x59 -x60
1.19/1.24	v -x61 x62 x63 x64 -x65 x66 x67 -x68 -x69 -x70
1.19/1.24	v x71 x72 x73 -x74 x75 x76 -x77 -x78 -x79 x80
1.19/1.24	v x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
1.19/1.24	v x91 -x92 x93 x94 -x95 -x96 -x97 x98 x99
1.19/1.24	c total CPU time = 1.236s
1.19/1.24	c total wall clock time = 1.239s

Verifier Data 

OK	379

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

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

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


[startup+0 s]
/proc/loadavg: 2.06 2.03 1.91 3/180 32157
/proc/meminfo: memFree=30024960/32872528 swapFree=526336/559040
[pid=32157] ppid=32154 vsize=648636 CPUtime=0 cores=1,3,5,7
/proc/32157/stat : 32157 (toysat) R 32154 32157 28898 0 -1 4202496 2409 0 0 0 0 0 0 0 20 0 4 0 26333604 664203264 2259 33554432000 4194304 16246674 140736756751760 140736756751184 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32157/statm: 162927 2267 441 2943 0 159821 0
[pid=32157/tid=32158] ppid=32154 vsize=666044 CPUtime=0 cores=1,3,5,7
/proc/32157/task/32158/stat : 32158 (toysat) S 32154 32157 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26333604 682029056 2325 33554432000 4194304 16246674 140736756751760 140389032897776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32157/tid=32159] ppid=32154 vsize=670140 CPUtime=0 cores=1,3,5,7
/proc/32157/task/32159/stat : 32159 (toysat) S 32154 32157 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26333604 686223360 2343 33554432000 4194304 16246674 140736756751760 140389022407920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32157/tid=32160] ppid=32154 vsize=674236 CPUtime=0 cores=1,3,5,7
/proc/32157/task/32160/stat : 32160 (toysat) S 32154 32157 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26333604 690417664 2359 33554432000 4194304 16246674 140736756751760 140389011934384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.06 2.03 1.91 3/180 32157
/proc/meminfo: memFree=30024960/32872528 swapFree=526336/559040
[pid=32157] ppid=32154 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/32157/stat : 32157 (toysat) R 32154 32157 28898 0 -1 4202496 30843 0 0 0 5 4 0 0 20 0 4 0 26333604 1247350784 30685 33554432000 4194304 16246674 140736756751760 140736756733632 12429797 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32157/statm: 304529 30689 641 2943 0 301423 0
[pid=32157/tid=32158] ppid=32154 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32157/task/32158/stat : 32158 (toysat) S 32154 32157 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26333604 1247350784 30693 33554432000 4194304 16246674 140736756751760 140389032897776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32157/tid=32159] ppid=32154 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32157/task/32159/stat : 32159 (toysat) S 32154 32157 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26333604 1247350784 30697 33554432000 4194304 16246674 140736756751760 140389022407920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32157/tid=32160] ppid=32154 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32157/task/32160/stat : 32160 (toysat) S 32154 32157 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26333604 1247350784 30700 33554432000 4194304 16246674 140736756751760 140389011934384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200545 s]
/proc/loadavg: 2.06 2.03 1.91 3/180 32157
/proc/meminfo: memFree=30024960/32872528 swapFree=526336/559040
[pid=32157] ppid=32154 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/32157/stat : 32157 (toysat) R 32154 32157 28898 0 -1 4202496 55602 0 0 0 11 7 0 0 20 0 4 0 26333604 1247350784 55444 33554432000 4194304 16246674 140736756751760 140736756733632 12655109 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32157/statm: 304529 55459 641 2943 0 301423 0
[pid=32157/tid=32158] ppid=32154 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32157/task/32158/stat : 32158 (toysat) S 32154 32157 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26333604 1247350784 55468 33554432000 4194304 16246674 140736756751760 140389032897776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32157/tid=32159] ppid=32154 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32157/task/32159/stat : 32159 (toysat) S 32154 32157 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26333604 1247350784 55477 33554432000 4194304 16246674 140736756751760 140389022407920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32157/tid=32160] ppid=32154 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32157/task/32160/stat : 32160 (toysat) S 32154 32157 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26333604 1247350784 55485 33554432000 4194304 16246674 140736756751760 140389011934384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300495 s]
/proc/loadavg: 2.06 2.03 1.91 3/180 32157
/proc/meminfo: memFree=30024960/32872528 swapFree=526336/559040
[pid=32157] ppid=32154 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/32157/stat : 32157 (toysat) R 32154 32157 28898 0 -1 4202496 79178 0 0 0 19 10 0 0 20 0 4 0 26333604 1247350784 79019 33554432000 4194304 16246674 140736756751760 140736756733632 12652961 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32157/statm: 304529 79029 641 2943 0 301423 0
[pid=32157/tid=32158] ppid=32154 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32157/task/32158/stat : 32158 (toysat) S 32154 32157 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26333604 1247350784 79034 33554432000 4194304 16246674 140736756751760 140389032897776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32157/tid=32159] ppid=32154 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32157/task/32159/stat : 32159 (toysat) S 32154 32157 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26333604 1247350784 79040 33554432000 4194304 16246674 140736756751760 140389022407920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32157/tid=32160] ppid=32154 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32157/task/32160/stat : 32160 (toysat) S 32154 32157 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26333604 1247350784 79046 33554432000 4194304 16246674 140736756751760 140389011934384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700411 s]
/proc/loadavg: 2.06 2.03 1.91 3/180 32157
/proc/meminfo: memFree=30024960/32872528 swapFree=526336/559040
[pid=32157] ppid=32154 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/32157/stat : 32157 (toysat) R 32154 32157 28898 0 -1 4202496 177868 0 0 0 46 23 0 0 20 0 4 0 26333604 1247350784 177710 33554432000 4194304 16246674 140736756751760 140736756733632 12449399 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32157/statm: 304529 177726 641 2943 0 301423 0
[pid=32157/tid=32158] ppid=32154 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32157/task/32158/stat : 32158 (toysat) S 32154 32157 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26333604 1247350784 177735 33554432000 4194304 16246674 140736756751760 140389032897776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32157/tid=32159] ppid=32154 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32157/task/32159/stat : 32159 (toysat) S 32154 32157 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26333604 1247350784 177744 33554432000 4194304 16246674 140736756751760 140389022407920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32157/tid=32160] ppid=32154 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32157/task/32160/stat : 32160 (toysat) S 32154 32157 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26333604 1247350784 177753 33554432000 4194304 16246674 140736756751760 140389011934384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

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

[startup+0.800507 s]
/proc/loadavg: 2.06 2.03 1.91 3/180 32157
/proc/meminfo: memFree=30024960/32872528 swapFree=526336/559040
[pid=32157] ppid=32154 vsize=1218116 CPUtime=0.78 cores=1,3,5,7
/proc/32157/stat : 32157 (toysat) R 32154 32157 28898 0 -1 4202496 201992 0 0 0 53 25 0 0 20 0 4 0 26333604 1247350784 201833 33554432000 4194304 16246674 140736756751760 140736756733632 12429797 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32157/statm: 304529 201843 653 2943 0 301423 0
[pid=32157/tid=32158] ppid=32154 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32157/task/32158/stat : 32158 (toysat) S 32154 32157 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26333604 1247350784 201849 33554432000 4194304 16246674 140736756751760 140389032897776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32157/tid=32159] ppid=32154 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32157/task/32159/stat : 32159 (toysat) S 32154 32157 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26333604 1247350784 201859 33554432000 4194304 16246674 140736756751760 140389022407920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32157/tid=32160] ppid=32154 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32157/task/32160/stat : 32160 (toysat) S 32154 32157 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26333604 1247350784 201871 33554432000 4194304 16246674 140736756751760 140389011934384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 1218116

[startup+1.2079 s]
/proc/loadavg: 2.06 2.03 1.91 3/184 32161
/proc/meminfo: memFree=29039648/32872528 swapFree=526336/559040
[pid=32157] ppid=32154 vsize=1224260 CPUtime=1.19 cores=1,3,5,7
/proc/32157/stat : 32157 (toysat) R 32154 32157 28898 0 -1 4202496 247001 0 0 0 89 30 0 0 20 0 4 0 26333604 1253642240 246798 33554432000 4194304 16246674 140736756751760 140736756751072 12652957 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32157/statm: 306065 246798 843 2943 0 302959 0
[pid=32157/tid=32158] ppid=32154 vsize=1224260 CPUtime=0 cores=1,3,5,7
/proc/32157/task/32158/stat : 32158 (toysat) S 32154 32157 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26333604 1253642240 246798 33554432000 4194304 16246674 140736756751760 140389032897776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32157/tid=32159] ppid=32154 vsize=1224260 CPUtime=0 cores=1,3,5,7
/proc/32157/task/32159/stat : 32159 (toysat) S 32154 32157 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26333604 1253642240 246798 33554432000 4194304 16246674 140736756751760 140389022407920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32157/tid=32160] ppid=32154 vsize=1224260 CPUtime=0 cores=1,3,5,7
/proc/32157/task/32160/stat : 32160 (toysat) S 32154 32157 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26333604 1253642240 246798 33554432000 4194304 16246674 140736756751760 140389011934384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 1224260

Child status: 0
Real time (s): 1.29656
CPU time (s): 1.2948
CPU user time (s): 0.930858
CPU system time (s): 0.363944
CPU usage (%): 99.8643
Max. virtual memory (cumulated for all children) (KiB): 1224260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.930858
system time used= 0.363944
maximum resident set size= 987492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 247076
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= 17
involuntary context switches= 5

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.005999 second user time and 0.013997 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-18 11:40:35
IDJOB=4104553
IDBENCH=2720
IDSOLVER=2542
FILE ID=node106/4104553-1466242835
RUNJOBID= node106-1466241787-28915
PBS_JOBID= 19918214
Free space on /tmp= 71684 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=379-Q=397.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4104553-1466242835/watcher-4104553-1466242835 -o /tmp/evaluation-result-4104553-1466242835/solver-4104553-1466242835 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28915 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4104553-1466242835.opb

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

MD5SUM BENCH= 403863c20e88b697b0eb6f914a8a73d4
RANDOM SEED=904303481

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

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
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.073
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.56
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.073
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.38
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.073
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:        30025852 kB
Buffers:           80816 kB
Cached:           206660 kB
SwapCached:         1868 kB
Active:          1338412 kB
Inactive:         202860 kB
Active(anon):    1253016 kB
Inactive(anon):     3048 kB
Active(file):      85396 kB
Inactive(file):   199812 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             16312 kB
Writeback:           236 kB
AnonPages:       1812148 kB
Mapped:            10776 kB
Shmem:                 0 kB
Slab:             611808 kB
SReclaimable:      54224 kB
SUnreclaim:       557584 kB
KernelStack:        1456 kB
PageTables:         7620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1955596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    186368 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71668 MiB
End job on node106 at 2016-06-18 11:40:36