Trace number 455402

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.4SAT-13 1782.73 1783.17

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_5.opb
MD5SUM0619afe86d0e2ffb4ad28e9f2f441c24
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-14
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 -14
Optimality of the best value was proved NO
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
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 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1212
Sum of products size (including duplicates)2424
Number of different products606
Sum of products size1212

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.01	c Pueblo version 1.4 (September 2005)
0.00/0.01	c Developed @ University of Michigan, Ann Arbor, MI
0.00/0.01	c  by Hossein Sheini
0.00/0.03	c starting to Solve
0.00/0.03	c #variables read: 706 - #constraints read: 1365
0.00/0.03	o 0
0.00/0.03	o 1
0.00/0.03	o 2
0.00/0.03	o 3
0.00/0.03	o 4
0.00/0.03	o 5
0.00/0.03	o 6
0.00/0.03	o 7
0.00/0.03	o 8
0.00/0.03	o 9
0.00/0.04	o 10
0.09/0.10	o 11
1.48/1.54	o 12
27.48/27.57	o 13
1782.67/1783.16	c total time              : 1783 s
1782.67/1783.16	s SATISFIABLE
1782.67/1783.16	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29
1782.67/1783.16	v -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 x38 -x39 x40 x41 -x42 -x43 -x44 x45 x46 -x47 x48 x49 x50 -x101 -x102 -x103 -x104 -x105 -x106
1782.67/1783.16	v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127
1782.67/1783.16	v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148
1782.67/1783.16	v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169
1782.67/1783.16	v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190
1782.67/1783.16	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211
1782.67/1783.16	v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232
1782.67/1783.16	v -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253
1782.67/1783.16	v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274
1782.67/1783.16	v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295
1782.67/1783.16	v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316
1782.67/1783.16	v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337
1782.67/1783.16	v -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358
1782.67/1783.16	v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379
1782.67/1783.16	v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
1782.67/1783.16	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421
1782.67/1783.16	v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442
1782.67/1783.16	v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463
1782.67/1783.16	v -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484
1782.67/1783.16	v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505
1782.67/1783.16	v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526
1782.67/1783.16	v -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547
1782.67/1783.16	v -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568
1782.67/1783.16	v -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589
1782.67/1783.16	v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610
1782.67/1783.16	v -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631
1782.67/1783.16	v -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652
1782.67/1783.16	v -x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673
1782.67/1783.16	v -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694
1782.67/1783.16	v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x51 -x52 x53 -x54 x55 -x56 -x57 -x58 x59 -x60 x61 -x62
1782.67/1783.16	v -x63 x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 x73 x74 -x75 x76 -x77 x78 x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90
1782.67/1783.16	v -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100

Verifier Data (download as text)

OK	-13

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/455402-1178042741/instance-455402-1178042741.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node41/watcher-455402-1178042741 -o ROOT/results/node41/solver-455402-1178042741 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/455402-1178042741/instance-455402-1178042741.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 1.12 1.10 3/77 2470
/proc/meminfo: memFree=1714456/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=0 CPUtime=0
/proc/2470/stat : 2470 (runsolver) R 2468 2470 20852 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 252186013 0 0 18446744073709551615 0 0 0 18446744073709551615 238390144295 0 0 4096 24578 0 0 0 17 1 0 0
/proc/2470/statm: 0 0 0 0 0 0 0

[startup+0.055303 s]
/proc/loadavg: 0.91 1.12 1.10 3/77 2470
/proc/meminfo: memFree=1714456/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=3088 CPUtime=0.04
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 399 0 0 0 4 0 0 0 18 0 1 0 252186013 3162112 370 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 772 370 205 16 0 211 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3088

[startup+0.101306 s]
/proc/loadavg: 0.91 1.12 1.10 3/77 2470
/proc/meminfo: memFree=1714456/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=3088 CPUtime=0.09
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 416 0 0 0 9 0 0 0 18 0 1 0 252186013 3162112 387 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 772 387 205 16 0 211 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3088

[startup+0.301324 s]
/proc/loadavg: 0.91 1.12 1.10 3/77 2470
/proc/meminfo: memFree=1714456/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=3352 CPUtime=0.29
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 468 0 0 0 29 0 0 0 19 0 1 0 252186013 3432448 439 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 838 439 205 16 0 277 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3352

[startup+0.701359 s]
/proc/loadavg: 0.91 1.12 1.10 3/77 2470
/proc/meminfo: memFree=1714456/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=3484 CPUtime=0.69
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 524 0 0 0 69 0 0 0 22 0 1 0 252186013 3567616 495 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 871 495 205 16 0 310 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3484

[startup+1.50243 s]
/proc/loadavg: 0.91 1.12 1.10 2/78 2471
/proc/meminfo: memFree=1712976/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=3744 CPUtime=1.48
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 577 0 0 0 148 0 0 0 25 0 1 0 252186013 3833856 548 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 936 548 205 16 0 375 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 3744

[startup+3.10157 s]
/proc/loadavg: 0.91 1.12 1.10 2/78 2471
/proc/meminfo: memFree=1712720/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=3992 CPUtime=3.09
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 644 0 0 0 308 1 0 0 25 0 1 0 252186013 4087808 615 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 998 615 205 16 0 437 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3992

[startup+6.30185 s]
/proc/loadavg: 0.92 1.12 1.09 2/78 2471
/proc/meminfo: memFree=1712408/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=4248 CPUtime=6.28
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 687 0 0 0 627 1 0 0 25 0 1 0 252186013 4349952 658 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 1062 658 205 16 0 501 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 4248

[startup+12.7014 s]
/proc/loadavg: 0.92 1.12 1.09 2/78 2471
/proc/meminfo: memFree=1712224/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=4460 CPUtime=12.68
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 755 0 0 0 1265 3 0 0 25 0 1 0 252186013 4567040 726 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 1115 726 205 16 0 554 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 4460

[startup+25.5015 s]
/proc/loadavg: 1.02 1.13 1.10 2/78 2471
/proc/meminfo: memFree=1712096/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=4592 CPUtime=25.48
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 790 0 0 0 2541 7 0 0 25 0 1 0 252186013 4702208 761 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 1148 761 205 16 0 587 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 4592

[startup+51.1017 s]
/proc/loadavg: 1.01 1.12 1.09 2/78 2471
/proc/meminfo: memFree=1711968/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=4820 CPUtime=51.07
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 857 0 0 0 5092 15 0 0 25 0 1 0 252186013 4935680 828 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 1205 828 205 16 0 644 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 4820

[startup+102.305 s]
/proc/loadavg: 1.00 1.10 1.09 2/78 2471
/proc/meminfo: memFree=1711520/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=5252 CPUtime=102.26
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 950 0 0 0 10198 28 0 0 25 0 1 0 252186013 5378048 921 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 1313 921 205 16 0 752 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 5252

[startup+162.301 s]
/proc/loadavg: 1.00 1.08 1.08 2/78 2471
/proc/meminfo: memFree=1711328/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=5468 CPUtime=162.25
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 996 0 0 0 16180 45 0 0 25 0 1 0 252186013 5599232 967 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 1367 967 205 16 0 806 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 5468

[startup+222.302 s]
/proc/loadavg: 1.00 1.06 1.07 2/78 2471
/proc/meminfo: memFree=1711072/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=5692 CPUtime=222.23
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1063 0 0 0 22164 59 0 0 25 0 1 0 252186013 5828608 1034 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 1423 1034 205 16 0 862 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 5692

[startup+282.302 s]
/proc/loadavg: 1.00 1.05 1.07 2/78 2471
/proc/meminfo: memFree=1710944/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=5836 CPUtime=282.22
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1100 0 0 0 28151 71 0 0 25 0 1 0 252186013 5976064 1071 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 1459 1071 205 16 0 898 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 5836

[startup+342.302 s]
/proc/loadavg: 1.00 1.04 1.06 2/78 2471
/proc/meminfo: memFree=1710816/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=5968 CPUtime=342.21
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1132 0 0 0 34139 82 0 0 25 0 1 0 252186013 6111232 1103 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 1492 1103 205 16 0 931 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 5968

[startup+402.301 s]
/proc/loadavg: 1.00 1.03 1.06 2/78 2471
/proc/meminfo: memFree=1710688/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=6096 CPUtime=402.19
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1167 0 0 0 40125 94 0 0 25 0 1 0 252186013 6242304 1138 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 1524 1138 205 16 0 963 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 6096

[startup+462.301 s]
/proc/loadavg: 1.00 1.02 1.05 2/78 2471
/proc/meminfo: memFree=1710688/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=6212 CPUtime=462.18
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1195 0 0 0 46111 107 0 0 25 0 1 0 252186013 6361088 1166 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 1553 1166 205 16 0 992 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 6212

[startup+522.302 s]
/proc/loadavg: 1.00 1.01 1.04 2/78 2471
/proc/meminfo: memFree=1710624/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=6316 CPUtime=522.16
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1207 0 0 0 52096 120 0 0 25 0 1 0 252186013 6467584 1178 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 1579 1178 205 16 0 1018 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 6316

[startup+582.302 s]
/proc/loadavg: 1.00 1.01 1.04 2/78 2471
/proc/meminfo: memFree=1710560/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=6316 CPUtime=582.14
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1225 0 0 0 58084 130 0 0 25 0 1 0 252186013 6467584 1196 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 1579 1196 205 16 0 1018 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 6316

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.03 2/78 2471
/proc/meminfo: memFree=1710560/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=6316 CPUtime=642.14
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1225 0 0 0 64072 142 0 0 25 0 1 0 252186013 6467584 1196 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 1579 1196 205 16 0 1018 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 6316


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

/proc/meminfo: memFree=1710240/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=6684 CPUtime=822.09
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1299 0 0 0 82029 180 0 0 25 0 1 0 252186013 6844416 1270 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 1671 1270 205 16 0 1110 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 6684

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.01 2/78 2471
/proc/meminfo: memFree=1710240/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=6684 CPUtime=882.07
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1301 0 0 0 88018 189 0 0 25 0 1 0 252186013 6844416 1272 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 1671 1272 205 16 0 1110 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 6684

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2471
/proc/meminfo: memFree=1710176/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=6684 CPUtime=942.06
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1321 0 0 0 94008 198 0 0 25 0 1 0 252186013 6844416 1292 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 1671 1292 205 16 0 1110 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 6684

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2471
/proc/meminfo: memFree=1710176/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=6684 CPUtime=1002.04
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1321 0 0 0 99995 209 0 0 25 0 1 0 252186013 6844416 1292 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 1671 1292 205 16 0 1110 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 6684

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2471
/proc/meminfo: memFree=1709984/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=6960 CPUtime=1062.04
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1363 0 0 0 105986 218 0 0 25 0 1 0 252186013 7127040 1334 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 1740 1334 205 16 0 1179 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 6960

[startup+1122.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 2471
/proc/meminfo: memFree=1709984/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=6960 CPUtime=1122.01
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1374 0 0 0 111972 229 0 0 25 0 1 0 252186013 7127040 1345 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 1740 1345 205 16 0 1179 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 6960

[startup+1182.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 2471
/proc/meminfo: memFree=1709984/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=6960 CPUtime=1182.01
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1378 0 0 0 117961 240 0 0 25 0 1 0 252186013 7127040 1349 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527436 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 1740 1349 205 16 0 1179 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 6960

[startup+1242.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 2471
/proc/meminfo: memFree=1709984/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=6960 CPUtime=1241.99
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1378 0 0 0 123947 252 0 0 25 0 1 0 252186013 7127040 1349 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134556334 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 1740 1349 205 16 0 1179 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 6960

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2471
/proc/meminfo: memFree=1709984/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=6960 CPUtime=1301.98
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1378 0 0 0 129933 265 0 0 25 0 1 0 252186013 7127040 1349 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 1740 1349 205 16 0 1179 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 6960

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 2471
/proc/meminfo: memFree=1709856/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=7092 CPUtime=1361.96
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1395 0 0 0 135920 276 0 0 25 0 1 0 252186013 7262208 1366 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 1773 1366 205 16 0 1212 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 7092

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2471
/proc/meminfo: memFree=1709856/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=7092 CPUtime=1421.95
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1395 0 0 0 141907 288 0 0 25 0 1 0 252186013 7262208 1366 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 1773 1366 205 16 0 1212 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 7092

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2471
/proc/meminfo: memFree=1709792/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=7092 CPUtime=1481.94
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1419 0 0 0 147895 299 0 0 25 0 1 0 252186013 7262208 1390 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528063 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 1773 1390 205 16 0 1212 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 7092

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2471
/proc/meminfo: memFree=1709792/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=7212 CPUtime=1541.92
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1426 0 0 0 153881 311 0 0 25 0 1 0 252186013 7385088 1397 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 1803 1397 205 16 0 1242 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 7212

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2471
/proc/meminfo: memFree=1709600/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=7324 CPUtime=1601.9
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1459 0 0 0 159870 320 0 0 25 0 1 0 252186013 7499776 1430 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520169 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 1831 1430 205 16 0 1270 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 7324

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2471
/proc/meminfo: memFree=1709600/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=7324 CPUtime=1661.88
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1464 0 0 0 165856 332 0 0 25 0 1 0 252186013 7499776 1435 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 1831 1435 205 16 0 1270 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 7324

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2471
/proc/meminfo: memFree=1709600/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=7324 CPUtime=1721.88
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1474 0 0 0 171844 344 0 0 25 0 1 0 252186013 7499776 1445 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 1831 1445 205 16 0 1270 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 7324

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2471
/proc/meminfo: memFree=1709536/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=7324 CPUtime=1781.86
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1480 0 0 0 177831 355 0 0 25 0 1 0 252186013 7499776 1451 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 1831 1451 205 16 0 1270 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 7324

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

[startup+1782.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2471
/proc/meminfo: memFree=1709536/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=7324 CPUtime=1782.26
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1480 0 0 0 177871 355 0 0 25 0 1 0 252186013 7499776 1451 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 1831 1451 205 16 0 1270 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 7324

[startup+1783.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2471
/proc/meminfo: memFree=1709536/2055920 swapFree=4169228/4192956
[pid=2470] ppid=2468 vsize=7324 CPUtime=1782.67
/proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1480 0 0 0 177912 355 0 0 25 0 1 0 252186013 7499776 1451 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2470/statm: 1831 1451 205 16 0 1270 0
Current children cumulated CPU time (s) 1782.67
Current children cumulated vsize (KiB) 7324

Child status: 10
Real time (s): 1783.17
CPU time (s): 1782.73
CPU user time (s): 1779.18
CPU system time (s): 3.55546
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 7336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1779.18
system time used= 3.55546
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1487
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 2264

runsolver used 1.43278 second user time and 3.89541 second system time

The end

Launcher Data (download as text)

Begin job on node41 on Tue May  1 18:05:41 UTC 2007

IDJOB= 455402
IDBENCH= 48261
IDSOLVER= 165
FILE ID= node41/455402-1178042741

PBS_JOBID= 4728441

Free space on /tmp= 66562 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_5.opb
COMMAND LINE= Pueblo /tmp/evaluation/455402-1178042741/instance-455402-1178042741.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node41/convwatcher-455402-1178042741 -o ROOT/results/node41/conversion-455402-1178042741 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/455402-1178042741/instance-455402-1178042741.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node41/watcher-455402-1178042741 -o ROOT/results/node41/solver-455402-1178042741 -C 1800 -W 3600 -M 1800 --output-limit 1,15  Pueblo /tmp/evaluation/455402-1178042741/instance-455402-1178042741.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  0619afe86d0e2ffb4ad28e9f2f441c24

RANDOM SEED= 485067741

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node41.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.232
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.232
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:       1714928 kB
Buffers:        130636 kB
Cached:         110096 kB
SwapCached:       2572 kB
Active:         196420 kB
Inactive:        76944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1714928 kB
SwapTotal:     4192956 kB
SwapFree:      4169228 kB
Dirty:            2464 kB
Writeback:           0 kB
Mapped:          37508 kB
Slab:            52948 kB
Committed_AS:  7489724 kB
PageTables:       2028 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 node41 on Tue May  1 18:35:25 UTC 2007