Trace number 4104145

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-02OPT389 0.986849 0.98814

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=389-Q=433.opb
MD5SUMec646339a991a8a96f472b5954031106
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark389
Best CPU time to get the best result obtained on this benchmark0.020996
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 389
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 168437
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 429558
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:39:47+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-4104145-1466242787.opb"]
0.00/0.01	c use --random-gen="3537874684 3903415308 72430449 647661421 3562609687 2673934243 1131806994 1415597222 3153644745 1486427215 4052861901 3158238267 2275163343 2836842984 3135854070 2475286391 1289147718 27910029 828161945 3134163308 187216393 1330026279 2888200401 4135890754 1078960048 323516300 1001876718 3634367570 8916553 1943680132 3467312117 757937755 1551303380 3485462817 1048557895 1157876754 903192832 3843327883 3208696307 1397463559 1233264973 2795174955 3750877869 2318985473 2298238029 1333623259 2834556148 2289293002 1761884506 77281891 82279709 1876704585 2852173694 736914530 1008552033 2157093287 1348197753 1894857003 1919777937 2077215496 975475016 3827276658 1472224591 2357751293 2027400460 654459732 4056062326 3378795082 3019116289 3797502305 596735116 796172361 3103999239 3337419062 1397932198 4154322518 2465824512 3113225034 4230478623 1946561665 3244619321 3193005044 2841678867 2506986656 3854574303 2434039718 1579697571 3060520882 2917337727 812767358 2444470161 1273819001 3487624931 207965441 446324050 501217750 2775064835 2492777094 3400821799 699730899 3118917964 3524014353 972550481 1556907884 2552190363 2617747892 485070197 4232391258 989883367 426970294 3916598485 2921584329 2883487901 28088970 3113785078 3901104918 3767742441 3739334369 2589316458 1021072391 2555754567 3027867773 322619840 2774195058 3819845190 2232675954 875827658 140839101 3965651731 491553544 1587586403 1327154182 3961533473 1161681890 3879234730 1630578538 1379927396 3394734384 698441933 4230522733 1941178243 4246982075 1837167733 2385706854 74508217 770635908 3437460142 694416768 539422314 832825511 4167625576 1182906504 2129906205 1439637785 3059268613 1498948594 2055659648 1595742603 1829430278 3540230667 589062898 3359893111 512974526 2078093161 1265540190 3528460310 3160068338 2448965813 944552740 1916969729 3420802834 2833472569 385310759 3458628141 1581533895 4054997157 2666726335 3674949739 1724754738 741308323 3659005897 3791465215 1244005368 2753512232 194102491 962975906 1689239956 1149779784 994804379 2313187106 597935401 1436401939 3642193278 2072163854 3720462204 2168151585 3242512092 3611505880 900788327 225744177 2039811073 3302336395 4152216542 1302042760 1946851076 3913073574 3961183981 86753668 3888003052 2749503110 3591674553 2245083821 1882928775 1230782949 1575686773 4015096023 2856090619 2703453844 3146028977 2956906738 3758744299 856530762 2119581886 2393440746 4150738425 2978769378 667679370 871629725 4245441101 444529523 1011971263 2583955151 1018996053 3510700799 1376299562 2701854204 3882938028 714659483 3272028684 3288706927 2005908012 3922406584 401337615 761964162 326689419 1886430536 4035261749 4040509749 1129453095 3609941544 1592853237 529910853 344005708 120747724 514174833 2434257837 255 362436" option to reproduce the execution
0.00/0.01	c #vars 99
0.00/0.01	c #constraints 244
0.89/0.90	c BCD2: Hardening is enabled.
0.89/0.90	c BCD2: BiasedSearch is enabled.
0.89/0.90	c Solving starts ...
0.89/0.90	c ============================[ Search Statistics ]============================
0.89/0.90	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.89/0.90	c       |         |          |          |    Limit     GC | Var      | Constra 
0.89/0.90	c =============================================================================
0.89/0.90	c  0.0s |       0 |        0 |        0 |      114      0 |        0 |        0
0.89/0.91	c  0.0s |       0 |      105 |       72 |      114      0 |        0 |        0
0.89/0.91	c #cpu_time = 0.011s
0.89/0.91	c #wall_clock_time = 0.011s
0.89/0.91	c #decision = 105
0.89/0.91	c #random_decision = 0
0.89/0.91	c #conflict = 72
0.89/0.91	c #restart = 0
0.89/0.91	o 389
0.89/0.91	c BCD2: updating upper bound: 511 -> 388
0.89/0.91	c BCD2: 0 <= obj <= 388
0.89/0.91	c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0
0.89/0.91	c BCD2: #sat=1 #unsat=1 bias=1/2
0.89/0.91	c Solving starts ...
0.89/0.91	c ============================[ Search Statistics ]============================
0.89/0.91	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.89/0.91	c       |         |          |          |    Limit     GC | Var      | Constra 
0.89/0.91	c =============================================================================
0.89/0.91	c  0.0s |       0 |        0 |        0 |      114      0 |        0 |        0
0.89/0.91	c  0.0s |       0 |        1 |        1 |      114      0 |        1 |        9
0.89/0.91	c #cpu_time = 0.001s
0.89/0.91	c #wall_clock_time = 0.001s
0.89/0.91	c #decision = 1
0.89/0.91	c #random_decision = 0
0.89/0.91	c #conflict = 1
0.89/0.91	c #restart = 0
0.89/0.91	c BCD2: found a new core of size 1: cost of the new core is >=256
0.89/0.91	c lower bound updated to 256
0.89/0.91	c BCD2: 256 <= obj <= 388
0.89/0.91	c BCD2: #cores=1, #unrelaxed=8, #relaxed=1, #hardened=0
0.89/0.91	c BCD2: #sat=1 #unsat=2 bias=2/3
0.89/0.91	c Solving starts ...
0.89/0.91	c ============================[ Search Statistics ]============================
0.89/0.91	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.89/0.91	c       |         |          |          |    Limit     GC | Var      | Constra 
0.89/0.91	c =============================================================================
0.89/0.91	c  0.0s |       0 |        0 |        0 |      114      0 |        1 |        9
0.89/0.91	c  0.0s |       0 |        2 |        0 |      114      0 |        1 |        9
0.89/0.91	c #cpu_time = 0.000s
0.89/0.91	c #wall_clock_time = 0.000s
0.89/0.91	c #decision = 2
0.89/0.91	c #random_decision = 0
0.89/0.91	c #conflict = 0
0.89/0.91	c #restart = 0
0.89/0.91	c BCD2: found a new core of size 2: cost of the new core is >=64
0.89/0.91	c lower bound updated to 320
0.89/0.91	c BCD2: 320 <= obj <= 388
0.89/0.91	c BCD2: #cores=2, #unrelaxed=6, #relaxed=3, #hardened=0
0.89/0.91	c BCD2: #sat=1 #unsat=3 bias=3/4
0.89/0.91	c Solving starts ...
0.89/0.91	c ============================[ Search Statistics ]============================
0.89/0.91	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.89/0.91	c       |         |          |          |    Limit     GC | Var      | Constra 
0.89/0.91	c =============================================================================
0.89/0.91	c  0.0s |       0 |        0 |        0 |      114      0 |        1 |        9
0.89/0.91	c  0.0s |       0 |        5 |        1 |      114      0 |        1 |        9
0.89/0.91	c #cpu_time = 0.001s
0.89/0.91	c #wall_clock_time = 0.001s
0.89/0.91	c #decision = 5
0.89/0.91	c #random_decision = 0
0.89/0.91	c #conflict = 1
0.89/0.91	c #restart = 0
0.89/0.91	c BCD2: relaxing 3 and merging with 1 cores into a new core of size 5: cost of the new core is >=72
0.89/0.91	c lower bound updated to 328
0.89/0.91	c BCD2: 328 <= obj <= 388
0.89/0.91	c BCD2: #cores=2, #unrelaxed=3, #relaxed=6, #hardened=0
0.89/0.91	c BCD2: #sat=1 #unsat=4 bias=4/5
0.89/0.91	c Solving starts ...
0.89/0.91	c ============================[ Search Statistics ]============================
0.89/0.91	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.89/0.91	c       |         |          |          |    Limit     GC | Var      | Constra 
0.89/0.91	c =============================================================================
0.89/0.91	c  0.0s |       0 |        0 |        0 |      114      0 |        2 |        9
0.89/0.91	c  0.0s |       0 |       13 |        9 |      114      0 |        2 |       10
0.89/0.91	c #cpu_time = 0.002s
0.89/0.91	c #wall_clock_time = 0.002s
0.89/0.91	c #decision = 13
0.89/0.91	c #random_decision = 0
0.89/0.91	c #conflict = 9
0.89/0.91	c #restart = 0
0.89/0.91	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 7: cost of the new core is >=74
0.89/0.91	c lower bound updated to 330
0.89/0.91	c BCD2: 330 <= obj <= 388
0.89/0.91	c BCD2: #cores=2, #unrelaxed=1, #relaxed=8, #hardened=0
0.89/0.91	c BCD2: #sat=1 #unsat=5 bias=5/6
0.89/0.92	c Solving starts ...
0.89/0.92	c ============================[ Search Statistics ]============================
0.89/0.92	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.89/0.92	c       |         |          |          |    Limit     GC | Var      | Constra 
0.89/0.92	c =============================================================================
0.89/0.92	c  0.0s |       0 |        0 |        0 |      114      0 |        3 |       10
0.89/0.92	c  0.0s |       0 |       42 |       39 |      126      0 |        3 |       11
0.89/0.92	c #cpu_time = 0.008s
0.89/0.92	c #wall_clock_time = 0.008s
0.89/0.92	c #decision = 42
0.89/0.92	c #random_decision = 0
0.89/0.92	c #conflict = 39
0.89/0.92	c #restart = 0
0.89/0.92	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 8: cost of the new core is >=75
0.89/0.92	c lower bound updated to 331
0.89/0.92	c BCD2: 331 <= obj <= 388
0.89/0.92	c BCD2: #cores=2, #unrelaxed=0, #relaxed=9, #hardened=0
0.89/0.92	c BCD2: #sat=1 #unsat=6 bias=6/7
0.89/0.92	c Solving starts ...
0.89/0.92	c ============================[ Search Statistics ]============================
0.89/0.92	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.89/0.92	c       |         |          |          |    Limit     GC | Var      | Constra 
0.89/0.92	c =============================================================================
0.89/0.92	c  0.0s |       0 |        0 |        0 |      126      0 |        4 |       11
0.89/0.93	c  0.0s |       0 |       13 |       11 |      126      0 |        5 |       13
0.89/0.93	c #cpu_time = 0.003s
0.89/0.93	c #wall_clock_time = 0.003s
0.89/0.93	c #decision = 13
0.89/0.93	c #random_decision = 0
0.89/0.93	c #conflict = 11
0.89/0.93	c #restart = 0
0.89/0.93	c BCD2: updating lower bound of a core
0.89/0.93	c lower bound updated to 381
0.89/0.93	c BCD2: 381 <= obj <= 388
0.89/0.93	c BCD2: #cores=2, #unrelaxed=0, #relaxed=9, #hardened=0
0.89/0.93	c BCD2: #sat=1 #unsat=7 bias=7/8
0.89/0.93	c Solving starts ...
0.89/0.93	c ============================[ Search Statistics ]============================
0.89/0.93	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.89/0.93	c       |         |          |          |    Limit     GC | Var      | Constra 
0.89/0.93	c =============================================================================
0.89/0.93	c  0.0s |       0 |        0 |        0 |      126      0 |        5 |       13
0.89/0.93	c  0.0s |       0 |       13 |       11 |      126      0 |        6 |       14
0.89/0.93	c #cpu_time = 0.003s
0.89/0.93	c #wall_clock_time = 0.003s
0.89/0.93	c #decision = 13
0.89/0.93	c #random_decision = 0
0.89/0.93	c #conflict = 11
0.89/0.93	c #restart = 0
0.89/0.93	c BCD2: updating lower bound of a core
0.89/0.93	c lower bound updated to 389
0.89/0.93	s OPTIMUM FOUND
0.89/0.93	v x1 -x2 x3 -x4 -x5 -x6 -x7 x8 x9 x10
0.89/0.93	v -x11 -x12 -x13 x14 x15 -x16 x17 x18 x19 -x20
0.89/0.93	v -x21 -x22 x23 x24 -x25 x26 x27 -x28 -x29 -x30
0.89/0.93	v -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40
0.89/0.93	v x41 x42 -x43 x44 x45 -x46 -x47 -x48 -x49 -x50
0.89/0.93	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
0.89/0.93	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
0.89/0.93	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
0.89/0.93	v -x81 x82 -x83 -x84 -x85 x86 x87 -x88 x89 x90
0.89/0.93	v x91 -x92 -x93 -x94 x95 x96 -x97 x98 x99
0.89/0.93	c total CPU time = 0.932s
0.89/0.93	c total wall clock time = 0.934s

Verifier Data 

OK	389

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-4104145-1466242787/watcher-4104145-1466242787 -o /tmp/evaluation-result-4104145-1466242787/solver-4104145-1466242787 -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-4104145-1466242787.opb 

pid=29652
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.18 2.04 1.90 3/179 29655
/proc/meminfo: memFree=30029868/32872528 swapFree=526336/559040
[pid=29655] ppid=29652 vsize=745916 CPUtime=0 cores=1,3,5,7
/proc/29655/stat : 29655 (toysat) R 29652 29655 28898 0 -1 4202496 2789 0 0 0 0 0 0 0 20 0 4 0 26328853 763817984 2638 33554432000 4194304 16246674 140736211717632 140736211717056 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29655/statm: 187247 2647 441 2943 0 184141 0
[pid=29655/tid=29656] ppid=29652 vsize=763324 CPUtime=0 cores=1,3,5,7
/proc/29655/task/29656/stat : 29656 (toysat) S 29652 29655 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26328853 781643776 2706 33554432000 4194304 16246674 140736211717632 140415870151920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29655/tid=29657] ppid=29652 vsize=768444 CPUtime=0 cores=1,3,5,7
/proc/29655/task/29657/stat : 29657 (toysat) S 29652 29655 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26328853 786886656 2724 33554432000 4194304 16246674 140736211717632 140415859662064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29655/tid=29658] ppid=29652 vsize=772540 CPUtime=0 cores=1,3,5,7
/proc/29655/task/29658/stat : 29658 (toysat) S 29652 29655 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26328853 791080960 2740 33554432000 4194304 16246674 140736211717632 140415849188528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.18 2.04 1.90 3/179 29655
/proc/meminfo: memFree=30029868/32872528 swapFree=526336/559040
[pid=29655] ppid=29652 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/29655/stat : 29655 (toysat) R 29652 29655 28898 0 -1 4202496 31785 0 0 0 5 4 0 0 20 0 4 0 26328853 1247350784 31626 33554432000 4194304 16246674 140736211717632 140736211717056 12654533 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29655/statm: 304529 31638 639 2943 0 301423 0
[pid=29655/tid=29656] ppid=29652 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29655/task/29656/stat : 29656 (toysat) S 29652 29655 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26328853 1247350784 31647 33554432000 4194304 16246674 140736211717632 140415870151920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29655/tid=29657] ppid=29652 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29655/task/29657/stat : 29657 (toysat) S 29652 29655 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26328853 1247350784 31656 33554432000 4194304 16246674 140736211717632 140415859662064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29655/tid=29658] ppid=29652 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29655/task/29658/stat : 29658 (toysat) S 29652 29655 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26328853 1247350784 31664 33554432000 4194304 16246674 140736211717632 140415849188528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200523 s]
/proc/loadavg: 2.18 2.04 1.90 3/179 29655
/proc/meminfo: memFree=30029868/32872528 swapFree=526336/559040
[pid=29655] ppid=29652 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/29655/stat : 29655 (toysat) R 29652 29655 28898 0 -1 4202496 56043 0 0 0 12 6 0 0 20 0 4 0 26328853 1247350784 55884 33554432000 4194304 16246674 140736211717632 140736211699520 6958849 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29655/statm: 304529 55895 639 2943 0 301423 0
[pid=29655/tid=29656] ppid=29652 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29655/task/29656/stat : 29656 (toysat) S 29652 29655 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26328853 1247350784 55903 33554432000 4194304 16246674 140736211717632 140415870151920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29655/tid=29657] ppid=29652 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29655/task/29657/stat : 29657 (toysat) S 29652 29655 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26328853 1247350784 55910 33554432000 4194304 16246674 140736211717632 140415859662064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29655/tid=29658] ppid=29652 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29655/task/29658/stat : 29658 (toysat) S 29652 29655 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26328853 1247350784 55916 33554432000 4194304 16246674 140736211717632 140415849188528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300509 s]
/proc/loadavg: 2.18 2.04 1.90 3/179 29655
/proc/meminfo: memFree=30029868/32872528 swapFree=526336/559040
[pid=29655] ppid=29652 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/29655/stat : 29655 (toysat) R 29652 29655 28898 0 -1 4202496 79025 0 0 0 20 9 0 0 20 0 4 0 26328853 1247350784 78866 33554432000 4194304 16246674 140736211717632 140736211699520 6958849 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29655/statm: 304529 78878 639 2943 0 301423 0
[pid=29655/tid=29656] ppid=29652 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29655/task/29656/stat : 29656 (toysat) S 29652 29655 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26328853 1247350784 78885 33554432000 4194304 16246674 140736211717632 140415870151920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29655/tid=29657] ppid=29652 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29655/task/29657/stat : 29657 (toysat) S 29652 29655 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26328853 1247350784 78892 33554432000 4194304 16246674 140736211717632 140415859662064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29655/tid=29658] ppid=29652 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29655/task/29658/stat : 29658 (toysat) S 29652 29655 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26328853 1247350784 78900 33554432000 4194304 16246674 140736211717632 140415849188528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700406 s]
/proc/loadavg: 2.18 2.04 1.90 3/179 29655
/proc/meminfo: memFree=30029868/32872528 swapFree=526336/559040
[pid=29655] ppid=29652 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/29655/stat : 29655 (toysat) R 29652 29655 28898 0 -1 4202496 185578 0 0 0 47 22 0 0 20 0 4 0 26328853 1247350784 185418 33554432000 4194304 16246674 140736211717632 140736211699520 12429797 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29655/statm: 304529 185423 651 2943 0 301423 0
[pid=29655/tid=29656] ppid=29652 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29655/task/29656/stat : 29656 (toysat) S 29652 29655 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26328853 1247350784 185426 33554432000 4194304 16246674 140736211717632 140415870151920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29655/tid=29657] ppid=29652 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29655/task/29657/stat : 29657 (toysat) S 29652 29655 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26328853 1247350784 185430 33554432000 4194304 16246674 140736211717632 140415859662064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29655/tid=29658] ppid=29652 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29655/task/29658/stat : 29658 (toysat) S 29652 29655 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26328853 1247350784 185433 33554432000 4194304 16246674 140736211717632 140415849188528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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 29655 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+0.800506 s]
/proc/loadavg: 2.18 2.04 1.90 3/179 29655
/proc/meminfo: memFree=30029868/32872528 swapFree=526336/559040
[pid=29655] ppid=29652 vsize=1218116 CPUtime=0.79 cores=1,3,5,7
/proc/29655/stat : 29655 (toysat) R 29652 29655 28898 0 -1 4202496 208337 0 0 0 54 25 0 0 20 0 4 0 26328853 1247350784 208177 33554432000 4194304 16246674 140736211717632 140736211699520 12429797 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29655/statm: 304529 208182 651 2943 0 301423 0
[pid=29655/tid=29656] ppid=29652 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29655/task/29656/stat : 29656 (toysat) S 29652 29655 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26328853 1247350784 208186 33554432000 4194304 16246674 140736211717632 140415870151920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29655/tid=29657] ppid=29652 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29655/task/29657/stat : 29657 (toysat) S 29652 29655 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26328853 1247350784 208189 33554432000 4194304 16246674 140736211717632 140415859662064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29655/tid=29658] ppid=29652 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29655/task/29658/stat : 29658 (toysat) S 29652 29655 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26328853 1247350784 208192 33554432000 4194304 16246674 140736211717632 140415849188528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 1218116

[startup+0.900406 s]
/proc/loadavg: 2.18 2.04 1.90 3/179 29655
/proc/meminfo: memFree=30029868/32872528 swapFree=526336/559040
[pid=29655] ppid=29652 vsize=1218116 CPUtime=0.89 cores=1,3,5,7
/proc/29655/stat : 29655 (toysat) R 29652 29655 28898 0 -1 4202496 231260 0 0 0 61 28 0 0 20 0 4 0 26328853 1247350784 231100 33554432000 4194304 16246674 140736211717632 140736211699520 12657222 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29655/statm: 304529 231106 651 2943 0 301423 0
[pid=29655/tid=29656] ppid=29652 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29655/task/29656/stat : 29656 (toysat) S 29652 29655 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26328853 1247350784 231110 33554432000 4194304 16246674 140736211717632 140415870151920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29655/tid=29657] ppid=29652 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29655/task/29657/stat : 29657 (toysat) S 29652 29655 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26328853 1247350784 231114 33554432000 4194304 16246674 140736211717632 140415859662064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29655/tid=29658] ppid=29652 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29655/task/29658/stat : 29658 (toysat) S 29652 29655 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26328853 1247350784 231118 33554432000 4194304 16246674 140736211717632 140415849188528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 1218116

Child status: 0
Real time (s): 0.98814
CPU time (s): 0.986849
CPU user time (s): 0.641902
CPU system time (s): 0.344947
CPU usage (%): 99.8694
Max. virtual memory (cumulated for all children) (KiB): 1218116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.641902
system time used= 0.344947
maximum resident set size= 951428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 238029
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= 2

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.004999 second user time and 0.006998 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-18 11:39:47
IDJOB=4104145
IDBENCH=2660
IDSOLVER=2542
FILE ID=node106/4104145-1466242787
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=389-Q=433.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4104145-1466242787/watcher-4104145-1466242787 -o /tmp/evaluation-result-4104145-1466242787/solver-4104145-1466242787 -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-4104145-1466242787.opb

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

MD5SUM BENCH= ec646339a991a8a96f472b5954031106
RANDOM SEED=641399974

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:        30030124 kB
Buffers:           78996 kB
Cached:           205572 kB
SwapCached:         1868 kB
Active:          1336212 kB
Inactive:         202072 kB
Active(anon):    1253292 kB
Inactive(anon):     3048 kB
Active(file):      82920 kB
Inactive(file):   199024 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             16916 kB
Writeback:             0 kB
AnonPages:       1812332 kB
Mapped:            10824 kB
Shmem:                 0 kB
Slab:             610572 kB
SReclaimable:      53488 kB
SUnreclaim:       557084 kB
KernelStack:        1440 kB
PageTables:         8216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1955528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    120832 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:39:48