Trace number 4079760

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-02OPT131 0.251961 0.254383

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=131-Q=137.opb
MD5SUMd4a3d18afc49987e8c1e836a88137c08
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark131
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 131
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 65536
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 279068
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c 2016-06-06T21:44:19+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-4079760-1465242259.opb"]
0.00/0.01	c use --random-gen="787902703 829336464 3497839173 1237740054 2027866821 86403921 2836689218 1587687325 3678357022 1927646746 1272000422 4288907142 1951656151 1026120064 3177804233 324338785 2136512350 3309567197 1985279110 298565851 2953930137 2802501859 3127665835 972223346 2466928310 2314224072 3173998219 1710953827 4194999284 2422770046 1295711371 2612241537 3236464787 2059327721 1748811236 821118353 2062942798 1413921636 1419488419 335950374 851265849 3138334317 2747251441 1418916644 2604012375 2602055518 923493763 1947599096 1862280810 3362676790 921740745 3003209080 1530935651 861807578 3760572587 2687924032 2856847532 21965678 3164938306 323637778 450625249 878491002 2418768545 1007254519 3515245177 297190805 1887403627 2097635692 1232120179 1870246475 652087783 1376942522 2528200524 2805226269 1142144016 3215942415 2215409053 3713844110 1522304356 3164440804 2810095411 3705019553 310589168 2701856806 4165515257 4076725293 2265805500 3235853621 1927792022 2529525307 3440612435 3101656318 655873541 430578278 2562393762 1121175952 2916250340 2045968010 3640251968 1048128867 4090244097 2502178056 165593617 940207696 998233490 1500701530 3531632893 4118767888 3144101137 728778507 779094633 1924559053 225978857 3164044038 1829701602 2605371055 871577579 860461637 9586466 1100978180 2736886605 3948982181 3833499633 230286155 3060754992 2078187529 1052286462 3110663118 294624842 3053287743 2507122599 3976568394 738020481 3322441670 142952539 4083064956 1898543504 3107530742 1868636123 595656803 1706887664 1219017286 4083770489 1033637736 883929070 2859229648 3475987012 3279829320 2787906225 4171721206 3120729033 403918965 2621840147 1516429843 2665027404 510571106 1869564908 1397291698 817331532 2970321074 2399391499 1707344203 7712101 507269454 3480234290 3650976923 3022514306 1422426548 2855980218 384585181 3423375211 734237911 1970331263 718221785 1228568921 465667707 3111550951 3466135034 2743121581 993960985 3728291597 1420108660 2280549322 2495144262 14002833 4081888913 3245691956 3254102193 3738984413 2787698821 905978663 1629556918 4099724961 2149382034 2416298360 3830955131 125429538 1713221725 2205049671 572082691 720510561 584363414 391513584 3378301372 698661857 3550159806 2990213467 1217732929 2842689012 3546434573 1055542014 1817928111 1283635557 2945948840 83448281 91042737 3712513669 846599886 2597946178 3961132057 1895606845 427938116 4273776731 1074093496 496153029 2097386047 1254568522 780675023 2503704979 3299904470 4089445076 2993299288 3606747168 1935000086 3854381509 2538964281 3959277625 1953190578 2306032112 204139645 2421578724 1800189588 120147891 4254467732 1104542129 942993521 1432996015 3562942120 480546114 3057649138 1119628402 479943599 1734561790 571722759 2742590202 2035114913 255 362436" option to reproduce the execution
0.00/0.01	c #vars 99
0.00/0.01	c #constraints 244
0.08/0.16	c BCD2: Hardening is enabled.
0.08/0.16	c BCD2: BiasedSearch is enabled.
0.08/0.16	c Solving starts ...
0.08/0.16	c ============================[ Search Statistics ]============================
0.08/0.16	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.16	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.16	c =============================================================================
0.08/0.16	c  0.0s |       0 |        0 |        0 |      114      0 |        3 |        0
0.08/0.18	c  0.0s |       1 |      113 |      100 |      114      0 |        3 |        6
0.19/0.21	c  0.0s |       1 |      259 |      237 |      126      1 |        3 |        6
0.19/0.21	c #cpu_time = 0.043s
0.19/0.21	c #wall_clock_time = 0.043s
0.19/0.21	c #decision = 259
0.19/0.21	c #random_decision = 1
0.19/0.21	c #conflict = 237
0.19/0.21	c #restart = 1
0.19/0.21	o 137
0.19/0.21	c BCD2: hardening fixes 1 literals
0.19/0.21	c BCD2: updating upper bound: 511 -> 136
0.19/0.21	c BCD2: 0 <= obj <= 136
0.19/0.21	c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=1
0.19/0.21	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.21	c Solving starts ...
0.19/0.21	c ============================[ Search Statistics ]============================
0.19/0.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.21	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.21	c =============================================================================
0.19/0.21	c  0.0s |       0 |        0 |        0 |      126      0 |       11 |        6
0.19/0.21	c  0.0s |       0 |        2 |        0 |      126      1 |       11 |       29
0.19/0.21	c #cpu_time = 0.001s
0.19/0.21	c #wall_clock_time = 0.001s
0.19/0.21	c #decision = 2
0.19/0.21	c #random_decision = 0
0.19/0.21	c #conflict = 0
0.19/0.21	c #restart = 0
0.19/0.21	c BCD2: found a new core of size 3: cost of the new core is >=32
0.19/0.21	c lower bound updated to 32
0.19/0.21	c BCD2: 32 <= obj <= 136
0.19/0.21	c BCD2: #cores=1, #unrelaxed=5, #relaxed=3, #hardened=1
0.19/0.21	c BCD2: #sat=1 #unsat=2 bias=2/3
0.19/0.21	c Solving starts ...
0.19/0.21	c ============================[ Search Statistics ]============================
0.19/0.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.21	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.21	c =============================================================================
0.19/0.21	c  0.0s |       0 |        0 |        0 |      126      0 |       11 |       29
0.19/0.21	c  0.0s |       0 |        7 |        3 |      126      0 |       11 |       29
0.19/0.21	c #cpu_time = 0.001s
0.19/0.21	c #wall_clock_time = 0.001s
0.19/0.21	c #decision = 7
0.19/0.21	c #random_decision = 0
0.19/0.21	c #conflict = 3
0.19/0.21	c #restart = 0
0.19/0.21	c BCD2: relaxing 3 and merging with 1 cores into a new core of size 6: cost of the new core is >=36
0.19/0.21	c lower bound updated to 36
0.19/0.21	c BCD2: 36 <= obj <= 136
0.19/0.21	c BCD2: #cores=1, #unrelaxed=2, #relaxed=6, #hardened=1
0.19/0.21	c BCD2: #sat=1 #unsat=3 bias=3/4
0.19/0.21	c Solving starts ...
0.19/0.21	c ============================[ Search Statistics ]============================
0.19/0.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.21	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.21	c =============================================================================
0.19/0.21	c  0.0s |       0 |        0 |        0 |      126      0 |       12 |       29
0.19/0.21	c  0.0s |       0 |       23 |       20 |      139      0 |       12 |       30
0.19/0.21	c #cpu_time = 0.004s
0.19/0.21	c #wall_clock_time = 0.004s
0.19/0.21	c #decision = 23
0.19/0.21	c #random_decision = 0
0.19/0.21	c #conflict = 20
0.19/0.21	c #restart = 0
0.19/0.21	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 8: cost of the new core is >=37
0.19/0.21	c lower bound updated to 37
0.19/0.21	c BCD2: 37 <= obj <= 136
0.19/0.22	c BCD2: #cores=1, #unrelaxed=0, #relaxed=8, #hardened=1
0.19/0.22	c BCD2: #sat=1 #unsat=4 bias=4/5
0.19/0.22	c Solving starts ...
0.19/0.22	c ============================[ Search Statistics ]============================
0.19/0.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.22	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.22	c =============================================================================
0.19/0.22	c  0.0s |       0 |        0 |        0 |      139      0 |       13 |       30
0.19/0.23	c  0.0s |       0 |       59 |       56 |      139      0 |       14 |       32
0.19/0.23	c #cpu_time = 0.010s
0.19/0.23	c #wall_clock_time = 0.010s
0.19/0.23	c #decision = 59
0.19/0.23	c #random_decision = 0
0.19/0.23	c #conflict = 56
0.19/0.23	c #restart = 0
0.19/0.23	c BCD2: updating lower bound of a core
0.19/0.23	c lower bound updated to 118
0.19/0.23	c BCD2: 118 <= obj <= 136
0.19/0.23	c BCD2: #cores=1, #unrelaxed=0, #relaxed=8, #hardened=1
0.19/0.23	c BCD2: #sat=1 #unsat=5 bias=5/6
0.19/0.23	c Solving starts ...
0.19/0.23	c ============================[ Search Statistics ]============================
0.19/0.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.23	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.23	c =============================================================================
0.19/0.23	c  0.0s |       0 |        0 |        0 |      139      0 |       14 |       32
0.19/0.23	c  0.0s |       0 |       17 |        5 |      139      0 |       14 |       32
0.19/0.23	c #cpu_time = 0.002s
0.19/0.23	c #wall_clock_time = 0.002s
0.19/0.23	c #decision = 17
0.19/0.23	c #random_decision = 0
0.19/0.23	c #conflict = 5
0.19/0.23	c #restart = 0
0.19/0.23	o 131
0.19/0.23	c BCD2: updating upper bound: 136 -> 130
0.19/0.23	c BCD2: 118 <= obj <= 130
0.19/0.23	c BCD2: #cores=1, #unrelaxed=0, #relaxed=8, #hardened=1
0.19/0.23	c BCD2: #sat=2 #unsat=5 bias=5/7
0.19/0.23	c Solving starts ...
0.19/0.23	c ============================[ Search Statistics ]============================
0.19/0.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.23	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.23	c =============================================================================
0.19/0.23	c  0.0s |       0 |        0 |        0 |      139      0 |       14 |       32
0.19/0.23	c  0.0s |       0 |        2 |        2 |      139      0 |       15 |       34
0.19/0.23	c #cpu_time = 0.001s
0.19/0.23	c #wall_clock_time = 0.001s
0.19/0.23	c #decision = 2
0.19/0.23	c #random_decision = 0
0.19/0.23	c #conflict = 2
0.19/0.23	c #restart = 0
0.19/0.23	c BCD2: updating lower bound of a core
0.19/0.23	c lower bound updated to 128
0.19/0.23	c BCD2: 128 <= obj <= 130
0.19/0.23	c BCD2: #cores=1, #unrelaxed=0, #relaxed=8, #hardened=1
0.19/0.23	c BCD2: #sat=2 #unsat=6 bias=6/8
0.19/0.23	c Solving starts ...
0.19/0.23	c ============================[ Search Statistics ]============================
0.19/0.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.23	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.23	c =============================================================================
0.19/0.23	c  0.0s |       0 |        0 |        0 |      139      0 |       85 |       34
0.19/0.23	c  0.0s |       0 |        3 |        3 |      139      0 |       90 |      233
0.19/0.23	c #cpu_time = 0.002s
0.19/0.23	c #wall_clock_time = 0.002s
0.19/0.23	c #decision = 3
0.19/0.23	c #random_decision = 0
0.19/0.23	c #conflict = 3
0.19/0.23	c #restart = 0
0.19/0.23	c BCD2: updating lower bound of a core
0.19/0.23	c lower bound updated to 131
0.19/0.23	s OPTIMUM FOUND
0.19/0.23	v x1 x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 x10
0.19/0.23	v -x11 -x12 x13 -x14 -x15 -x16 x17 -x18 x19 -x20
0.19/0.23	v -x21 x22 -x23 -x24 -x25 x26 -x27 x28 -x29 -x30
0.19/0.23	v x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40
0.19/0.23	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
0.19/0.23	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
0.19/0.23	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
0.19/0.23	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
0.19/0.23	v -x81 x82 -x83 -x84 x85 -x86 -x87 -x88 x89 -x90
0.19/0.23	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99
0.19/0.23	c total CPU time = 0.236s
0.19/0.23	c total wall clock time = 0.236s

Verifier Data 

OK	131

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

pid=32501
running on 8 cores: 4-7,12-15

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.21 2.08 2.02 3/261 32504
/proc/meminfo: memFree=29815804/32872528 swapFree=9196/9196
[pid=32504] ppid=32501 vsize=1172924 CPUtime=0 cores=4-7,12-15
/proc/32504/stat : 32504 (toysat) R 32501 32504 25889 0 -1 4202496 4455 0 0 0 0 0 0 0 20 0 4 0 106067936 1201074176 4816 33554432000 4194304 16246674 140736846288112 140736846287536 13880264 0 2 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/32504/statm: 293999 4825 441 2943 0 290893 0
[pid=32504/tid=32505] ppid=32501 vsize=1195452 CPUtime=0 cores=4-7,12-15
/proc/32504/task/32505/stat : 32505 (toysat) S 32501 32504 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106067936 1224142848 4905 33554432000 4194304 16246674 140736846288112 140107081297136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=32504/tid=32506] ppid=32501 vsize=1200572 CPUtime=0 cores=4-7,12-15
/proc/32504/task/32506/stat : 32506 (toysat) S 32501 32504 25889 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106067936 1229385728 4923 33554432000 4194304 16246674 140736846288112 140107000556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=32504/tid=32507] ppid=32501 vsize=1204668 CPUtime=0 cores=4-7,12-15
/proc/32504/task/32507/stat : 32507 (toysat) S 32501 32504 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106067936 1233580032 4941 33554432000 4194304 16246674 140736846288112 140106990083248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0

[startup+0.10019 s]
/proc/loadavg: 2.21 2.08 2.02 3/261 32504
/proc/meminfo: memFree=29815804/32872528 swapFree=9196/9196
[pid=32504] ppid=32501 vsize=1218116 CPUtime=0.08 cores=4-7,12-15
/proc/32504/stat : 32504 (toysat) R 32501 32504 25889 0 -1 4202496 32333 0 0 0 4 4 0 0 20 0 4 0 106067936 1247350784 32686 33554432000 4194304 16246674 140736846288112 140736846287536 12655109 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/32504/statm: 304529 32701 640 2943 0 301423 0
[pid=32504/tid=32505] ppid=32501 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32504/task/32505/stat : 32505 (toysat) S 32501 32504 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106067936 1247350784 32713 33554432000 4194304 16246674 140736846288112 140107081297136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=32504/tid=32506] ppid=32501 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32504/task/32506/stat : 32506 (toysat) S 32501 32504 25889 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106067936 1247350784 32723 33554432000 4194304 16246674 140736846288112 140107000556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=32504/tid=32507] ppid=32501 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32504/task/32507/stat : 32507 (toysat) S 32501 32504 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106067936 1247350784 32734 33554432000 4194304 16246674 140736846288112 140106990083248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200575 s]
/proc/loadavg: 2.21 2.08 2.02 3/261 32504
/proc/meminfo: memFree=29815804/32872528 swapFree=9196/9196
[pid=32504] ppid=32501 vsize=1218116 CPUtime=0.19 cores=4-7,12-15
/proc/32504/stat : 32504 (toysat) R 32501 32504 25889 0 -1 4202496 59811 0 0 0 11 8 0 0 20 0 4 0 106067936 1247350784 60160 33554432000 4194304 16246674 140736846288112 140736846287536 6836566 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/32504/statm: 304529 60173 758 2943 0 301423 0
[pid=32504/tid=32505] ppid=32501 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32504/task/32505/stat : 32505 (toysat) S 32501 32504 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106067936 1247350784 60182 33554432000 4194304 16246674 140736846288112 140107081297136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=32504/tid=32506] ppid=32501 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32504/task/32506/stat : 32506 (toysat) S 32501 32504 25889 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106067936 1247350784 60184 33554432000 4194304 16246674 140736846288112 140107000556784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=32504/tid=32507] ppid=32501 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32504/task/32507/stat : 32507 (toysat) S 32501 32504 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106067936 1247350784 60187 33554432000 4194304 16246674 140736846288112 140106990083248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

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

Child status: 0
Real time (s): 0.254383
CPU time (s): 0.251961
CPU user time (s): 0.141978
CPU system time (s): 0.109983
CPU usage (%): 99.0479
Max. virtual memory (cumulated for all children) (KiB): 1218116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.141978
system time used= 0.109983
maximum resident set size= 268180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66706
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= 22
involuntary context switches= 1

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

The end

Launcher Data 

Begin job on node132 at 2016-06-06 21:44:19
IDJOB=4079760
IDBENCH=2730
IDSOLVER=2542
FILE ID=node132/4079760-1465242259
RUNJOBID= node132-1465216787-25906
PBS_JOBID= 19843203
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= d4a3d18afc49987e8c1e836a88137c08
RANDOM SEED=989523163

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

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

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

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        29816176 kB
Buffers:           46308 kB
Cached:            99152 kB
SwapCached:         3224 kB
Active:          2249092 kB
Inactive:          80432 kB
Active(anon):    2183588 kB
Inactive(anon):     3236 kB
Active(file):      65504 kB
Inactive(file):    77196 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094528 kB
Dirty:             16896 kB
Writeback:             0 kB
AnonPages:       2193260 kB
Mapped:            10680 kB
Shmem:                 0 kB
Slab:             575292 kB
SReclaimable:      13904 kB
SUnreclaim:       561388 kB
KernelStack:        2208 kB
PageTables:         8924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2337984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    509952 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= 71716 MiB
End job on node132 at 2016-06-06 21:44:20