Trace number 3707938

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
bsolo 3.2SAT-32 1798.02 1798.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb
MD5SUM7262f9f4ab1a3ada75b3b140acf97f7d
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 benchmark269.661
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 constraints41605
Number of constraints which are clauses41605
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.2 - 23/05/2010 : 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 Instance file HOME/instance-3707938-1338152811.opb
0.00/0.00	c File size is 993315 bytes.
0.00/0.06	c Highest Coefficient sum: 760
0.00/0.06	c Parsing was ok!!
0.00/0.06	c Total parsing time: 0.06 s
0.06/0.07	c Var: 760 Constr: 41605 41605/0/0 Lit: 83210 Watch. Lit: 83210
0.06/0.07	c Obj. Vars: 760 (100 % of total variables)
0.19/0.28	c Pre-processing Time: 0.283 s
0.19/0.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.28	c        0    760    41605    83210    2    83210   13868      0      0 0.28
0.19/0.28	c Switching off lower bounding mode.
0.19/0.28	o -29
0.28/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.32	c        0    760    41606    83970    2    83241   14868      1      0 0.29
0.28/0.32	o -30
3.98/4.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.98/4.08	c       40    760    41649   115313    2    83357   14868     44    126 0.32
3.98/4.08	c      140    760    41761   196538    4    83581   16355    156    358 0.39
3.98/4.08	c      391    760    42048   404734    9    84155   17991    443    663 0.59
3.98/4.08	c      866    760    42588   795863   18    85235   19791    983    888 0.97
3.98/4.08	c     1679    760    43511  1465419   33    87081   21771   1906    956 1.75
3.98/4.08	c     2999    760    44976  2528354   56    90011   23949   3371   1011 2.97
3.98/4.08	o -31
427.97/428.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
427.97/428.20	c     4198    760    46339  3516926   75    92768   14868   4734   1029 4.08
427.97/428.20	c     4298    760    46450  3597406   77    92990   16355   4845   1031 4.17
427.97/428.20	c     4549    760    46730  3800163   81    93550   17991   5125   1038 4.38
427.97/428.20	c     5024    760    47269  4189760   88    94628   19791   5664   1037 4.84
427.97/428.20	c     5837    760    48161  4836427  100    96412   21771   6556   1032 5.66
427.97/428.20	c     7157    760    49662  5923712  119    99414   23949   8057   1027 6.96
427.97/428.20	c     9239    760    52021  7631737  146   104132   26344  10416   1020 9.06
427.97/428.20	c    12462    760    55701 10295936  184   111521   28979  14096    947 13.15
427.97/428.20	c    17399    760    61421 14432818  234   122990   31877  19816    840 20.69
427.97/428.20	c    24905    760    70129 20735575  295   140406   35065  28524    757 32.89
427.97/428.20	c    36267    760    60121 13489065  224   120273   38572  18516    685 52.91
427.97/428.20	c    53411    760    79544 27557731  346   159119   42430  37939    616 86.68
427.97/428.20	c    79231    760    79052 27192744  343   158189   46674  37447    502 157.65
427.97/428.20	c   118063    760    55497 10125734  182   111025   51342  13892    449 262.88
427.97/428.20	c   176415    760    83688 30529835  364   167521   56477  42083    420 419.63
427.97/428.20	o -32
1797.90/1798.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.90/1798.50	c   180984    760    88886 34287039  385   177977   14868  47281    422 427.98
1797.90/1798.50	c   181084    760    49152  5539537  112    98364   16355   7547    420 430.87
1797.90/1798.50	c   181335    760    49437  5745695  116    98934   17991   7832    420 431.08
1797.90/1798.50	c   181810    760    50001  6153153  123   100062   19791   8396    421 431.52
1797.90/1798.50	c   182623    760    50950  6838403  134   101960   21771   9345    422 432.30
1797.90/1798.50	c   183943    760    52489  7949608  151   105038   23949  10884    424 433.68
1797.90/1798.50	c   186025    760    54923  9708435  176   109906   26344  13318    426 435.94
1797.90/1798.50	c   189249    760    58596 12363558  210   117252   28979  16991    430 439.48
1797.90/1798.50	c   194186    760    64310 16491324  256   128680   31877  22705    435 445.88
1797.90/1798.50	c   201692    760    72959 22734774  311   146008   35065  31354    440 457.74
1797.90/1798.50	c   213053    760    63064 15583423  247   126220   38572  21459    444 479.28
1797.90/1798.50	c   230198    760    56857 11082509  194   113774   42430  15252    452 509.19
1797.90/1798.50	c   256017    760    56637 10894093  192   113399   46674  15032    455 562.20
1797.90/1798.50	c   294849    760    66697 18214637  273   133426   51342  25092    461 639.34
1797.90/1798.50	c   353201    760    57259 11363442  198   114573   56477  15654    427 826.07
1797.90/1798.50	c   440833    760    70761 21156196  298   141554   62125  29156    417 1056.65
1797.90/1798.50	c   572385    760    74446 23763474  319   148976   68338  32841    375 1525.38
1797.90/1798.50	c Resources Exceeded
1797.90/1798.50	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.90/1798.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.90/1798.50	c   39   642451  48852   701089    99472 41871227  57867    357 1798.01
1797.90/1798.50	c Objective: -32
1797.90/1798.50	s SATISFIABLE
1797.90/1798.50	c Total time: 1798.01 s

Verifier Data 

OK	-32

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-3707938-1338152811/watcher-3707938-1338152811 -o /tmp/evaluation-result-3707938-1338152811/solver-3707938-1338152811 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707938-1338152811.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: 2.00 2.00 1.95 3/176 28371
/proc/meminfo: memFree=27465592/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=11908 CPUtime=0 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 345 0 0 0 0 0 0 0 20 0 1 0 281406516 12193792 298 33554432000 134512640 137138936 4286931008 4286929536 136577166 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 2977 299 182 642 0 2090 0

[startup+0.0649331 s]
/proc/loadavg: 2.00 2.00 1.95 3/176 28371
/proc/meminfo: memFree=27465592/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=15180 CPUtime=0.06 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 1645 0 0 0 6 0 0 0 20 0 1 0 281406516 15544320 1355 33554432000 134512640 137138936 4286931008 4286929688 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 3795 1358 182 642 0 3151 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15180

[startup+0.100288 s]
/proc/loadavg: 2.00 2.00 1.95 3/176 28371
/proc/meminfo: memFree=27465592/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=18092 CPUtime=0.09 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 2380 0 0 0 9 0 0 0 20 0 1 0 281406516 18526208 2090 33554432000 134512640 137138936 4286931008 4286920396 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 4523 2090 185 642 0 3879 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18092

[startup+0.300137 s]
/proc/loadavg: 2.00 2.00 1.95 3/176 28371
/proc/meminfo: memFree=27465592/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=16980 CPUtime=0.28 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 2695 0 0 0 27 1 0 0 20 0 1 0 281406516 17387520 1816 33554432000 134512640 137138936 4286931008 4286929288 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 4245 1816 192 642 0 3601 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 16980

[startup+0.700181 s]
/proc/loadavg: 2.00 2.00 1.95 3/176 28371
/proc/meminfo: memFree=27465592/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=22396 CPUtime=0.69 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 4052 0 0 0 67 2 0 0 20 0 1 0 281406516 22933504 3173 33554432000 134512640 137138936 4286931008 4286929536 134602746 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 5599 3173 192 642 0 4955 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22396

[startup+1.50011 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 28410
/proc/meminfo: memFree=27948952/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=32084 CPUtime=1.49 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 6470 0 0 0 147 2 0 0 20 0 1 0 281406516 32854016 5591 33554432000 134512640 137138936 4286931008 4286929288 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 8021 5591 192 642 0 7377 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32084

[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 28410
/proc/meminfo: memFree=27931220/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=49944 CPUtime=3.08 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 10934 0 0 0 304 4 0 0 20 0 1 0 281406516 51142656 10050 33554432000 134512640 137138936 4286931008 4286929536 134602746 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 12486 10050 192 642 0 11842 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 49944

[startup+6.30011 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 28410
/proc/meminfo: memFree=27853856/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=85020 CPUtime=6.28 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 19690 0 0 0 622 6 0 0 20 0 1 0 281406516 87060480 18806 33554432000 134512640 137138936 4286931008 4286930124 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 21255 18806 192 642 0 20611 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 85020

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.95 3/176 28410
/proc/meminfo: memFree=27719768/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=145016 CPUtime=12.67 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 34719 0 0 0 1257 10 0 0 20 0 1 0 281406516 148496384 33829 33554432000 134512640 137138936 4286931008 4286929536 134603268 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 36254 33829 192 642 0 35610 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 145016

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 28411
/proc/meminfo: memFree=27516896/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=234920 CPUtime=25.47 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 57181 0 0 0 2531 16 0 0 20 0 1 0 281406516 240558080 56284 33554432000 134512640 137138936 4286931008 4286929936 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 58730 56284 192 642 0 58086 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 234920

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 28411
/proc/meminfo: memFree=27236500/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=350128 CPUtime=51.05 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 86054 0 0 0 5081 24 0 0 20 0 1 0 281406516 358531072 85106 33554432000 134512640 137138936 4286931008 4286929544 136504179 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 87532 85106 192 642 0 86888 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 350128

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 28411
/proc/meminfo: memFree=26935844/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=418824 CPUtime=102.21 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 103301 0 0 0 10190 31 0 0 20 0 1 0 281406516 428875776 102270 33554432000 134512640 137138936 4286931008 4286929552 134607598 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 104706 102270 192 642 0 104062 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 418824

[startup+162.3 s]
/proc/loadavg: 2.07 2.03 1.96 3/177 28411
/proc/meminfo: memFree=26887760/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=418824 CPUtime=162.17 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 103346 0 0 0 16183 34 0 0 20 0 1 0 281406516 428875776 102270 33554432000 134512640 137138936 4286931008 4286929504 134618019 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 104706 102270 192 642 0 104062 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 418824

[startup+222.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/178 28414
/proc/meminfo: memFree=26623548/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=458836 CPUtime=222.12 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 113428 0 0 0 22171 41 0 0 20 0 1 0 281406516 469848064 112261 33554432000 134512640 137138936 4286931008 4286929936 134542286 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 114709 112261 192 642 0 114065 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 458836

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/177 28414
/proc/meminfo: memFree=26502948/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=459048 CPUtime=282.08 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 113506 0 0 0 28164 44 0 0 20 0 1 0 281406516 470065152 112305 33554432000 134512640 137138936 4286931008 4286929936 134542513 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 114762 112305 192 642 0 114118 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 459048

[startup+342.3 s]
/proc/loadavg: 2.03 2.02 1.96 3/177 28415
/proc/meminfo: memFree=26484660/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=477236 CPUtime=342.08 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 118066 0 0 0 34159 49 0 0 20 0 1 0 281406516 488689664 116865 33554432000 134512640 137138936 4286931008 4286929936 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 119309 116865 192 642 0 118665 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 477236

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/177 28415
/proc/meminfo: memFree=26458660/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=502664 CPUtime=402.07 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 124471 0 0 0 40153 54 0 0 20 0 1 0 281406516 514727936 123219 33554432000 134512640 137138936 4286931008 4286929936 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 125666 123219 192 642 0 125022 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 502664

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/177 28415
/proc/meminfo: memFree=26458688/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=502664 CPUtime=462.06 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 124471 0 0 0 46148 58 0 0 20 0 1 0 281406516 514727936 123219 33554432000 134512640 137138936 4286931008 4286929936 134542613 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 125666 123219 192 642 0 125022 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 502664

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/177 28415
/proc/meminfo: memFree=26458724/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=502664 CPUtime=522.05 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 124471 0 0 0 52142 63 0 0 20 0 1 0 281406516 514727936 123219 33554432000 134512640 137138936 4286931008 4286920992 134574130 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 125666 123219 192 642 0 125022 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 502664

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 28415
/proc/meminfo: memFree=26458520/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=502664 CPUtime=582.04 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 124471 0 0 0 58138 66 0 0 20 0 1 0 281406516 514727936 123219 33554432000 134512640 137138936 4286931008 4286929936 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 125666 123219 192 642 0 125022 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 502664

[startup+642.3 s]

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

/proc/meminfo: memFree=26399548/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=549092 CPUtime=1061.96 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 136279 0 0 0 106100 96 0 0 20 0 1 0 281406516 562270208 134817 33554432000 134512640 137138936 4286931008 4286929428 136502581 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 137273 134817 192 642 0 136629 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 549092

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 28420
/proc/meminfo: memFree=26366196/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=583160 CPUtime=1121.96 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 144822 0 0 0 112095 101 0 0 20 0 1 0 281406516 597155840 143360 33554432000 134512640 137138936 4286931008 4286929904 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 145790 143360 192 642 0 145146 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 583160

[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 1.98 3/177 28420
/proc/meminfo: memFree=26345984/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=602220 CPUtime=1181.94 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 149639 0 0 0 118089 105 0 0 20 0 1 0 281406516 616673280 148115 33554432000 134512640 137138936 4286931008 4286929936 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 150555 148115 192 642 0 149911 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 602220

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/177 28421
/proc/meminfo: memFree=26345744/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=602220 CPUtime=1241.91 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 149665 0 0 0 124083 108 0 0 20 0 1 0 281406516 616673280 148115 33554432000 134512640 137138936 4286931008 4286929904 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 150555 148115 192 642 0 149911 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 602220

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 28421
/proc/meminfo: memFree=26345228/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=602220 CPUtime=1301.88 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 149707 0 0 0 130078 110 0 0 20 0 1 0 281406516 616673280 148115 33554432000 134512640 137138936 4286931008 4286929936 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 150555 148115 192 642 0 149911 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 602220

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 28421
/proc/meminfo: memFree=26345228/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=602220 CPUtime=1361.87 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 149707 0 0 0 136074 113 0 0 20 0 1 0 281406516 616673280 148115 33554432000 134512640 137138936 4286931008 4286929936 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 150555 148115 192 642 0 149911 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 602220

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 28424
/proc/meminfo: memFree=26345856/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=602220 CPUtime=1421.86 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 149707 0 0 0 142071 115 0 0 20 0 1 0 281406516 616673280 148115 33554432000 134512640 137138936 4286931008 4286929428 136500283 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 150555 148115 192 642 0 149911 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 602220

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 28424
/proc/meminfo: memFree=26345988/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=602220 CPUtime=1481.84 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 149707 0 0 0 148067 117 0 0 20 0 1 0 281406516 616673280 148115 33554432000 134512640 137138936 4286931008 4286929904 134542301 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 150555 148115 192 642 0 149911 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 602220

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 28425
/proc/meminfo: memFree=26346116/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=602220 CPUtime=1541.84 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 149707 0 0 0 154064 120 0 0 20 0 1 0 281406516 616673280 148115 33554432000 134512640 137138936 4286931008 4286920532 136500388 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 150555 148115 192 642 0 149911 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 602220

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 28425
/proc/meminfo: memFree=26344628/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=605276 CPUtime=1601.83 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 150463 0 0 0 160060 123 0 0 20 0 1 0 281406516 619802624 148871 33554432000 134512640 137138936 4286931008 4286929936 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 151319 148871 192 642 0 150675 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 605276

[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/177 28425
/proc/meminfo: memFree=26288952/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=659204 CPUtime=1661.82 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 164027 0 0 0 166052 130 0 0 20 0 1 0 281406516 675024896 162367 33554432000 134512640 137138936 4286931008 4286929936 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 164801 162367 192 642 0 164157 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 659204

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/177 28425
/proc/meminfo: memFree=26288828/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=659204 CPUtime=1721.81 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 164027 0 0 0 172049 132 0 0 20 0 1 0 281406516 675024896 162367 33554432000 134512640 137138936 4286931008 4286929936 134542513 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 164801 162367 192 642 0 164157 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 659204

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 28425
/proc/meminfo: memFree=26288208/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=659204 CPUtime=1781.8 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 164027 0 0 0 178045 135 0 0 20 0 1 0 281406516 675024896 162367 33554432000 134512640 137138936 4286931008 4286929936 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 164801 162367 192 642 0 164157 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 659204

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 28425
/proc/meminfo: memFree=26288580/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=659204 CPUtime=1791.41 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 164027 0 0 0 179006 135 0 0 20 0 1 0 281406516 675024896 162367 33554432000 134512640 137138936 4286931008 4286929936 134542339 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 164801 162367 192 642 0 164157 0
Current children cumulated CPU time (s) 1791.41
Current children cumulated vsize (KiB) 659204

[startup+1795.1 s]
/proc/loadavg: 2.08 2.02 1.99 3/177 28425
/proc/meminfo: memFree=26288580/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=659204 CPUtime=1794.61 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 164027 0 0 0 179326 135 0 0 20 0 1 0 281406516 675024896 162367 33554432000 134512640 137138936 4286931008 4286929936 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 164801 162367 192 642 0 164157 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (KiB) 659204

[startup+1796.7 s]
/proc/loadavg: 2.08 2.02 1.99 3/177 28425
/proc/meminfo: memFree=26288580/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=659204 CPUtime=1796.2 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 164027 0 0 0 179485 135 0 0 20 0 1 0 281406516 675024896 162367 33554432000 134512640 137138936 4286931008 4286929936 134542752 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 164801 162367 192 642 0 164157 0
Current children cumulated CPU time (s) 1796.2
Current children cumulated vsize (KiB) 659204

[startup+1797.5 s]
/proc/loadavg: 2.08 2.02 1.99 3/177 28425
/proc/meminfo: memFree=26288580/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=659204 CPUtime=1797 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 164027 0 0 0 179565 135 0 0 20 0 1 0 281406516 675024896 162367 33554432000 134512640 137138936 4286931008 4286929936 134542624 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 164801 162367 192 642 0 164157 0
Current children cumulated CPU time (s) 1797
Current children cumulated vsize (KiB) 659204

[startup+1798.3 s]
/proc/loadavg: 2.08 2.02 1.99 3/177 28425
/proc/meminfo: memFree=26288580/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=659204 CPUtime=1797.8 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 164027 0 0 0 179645 135 0 0 20 0 1 0 281406516 675024896 162367 33554432000 134512640 137138936 4286931008 4286929936 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 164801 162367 192 642 0 164157 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 659204

[startup+1798.51 s]
/proc/loadavg: 2.07 2.02 1.99 3/177 28425
/proc/meminfo: memFree=26288580/32873648 swapFree=7104/7104
[pid=28371] ppid=28369 vsize=659204 CPUtime=1798 cores=0,2,4,6
/proc/28371/stat : 28371 (bsolo) R 28369 28371 23788 0 -1 4202496 164028 0 0 0 179665 135 0 0 20 0 1 0 281406516 675024896 162368 33554432000 134512640 137138936 4286931008 4286930076 136525771 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28371/statm: 164801 162368 193 642 0 164157 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 659204

Child status: 0
Real time (s): 1798.51
CPU time (s): 1798.02
CPU user time (s): 1796.66
CPU system time (s): 1.35879
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 659204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.66
system time used= 1.35879
maximum resident set size= 649740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164028
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= 274
involuntary context switches= 2033

runsolver used 5.82811 second user time and 16.4395 second system time

The end

Launcher Data 

Begin job on node127 at 2012-05-27 23:06:51
IDJOB=3707938
IDBENCH=2244
IDSOLVER=2286
FILE ID=node127/3707938-1338152811
RUNJOBID= node127-1338149212-27947
PBS_JOBID= 14624481
Free space on /tmp= 71172 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707938-1338152811/watcher-3707938-1338152811 -o /tmp/evaluation-result-3707938-1338152811/solver-3707938-1338152811 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3707938-1338152811.opb

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

MD5SUM BENCH= 7262f9f4ab1a3ada75b3b140acf97f7d
RANDOM SEED=1964824016

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

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

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.348
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		: 2666.348
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		: 2666.348
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		: 2666.348
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:       32873648 kB
MemFree:        27466500 kB
Buffers:          476608 kB
Cached:          3516568 kB
SwapCached:            0 kB
Active:          1739660 kB
Inactive:        2786484 kB
Active(anon):     534916 kB
Inactive(anon):        0 kB
Active(file):    1204744 kB
Inactive(file):  2786484 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              4704 kB
Writeback:             0 kB
AnonPages:        557332 kB
Mapped:            15128 kB
Shmem:               200 kB
Slab:             743232 kB
SReclaimable:     187612 kB
SUnreclaim:       555620 kB
KernelStack:        1472 kB
PageTables:         4952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     653896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    534528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71168 MiB
End job on node127 at 2012-05-27 23:36:49