Trace number 4105484

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
Open-WBO-LSU PB16SAT (TO)51 1800.08 1800.4

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m200_500_10_10.r.opb
MD5SUM9ce5413471f93025df24c6fa43fb2680
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark51
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 39
Optimality of the best value was proved NO
Number of variables492
Total number of constraints200
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint10
Number of terms in the objective function 492
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 492
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 492
Number of bits of the biggest sum of numbers9
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
0.00/0.00	c Open-WBO:	 a Modular MaxSAT Solver -- based on Glucose4.0 (core version)
0.00/0.00	c Version:	 Pseudo-Boolean Evaluation 2016 -- LSU
0.00/0.00	c Authors:	 Ruben Martins, Vasco Manquinho, Ines Lynce
0.00/0.00	c Contributors:	 Miguel Neves, Saurabh Joshi, Mikolas Janota
0.00/0.00	c Contact:	 open-wbo@sat.inesc-id.pt -- http://sat.inesc-id.pt/open-wbo/
0.00/0.00	c
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Instance file HOME/instance-4105484-1466248939.opb
0.00/0.00	c File size is 20877 bytes.
1800.07/1800.40	c Sum of soft weights:          492
1800.07/1800.40	c |                                                                                                       |
1800.07/1800.40	c ========================================[ Problem Statistics ]===========================================
1800.07/1800.40	c |                                                                                                       |
1800.07/1800.40	c |  Problem Type:           Unweighted                                                                   |
1800.07/1800.40	c |  Number of variables:           492                                                                   |
1800.07/1800.40	c |  Number of hard clauses:        200                                                                   |
1800.07/1800.40	c |  Number of soft clauses:        492                                                                   |
1800.07/1800.40	c |  Number of cardinality:           0                                                                   |
1800.07/1800.40	c |  Number of PB :                   0                                                                   |
1800.07/1800.40	c |  Parse time:                   0.00 s                                                                 |
1800.07/1800.40	c |                                                                                                       |
1800.07/1800.40	c ==========================================[ Solver Settings ]============================================
1800.07/1800.40	c |                                                                                                       |
1800.07/1800.40	c |  Algorithm:                LinearSU                                                                   |
1800.07/1800.40	c |  Cardinality Encoding:       Modulo Totalizer                                                         |
1800.07/1800.40	c |                                                                                                       |
1800.07/1800.40	o 60
1800.07/1800.40	o 58
1800.07/1800.40	o 57
1800.07/1800.40	o 56
1800.07/1800.40	o 55
1800.07/1800.40	o 54
1800.07/1800.40	o 53
1800.07/1800.40	o 52
1800.07/1800.40	o 51
1800.07/1800.40	s SATISFIABLE
1800.07/1800.40	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 x160 -x161 x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 x176 -x177 -x178 -x179 x180 -x181 x182 -x183 x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 x199 -x200 x201 x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492

Verifier Data 

OK	51

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-4105484-1466248939/watcher-4105484-1466248939 -o /tmp/evaluation-result-4105484-1466248939/solver-4105484-1466248939 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466241508-28333 --watchdog 1960 open-wbo-lsu HOME/instance-4105484-1466248939.opb 

pid=30840
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30843
/proc/meminfo: memFree=31841996/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=7616 CPUtime=0 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 650 0 0 0 0 0 0 0 20 0 1 0 26938733 7798784 510 33554432000 4194304 6058637 140737123078848 140734582690904 5042435 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 1904 510 164 456 0 1440 0

[startup+0.100155 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30843
/proc/meminfo: memFree=31841996/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=4020 CPUtime=0.09 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 930 0 0 0 9 0 0 0 20 0 1 0 26938733 4116480 633 33554432000 4194304 6058637 140737123078848 140734582690904 4254984 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 1005 633 178 456 0 541 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4020

[startup+0.200253 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30843
/proc/meminfo: memFree=31841996/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=4672 CPUtime=0.19 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 1101 0 0 0 19 0 0 0 20 0 1 0 26938733 4784128 803 33554432000 4194304 6058637 140737123078848 140734582690904 4277589 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 1168 803 178 456 0 704 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 4672

[startup+0.300306 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30843
/proc/meminfo: memFree=31841996/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=5468 CPUtime=0.29 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 1527 0 0 0 29 0 0 0 20 0 1 0 26938733 5599232 914 33554432000 4194304 6058637 140737123078848 140734582690904 4280035 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 1367 914 178 456 0 903 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5468

[startup+0.700282 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30843
/proc/meminfo: memFree=31841996/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=7756 CPUtime=0.69 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 2012 0 0 0 69 0 0 0 20 0 1 0 26938733 7942144 1377 33554432000 4194304 6058637 140737123078848 140737123078184 4261657 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 1939 1377 178 456 0 1475 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7756

[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30844
/proc/meminfo: memFree=31828428/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=15836 CPUtime=1.49 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 2438 0 0 0 149 0 0 0 20 0 1 0 26938733 16216064 2822 33554432000 4194304 6058637 140737123078848 140737123077576 4278181 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 3959 2822 178 456 0 3495 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15836

[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30844
/proc/meminfo: memFree=31815336/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=12324 CPUtime=3.09 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 4467 0 0 0 309 0 0 0 20 0 1 0 26938733 12619776 2718 33554432000 4194304 6058637 140737123078848 140737123077576 4278237 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 3081 2718 178 456 0 2617 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12324

[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30844
/proc/meminfo: memFree=31812812/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=19396 CPUtime=6.29 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 4711 0 0 0 629 0 0 0 20 0 1 0 26938733 19861504 4486 33554432000 4194304 6058637 140737123078848 140737123077576 4277615 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 4849 4486 178 456 0 4385 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19396

[startup+12.7003 s]
/proc/loadavg: 2.08 2.02 2.01 3/176 30844
/proc/meminfo: memFree=31784300/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=22144 CPUtime=12.69 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 5912 0 0 0 1269 0 0 0 20 0 1 0 26938733 22675456 5157 33554432000 4194304 6058637 140737123078848 140737123077624 4277589 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 5536 5157 178 456 0 5072 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22144

[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 30845
/proc/meminfo: memFree=31784676/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=35032 CPUtime=25.49 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 6788 0 0 0 2548 1 0 0 20 0 1 0 26938733 35872768 7031 33554432000 4194304 6058637 140737123078848 140737123077608 4277640 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 8758 7031 178 456 0 8294 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 35032

[startup+51.1004 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 30845
/proc/meminfo: memFree=31763388/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=54112 CPUtime=51.08 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 7274 0 0 0 5107 1 0 0 20 0 1 0 26938733 55410688 11604 33554432000 4194304 6058637 140737123078848 140737123077608 4278348 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 13528 11604 178 456 0 13064 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 54112

[startup+102.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 30846
/proc/meminfo: memFree=31719384/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=80108 CPUtime=102.27 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 8139 0 0 0 10225 2 0 0 20 0 1 0 26938733 82030592 19159 33554432000 4194304 6058637 140737123078848 140737123077576 4278255 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 20027 19159 178 456 0 19563 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 80108

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 30847
/proc/meminfo: memFree=31677432/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=129428 CPUtime=162.25 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 8586 0 0 0 16222 3 0 0 20 0 1 0 26938733 132534272 28070 33554432000 4194304 6058637 140737123078848 140737123077912 4278290 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 32357 28070 178 456 0 31893 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 129428

[startup+222.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30848
/proc/meminfo: memFree=31715988/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=80108 CPUtime=222.25 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 10086 0 0 0 22218 7 0 0 20 0 1 0 26938733 82030592 19671 33554432000 4194304 6058637 140737123078848 140737123077912 4278181 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 20027 19671 178 456 0 19563 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 80108

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30849
/proc/meminfo: memFree=31676976/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=80108 CPUtime=282.23 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 10994 0 0 0 28214 9 0 0 20 0 1 0 26938733 82030592 19671 33554432000 4194304 6058637 140737123078848 140737123077912 4278171 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 20027 19671 178 456 0 19563 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 80108

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30851
/proc/meminfo: memFree=31715808/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=129428 CPUtime=342.22 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 11896 0 0 0 34211 11 0 0 20 0 1 0 26938733 132534272 27046 33554432000 4194304 6058637 140737123078848 140737123077912 5130997 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 32357 27046 178 456 0 31893 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 129428

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30852
/proc/meminfo: memFree=31666872/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=91876 CPUtime=402.21 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 12750 0 0 0 40208 13 0 0 20 0 1 0 26938733 94081024 22613 33554432000 4194304 6058637 140737123078848 140737123077912 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 22969 22613 178 456 0 22505 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 91876

[startup+462.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 30856
/proc/meminfo: memFree=31655952/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=91876 CPUtime=462.2 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 13656 0 0 0 46205 15 0 0 20 0 1 0 26938733 94081024 22613 33554432000 4194304 6058637 140737123078848 140737123077912 4277697 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 22969 22613 178 456 0 22505 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 91876

[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 30857
/proc/meminfo: memFree=31625256/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=141196 CPUtime=522.2 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 14928 0 0 0 52202 18 0 0 20 0 1 0 26938733 144584704 31012 33554432000 4194304 6058637 140737123078848 140737123077624 4278197 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 35299 31012 178 456 0 34835 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 141196

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30858
/proc/meminfo: memFree=31618184/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=172016 CPUtime=582.19 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 16999 0 0 0 58197 22 0 0 20 0 1 0 26938733 176144384 35079 33554432000 4194304 6058637 140737123078848 140737123077624 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 43004 35079 178 456 0 42540 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 172016


################
# More data... #
################


[startup+882.307 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 30865
/proc/meminfo: memFree=31573640/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=141196 CPUtime=882.15 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 24754 0 0 0 88176 39 0 0 20 0 1 0 26938733 144584704 34084 33554432000 4194304 6058637 140737123078848 140737123077624 4278197 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 35299 34084 178 456 0 34835 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 141196

[startup+942.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 30867
/proc/meminfo: memFree=31654128/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=91876 CPUtime=942.13 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 26174 0 0 0 94172 41 0 0 20 0 1 0 26938733 94081024 22613 33554432000 4194304 6058637 140737123078848 140737123077912 4278328 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 22969 22613 178 456 0 22505 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 91876

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30868
/proc/meminfo: memFree=31551820/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=222104 CPUtime=1002.12 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 28575 0 0 0 100167 45 0 0 20 0 1 0 26938733 227434496 43085 33554432000 4194304 6058637 140737123078848 140737123077880 4280035 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 55526 43085 178 456 0 55062 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 222104

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30869
/proc/meminfo: memFree=31571064/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=172016 CPUtime=1062.11 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 31131 0 0 0 106161 50 0 0 20 0 1 0 26938733 176144384 37735 33554432000 4194304 6058637 140737123078848 140737123077880 4277655 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 43004 37735 178 456 0 42540 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 172016

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30873
/proc/meminfo: memFree=31549716/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=172016 CPUtime=1122.1 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 32794 0 0 0 112157 53 0 0 20 0 1 0 26938733 176144384 37735 33554432000 4194304 6058637 140737123078848 140737123077880 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 43004 37735 178 456 0 42540 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 172016

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30874
/proc/meminfo: memFree=31531300/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=91876 CPUtime=1182.09 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 33634 0 0 0 118153 56 0 0 20 0 1 0 26938733 94081024 22613 33554432000 4194304 6058637 140737123078848 140737123077880 4246190 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 22969 22613 178 456 0 22505 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 91876

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30876
/proc/meminfo: memFree=31616884/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=141196 CPUtime=1242.08 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 34703 0 0 0 124149 59 0 0 20 0 1 0 26938733 144584704 34610 33554432000 4194304 6058637 140737123078848 140737123077624 4278181 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 35299 34610 178 456 0 34835 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 141196

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30877
/proc/meminfo: memFree=31548460/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=241256 CPUtime=1302.07 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 37962 0 0 0 130143 64 0 0 20 0 1 0 26938733 247046144 49479 33554432000 4194304 6058637 140737123078848 140737123077880 4278181 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 60314 49479 178 456 0 59850 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 241256

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 30878
/proc/meminfo: memFree=31611224/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=122968 CPUtime=1362.06 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 40595 0 0 0 136137 69 0 0 20 0 1 0 26938733 125919232 30387 33554432000 4194304 6058637 140737123078848 140737123077912 4277729 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 30742 30387 178 456 0 30278 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 122968

[startup+1422.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 30879
/proc/meminfo: memFree=31542068/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=172288 CPUtime=1422.06 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 42503 0 0 0 142133 73 0 0 20 0 1 0 26938733 176422912 40337 33554432000 4194304 6058637 140737123078848 140737123077624 4277643 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 43072 40337 178 456 0 42608 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 172288

[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 30880
/proc/meminfo: memFree=31552816/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=172288 CPUtime=1482.03 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 43562 0 0 0 148128 75 0 0 20 0 1 0 26938733 176422912 41873 33554432000 4194304 6058637 140737123078848 140737123077624 4278137 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 43072 41873 178 456 0 42608 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 172288

[startup+1542.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 30881
/proc/meminfo: memFree=31533544/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=203108 CPUtime=1542.03 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 44981 0 0 0 154125 78 0 0 20 0 1 0 26938733 207982592 46548 33554432000 4194304 6058637 140737123078848 140737123077880 4277655 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 50777 46548 178 456 0 50313 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 203108

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 30883
/proc/meminfo: memFree=31536696/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=253196 CPUtime=1602.01 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 46267 0 0 0 160120 81 0 0 20 0 1 0 26938733 259272704 50572 33554432000 4194304 6058637 140737123078848 140737123077880 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 63299 50572 178 456 0 62835 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 253196

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30887
/proc/meminfo: memFree=31500676/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=172288 CPUtime=1662 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 47708 0 0 0 166116 84 0 0 20 0 1 0 26938733 176422912 41361 33554432000 4194304 6058637 140737123078848 140737123077624 4263777 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 43072 41361 178 456 0 42608 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 172288

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30888
/proc/meminfo: memFree=31488432/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=203108 CPUtime=1721.99 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 49943 0 0 0 172112 87 0 0 20 0 1 0 26938733 207982592 43988 33554432000 4194304 6058637 140737123078848 140737123077880 4255174 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 50777 43988 178 456 0 50313 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 203108

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30889
/proc/meminfo: memFree=31489500/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=203108 CPUtime=1781.98 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 50783 0 0 0 178109 89 0 0 20 0 1 0 26938733 207982592 46036 33554432000 4194304 6058637 140737123078848 140737123077880 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 50777 46036 178 456 0 50313 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 203108



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30935
/proc/meminfo: memFree=29645524/32872528 swapFree=7780/7780
[pid=30843] ppid=30840 vsize=172288 CPUtime=1800.07 cores=0,2,4,6
/proc/30843/stat : 30843 (open-wbo-lsu) R 30840 30843 28317 0 -1 4202496 51018 0 0 0 179917 90 0 0 20 0 1 0 26938733 176422912 38801 33554432000 4194304 6058637 140737123078848 140737123077624 4278181 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 43072 38801 178 456 0 42608 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 172288

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 40
Real time (s): 1800.4
CPU time (s): 1800.08
CPU user time (s): 1799.18
CPU system time (s): 0.903862
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 253196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.18
system time used= 0.903862
maximum resident set size= 246728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51021
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= 68
involuntary context switches= 1872

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.16306 second user time and 6.76797 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-18 13:22:19
IDJOB=4105484
IDBENCH=2878
IDSOLVER=2545
FILE ID=node151/4105484-1466248939
RUNJOBID= node151-1466241508-28333
PBS_JOBID= 19918209
Free space on /tmp= 71744 MiB

SOLVER NAME= Open-WBO-LSU PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m200_500_10_10.r.opb
COMMAND LINE= open-wbo-lsu BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105484-1466248939/watcher-4105484-1466248939 -o /tmp/evaluation-result-4105484-1466248939/solver-4105484-1466248939 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466241508-28333 --watchdog 1960  open-wbo-lsu HOME/instance-4105484-1466248939.opb

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

MD5SUM BENCH= 9ce5413471f93025df24c6fa43fb2680
RANDOM SEED=411628716

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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		: 2667.103
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:        31842524 kB
Buffers:           63252 kB
Cached:           194020 kB
SwapCached:         1932 kB
Active:            81260 kB
Inactive:         205940 kB
Active(anon):      29796 kB
Inactive(anon):     2512 kB
Active(file):      51464 kB
Inactive(file):   203428 kB
Unevictable:        7780 kB
Mlocked:            7780 kB
SwapTotal:      67108856 kB
SwapFree:       67099228 kB
Dirty:              9956 kB
Writeback:             0 kB
AnonPages:        164072 kB
Mapped:             8816 kB
Shmem:                 0 kB
Slab:             605996 kB
SReclaimable:      49292 kB
SUnreclaim:       556704 kB
KernelStack:        1472 kB
PageTables:         4116 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     152424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    137216 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= 71740 MiB
End job on node151 at 2016-06-18 13:52:20