Trace number 40103

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 2006/05OPT22199 562.013 562.205

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-cracpb1.opb
MD5SUM75f6d21683e6eb738b98c93cf5598ff3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark22199
Best CPU time to get the best result obtained on this benchmark1.24581
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 22199
Optimality of the best value was proved YES
Number of variables572
Total number of constraints126
Number of constraints which are clauses3
Number of constraints which are cardinality constraints (but not clauses)54
Number of constraints which are nor clauses,nor cardinality constraints69
Minimum length of a constraint4
Maximum length of a constraint518
Number of terms in the objective function 572
Biggest coefficient in the objective function 5000
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 547769
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 5000
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 547769
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	c Time Limit set via PBTIMEOUT to 1800
0.01	c INFO: OSL Context initialized.
0.04	c Initial problem consists of 572 variables and 215 constraints.
0.04	c Switching on LPR.
0.04	c No problem reductions applied in OPT. instance.
0.04	c	preprocess terminated. Elapsed time: 0.032
0.04	c After prepocess the problem consists of 572 variables and 215 constraints.
0.09	c Initial Lower Bound: 22199
0.62	o 26821
0.62	c NEW SOLUTION FOUND: 26821 @ 0.614
3.02	c Restart #1 #Var: 572 LB: 22199 @ 3.007
3.75	o 26766
3.75	c NEW SOLUTION FOUND: 26766 @ 3.739
8.08	c Restart #2 #Var: 572 LB: 22199 @ 8.066
8.77	o 26705
8.77	c NEW SOLUTION FOUND: 26705 @ 8.76
14.89	c Restart #3 #Var: 572 LB: 22199 @ 14.869
30.67	c Restart #4 #Var: 572 LB: 22199 @ 30.646
43.14	c Restart #5 #Var: 572 LB: 22199 @ 43.114
43.72	o 26015
43.72	c NEW SOLUTION FOUND: 26015 @ 43.697
58.17	c Restart #6 #Var: 572 LB: 22199 @ 58.138
75.10	c Restart #7 #Var: 572 LB: 22199 @ 75.061
99.99	c Restart #8 #Var: 572 LB: 22199 @ 99.945
122.97	c Restart #9 #Var: 572 LB: 22199 @ 122.92
143.89	c Restart #10 #Var: 572 LB: 22199 @ 143.83
172.92	c Restart #11 #Var: 572 LB: 22199 @ 172.85
201.04	c Restart #12 #Var: 572 LB: 22199 @ 200.97
230.98	c Restart #13 #Var: 572 LB: 22199 @ 230.9
262.89	c Restart #14 #Var: 572 LB: 22199 @ 262.8
295.33	c Restart #15 #Var: 572 LB: 22199 @ 295.23
339.50	c Restart #16 #Var: 572 LB: 22199 @ 339.38
374.42	c Restart #17 #Var: 572 LB: 22199 @ 374.29
419.25	c Restart #18 #Var: 572 LB: 22199 @ 419.11
460.78	c Restart #19 #Var: 572 LB: 22199 @ 460.62
506.42	c Restart #20 #Var: 572 LB: 22199 @ 506.25
560.86	c Restart #21 #Var: 571 LB: 22199 @ 560.67
561.52	o 22199
561.52	c NEW SOLUTION FOUND: 22199 @ 561.33
562.20	s OPTIMUM FOUND
562.20	c Cost: 22199
562.20	v -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 x76 -x77 x78 -x79 x80 -x81
562.20	v -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 x105 -x106
562.20	v -x107 x108 -x109 -x110 -x111 -x112 x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127
562.20	v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148
562.20	v -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169
562.20	v -x170 x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190
562.20	v -x191 x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211
562.20	v -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232
562.20	v -x233 -x234 -x235 -x236 x237 -x238 x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253
562.20	v -x254 x255 -x256 x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 -x274
562.20	v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 -x295
562.20	v x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 -x316
562.20	v -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337
562.20	v -x338 x339 x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358
562.20	v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379
562.20	v -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
562.20	v -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 -x421
562.20	v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442
562.20	v -x443 x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463
562.20	v -x464 -x465 -x466 -x467 -x468 x469 x470 -x471 x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484
562.20	v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505
562.20	v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526
562.20	v -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547
562.20	v -x548 -x549 -x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568
562.20	v -x569 -x570 -x571 -x572 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23
562.20	v -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49
562.20	v -x50 -x51 -x52 -x53 -x54
562.20	c Exit Code: 30
562.20	c Total time: 562.01 s

Verifier Data (download as text)

OK	22199

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/node13/watcher-40103-1149367883 -o ROOT/results/node13/solver-40103-1149367883 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node13/40103-1149367883/instance-40103-1149367883.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1861904/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=4932 CPUtime=0
/proc/30765/stat : 30765 (bsolo) D 30763 30765 30719 0 -1 0 366 0 0 0 0 0 0 0 19 0 1 0 202450887 5050368 330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 1 0 0
/proc/30765/statm: 1233 330 226 55 0 125 0

[startup+10.0025 s]
/proc/loadavg: 0.93 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1859480/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=6604 CPUtime=9.98
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 22563 0 0 0 990 8 0 0 25 0 1 0 202450887 6762496 983 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520352 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 1651 983 434 55 0 543 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 6604

[startup+20.0089 s]
/proc/loadavg: 0.94 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1859424/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=7032 CPUtime=19.98
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 44026 0 0 0 1978 20 0 0 25 0 1 0 202450887 7200768 1025 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12344957 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 1758 1025 434 55 0 650 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 7032

[startup+30.0152 s]
/proc/loadavg: 0.95 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1859360/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=6740 CPUtime=29.98
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 61650 0 0 0 2968 30 0 0 25 0 1 0 202450887 6901760 1017 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 1685 1017 434 55 0 577 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 6740

[startup+40.0215 s]
/proc/loadavg: 0.96 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1859424/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=7024 CPUtime=39.99
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 81446 0 0 0 3958 41 0 0 25 0 1 0 202450887 7192576 1050 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12344957 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 1756 1050 434 55 0 648 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 7024

[startup+50.0279 s]
/proc/loadavg: 0.96 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1859296/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=6836 CPUtime=49.99
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 102393 0 0 0 4948 51 0 0 25 0 1 0 202450887 7000064 1041 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 1709 1041 434 55 0 601 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 6836

[startup+60.0342 s]
/proc/loadavg: 0.97 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1859104/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=7012 CPUtime=59.99
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 124178 0 0 0 5936 63 0 0 25 0 1 0 202450887 7180288 1085 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 1753 1085 434 55 0 645 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 7012

[startup+70.0406 s]
/proc/loadavg: 0.97 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1859104/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=7416 CPUtime=70
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 143722 0 0 0 6924 76 0 0 25 0 1 0 202450887 7593984 1118 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160353597 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 1854 1118 436 55 0 746 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 7416

[startup+80.0469 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1858976/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=7188 CPUtime=80
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 161270 0 0 0 7913 87 0 0 25 0 1 0 202450887 7360512 1129 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 1797 1129 436 55 0 689 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 7188

[startup+90.0533 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1858976/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=7180 CPUtime=90
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 178801 0 0 0 8903 97 0 0 25 0 1 0 202450887 7352320 1129 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12312084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 1795 1129 436 55 0 687 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 7180

[startup+100.06 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1858848/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=7740 CPUtime=100
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 201803 0 0 0 9891 109 0 0 25 0 1 0 202450887 7925760 1216 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159172474 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 1935 1216 443 55 0 827 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 7740

[startup+110.066 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1858720/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=7764 CPUtime=110.01
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 227687 0 0 0 10878 123 0 0 25 0 1 0 202450887 7950336 1226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12344957 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 1941 1226 443 55 0 833 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 7764

[startup+120.072 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1858720/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=7848 CPUtime=120.02
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 247078 0 0 0 11870 132 0 0 25 0 1 0 202450887 8036352 1238 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159477374 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 1962 1238 443 55 0 854 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 7848

[startup+130.079 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1858528/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=7660 CPUtime=130.02
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 252634 0 0 0 12865 137 0 0 25 0 1 0 202450887 7843840 1256 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 1915 1256 443 55 0 807 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 7660

[startup+140.085 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1858528/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=8000 CPUtime=140.02
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 270281 0 0 0 13855 147 0 0 25 0 1 0 202450887 8192000 1275 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160461541 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 2000 1275 443 55 0 892 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 8000

[startup+150.091 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1858336/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=7920 CPUtime=150.02
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 282993 0 0 0 14848 154 0 0 25 0 1 0 202450887 8110080 1293 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159216539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 1980 1293 443 55 0 872 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 7920

[startup+160.098 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1858336/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=7936 CPUtime=160.02
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 292744 0 0 0 15842 160 0 0 25 0 1 0 202450887 8126464 1297 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159263607 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 1984 1297 443 55 0 876 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 7936

[startup+170.104 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1858336/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=7788 CPUtime=170.03
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 310753 0 0 0 16832 171 0 0 25 0 1 0 202450887 7974912 1288 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160210777 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 1947 1288 443 55 0 839 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 7788

[startup+180.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1858336/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=7852 CPUtime=180.03
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 325674 0 0 0 17824 179 0 0 25 0 1 0 202450887 8040448 1304 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 1963 1304 443 55 0 855 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 7852

[startup+190.117 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1858336/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=7988 CPUtime=190.04
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 338338 0 0 0 18816 188 0 0 25 0 1 0 202450887 8179712 1307 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160241559 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 1997 1307 443 55 0 889 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 7988

[startup+200.123 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1858208/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=8004 CPUtime=200.04
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 358830 0 0 0 19804 200 0 0 25 0 1 0 202450887 8196096 1342 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520355 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 2001 1342 443 55 0 893 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 8004

[startup+210.129 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1858144/2055920 swapFree=4181416/4192956

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

/proc/30765/statm: 2393 1677 443 55 0 1285 0
Current children cumulated CPU time (s) 350.09
Current children cumulated vsize (Kb) 9572

[startup+360.226 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1856736/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=9516 CPUtime=360.09
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 655557 0 0 0 35639 370 0 0 25 0 1 0 202450887 9744384 1720 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 2379 1720 443 55 0 1271 0
Current children cumulated CPU time (s) 360.09
Current children cumulated vsize (Kb) 9516

[startup+370.232 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1856672/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=9536 CPUtime=370.09
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 665898 0 0 0 36632 377 0 0 25 0 1 0 202450887 9764864 1725 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536030 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 2384 1725 443 55 0 1276 0
Current children cumulated CPU time (s) 370.09
Current children cumulated vsize (Kb) 9536

[startup+380.238 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1856416/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=9708 CPUtime=380.1
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 677128 0 0 0 37624 386 0 0 25 0 1 0 202450887 9940992 1768 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548246 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 2427 1768 443 55 0 1319 0
Current children cumulated CPU time (s) 380.1
Current children cumulated vsize (Kb) 9708

[startup+390.245 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1856416/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=9708 CPUtime=390.1
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 680149 0 0 0 38621 389 0 0 25 0 1 0 202450887 9940992 1768 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12308549 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 2427 1768 443 55 0 1319 0
Current children cumulated CPU time (s) 390.1
Current children cumulated vsize (Kb) 9708

[startup+400.251 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1856416/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=9916 CPUtime=400.11
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 683189 0 0 0 39617 394 0 0 25 0 1 0 202450887 10153984 1770 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160346439 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 2479 1770 443 55 0 1371 0
Current children cumulated CPU time (s) 400.11
Current children cumulated vsize (Kb) 9916

[startup+410.257 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1856416/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=9916 CPUtime=410.1
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 686319 0 0 0 40612 398 0 0 25 0 1 0 202450887 10153984 1770 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159249513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 2479 1770 443 55 0 1371 0
Current children cumulated CPU time (s) 410.1
Current children cumulated vsize (Kb) 9916

[startup+420.264 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1856416/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=9708 CPUtime=420.11
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 690715 0 0 0 41608 403 0 0 25 0 1 0 202450887 9940992 1768 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 2427 1768 443 55 0 1319 0
Current children cumulated CPU time (s) 420.11
Current children cumulated vsize (Kb) 9708

[startup+430.27 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1856416/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=9708 CPUtime=430.12
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 693830 0 0 0 42604 408 0 0 25 0 1 0 202450887 9940992 1768 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535950 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 2427 1768 443 55 0 1319 0
Current children cumulated CPU time (s) 430.12
Current children cumulated vsize (Kb) 9708

[startup+440.276 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1856416/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=9736 CPUtime=440.12
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 703524 0 0 0 43595 417 0 0 25 0 1 0 202450887 9969664 1775 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158355923 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 2434 1775 443 55 0 1326 0
Current children cumulated CPU time (s) 440.12
Current children cumulated vsize (Kb) 9736

[startup+450.283 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1856352/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=9928 CPUtime=450.13
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 715905 0 0 0 44587 426 0 0 25 0 1 0 202450887 10166272 1795 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160045726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 2482 1795 443 55 0 1374 0
Current children cumulated CPU time (s) 450.13
Current children cumulated vsize (Kb) 9928

[startup+460.288 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1856352/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=9804 CPUtime=460.12
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 734279 0 0 0 45577 435 0 0 25 0 1 0 202450887 10039296 1792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 2451 1792 443 55 0 1343 0
Current children cumulated CPU time (s) 460.12
Current children cumulated vsize (Kb) 9804

[startup+470.294 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1856288/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=10160 CPUtime=470.12
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 754177 0 0 0 46566 446 0 0 25 0 1 0 202450887 10403840 1817 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160426121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 2540 1817 443 55 0 1432 0
Current children cumulated CPU time (s) 470.12
Current children cumulated vsize (Kb) 10160

[startup+480.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1856224/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=9916 CPUtime=480.13
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 777369 0 0 0 47552 461 0 0 25 0 1 0 202450887 10153984 1820 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520370 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 2479 1820 443 55 0 1371 0
Current children cumulated CPU time (s) 480.13
Current children cumulated vsize (Kb) 9916

[startup+490.307 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1856160/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=10012 CPUtime=490.14
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 798076 0 0 0 48542 472 0 0 25 0 1 0 202450887 10252288 1844 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535987 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 2503 1844 443 55 0 1395 0
Current children cumulated CPU time (s) 490.14
Current children cumulated vsize (Kb) 10012

[startup+500.313 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1855968/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=10276 CPUtime=500.13
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 818542 0 0 0 49529 484 0 0 25 0 1 0 202450887 10522624 1882 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160278238 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 2569 1882 443 55 0 1461 0
Current children cumulated CPU time (s) 500.13
Current children cumulated vsize (Kb) 10276

[startup+510.321 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 30765
/proc/meminfo: memFree=1855904/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=10128 CPUtime=510.14
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 839143 0 0 0 50521 493 0 0 25 0 1 0 202450887 10371072 1873 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 2532 1873 443 55 0 1424 0
Current children cumulated CPU time (s) 510.14
Current children cumulated vsize (Kb) 10128

[startup+520.326 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1855904/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=10160 CPUtime=520.14
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 859198 0 0 0 51508 506 0 0 25 0 1 0 202450887 10403840 1879 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 2540 1879 443 55 0 1432 0
Current children cumulated CPU time (s) 520.14
Current children cumulated vsize (Kb) 10160

[startup+530.332 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1855904/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=10496 CPUtime=530.15
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 874420 0 0 0 52500 515 0 0 25 0 1 0 202450887 10747904 1906 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160276746 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 2624 1906 443 55 0 1516 0
Current children cumulated CPU time (s) 530.15
Current children cumulated vsize (Kb) 10496

[startup+540.339 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1855904/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=10184 CPUtime=540.14
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 891823 0 0 0 53488 526 0 0 25 0 1 0 202450887 10428416 1887 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 2546 1887 443 55 0 1438 0
Current children cumulated CPU time (s) 540.14
Current children cumulated vsize (Kb) 10184

[startup+550.345 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1855904/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=10520 CPUtime=550.15
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 910585 0 0 0 54480 535 0 0 25 0 1 0 202450887 10772480 1908 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343055 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 2630 1908 443 55 0 1522 0
Current children cumulated CPU time (s) 550.15
Current children cumulated vsize (Kb) 10520

[startup+560.351 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30765
/proc/meminfo: memFree=1855776/2055920 swapFree=4181416/4192956
[pid=30765] ppid=30763 vsize=10632 CPUtime=560.16
/proc/30765/stat : 30765 (bsolo) R 30763 30765 30719 0 -1 0 929801 0 0 0 55471 545 0 0 25 0 1 0 202450887 10887168 1933 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159242840 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30765/statm: 2658 1933 443 55 0 1550 0
Current children cumulated CPU time (s) 560.16
Current children cumulated vsize (Kb) 10632

Child status: 30
Real time (s): 562.205
CPU time (s): 562.013
CPU user time (s): 556.546
CPU system time (s): 5.46617
CPU usage (%): 99.9657
Max. virtual memory (cumulated for all children) (Kb): 10632

Launcher Data (download as text)

Begin job on node13 on Sat Jun  3 20:51:23 UTC 2006


FILE ID= 40103-1149367883

PBS_JOBID= 311948

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-cracpb1.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node13/40103-1149367883/instance-40103-1149367883.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node13/watcher-40103-1149367883 -o ROOT/results/node13/solver-40103-1149367883 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node13/40103-1149367883/instance-40103-1149367883.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  75f6d21683e6eb738b98c93cf5598ff3

RANDOM SEED= 770002346


/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:       1862184 kB
Buffers:         14676 kB
Cached:         121944 kB
SwapCached:       2848 kB
Active:          43508 kB
Inactive:       101448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1862184 kB
SwapTotal:     4192956 kB
SwapFree:      4181416 kB
Dirty:             184 kB
Writeback:           0 kB
Mapped:          14664 kB
Slab:            34772 kB
Committed_AS:   381120 kB
PageTables:       1492 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node13 on Sat Jun  3 21:00:45 UTC 2006