Trace number 1879382

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 NameAnswerobjCPU timeWall clock time
bsolo 3.1 pbOPT3 950.907 951.336

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=53-P1=5-P2=67-P3=53-P4=17-P5=103-P6=29-P7=71-P8=47-B.opb
MD5SUM43e5891f3de726e47642c5b88db45e69
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark8.5577
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables168
Total number of constraints17
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a constraint7
Maximum length of a constraint63
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 32512
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)392
Sum of products size (including duplicates)784
Number of different products392
Sum of products size784

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.1 - 13/04/2009 : 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 Learning Strategy: Generic Pseudo-Boolean Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1879382-1245243563.opb
0.00/0.00	c File size is 29361 bytes.
0.00/0.00	c Highest Coefficient sum: 32512
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.003 s
0.00/0.00	c Var: 560 Constr: 809 392/0/417 Lit: 3409 Watch. Lit: 2106
0.00/0.00	c Obj. Vars: 7 (1.25 % of total variables)
0.00/0.01	c Pre-processing Time: 0.009 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    560      809     3409    4     2923    4596      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
661.49/661.84	c      100    560     1002    11729   11     5426    5056    193   3225 0.03
661.49/661.84	c      250    560     1298    26736   20     9519    5562    489   3012 0.08
661.49/661.84	c      475    560     1718    49507   28    13399    6119    909   3209 0.15
661.49/661.84	c      813    560     2361    81444   34    19533    6731   1552   2296 0.35
661.49/661.84	c     1321    560     3339   137954   41    32725    7405   2530   1879 0.70
661.49/661.84	c     2087    560     4728   208103   44    42373    8146   3919   1356 1.54
661.49/661.84	c     3233    560     6915   322014   46    63521    8961   6106   1093 2.96
661.49/661.84	c     4955    560     5291   245013   46    45948    9858   4482    765 6.47
661.49/661.84	c     7541    560    10140   531019   52    80722   10844   9331    884 8.52
661.49/661.84	c    11421    560     6232   356227   57    47016   11929   5423    745 15.31
661.49/661.84	c    17243    560    10665   516094   48    80558   13122   9856    458 37.58
661.49/661.84	c    25980    560    12531   672853   53   105514   14435  11722    335 77.37
661.49/661.84	c    39091    559    14196   745228   52   124168   15879  13387    299 130.47
661.49/661.84	c    58761    558     8752   416397   47    82316   17467   7943    133 441.54
661.49/661.84	o 69
726.06/726.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
726.06/726.48	c    74894    557    13021   655355   50   127380    4610  12212    113 661.53
726.06/726.48	c    74995    557     3232   136157   42    25337    5072   2423    112 663.87
726.06/726.48	c    75246    557     3628   157847   43    28728    5580   2819    113 663.94
726.06/726.48	c    75722    557     4535   210241   46    40914    6139   3726    113 664.28
726.06/726.48	c    76535    557     6099   296057   48    61747    6753   5290    115 665.12
726.06/726.48	c    77855    557     5239   244419   46    62080    7429   4430    116 668.82
726.06/726.48	c    79936    557     5505   254213   46    64735    8172   4696    117 681.80
726.06/726.48	c    83159    557     7448   354226   47    61875    8990   6639    117 707.03
726.06/726.48	o 21
769.24/769.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
769.24/769.60	c    86542    557     9135   440510   48    76536    4610   8326    119 726.15
769.24/769.60	c    86642    556     3312   137143   41    25663    5072   2503    119 726.56
769.24/769.60	c    86893    556     3728   159129   42    27627    5580   2919    119 726.66
769.24/769.60	c    87369    556     4640   208066   44    39367    6139   3831    120 726.97
769.24/769.60	c    88182    556     6178   291342   47    49025    6753   5369    121 728.12
769.24/769.60	c    89502    538     5251   242879   46    58243    7429   4442    122 730.42
769.24/769.60	c    91584    538     5501   251768   45    56669    8172   4692    122 745.11
769.24/769.60	c    94808    538     7383   347298   47    55557    8990   6574    123 768.79
769.24/769.60	o 9
770.14/770.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
770.14/770.54	c    95547    538     8786   422760   48    67287    4606   7977    124 769.25
770.14/770.54	c    95647    529     3304   135154   40    26588    5067   2495    124 769.59
770.14/770.54	c    95898    529     3778   159075   42    32300    5574   2969    124 769.72
770.14/770.54	c    96374    529     4677   209418   44    42681    6132   3868    125 770.11
770.14/770.54	o 7
774.13/774.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
774.13/774.55	c    96513    529     4942   222057   44    46619    4604   4133    125 770.19
774.13/774.55	c    96614    529     5140   233213   45    49774    5065   4331    125 770.29
774.13/774.55	c    96864    529     5617   261876   46    58764    5572   4808    125 770.50
774.13/774.55	c    97339    529     3658   156720   42    36379    6130   2849    126 771.39
774.13/774.55	c    98152    529     5214   238362   45    47248    6744   4405    126 773.82
774.13/774.55	o 3
950.86/951.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
950.86/951.33	c    98588    520     6034   279176   46    59635    4602   5225    127 774.21
950.86/951.33	c    98688    520     3304   129216   39    24498    5063   2495    127 774.36
950.86/951.33	c    98938    520     3786   155178   40    31253    5570   2977    127 774.52
950.86/951.33	c    99413    520     4626   199358   43    41083    6128   3817    128 775.38
950.86/951.33	c   100226    520     6201   286543   46    61990    6741   5392    129 776.12
950.86/951.33	c   101546    520     5276   239114   45    53934    7416   4467    129 783.46
950.86/951.33	c   103628    520     5471   244265   44    39393    8158   4662    129 800.07
950.86/951.33	c   106852    501     7212   342995   47    56703    8974   6403    132 809.39
950.86/951.33	c   111790    501     7041   325644   46    58863    9872   6232    135 826.97
950.86/951.33	c   119298    501     5943   273676   46    47171   10860   5134    138 864.15
950.86/951.33	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 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 x64 -x65 -x66 -x67 -x68 -x69 -x70 x113 -x114 -x115 -x116 -x117 -x118 -x119 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 x71 x72 -x73 -x74 -x75 -x76 -x77 -x120 -x121 -x122 -x123 -x124 -x125 -x126 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 x78 x79 x80 x81 -x82 -x83 -x84 -x127 -x128 -x129 -x130 -x131 -x132 -x133 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 x85 x86 x87 x88 -x89 -x90 x91 x134 x135 x136 -x137 -x138 -x139 -x140 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 x92 -x93 x94 x95 -x96 x97 x98 x141 -x142 -x143 -x144 -x145 -x146 -x147 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 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x148 x149 x150 -x151 x152 -x153 x154 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 x106 -x107 -x108 -x109 x110 -x111 -x112 -x155 -x156 -x157 -x158 -x159 -x160 -x161 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 -x162 -x163 -x164 -x165 -x166 -x167 -x168 
950.86/951.33	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
950.86/951.33	c   49   128012   1947   140812    11410   551032  10601    134 950.90
950.86/951.33	c Objective: 3
950.86/951.33	s OPTIMUM FOUND
950.86/951.33	c Total time: 950.903 s

Verifier Data 

OK	3

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879382-1245243563/watcher-1879382-1245243563 -o /tmp/evaluation-result-1879382-1245243563/solver-1879382-1245243563 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879382-1245243563.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: 0.95 0.97 0.91 3/64 8543
/proc/meminfo: memFree=1742848/2055920 swapFree=4191900/4192956
[pid=8543] ppid=8541 vsize=10740 CPUtime=0
/proc/8543/stat : 8543 (bsolo) R 8541 8543 8338 0 -1 4194304 259 0 0 0 0 0 0 0 18 0 1 0 191956907 10997760 243 1992294400 134512640 137136520 4294956256 18446744073709551615 134517511 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8543/statm: 2685 243 177 640 0 2033 0

[startup+0.031697 s]
/proc/loadavg: 0.95 0.97 0.91 3/64 8543
/proc/meminfo: memFree=1742848/2055920 swapFree=4191900/4192956
[pid=8543] ppid=8541 vsize=10976 CPUtime=0.02
/proc/8543/stat : 8543 (bsolo) R 8541 8543 8338 0 -1 4194304 364 0 0 0 2 0 0 0 18 0 1 0 191956907 11239424 340 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8543/statm: 2744 340 197 640 0 2100 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10976

[startup+0.101704 s]
/proc/loadavg: 0.95 0.97 0.91 3/64 8543
/proc/meminfo: memFree=1742848/2055920 swapFree=4191900/4192956
[pid=8543] ppid=8541 vsize=11496 CPUtime=0.09
/proc/8543/stat : 8543 (bsolo) R 8541 8543 8338 0 -1 4194304 473 0 0 0 9 0 0 0 18 0 1 0 191956907 11771904 449 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8543/statm: 2874 449 197 640 0 2230 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11496

[startup+0.301727 s]
/proc/loadavg: 0.95 0.97 0.91 3/64 8543
/proc/meminfo: memFree=1742848/2055920 swapFree=4191900/4192956
[pid=8543] ppid=8541 vsize=12268 CPUtime=0.29
/proc/8543/stat : 8543 (bsolo) R 8541 8543 8338 0 -1 4194304 687 0 0 0 29 0 0 0 19 0 1 0 191956907 12562432 663 1992294400 134512640 137136520 4294956256 18446744073709551615 135982492 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8543/statm: 3067 663 198 640 0 2423 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12268

[startup+0.701775 s]
/proc/loadavg: 0.95 0.97 0.91 3/64 8543
/proc/meminfo: memFree=1742848/2055920 swapFree=4191900/4192956
[pid=8543] ppid=8541 vsize=13556 CPUtime=0.69
/proc/8543/stat : 8543 (bsolo) R 8541 8543 8338 0 -1 4194304 1010 0 0 0 69 0 0 0 23 0 1 0 191956907 13881344 986 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8543/statm: 3389 986 198 640 0 2745 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13556

[startup+1.50187 s]
/proc/loadavg: 0.95 0.97 0.91 2/65 8544
/proc/meminfo: memFree=1739000/2055920 swapFree=4191900/4192956
[pid=8543] ppid=8541 vsize=14868 CPUtime=1.49
/proc/8543/stat : 8543 (bsolo) R 8541 8543 8338 0 -1 4194304 1321 0 0 0 149 0 0 0 25 0 1 0 191956907 15224832 1297 1992294400 134512640 137136520 4294956256 18446744073709551615 134543951 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8543/statm: 3717 1297 198 640 0 3073 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14868

[startup+3.10106 s]
/proc/loadavg: 0.95 0.97 0.91 2/65 8544
/proc/meminfo: memFree=1737656/2055920 swapFree=4191900/4192956
[pid=8543] ppid=8541 vsize=17584 CPUtime=3.09
/proc/8543/stat : 8543 (bsolo) R 8541 8543 8338 0 -1 4194304 2006 0 0 0 308 1 0 0 25 0 1 0 191956907 18006016 1982 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8543/statm: 4396 1982 198 640 0 3752 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17584

[startup+6.30143 s]
/proc/loadavg: 0.95 0.97 0.91 2/65 8544
/proc/meminfo: memFree=1732856/2055920 swapFree=4191900/4192956
[pid=8543] ppid=8541 vsize=20716 CPUtime=6.29
/proc/8543/stat : 8543 (bsolo) R 8541 8543 8338 0 -1 4194304 2798 0 0 0 627 2 0 0 25 0 1 0 191956907 21213184 2774 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8543/statm: 5179 2774 198 640 0 4535 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20716

[startup+12.7012 s]
/proc/loadavg: 0.95 0.97 0.91 2/65 8544
/proc/meminfo: memFree=1730360/2055920 swapFree=4191900/4192956
[pid=8543] ppid=8541 vsize=22540 CPUtime=12.68
/proc/8543/stat : 8543 (bsolo) R 8541 8543 8338 0 -1 4194304 3241 0 0 0 1265 3 0 0 25 0 1 0 191956907 23080960 3217 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8543/statm: 5635 3217 198 640 0 4991 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22540

[startup+25.5017 s]
/proc/loadavg: 0.96 0.97 0.91 2/65 8544
/proc/meminfo: memFree=1729592/2055920 swapFree=4191900/4192956
[pid=8543] ppid=8541 vsize=23528 CPUtime=25.48
/proc/8543/stat : 8543 (bsolo) R 8541 8543 8338 0 -1 4194304 3486 0 0 0 2544 4 0 0 25 0 1 0 191956907 24092672 3462 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8543/statm: 5882 3462 198 640 0 5238 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23528

[startup+51.1016 s]
/proc/loadavg: 0.97 0.97 0.91 2/65 8544
/proc/meminfo: memFree=1729208/2055920 swapFree=4191900/4192956
[pid=8543] ppid=8541 vsize=23800 CPUtime=51.06
/proc/8543/stat : 8543 (bsolo) R 8541 8543 8338 0 -1 4194304 3571 0 0 0 5101 5 0 0 25 0 1 0 191956907 24371200 3547 1992294400 134512640 137136520 4294956256 18446744073709551615 134544455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8543/statm: 5950 3547 198 640 0 5306 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 23800

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 8550
/proc/meminfo: memFree=1726768/2055920 swapFree=4191900/4192956
[pid=8543] ppid=8541 vsize=25968 CPUtime=102.25
/proc/8543/stat : 8543 (bsolo) R 8541 8543 8338 0 -1 4194304 4112 0 0 0 10217 8 0 0 25 0 1 0 191956907 26591232 4088 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8543/statm: 6492 4088 198 640 0 5848 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 25968

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 8550
/proc/meminfo: memFree=1724272/2055920 swapFree=4191900/4192956
[pid=8543] ppid=8541 vsize=28656 CPUtime=162.22
/proc/8543/stat : 8543 (bsolo) R 8541 8543 8338 0 -1 4194304 4772 0 0 0 16211 11 0 0 25 0 1 0 191956907 29343744 4748 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8543/statm: 7164 4748 198 640 0 6520 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 28656

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 8550
/proc/meminfo: memFree=1724208/2055920 swapFree=4191900/4192956
[pid=8543] ppid=8541 vsize=28656 CPUtime=222.19
/proc/8543/stat : 8543 (bsolo) R 8541 8543 8338 0 -1 4194304 4772 0 0 0 22207 12 0 0 25 0 1 0 191956907 29343744 4748 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8543/statm: 7164 4748 198 640 0 6520 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 28656

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 8550
/proc/meminfo: memFree=1724208/2055920 swapFree=4191900/4192956
[pid=8543] ppid=8541 vsize=28656 CPUtime=282.17
/proc/8543/stat : 8543 (bsolo) R 8541 8543 8338 0 -1 4194304 4772 0 0 0 28204 13 0 0 25 0 1 0 191956907 29343744 4748 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8543/statm: 7164 4748 198 640 0 6520 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 28656

[startup+342.302 s]
/proc/loadavg: 1.05 0.99 0.91 2/65 8550
/proc/meminfo: memFree=1724144/2055920 swapFree=4191900/4192956
[pid=8543] ppid=8541 vsize=28656 CPUtime=342.14
/proc/8543/stat : 8543 (bsolo) R 8541 8543 8338 0 -1 4194304 4772 0 0 0 34200 14 0 0 25 0 1 0 191956907 29343744 4748 1992294400 134512640 137136520 4294956256 18446744073709551615 136503150 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8543/statm: 7164 4748 198 640 0 6520 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 28656

[startup+402.302 s]
/proc/loadavg: 1.06 1.00 0.92 2/65 8550
/proc/meminfo: memFree=1723512/2055920 swapFree=4191900/4192956
[pid=8543] ppid=8541 vsize=29328 CPUtime=402.1
/proc/8543/stat : 8543 (bsolo) R 8541 8543 8338 0 -1 4194304 4951 0 0 0 40195 15 0 0 25 0 1 0 191956907 30031872 4927 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8543/statm: 7332 4927 198 640 0 6688 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 29328

[startup+462.302 s]
/proc/loadavg: 1.02 1.00 0.92 2/65 8550
/proc/meminfo: memFree=1723512/2055920 swapFree=4191900/4192956
[pid=8543] ppid=8541 vsize=29328 CPUtime=462.08
/proc/8543/stat : 8543 (bsolo) R 8541 8543 8338 0 -1 4194304 4951 0 0 0 46192 16 0 0 25 0 1 0 191956907 30031872 4927 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8543/statm: 7332 4927 198 640 0 6688 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 29328

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8550
/proc/meminfo: memFree=1723512/2055920 swapFree=4191900/4192956
[pid=8543] ppid=8541 vsize=29284 CPUtime=522.04
/proc/8543/stat : 8543 (bsolo) R 8541 8543 8338 0 -1 4194304 4953 0 0 0 52186 18 0 0 25 0 1 0 191956907 29986816 4921 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8543/statm: 7321 4921 198 640 0 6677 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 29284

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8550
/proc/meminfo: memFree=1723448/2055920 swapFree=4191900/4192956
[pid=8543] ppid=8541 vsize=29416 CPUtime=582.02
/proc/8543/stat : 8543 (bsolo) R 8541 8543 8338 0 -1 4194304 4979 0 0 0 58183 19 0 0 25 0 1 0 191956907 30121984 4947 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8543/statm: 7354 4947 198 640 0 6710 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 29416

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8550
/proc/meminfo: memFree=1723448/2055920 swapFree=4191900/4192956
[pid=8543] ppid=8541 vsize=29416 CPUtime=642
/proc/8543/stat : 8543 (bsolo) R 8541 8543 8338 0 -1 4194304 4979 0 0 0 64180 20 0 0 25 0 1 0 191956907 30121984 4947 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8543/statm: 7354 4947 198 640 0 6710 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 29416

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8550
/proc/meminfo: memFree=1723256/2055920 swapFree=4191900/4192956
[pid=8543] ppid=8541 vsize=29448 CPUtime=701.96
/proc/8543/stat : 8543 (bsolo) R 8541 8543 8338 0 -1 4194304 4991 0 0 0 70175 21 0 0 25 0 1 0 191956907 30154752 4959 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8543/statm: 7362 4959 198 640 0 6718 0
Current children cumulated CPU time (s) 701.96
Current children cumulated vsize (KiB) 29448

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8550
/proc/meminfo: memFree=1723256/2055920 swapFree=4191900/4192956
[pid=8543] ppid=8541 vsize=29444 CPUtime=761.94
/proc/8543/stat : 8543 (bsolo) R 8541 8543 8338 0 -1 4194304 4991 0 0 0 76170 24 0 0 25 0 1 0 191956907 30150656 4959 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8543/statm: 7361 4959 198 640 0 6717 0
Current children cumulated CPU time (s) 761.94
Current children cumulated vsize (KiB) 29444

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8550
/proc/meminfo: memFree=1723256/2055920 swapFree=4191900/4192956
[pid=8543] ppid=8541 vsize=29404 CPUtime=821.92
/proc/8543/stat : 8543 (bsolo) R 8541 8543 8338 0 -1 4194304 4991 0 0 0 82164 28 0 0 25 0 1 0 191956907 30109696 4951 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8543/statm: 7351 4951 198 640 0 6707 0
Current children cumulated CPU time (s) 821.92
Current children cumulated vsize (KiB) 29404

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8550
/proc/meminfo: memFree=1723192/2055920 swapFree=4191900/4192956
[pid=8543] ppid=8541 vsize=29404 CPUtime=881.89
/proc/8543/stat : 8543 (bsolo) R 8541 8543 8338 0 -1 4194304 4991 0 0 0 88159 30 0 0 25 0 1 0 191956907 30109696 4951 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8543/statm: 7351 4951 198 640 0 6707 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 29404

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8550
/proc/meminfo: memFree=1723192/2055920 swapFree=4191900/4192956
[pid=8543] ppid=8541 vsize=29404 CPUtime=941.86
/proc/8543/stat : 8543 (bsolo) R 8541 8543 8338 0 -1 4194304 4991 0 0 0 94155 31 0 0 25 0 1 0 191956907 30109696 4951 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8543/statm: 7351 4951 198 640 0 6707 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 29404

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

[startup+947.105 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8550
/proc/meminfo: memFree=1723192/2055920 swapFree=4191900/4192956
[pid=8543] ppid=8541 vsize=29404 CPUtime=946.67
/proc/8543/stat : 8543 (bsolo) R 8541 8543 8338 0 -1 4194304 4991 0 0 0 94636 31 0 0 25 0 1 0 191956907 30109696 4951 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8543/statm: 7351 4951 198 640 0 6707 0
Current children cumulated CPU time (s) 946.67
Current children cumulated vsize (KiB) 29404

[startup+948.701 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8550
/proc/meminfo: memFree=1723128/2055920 swapFree=4191900/4192956
[pid=8543] ppid=8541 vsize=29404 CPUtime=948.26
/proc/8543/stat : 8543 (bsolo) R 8541 8543 8338 0 -1 4194304 4991 0 0 0 94795 31 0 0 25 0 1 0 191956907 30109696 4951 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8543/statm: 7351 4951 198 640 0 6707 0
Current children cumulated CPU time (s) 948.26
Current children cumulated vsize (KiB) 29404

[startup+950.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8550
/proc/meminfo: memFree=1723128/2055920 swapFree=4191900/4192956
[pid=8543] ppid=8541 vsize=29404 CPUtime=949.86
/proc/8543/stat : 8543 (bsolo) R 8541 8543 8338 0 -1 4194304 4991 0 0 0 94955 31 0 0 25 0 1 0 191956907 30109696 4951 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8543/statm: 7351 4951 198 640 0 6707 0
Current children cumulated CPU time (s) 949.86
Current children cumulated vsize (KiB) 29404

[startup+951.102 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8550
/proc/meminfo: memFree=1723128/2055920 swapFree=4191900/4192956
[pid=8543] ppid=8541 vsize=29404 CPUtime=950.66
/proc/8543/stat : 8543 (bsolo) R 8541 8543 8338 0 -1 4194304 4991 0 0 0 95035 31 0 0 25 0 1 0 191956907 30109696 4951 1992294400 134512640 137136520 4294956256 18446744073709551615 134600245 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8543/statm: 7351 4951 198 640 0 6707 0
Current children cumulated CPU time (s) 950.66
Current children cumulated vsize (KiB) 29404

[startup+951.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8550
/proc/meminfo: memFree=1723128/2055920 swapFree=4191900/4192956
[pid=8543] ppid=8541 vsize=29404 CPUtime=950.86
/proc/8543/stat : 8543 (bsolo) R 8541 8543 8338 0 -1 4194304 4991 0 0 0 95055 31 0 0 25 0 1 0 191956907 30109696 4951 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8543/statm: 7351 4951 198 640 0 6707 0
Current children cumulated CPU time (s) 950.86
Current children cumulated vsize (KiB) 29404

Child status: 0
Real time (s): 951.336
CPU time (s): 950.907
CPU user time (s): 950.587
CPU system time (s): 0.320951
CPU usage (%): 99.9549
Max. virtual memory (cumulated for all children) (KiB): 29496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 950.586
system time used= 0.320951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4993
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= 2
involuntary context switches= 3227

runsolver used 1.00385 second user time and 2.46563 second system time

The end

Launcher Data 

Begin job on node11 at 2009-06-17 14:59:23
IDJOB=1879382
IDBENCH=47932
IDSOLVER=701
FILE ID=node11/1879382-1245243563
PBS_JOBID= 9372326
Free space on /tmp= 66160 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=53-P1=5-P2=67-P3=53-P4=17-P5=103-P6=29-P7=71-P8=47-B.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879382-1245243563/watcher-1879382-1245243563 -o /tmp/evaluation-result-1879382-1245243563/solver-1879382-1245243563 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1879382-1245243563.opb

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

MD5SUM BENCH= 43e5891f3de726e47642c5b88db45e69
RANDOM SEED=1521044102

node11.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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:       1743328 kB
Buffers:         35124 kB
Cached:         209024 kB
SwapCached:        312 kB
Active:          79552 kB
Inactive:       177468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1743328 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            4012 kB
Writeback:           0 kB
Mapped:          21304 kB
Slab:            41524 kB
Committed_AS:   205956 kB
PageTables:       1452 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879382-1245243563.opb

Free space on /tmp at the end= 66156 MiB
End job on node11 at 2009-06-17 15:15:14