Trace number 4084220

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)-38 1800.07 1800.4

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-queens-30.opb
MD5SUMac9944a86f58bd3c1af4c4c4a209f399
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-38
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables900
Total number of constraints960
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 constraints960
Minimum length of a constraint88
Maximum length of a constraint116
Number of terms in the objective function 900
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 900
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 8
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 900
Number of bits of the biggest sum of numbers10
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-4084220-1465356592.opb
0.00/0.00	c File size is 752032 bytes.
1800.05/1800.40	c Sum of soft weights:          900
1800.05/1800.40	c |                                                                                                       |
1800.05/1800.40	c ========================================[ Problem Statistics ]===========================================
1800.05/1800.40	c |                                                                                                       |
1800.05/1800.40	c |  Problem Type:           Unweighted                                                                   |
1800.05/1800.40	c |  Number of variables:           900                                                                   |
1800.05/1800.40	c |  Number of hard clauses:          0                                                                   |
1800.05/1800.40	c |  Number of soft clauses:        900                                                                   |
1800.05/1800.40	c |  Number of cardinality:           0                                                                   |
1800.05/1800.40	c |  Number of PB :                 960                                                                   |
1800.05/1800.40	c |  Parse time:                   0.08 s                                                                 |
1800.05/1800.40	c |                                                                                                       |
1800.05/1800.40	c ==========================================[ Solver Settings ]============================================
1800.05/1800.40	c |                                                                                                       |
1800.05/1800.40	c |  Algorithm:                LinearSU                                                                   |
1800.05/1800.40	c |  Cardinality Encoding:       Modulo Totalizer                                                         |
1800.05/1800.40	c |                                                                                                       |
1800.05/1800.40	o 0
1800.05/1800.40	o -29
1800.05/1800.40	o -30
1800.05/1800.40	o -31
1800.05/1800.40	o -32
1800.05/1800.40	o -33
1800.05/1800.40	o -34
1800.05/1800.40	o -35
1800.05/1800.40	o -36
1800.05/1800.40	o -37
1800.05/1800.40	o -38
1800.05/1800.40	s SATISFIABLE
1800.05/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 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 x763 -x764 -x765 x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 x876 -x877 -x878 -x879 x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900

Verifier Data 

OK	-38

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-4084220-1465356592/watcher-4084220-1465356592 -o /tmp/evaluation-result-4084220-1465356592/solver-4084220-1465356592 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1465339263-4343 --watchdog 1960 open-wbo-lsu HOME/instance-4084220-1465356592.opb 

pid=7834
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/178 7837
/proc/meminfo: memFree=31007084/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=3072 CPUtime=0 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 520 0 0 0 0 0 0 0 20 0 1 0 117591293 3145728 396 33554432000 4194304 6058637 140733647643360 140736922900104 5042435 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 768 396 319 456 0 120 0

[startup+0.100169 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7837
/proc/meminfo: memFree=31007084/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=13268 CPUtime=0.09 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 2447 0 0 0 9 0 0 0 20 0 1 0 117591293 13586432 2592 33554432000 4194304 6058637 140733647643360 140736922900104 4239645 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 3317 2592 162 456 0 2853 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13268

[startup+0.200355 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7837
/proc/meminfo: memFree=31007084/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=49732 CPUtime=0.19 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 9728 0 0 0 17 2 0 0 20 0 1 0 117591293 50925568 10749 33554432000 4194304 6058637 140733647643360 140736922900104 5042435 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 12433 10761 162 456 0 11969 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 49732

[startup+0.300341 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7837
/proc/meminfo: memFree=31007084/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=82792 CPUtime=0.29 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 16287 0 0 0 26 3 0 0 20 0 1 0 117591293 84779008 18822 33554432000 4194304 6058637 140733647643360 140736922900104 5042435 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 20698 18823 162 456 0 20234 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 82792

[startup+0.700294 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7837
/proc/meminfo: memFree=31007084/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=179748 CPUtime=0.69 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 31570 0 0 0 63 6 0 0 20 0 1 0 117591293 184061952 39624 33554432000 4194304 6058637 140733647643360 140736922900104 5042435 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 44937 39625 168 456 0 44473 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 179748

[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7838
/proc/meminfo: memFree=30845736/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=185440 CPUtime=1.49 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 32895 0 0 0 143 6 0 0 20 0 1 0 117591293 189890560 40949 33554432000 4194304 6058637 140733647643360 140733647641976 4277663 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 46360 40949 179 456 0 45896 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 185440

[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7838
/proc/meminfo: memFree=30838416/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=187680 CPUtime=3.09 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 33327 0 0 0 303 6 0 0 20 0 1 0 117591293 192184320 41381 33554432000 4194304 6058637 140733647643360 140733647641960 4277589 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 46920 41381 180 456 0 46456 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 187680

[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7838
/proc/meminfo: memFree=30834324/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=189028 CPUtime=6.29 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 33677 0 0 0 623 6 0 0 20 0 1 0 117591293 193564672 41731 33554432000 4194304 6058637 140733647643360 140733647641960 4254447 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 47257 41731 180 456 0 46793 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 189028

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 7841
/proc/meminfo: memFree=30832356/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=190312 CPUtime=12.68 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 33898 0 0 0 1262 6 0 0 20 0 1 0 117591293 194879488 41944 33554432000 4194304 6058637 140733647643360 140733647642696 4278197 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 47578 41944 180 456 0 47114 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 190312

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 7841
/proc/meminfo: memFree=30830244/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=190312 CPUtime=25.47 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 34106 0 0 0 2541 6 0 0 20 0 1 0 117591293 194879488 42655 33554432000 4194304 6058637 140733647643360 140733647641960 4277357 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 47578 42655 180 456 0 47114 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 190312

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 7841
/proc/meminfo: memFree=30834916/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=191660 CPUtime=51.05 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 34598 0 0 0 5098 7 0 0 20 0 1 0 117591293 196259840 41944 33554432000 4194304 6058637 140733647643360 140733647642424 4277357 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 47915 41944 181 456 0 47451 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 191660

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 7842
/proc/meminfo: memFree=30830272/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=192896 CPUtime=102.24 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 35145 0 0 0 10216 8 0 0 20 0 1 0 117591293 197525504 42558 33554432000 4194304 6058637 140733647643360 140733647642424 4277378 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 48224 42558 181 456 0 47760 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 192896

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7843
/proc/meminfo: memFree=30827444/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=194140 CPUtime=162.23 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 35687 0 0 0 16213 10 0 0 20 0 1 0 117591293 198799360 43400 33554432000 4194304 6058637 140733647643360 140733647642424 4277378 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 48535 43400 181 456 0 48071 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 194140

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7844
/proc/meminfo: memFree=30828420/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=194140 CPUtime=222.22 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 36050 0 0 0 22212 10 0 0 20 0 1 0 117591293 198799360 43005 33554432000 4194304 6058637 140733647643360 140733647642424 4246099 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 48535 43005 181 456 0 48071 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 194140

[startup+282.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 7846
/proc/meminfo: memFree=30818456/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=195364 CPUtime=282.2 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 36171 0 0 0 28210 10 0 0 20 0 1 0 117591293 200052736 46192 33554432000 4194304 6058637 140733647643360 140733647641960 4277687 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 48841 46192 181 456 0 48377 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 195364

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 7847
/proc/meminfo: memFree=30817504/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=195364 CPUtime=342.2 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 37090 0 0 0 34207 13 0 0 20 0 1 0 117591293 200052736 44777 33554432000 4194304 6058637 140733647643360 140733647642424 4277378 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 48841 44777 181 456 0 48377 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 195364

[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 7849
/proc/meminfo: memFree=30776972/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=195364 CPUtime=402.18 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 37458 0 0 0 40205 13 0 0 20 0 1 0 117591293 200052736 45436 33554432000 4194304 6058637 140733647643360 140733647642696 4277589 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 48841 45436 181 456 0 48377 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 195364

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7850
/proc/meminfo: memFree=30813444/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=196340 CPUtime=462.17 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 37846 0 0 0 46203 14 0 0 20 0 1 0 117591293 201052160 45581 33554432000 4194304 6058637 140733647643360 140733647641960 4277378 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 49085 45581 181 456 0 48621 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 196340

[startup+522.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 7851
/proc/meminfo: memFree=30775376/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=197556 CPUtime=522.17 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 38188 0 0 0 52202 15 0 0 20 0 1 0 117591293 202297344 45197 33554432000 4194304 6058637 140733647643360 140733647641960 4277589 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 49389 45197 181 456 0 48925 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 197556

[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 7853
/proc/meminfo: memFree=30816308/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=197556 CPUtime=582.16 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 38783 0 0 0 58200 16 0 0 20 0 1 0 117591293 202297344 44740 33554432000 4194304 6058637 140733647643360 140733647642424 4277378 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 49389 44740 181 456 0 48925 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 197556


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


[startup+882.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 7862
/proc/meminfo: memFree=30806116/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=198788 CPUtime=882.12 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 41478 0 0 0 88191 21 0 0 20 0 1 0 117591293 203558912 47356 33554432000 4194304 6058637 140733647643360 140733647642424 4277663 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 49697 47356 181 456 0 49233 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 198788

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7863
/proc/meminfo: memFree=30812268/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=198788 CPUtime=942.11 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 42193 0 0 0 94188 23 0 0 20 0 1 0 117591293 203558912 45742 33554432000 4194304 6058637 140733647643360 140733647642424 4277378 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 49697 45742 181 456 0 49233 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 198788

[startup+1002.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 7864
/proc/meminfo: memFree=30799796/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=229608 CPUtime=1002.1 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 42787 0 0 0 100186 24 0 0 20 0 1 0 117591293 235118592 48885 33554432000 4194304 6058637 140733647643360 140733647642392 4277378 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 57402 48885 181 456 0 56938 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 229608

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 7865
/proc/meminfo: memFree=30807440/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=200188 CPUtime=1062.09 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 43247 0 0 0 106184 25 0 0 20 0 1 0 117591293 204992512 47025 33554432000 4194304 6058637 140733647643360 140733647642424 4277589 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 50047 47025 181 456 0 49583 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 200188

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7866
/proc/meminfo: memFree=30737900/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=231008 CPUtime=1122.08 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 43846 0 0 0 112182 26 0 0 20 0 1 0 117591293 236552192 50676 33554432000 4194304 6058637 140733647643360 140733647642392 4278255 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 57752 50676 181 456 0 57288 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 231008

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7867
/proc/meminfo: memFree=30752356/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=200188 CPUtime=1182.07 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 44379 0 0 0 118180 27 0 0 20 0 1 0 117591293 204992512 47862 33554432000 4194304 6058637 140733647643360 140733647642424 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 50047 47862 181 456 0 49583 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 200188

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 7872
/proc/meminfo: memFree=30742252/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=231008 CPUtime=1242.05 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 44644 0 0 0 124178 27 0 0 20 0 1 0 117591293 236552192 51193 33554432000 4194304 6058637 140733647643360 140733647642392 4277640 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 57752 51193 181 456 0 57288 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 231008

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7873
/proc/meminfo: memFree=30761252/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=201484 CPUtime=1302.05 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 45239 0 0 0 130176 29 0 0 20 0 1 0 117591293 206319616 48036 33554432000 4194304 6058637 140733647643360 140733647642424 4280035 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 50371 48036 181 456 0 49907 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 201484

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 7874
/proc/meminfo: memFree=30756044/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=232304 CPUtime=1362.03 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 45583 0 0 0 136174 29 0 0 20 0 1 0 117591293 237879296 51440 33554432000 4194304 6058637 140733647643360 140733647642392 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 58076 51440 181 456 0 57612 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 232304

[startup+1422.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 7875
/proc/meminfo: memFree=30799428/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=232304 CPUtime=1422.03 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 46387 0 0 0 142172 31 0 0 20 0 1 0 117591293 237879296 48898 33554432000 4194304 6058637 140733647643360 140733647642392 4278181 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 58076 48898 181 456 0 57612 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 232304

[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 7876
/proc/meminfo: memFree=30726388/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=232304 CPUtime=1482 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 46412 0 0 0 148169 31 0 0 20 0 1 0 117591293 237879296 52482 33554432000 4194304 6058637 140733647643360 140733647642392 4277663 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 58076 52482 181 456 0 57612 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 232304

[startup+1542.31 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 7924
/proc/meminfo: memFree=30824372/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=202732 CPUtime=1542 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 46798 0 0 0 154168 32 0 0 20 0 1 0 117591293 207597568 47978 33554432000 4194304 6058637 140733647643360 140733647641960 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 50683 47978 181 456 0 50219 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 202732

[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 7925
/proc/meminfo: memFree=30762780/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=233552 CPUtime=1601.98 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 47386 0 0 0 160165 33 0 0 20 0 1 0 117591293 239157248 51629 33554432000 4194304 6058637 140733647643360 140733647642392 4254977 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 58388 51629 181 456 0 57924 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 233552

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 7926
/proc/meminfo: memFree=30765032/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=202732 CPUtime=1661.98 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 47597 0 0 0 166163 35 0 0 20 0 1 0 117591293 207597568 46954 33554432000 4194304 6058637 140733647643360 140733647642424 4277378 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 50683 46954 181 456 0 50219 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 202732

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 7927
/proc/meminfo: memFree=30743724/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=233552 CPUtime=1721.96 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 48186 0 0 0 172161 35 0 0 20 0 1 0 117591293 239157248 51439 33554432000 4194304 6058637 140733647643360 140733647642392 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 58388 51439 181 456 0 57924 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 233552

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 7928
/proc/meminfo: memFree=30810160/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=202732 CPUtime=1781.96 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 48389 0 0 0 178159 37 0 0 20 0 1 0 117591293 207597568 46764 33554432000 4194304 6058637 140733647643360 140733647642424 4277378 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 50683 46764 181 456 0 50219 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 202732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 7929
/proc/meminfo: memFree=30745184/32872528 swapFree=8144/8144
[pid=7837] ppid=7834 vsize=202732 CPUtime=1800.05 cores=0,2,4,6
/proc/7837/stat : 7837 (open-wbo-lsu) R 7834 7837 4327 0 -1 4202496 48391 0 0 0 179968 37 0 0 20 0 1 0 117591293 207597568 47788 33554432000 4194304 6058637 140733647643360 140733647642424 4255174 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 50683 47788 181 456 0 50219 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 202732

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 7837 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.07
CPU user time (s): 1799.69
CPU system time (s): 0.379942
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 282872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.379942
maximum resident set size= 257572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48394
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= 84
involuntary context switches= 1854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.18636 second user time and 7.27289 second system time

The end

Launcher Data 

Begin job on node133 at 2016-06-08 05:29:52
IDJOB=4084220
IDBENCH=89874
IDSOLVER=2545
FILE ID=node133/4084220-1465356592
RUNJOBID= node133-1465339263-4343
PBS_JOBID= 19853400
Free space on /tmp= 71744 MiB

SOLVER NAME= Open-WBO-LSU PB16
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-queens-30.opb
COMMAND LINE= open-wbo-lsu BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4084220-1465356592/watcher-4084220-1465356592 -o /tmp/evaluation-result-4084220-1465356592/solver-4084220-1465356592 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1465339263-4343 --watchdog 1960  open-wbo-lsu HOME/instance-4084220-1465356592.opb

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

MD5SUM BENCH= ac9944a86f58bd3c1af4c4c4a209f399
RANDOM SEED=1635004418

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
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.065
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.55
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.065
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:        31007728 kB
Buffers:          144108 kB
Cached:           898424 kB
SwapCached:         2076 kB
Active:           172072 kB
Inactive:         936204 kB
Active(anon):      66524 kB
Inactive(anon):     1460 kB
Active(file):     105548 kB
Inactive(file):   934744 kB
Unevictable:        8144 kB
Mlocked:            8144 kB
SwapTotal:      67108856 kB
SwapFree:       67098288 kB
Dirty:              5440 kB
Writeback:             0 kB
AnonPages:         85192 kB
Mapped:             8024 kB
Shmem:                 0 kB
Slab:             606392 kB
SReclaimable:      49524 kB
SUnreclaim:       556868 kB
KernelStack:        1480 kB
PageTables:         4004 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     205700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 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 node133 at 2016-06-08 05:59:53