Trace number 1879865

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 pbSAT215 1798.03 1798.71

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb
MD5SUM3ddf6338b9f9cf35560b94c856457c56
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark190
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 182
Optimality of the best value was proved NO
Number of variables468
Total number of constraints468
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 constraints468
Minimum length of a constraint3
Maximum length of a constraint17
Number of terms in the objective function 468
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 468
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 468
Number of bits of the biggest sum of numbers9
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.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-1879865-1245138732.opb
0.00/0.00	c File size is 42793 bytes.
0.00/0.00	c Highest Coefficient sum: 468
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.006 s
0.00/0.00	c Var: 468 Constr: 468 0/0/468 Lit: 4232 Watch. Lit: 1521
0.00/0.00	c Obj. Vars: 468 (100 % of total variables)
0.00/0.01	c Pre-processing Time: 0.011 s
1.10/1.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.10/1.16	c        0    468      468     4232    9     1957    8464      0      0 0.01
1.10/1.16	c Initial Lower Bound: 140
1.10/1.16	c Initial Path Cost: 0
1.10/1.16	o 225
6.39/6.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.39/6.48	c        0    468      469     4700   10     2427    9464      1      0 1.17
6.39/6.48	o 224
36.67/36.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
36.67/36.74	c        1    468      472     5862   12     2929    9464      4      0 6.48
36.67/36.74	c      103    468      775    87945  113     3911   10411    307      7 13.43
36.67/36.74	c      353    468     1278   256824  200    55230   11453    810     17 20.76
36.67/36.74	c      831    468     2520   582981  231    42752   12599   2052     28 29.57
36.67/36.74	o 219
195.12/195.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
195.12/195.26	c      831    468     2521   583449  231    40991    9464   2053     22 36.73
195.12/195.26	c      932    468     2727   644631  236    55752   10411   2259     21 44.27
195.12/195.26	c     1183    468     3470   825401  237    46633   11453   3002     22 52.27
195.12/195.26	c     1658    468     4863  1199333  246    51880   12599   4395     26 61.84
195.12/195.26	c     2471    468     7128  1774776  248    57566   13859   6660     33 74.14
195.12/195.26	c     3791    468    10694  2754614  257   147853   15245  10226     42 90.16
195.12/195.26	c     5872    468     8550  2171580  253    95838   16770   8082     53 110.48
195.12/195.26	c     9095    468    15076  3851590  255   300534   18448  14608     67 134.08
195.12/195.26	c    14031    468    10423  2873789  275    30888   20293   9955     78 178.01
195.12/195.26	o 218
210.81/210.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
210.81/210.99	c    15597    468    13852  3940368  284   272850    9464  13384     79 195.19
210.81/210.99	c    15697    468     5494  1539846  280   124466   10411   5026     77 203.36
210.81/210.99	o 217
418.53/418.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
418.53/418.79	c    15697    468     5495  1540314  280   123251    9464   5027     74 210.91
418.53/418.79	c    15798    468     5793  1615473  278   123847   10411   5325     72 218.86
418.53/418.79	c    16048    468     6541  1821794  278   107164   11453   6073     70 226.89
418.53/418.79	c    16524    468     7967  2231924  280   113026   12599   7499     69 237.69
418.53/418.79	c    17337    468    10373  2912795  280   112593   13859   9905     69 250.31
418.53/418.79	c    18657    468    14314  4069002  284   122500   15245  13846     69 267.10
418.53/418.79	c    20739    468    10940  2993488  273   177862   16770  10472     71 289.83
418.53/418.79	c    23963    468    11730  3090982  263    56727   18448  11262     75 317.79
418.53/418.79	c    28899    468    16759  4313329  257    39809   20293  16291     81 355.54
418.53/418.79	c    36405    468    17366  4813110  277    47273   22323  16898     88 412.68
418.53/418.79	o 215
1797.91/1798.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.91/1798.68	c    36405    468    17367  4813578  277    42741    9464  16899     86 418.64
1797.91/1798.68	c    36505    468     5499  1443192  262    15481   10411   5031     85 427.69
1797.91/1798.68	c    36755    468     6110  1606521  262    28190   11453   5642     84 435.97
1797.91/1798.68	c    37230    468     7526  2006455  266    26331   12599   7058     83 444.35
1797.91/1798.68	c    38043    468     9933  2663551  268    33843   13859   9465     83 456.39
1797.91/1798.68	c    39364    468    11832  3117152  263    52917   15245  11364     83 469.51
1797.91/1798.68	c    41445    468     9994  2604319  260    35574   16770   9526     84 490.27
1797.91/1798.68	c    44668    468    10675  2834003  265    31935   18448  10207     86 519.35
1797.91/1798.68	c    49605    468    15735  4310997  273    39089   20293  15267     88 558.41
1797.91/1798.68	c    57111    468    16823  4189121  249    38207   22323  16355     92 616.24
1797.91/1798.68	c    68472    468    16020  4323337  269    46951   24556  15552     97 702.19
1797.91/1798.68	c    85617    468    16115  4540557  281    40967   27012  15647    101 844.68
1797.91/1798.68	c   111437    468    23865  6836520  286    56546   29714  23397    104 1062.71
1797.91/1798.68	c   150271    468    17546  4597804  262    40843   32686  17078    108 1383.96
1797.91/1798.68	c Resources Exceeded
1797.91/1798.68	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 
1797.91/1798.68	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1798.68	c   40   201916  30338   256707    20163  5449044  19695    112 1798.00
1797.91/1798.68	c Objective: 215
1797.91/1798.68	s SATISFIABLE
1797.91/1798.68	c Total time: 1798 s

Verifier Data 

OK	215

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879865-1245138732/watcher-1879865-1245138732 -o /tmp/evaluation-result-1879865-1245138732/solver-1879865-1245138732 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879865-1245138732.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/64 4023
/proc/meminfo: memFree=1123792/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=10756 CPUtime=0
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 243 0 0 0 0 0 0 0 18 0 1 0 181473981 11014144 227 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 2689 227 174 640 0 2034 0

[startup+0.0589509 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4023
/proc/meminfo: memFree=1123792/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=12300 CPUtime=0.05
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 582 0 0 0 5 0 0 0 18 0 1 0 181473981 12595200 549 1992294400 134512640 137136520 4294956256 18446744073709551615 135444708 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 3075 549 284 640 0 2431 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12300

[startup+0.101959 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4023
/proc/meminfo: memFree=1123792/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=12300 CPUtime=0.1
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 637 0 0 0 10 0 0 0 18 0 1 0 181473981 12595200 604 1992294400 134512640 137136520 4294956256 18446744073709551615 135442958 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 3075 604 284 640 0 2431 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 12300

[startup+0.301998 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4023
/proc/meminfo: memFree=1123792/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=12480 CPUtime=0.3
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 828 0 0 0 30 0 0 0 19 0 1 0 181473981 12779520 700 1992294400 134512640 137136520 4294956256 18446744073709551615 135464002 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 3120 700 284 640 0 2476 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 12480

[startup+0.701076 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4023
/proc/meminfo: memFree=1123792/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=13448 CPUtime=0.69
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 1275 0 0 0 69 0 0 0 22 0 1 0 181473981 13770752 762 1992294400 134512640 137136520 4294956256 18446744073709551615 135442575 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 3362 762 284 640 0 2718 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13448

[startup+1.50123 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4024
/proc/meminfo: memFree=1121928/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=13424 CPUtime=1.49
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 3368 0 0 0 148 1 0 0 25 0 1 0 181473981 13746176 633 1992294400 134512640 137136520 4294956256 18446744073709551615 135447705 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 3356 633 292 640 0 2712 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13424

[startup+3.10155 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4024
/proc/meminfo: memFree=1122248/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=12788 CPUtime=3.09
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 8678 0 0 0 306 3 0 0 25 0 1 0 181473981 13094912 498 1992294400 134512640 137136520 4294956256 18446744073709551615 135380750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 3197 499 292 640 0 2553 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12788

[startup+6.30117 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4024
/proc/meminfo: memFree=1122504/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=13092 CPUtime=6.29
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 22535 0 0 0 622 7 0 0 25 0 1 0 181473981 13406208 510 1992294400 134512640 137136520 4294956256 18446744073709551615 135438766 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 3273 510 292 640 0 2629 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13092

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4024
/proc/meminfo: memFree=1122312/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=13220 CPUtime=12.69
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 47144 0 0 0 1251 18 0 0 25 0 1 0 181473981 13537280 529 1992294400 134512640 137136520 4294956256 18446744073709551615 135442568 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 3305 529 295 640 0 2661 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13220

[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4024
/proc/meminfo: memFree=1117832/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=18152 CPUtime=25.48
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 127118 0 0 0 2504 44 0 0 25 0 1 0 181473981 18587648 1768 1992294400 134512640 137136520 4294956256 18446744073709551615 135464009 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 4538 1769 295 640 0 3894 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18152

[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4024
/proc/meminfo: memFree=1113032/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=23132 CPUtime=51.08
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 297856 0 0 0 5004 104 0 0 25 0 1 0 181473981 23687168 3001 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 5783 3002 295 640 0 5139 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 23132

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4024
/proc/meminfo: memFree=1075144/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=58656 CPUtime=102.26
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 925213 0 0 0 9898 328 0 0 25 0 1 0 181473981 60063744 12361 1992294400 134512640 137136520 4294956256 18446744073709551615 134544449 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 14664 12361 295 640 0 14020 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 58656

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4024
/proc/meminfo: memFree=1050504/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=83032 CPUtime=162.23
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 1487665 0 0 0 15662 561 0 0 25 0 1 0 181473981 85024768 18455 1992294400 134512640 137136520 4294956256 18446744073709551615 134598645 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 20758 18455 295 640 0 20114 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 83032

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4024
/proc/meminfo: memFree=1043016/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=93364 CPUtime=222.21
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 1785830 0 0 0 21525 696 0 0 25 0 1 0 181473981 95604736 20500 1992294400 134512640 137136520 4294956256 18446744073709551615 135461591 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 23341 20500 295 640 0 22697 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 93364

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4024
/proc/meminfo: memFree=1043016/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=91288 CPUtime=282.19
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 1990536 0 0 0 27420 799 0 0 25 0 1 0 181473981 93478912 20323 1992294400 134512640 137136520 4294956256 18446744073709551615 134539410 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 22822 20323 296 640 0 22178 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 91288

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4024
/proc/meminfo: memFree=1042952/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=91036 CPUtime=342.16
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 2136215 0 0 0 33326 890 0 0 25 0 1 0 181473981 93220864 20327 1992294400 134512640 137136520 4294956256 18446744073709551615 135387431 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 22759 20327 296 640 0 22115 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 91036

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4024
/proc/meminfo: memFree=1034568/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=98824 CPUtime=402.14
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 2422191 0 0 0 39186 1028 0 0 25 0 1 0 181473981 101195776 22404 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 24706 22404 296 640 0 24062 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 98824

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4024
/proc/meminfo: memFree=1034568/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=101676 CPUtime=462.12
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 2688874 0 0 0 45060 1152 0 0 25 0 1 0 181473981 104116224 22472 1992294400 134512640 137136520 4294956256 18446744073709551615 135454325 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 25419 22472 296 640 0 24775 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 101676

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4024
/proc/meminfo: memFree=1034248/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=100796 CPUtime=522.1
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 2974078 0 0 0 50909 1301 0 0 25 0 1 0 181473981 103215104 22435 1992294400 134512640 137136520 4294956256 18446744073709551615 135380752 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 25199 22437 296 640 0 24555 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 100796

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4030
/proc/meminfo: memFree=1034504/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=98812 CPUtime=582.06
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 3247519 0 0 0 56741 1465 0 0 25 0 1 0 181473981 101183488 22401 1992294400 134512640 137136520 4294956256 18446744073709551615 134607060 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 24703 22401 296 640 0 24059 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 98812

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4030
/proc/meminfo: memFree=1034504/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=100744 CPUtime=642.04
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 3514703 0 0 0 62587 1617 0 0 25 0 1 0 181473981 103161856 22411 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 25186 22411 296 640 0 24542 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 100744

[startup+702.302 s]

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

/proc/meminfo: memFree=1010760/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=124764 CPUtime=1061.89
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 5879902 0 0 0 103301 2888 0 0 25 0 1 0 181473981 127758336 28335 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 31191 28335 296 640 0 30547 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 124764

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4030
/proc/meminfo: memFree=1006344/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=129160 CPUtime=1121.87
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 6212988 0 0 0 109125 3062 0 0 25 0 1 0 181473981 132259840 29437 1992294400 134512640 137136520 4294956256 18446744073709551615 134730255 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 32290 29437 296 640 0 31646 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 129160

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4030
/proc/meminfo: memFree=1006344/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=126908 CPUtime=1181.85
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 6463553 0 0 0 114982 3203 0 0 25 0 1 0 181473981 129953792 29425 1992294400 134512640 137136520 4294956256 18446744073709551615 134606143 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 31727 29425 296 640 0 31083 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 126908

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4030
/proc/meminfo: memFree=1006408/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=128444 CPUtime=1241.82
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 6748341 0 0 0 120816 3366 0 0 25 0 1 0 181473981 131526656 29431 1992294400 134512640 137136520 4294956256 18446744073709551615 134731460 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 32111 29431 296 640 0 31467 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 128444

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4030
/proc/meminfo: memFree=1006408/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=126904 CPUtime=1301.8
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 7074870 0 0 0 126631 3549 0 0 25 0 1 0 181473981 129949696 29424 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 31726 29424 296 640 0 31082 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 126904

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4030
/proc/meminfo: memFree=1006344/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=129124 CPUtime=1361.78
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 7398342 0 0 0 132446 3732 0 0 25 0 1 0 181473981 132222976 29434 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 32281 29434 296 640 0 31637 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 129124

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4030
/proc/meminfo: memFree=1000840/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=132368 CPUtime=1421.76
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 7736052 0 0 0 138272 3904 0 0 25 0 1 0 181473981 135544832 30790 1992294400 134512640 137136520 4294956256 18446744073709551615 134607171 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 33092 30790 296 640 0 32448 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 132368

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4030
/proc/meminfo: memFree=990792/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=142232 CPUtime=1481.72
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 8130658 0 0 0 144074 4098 0 0 25 0 1 0 181473981 145645568 33256 1992294400 134512640 137136520 4294956256 18446744073709551615 134605907 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 35558 33256 296 640 0 34914 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 142232

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4030
/proc/meminfo: memFree=990856/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=142232 CPUtime=1541.71
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 8415730 0 0 0 149908 4263 0 0 25 0 1 0 181473981 145645568 33256 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 35558 33256 296 640 0 34914 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 142232

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4030
/proc/meminfo: memFree=990344/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=142692 CPUtime=1601.68
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 8719027 0 0 0 155735 4433 0 0 25 0 1 0 181473981 146116608 33371 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 35673 33371 296 640 0 35029 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 142692

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4030
/proc/meminfo: memFree=990344/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=144892 CPUtime=1661.66
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 9030712 0 0 0 161556 4610 0 0 25 0 1 0 181473981 148369408 33377 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 36223 33377 296 640 0 35579 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 144892

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4030
/proc/meminfo: memFree=990408/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=142676 CPUtime=1721.64
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 9324648 0 0 0 167381 4783 0 0 25 0 1 0 181473981 146100224 33367 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 35669 33367 296 640 0 35025 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 142676

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4030
/proc/meminfo: memFree=990536/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=144732 CPUtime=1781.62
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 9626651 0 0 0 173203 4959 0 0 25 0 1 0 181473981 148205568 33375 1992294400 134512640 137136520 4294956256 18446744073709551615 134838659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 36183 33375 296 640 0 35539 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 144732

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

[startup+1791.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4030
/proc/meminfo: memFree=990536/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=142668 CPUtime=1791.22
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 9654014 0 0 0 174145 4977 0 0 25 0 1 0 181473981 146092032 33365 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 35667 33365 296 640 0 35023 0
Current children cumulated CPU time (s) 1791.22
Current children cumulated vsize (KiB) 142668

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4030
/proc/meminfo: memFree=990536/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=144044 CPUtime=1794.41
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 9670634 0 0 0 174455 4986 0 0 25 0 1 0 181473981 147501056 33370 1992294400 134512640 137136520 4294956256 18446744073709551615 134731460 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 36011 33370 296 640 0 35367 0
Current children cumulated CPU time (s) 1794.41
Current children cumulated vsize (KiB) 144044

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4030
/proc/meminfo: memFree=990536/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=142668 CPUtime=1796.02
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 9678378 0 0 0 174611 4991 0 0 25 0 1 0 181473981 146092032 33365 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 35667 33365 296 640 0 35023 0
Current children cumulated CPU time (s) 1796.02
Current children cumulated vsize (KiB) 142668

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4030
/proc/meminfo: memFree=990536/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=144732 CPUtime=1796.81
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 9682244 0 0 0 174689 4992 0 0 25 0 1 0 181473981 148205568 33373 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 36183 33373 296 640 0 35539 0
Current children cumulated CPU time (s) 1796.81
Current children cumulated vsize (KiB) 144732

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4030
/proc/meminfo: memFree=990536/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=142668 CPUtime=1797.62
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194304 9686132 0 0 0 174767 4995 0 0 25 0 1 0 181473981 146092032 33365 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 35667 33365 296 640 0 35023 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (KiB) 142668

[startup+1798.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4030
/proc/meminfo: memFree=990536/2055924 swapFree=4191900/4192956
[pid=4023] ppid=4021 vsize=0 CPUtime=1798.01
/proc/4023/stat : 4023 (bsolo) R 4021 4023 3796 0 -1 4194308 9688010 0 0 0 174804 4997 0 0 25 0 1 0 181473981 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4023/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.71
CPU time (s): 1798.03
CPU user time (s): 1748.05
CPU system time (s): 49.9804
CPU usage (%): 99.9622
Max. virtual memory (cumulated for all children) (KiB): 145092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1748.05
system time used= 49.9804
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9688010
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= 2752

runsolver used 1.42578 second user time and 3.54746 second system time

The end

Launcher Data 

Begin job on node6 at 2009-06-16 09:52:12
IDJOB=1879865
IDBENCH=1959
IDSOLVER=701
FILE ID=node6/1879865-1245138732
PBS_JOBID= 9363708
Free space on /tmp= 66240 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879865-1245138732/watcher-1879865-1245138732 -o /tmp/evaluation-result-1879865-1245138732/solver-1879865-1245138732 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1879865-1245138732.opb

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

MD5SUM BENCH= 3ddf6338b9f9cf35560b94c856457c56
RANDOM SEED=987611967

node6.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.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:      2055924 kB
MemFree:       1124208 kB
Buffers:         60380 kB
Cached:         789088 kB
SwapCached:        260 kB
Active:          90584 kB
Inactive:       772148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1124208 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            3980 kB
Writeback:           0 kB
Mapped:          21808 kB
Slab:            54936 kB
Committed_AS:   154344 kB
PageTables:       1456 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= 66236 MiB
End job on node6 at 2009-06-16 10:22:11