Trace number 4106499

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-02OPT3 1.81972 1.82375

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=8-P0=157-P1=107-B.opb
MD5SUM81bcbf479f290ea51f43d1561f9d15dc
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.019996
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables24
Total number of constraints3
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3
Minimum length of a constraint8
Maximum length of a constraint72
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130464
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)64
Sum of products size (including duplicates)128
Number of different products64
Sum of products size128

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-18T19:56:00+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-4106499-1466272560.opb"]
0.00/0.01	c use --random-gen="1279054835 862115608 1525493556 3961192325 266323754 776805262 102585240 1120723588 2007104184 3193005542 708099093 1332676118 2992235398 3762116503 1798041811 258794325 4235027547 2660047117 3596387444 3057862571 4095686041 254585488 2306441700 1007972272 1372799905 3109363193 2314783479 4023666924 4201276083 334803076 643800925 351923864 2130427806 4134361 4134521715 1454018388 2332634542 3546642765 1382604495 96560292 525932691 1156879400 4121731358 2045656081 1166807264 1251572447 841016894 3203855169 676287220 2840895704 2258763540 187415683 1414153542 3820968698 1583519135 165275243 4065030148 1522925205 2668004753 604476612 2009994273 2960561470 448903035 868685666 4177209053 1962821538 3077014185 3594424470 3837516396 3879185639 1619942788 155843754 294302366 1660466986 2954063079 747546560 3500856025 3679821155 3831792993 1178645174 3648153968 527112042 3985348809 1864969307 49122312 3649183646 2236963122 1509345580 2787233286 3819711329 3299974690 2729701577 3949806047 3662871631 2980657143 1757903048 3623317046 76333818 1401746464 674471468 4277917898 2798176168 148088147 790674044 598974177 2363586459 134372106 2375353345 912965898 80750169 3426613306 4128934829 1362849065 1069871622 3085033116 2964103287 2442373860 3247667658 132989907 2201054686 1397301772 2278785890 1852557053 1488284241 282445779 1223607257 419112699 1318676605 2092187084 354201817 3888276376 2589323887 3721847799 3239584561 3447186234 2067541793 1387983575 1327021848 2841114355 927060672 689342424 4038430532 2325584936 3309898757 508299614 36138384 3124889199 81690935 182030397 1871365201 766943678 3043751089 1585161001 3093655803 2225703562 4169105200 826710244 2809792262 2134363583 3187422883 1682357367 3040271289 204530309 4256258057 3642877527 531071209 1202914136 1669325591 3359619940 1657656829 379481489 3325853200 1474312451 2630165238 632990112 1826483923 3059876145 1669800396 161447465 3711609554 2388806800 3129415545 2643940097 511344796 903851184 1175051379 686433797 219408159 942526698 2242508516 3621611732 1508737534 717739724 710838092 890377279 3757222659 3046693739 620597397 2173881737 1519066185 788781831 1624259406 3187210846 1893185427 928634528 3156230545 3778879746 131080473 3536998635 4129596505 793146170 1485958271 415042676 1924257691 1986839768 3960496728 2653145045 1940047698 4076435872 3429566506 2588060094 1252984407 3784053270 1903761818 1255981542 3115816585 4266581858 4215143726 3897237411 16458870 2741205564 176558241 2459314077 1748797601 3954559673 2810754374 1803568634 1813067934 2669373753 2277875770 3421790007 704486281 3773156321 2464451119 3794450512 3278599598 53650769 274830694 2053598145 599330017 3410732139 278326752 2980182912 2627850618 302303822 810412261 255 362436" option to reproduce the execution
0.00/0.01	c #vars 24
0.00/0.01	c #constraints 3
0.00/0.01	c BCD2: Hardening is enabled.
0.00/0.01	c BCD2: BiasedSearch is enabled.
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       94      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      109 |      100 |       94      0 |        0 |        0
0.00/0.07	c  0.1s |       2 |      268 |      250 |      104      2 |        0 |        0
0.00/0.08	c  0.1s |       2 |      326 |      300 |      115      3 |        0 |        0
0.00/0.08	c #cpu_time = 0.066s
0.00/0.08	c #wall_clock_time = 0.066s
0.00/0.08	c #decision = 326
0.00/0.08	c #random_decision = 0
0.00/0.08	c #conflict = 300
0.00/0.08	c #restart = 2
0.00/0.08	o 253
0.00/0.08	c BCD2: updating upper bound: 255 -> 252
0.00/0.08	c BCD2: 0 <= obj <= 252
0.00/0.08	c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=0
0.00/0.08	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.08	c Solving starts ...
0.00/0.08	c ============================[ Search Statistics ]============================
0.00/0.08	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.08	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.08	c =============================================================================
0.00/0.08	c  0.0s |       0 |        0 |        0 |      115      0 |        0 |        0
0.00/0.08	c  0.0s |       0 |        6 |        0 |      115      0 |        0 |        0
0.00/0.08	c #cpu_time = 0.001s
0.00/0.08	c #wall_clock_time = 0.001s
0.00/0.08	c #decision = 6
0.00/0.08	c #random_decision = 0
0.00/0.08	c #conflict = 0
0.00/0.08	c #restart = 0
0.00/0.08	c BCD2: found a new core of size 7: cost of the new core is >=2
0.00/0.08	c lower bound updated to 2
0.00/0.08	c BCD2: 2 <= obj <= 252
0.00/0.08	c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=0
0.00/0.08	c BCD2: #sat=1 #unsat=2 bias=2/3
0.00/0.08	c Solving starts ...
0.00/0.08	c ============================[ Search Statistics ]============================
0.00/0.08	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.08	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.08	c =============================================================================
0.00/0.08	c  0.0s |       0 |        0 |        0 |      115      0 |        0 |        0
0.09/0.10	c  0.0s |       1 |      126 |      100 |      115      1 |        0 |        0
0.09/0.13	c  0.1s |       2 |      294 |      250 |      127      3 |        0 |        0
0.09/0.18	c  0.1s |       3 |      528 |      475 |      127      5 |        0 |        0
0.18/0.25	c  0.2s |       4 |      876 |      813 |      140      9 |        0 |        0
0.29/0.36	c  0.3s |       5 |     1404 |     1320 |      154     14 |        0 |        0
0.48/0.51	c  0.4s |       6 |     2181 |     2081 |      170     21 |        0 |        0
0.68/0.75	c  0.7s |       7 |     3368 |     3223 |      188     32 |        0 |        0
1.09/1.11	c  1.0s |       8 |     5130 |     4936 |      207     46 |        0 |        0
1.48/1.51	c  1.4s |       9 |     7771 |     7506 |      228     66 |        0 |        0
1.68/1.71	c  1.6s |       9 |     9186 |     8912 |      228     77 |        0 |        0
1.68/1.71	c #cpu_time = 1.633s
1.68/1.71	c #wall_clock_time = 1.633s
1.68/1.71	c #decision = 9186
1.68/1.71	c #random_decision = 12
1.68/1.71	c #conflict = 8912
1.68/1.71	c #restart = 9
1.68/1.71	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 8: cost of the new core is >=3
1.68/1.71	c lower bound updated to 3
1.68/1.71	c BCD2: 3 <= obj <= 252
1.68/1.71	c BCD2: #cores=1, #unrelaxed=0, #relaxed=8, #hardened=0
1.68/1.71	c BCD2: #sat=1 #unsat=3 bias=3/4
1.68/1.71	c Solving starts ...
1.68/1.71	c ============================[ Search Statistics ]============================
1.68/1.71	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.68/1.71	c       |         |          |          |    Limit     GC | Var      | Constra 
1.68/1.71	c =============================================================================
1.68/1.71	c  0.0s |       0 |        0 |        0 |      228      0 |        1 |        0
1.68/1.73	c  0.0s |       0 |      107 |       99 |      228      0 |        1 |        1
1.68/1.73	c #cpu_time = 0.015s
1.68/1.73	c #wall_clock_time = 0.015s
1.68/1.73	c #decision = 107
1.68/1.73	c #random_decision = 0
1.68/1.73	c #conflict = 99
1.68/1.73	c #restart = 0
1.68/1.73	o 161
1.68/1.73	c BCD2: updating upper bound: 252 -> 160
1.68/1.73	c BCD2: 3 <= obj <= 160
1.68/1.73	c BCD2: #cores=1, #unrelaxed=0, #relaxed=8, #hardened=0
1.68/1.73	c BCD2: #sat=2 #unsat=3 bias=3/5
1.68/1.73	c Solving starts ...
1.68/1.73	c ============================[ Search Statistics ]============================
1.68/1.73	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.68/1.73	c       |         |          |          |    Limit     GC | Var      | Constra 
1.68/1.73	c =============================================================================
1.68/1.73	c  0.0s |       0 |        0 |        0 |      228      0 |        1 |        1
1.68/1.74	c  0.0s |       1 |      117 |      100 |      228      1 |        1 |        1
1.68/1.75	c  0.0s |       1 |      167 |      136 |      228      1 |        1 |        1
1.68/1.75	c #cpu_time = 0.020s
1.68/1.75	c #wall_clock_time = 0.020s
1.68/1.75	c #decision = 167
1.68/1.75	c #random_decision = 0
1.68/1.75	c #conflict = 136
1.68/1.75	c #restart = 1
1.68/1.75	o 57
1.68/1.75	c BCD2: hardening fixes 2 literals
1.68/1.75	c BCD2: updating upper bound: 160 -> 56
1.68/1.75	c BCD2: 3 <= obj <= 56
1.68/1.75	c BCD2: #cores=1, #unrelaxed=0, #relaxed=6, #hardened=2
1.68/1.75	c BCD2: #sat=3 #unsat=3 bias=3/6
1.68/1.75	c Solving starts ...
1.68/1.75	c ============================[ Search Statistics ]============================
1.68/1.75	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.68/1.75	c       |         |          |          |    Limit     GC | Var      | Constra 
1.68/1.75	c =============================================================================
1.68/1.75	c  0.0s |       0 |        0 |        0 |      228      0 |       21 |        4
1.68/1.76	c  0.0s |       0 |       71 |       63 |      228      0 |       21 |       53
1.68/1.76	c #cpu_time = 0.008s
1.68/1.76	c #wall_clock_time = 0.008s
1.68/1.76	c #decision = 71
1.68/1.76	c #random_decision = 1
1.68/1.76	c #conflict = 63
1.68/1.76	c #restart = 0
1.68/1.76	o 27
1.68/1.76	c BCD2: hardening fixes 1 literals
1.68/1.76	c BCD2: updating upper bound: 56 -> 26
1.68/1.76	c BCD2: 3 <= obj <= 26
1.68/1.76	c BCD2: #cores=1, #unrelaxed=0, #relaxed=5, #hardened=3
1.68/1.76	c BCD2: #sat=4 #unsat=3 bias=3/7
1.68/1.76	c Solving starts ...
1.68/1.76	c ============================[ Search Statistics ]============================
1.68/1.76	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.68/1.76	c       |         |          |          |    Limit     GC | Var      | Constra 
1.68/1.76	c =============================================================================
1.68/1.76	c  0.0s |       0 |        0 |        0 |      228      0 |       31 |       55
1.68/1.76	c  0.0s |       0 |       16 |       10 |      228      0 |       31 |       79
1.68/1.76	c #cpu_time = 0.002s
1.68/1.76	c #wall_clock_time = 0.002s
1.68/1.76	c #decision = 16
1.68/1.76	c #random_decision = 0
1.68/1.76	c #conflict = 10
1.68/1.76	c #restart = 0
1.68/1.76	o 11
1.68/1.76	c BCD2: hardening fixes 1 literals
1.68/1.76	c BCD2: updating upper bound: 26 -> 10
1.68/1.76	c BCD2: 3 <= obj <= 10
1.68/1.76	c BCD2: #cores=1, #unrelaxed=0, #relaxed=4, #hardened=4
1.68/1.76	c BCD2: #sat=5 #unsat=3 bias=3/8
1.68/1.76	c Solving starts ...
1.68/1.76	c ============================[ Search Statistics ]============================
1.68/1.76	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.68/1.76	c       |         |          |          |    Limit     GC | Var      | Constra 
1.68/1.76	c =============================================================================
1.68/1.76	c  0.0s |       0 |        0 |        0 |      228      0 |       41 |       81
1.68/1.76	c  0.0s |       0 |        7 |        0 |      228      0 |       41 |      105
1.68/1.76	c #cpu_time = 0.000s
1.68/1.76	c #wall_clock_time = 0.000s
1.68/1.76	c #decision = 7
1.68/1.76	c #random_decision = 0
1.68/1.76	c #conflict = 0
1.68/1.76	c #restart = 0
1.68/1.76	o 3
1.68/1.76	s OPTIMUM FOUND
1.68/1.76	v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10
1.68/1.76	v x11 -x12 x13 x14 -x15 -x16 -x17 -x18 -x19 -x20
1.68/1.76	v -x21 -x22 -x23 -x24
1.68/1.76	c total CPU time = 1.762s
1.68/1.76	c total wall clock time = 1.762s

Verifier Data 

OK	3

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

pid=26265
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.30 2.35 2.29 3/179 26268
/proc/meminfo: memFree=28949044/32872528 swapFree=1499884/1696108
[pid=26268] ppid=26265 vsize=411068 CPUtime=0 cores=1,3,5,7
/proc/26268/stat : 26268 (toysat) R 26265 26268 24910 0 -1 4202496 1473 0 0 0 0 0 0 0 20 0 4 0 29301695 420933632 2345 33554432000 4194304 16246674 140735723823184 140735723822608 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26268/statm: 103279 2354 441 2943 0 100173 0
[pid=26268/tid=26269] ppid=26265 vsize=427452 CPUtime=0 cores=1,3,5,7
/proc/26268/task/26269/stat : 26269 (toysat) S 26265 26268 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29301696 437710848 2413 33554432000 4194304 16246674 140735723823184 139971799264496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26268/tid=26270] ppid=26265 vsize=431548 CPUtime=0 cores=1,3,5,7
/proc/26268/task/26270/stat : 26270 (toysat) S 26265 26268 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29301696 441905152 2429 33554432000 4194304 16246674 140735723823184 139971788774640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26268/tid=26271] ppid=26265 vsize=435644 CPUtime=0 cores=1,3,5,7
/proc/26268/task/26271/stat : 26271 (toysat) S 26265 26268 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29301696 446099456 2445 33554432000 4194304 16246674 140735723823184 139971709103280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100151 s]
/proc/loadavg: 2.30 2.35 2.29 3/179 26268
/proc/meminfo: memFree=28949044/32872528 swapFree=1499884/1696108
[pid=26268] ppid=26265 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/26268/stat : 26268 (toysat) R 26265 26268 24910 0 -1 4202496 20990 0 0 0 6 3 0 0 20 0 4 0 29301695 1247350784 21849 33554432000 4194304 16246674 140735723823184 140735723822608 6021133 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26268/statm: 304529 21857 795 2943 0 301423 0
[pid=26268/tid=26269] ppid=26265 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26268/task/26269/stat : 26269 (toysat) S 26265 26268 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29301696 1247350784 21864 33554432000 4194304 16246674 140735723823184 139971799264496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26268/tid=26270] ppid=26265 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26268/task/26270/stat : 26270 (toysat) S 26265 26268 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29301696 1247350784 21873 33554432000 4194304 16246674 140735723823184 139971788774640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26268/tid=26271] ppid=26265 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26268/task/26271/stat : 26271 (toysat) S 26265 26268 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29301696 1247350784 21880 33554432000 4194304 16246674 140735723823184 139971709103280 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.200524 s]
/proc/loadavg: 2.30 2.35 2.29 3/179 26268
/proc/meminfo: memFree=28949044/32872528 swapFree=1499884/1696108
[pid=26268] ppid=26265 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/26268/stat : 26268 (toysat) R 26265 26268 24910 0 -1 4202496 40368 0 0 0 13 5 0 0 20 0 4 0 29301695 1247350784 41227 33554432000 4194304 16246674 140735723823184 140735723822608 13192029 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26268/statm: 304529 41235 795 2943 0 301423 0
[pid=26268/tid=26269] ppid=26265 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26268/task/26269/stat : 26269 (toysat) S 26265 26268 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29301696 1247350784 41241 33554432000 4194304 16246674 140735723823184 139971799264496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26268/tid=26270] ppid=26265 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26268/task/26270/stat : 26270 (toysat) S 26265 26268 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29301696 1247350784 41244 33554432000 4194304 16246674 140735723823184 139971788774640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26268/tid=26271] ppid=26265 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26268/task/26271/stat : 26271 (toysat) S 26265 26268 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29301696 1247350784 41247 33554432000 4194304 16246674 140735723823184 139971709103280 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.300494 s]
/proc/loadavg: 2.30 2.35 2.29 3/179 26268
/proc/meminfo: memFree=28949044/32872528 swapFree=1499884/1696108
[pid=26268] ppid=26265 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/26268/stat : 26268 (toysat) R 26265 26268 24910 0 -1 4202496 59518 0 0 0 20 9 0 0 20 0 4 0 29301695 1247350784 60377 33554432000 4194304 16246674 140735723823184 140735723822608 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26268/statm: 304529 60386 797 2943 0 301423 0
[pid=26268/tid=26269] ppid=26265 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26268/task/26269/stat : 26269 (toysat) S 26265 26268 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29301696 1247350784 60393 33554432000 4194304 16246674 140735723823184 139971799264496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26268/tid=26270] ppid=26265 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26268/task/26270/stat : 26270 (toysat) S 26265 26268 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29301696 1247350784 60400 33554432000 4194304 16246674 140735723823184 139971788774640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26268/tid=26271] ppid=26265 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26268/task/26271/stat : 26271 (toysat) S 26265 26268 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29301696 1247350784 60408 33554432000 4194304 16246674 140735723823184 139971709103280 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.700407 s]
/proc/loadavg: 2.30 2.35 2.29 3/179 26268
/proc/meminfo: memFree=28949044/32872528 swapFree=1499884/1696108
[pid=26268] ppid=26265 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/26268/stat : 26268 (toysat) R 26265 26268 24910 0 -1 4202496 135997 0 0 0 48 20 0 0 20 0 4 0 29301695 1247350784 136857 33554432000 4194304 16246674 140735723823184 140735723822608 5589685 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26268/statm: 304529 136874 797 2943 0 301423 0
[pid=26268/tid=26269] ppid=26265 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26268/task/26269/stat : 26269 (toysat) S 26265 26268 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29301696 1247350784 136884 33554432000 4194304 16246674 140735723823184 139971799264496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26268/tid=26270] ppid=26265 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26268/task/26270/stat : 26270 (toysat) S 26265 26268 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29301696 1247350784 136894 33554432000 4194304 16246674 140735723823184 139971788774640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26268/tid=26271] ppid=26265 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26268/task/26271/stat : 26271 (toysat) S 26265 26268 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29301696 1247350784 136902 33554432000 4194304 16246674 140735723823184 139971709103280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.30 2.35 2.29 3/183 26272
/proc/meminfo: memFree=28093012/32872528 swapFree=1499884/1696108
[pid=26268] ppid=26265 vsize=1218116 CPUtime=1.48 cores=1,3,5,7
/proc/26268/stat : 26268 (toysat) R 26265 26268 24910 0 -1 4202496 245579 0 0 0 113 35 0 0 20 0 4 0 29301695 1247350784 246416 33554432000 4194304 16246674 140735723823184 140735723822496 12415804 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26268/statm: 304529 246416 854 2943 0 301423 0
[pid=26268/tid=26269] ppid=26265 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26268/task/26269/stat : 26269 (toysat) S 26265 26268 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29301696 1247350784 246416 33554432000 4194304 16246674 140735723823184 139971799264496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26268/tid=26270] ppid=26265 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26268/task/26270/stat : 26270 (toysat) S 26265 26268 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29301696 1247350784 246416 33554432000 4194304 16246674 140735723823184 139971788774640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26268/tid=26271] ppid=26265 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26268/task/26271/stat : 26271 (toysat) S 26265 26268 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29301696 1247350784 246416 33554432000 4194304 16246674 140735723823184 139971709103280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1218116

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

[startup+1.60048 s]
/proc/loadavg: 2.30 2.35 2.29 3/183 26272
/proc/meminfo: memFree=28093012/32872528 swapFree=1499884/1696108
[pid=26268] ppid=26265 vsize=1218116 CPUtime=1.58 cores=1,3,5,7
/proc/26268/stat : 26268 (toysat) R 26265 26268 24910 0 -1 4202496 245580 0 0 0 123 35 0 0 20 0 4 0 29301695 1247350784 246417 33554432000 4194304 16246674 140735723823184 140735723822496 13808416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26268/statm: 304529 246417 854 2943 0 301423 0
[pid=26268/tid=26269] ppid=26265 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26268/task/26269/stat : 26269 (toysat) S 26265 26268 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29301696 1247350784 246417 33554432000 4194304 16246674 140735723823184 139971799264496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26268/tid=26270] ppid=26265 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26268/task/26270/stat : 26270 (toysat) S 26265 26268 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29301696 1247350784 246417 33554432000 4194304 16246674 140735723823184 139971788774640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26268/tid=26271] ppid=26265 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26268/task/26271/stat : 26271 (toysat) S 26265 26268 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29301696 1247350784 246417 33554432000 4194304 16246674 140735723823184 139971709103280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 1218116

[startup+1.80039 s]
/proc/loadavg: 2.30 2.35 2.29 3/183 26272
/proc/meminfo: memFree=28093012/32872528 swapFree=1499884/1696108
[pid=26268] ppid=26265 vsize=0 CPUtime=1.79 cores=1,3,5,7
/proc/26268/stat : 26268 (toysat) R 26265 26268 24910 0 -1 4202500 245585 0 0 0 140 39 0 0 20 0 1 0 29301695 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26268/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1.82375
CPU time (s): 1.81972
CPU user time (s): 1.40579
CPU system time (s): 0.413937
CPU usage (%): 99.779
Max. virtual memory (cumulated for all children) (KiB): 1218116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.40579
system time used= 0.413937
maximum resident set size= 985680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245585
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= 20
involuntary context switches= 4

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

The end

Launcher Data 

Begin job on node137 at 2016-06-18 19:56:00
IDJOB=4106499
IDBENCH=48082
IDSOLVER=2542
FILE ID=node137/4106499-1466272560
RUNJOBID= node137-1466264772-24927
PBS_JOBID= 19918225
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=157-P1=107-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106499-1466272560/watcher-4106499-1466272560 -o /tmp/evaluation-result-4106499-1466272560/solver-4106499-1466272560 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24927 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106499-1466272560.opb

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

MD5SUM BENCH= 81bcbf479f290ea51f43d1561f9d15dc
RANDOM SEED=399092967

node137.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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	: 5332.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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:        28949704 kB
Buffers:          151904 kB
Cached:           256984 kB
SwapCached:         1268 kB
Active:          1227628 kB
Inactive:         256800 kB
Active(anon):    1076768 kB
Inactive(anon):     1028 kB
Active(file):     150860 kB
Inactive(file):   255772 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100008 kB
Dirty:             32932 kB
Writeback:             0 kB
AnonPages:       2771004 kB
Mapped:            10544 kB
Shmem:                 0 kB
Slab:             607712 kB
SReclaimable:      51500 kB
SUnreclaim:       556212 kB
KernelStack:        1448 kB
PageTables:         9368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2914408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    198656 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= 71672 MiB
End job on node137 at 2016-06-18 19:56:02