Trace number 38192

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
Pueblo 1.3SAT-7 1782.8 1783.28

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-40
Best CPU time to get the best result obtained on this benchmark1800.56
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	c Pueblo version 1.4 (September 2005)
0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00	c  by Hossein Sheini
0.44	c starting to Solve
0.44	c #variables read: 760 - #constraints read: 41606
0.44	o 0
0.44	o 1
0.44	o 2
0.46	o 3
0.75	o 4
3.18	o 5
38.86	o 6
119.44	o 7
1783.21	c total time              : 1783 s
1783.21	s SATISFIABLE
1783.21	v -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740
1783.21	v -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719
1783.21	v -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698
1783.21	v -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677
1783.21	v -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656
1783.21	v -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635
1783.21	v -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614
1783.21	v -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593
1783.21	v -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572
1783.21	v -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 x554 -x553 -x552 -x551
1783.21	v -x550 x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530
1783.21	v -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509
1783.21	v -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488
1783.21	v -x487 -x486 -x485 -x484 -x483 x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467
1783.21	v -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446
1783.21	v -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425
1783.21	v -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404
1783.21	v -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383
1783.21	v -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362
1783.21	v -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341
1783.21	v -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320
1783.21	v -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299
1783.21	v -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278
1783.21	v -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257
1783.21	v -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236
1783.21	v -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215
1783.21	v -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194
1783.21	v -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173
1783.21	v -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152
1783.21	v -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131
1783.21	v -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110
1783.21	v -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87
1783.21	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
1783.21	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
1783.21	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
1783.21	v -x8 -x7 -x6 -x5 x4 -x3 -x2 -x1

Verifier Data (download as text)

OK	-7

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node31/watcher-38192-1149293858 -o ROOT/results/node31/solver-38192-1149293858 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node31/38192-1149293858/instance-38192-1149293858.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.97 0.91 2/64 2065
/proc/meminfo: memFree=1551544/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=2288 CPUtime=0
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 220 0 0 0 0 0 0 0 18 0 1 0 195049491 2342912 192 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 1585104 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 601 198 174 16 0 42 0

[startup+10.0026 s]
/proc/loadavg: 0.93 0.97 0.91 2/64 2065
/proc/meminfo: memFree=1491648/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=62672 CPUtime=9.98
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 15207 0 0 0 990 8 0 0 25 0 1 0 195049491 64176128 15178 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 15668 15178 205 16 0 15109 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 62672

[startup+20.0094 s]
/proc/loadavg: 0.94 0.97 0.91 2/64 2065
/proc/meminfo: memFree=1453312/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=101192 CPUtime=19.99
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 24772 0 0 0 1983 16 0 0 25 0 1 0 195049491 103620608 24743 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 25298 24743 205 16 0 24739 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 101192

[startup+30.0152 s]
/proc/loadavg: 0.95 0.97 0.91 2/64 2065
/proc/meminfo: memFree=1421056/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=134056 CPUtime=29.99
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 32821 0 0 0 2977 22 0 0 25 0 1 0 195049491 137273344 32792 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 33514 32792 205 16 0 32955 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 134056

[startup+40.021 s]
/proc/loadavg: 0.96 0.97 0.91 2/64 2065
/proc/meminfo: memFree=1400704/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=154644 CPUtime=40
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 37896 0 0 0 3974 26 0 0 25 0 1 0 195049491 158355456 37867 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 38661 37867 205 16 0 38102 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 154644

[startup+50.0269 s]
/proc/loadavg: 0.96 0.97 0.91 2/64 2065
/proc/meminfo: memFree=1400640/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=154644 CPUtime=50
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 37904 0 0 0 4972 28 0 0 25 0 1 0 195049491 158355456 37875 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 38661 37875 205 16 0 38102 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 154644

[startup+60.0327 s]
/proc/loadavg: 0.97 0.97 0.91 2/64 2065
/proc/meminfo: memFree=1385216/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=170116 CPUtime=60
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 41748 0 0 0 5970 30 0 0 25 0 1 0 195049491 174198784 41719 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 42529 41719 205 16 0 41970 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 170116

[startup+70.0385 s]
/proc/loadavg: 0.97 0.97 0.91 2/64 2065
/proc/meminfo: memFree=1385216/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=170116 CPUtime=70
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 41748 0 0 0 6969 31 0 0 25 0 1 0 195049491 174198784 41719 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517955 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 42529 41719 205 16 0 41970 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 170116

[startup+80.0453 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 2065
/proc/meminfo: memFree=1385216/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=170116 CPUtime=80.01
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 41748 0 0 0 7969 32 0 0 25 0 1 0 195049491 174198784 41719 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 42529 41719 205 16 0 41970 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 170116

[startup+90.0502 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 2065
/proc/meminfo: memFree=1378112/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=177168 CPUtime=90.01
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 43520 0 0 0 8967 34 0 0 25 0 1 0 195049491 181420032 43491 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 1607291 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 44292 43491 205 16 0 43733 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 177168

[startup+100.056 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 2065
/proc/meminfo: memFree=1369344/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=185876 CPUtime=100.02
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 45709 0 0 0 9966 36 0 0 25 0 1 0 195049491 190337024 45680 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528548 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 46469 45680 205 16 0 45910 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 185876

[startup+110.062 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 2065
/proc/meminfo: memFree=1369344/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=185876 CPUtime=110.02
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 45709 0 0 0 10965 37 0 0 25 0 1 0 195049491 190337024 45680 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 46469 45680 205 16 0 45910 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 185876

[startup+120.068 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2065
/proc/meminfo: memFree=1369344/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=185876 CPUtime=120.02
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 45709 0 0 0 11965 37 0 0 25 0 1 0 195049491 190337024 45680 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519884 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 46469 45680 205 16 0 45910 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 185876

[startup+130.073 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2065
/proc/meminfo: memFree=1352128/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=203124 CPUtime=130.03
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 50004 0 0 0 12962 41 0 0 25 0 1 0 195049491 207998976 49975 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 50781 49975 205 16 0 50222 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 203124

[startup+140.079 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2065
/proc/meminfo: memFree=1352064/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=203124 CPUtime=140.02
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 50014 0 0 0 13960 42 0 0 25 0 1 0 195049491 207998976 49985 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 50781 49985 205 16 0 50222 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 203124

[startup+150.085 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2065
/proc/meminfo: memFree=1351040/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=204144 CPUtime=150.03
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 50272 0 0 0 14959 44 0 0 25 0 1 0 195049491 209043456 50243 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 51036 50243 205 16 0 50477 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 204144

[startup+160.091 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2065
/proc/meminfo: memFree=1351040/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=204144 CPUtime=160.03
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 50273 0 0 0 15958 45 0 0 25 0 1 0 195049491 209043456 50244 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520013 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 51036 50244 205 16 0 50477 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 204144

[startup+170.097 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2065
/proc/meminfo: memFree=1351040/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=204144 CPUtime=170.04
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 50273 0 0 0 16957 47 0 0 25 0 1 0 195049491 209043456 50244 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 51036 50244 205 16 0 50477 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 204144

[startup+180.103 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2065
/proc/meminfo: memFree=1331392/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=223912 CPUtime=180.04
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 55172 0 0 0 17955 49 0 0 25 0 1 0 195049491 229285888 55143 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516725 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 55978 55143 206 16 0 55419 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 223912

[startup+190.108 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2065
/proc/meminfo: memFree=1331392/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=223912 CPUtime=190.04
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 55172 0 0 0 18954 50 0 0 25 0 1 0 195049491 229285888 55143 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557261 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 55978 55143 206 16 0 55419 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 223912

[startup+200.114 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2065
/proc/meminfo: memFree=1331392/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=223912 CPUtime=200.05
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 55172 0 0 0 19953 52 0 0 25 0 1 0 195049491 229285888 55143 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 55978 55143 206 16 0 55419 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 223912

[startup+210.119 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2065
/proc/meminfo: memFree=1331328/2055920 swapFree=4181480/4192956

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

/proc/2065/statm: 102471 101165 206 16 0 101912 0
Current children cumulated CPU time (s) 1590.57
Current children cumulated vsize (Kb) 409884

[startup+1601 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2067
/proc/meminfo: memFree=1146752/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=409884 CPUtime=1600.57
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 108590 0 0 0 159821 236 0 0 25 0 1 0 195049491 419721216 101165 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557384 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 102471 101165 206 16 0 101912 0
Current children cumulated CPU time (s) 1600.57
Current children cumulated vsize (Kb) 409884

[startup+1611.01 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2067
/proc/meminfo: memFree=1146752/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=409884 CPUtime=1610.58
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 108590 0 0 0 160820 238 0 0 25 0 1 0 195049491 419721216 101165 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527821 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 102471 101165 206 16 0 101912 0
Current children cumulated CPU time (s) 1610.58
Current children cumulated vsize (Kb) 409884

[startup+1621.02 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2067
/proc/meminfo: memFree=1146752/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=409884 CPUtime=1620.58
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 108590 0 0 0 161818 240 0 0 25 0 1 0 195049491 419721216 101165 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 102471 101165 206 16 0 101912 0
Current children cumulated CPU time (s) 1620.58
Current children cumulated vsize (Kb) 409884

[startup+1631.02 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2067
/proc/meminfo: memFree=1147264/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=409088 CPUtime=1630.59
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 108590 0 0 0 162819 240 0 0 25 0 1 0 195049491 418906112 100989 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516731 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 102272 100989 206 16 0 101713 0
Current children cumulated CPU time (s) 1630.59
Current children cumulated vsize (Kb) 409088

[startup+1641.03 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2067
/proc/meminfo: memFree=1147264/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=409088 CPUtime=1640.58
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 108590 0 0 0 163817 241 0 0 25 0 1 0 195049491 418906112 100989 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 102272 100989 206 16 0 101713 0
Current children cumulated CPU time (s) 1640.58
Current children cumulated vsize (Kb) 409088

[startup+1651.03 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2067
/proc/meminfo: memFree=1147264/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=409088 CPUtime=1650.59
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 108590 0 0 0 164816 243 0 0 25 0 1 0 195049491 418906112 100989 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 102272 100989 206 16 0 101713 0
Current children cumulated CPU time (s) 1650.59
Current children cumulated vsize (Kb) 409088

[startup+1661.04 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2067
/proc/meminfo: memFree=1147264/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=409088 CPUtime=1660.59
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 108590 0 0 0 165814 245 0 0 25 0 1 0 195049491 418906112 100989 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 102272 100989 206 16 0 101713 0
Current children cumulated CPU time (s) 1660.59
Current children cumulated vsize (Kb) 409088

[startup+1671.04 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2067
/proc/meminfo: memFree=1147136/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=409468 CPUtime=1670.59
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 108666 0 0 0 166814 245 0 0 25 0 1 0 195049491 419295232 101065 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516696 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 102367 101065 206 16 0 101808 0
Current children cumulated CPU time (s) 1670.59
Current children cumulated vsize (Kb) 409468

[startup+1681.05 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2067
/proc/meminfo: memFree=1147136/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=409468 CPUtime=1680.6
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 108666 0 0 0 167814 246 0 0 25 0 1 0 195049491 419295232 101065 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 102367 101065 206 16 0 101808 0
Current children cumulated CPU time (s) 1680.6
Current children cumulated vsize (Kb) 409468

[startup+1691.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2067
/proc/meminfo: memFree=1147072/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=409468 CPUtime=1690.59
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 108666 0 0 0 168812 247 0 0 25 0 1 0 195049491 419295232 101065 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528524 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 102367 101065 206 16 0 101808 0
Current children cumulated CPU time (s) 1690.59
Current children cumulated vsize (Kb) 409468

[startup+1701.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2067
/proc/meminfo: memFree=1147072/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=409468 CPUtime=1700.61
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 108666 0 0 0 169812 249 0 0 25 0 1 0 195049491 419295232 101065 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517605 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 102367 101065 206 16 0 101808 0
Current children cumulated CPU time (s) 1700.61
Current children cumulated vsize (Kb) 409468

[startup+1711.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2067
/proc/meminfo: memFree=1147072/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=409468 CPUtime=1710.61
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 108666 0 0 0 170811 250 0 0 25 0 1 0 195049491 419295232 101065 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520196 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 102367 101065 206 16 0 101808 0
Current children cumulated CPU time (s) 1710.61
Current children cumulated vsize (Kb) 409468

[startup+1721.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2067
/proc/meminfo: memFree=1147904/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=408356 CPUtime=1720.61
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 108666 0 0 0 171811 250 0 0 25 0 1 0 195049491 418156544 100806 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516720 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 102089 100806 206 16 0 101530 0
Current children cumulated CPU time (s) 1720.61
Current children cumulated vsize (Kb) 408356

[startup+1731.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2067
/proc/meminfo: memFree=1147904/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=408356 CPUtime=1730.61
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 108666 0 0 0 172810 251 0 0 25 0 1 0 195049491 418156544 100806 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557306 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 102089 100806 206 16 0 101530 0
Current children cumulated CPU time (s) 1730.61
Current children cumulated vsize (Kb) 408356

[startup+1741.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2067
/proc/meminfo: memFree=1147968/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=408356 CPUtime=1740.61
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 108666 0 0 0 173809 252 0 0 25 0 1 0 195049491 418156544 100806 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 102089 100806 206 16 0 101530 0
Current children cumulated CPU time (s) 1740.61
Current children cumulated vsize (Kb) 408356

[startup+1751.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2067
/proc/meminfo: memFree=1147968/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=408356 CPUtime=1750.62
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 108666 0 0 0 174808 254 0 0 25 0 1 0 195049491 418156544 100806 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520070 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 102089 100806 206 16 0 101530 0
Current children cumulated CPU time (s) 1750.62
Current children cumulated vsize (Kb) 408356

[startup+1761.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2067
/proc/meminfo: memFree=1147840/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=408732 CPUtime=1760.62
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 108741 0 0 0 175807 255 0 0 25 0 1 0 195049491 418541568 100881 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516696 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 102183 100881 206 16 0 101624 0
Current children cumulated CPU time (s) 1760.62
Current children cumulated vsize (Kb) 408732

[startup+1771.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2067
/proc/meminfo: memFree=1147840/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=408732 CPUtime=1770.63
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 108741 0 0 0 176808 255 0 0 25 0 1 0 195049491 418541568 100881 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516725 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 102183 100881 206 16 0 101624 0
Current children cumulated CPU time (s) 1770.63
Current children cumulated vsize (Kb) 408732

[startup+1781.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2067
/proc/meminfo: memFree=1147840/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=408732 CPUtime=1780.63
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 108741 0 0 0 177807 256 0 0 25 0 1 0 195049491 418541568 100881 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559527 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 102183 100881 206 16 0 101624 0
Current children cumulated CPU time (s) 1780.63
Current children cumulated vsize (Kb) 408732

[startup+1782.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2067
/proc/meminfo: memFree=1147840/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=408732 CPUtime=1781.63
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 108741 0 0 0 177907 256 0 0 25 0 1 0 195049491 418541568 100881 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517612 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 102183 100881 206 16 0 101624 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (Kb) 408732

[startup+1783.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2067
/proc/meminfo: memFree=1147840/2055920 swapFree=4181480/4192956
[pid=2065] ppid=2063 vsize=408732 CPUtime=1782.64
/proc/2065/stat : 2065 (Pueblo13) R 2063 2065 2016 0 -1 4194304 108741 0 0 0 178008 256 0 0 25 0 1 0 195049491 418541568 100881 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517505 0 0 4096 0 0 0 0 17 1 0 0
/proc/2065/statm: 102183 100881 206 16 0 101624 0
Current children cumulated CPU time (s) 1782.64
Current children cumulated vsize (Kb) 408732

Child status: 10
Real time (s): 1783.28
CPU time (s): 1782.8
CPU user time (s): 1780.17
CPU system time (s): 2.6326
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (Kb): 409884

Launcher Data (download as text)

Begin job on node31 on Sat Jun  3 00:17:38 UTC 2006


FILE ID= 38192-1149293858

PBS_JOBID= 307009

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= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node31/38192-1149293858/instance-38192-1149293858.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node31/watcher-38192-1149293858 -o ROOT/results/node31/solver-38192-1149293858 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node31/38192-1149293858/instance-38192-1149293858.opb

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  7262f9f4ab1a3ada75b3b140acf97f7d

RANDOM SEED= 421584854


/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:       1551688 kB
Buffers:         28548 kB
Cached:         403868 kB
SwapCached:       3396 kB
Active:          58848 kB
Inactive:       382464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1551688 kB
SwapTotal:     4192956 kB
SwapFree:      4181480 kB
Dirty:             184 kB
Writeback:           0 kB
Mapped:          14964 kB
Slab:            48808 kB
Committed_AS:   323556 kB
PageTables:       1496 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node31 on Sat Jun  3 00:47:22 UTC 2006