Trace number 1880002

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 pbSAT-25 1798.02 1798.58

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-2.opb
MD5SUM5909a36352b34473abff2d7e1fe31c04
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-28
Best CPU time to get the best result obtained on this benchmark1796.29
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved YES
Number of variables450
Total number of constraints17874
Number of constraints which are clauses17874
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 450
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 450
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 450
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-1880002-1245164122.opb
0.00/0.00	c File size is 424375 bytes.
0.00/0.05	c Highest Coefficient sum: 450
0.00/0.05	c Parsing was ok!!
0.00/0.05	c Total parsing time: 0.056 s
0.00/0.06	c Var: 450 Constr: 17874 17874/0/0 Lit: 35748 Watch. Lit: 35748
0.00/0.06	c Obj. Vars: 450 (100 % of total variables)
0.19/0.21	c Pre-processing Time: 0.209 s
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c        0    450    17874    35748    2    35748    5958      0      0 0.21
0.19/0.21	c Switching off lower bounding mode.
0.19/0.21	o -20
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c        0    450    17875    36198    2    35770    6958      1      0 0.21
0.19/0.29	o -21
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c       80    450    18014    96180    5    36970    6958    140    275 0.29
0.19/0.29	o -22
0.29/0.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.31	c       81    450    18017    97504    5    36724    6958    143    274 0.29
0.29/0.31	o -23
0.29/0.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.38	c       92    450    18034   104851    5    36877    6958    160    296 0.31
0.29/0.38	o -24
161.14/161.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
161.14/161.26	c      146    450    18141   150901    8    38053    6958    267    381 0.38
161.14/161.26	c      246    450    18333   232907   12    39784    7654    459    433 0.57
161.14/161.26	c      496    450    18825   443188   23    44085    8420    951    427 1.16
161.14/161.26	c      971    450    19766   845863   42    51779    9263   1892    316 3.07
161.14/161.26	c     1784    450    21387  1538181   71    64334   10190   3513    211 8.42
161.14/161.26	c     3105    450    24020  2665192  110    81555   11210   6146    123 25.11
161.14/161.26	c     5186    450    28180  4442730  157   109583   12332  10306     85 60.84
161.14/161.26	c     8409    450    27893  4300481  154   107821   13566  10019     62 134.59
161.14/161.26	o -25
1797.93/1798.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1798.56	c     9723    450    30512  5416792  177   114738    6958  12638     60 161.21
1797.93/1798.56	c     9824    450    21549  1600114   74    63665    7654   3675     59 163.79
1797.93/1798.56	c    10075    450    22041  1810865   82    68270    8420   4167     60 166.60
1797.93/1798.56	c    10550    450    22976  2209670   96    76190    9263   5102     60 173.84
1797.93/1798.56	c    11363    450    24547  2879422  117    87825   10190   6673     60 188.49
1797.93/1798.56	c    12684    450    27154  3991012  146   104803   11210   9280     57 221.39
1797.93/1798.56	c    14765    450    25247  3168260  125    90552   12332   7373     52 281.75
1797.93/1798.56	c    17988    450    25007  3056665  122    93276   13566   7133     50 359.26
1797.93/1798.56	c    22925    450    27651  4171245  150   112559   14923   9777     48 472.42
1797.93/1798.56	c    30431    450    26886  3855338  143   116505   16416   9012     46 655.72
1797.93/1798.56	c    41792    450    32219  6124874  190   149827   18058  14345     42 975.86
1797.93/1798.56	c    58937    450    28369  4485255  158   124065   19864  10495     38 1533.42
1797.93/1798.56	c Resources Exceeded
1797.93/1798.56	v -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1 
1797.93/1798.56	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1798.56	c   24    67675   3230    71605    35427  7512709  17553     37 1798.00
1797.93/1798.56	c Objective: -25
1797.93/1798.56	s SATISFIABLE
1797.93/1798.56	c Total time: 1798 s

Verifier Data 

OK	-25

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1880002-1245164122/watcher-1880002-1245164122 -o /tmp/evaluation-result-1880002-1245164122/solver-1880002-1245164122 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880002-1245164122.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 0.91 3/66 13647
/proc/meminfo: memFree=1695176/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=11132 CPUtime=0
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 69135662 11399168 242 1992294400 134512640 137136520 4294956256 18446744073709551615 134538970 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 2783 243 175 640 0 2035 0

[startup+0.0834161 s]
/proc/loadavg: 1.00 1.00 0.91 3/66 13647
/proc/meminfo: memFree=1695176/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=13288 CPUtime=0.08
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 1005 0 0 0 8 0 0 0 18 0 1 0 69135662 13606912 885 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 3322 885 188 640 0 2678 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13288

[startup+0.102418 s]
/proc/loadavg: 1.00 1.00 0.91 3/66 13647
/proc/meminfo: memFree=1695176/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=13816 CPUtime=0.09
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 1152 0 0 0 9 0 0 0 18 0 1 0 69135662 14147584 1032 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 3454 1032 190 640 0 2810 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13816

[startup+0.302444 s]
/proc/loadavg: 1.00 1.00 0.91 3/66 13647
/proc/meminfo: memFree=1695176/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=14104 CPUtime=0.29
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 1336 0 0 0 28 1 0 0 19 0 1 0 69135662 14442496 1108 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 3526 1108 196 640 0 2882 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14104

[startup+0.701501 s]
/proc/loadavg: 1.00 1.00 0.91 3/66 13647
/proc/meminfo: memFree=1695176/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=16720 CPUtime=0.69
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 1979 0 0 0 67 2 0 0 22 0 1 0 69135662 17121280 1751 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 4180 1752 196 640 0 3536 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16720

[startup+1.5016 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13648
/proc/meminfo: memFree=1687360/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=19952 CPUtime=1.49
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 2803 0 0 0 146 3 0 0 25 0 1 0 69135662 20430848 2575 1992294400 134512640 137136520 4294956256 18446744073709551615 136518953 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 4988 2575 196 640 0 4344 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19952

[startup+3.10181 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13648
/proc/meminfo: memFree=1683456/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=24084 CPUtime=3.09
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 3830 0 0 0 306 3 0 0 25 0 1 0 69135662 24662016 3602 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 6021 3602 196 640 0 5377 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24084

[startup+6.30122 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13648
/proc/meminfo: memFree=1676416/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=30264 CPUtime=6.29
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 5369 0 0 0 624 5 0 0 25 0 1 0 69135662 30990336 5141 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 7566 5141 196 640 0 6922 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30264

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13648
/proc/meminfo: memFree=1668416/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=37520 CPUtime=12.69
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 7189 0 0 0 1263 6 0 0 25 0 1 0 69135662 38420480 6961 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 9380 6961 196 640 0 8736 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37520

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13650
/proc/meminfo: memFree=1657024/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=48360 CPUtime=25.48
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 9911 0 0 0 2540 8 0 0 25 0 1 0 69135662 49520640 9683 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 12090 9683 197 640 0 11446 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48360

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13650
/proc/meminfo: memFree=1639104/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=66324 CPUtime=51.07
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 14398 0 0 0 5096 11 0 0 25 0 1 0 69135662 67915776 14170 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 16581 14170 197 640 0 15937 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 66324

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13650
/proc/meminfo: memFree=1619904/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=85200 CPUtime=102.26
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 19127 0 0 0 10210 16 0 0 25 0 1 0 69135662 87244800 18899 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 21300 18899 197 640 0 20656 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 85200

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13650
/proc/meminfo: memFree=1619840/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=85200 CPUtime=162.24
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 19127 0 0 0 16207 17 0 0 25 0 1 0 69135662 87244800 18899 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 21300 18899 197 640 0 20656 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 85200

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13650
/proc/meminfo: memFree=1619840/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=85200 CPUtime=222.22
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 19127 0 0 0 22204 18 0 0 25 0 1 0 69135662 87244800 18899 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 21300 18899 197 640 0 20656 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 85200

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13650
/proc/meminfo: memFree=1619776/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=85200 CPUtime=282.2
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 19127 0 0 0 28201 19 0 0 25 0 1 0 69135662 87244800 18899 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 21300 18899 197 640 0 20656 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 85200

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13656
/proc/meminfo: memFree=1619648/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=85200 CPUtime=342.18
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 19127 0 0 0 34197 21 0 0 25 0 1 0 69135662 87244800 18899 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 21300 18899 197 640 0 20656 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 85200

[startup+402.303 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13656
/proc/meminfo: memFree=1619648/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=85200 CPUtime=402.16
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 19127 0 0 0 40194 22 0 0 25 0 1 0 69135662 87244800 18899 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 21300 18899 197 640 0 20656 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 85200

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13656
/proc/meminfo: memFree=1612992/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=91924 CPUtime=462.14
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 20790 0 0 0 46191 23 0 0 25 0 1 0 69135662 94130176 20562 1992294400 134512640 137136520 4294956256 18446744073709551615 134574036 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 22981 20562 197 640 0 22337 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 91924

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13656
/proc/meminfo: memFree=1609536/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=96004 CPUtime=522.12
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 21801 0 0 0 52187 25 0 0 25 0 1 0 69135662 98308096 21573 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 24001 21573 197 640 0 23357 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 96004

[startup+582.303 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13656
/proc/meminfo: memFree=1605632/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=99308 CPUtime=582.1
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 22646 0 0 0 58184 26 0 0 25 0 1 0 69135662 101691392 22418 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 24827 22418 197 640 0 24183 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 99308

[startup+642.303 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13656
/proc/meminfo: memFree=1604800/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=100172 CPUtime=642.1
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 22853 0 0 0 64182 28 0 0 25 0 1 0 69135662 102576128 22625 1992294400 134512640 137136520 4294956256 18446744073709551615 135982505 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 25043 22625 197 640 0 24399 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 100172

[startup+702.302 s]

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

/proc/meminfo: memFree=1587136/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=117660 CPUtime=1061.96
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 27228 0 0 0 106159 37 0 0 25 0 1 0 69135662 120483840 27000 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 29415 27000 197 640 0 28771 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 117660

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13656
/proc/meminfo: memFree=1587072/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=117660 CPUtime=1121.94
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 27228 0 0 0 112157 37 0 0 25 0 1 0 69135662 120483840 27000 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 29415 27000 197 640 0 28771 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 117660

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13656
/proc/meminfo: memFree=1586432/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=118280 CPUtime=1181.93
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 27383 0 0 0 118155 38 0 0 25 0 1 0 69135662 121118720 27155 1992294400 134512640 137136520 4294956256 18446744073709551615 134544135 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 29570 27155 197 640 0 28926 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 118280

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13656
/proc/meminfo: memFree=1586368/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=118280 CPUtime=1241.91
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 27383 0 0 0 124152 39 0 0 25 0 1 0 69135662 121118720 27155 1992294400 134512640 137136520 4294956256 18446744073709551615 134598607 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 29570 27155 197 640 0 28926 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 118280

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13656
/proc/meminfo: memFree=1586432/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=118280 CPUtime=1301.89
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 27383 0 0 0 130149 40 0 0 25 0 1 0 69135662 121118720 27155 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 29570 27155 197 640 0 28926 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 118280

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13656
/proc/meminfo: memFree=1586368/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=118244 CPUtime=1361.87
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 27383 0 0 0 136146 41 0 0 25 0 1 0 69135662 121081856 27155 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 29561 27155 197 640 0 28917 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 118244

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13656
/proc/meminfo: memFree=1586368/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=118244 CPUtime=1421.85
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 27383 0 0 0 142143 42 0 0 25 0 1 0 69135662 121081856 27155 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 29561 27155 197 640 0 28917 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 118244

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13656
/proc/meminfo: memFree=1586304/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=118244 CPUtime=1481.83
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 27383 0 0 0 148140 43 0 0 25 0 1 0 69135662 121081856 27155 1992294400 134512640 137136520 4294956256 18446744073709551615 134598481 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 29561 27155 197 640 0 28917 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 118244

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13656
/proc/meminfo: memFree=1586432/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=118244 CPUtime=1541.81
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 27383 0 0 0 154137 44 0 0 25 0 1 0 69135662 121081856 27155 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 29561 27155 197 640 0 28917 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 118244

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13656
/proc/meminfo: memFree=1586368/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=118244 CPUtime=1601.8
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 27383 0 0 0 160135 45 0 0 25 0 1 0 69135662 121081856 27155 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 29561 27155 197 640 0 28917 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 118244

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13656
/proc/meminfo: memFree=1580224/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=124380 CPUtime=1661.78
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 28921 0 0 0 166131 47 0 0 25 0 1 0 69135662 127365120 28693 1992294400 134512640 137136520 4294956256 18446744073709551615 134543884 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 31095 28693 197 640 0 30451 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 124380

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13656
/proc/meminfo: memFree=1576640/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=127848 CPUtime=1721.76
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 29789 0 0 0 172127 49 0 0 25 0 1 0 69135662 130916352 29561 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 31962 29561 197 640 0 31318 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 127848

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13656
/proc/meminfo: memFree=1576576/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=127848 CPUtime=1781.74
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 29789 0 0 0 178125 49 0 0 25 0 1 0 69135662 130916352 29561 1992294400 134512640 137136520 4294956256 18446744073709551615 134573092 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 31962 29561 197 640 0 31318 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 127848

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13656
/proc/meminfo: memFree=1576576/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=127848 CPUtime=1791.33
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 29789 0 0 0 179084 49 0 0 25 0 1 0 69135662 130916352 29561 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 31962 29561 197 640 0 31318 0
Current children cumulated CPU time (s) 1791.33
Current children cumulated vsize (KiB) 127848

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13656
/proc/meminfo: memFree=1576576/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=127848 CPUtime=1794.53
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 29789 0 0 0 179404 49 0 0 25 0 1 0 69135662 130916352 29561 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 31962 29561 197 640 0 31318 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (KiB) 127848

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13656
/proc/meminfo: memFree=1576576/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=127848 CPUtime=1796.13
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 29789 0 0 0 179564 49 0 0 25 0 1 0 69135662 130916352 29561 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 31962 29561 197 640 0 31318 0
Current children cumulated CPU time (s) 1796.13
Current children cumulated vsize (KiB) 127848

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13656
/proc/meminfo: memFree=1576576/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=127848 CPUtime=1796.93
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 29789 0 0 0 179644 49 0 0 25 0 1 0 69135662 130916352 29561 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 31962 29561 197 640 0 31318 0
Current children cumulated CPU time (s) 1796.93
Current children cumulated vsize (KiB) 127848

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13656
/proc/meminfo: memFree=1576576/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=127848 CPUtime=1797.73
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 29789 0 0 0 179724 49 0 0 25 0 1 0 69135662 130916352 29561 1992294400 134512640 137136520 4294956256 18446744073709551615 134543999 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 31962 29561 197 640 0 31318 0
Current children cumulated CPU time (s) 1797.73
Current children cumulated vsize (KiB) 127848

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13656
/proc/meminfo: memFree=1576576/2055920 swapFree=4192956/4192956
[pid=13647] ppid=13645 vsize=127848 CPUtime=1797.93
/proc/13647/stat : 13647 (bsolo) R 13645 13647 13379 0 -1 4194304 29789 0 0 0 179744 49 0 0 25 0 1 0 69135662 130916352 29561 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13647/statm: 31962 29561 197 640 0 31318 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 127848

Child status: 0
Real time (s): 1798.58
CPU time (s): 1798.02
CPU user time (s): 1797.5
CPU system time (s): 0.517921
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (KiB): 127848

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

runsolver used 2.36064 second user time and 4.18836 second system time

The end

Launcher Data 

Begin job on node40 at 2009-06-16 16:55:22
IDJOB=1880002
IDBENCH=2237
IDSOLVER=701
FILE ID=node40/1880002-1245164122
PBS_JOBID= 9363807
Free space on /tmp= 66560 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-2.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1880002-1245164122/watcher-1880002-1245164122 -o /tmp/evaluation-result-1880002-1245164122/solver-1880002-1245164122 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1880002-1245164122.opb

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

MD5SUM BENCH= 5909a36352b34473abff2d7e1fe31c04
RANDOM SEED=27381843

node40.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.216
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.216
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:       1695592 kB
Buffers:         45468 kB
Cached:         233332 kB
SwapCached:          0 kB
Active:         141256 kB
Inactive:       152196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1695592 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4352 kB
Writeback:           0 kB
Mapped:          24708 kB
Slab:            52696 kB
Committed_AS:    54684 kB
PageTables:       1472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1880002-1245164122.opb

Free space on /tmp at the end= 66556 MiB
End job on node40 at 2009-06-16 17:25:21