Trace number 2657016

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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.2 CardOPT64 273.326 273.396

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.289955
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 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos 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 Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2657016-1276404628.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.011 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.021 s
0.05/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.09	c        0    540     1736     6006    3     4024    5754      0      0 0.02
0.05/0.09	c Initial Lower Bound: 61
0.05/0.09	c Initial Path Cost: 16
2.10/2.18	c      102    519     1855     7864    4     4631    6330    119    944 0.11
2.10/2.18	c      253    519     2012    10539    5     5006    6964    276   1874 0.14
2.10/2.18	c      480    519     2265    15177    6     5736    7661    529   2681 0.18
2.10/2.18	c      818    519     2631    20961    7     6720    8428    895   3408 0.24
2.10/2.18	c     1327    519     3177    32934   10     7812    9271   1441   3706 0.36
2.10/2.18	c     2090    519     3969    49524   12     9649   10199   2233   3745 0.56
2.10/2.18	c     3239    519     5154    73071   14    12886   11219   3418   3475 0.93
2.10/2.18	c     4962    519     6964   108723   15    17519   12341   5228   3491 1.42
2.10/2.18	o 72
45.48/45.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
45.48/45.56	c     7519    519     9709   161214   16    24996    6761   7973   3442 2.18
45.48/45.56	c     7619    519     5223    70733   13    12935    7438   3487   1739 4.38
45.48/45.56	c     7869    519     5510    77437   14    13509    8182   3774   1013 7.76
45.48/45.56	c     8346    519     6024    85627   14    14593    9001   4288    482 17.30
45.48/45.56	c     9159    519     6925   103612   14    17225    9902   5189    273 33.45
45.48/45.56	o 66
121.16/121.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
121.16/121.24	c     9694    519     7490   116588   15    19000    6760   5754    212 45.56
121.16/121.24	c     9795    519     7612   119652   15    19246    7437   5876    200 48.92
121.16/121.24	c    10045    519     7881   124754   15    19874    8181   6145    183 54.65
121.16/121.24	c    10522    519     8416   136201   16    21464    9000   6680    162 64.58
121.16/121.24	c    11335    519     9345   155478   16    23664    9901   7609    130 86.65
121.16/121.24	c    12656    519    10827   189754   17    26959   10892   9091    108 116.99
121.16/121.24	o 64
273.22/273.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
273.22/273.39	c    12770    519    10962   194467   17    27688    6760   9226    105 121.22
273.22/273.39	c    12872    519     5230    76228   14    12302    7437   3494    103 124.35
273.22/273.39	c    13122    519     5488    81499   14    12818    8181   3752    102 128.62
273.22/273.39	c    13597    519     6004    90888   15    14039    9000   4268     98 138.15
273.22/273.39	c    14410    519     6885   108224   15    16311    9901   5149     90 158.81
273.22/273.39	c    15730    519     8368   138706   16    20303   10892   6632     82 191.29
273.22/273.39	c    17812    519    10707   200439   18    25856   11982   8971     75 235.69
273.22/273.39	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 -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 -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 -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 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 x192 -x193 x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 x361 x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 
273.22/273.39	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
273.22/273.39	c   26    19583   6274    34639    12609   238283  10873     71 273.32
273.22/273.39	c Objective: 64
273.22/273.39	s OPTIMUM FOUND
273.22/273.39	c Total time: 273.325 s

Verifier Data 

OK	64

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657016-1276404628/watcher-2657016-1276404628 -o /tmp/evaluation-result-2657016-1276404628/solver-2657016-1276404628 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2657016-1276404628.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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21003
/proc/meminfo: memFree=1752816/2059040 swapFree=4134484/4192956
[pid=21003] ppid=21001 vsize=10868 CPUtime=0
/proc/21003/stat : 21003 (bsolo_pb10) R 21001 21003 20564 0 -1 4202496 338 0 0 0 0 0 0 0 17 0 1 0 16049230 11128832 257 1992294400 134512640 137138936 4289324368 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21003/statm: 2717 257 176 642 0 2055 0

[startup+0.056288 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21003
/proc/meminfo: memFree=1752816/2059040 swapFree=4134484/4192956
[pid=21003] ppid=21001 vsize=11336 CPUtime=0.05
/proc/21003/stat : 21003 (bsolo_pb10) R 21001 21003 20564 0 -1 4202496 536 0 0 0 5 0 0 0 17 0 1 0 16049230 11608064 437 1992294400 134512640 137138936 4289324368 18446744073709551615 134712103 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21003/statm: 2834 437 219 642 0 2190 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11336

[startup+0.101291 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21003
/proc/meminfo: memFree=1752816/2059040 swapFree=4134484/4192956
[pid=21003] ppid=21001 vsize=12168 CPUtime=0.09
/proc/21003/stat : 21003 (bsolo_pb10) R 21001 21003 20564 0 -1 4202496 896 0 0 0 9 0 0 0 17 0 1 0 16049230 12460032 658 1992294400 134512640 137138936 4289324368 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21003/statm: 3042 658 286 642 0 2398 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12168

[startup+0.301311 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21003
/proc/meminfo: memFree=1752816/2059040 swapFree=4134484/4192956
[pid=21003] ppid=21001 vsize=12172 CPUtime=0.29
/proc/21003/stat : 21003 (bsolo_pb10) R 21001 21003 20564 0 -1 4202496 904 0 0 0 29 0 0 0 17 0 1 0 16049230 12464128 666 1992294400 134512640 137138936 4289324368 18446744073709551615 136297617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21003/statm: 3043 666 286 642 0 2399 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12172

[startup+0.701351 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21003
/proc/meminfo: memFree=1752816/2059040 swapFree=4134484/4192956
[pid=21003] ppid=21001 vsize=12312 CPUtime=0.69
/proc/21003/stat : 21003 (bsolo_pb10) R 21001 21003 20564 0 -1 4202496 964 0 0 0 69 0 0 0 17 0 1 0 16049230 12607488 726 1992294400 134512640 137138936 4289324368 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21003/statm: 3078 726 286 642 0 2434 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12312

[startup+1.50043 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21004
/proc/meminfo: memFree=1750700/2059040 swapFree=4134484/4192956
[pid=21003] ppid=21001 vsize=13380 CPUtime=1.49
/proc/21003/stat : 21003 (bsolo_pb10) R 21001 21003 20564 0 -1 4202496 1229 0 0 0 148 1 0 0 18 0 1 0 16049230 13701120 991 1992294400 134512640 137138936 4289324368 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21003/statm: 3345 991 286 642 0 2701 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13380

[startup+3.10059 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21004
/proc/meminfo: memFree=1748964/2059040 swapFree=4134484/4192956
[pid=21003] ppid=21001 vsize=16688 CPUtime=3.09
/proc/21003/stat : 21003 (bsolo_pb10) R 21001 21003 20564 0 -1 4202496 9101 0 0 0 305 4 0 0 21 0 1 0 16049230 17088512 1556 1992294400 134512640 137138936 4289324368 18446744073709551615 135443655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21003/statm: 4172 1556 287 642 0 3528 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16688

[startup+6.30091 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21004
/proc/meminfo: memFree=1746856/2059040 swapFree=4134484/4192956
[pid=21003] ppid=21001 vsize=15628 CPUtime=6.29
/proc/21003/stat : 21003 (bsolo_pb10) R 21001 21003 20564 0 -1 4202496 33123 0 0 0 619 10 0 0 25 0 1 0 16049230 16003072 1467 1992294400 134512640 137138936 4289324368 18446744073709551615 134750265 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21003/statm: 3907 1467 287 642 0 3263 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15628

[startup+12.7006 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21004
/proc/meminfo: memFree=1747104/2059040 swapFree=4134484/4192956
[pid=21003] ppid=21001 vsize=15680 CPUtime=12.69
/proc/21003/stat : 21003 (bsolo_pb10) R 21001 21003 20564 0 -1 4202496 76588 0 0 0 1244 25 0 0 25 0 1 0 16049230 16056320 1459 1992294400 134512640 137138936 4289324368 18446744073709551615 134925323 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21003/statm: 3920 1459 287 642 0 3276 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15680

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21006
/proc/meminfo: memFree=1746980/2059040 swapFree=4134484/4192956
[pid=21003] ppid=21001 vsize=17036 CPUtime=25.49
/proc/21003/stat : 21003 (bsolo_pb10) R 21001 21003 20564 0 -1 4202496 148623 0 0 0 2501 48 0 0 25 0 1 0 16049230 17444864 1592 1992294400 134512640 137138936 4289324368 18446744073709551615 134849305 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21003/statm: 4259 1592 287 642 0 3615 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17036

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21006
/proc/meminfo: memFree=1746856/2059040 swapFree=4134484/4192956
[pid=21003] ppid=21001 vsize=16244 CPUtime=51.08
/proc/21003/stat : 21003 (bsolo_pb10) R 21001 21003 20564 0 -1 4202496 324476 0 0 0 5005 103 0 0 25 0 1 0 16049230 16633856 1557 1992294400 134512640 137138936 4289324368 18446744073709551615 135436775 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21003/statm: 4061 1557 288 642 0 3417 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 16244

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21008
/proc/meminfo: memFree=1747352/2059040 swapFree=4134484/4192956
[pid=21003] ppid=21001 vsize=17272 CPUtime=102.28
/proc/21003/stat : 21003 (bsolo_pb10) R 21001 21003 20564 0 -1 4202496 701132 0 0 0 10011 217 0 0 25 0 1 0 16049230 17686528 1523 1992294400 134512640 137138936 4289324368 18446744073709551615 135441078 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21003/statm: 4318 1523 288 642 0 3674 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 17272

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21008
/proc/meminfo: memFree=1746236/2059040 swapFree=4134484/4192956
[pid=21003] ppid=21001 vsize=17644 CPUtime=162.25
/proc/21003/stat : 21003 (bsolo_pb10) R 21001 21003 20564 0 -1 4202496 1212999 0 0 0 15855 370 0 0 25 0 1 0 16049230 18067456 1686 1992294400 134512640 137138936 4289324368 18446744073709551615 135466102 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21003/statm: 4411 1686 288 642 0 3767 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 17644

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21010
/proc/meminfo: memFree=1746360/2059040 swapFree=4134484/4192956
[pid=21003] ppid=21001 vsize=17908 CPUtime=222.24
/proc/21003/stat : 21003 (bsolo_pb10) R 21001 21003 20564 0 -1 4202496 1561552 0 0 0 21744 480 0 0 25 0 1 0 16049230 18337792 1864 1992294400 134512640 137138936 4289324368 18446744073709551615 135466183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21003/statm: 4477 1864 288 642 0 3833 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 17908

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

[startup+230.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21010
/proc/meminfo: memFree=1746236/2059040 swapFree=4134484/4192956
[pid=21003] ppid=21001 vsize=17584 CPUtime=230.23
/proc/21003/stat : 21003 (bsolo_pb10) R 21001 21003 20564 0 -1 4202496 1603797 0 0 0 22532 491 0 0 25 0 1 0 16049230 18006016 1699 1992294400 134512640 137138936 4289324368 18446744073709551615 134913151 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21003/statm: 4396 1699 288 642 0 3752 0
Current children cumulated CPU time (s) 230.23
Current children cumulated vsize (KiB) 17584

[startup+255.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21012
/proc/meminfo: memFree=1745740/2059040 swapFree=4134484/4192956
[pid=21003] ppid=21001 vsize=17056 CPUtime=255.83
/proc/21003/stat : 21003 (bsolo_pb10) R 21001 21003 20564 0 -1 4202496 1783021 0 0 0 25037 546 0 0 25 0 1 0 16049230 17465344 1820 1992294400 134512640 137138936 4289324368 18446744073709551615 134745118 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21003/statm: 4264 1820 288 642 0 3620 0
Current children cumulated CPU time (s) 255.83
Current children cumulated vsize (KiB) 17056

[startup+262.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21012
/proc/meminfo: memFree=1745120/2059040 swapFree=4134484/4192956
[pid=21003] ppid=21001 vsize=17468 CPUtime=262.23
/proc/21003/stat : 21003 (bsolo_pb10) R 21001 21003 20564 0 -1 4202496 1826112 0 0 0 25663 560 0 0 25 0 1 0 16049230 17887232 1793 1992294400 134512640 137138936 4289324368 18446744073709551615 135380739 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21003/statm: 4367 1793 288 642 0 3723 0
Current children cumulated CPU time (s) 262.23
Current children cumulated vsize (KiB) 17468

[startup+268.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21012
/proc/meminfo: memFree=1745616/2059040 swapFree=4134484/4192956
[pid=21003] ppid=21001 vsize=18340 CPUtime=268.63
/proc/21003/stat : 21003 (bsolo_pb10) R 21001 21003 20564 0 -1 4202496 1877283 0 0 0 26285 578 0 0 25 0 1 0 16049230 18780160 1997 1992294400 134512640 137138936 4289324368 18446744073709551615 135433527 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21003/statm: 4585 1997 288 642 0 3941 0
Current children cumulated CPU time (s) 268.63
Current children cumulated vsize (KiB) 18340

[startup+271.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21012
/proc/meminfo: memFree=1745616/2059040 swapFree=4134484/4192956
[pid=21003] ppid=21001 vsize=17600 CPUtime=271.82
/proc/21003/stat : 21003 (bsolo_pb10) R 21001 21003 20564 0 -1 4202496 1902264 0 0 0 26597 585 0 0 25 0 1 0 16049230 18022400 1815 1992294400 134512640 137138936 4289324368 18446744073709551615 135377439 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21003/statm: 4400 1816 288 642 0 3756 0
Current children cumulated CPU time (s) 271.82
Current children cumulated vsize (KiB) 17600

[startup+272.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21012
/proc/meminfo: memFree=1745492/2059040 swapFree=4134484/4192956
[pid=21003] ppid=21001 vsize=18416 CPUtime=272.63
/proc/21003/stat : 21003 (bsolo_pb10) R 21001 21003 20564 0 -1 4202496 1908910 0 0 0 26675 588 0 0 25 0 1 0 16049230 18857984 1879 1992294400 134512640 137138936 4289324368 18446744073709551615 134848318 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21003/statm: 4604 1879 288 642 0 3960 0
Current children cumulated CPU time (s) 272.63
Current children cumulated vsize (KiB) 18416

[startup+273.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21012
/proc/meminfo: memFree=1745492/2059040 swapFree=4134484/4192956
[pid=21003] ppid=21001 vsize=18432 CPUtime=273.02
/proc/21003/stat : 21003 (bsolo_pb10) R 21001 21003 20564 0 -1 4202496 1912583 0 0 0 26713 589 0 0 25 0 1 0 16049230 18874368 1884 1992294400 134512640 137138936 4289324368 18446744073709551615 135251029 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21003/statm: 4608 1884 288 642 0 3964 0
Current children cumulated CPU time (s) 273.02
Current children cumulated vsize (KiB) 18432

[startup+273.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21012
/proc/meminfo: memFree=1745492/2059040 swapFree=4134484/4192956
[pid=21003] ppid=21001 vsize=18432 CPUtime=273.22
/proc/21003/stat : 21003 (bsolo_pb10) R 21001 21003 20564 0 -1 4202496 1914122 0 0 0 26732 590 0 0 25 0 1 0 16049230 18874368 1909 1992294400 134512640 137138936 4289324368 18446744073709551615 135358736 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21003/statm: 4608 1909 288 642 0 3964 0
Current children cumulated CPU time (s) 273.22
Current children cumulated vsize (KiB) 18432

Child status: 0
Real time (s): 273.396
CPU time (s): 273.326
CPU user time (s): 267.421
CPU system time (s): 5.9051
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 18644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 267.421
system time used= 5.9051
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1914246
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= 1
involuntary context switches= 451

runsolver used 0.450931 second user time and 1.2998 second system time

The end

Launcher Data 

Begin job on node017 at 2010-06-13 06:50:28
IDJOB=2657016
IDBENCH=2024
IDSOLVER=1162
FILE ID=node017/2657016-1276404628
PBS_JOBID= 11173270
Free space on /tmp= 62368 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657016-1276404628/watcher-2657016-1276404628 -o /tmp/evaluation-result-2657016-1276404628/solver-2657016-1276404628 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2657016-1276404628.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 135acf1f05855c365b3d13b378debe22
RANDOM SEED=374816037

node017.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.201
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.40
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.201
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.51
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1753468 kB
Buffers:         81324 kB
Cached:         146028 kB
SwapCached:      11760 kB
Active:         129528 kB
Inactive:       111864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1753468 kB
SwapTotal:     4192956 kB
SwapFree:      4134484 kB
Dirty:            4040 kB
Writeback:           4 kB
AnonPages:       12468 kB
Mapped:           9116 kB
Slab:            42520 kB
PageTables:       3972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183768 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62364 MiB
End job on node017 at 2010-06-13 06:55:02