Trace number 432907

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17OPT64 586.053 586.349

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb
MD5SUM135acf1f05855c365b3d13b378debe22
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark64
Best CPU time to get the best result obtained on this benchmark0.358945
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 64
Optimality of the best value was proved YES
Number of variables648
Total number of constraints1952
Number of constraints which are clauses1928
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint27
Number of terms in the objective function 648
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 648
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 648
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/432907-1177952165/instance-432907-1177952165.opb
0.00/0.00	c File size is 70110 bytes.
0.00/0.01	c Highest Coefficient sum: 648
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.013 s
0.00/0.01	c Var: 648 Constr: 1952 1928/24/0 Lit: 6438 Watch. Lit: 4456
0.00/0.01	c Obj. Vars: 648 (100 % of total variables)
0.00/0.02	c Pre-processing Time: 0.023 s
0.06/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.09	c        0    540     1736     6006    3     4024    5754      0      0 0.02
0.06/0.09	c Initial Lower Bound: 61
0.06/0.09	c Initial Path Cost: 16
109.36/109.48	c      101    539     1837     7110    3     4225    6330    101   1020 0.10
109.36/109.48	c      252    539     1988    10321    5     4527    6964    252   2311 0.11
109.36/109.48	c      477    539     2213    13971    6     4977    7661    477   3846 0.12
109.36/109.48	c      816    539     2552    17882    7     5655    8428    816   5828 0.14
109.36/109.48	c     1327    539     3063    25497    8     6677    9271   1327   7626 0.17
109.36/109.48	c     2090    539     3826    37951    9     8203   10199   2090   8931 0.23
109.36/109.48	c     3237    539     4973    57817   11    10497   11219   3237   9492 0.34
109.36/109.48	c     4959    539     6695    90939   13    13941   12341   4959   8506 0.58
109.36/109.48	c     7544    539     9280   150122   16    19111   13576   7544   7439 1.01
109.36/109.48	c    11423    539    13159   275585   20    26869   14934  11423   4813 2.37
109.36/109.48	c    17245    539    11351   273908   24    23253   16428   9615   3939 4.38
109.36/109.48	c    25983    539    11745   220735   18    24041   18071  10009   3607 7.20
109.36/109.48	c    39093    539    15668   300408   19    31887   19879  13932   2789 14.02
109.36/109.48	c    58763    539    15110   264911   17    30771   21867  13374   1812 32.42
109.36/109.48	c    88275    536    22417   577293   25    45382   24054  20681   1666 52.97
109.36/109.48	c   132549    534    17833   388068   21    36212   26460  16097   1403 94.43
109.36/109.48	o 72	109.446
109.76/109.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
109.76/109.83	c   145699    533    16210   362987   22    33431    6788  14474   1331 109.45
109.76/109.83	o 68	109.796 * 
109.87/109.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
109.87/109.98	c   145699    533     5183    81644   15    11841    6788   3447   1326 109.80
109.87/109.98	o 66	109.953 * 
110.36/110.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
110.36/110.40	c   145701    533     5188    82176   15    12319    6788   3452   1325 109.95
110.36/110.40	o 64	110.372 * 
586.00/586.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
586.00/586.34	c   145707    533     5201    82822   15    12813    6788   3465   1320 110.37
586.00/586.34	c   145807    525     5313    84186   15    13038    7467   3577   1294 112.65
586.00/586.34	c   146057    525     5563    90071   16    13538    8214   3827   1244 117.40
586.00/586.34	c   146533    525     6039    99180   16    14482    9036   4303   1148 127.58
586.00/586.34	c   147346    524     6852   118944   17    16119    9940   5116   1021 144.26
586.00/586.34	c   148666    523     8172   149520   18    18762   10935   6436    849 174.98
586.00/586.34	c   150747    523    10253   204697   19    22912   12029   8517    707 213.18
586.00/586.34	c   153970    522    13476   276909   20    29357   13232  11740    537 286.23
586.00/586.34	c   158906    516    11637   224103   19    24276   14556   9901    402 394.80
586.00/586.34	c   166412    516    11700   247974   21    24403   16012   9964    297 559.16
586.00/586.34	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
586.00/586.34	v -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55
586.00/586.34	v -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 -x82
586.00/586.34	v -x83 -x84 x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107
586.00/586.34	v -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128
586.00/586.34	v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149
586.00/586.34	v -x150 -x151 -x152 -x153 -x154 x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170
586.00/586.34	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 x188 -x189 -x190 -x191
586.00/586.34	v x192 -x193 x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 x210 -x211 -x212 -x213
586.00/586.34	v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234
586.00/586.34	v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255
586.00/586.34	v -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 x273 -x274 -x275 -x276
586.00/586.34	v -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297
586.00/586.34	v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318
586.00/586.34	v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339
586.00/586.34	v -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360
586.00/586.34	v x361 x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381
586.00/586.34	v -x382 -x383 -x384 -x385 -x386 -x387 x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402
586.00/586.34	v x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423
586.00/586.34	v x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444
586.00/586.34	v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465
586.00/586.34	v -x466 -x467 -x468 x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486
586.00/586.34	v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507
586.00/586.34	v -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528
586.00/586.34	v -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549
586.00/586.34	v -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
586.00/586.34	v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 -x591
586.00/586.34	v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612
586.00/586.34	v -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633
586.00/586.34	v -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648
586.00/586.34	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
586.00/586.34	c   29   167317  44818   265613    12605   260594  10869    285 586.05
586.00/586.34	c Objective: 64
586.00/586.34	s OPTIMUM FOUND
586.00/586.34	c Total time: 586.046 s

Verifier Data (download as text)

OK	64

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node22/watcher-432907-1177952165 -o ROOT/results/node22/solver-432907-1177952165 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432907-1177952165/instance-432907-1177952165.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.92 0.98 0.93 3/77 9481
/proc/meminfo: memFree=1854776/2055920 swapFree=4163632/4192956
[pid=9481] ppid=9479 vsize=11808 CPUtime=0
/proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 243134164 12091392 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9481/statm: 2952 333 279 324 0 2004 0

[startup+0.068332 s]
/proc/loadavg: 0.92 0.98 0.93 3/77 9481
/proc/meminfo: memFree=1854776/2055920 swapFree=4163632/4192956
[pid=9481] ppid=9479 vsize=4904 CPUtime=0.06
/proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 710 0 0 0 6 0 0 0 18 0 1 0 243134164 5021696 642 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9481/statm: 1226 642 334 324 0 296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4904

[startup+0.101338 s]
/proc/loadavg: 0.92 0.98 0.93 3/77 9481
/proc/meminfo: memFree=1854776/2055920 swapFree=4163632/4192956
[pid=9481] ppid=9479 vsize=4952 CPUtime=0.09
/proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 1040 0 0 0 8 1 0 0 18 0 1 0 243134164 5070848 714 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134575021 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9481/statm: 1238 714 394 324 0 308 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4952

[startup+0.301368 s]
/proc/loadavg: 0.92 0.98 0.93 3/77 9481
/proc/meminfo: memFree=1854776/2055920 swapFree=4163632/4192956
[pid=9481] ppid=9479 vsize=5740 CPUtime=0.29
/proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 1208 0 0 0 28 1 0 0 20 0 1 0 243134164 5877760 882 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5111336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9481/statm: 1435 882 395 324 0 505 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5740

[startup+0.701429 s]
/proc/loadavg: 0.92 0.98 0.93 3/77 9481
/proc/meminfo: memFree=1854776/2055920 swapFree=4163632/4192956
[pid=9481] ppid=9479 vsize=6796 CPUtime=0.69
/proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 1486 0 0 0 68 1 0 0 24 0 1 0 243134164 6959104 1160 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9481/statm: 1699 1160 395 324 0 769 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6796

[startup+1.50155 s]
/proc/loadavg: 0.92 0.98 0.93 2/78 9482
/proc/meminfo: memFree=1850928/2055920 swapFree=4163632/4192956
[pid=9481] ppid=9479 vsize=8364 CPUtime=1.49
/proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 1882 0 0 0 148 1 0 0 25 0 1 0 243134164 8564736 1556 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9481/statm: 2091 1556 395 324 0 1161 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8364

[startup+3.1018 s]
/proc/loadavg: 0.93 0.98 0.93 2/78 9482
/proc/meminfo: memFree=1849072/2055920 swapFree=4163632/4192956
[pid=9481] ppid=9479 vsize=10452 CPUtime=3.1
/proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 2397 0 0 0 308 2 0 0 25 0 1 0 243134164 10702848 2071 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9481/statm: 2613 2071 395 324 0 1683 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 10452

[startup+6.30128 s]
/proc/loadavg: 0.93 0.98 0.93 2/78 9482
/proc/meminfo: memFree=1846832/2055920 swapFree=4163632/4192956
[pid=9481] ppid=9479 vsize=11880 CPUtime=6.29
/proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 2743 0 0 0 627 2 0 0 25 0 1 0 243134164 12165120 2417 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9481/statm: 2970 2417 395 324 0 2040 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11880

[startup+12.7013 s]
/proc/loadavg: 0.94 0.98 0.93 2/78 9482
/proc/meminfo: memFree=1845944/2055920 swapFree=4163632/4192956
[pid=9481] ppid=9479 vsize=12148 CPUtime=12.69
/proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 2829 0 0 0 1267 2 0 0 25 0 1 0 243134164 12439552 2503 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5109655 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9481/statm: 3037 2503 395 324 0 2107 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12148

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.93 2/78 9482
/proc/meminfo: memFree=1845688/2055920 swapFree=4163632/4192956
[pid=9481] ppid=9479 vsize=12412 CPUtime=25.49
/proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 2893 0 0 0 2547 2 0 0 25 0 1 0 243134164 12709888 2567 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9481/statm: 3103 2567 395 324 0 2173 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 12412

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.93 2/78 9482
/proc/meminfo: memFree=1843192/2055920 swapFree=4163632/4192956
[pid=9481] ppid=9479 vsize=14964 CPUtime=51.07
/proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 3534 0 0 0 5105 2 0 0 25 0 1 0 243134164 15323136 3208 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9481/statm: 3741 3208 395 324 0 2811 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 14964

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.93 2/78 9482
/proc/meminfo: memFree=1841784/2055920 swapFree=4163632/4192956
[pid=9481] ppid=9479 vsize=16268 CPUtime=102.27
/proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 3863 0 0 0 10223 4 0 0 25 0 1 0 243134164 16658432 3537 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9481/statm: 4067 3537 395 324 0 3137 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 16268

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 9482
/proc/meminfo: memFree=1841208/2055920 swapFree=4163632/4192956
[pid=9481] ppid=9479 vsize=18012 CPUtime=162.24
/proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 556460 0 0 0 15990 234 0 0 25 0 1 0 243134164 18444288 3631 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135261916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9481/statm: 4503 3631 395 324 0 3573 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 18012

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 9482
/proc/meminfo: memFree=1841144/2055920 swapFree=4163632/4192956
[pid=9481] ppid=9479 vsize=18876 CPUtime=222.23
/proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 1183334 0 0 0 21739 484 0 0 25 0 1 0 243134164 19329024 3666 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135336313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9481/statm: 4719 3666 395 324 0 3789 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 18876

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 9482
/proc/meminfo: memFree=1841080/2055920 swapFree=4163632/4192956
[pid=9481] ppid=9479 vsize=18756 CPUtime=282.21
/proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 1824868 0 0 0 27479 742 0 0 25 0 1 0 243134164 19206144 3664 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134800094 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9481/statm: 4689 3664 395 324 0 3759 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 18756

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/84 9656
/proc/meminfo: memFree=1839800/2055920 swapFree=4163632/4192956
[pid=9481] ppid=9479 vsize=18620 CPUtime=342.09
/proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 2520139 0 0 0 33179 1030 0 0 25 0 1 0 243134164 19066880 3631 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135308743 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9481/statm: 4655 3631 395 324 0 3725 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 18620

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 9680
/proc/meminfo: memFree=1840760/2055920 swapFree=4163632/4192956
[pid=9481] ppid=9479 vsize=18616 CPUtime=402.05
/proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 3277788 0 0 0 38876 1329 0 0 25 0 1 0 243134164 19062784 3622 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9481/statm: 4654 3622 395 324 0 3724 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 18616

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 9680
/proc/meminfo: memFree=1840888/2055920 swapFree=4163632/4192956
[pid=9481] ppid=9479 vsize=18072 CPUtime=462.03
/proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 3986031 0 0 0 44591 1612 0 0 25 0 1 0 243134164 18505728 3593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135267285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9481/statm: 4518 3594 395 324 0 3588 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 18072

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 9680
/proc/meminfo: memFree=1840888/2055920 swapFree=4163632/4192956
[pid=9481] ppid=9479 vsize=18416 CPUtime=522.01
/proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 4642253 0 0 0 50329 1872 0 0 25 0 1 0 243134164 18857984 3594 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134802119 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9481/statm: 4604 3594 395 324 0 3674 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 18416

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 9680
/proc/meminfo: memFree=1840888/2055920 swapFree=4163632/4192956
[pid=9481] ppid=9479 vsize=17792 CPUtime=582
/proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 5201496 0 0 0 56100 2100 0 0 25 0 1 0 243134164 18219008 3586 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135301802 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9481/statm: 4448 3586 395 324 0 3518 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 17792

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

[startup+583.902 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 9680
/proc/meminfo: memFree=1840824/2055920 swapFree=4163632/4192956
[pid=9481] ppid=9479 vsize=17792 CPUtime=583.6
/proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 5214539 0 0 0 56254 2106 0 0 25 0 1 0 243134164 18219008 3568 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134690021 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9481/statm: 4448 3569 395 324 0 3518 0
Current children cumulated CPU time (s) 583.6
Current children cumulated vsize (KiB) 17792

[startup+585.502 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 9680
/proc/meminfo: memFree=1840824/2055920 swapFree=4163632/4192956
[pid=9481] ppid=9479 vsize=17812 CPUtime=585.2
/proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 5226005 0 0 0 56409 2111 0 0 25 0 1 0 243134164 18239488 3587 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135265573 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9481/statm: 4523 3591 395 324 0 3593 0
Current children cumulated CPU time (s) 585.2
Current children cumulated vsize (KiB) 17812

[startup+585.902 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 9680
/proc/meminfo: memFree=1840824/2055920 swapFree=4163632/4192956
[pid=9481] ppid=9479 vsize=18508 CPUtime=585.6
/proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 5228866 0 0 0 56448 2112 0 0 25 0 1 0 243134164 18952192 3694 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135311552 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9481/statm: 4627 3694 395 324 0 3697 0
Current children cumulated CPU time (s) 585.6
Current children cumulated vsize (KiB) 18508

[startup+586.306 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 9680
/proc/meminfo: memFree=1840568/2055920 swapFree=4163632/4192956
[pid=9481] ppid=9479 vsize=18484 CPUtime=586
/proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 5230837 0 0 0 56488 2112 0 0 25 0 1 0 243134164 18927616 3601 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9481/statm: 4621 3601 395 324 0 3691 0
Current children cumulated CPU time (s) 586
Current children cumulated vsize (KiB) 18484

Child status: 0
Real time (s): 586.349
CPU time (s): 586.053
CPU user time (s): 564.92
CPU system time (s): 21.1328
CPU usage (%): 99.9496
Max. virtual memory (cumulated for all children) (KiB): 18888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 564.92
system time used= 21.1328
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5230981
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= 11
involuntary context switches= 12474

runsolver used 0.478927 second user time and 1.24881 second system time

The end

Launcher Data (download as text)

Begin job on node22 on Mon Apr 30 16:56:05 UTC 2007

IDJOB= 432907
IDBENCH= 2024
IDSOLVER= 199
FILE ID= node22/432907-1177952165

PBS_JOBID= 4727677

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432907-1177952165/instance-432907-1177952165.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node22/watcher-432907-1177952165 -o ROOT/results/node22/solver-432907-1177952165 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432907-1177952165/instance-432907-1177952165.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  135acf1f05855c365b3d13b378debe22

RANDOM SEED= 988563204

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node22.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.265
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.265
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:       1855184 kB
Buffers:          8412 kB
Cached:          95416 kB
SwapCached:       7352 kB
Active:          49228 kB
Inactive:        82312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1855184 kB
SwapTotal:     4192956 kB
SwapFree:      4163632 kB
Dirty:            6672 kB
Writeback:           0 kB
Mapped:          34756 kB
Slab:            54872 kB
Committed_AS:  2061288 kB
PageTables:       1688 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= 66558 MiB

End job on node22 on Mon Apr 30 17:05:51 UTC 2007