Trace number 3733057

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
PB09: bsolo 3.1SAT-33 1798 1798.58

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb
MD5SUMc9380923d34e254cfa512f89027f1d42
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-40
Best CPU time to get the best result obtained on this benchmark1325.76
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved NO
Number of variables760
Total number of constraints41095
Number of constraints which are clauses41095
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 constraint2
Maximum length of a constraint2
Number of terms in the objective function 760
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 760
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 760
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 bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3733057-1338708859.opb
0.00/0.00	c File size is 980618 bytes.
0.02/0.06	c Highest Coefficient sum: 760
0.02/0.06	c Parsing was ok!!
0.02/0.06	c Total parsing time: 0.062 s
0.02/0.07	c Var: 760 Constr: 41095 41095/0/0 Lit: 82190 Watch. Lit: 82190
0.02/0.07	c Obj. Vars: 760 (100 % of total variables)
0.19/0.27	c Pre-processing Time: 0.276 s
0.19/0.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.27	c        0    760    41095    82190    2    82190   13698      0      0 0.28
0.19/0.27	c Switching off lower bounding mode.
0.19/0.28	o -31
5.19/5.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.19/5.23	c        0    760    41096    82950    2    82223   14698      1      0 0.28
5.19/5.23	c      100    760    41204   161332    3    82439   16168    109    293 0.34
5.19/5.23	c      350    760    41481   362100    8    82993   17785    386    690 0.51
5.19/5.23	c      825    760    42029   758767   18    84089   19564    934    997 0.83
5.19/5.23	c     1639    760    42958  1431516   33    85947   21521   1863   1136 1.44
5.19/5.23	c     2959    760    44469  2525875   56    88969   23674   3374   1200 2.46
5.19/5.23	c     5041    760    46838  4241805   90    93707   26042   5743   1133 4.45
5.19/5.23	o -32
92.03/92.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
92.03/92.14	c     6009    760    47904  5014302  104    95871   14698   6809   1148 5.23
92.03/92.14	c     6109    760    48015  5094674  106    96093   16168   6920   1149 5.32
92.03/92.14	c     6359    760    48293  5295699  109    96649   17785   7198   1151 5.52
92.03/92.14	c     6834    760    48801  5663743  116    97665   19564   7706   1152 5.93
92.03/92.14	c     7648    760    49736  6339296  127    99535   21521   8641   1154 6.62
92.03/92.14	c     8968    760    51257  7438047  145   102577   23674  10162   1135 7.90
92.03/92.14	c    11050    760    53681  9188349  171   107425   26042  12586   1086 10.17
92.03/92.14	c    14273    760    57291 11800527  205   114645   28647  16196   1031 13.84
92.03/92.14	c    19210    760    63038 15951574  253   126139   31512  21943    985 19.50
92.03/92.14	c    26716    760    71709 22218246  309   143481   34664  30614    865 30.87
92.03/92.14	c    38078    760    62158 15305710  246   124348   38131  21063    748 50.90
92.03/92.14	c    55223    760    55990 10841234  193   112012   41945  14895    689 80.13
92.03/92.14	o -33
1797.92/1798.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.92/1798.57	c    63717    760    65678 17843380  271   131450   14698  24583    691 92.08
1797.92/1798.57	c    63817    760    48557  5474906  112    97176   16168   7462    688 92.66
1797.92/1798.57	c    64068    760    48835  5675595  116    97732   17785   7740    690 92.84
1797.92/1798.57	c    64543    760    49378  6067581  122    98818   19564   8283    692 93.21
1797.92/1798.57	c    65356    760    50312  6741362  133   100686   21521   9217    696 93.84
1797.92/1798.57	c    66676    760    51815  7826209  151   103692   23674  10720    701 95.03
1797.92/1798.57	c    68758    760    54219  9560493  176   108500   26042  13124    709 96.89
1797.92/1798.57	c    71982    760    57911 12224630  211   115884   28647  16816    719 100.02
1797.92/1798.57	c    76918    760    63534 16283720  256   127130   31512  22439    727 105.71
1797.92/1798.57	c    84425    760    72092 22463646  311   144246   34664  30997    739 114.23
1797.92/1798.57	c    95786    760    62339 15415867  247   124711   38131  21244    703 136.21
1797.92/1798.57	c   112930    760    56015 10838379  193   112063   41945  14920    693 162.84
1797.92/1798.57	c   138750    760    56015 10845483  193   112063   46140  14920    648 213.96
1797.92/1798.57	c   177582    760    67438 19079685  282   134939   50755  26343    634 279.75
1797.92/1798.57	c   235934    760    57395 11784635  205   114917   55831  16300    549 429.57
1797.92/1798.57	c   323566    760    71432 21890478  306   142979   61415  30337    498 648.48
1797.92/1798.57	c   455118    760    74073 23830669  321   148251   67557  32978    454 1001.28
1797.92/1798.57	c   652551    760    81837 29412564  359   163786   74313  40742    374 1740.80
1797.92/1798.57	c Resources Exceeded
1797.92/1798.57	v -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 x744 -x743 -x742 -x741 -x740 -x739 x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1 
1797.92/1798.57	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1798.57	c   37   678405  63159   758413   111358 50695135  70263    377 1798.00
1797.92/1798.57	c Objective: -33
1797.92/1798.57	s SATISFIABLE
1797.92/1798.57	c Total time: 1798 s

Verifier Data 

OK	-33

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3733057-1338708859/watcher-3733057-1338708859 -o /tmp/evaluation-result-3733057-1338708859/solver-3733057-1338708859 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3733057-1338708859.opb 

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: 1.92 1.98 1.99 3/176 22920
/proc/meminfo: memFree=28411980/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=12028 CPUtime=0 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 367 0 0 0 0 0 0 0 20 0 1 0 337014412 12316672 320 33554432000 134512640 137136520 4287655264 4287653672 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 3007 321 189 641 0 2123 0

[startup+0.0271039 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 22920
/proc/meminfo: memFree=28411980/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=13400 CPUtime=0.02 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 785 0 0 0 2 0 0 0 20 0 1 0 337014412 13721600 739 33554432000 134512640 137136520 4287655264 4287653512 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 3350 739 269 641 0 2466 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13400

[startup+0.100274 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 22920
/proc/meminfo: memFree=28411980/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=18080 CPUtime=0.09 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 2358 0 0 0 9 0 0 0 20 0 1 0 337014412 18513920 2071 33554432000 134512640 137136520 4287655264 4287644652 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 4520 2071 190 641 0 3876 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18080

[startup+0.300248 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 22920
/proc/meminfo: memFree=28411980/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=17084 CPUtime=0.29 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 2430 0 0 0 28 1 0 0 20 0 1 0 337014412 17494016 1842 33554432000 134512640 137136520 4287655264 4287654380 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 4271 1842 196 641 0 3627 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17084

[startup+0.700257 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 22920
/proc/meminfo: memFree=28411980/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=23456 CPUtime=0.69 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 4021 0 0 0 68 1 0 0 20 0 1 0 337014412 24018944 3433 33554432000 134512640 137136520 4287655264 4287654380 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 5864 3433 196 641 0 5220 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23456

[startup+1.50025 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 22921
/proc/meminfo: memFree=28394504/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=35104 CPUtime=1.49 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 6922 0 0 0 148 1 0 0 20 0 1 0 337014412 35946496 6334 33554432000 134512640 137136520 4287655264 4287653792 134600223 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 8776 6334 197 641 0 8132 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35104

[startup+3.10025 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 22921
/proc/meminfo: memFree=28379352/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=56172 CPUtime=3.09 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 12211 0 0 0 307 2 0 0 20 0 1 0 337014412 57520128 11623 33554432000 134512640 137136520 4287655264 4287653544 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 14043 11623 197 641 0 13399 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56172

[startup+6.30024 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 22921
/proc/meminfo: memFree=28326512/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=93212 CPUtime=6.29 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 21452 0 0 0 624 5 0 0 20 0 1 0 337014412 95449088 20864 33554432000 134512640 137136520 4287655264 4287653640 136502161 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 23303 20864 197 641 0 22659 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 93212

[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 22921
/proc/meminfo: memFree=28244316/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=158272 CPUtime=12.69 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 37717 0 0 0 1261 8 0 0 20 0 1 0 337014412 162070528 37129 33554432000 134512640 137136520 4287655264 4287653544 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 39568 37129 197 641 0 38924 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 158272

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 22921
/proc/meminfo: memFree=28130084/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=267356 CPUtime=25.48 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 64984 0 0 0 2533 15 0 0 20 0 1 0 337014412 273772544 64396 33554432000 134512640 137136520 4287655264 4287653544 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 66839 64396 197 641 0 66195 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 267356

[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/178 22922
/proc/meminfo: memFree=28002696/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=345788 CPUtime=51.06 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 84665 0 0 0 5085 21 0 0 20 0 1 0 337014412 354086912 84026 33554432000 134512640 137136520 4287655264 4287653856 134616986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 86447 84026 197 641 0 85803 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 345788

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 22922
/proc/meminfo: memFree=27892140/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=377928 CPUtime=102.23 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 92763 0 0 0 10196 27 0 0 20 0 1 0 337014412 386998272 92046 33554432000 134512640 137136520 4287655264 4287654192 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 94482 92046 197 641 0 93838 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 377928

[startup+162.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 22922
/proc/meminfo: memFree=27854472/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=377928 CPUtime=162.16 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 92811 0 0 0 16184 32 0 0 20 0 1 0 337014412 386998272 92046 33554432000 134512640 137136520 4287655264 4287654380 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 94482 92046 197 641 0 93838 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 377928

[startup+222.3 s]
/proc/loadavg: 2.09 2.02 2.01 3/177 22922
/proc/meminfo: memFree=27748356/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=412696 CPUtime=222.1 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 101597 0 0 0 22171 39 0 0 20 0 1 0 337014412 422600704 100742 33554432000 134512640 137136520 4287655264 4287654380 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 103174 100742 197 641 0 102530 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 412696

[startup+282.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 22923
/proc/meminfo: memFree=27643108/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=452260 CPUtime=282.05 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 111577 0 0 0 28161 44 0 0 20 0 1 0 337014412 463114240 110633 33554432000 134512640 137136520 4287655264 4287654380 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 113065 110633 197 641 0 112421 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 452260

[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 4/180 22926
/proc/meminfo: memFree=27560248/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=494264 CPUtime=342.04 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 122132 0 0 0 34153 51 0 0 20 0 1 0 337014412 506126336 121123 33554432000 134512640 137136520 4287655264 4287653884 134551040 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 123566 121123 197 641 0 122922 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 494264

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22926
/proc/meminfo: memFree=27522792/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=494264 CPUtime=402.02 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 122132 0 0 0 40148 54 0 0 20 0 1 0 337014412 506126336 121123 33554432000 134512640 137136520 4287655264 4287653984 134617444 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 123566 121123 197 641 0 122922 0
Current children cumulated CPU time (s) 402.02
Current children cumulated vsize (KiB) 494264

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22974
/proc/meminfo: memFree=28229652/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=494264 CPUtime=462.01 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 122132 0 0 0 46143 58 0 0 20 0 1 0 337014412 506126336 121123 33554432000 134512640 137136520 4287655264 4287654192 134544256 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 123566 121123 197 641 0 122922 0
Current children cumulated CPU time (s) 462.01
Current children cumulated vsize (KiB) 494264

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22974
/proc/meminfo: memFree=27915832/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=541928 CPUtime=522.01 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 134123 0 0 0 52136 65 0 0 20 0 1 0 337014412 554934272 133058 33554432000 134512640 137136520 4287655264 4287654380 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 135482 133058 197 641 0 134838 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 541928

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22975
/proc/meminfo: memFree=27883344/32873844 swapFree=6876/6876
[pid=22920] ppid=22918 vsize=541928 CPUtime=581.99 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 134123 0 0 0 58130 69 0 0 20 0 1 0 337014412 554934272 133058 33554432000 134512640 137136520 4287655264 4287654160 134543971 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 135482 133058 197 641 0 134838 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 541928

[startup+642.3 s]

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

/proc/meminfo: memFree=27667012/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=591952 CPUtime=1061.86 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 146905 0 0 0 106090 96 0 0 20 0 1 0 337014412 606158848 145554 33554432000 134512640 137136520 4287655264 4287654192 134543918 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 147988 145554 197 641 0 147344 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 591952

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22979
/proc/meminfo: memFree=27608140/32873844 swapFree=6876/6876
[pid=22920] ppid=22918 vsize=650368 CPUtime=1121.85 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 161587 0 0 0 112083 102 0 0 20 0 1 0 337014412 665976832 160169 33554432000 134512640 137136520 4287655264 4287654192 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 162592 160169 197 641 0 161948 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 650368

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22980
/proc/meminfo: memFree=27608212/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=650368 CPUtime=1181.84 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 161587 0 0 0 118078 106 0 0 20 0 1 0 337014412 665976832 160169 33554432000 134512640 137136520 4287655264 4287654192 134544396 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 162592 160169 197 641 0 161948 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 650368

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22980
/proc/meminfo: memFree=27608584/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=650368 CPUtime=1241.83 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 161587 0 0 0 124074 109 0 0 20 0 1 0 337014412 665976832 160169 33554432000 134512640 137136520 4287655264 4287654192 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 162592 160169 197 641 0 161948 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 650368

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22980
/proc/meminfo: memFree=27607592/32873844 swapFree=6876/6876
[pid=22920] ppid=22918 vsize=651336 CPUtime=1301.82 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 161800 0 0 0 130071 111 0 0 20 0 1 0 337014412 666968064 160382 33554432000 134512640 137136520 4287655264 4287654192 134543948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 162834 160382 197 641 0 162190 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 651336

[startup+1362.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 22980
/proc/meminfo: memFree=27607468/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=651336 CPUtime=1361.81 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 161800 0 0 0 136067 114 0 0 20 0 1 0 337014412 666968064 160382 33554432000 134512640 137136520 4287655264 4287654160 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 162834 160382 197 641 0 162190 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 651336

[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 22980
/proc/meminfo: memFree=27607592/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=651336 CPUtime=1421.81 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 161800 0 0 0 142064 117 0 0 20 0 1 0 337014412 666968064 160382 33554432000 134512640 137136520 4287655264 4287654380 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 162834 160382 197 641 0 162190 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 651336

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22981
/proc/meminfo: memFree=27606972/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=651336 CPUtime=1481.79 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 161800 0 0 0 148059 120 0 0 20 0 1 0 337014412 666968064 160382 33554432000 134512640 137136520 4287655264 4287654160 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 162834 160382 197 641 0 162190 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 651336

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22981
/proc/meminfo: memFree=27606692/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=651336 CPUtime=1541.77 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 161816 0 0 0 154053 124 0 0 20 0 1 0 337014412 666968064 160382 33554432000 134512640 137136520 4287655264 4287644736 134600192 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 162834 160382 197 641 0 162190 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 651336

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23006
/proc/meminfo: memFree=27606812/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=651336 CPUtime=1601.75 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 161828 0 0 0 160049 126 0 0 20 0 1 0 337014412 666968064 160382 33554432000 134512640 137136520 4287655264 4287654192 134544140 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 162834 160382 197 641 0 162190 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 651336

[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 23006
/proc/meminfo: memFree=27555572/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=651336 CPUtime=1661.74 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 161828 0 0 0 166046 128 0 0 20 0 1 0 337014412 666968064 160382 33554432000 134512640 137136520 4287655264 4287654160 134544256 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 162834 160382 197 641 0 162190 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 651336

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 23006
/proc/meminfo: memFree=27555208/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=651336 CPUtime=1721.73 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 161828 0 0 0 172042 131 0 0 20 0 1 0 337014412 666968064 160382 33554432000 134512640 137136520 4287655264 4287654192 134544597 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 162834 160382 197 641 0 162190 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 651336

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23007
/proc/meminfo: memFree=27555208/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=651336 CPUtime=1781.72 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 161828 0 0 0 178038 134 0 0 20 0 1 0 337014412 666968064 160382 33554432000 134512640 137136520 4287655264 4287654192 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 162834 160382 197 641 0 162190 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 651336

Solver just ended. Dumping a history of the last processes samples

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23007
/proc/meminfo: memFree=27555208/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=651336 CPUtime=1791.32 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 161828 0 0 0 178998 134 0 0 20 0 1 0 337014412 666968064 160382 33554432000 134512640 137136520 4287655264 4287654192 134544384 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 162834 160382 197 641 0 162190 0
Current children cumulated CPU time (s) 1791.32
Current children cumulated vsize (KiB) 651336

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23007
/proc/meminfo: memFree=27548264/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=658272 CPUtime=1794.52 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 163583 0 0 0 179318 134 0 0 20 0 1 0 337014412 674070528 162137 33554432000 134512640 137136520 4287655264 4287654192 134544245 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 164568 162137 197 641 0 163924 0
Current children cumulated CPU time (s) 1794.52
Current children cumulated vsize (KiB) 658272

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23007
/proc/meminfo: memFree=27544916/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=663056 CPUtime=1796.12 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 164771 0 0 0 179477 135 0 0 20 0 1 0 337014412 678969344 163325 33554432000 134512640 137136520 4287655264 4287654380 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 165764 163325 197 641 0 165120 0
Current children cumulated CPU time (s) 1796.12
Current children cumulated vsize (KiB) 663056

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23007
/proc/meminfo: memFree=27541568/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=665588 CPUtime=1796.92 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 165415 0 0 0 179557 135 0 0 20 0 1 0 337014412 681562112 163969 33554432000 134512640 137136520 4287655264 4287654192 134543948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 166397 163969 197 641 0 165753 0
Current children cumulated CPU time (s) 1796.92
Current children cumulated vsize (KiB) 665588

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23007
/proc/meminfo: memFree=27541568/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=667588 CPUtime=1797.72 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 165921 0 0 0 179637 135 0 0 20 0 1 0 337014412 683610112 164475 33554432000 134512640 137136520 4287655264 4287654192 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 166897 164475 197 641 0 166253 0
Current children cumulated CPU time (s) 1797.72
Current children cumulated vsize (KiB) 667588

[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23007
/proc/meminfo: memFree=27538468/32873844 swapFree=6872/6872
[pid=22920] ppid=22918 vsize=668380 CPUtime=1797.92 cores=0,2,4,6
/proc/22920/stat : 22920 (bsolo) R 22918 22920 8274 0 -1 4202496 166094 0 0 0 179657 135 0 0 20 0 1 0 337014412 684421120 164648 33554432000 134512640 137136520 4287655264 4287653792 134600223 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22920/statm: 167095 164648 197 641 0 166451 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 668380

Child status: 0
Real time (s): 1798.58
CPU time (s): 1798
CPU user time (s): 1796.64
CPU system time (s): 1.35979
CPU usage (%): 99.9681
Max. virtual memory (cumulated for all children) (KiB): 668380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.64
system time used= 1.35979
maximum resident set size= 658772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166140
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= 306
involuntary context switches= 2042

runsolver used 2.91656 second user time and 7.35188 second system time

The end

Launcher Data 

Begin job on node106 at 2012-06-03 09:34:19
IDJOB=3733057
IDBENCH=2241
IDSOLVER=2320
FILE ID=node106/3733057-1338708859
RUNJOBID= node106-1338679215-16850
PBS_JOBID= 14636707
Free space on /tmp= 70864 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733057-1338708859/watcher-3733057-1338708859 -o /tmp/evaluation-result-3733057-1338708859/solver-3733057-1338708859 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3733057-1338708859.opb

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

MD5SUM BENCH= c9380923d34e254cfa512f89027f1d42
RANDOM SEED=1480317514

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28412584 kB
Buffers:          295844 kB
Cached:          2935580 kB
SwapCached:         2004 kB
Active:          1368024 kB
Inactive:        2245132 kB
Active(anon):     379360 kB
Inactive(anon):     4984 kB
Active(file):     988664 kB
Inactive(file):  2240148 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100580 kB
Dirty:              4664 kB
Writeback:             0 kB
AnonPages:        479080 kB
Mapped:            10108 kB
Shmem:                 0 kB
Slab:             707540 kB
SReclaimable:     149748 kB
SUnreclaim:       557792 kB
KernelStack:        1472 kB
PageTables:         4788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     513312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    444416 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3733057-1338708859.opb

Free space on /tmp at the end= 70860 MiB
End job on node106 at 2012-06-03 10:04:18