Trace number 433092

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.17SAT (TO)-32 1800.19 1800.79

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 benchmarkSAT
Best value of the objective obtained on this benchmark-39
Best CPU time to get the best result obtained on this benchmark1800.02
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 (download as text)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/433092-1177954284/instance-433092-1177954284.opb
0.00/0.00	c File size is 993315 bytes.
0.09/0.17	c Highest Coefficient sum: 760
0.09/0.17	c Parsing was ok!!
0.09/0.17	c Total parsing time: 0.169 s
0.09/0.19	c Var: 760 Constr: 41605 41605/0/0 Lit: 83210 Watch. Lit: 83210
0.09/0.19	c Obj. Vars: 760 (100 % of total variables)
0.89/0.91	c Pre-processing Time: 0.905 s
0.89/0.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.91	c        0    760    41605    83210    2    83210   13868      0      0 0.91
0.89/0.91	c Switching off LPR mode.
0.89/0.91	o -29	0.912
0.89/0.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.94	c        0    760    41606    83970    2    83241   14868      1      0 0.91
0.89/0.94	o -30	0.935
1.18/1.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.18/1.23	c       56    760    41663   125521    3    83385   14868     58     59 0.94
1.18/1.23	c      156    760    41763   198082    4    83585   16355    158    159 0.98
1.18/1.23	c      406    760    42013   379756    9    84085   17991    408    368 1.10
1.18/1.23	o -31	1.226
820.85/821.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
820.85/821.18	c      640    760    42248   550519   13    84586   14868    643    521 1.23
820.85/821.18	c      741    760    42349   623669   14    84788   16355    744    582 1.27
820.85/821.18	c      993    760    42601   806231   18    85292   17991    996    713 1.39
820.85/821.18	c     1468    760    43076  1150703   26    86242   19791   1471    893 1.64
820.85/821.18	c     2281    760    43889  1740183   39    87868   21771   2284   1040 2.19
820.85/821.18	c     3601    760    45209  2695857   59    90508   23949   3604   1031 3.49
820.85/821.18	c     5682    760    47290  4204452   88    94670   26344   5685   1020 5.57
820.85/821.18	c     8906    760    50514  6540866  129   101118   28979   8909    805 11.05
820.85/821.18	c    13842    760    55450 10115164  182   110990   31877  13845    632 21.87
820.85/821.18	c    21349    760    62957 15556738  247   126004   35065  21352    494 43.22
820.85/821.18	c    32710    760    74318 23789082  320   148726   38572  32713    342 95.57
820.85/821.18	c    49855    760    63660 16065482  252   127351   42430  22055    236 210.36
820.85/821.18	c    75674    760    58108 12043736  207   116247   46674  16503    176 428.52
820.85/821.18	c   114508    760    61109 14217329  232   122249   51342  19504    139 819.83
820.85/821.18	o -32	820.942
1800.10/1800.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.10/1800.71	c   115562    760    62164 14982490  241   124391   14868  20559    140 820.94
1800.10/1800.71	c   115662    760    49140  5543652  112    98312   16355   7535    140 825.85
1800.10/1800.71	c   115913    760    49391  5725252  115    98814   17991   7786    140 826.48
1800.10/1800.71	c   116388    760    49866  6068864  121    99764   19791   8261    140 826.85
1800.10/1800.71	c   117201    760    50679  6657488  131   101390   21771   9074    141 827.51
1800.10/1800.71	c   118521    760    51999  7612959  146   104030   23949  10394    143 828.81
1800.10/1800.71	c   120602    760    54080  9118690  168   108192   26344  12475    145 831.28
1800.10/1800.71	c   123825    760    57303 11450267  199   114638   28979  15698    147 837.48
1800.10/1800.71	c   128761    760    62239 15023752  241   124510   31877  20634    151 847.45
1800.10/1800.71	c   136267    760    69745 20459736  293   139522   35065  28140    157 864.16
1800.10/1800.71	c   147628    760    56647 10967461  193   113326   38572  15042    161 914.95
1800.10/1800.71	c   164773    760    73792 23378092  316   147616   42430  32187    163 1005.75
1800.10/1800.71	c   190592    760    67962 19157821  281   135956   46674  26357    161 1181.95
1800.10/1800.71	c   229424    760    71017 21360858  300   142066   51342  29412    160 1431.31
1800.10/1800.71	c Caught signal: 15
1800.10/1800.71	v x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740
1800.10/1800.71	v -x739 -x738 -x737 x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719
1800.10/1800.71	v -x718 x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698
1800.10/1800.71	v -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677
1800.10/1800.71	v -x676 -x675 -x674 -x673 -x672 -x671 x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 x661 -x660 -x659 -x658 -x657 -x656
1800.10/1800.71	v -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635
1800.10/1800.71	v -x634 -x633 -x632 -x631 -x630 -x629 -x628 x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614
1800.10/1800.71	v -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593
1800.10/1800.71	v -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 x576 -x575 -x574 -x573 -x572
1800.10/1800.71	v -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551
1800.10/1800.71	v -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530
1800.10/1800.71	v -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509
1800.10/1800.71	v -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 x488
1800.10/1800.71	v -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467
1800.10/1800.71	v -x466 -x465 x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 x452 -x451 -x450 -x449 -x448 -x447 -x446
1800.10/1800.71	v -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425
1800.10/1800.71	v -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404
1800.10/1800.71	v -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383
1800.10/1800.71	v -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 x363 -x362
1800.10/1800.71	v -x361 x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341
1800.10/1800.71	v -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320
1800.10/1800.71	v -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 x302 -x301 -x300 -x299
1800.10/1800.71	v -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278
1800.10/1800.71	v x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257
1800.10/1800.71	v -x256 -x255 -x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236
1800.10/1800.71	v -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215
1800.10/1800.71	v -x214 -x213 -x212 -x211 -x210 -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194
1800.10/1800.71	v -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173
1800.10/1800.71	v -x172 -x171 -x170 -x169 x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152
1800.10/1800.71	v -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131
1800.10/1800.71	v -x130 -x129 x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110
1800.10/1800.71	v -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87
1800.10/1800.71	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
1800.10/1800.71	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
1800.10/1800.71	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
1800.10/1800.71	v -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.10/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.10/1800.71	c   32   273740  25533   305831    75134 24348199  33529    152 1800.11
1800.10/1800.71	c Objective: -32
1800.10/1800.71	s SATISFIABLE
1800.10/1800.71	c Total time: 1800.11 s

Verifier Data (download as text)

OK	-32

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node44/watcher-433092-1177954284 -o ROOT/results/node44/solver-433092-1177954284 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433092-1177954284/instance-433092-1177954284.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.78 0.95 0.90 3/77 9581
/proc/meminfo: memFree=1868656/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=1408 CPUtime=0
/proc/9581/stat : 9581 (bsolo3.0.17) D 9579 9581 9518 0 -1 4194304 39 0 0 0 0 0 0 0 18 0 1 0 243340172 1441792 24 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11281188 0 2147483391 4096 0 18446744072099855350 0 0 17 1 0 0
/proc/9581/statm: 352 24 19 324 0 3 0

[startup+0.0686731 s]
/proc/loadavg: 0.78 0.95 0.90 3/77 9581
/proc/meminfo: memFree=1868656/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=6412 CPUtime=0.05
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 832 0 0 0 5 0 0 0 18 0 1 0 243340172 6565888 802 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 1603 802 367 324 0 430 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 6412

[startup+0.101676 s]
/proc/loadavg: 0.78 0.95 0.90 3/77 9581
/proc/meminfo: memFree=1868656/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=7236 CPUtime=0.09
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 1078 0 0 0 9 0 0 0 18 0 1 0 243340172 7409664 1048 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 1809 1048 415 324 0 636 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7236

[startup+0.301696 s]
/proc/loadavg: 0.78 0.95 0.90 3/77 9581
/proc/meminfo: memFree=1868656/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=11352 CPUtime=0.28
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 2496 0 0 0 27 1 0 0 19 0 1 0 243340172 11624448 2223 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 2838 2223 305 324 0 1908 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11352

[startup+0.701738 s]
/proc/loadavg: 0.78 0.95 0.90 3/77 9581
/proc/meminfo: memFree=1868656/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=11352 CPUtime=0.69
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 2496 0 0 0 66 3 0 0 23 0 1 0 243340172 11624448 2223 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 2838 2223 305 324 0 1908 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11352

[startup+1.50182 s]
/proc/loadavg: 0.78 0.95 0.90 2/78 9582
/proc/meminfo: memFree=1860392/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=21376 CPUtime=1.49
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 5580 0 0 0 144 5 0 0 25 0 1 0 243340172 21889024 4717 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 5344 4717 310 324 0 4414 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21376

[startup+3.10198 s]
/proc/loadavg: 0.78 0.95 0.90 2/78 9582
/proc/meminfo: memFree=1842152/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=41236 CPUtime=3.09
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 10556 0 0 0 302 7 0 0 25 0 1 0 243340172 42225664 9693 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 10309 9693 310 324 0 9379 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41236

[startup+6.30131 s]
/proc/loadavg: 0.80 0.95 0.90 2/78 9582
/proc/meminfo: memFree=1809576/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=68904 CPUtime=6.28
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 17471 0 0 0 618 10 0 0 25 0 1 0 243340172 70557696 16608 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 17226 16608 310 324 0 16296 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 68904

[startup+12.703 s]
/proc/loadavg: 0.81 0.95 0.90 2/78 9582
/proc/meminfo: memFree=1767536/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=108852 CPUtime=12.69
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 27464 0 0 0 1253 16 0 0 25 0 1 0 243340172 111464448 26601 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 27213 26601 310 324 0 26283 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 108852

[startup+25.5013 s]
/proc/loadavg: 0.85 0.95 0.91 2/78 9582
/proc/meminfo: memFree=1708912/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=163920 CPUtime=25.48
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 41209 0 0 0 2525 23 0 0 25 0 1 0 243340172 167854080 40346 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 40980 40346 310 324 0 40050 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 163920

[startup+51.1019 s]
/proc/loadavg: 0.90 0.96 0.91 2/78 9582
/proc/meminfo: memFree=1627504/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=246044 CPUtime=51.06
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 61760 0 0 0 5072 34 0 0 25 0 1 0 243340172 251949056 60897 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 61511 60897 310 324 0 60581 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 246044

[startup+102.305 s]
/proc/loadavg: 0.96 0.96 0.91 2/78 9582
/proc/meminfo: memFree=1519984/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=351560 CPUtime=102.26
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 88139 0 0 0 10176 50 0 0 25 0 1 0 243340172 359997440 87276 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 87890 87276 310 324 0 86960 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 351560

[startup+162.301 s]
/proc/loadavg: 0.98 0.97 0.91 2/78 9582
/proc/meminfo: memFree=1495024/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=376288 CPUtime=162.23
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 94335 0 0 0 16170 53 0 0 25 0 1 0 243340172 385318912 93433 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 94072 93433 310 324 0 93142 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 376288

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9582
/proc/meminfo: memFree=1495024/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=376288 CPUtime=222.22
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 94335 0 0 0 22168 54 0 0 25 0 1 0 243340172 385318912 93433 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 94072 93433 310 324 0 93142 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 376288

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9582
/proc/meminfo: memFree=1495216/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=376288 CPUtime=282.2
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 94335 0 0 0 28166 54 0 0 25 0 1 0 243340172 385318912 93433 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 94072 93433 310 324 0 93142 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 376288

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9582
/proc/meminfo: memFree=1493680/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=378044 CPUtime=342.18
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 94802 0 0 0 34163 55 0 0 25 0 1 0 243340172 387117056 93900 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 94511 93900 310 324 0 93581 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 378044

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9582
/proc/meminfo: memFree=1458864/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=412304 CPUtime=402.16
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 103398 0 0 0 40155 61 0 0 25 0 1 0 243340172 422199296 102453 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 103076 102453 310 324 0 102146 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 412304

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9582
/proc/meminfo: memFree=1458864/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=412304 CPUtime=462.15
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 103398 0 0 0 46153 62 0 0 25 0 1 0 243340172 422199296 102453 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 103076 102453 310 324 0 102146 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 412304

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9582
/proc/meminfo: memFree=1458928/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=412304 CPUtime=522.13
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 103398 0 0 0 52151 62 0 0 25 0 1 0 243340172 422199296 102453 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 103076 102453 310 324 0 102146 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 412304

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9582
/proc/meminfo: memFree=1458928/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=412304 CPUtime=582.12
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 103398 0 0 0 58149 63 0 0 25 0 1 0 243340172 422199296 102453 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 103076 102453 310 324 0 102146 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 412304

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9584
/proc/meminfo: memFree=1459120/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=412304 CPUtime=642.1
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 103398 0 0 0 64147 63 0 0 25 0 1 0 243340172 422199296 102453 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 103076 102453 310 324 0 102146 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 412304


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9584
/proc/meminfo: memFree=1419376/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=451692 CPUtime=882.03
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 113301 0 0 0 88132 71 0 0 25 0 1 0 243340172 462532608 112309 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 112923 112309 310 324 0 111993 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 451692

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9584
/proc/meminfo: memFree=1419440/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=451600 CPUtime=942.02
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 113301 0 0 0 94130 72 0 0 25 0 1 0 243340172 462438400 112290 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 112900 112290 310 324 0 111970 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 451600

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9584
/proc/meminfo: memFree=1419632/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=451600 CPUtime=1002
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 113301 0 0 0 100128 72 0 0 25 0 1 0 243340172 462438400 112290 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 112900 112290 310 324 0 111970 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 451600

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9584
/proc/meminfo: memFree=1419632/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=451532 CPUtime=1061.98
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 113301 0 0 0 106125 73 0 0 25 0 1 0 243340172 462368768 112273 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 112883 112273 310 324 0 111953 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 451532

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9584
/proc/meminfo: memFree=1419632/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=451532 CPUtime=1121.96
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 113301 0 0 0 112123 73 0 0 25 0 1 0 243340172 462368768 112273 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11398257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 112883 112273 310 324 0 111953 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 451532

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9584
/proc/meminfo: memFree=1419632/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=451532 CPUtime=1181.94
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 113301 0 0 0 118121 73 0 0 25 0 1 0 243340172 462368768 112273 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 112883 112273 310 324 0 111953 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 451532

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9584
/proc/meminfo: memFree=1419568/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=451532 CPUtime=1241.93
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 113301 0 0 0 124119 74 0 0 25 0 1 0 243340172 462368768 112273 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572633 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 112883 112273 310 324 0 111953 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 451532

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9584
/proc/meminfo: memFree=1419504/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=451532 CPUtime=1301.91
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 113301 0 0 0 130117 74 0 0 25 0 1 0 243340172 462368768 112273 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546114 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 112883 112273 310 324 0 111953 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 451532

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 9584
/proc/meminfo: memFree=1419504/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=451480 CPUtime=1361.9
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 113301 0 0 0 136115 75 0 0 25 0 1 0 243340172 462315520 112260 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 112870 112260 310 324 0 111940 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 451480

[startup+1422.31 s]
/proc/loadavg: 1.07 0.99 0.91 2/78 9584
/proc/meminfo: memFree=1419504/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=451480 CPUtime=1421.88
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 113301 0 0 0 142113 75 0 0 25 0 1 0 243340172 462315520 112260 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551294 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 112870 112260 310 324 0 111940 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 451480

[startup+1482.3 s]
/proc/loadavg: 1.10 1.00 0.92 2/78 9584
/proc/meminfo: memFree=1419440/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=451480 CPUtime=1481.87
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 113301 0 0 0 148111 76 0 0 25 0 1 0 243340172 462315520 112260 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11712341 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 112870 112260 310 324 0 111940 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 451480

[startup+1542.3 s]
/proc/loadavg: 1.10 1.02 0.93 2/78 9584
/proc/meminfo: memFree=1419504/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=451480 CPUtime=1541.84
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 113301 0 0 0 154108 76 0 0 25 0 1 0 243340172 462315520 112260 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 112870 112260 310 324 0 111940 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 451480

[startup+1602.3 s]
/proc/loadavg: 1.16 1.04 0.94 2/78 9584
/proc/meminfo: memFree=1384752/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=487224 CPUtime=1601.83
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 122219 0 0 0 160101 82 0 0 25 0 1 0 243340172 498917376 121178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 121806 121178 310 324 0 120876 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 487224

[startup+1662.3 s]
/proc/loadavg: 1.06 1.03 0.94 2/78 9584
/proc/meminfo: memFree=1376304/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=494520 CPUtime=1661.81
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 124085 0 0 0 166098 83 0 0 25 0 1 0 243340172 506388480 122993 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 123630 122993 310 324 0 122700 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 494520

[startup+1722.3 s]
/proc/loadavg: 1.05 1.03 0.94 2/78 9584
/proc/meminfo: memFree=1376368/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=494520 CPUtime=1721.8
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 124085 0 0 0 172096 84 0 0 25 0 1 0 243340172 506388480 122993 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551109 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 123630 122993 310 324 0 122700 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 494520

[startup+1782.3 s]
/proc/loadavg: 1.02 1.03 0.94 2/84 9650
/proc/meminfo: memFree=1375032/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=494520 CPUtime=1781.74
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 124085 0 0 0 178090 84 0 0 25 0 1 0 243340172 506388480 122993 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9581/statm: 123630 122993 310 324 0 122700 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 494520



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.01 1.02 0.94 2/84 9722
/proc/meminfo: memFree=1375160/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=494520 CPUtime=1800.1
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 124085 0 0 0 179926 84 0 0 25 0 1 0 243340172 506388480 122993 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551074 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 123630 122993 310 324 0 122700 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 494520

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

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

[startup+1800.71 s]
/proc/loadavg: 1.01 1.02 0.94 2/84 9722
/proc/meminfo: memFree=1375160/2055920 swapFree=4156212/4192956
[pid=9581] ppid=9579 vsize=494520 CPUtime=1800.1
/proc/9581/stat : 9581 (bsolo3.0.17) R 9579 9581 9518 0 -1 4194304 124085 0 0 0 179926 84 0 0 25 0 1 0 243340172 506388480 122993 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551074 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9581/statm: 123630 122993 310 324 0 122700 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 494520

Child status: 15
Real time (s): 1800.79
CPU time (s): 1800.19
CPU user time (s): 1799.27
CPU system time (s): 0.925859
CPU usage (%): 99.9667
Max. virtual memory (cumulated for all children) (KiB): 494724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.27
system time used= 0.925859
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124089
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= 13
involuntary context switches= 38776

runsolver used 1.46478 second user time and 3.82142 second system time

The end

Launcher Data (download as text)

Begin job on node44 on Mon Apr 30 17:31:25 UTC 2007

IDJOB= 433092
IDBENCH= 2244
IDSOLVER= 199
FILE ID= node44/433092-1177954284

PBS_JOBID= 4727687

Free space on /tmp= 66557 MiB

SOLVER NAME= bsolo 3.0.17
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-4.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433092-1177954284/instance-433092-1177954284.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node44/watcher-433092-1177954284 -o ROOT/results/node44/solver-433092-1177954284 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433092-1177954284/instance-433092-1177954284.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  7262f9f4ab1a3ada75b3b140acf97f7d

RANDOM SEED= 808358611

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node44.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.234
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.234
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:       1869064 kB
Buffers:         30756 kB
Cached:          67484 kB
SwapCached:      13620 kB
Active:          67564 kB
Inactive:        54500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1869064 kB
SwapTotal:     4192956 kB
SwapFree:      4156212 kB
Dirty:            7724 kB
Writeback:           0 kB
Mapped:          32052 kB
Slab:            50312 kB
Committed_AS:  1548500 kB
PageTables:       1736 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= 66557 MiB

End job on node44 on Mon Apr 30 18:01:27 UTC 2007