Trace number 353436

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, and are wall clock time (not CPU 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.0.16SAT (TO)-32 1800.1 1800.83

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb
MD5SUM5249f5f1c551add7f5b5b920fc1c3b9c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-40
Best CPU time to get the best result obtained on this benchmark1800.04
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 constraints41263
Number of constraints which are clauses41263
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 (download as text)

0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/353436-1176665989/instance-353436-1176665989.opb
0.00/0.00	c File size is 986607 bytes.
0.09/0.16	c Highest Coefficient sum: 760
0.09/0.16	c Parsing was ok!!
0.09/0.16	c Total parsing time: 0.164 s
0.09/0.18	c Var: 760 Constr: 41263 41263/0/0 Lit: 82526 Watch. Lit: 82526
0.09/0.18	c Obj. Vars: 760 (100 % of total variables)
0.79/0.86	c Pre-processing Time: 0.863 s
0.79/0.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.86	c        0    760    41263    82526    2    82526   13754      0      0 0.86
0.79/0.86	c Switching off LPR mode.
0.79/0.87	o -29	0.87
0.79/0.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.88	c        0    760    41264    83286    2    82557   14754      1      0 0.87
0.79/0.88	o -30	0.881
0.89/0.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.98	c       22    760    41287   100057    2    82633   14754     24     24 0.88
0.89/0.98	c      123    760    41388   173431    4    82835   16230    125    132 0.93
0.89/0.98	o -31	0.978
590.78/591.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
590.78/591.08	c      238    760    41504   257605    6    83098   14754    241    242 0.98
590.78/591.08	c      338    760    41604   330054    7    83298   16230    341    331 1.02
590.78/591.08	c      588    760    41854   511486   12    83798   17854    591    511 1.15
590.78/591.08	c     1064    760    42330   856578   20    84750   19640   1067    758 1.40
590.78/591.08	c     1878    760    43144  1446661   33    86378   21605   1881    888 2.11
590.78/591.08	c     3199    760    44465  2404645   54    89020   23766   3202   1049 3.05
590.78/591.08	c     5280    760    46546  3913999   84    93182   26143   5283   1064 4.96
590.78/591.08	c     8503    760    49769  6251059  125    99628   28758   8506    852 9.97
590.78/591.08	c    13439    760    54705  9826989  179   109500   31634  13442    682 19.69
590.78/591.08	c    20945    760    62211 15269122  245   124512   34798  20948    510 41.05
590.78/591.08	c    32308    760    73574 23509850  319   147238   38278  32311    378 85.26
590.78/591.08	c    49452    760    63225 16009425  253   126481   42106  21962    283 174.55
590.78/591.08	c    75271    760    57749 12036476  208   115529   46317  16486    192 391.85
590.78/591.08	o -32	590.875
1799.97/1800.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.97/1800.75	c   102057    760    84536 31446805  371   169135   14754  43273    172 590.88
1799.97/1800.75	c   102158    760    48742  5500892  112    97516   16230   7479    170 598.64
1799.97/1800.75	c   102408    760    48992  5681928  115    98016   17854   7729    170 599.19
1799.97/1800.75	c   102883    760    49467  6026383  121    98966   19640   8204    171 599.63
1799.97/1800.75	c   103696    760    50280  6615332  131   100592   21605   9017    172 600.21
1799.97/1800.75	c   105016    760    51600  7571629  146   103232   23766  10337    174 601.22
1799.97/1800.75	c   107098    760    53682  9079517  169   107396   26143  12419    177 604.30
1799.97/1800.75	c   110321    760    56905 11413266  200   113842   28758  15642    180 611.16
1799.97/1800.75	c   115257    760    61841 14989706  242   123714   31634  20578    185 622.29
1799.97/1800.75	c   122764    760    69348 20426277  294   138728   34798  28085    191 640.21
1799.97/1800.75	c   134125    760    56455 11073172  196   112942   38278  15192    180 742.97
1799.97/1800.75	c   151269    760    73599 23491561  319   147230   42106  32336    179 840.41
1799.97/1800.75	c   177089    760    68091 19501815  286   136214   46317  26828    166 1061.97
1799.97/1800.75	c   215921    760    71473 21954005  307   142978   50949  30210    153 1403.37
1799.97/1800.75	c Resources Exceeded
1799.97/1800.75	v x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740
1799.97/1800.75	v -x739 -x738 -x737 x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719
1799.97/1800.75	v -x718 -x717 -x716 -x715 -x714 x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698
1799.97/1800.75	v -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 x677
1799.97/1800.75	v -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656
1799.97/1800.75	v -x655 -x654 -x653 -x652 -x651 x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635
1799.97/1800.75	v -x634 -x633 x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614
1799.97/1800.75	v -x613 -x612 -x611 -x610 x609 -x608 -x607 x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593
1799.97/1800.75	v -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 x572
1799.97/1800.75	v -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551
1799.97/1800.75	v -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 x534 -x533 -x532 -x531 -x530
1799.97/1800.75	v -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 x510 -x509
1799.97/1800.75	v -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 x491 -x490 -x489 -x488
1799.97/1800.75	v -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467
1799.97/1800.75	v -x466 x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446
1799.97/1800.75	v -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425
1799.97/1800.75	v -x424 x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 x407 -x406 -x405 -x404
1799.97/1800.75	v -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383
1799.97/1800.75	v -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 x364 -x363 -x362
1799.97/1800.75	v -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341
1799.97/1800.75	v -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 x322 -x321 -x320
1799.97/1800.75	v -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299
1799.97/1800.75	v -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278
1799.97/1800.75	v -x277 -x276 -x275 x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 x262 -x261 -x260 -x259 -x258 -x257
1799.97/1800.75	v -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236
1799.97/1800.75	v -x235 -x234 -x233 -x232 x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215
1799.97/1800.75	v -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194
1799.97/1800.75	v -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173
1799.97/1800.75	v -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152
1799.97/1800.75	v -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131
1799.97/1800.75	v -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110
1799.97/1800.75	v -x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87
1799.97/1800.75	v -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
1799.97/1800.75	v -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
1799.97/1800.75	v -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
1799.97/1800.75	v -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1799.97/1800.75	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.97/1800.75	c   30   259443  26318   293183    74999 24503961  33736    144 1800.02
1799.97/1800.75	c Objective: -32
1799.97/1800.75	s SATISFIABLE
1799.97/1800.75	c Total time: 1800.02 s

Verifier Data (download as text)

OK	-32

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node66/watcher-353436-1176665989 -o ROOT/results/node66/solver-353436-1176665989 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353436-1176665989/instance-353436-1176665989.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.96 3/64 5868
/proc/meminfo: memFree=1650680/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=12700 CPUtime=0
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 142588488 13004800 335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 3175 335 281 324 0 2003 0

[startup+0.0804051 s]
/proc/loadavg: 0.91 0.95 0.96 3/64 5868
/proc/meminfo: memFree=1650680/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=6816 CPUtime=0.07
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 958 0 0 0 7 0 0 0 18 0 1 0 142588488 6979584 926 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10274427 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 1704 928 394 324 0 532 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6816

[startup+0.101408 s]
/proc/loadavg: 0.91 0.95 0.96 3/64 5868
/proc/meminfo: memFree=1650680/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=7368 CPUtime=0.09
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 1121 0 0 0 9 0 0 0 18 0 1 0 142588488 7544832 1089 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546132 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 1842 1089 425 324 0 670 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7368

[startup+0.301447 s]
/proc/loadavg: 0.91 0.95 0.96 3/64 5868
/proc/meminfo: memFree=1650680/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=11352 CPUtime=0.29
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 2483 0 0 0 28 1 0 0 19 0 1 0 142588488 11624448 2210 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 2838 2210 307 324 0 1907 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11352

[startup+0.701528 s]
/proc/loadavg: 0.91 0.95 0.96 3/64 5868
/proc/meminfo: memFree=1650680/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=11352 CPUtime=0.69
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 2483 0 0 0 68 1 0 0 22 0 1 0 142588488 11624448 2210 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 2838 2210 307 324 0 1907 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11352

[startup+1.50169 s]
/proc/loadavg: 0.91 0.95 0.96 2/65 5869
/proc/meminfo: memFree=1641584/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=21800 CPUtime=1.49
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 5673 0 0 0 145 4 0 0 25 0 1 0 142588488 22323200 4815 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 5450 4815 312 324 0 4519 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21800

[startup+3.10201 s]
/proc/loadavg: 0.91 0.95 0.96 2/65 5869
/proc/meminfo: memFree=1626672/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=40756 CPUtime=3.09
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 10417 0 0 0 303 6 0 0 25 0 1 0 142588488 41734144 9559 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10274427 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 10189 9559 312 324 0 9258 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40756

[startup+6.30164 s]
/proc/loadavg: 0.92 0.95 0.96 2/65 5869
/proc/meminfo: memFree=1590320/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=70712 CPUtime=6.29
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 17929 0 0 0 619 10 0 0 25 0 1 0 142588488 72409088 17071 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 17678 17071 312 324 0 16747 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 70712

[startup+12.7019 s]
/proc/loadavg: 0.93 0.95 0.96 2/65 5869
/proc/meminfo: memFree=1547760/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=110840 CPUtime=12.69
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 27938 0 0 0 1254 15 0 0 25 0 1 0 142588488 113500160 27080 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 27710 27080 312 324 0 26779 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 110840

[startup+25.5015 s]
/proc/loadavg: 0.94 0.96 0.96 2/65 5869
/proc/meminfo: memFree=1485808/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=168756 CPUtime=25.49
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 42427 0 0 0 2526 23 0 0 25 0 1 0 142588488 172806144 41569 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 42189 41569 312 324 0 41258 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 168756

[startup+51.1016 s]
/proc/loadavg: 0.96 0.96 0.96 2/65 5869
/proc/meminfo: memFree=1406960/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=248456 CPUtime=51.07
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 62339 0 0 0 5073 34 0 0 25 0 1 0 142588488 254418944 61481 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 62114 61481 312 324 0 61183 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 248456

[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.96 2/65 5869
/proc/meminfo: memFree=1288752/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=364908 CPUtime=102.26
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 91451 0 0 0 10174 52 0 0 25 0 1 0 142588488 373665792 90593 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 91227 90593 312 324 0 90296 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 364908

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 5869
/proc/meminfo: memFree=1279536/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=373588 CPUtime=162.23
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 93685 0 0 0 16169 54 0 0 25 0 1 0 142588488 382554112 92788 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 93397 92788 312 324 0 92466 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 373588

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 5869
/proc/meminfo: memFree=1279536/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=373588 CPUtime=222.22
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 93685 0 0 0 22164 58 0 0 25 0 1 0 142588488 382554112 92788 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 93397 92788 312 324 0 92466 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 373588

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 5869
/proc/meminfo: memFree=1272432/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=381508 CPUtime=282.19
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 95658 0 0 0 28159 60 0 0 25 0 1 0 142588488 390664192 94761 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 95377 94761 312 324 0 94446 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 381508

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 5869
/proc/meminfo: memFree=1243632/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=409392 CPUtime=342.17
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 102674 0 0 0 34151 66 0 0 25 0 1 0 142588488 419217408 101735 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 102348 101735 312 324 0 101417 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 409392

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 5869
/proc/meminfo: memFree=1243632/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=409392 CPUtime=402.15
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 102674 0 0 0 40147 68 0 0 25 0 1 0 142588488 419217408 101735 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 102348 101735 312 324 0 101417 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 409392

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 5869
/proc/meminfo: memFree=1243632/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=409392 CPUtime=462.13
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 102674 0 0 0 46142 71 0 0 25 0 1 0 142588488 419217408 101735 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10270049 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 102348 101735 312 324 0 101417 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 409392

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.96 3/65 5869
/proc/meminfo: memFree=1243632/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=409392 CPUtime=522.11
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 102674 0 0 0 52137 74 0 0 25 0 1 0 142588488 419217408 101735 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 102348 101735 312 324 0 101417 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 409392

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 5869
/proc/meminfo: memFree=1243632/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=409392 CPUtime=582.09
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 102674 0 0 0 58134 75 0 0 25 0 1 0 142588488 419217408 101735 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 102348 101735 312 324 0 101417 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 409392

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 5869
/proc/meminfo: memFree=1239792/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=413168 CPUtime=642.07
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 103665 0 0 0 64128 79 0 0 25 0 1 0 142588488 423084032 102683 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 103292 102683 312 324 0 102361 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 413168


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 5869
/proc/meminfo: memFree=1239792/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=413168 CPUtime=822.01
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 103665 0 0 0 82117 84 0 0 25 0 1 0 142588488 423084032 102683 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 103292 102683 312 324 0 102361 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 413168

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 5869
/proc/meminfo: memFree=1239792/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=413168 CPUtime=881.98
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 103665 0 0 0 88111 87 0 0 25 0 1 0 142588488 423084032 102683 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 103292 102683 312 324 0 102361 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 413168

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 5869
/proc/meminfo: memFree=1239792/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=413168 CPUtime=941.96
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 103665 0 0 0 94107 89 0 0 25 0 1 0 142588488 423084032 102683 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 103292 102683 312 324 0 102361 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 413168

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 5869
/proc/meminfo: memFree=1239792/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=413168 CPUtime=1001.94
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 103665 0 0 0 100102 92 0 0 25 0 1 0 142588488 423084032 102683 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 103292 102683 312 324 0 102361 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 413168

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 5869
/proc/meminfo: memFree=1239792/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=413168 CPUtime=1061.92
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 103665 0 0 0 106099 93 0 0 25 0 1 0 142588488 423084032 102683 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 103292 102683 312 324 0 102361 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 413168

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 5869
/proc/meminfo: memFree=1239792/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=413168 CPUtime=1121.9
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 103665 0 0 0 112094 96 0 0 25 0 1 0 142588488 423084032 102683 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10270558 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 103292 102683 312 324 0 102361 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 413168

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 5869
/proc/meminfo: memFree=1204784/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=448032 CPUtime=1181.88
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 112409 0 0 0 118086 102 0 0 25 0 1 0 142588488 458784768 111381 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 112008 111381 312 324 0 111077 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 448032

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 5869
/proc/meminfo: memFree=1204784/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=448032 CPUtime=1241.85
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 112409 0 0 0 124081 104 0 0 25 0 1 0 142588488 458784768 111381 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 112008 111381 312 324 0 111077 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 448032

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/71 6025
/proc/meminfo: memFree=1203448/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=448032 CPUtime=1301.77
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 112409 0 0 0 130071 106 0 0 25 0 1 0 142588488 458784768 111381 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 112008 111381 312 324 0 111077 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 448032

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6067
/proc/meminfo: memFree=1204592/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=448032 CPUtime=1361.71
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 112409 0 0 0 136064 107 0 0 25 0 1 0 142588488 458784768 111381 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 112008 111381 312 324 0 111077 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 448032

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6067
/proc/meminfo: memFree=1204592/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=448032 CPUtime=1421.7
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 112409 0 0 0 142061 109 0 0 25 0 1 0 142588488 458784768 111381 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 112008 111381 312 324 0 111077 0
Current children cumulated CPU time (s) 1421.7
Current children cumulated vsize (KiB) 448032

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6067
/proc/meminfo: memFree=1204592/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=448032 CPUtime=1481.68
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 112409 0 0 0 148055 113 0 0 25 0 1 0 142588488 458784768 111381 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 112008 111381 312 324 0 111077 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 448032

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6067
/proc/meminfo: memFree=1169264/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=483576 CPUtime=1541.65
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 121301 0 0 0 154045 120 0 0 25 0 1 0 142588488 495181824 120273 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551724 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 120894 120273 312 324 0 119963 0
Current children cumulated CPU time (s) 1541.65
Current children cumulated vsize (KiB) 483576

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6067
/proc/meminfo: memFree=1161392/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=491128 CPUtime=1601.63
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 123229 0 0 0 160040 123 0 0 25 0 1 0 142588488 502915072 122150 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 122782 122150 312 324 0 121851 0
Current children cumulated CPU time (s) 1601.63
Current children cumulated vsize (KiB) 491128

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6067
/proc/meminfo: memFree=1161392/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=491128 CPUtime=1661.61
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 123229 0 0 0 166037 124 0 0 25 0 1 0 142588488 502915072 122150 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 122782 122150 312 324 0 121851 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 491128

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6067
/proc/meminfo: memFree=1161456/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=491128 CPUtime=1721.59
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 123229 0 0 0 172033 126 0 0 25 0 1 0 142588488 502915072 122150 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 122782 122150 312 324 0 121851 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 491128

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6067
/proc/meminfo: memFree=1161456/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=491128 CPUtime=1781.57
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194304 123229 0 0 0 178030 127 0 0 25 0 1 0 142588488 502915072 122150 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551554 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 122782 122150 312 324 0 121851 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 491128



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6067
/proc/meminfo: memFree=1459056/2055920 swapFree=4184568/4192956
[pid=5868] ppid=5866 vsize=0 CPUtime=1800.07
/proc/5868/stat : 5868 (bsolo3.0.16) R 5866 5868 5746 0 -1 4194308 123230 0 0 0 179874 133 0 0 25 0 1 0 142588488 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 0

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

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

Child status: 0
Real time (s): 1800.83
CPU time (s): 1800.1
CPU user time (s): 1798.74
CPU system time (s): 1.35879
CPU usage (%): 99.9595
Max. virtual memory (cumulated for all children) (KiB): 491332

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

runsolver used 1.18882 second user time and 3.79442 second system time

The end

Launcher Data (download as text)

Begin job on node66 on Sun Apr 15 19:39:49 UTC 2007

IDJOB= 353436
IDBENCH= 2242
IDSOLVER= 163
FILE ID= node66/353436-1176665989

PBS_JOBID= 4559917

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353436-1176665989/instance-353436-1176665989.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node66/watcher-353436-1176665989 -o ROOT/results/node66/solver-353436-1176665989 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353436-1176665989/instance-353436-1176665989.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  5249f5f1c551add7f5b5b920fc1c3b9c

RANDOM SEED= 248352206

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node66.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.281
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.281
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1651088 kB
Buffers:         23488 kB
Cached:         291508 kB
SwapCached:       2156 kB
Active:          76648 kB
Inactive:       247764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1651088 kB
SwapTotal:     4192956 kB
SwapFree:      4184568 kB
Dirty:            5436 kB
Writeback:           0 kB
Mapped:          16260 kB
Slab:            66496 kB
Committed_AS:   302028 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node66 on Sun Apr 15 20:09:52 UTC 2007