Trace number 458650

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
PBS4_v2 2007-03-23SAT (TO)1174 1800.02 1800.72

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-glass4.opb
MD5SUMd0857e859d7ae9b7cd0d343674d5c1ad
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1174
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 1138
Optimality of the best value was proved NO
Number of variables780
Total number of constraints405
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)36
Number of constraints which are nor clauses,nor cardinality constraints369
Minimum length of a constraint6
Maximum length of a constraint101
Number of terms in the objective function 478
Biggest coefficient in the objective function 262140
Number of bits for the biggest coefficient in the objective function 18
Sum of the numbers in the objective function 524739
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262140
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524739
Number of bits of the biggest sum of numbers20
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 PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00/0.00	c Solving /tmp/evaluation/458650-1178639236/instance-458650-1178639236.opb ......
0.09/0.13	c done parsing opb.
0.09/0.13	o 524430
9.29/9.34	o 524429
9.79/9.83	o 234993
179.33/179.46	o 31446
180.43/180.57	o 30942
180.63/180.77	o 20766
180.63/180.78	o 20448
180.63/180.79	o 20001
180.74/180.80	o 13395
180.74/180.81	o 10803
180.74/180.82	o 8996
180.74/180.83	o 8064
180.83/180.96	o 8063
180.83/180.98	o 4578
180.83/180.99	o 4577
181.03/181.18	o 4576
199.13/199.26	o 4575
200.33/200.40	o 4574
200.33/200.41	o 3862
201.62/201.79	o 3861
209.42/209.56	o 3858
212.82/212.98	o 2460
224.82/224.92	o 2096
230.81/230.94	o 1953
236.92/237.06	o 1757
236.92/237.09	o 1756
237.02/237.12	o 1755
245.01/245.13	o 1754
267.31/267.43	o 1651
283.10/283.27	o 1650
319.69/319.84	o 1589
335.48/335.68	o 1588
411.06/411.22	o 1587
411.06/411.26	o 1543
851.26/851.64	o 1174
1800.00/1800.70	s SATISFIABLE
1800.00/1800.70	v -x1 -x10 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x11 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117
1800.00/1800.70	v -x118 -x119 -x12 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x13 -x130 -x131 -x132 -x133 -x134 -x135 -x136
1800.00/1800.70	v -x137 -x138 -x139 -x14 -x140 -x141 -x142 -x143 x144 -x145 -x146 x147 -x148 -x149 -x15 -x150 -x151 -x152 -x153 x154 -x155 -x156
1800.00/1800.70	v -x157 -x158 -x159 x16 x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 x17 -x170 -x171 -x172 -x173 -x174 -x175 -x176
1800.00/1800.70	v -x177 -x178 -x179 x18 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x19 x190 x191 x192 x193 x194 x195 x196 x197
1800.00/1800.70	v x198 x199 -x2 x20 x200 x201 x202 x203 -x204 x205 x206 x207 x208 -x209 -x21 x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218
1800.00/1800.70	v -x219 -x22 x220 -x221 x222 x223 x224 -x225 x226 x227 x228 x229 -x23 x230 x231 x232 x233 -x234 x235 x236 x237 x238 -x239 -x24
1800.00/1800.70	v -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x25 x250 x251 x252 x253 -x254 x255 x256 x257 -x258 x259 -x26 x260
1800.00/1800.70	v x261 -x262 x263 x264 x265 x266 x267 -x268 -x269 -x27 -x270 x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x28 x280 x281
1800.00/1800.70	v -x282 -x283 -x284 -x285 x286 -x287 x288 -x289 -x29 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x3 -x30 x300
1800.00/1800.70	v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x31 -x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 x318 x319 x32 x320
1800.00/1800.70	v x321 -x322 -x323 -x324 x325 x326 -x327 -x328 x329 x33 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 x34 -x340
1800.00/1800.70	v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x35 -x350 -x351 -x352 -x353 x354 -x355 -x356 x357 -x358 -x359 x36 -x360
1800.00/1800.70	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x37 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 -x38
1800.00/1800.70	v -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x39 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399
1800.00/1800.70	v -x4 x40 x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 x41 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418
1800.00/1800.70	v -x419 x42 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 x429 x43 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438
1800.00/1800.70	v -x439 -x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 x449 -x45 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457
1800.00/1800.70	v -x458 x459 x46 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x47 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477
1800.00/1800.70	v x478 x479 x48 x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 x49 x490 x491 x492 x493 -x494 -x495 -x496 x497 x498 -x499 -x5
1800.00/1800.70	v x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x51 -x510 -x511 x512 -x513 -x514 -x515 -x516 x517 -x518 x519
1800.00/1800.70	v -x52 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x53 -x530 -x531 -x532 x533 -x534 -x535 -x536 -x537 -x538
1800.00/1800.70	v -x539 -x54 x540 x541 x542 x543 x544 x545 x546 x547 x548 x549 -x55 x550 x551 x552 x553 x554 x555 x556 -x557 x558 -x559 -x56 -x560
1800.00/1800.70	v x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58
1800.00/1800.70	v -x580 x581 x582 x583 x584 x585 x586 -x587 x588 -x589 -x59 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 x598 x599 -x6 -x60
1800.00/1800.70	v -x600 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x61 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619
1800.00/1800.70	v -x62 -x620 x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x63 -x630 -x631 x632 -x633 -x634 -x635 -x636 x637 x638 -x639
1800.00/1800.70	v x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658
1800.00/1800.70	v -x659 -x66 -x660 -x661 -x662 -x663 -x664 x665 x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 x674 -x675 x676 x677 -x678
1800.00/1800.70	v -x679 -x68 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 x693 -x694 -x695 x696 -x697
1800.00/1800.70	v -x698 -x699 -x7 -x70 -x700 -x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716
1800.00/1800.70	v -x717 -x718 x719 x72 x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736
1800.00/1800.70	v -x737 x738 -x739 x74 -x740 -x741 -x742 -x743 -x744 x745 x746 -x747 x748 x749 x75 -x750 x751 x752 x753 x754 x755 x756 x757 -x758
1800.00/1800.70	v -x759 -x76 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 -x778
1800.00/1800.70	v -x779 x78 -x780 x79 -x8 x80 x81 x82 -x83 x84 x85 x86 -x87 x88 -x89 -x9 x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99

Verifier Data (download as text)

OK	1174

Conversion Script Data (download as text)

/tmp/evaluation/458650-1178639236/instance-458650-1178639236.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node25/watcher-458650-1178639236 -o ROOT/results/node25/solver-458650-1178639236 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458650-1178639236/instance-458650-1178639236.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.94 0.99 0.99 3/64 12666
/proc/meminfo: memFree=1946888/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=1456 CPUtime=0
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 158 0 0 0 0 0 0 0 18 0 1 0 311840694 1490944 140 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134594301 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 364 140 86 219 0 141 0

[startup+0.0235559 s]
/proc/loadavg: 0.94 0.99 0.99 3/64 12666
/proc/meminfo: memFree=1946888/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=1588 CPUtime=0.02
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 199 0 0 0 2 0 0 0 18 0 1 0 311840694 1626112 181 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134798148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 397 181 86 219 0 174 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1588

[startup+0.10157 s]
/proc/loadavg: 0.94 0.99 0.99 3/64 12666
/proc/meminfo: memFree=1946888/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=2256 CPUtime=0.09
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 362 0 0 0 9 0 0 0 18 0 1 0 311840694 2310144 344 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 564 344 89 219 0 341 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2256

[startup+0.301603 s]
/proc/loadavg: 0.94 0.99 0.99 3/64 12666
/proc/meminfo: memFree=1946888/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=2256 CPUtime=0.29
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 389 0 0 0 29 0 0 0 19 0 1 0 311840694 2310144 371 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557351 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 564 371 102 219 0 341 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2256

[startup+0.701672 s]
/proc/loadavg: 0.94 0.99 0.99 3/64 12666
/proc/meminfo: memFree=1946888/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=2256 CPUtime=0.69
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 418 0 0 0 69 0 0 0 22 0 1 0 311840694 2310144 400 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 564 400 102 219 0 341 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2256

[startup+1.50181 s]
/proc/loadavg: 0.94 0.99 0.99 2/65 12667
/proc/meminfo: memFree=1945664/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=2512 CPUtime=1.49
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 468 0 0 0 149 0 0 0 25 0 1 0 311840694 2572288 450 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 628 450 102 219 0 405 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 2512

[startup+3.10108 s]
/proc/loadavg: 0.94 0.99 0.99 2/65 12667
/proc/meminfo: memFree=1945152/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=4180 CPUtime=3.09
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 660 0 0 0 309 0 0 0 25 0 1 0 311840694 4280320 642 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 1045 642 102 219 0 822 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4180

[startup+6.30263 s]
/proc/loadavg: 0.94 0.99 0.99 2/65 12667
/proc/meminfo: memFree=1944000/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=4180 CPUtime=6.29
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 812 0 0 0 628 1 0 0 25 0 1 0 311840694 4280320 794 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 1045 794 102 219 0 822 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 4180

[startup+12.7017 s]
/proc/loadavg: 0.95 0.99 0.99 2/65 12667
/proc/meminfo: memFree=1943304/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=6492 CPUtime=12.69
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 1078 0 0 0 1268 1 0 0 25 0 1 0 311840694 6647808 1060 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 1623 1060 102 219 0 1400 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6492

[startup+25.5019 s]
/proc/loadavg: 0.96 0.99 0.99 2/65 12667
/proc/meminfo: memFree=1943432/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=6492 CPUtime=25.48
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 1106 0 0 0 2547 1 0 0 25 0 1 0 311840694 6647808 1088 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545637 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 1623 1088 102 219 0 1400 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 6492

[startup+51.1013 s]
/proc/loadavg: 0.97 0.99 0.99 2/65 12667
/proc/meminfo: memFree=1943176/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=6620 CPUtime=51.07
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 1188 0 0 0 5106 1 0 0 25 0 1 0 311840694 6778880 1170 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 1655 1170 102 219 0 1432 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 6620

[startup+102.305 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 12667
/proc/meminfo: memFree=1942728/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=6620 CPUtime=102.26
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 1311 0 0 0 10225 1 0 0 25 0 1 0 311840694 6778880 1293 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557396 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 1655 1293 102 219 0 1432 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 6620

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 12667
/proc/meminfo: memFree=1941448/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=10912 CPUtime=162.24
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 1630 0 0 0 16222 2 0 0 25 0 1 0 311840694 11173888 1612 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545309 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 2728 1612 102 219 0 2505 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 10912

[startup+222.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 12667
/proc/meminfo: memFree=1939336/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=12688 CPUtime=222.22
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 2292 0 0 0 22213 9 0 0 25 0 1 0 311840694 12992512 2128 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545632 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 3172 2128 102 219 0 2949 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 12688

[startup+282.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 12667
/proc/meminfo: memFree=1935368/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=14380 CPUtime=282.2
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 3493 0 0 0 28203 17 0 0 25 0 1 0 311840694 14725120 3136 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 3595 3136 102 219 0 3372 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 14380

[startup+342.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 12667
/proc/meminfo: memFree=1931528/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=23460 CPUtime=342.18
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 4439 0 0 0 34193 25 0 0 25 0 1 0 311840694 24023040 4082 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 5865 4082 102 219 0 5642 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 23460

[startup+402.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 12667
/proc/meminfo: memFree=1929416/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=25616 CPUtime=402.16
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 5344 0 0 0 40185 31 0 0 25 0 1 0 311840694 26230784 4602 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 6404 4602 102 219 0 6181 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 25616

[startup+462.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 12667
/proc/meminfo: memFree=1928456/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=26176 CPUtime=462.14
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 5577 0 0 0 46177 37 0 0 25 0 1 0 311840694 26804224 4835 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 6544 4835 102 219 0 6321 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 26176

[startup+522.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 12667
/proc/meminfo: memFree=1927624/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=26772 CPUtime=522.12
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 5787 0 0 0 52170 42 0 0 25 0 1 0 311840694 27414528 5045 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 6693 5045 102 219 0 6470 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 26772

[startup+582.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 12667
/proc/meminfo: memFree=1926920/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=27184 CPUtime=582.1
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 5968 0 0 0 58164 46 0 0 25 0 1 0 311840694 27836416 5226 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 6796 5226 102 219 0 6573 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 27184

[startup+642.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 12667
/proc/meminfo: memFree=1925960/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=27608 CPUtime=642.09
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 6203 0 0 0 64158 51 0 0 25 0 1 0 311840694 28270592 5461 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 6902 5461 102 219 0 6679 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 27608


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/71 12845
/proc/meminfo: memFree=1911888/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=49268 CPUtime=881.91
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 9991 0 0 0 88121 70 0 0 25 0 1 0 311840694 50450432 8480 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 12317 8480 102 219 0 12094 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 49268

[startup+942.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 12865
/proc/meminfo: memFree=1912456/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=49628 CPUtime=941.87
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 10134 0 0 0 94111 76 0 0 25 0 1 0 311840694 50819072 8623 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 12407 8623 102 219 0 12184 0
Current children cumulated CPU time (s) 941.87
Current children cumulated vsize (KiB) 49628

[startup+1002.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 12865
/proc/meminfo: memFree=1911816/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=49992 CPUtime=1001.85
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 10314 0 0 0 100101 84 0 0 25 0 1 0 311840694 51191808 8803 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 12498 8803 102 219 0 12275 0
Current children cumulated CPU time (s) 1001.85
Current children cumulated vsize (KiB) 49992

[startup+1062.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 12865
/proc/meminfo: memFree=1910984/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=50524 CPUtime=1061.84
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 10502 0 0 0 106094 90 0 0 25 0 1 0 311840694 51736576 8991 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545681 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 12631 8991 102 219 0 12408 0
Current children cumulated CPU time (s) 1061.84
Current children cumulated vsize (KiB) 50524

[startup+1122.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 12865
/proc/meminfo: memFree=1910280/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=51068 CPUtime=1121.81
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 10697 0 0 0 112085 96 0 0 25 0 1 0 311840694 52293632 9186 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545620 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 12767 9186 102 219 0 12544 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 51068

[startup+1182.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 12865
/proc/meminfo: memFree=1909640/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=51340 CPUtime=1181.8
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 10869 0 0 0 118076 104 0 0 25 0 1 0 311840694 52572160 9358 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545615 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 12835 9358 102 219 0 12612 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 51340

[startup+1242.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 12865
/proc/meminfo: memFree=1908808/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=51932 CPUtime=1241.77
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 11053 0 0 0 124068 109 0 0 25 0 1 0 311840694 53178368 9542 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 12983 9542 102 219 0 12760 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 51932

[startup+1302.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 12865
/proc/meminfo: memFree=1908104/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=52240 CPUtime=1301.76
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 11216 0 0 0 130062 114 0 0 25 0 1 0 311840694 53493760 9705 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 13060 9705 102 219 0 12837 0
Current children cumulated CPU time (s) 1301.76
Current children cumulated vsize (KiB) 52240

[startup+1362.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 12865
/proc/meminfo: memFree=1907208/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=59364 CPUtime=1361.73
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 12979 0 0 0 136053 120 0 0 25 0 1 0 311840694 60788736 9931 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 14841 9931 102 219 0 14618 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 59364

[startup+1422.31 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 12865
/proc/meminfo: memFree=1906632/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=59364 CPUtime=1421.72
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 13115 0 0 0 142046 126 0 0 25 0 1 0 311840694 60788736 10067 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 14841 10067 102 219 0 14618 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 59364

[startup+1482.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 12865
/proc/meminfo: memFree=1905992/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=59732 CPUtime=1481.69
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 13271 0 0 0 148039 130 0 0 25 0 1 0 311840694 61165568 10223 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557382 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 14933 10223 102 219 0 14710 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 59732

[startup+1542.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 12865
/proc/meminfo: memFree=1905416/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=60276 CPUtime=1541.68
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 13425 0 0 0 154031 137 0 0 25 0 1 0 311840694 61722624 10377 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 15069 10377 102 219 0 14846 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 60276

[startup+1602.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 12865
/proc/meminfo: memFree=1904648/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=60828 CPUtime=1601.66
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 13612 0 0 0 160023 143 0 0 25 0 1 0 311840694 62287872 10564 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 15207 10564 102 219 0 14984 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 60828

[startup+1662.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 12865
/proc/meminfo: memFree=1903880/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=61272 CPUtime=1661.64
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 13801 0 0 0 166014 150 0 0 25 0 1 0 311840694 62742528 10753 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 15318 10753 102 219 0 15095 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 61272

[startup+1722.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 12865
/proc/meminfo: memFree=1903304/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=61272 CPUtime=1721.61
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 13950 0 0 0 172004 157 0 0 25 0 1 0 311840694 62742528 10902 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 15318 10902 102 219 0 15095 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 61272

[startup+1782.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 12865
/proc/meminfo: memFree=1902408/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=61896 CPUtime=1781.59
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 14144 0 0 0 177996 163 0 0 25 0 1 0 311840694 63381504 11096 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545675 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 15474 11096 102 219 0 15251 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 61896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 12865
/proc/meminfo: memFree=1902216/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=61896 CPUtime=1800
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 14185 0 0 0 179834 166 0 0 25 0 1 0 311840694 63381504 11137 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546182 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 15474 11137 102 219 0 15251 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 61896

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

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

[startup+1800.7 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 12865
/proc/meminfo: memFree=1902216/2055920 swapFree=4183088/4192956
[pid=12666] ppid=12664 vsize=61896 CPUtime=1800
/proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 14185 0 0 0 179834 166 0 0 25 0 1 0 311840694 63381504 11137 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546182 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12666/statm: 15474 11137 102 219 0 15251 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 61896

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.02
CPU user time (s): 1798.35
CPU system time (s): 1.67174
CPU usage (%): 99.9612
Max. virtual memory (cumulated for all children) (KiB): 65020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.35
system time used= 1.67175
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14188
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= 8
involuntary context switches= 3471

runsolver used 1.37979 second user time and 3.59845 second system time

The end

Launcher Data (download as text)

Begin job on node25 on Tue May  8 15:47:16 UTC 2007

IDJOB= 458650
IDBENCH= 1772
IDSOLVER= 200
FILE ID= node25/458650-1178639236

PBS_JOBID= 5218336

Free space on /tmp= 66562 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-glass4.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458650-1178639236/instance-458650-1178639236.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node25/convwatcher-458650-1178639236 -o ROOT/results/node25/conversion-458650-1178639236 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458650-1178639236/instance-458650-1178639236.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-458650-1178639236 -o ROOT/results/node25/solver-458650-1178639236 -C 1800 -W 3600 -M 1800 --output-limit 1,15  PBS4_SAT07v2 /tmp/evaluation/458650-1178639236/instance-458650-1178639236.opb

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  d0857e859d7ae9b7cd0d343674d5c1ad

RANDOM SEED= 286538063

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node25.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.261
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.261
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:       1947360 kB
Buffers:          1028 kB
Cached:          19852 kB
SwapCached:       3804 kB
Active:          22028 kB
Inactive:         8392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1947360 kB
SwapTotal:     4192956 kB
SwapFree:      4183088 kB
Dirty:            2520 kB
Writeback:           0 kB
Mapped:          15676 kB
Slab:            64172 kB
Committed_AS:  8380752 kB
PageTables:       1472 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= 66562 MiB

End job on node25 on Tue May  8 16:17:19 UTC 2007