Trace number 2657130

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2 CardSAT-24 1798.02 1798.73

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
MD5SUM2e8a2f5e2511f10f037e700bd45c84a1
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 benchmark1789.74
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 constraints17794
Number of constraints which are clauses17794
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.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2657130-1276485905.opb
0.00/0.00	c File size is 421987 bytes.
0.00/0.06	c Highest Coefficient sum: 450
0.00/0.06	c Parsing was ok!!
0.00/0.06	c Total parsing time: 0.068 s
0.00/0.07	c Var: 450 Constr: 17794 17794/0/0 Lit: 35588 Watch. Lit: 35588
0.00/0.07	c Obj. Vars: 450 (100 % of total variables)
0.19/0.23	c Pre-processing Time: 0.229 s
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c        0    450    17794    35588    2    35588    5931      0      0 0.23
0.19/0.23	c Switching off lower bounding mode.
0.19/0.23	o -22
0.19/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.25	c        0    450    17795    36038    2    35612    6931      1      0 0.23
0.19/0.25	o -23
0.99/1.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.01	c       27    450    17829    50454    2    35703    6931     35    106 0.25
0.99/1.01	c      127    450    17947   100304    5    35939    7625    153    384 0.33
0.99/1.01	c      378    450    18232   220691   12    36509    8388    438    687 0.55
0.99/1.01	c      853    450    18759   443601   23    37563    9227    965    850 1.00
0.99/1.01	o -24
1797.99/1798.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.99/1798.71	c      866    450    18775   450398   23    37619    6931    981    852 1.02
1797.99/1798.71	c      967    450    18890   498858   26    37849    7625   1096    871 1.11
1797.99/1798.71	c     1217    450    19185   623011   32    38439    8388   1391    904 1.34
1797.99/1798.71	c     1692    450    19733   853307   43    39535    9227   1939    927 1.82
1797.99/1798.71	c     2505    450    20668  1247005   60    41405   10150   2874    941 2.66
1797.99/1798.71	c     3825    450    22203  1892569   85    44475   11166   4409    883 4.33
1797.99/1798.71	c     5906    450    24614  2906385  118    49318   12283   6820    802 7.36
1797.99/1798.71	c     9130    450    28357  4480383  157    56825   13512  10563    686 13.30
1797.99/1798.71	c    14067    450    26959  3890021  144    53942   14864   9165    563 24.96
1797.99/1798.71	c    21573    450    27904  4288985  153    55854   16351  10110    473 45.53
1797.99/1798.71	c    32934    450    32756  6321475  192    65536   17987  14962    431 76.26
1797.99/1798.71	c    50078    450    33957  6831742  201    67981   19786  16163    388 128.83
1797.99/1798.71	c    75897    450    33345  6556215  196    66753   21765  15551    345 219.99
1797.99/1798.71	c   114729    450    33759  6751883  200    67542   23942  15965    309 370.62
1797.99/1798.71	c   173082    450    40809  9692160  237    81659   26337  23015    254 681.00
1797.99/1798.71	c   260715    450    33288  6503235  195    66656   28971  15494    247 1053.61
1797.99/1798.71	c   392268    450    39270  9066744  230    78606   31869  21476    231 1693.55
1797.99/1798.71	c Resources Exceeded
1797.99/1798.71	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.99/1798.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.99/1798.71	c   22   413484  30935   450217    44387 11217176  26593    229 1798.00
1797.99/1798.71	c Objective: -24
1797.99/1798.71	s SATISFIABLE
1797.99/1798.71	c Total time: 1798 s

Verifier Data 

OK	-24

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657130-1276485905/watcher-2657130-1276485905 -o /tmp/evaluation-result-2657130-1276485905/solver-2657130-1276485905 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2657130-1276485905.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.92 0.98 0.99 3/106 29981
/proc/meminfo: memFree=1825280/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=11344 CPUtime=0
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 343 0 0 0 0 0 0 0 20 0 1 0 24192108 11616256 261 1992294400 134512640 137138936 4288996192 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 2836 261 175 642 0 2088 0

[startup+0.079548 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 29981
/proc/meminfo: memFree=1825280/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=13368 CPUtime=0.07
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 1065 0 0 0 7 0 0 0 20 0 1 0 24192108 13688832 879 1992294400 134512640 137138936 4288996192 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 3342 879 184 642 0 2698 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13368

[startup+0.101553 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 29981
/proc/meminfo: memFree=1825280/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=13896 CPUtime=0.09
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 1211 0 0 0 9 0 0 0 20 0 1 0 24192108 14229504 1025 1992294400 134512640 137138936 4288996192 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 3474 1025 185 642 0 2830 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13896

[startup+0.301592 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 29981
/proc/meminfo: memFree=1825280/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=13876 CPUtime=0.29
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 1337 0 0 0 28 1 0 0 20 0 1 0 24192108 14209024 1043 1992294400 134512640 137138936 4288996192 18446744073709551615 136504020 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 3469 1044 192 642 0 2825 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13876

[startup+0.70167 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 29981
/proc/meminfo: memFree=1825280/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=16764 CPUtime=0.69
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 2052 0 0 0 68 1 0 0 21 0 1 0 24192108 17166336 1758 1992294400 134512640 137138936 4288996192 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 4191 1758 192 642 0 3547 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16764

[startup+1.50183 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 29982
/proc/meminfo: memFree=1816964/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=21924 CPUtime=1.49
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 3342 0 0 0 147 2 0 0 23 0 1 0 24192108 22450176 3048 1992294400 134512640 137138936 4288996192 18446744073709551615 136296996 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 5481 3048 192 642 0 4837 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21924

[startup+3.10114 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 29982
/proc/meminfo: memFree=1809772/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=31512 CPUtime=3.09
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 5743 0 0 0 306 3 0 0 25 0 1 0 24192108 32268288 5449 1992294400 134512640 137138936 4288996192 18446744073709551615 134533442 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 7878 5449 192 642 0 7234 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31512

[startup+6.30176 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 29982
/proc/meminfo: memFree=1792164/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=46816 CPUtime=6.29
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 9558 0 0 0 623 6 0 0 25 0 1 0 24192108 47939584 9264 1992294400 134512640 137138936 4288996192 18446744073709551615 136500266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 11704 9264 192 642 0 11060 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46816

[startup+12.702 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 29982
/proc/meminfo: memFree=1768108/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=69244 CPUtime=12.69
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 15177 0 0 0 1260 9 0 0 25 0 1 0 24192108 70905856 14883 1992294400 134512640 137138936 4288996192 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 17311 14883 192 642 0 16667 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 69244

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 29982
/proc/meminfo: memFree=1745664/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=89516 CPUtime=25.48
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 20244 0 0 0 2534 14 0 0 25 0 1 0 24192108 91664384 19950 1992294400 134512640 137138936 4288996192 18446744073709551615 136501665 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 22379 19950 192 642 0 21735 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 89516

[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 29984
/proc/meminfo: memFree=1738100/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=97024 CPUtime=51.07
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 22115 0 0 0 5087 20 0 0 25 0 1 0 24192108 99352576 21821 1992294400 134512640 137138936 4288996192 18446744073709551615 136296970 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 24256 21821 192 642 0 23612 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 97024

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 29984
/proc/meminfo: memFree=1720988/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=113988 CPUtime=102.25
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 26352 0 0 0 10197 28 0 0 25 0 1 0 24192108 116723712 26058 1992294400 134512640 137138936 4288996192 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 28497 26058 192 642 0 27853 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 113988

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 29986
/proc/meminfo: memFree=1710448/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=124324 CPUtime=162.23
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 28947 0 0 0 16184 39 0 0 25 0 1 0 24192108 127307776 28653 1992294400 134512640 137138936 4288996192 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 31081 28653 192 642 0 30437 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 124324

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 29988
/proc/meminfo: memFree=1710448/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=124324 CPUtime=222.2
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 28947 0 0 0 22173 47 0 0 25 0 1 0 24192108 127307776 28653 1992294400 134512640 137138936 4288996192 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 31081 28653 192 642 0 30437 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 124324

[startup+282.301 s]
/proc/loadavg: 1.07 1.00 1.00 2/107 29990
/proc/meminfo: memFree=1699784/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=135072 CPUtime=282.18
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 31637 0 0 0 28162 56 0 0 25 0 1 0 24192108 138313728 31343 1992294400 134512640 137138936 4288996192 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 33768 31343 192 642 0 33124 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 135072

[startup+342.301 s]
/proc/loadavg: 1.02 1.00 1.00 2/107 29992
/proc/meminfo: memFree=1699536/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=135180 CPUtime=342.16
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 31663 0 0 0 34153 63 0 0 25 0 1 0 24192108 138424320 31369 1992294400 134512640 137138936 4288996192 18446744073709551615 134577137 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 33795 31369 192 642 0 33151 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 135180

[startup+402.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 29992
/proc/meminfo: memFree=1687508/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=147188 CPUtime=402.13
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 34658 0 0 0 40141 72 0 0 25 0 1 0 24192108 150720512 34364 1992294400 134512640 137138936 4288996192 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 36797 34364 192 642 0 36153 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 147188

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29994
/proc/meminfo: memFree=1687508/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=147184 CPUtime=462.1
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 34658 0 0 0 46133 77 0 0 25 0 1 0 24192108 150716416 34364 1992294400 134512640 137138936 4288996192 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 36796 34364 192 642 0 36152 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 147184

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29996
/proc/meminfo: memFree=1687384/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=147184 CPUtime=522.08
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 34658 0 0 0 52126 82 0 0 25 0 1 0 24192108 150716416 34364 1992294400 134512640 137138936 4288996192 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 36796 34364 192 642 0 36152 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 147184

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29998
/proc/meminfo: memFree=1687384/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=147184 CPUtime=582.06
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 34658 0 0 0 58118 88 0 0 25 0 1 0 24192108 150716416 34364 1992294400 134512640 137138936 4288996192 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 36796 34364 192 642 0 36152 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 147184

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30000
/proc/meminfo: memFree=1687260/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=147184 CPUtime=642.05
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 34658 0 0 0 64109 96 0 0 25 0 1 0 24192108 150716416 34364 1992294400 134512640 137138936 4288996192 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 36796 34364 192 642 0 36152 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 147184

[startup+702.301 s]

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

/proc/meminfo: memFree=1673744/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=160444 CPUtime=1061.87
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 37975 0 0 0 106038 149 0 0 25 0 1 0 24192108 164294656 37681 1992294400 134512640 137138936 4288996192 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 40111 37681 192 642 0 39467 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 160444

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30012
/proc/meminfo: memFree=1659856/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=174316 CPUtime=1121.85
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 41445 0 0 0 112027 158 0 0 25 0 1 0 24192108 178499584 41151 1992294400 134512640 137138936 4288996192 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 43579 41151 192 642 0 42935 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 174316

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30014
/proc/meminfo: memFree=1659608/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=174440 CPUtime=1181.83
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 41476 0 0 0 118019 164 0 0 25 0 1 0 24192108 178626560 41182 1992294400 134512640 137138936 4288996192 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 43610 41182 192 642 0 42966 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 174440

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30014
/proc/meminfo: memFree=1659484/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=174480 CPUtime=1241.81
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 41485 0 0 0 124010 171 0 0 25 0 1 0 24192108 178667520 41191 1992294400 134512640 137138936 4288996192 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 43620 41191 192 642 0 42976 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 174480

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30016
/proc/meminfo: memFree=1659360/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=174568 CPUtime=1301.79
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 41508 0 0 0 130003 176 0 0 25 0 1 0 24192108 178757632 41214 1992294400 134512640 137138936 4288996192 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 43642 41214 192 642 0 42998 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 174568

[startup+1362.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 30018
/proc/meminfo: memFree=1659360/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=174568 CPUtime=1361.76
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 41508 0 0 0 135993 183 0 0 25 0 1 0 24192108 178757632 41214 1992294400 134512640 137138936 4288996192 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 43642 41214 192 642 0 42998 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 174568

[startup+1422.31 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 30020
/proc/meminfo: memFree=1659360/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=174564 CPUtime=1421.74
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 41508 0 0 0 141984 190 0 0 25 0 1 0 24192108 178753536 41214 1992294400 134512640 137138936 4288996192 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 43641 41214 192 642 0 42997 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 174564

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30022
/proc/meminfo: memFree=1659236/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=174560 CPUtime=1481.72
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 41508 0 0 0 147976 196 0 0 25 0 1 0 24192108 178749440 41214 1992294400 134512640 137138936 4288996192 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 43640 41214 192 642 0 42996 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 174560

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30022
/proc/meminfo: memFree=1659236/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=174560 CPUtime=1541.69
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 41508 0 0 0 153967 202 0 0 25 0 1 0 24192108 178749440 41214 1992294400 134512640 137138936 4288996192 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 43640 41214 192 642 0 42996 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 174560

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30024
/proc/meminfo: memFree=1659236/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=174560 CPUtime=1601.66
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 41508 0 0 0 159958 208 0 0 25 0 1 0 24192108 178749440 41214 1992294400 134512640 137138936 4288996192 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 43640 41214 192 642 0 42996 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 174560

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30026
/proc/meminfo: memFree=1659236/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=174528 CPUtime=1661.65
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 41508 0 0 0 165951 214 0 0 25 0 1 0 24192108 178716672 41207 1992294400 134512640 137138936 4288996192 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 43632 41207 192 642 0 42988 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 174528

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30028
/proc/meminfo: memFree=1652540/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=182640 CPUtime=1721.62
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 43525 0 0 0 171940 222 0 0 25 0 1 0 24192108 187023360 43221 1992294400 134512640 137138936 4288996192 18446744073709551615 134542665 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 45660 43221 192 642 0 45016 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 182640

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30030
/proc/meminfo: memFree=1643116/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=190392 CPUtime=1781.59
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 45477 0 0 0 177930 229 0 0 25 0 1 0 24192108 194961408 45173 1992294400 134512640 137138936 4288996192 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 47598 45173 192 642 0 46954 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 190392

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30030
/proc/meminfo: memFree=1643116/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=190392 CPUtime=1791.2
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 45477 0 0 0 178891 229 0 0 25 0 1 0 24192108 194961408 45173 1992294400 134512640 137138936 4288996192 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 47598 45173 192 642 0 46954 0
Current children cumulated CPU time (s) 1791.2
Current children cumulated vsize (KiB) 190392

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30030
/proc/meminfo: memFree=1643116/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=190392 CPUtime=1794.39
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 45477 0 0 0 179210 229 0 0 25 0 1 0 24192108 194961408 45173 1992294400 134512640 137138936 4288996192 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 47598 45173 192 642 0 46954 0
Current children cumulated CPU time (s) 1794.39
Current children cumulated vsize (KiB) 190392

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30030
/proc/meminfo: memFree=1643116/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=190392 CPUtime=1795.98
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 45477 0 0 0 179369 229 0 0 25 0 1 0 24192108 194961408 45173 1992294400 134512640 137138936 4288996192 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 47598 45173 192 642 0 46954 0
Current children cumulated CPU time (s) 1795.98
Current children cumulated vsize (KiB) 190392

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30030
/proc/meminfo: memFree=1643116/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=190392 CPUtime=1796.78
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 45477 0 0 0 179449 229 0 0 25 0 1 0 24192108 194961408 45173 1992294400 134512640 137138936 4288996192 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 47598 45173 192 642 0 46954 0
Current children cumulated CPU time (s) 1796.78
Current children cumulated vsize (KiB) 190392

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30030
/proc/meminfo: memFree=1643116/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=190392 CPUtime=1797.58
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 45477 0 0 0 179529 229 0 0 25 0 1 0 24192108 194961408 45173 1992294400 134512640 137138936 4288996192 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 47598 45173 192 642 0 46954 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (KiB) 190392

[startup+1798.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30030
/proc/meminfo: memFree=1643116/2059040 swapFree=4136184/4192956
[pid=29981] ppid=29979 vsize=190392 CPUtime=1797.99
/proc/29981/stat : 29981 (bsolo_pb10) R 29979 29981 28708 0 -1 4202496 45477 0 0 0 179569 230 0 0 25 0 1 0 24192108 194961408 45173 1992294400 134512640 137138936 4288996192 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29981/statm: 47598 45173 192 642 0 46954 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 190392

Child status: 0
Real time (s): 1798.73
CPU time (s): 1798.02
CPU user time (s): 1795.7
CPU system time (s): 2.32065
CPU usage (%): 99.9607
Max. virtual memory (cumulated for all children) (KiB): 190392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.7
system time used= 2.32065
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45478
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 16077

runsolver used 2.87656 second user time and 8.57869 second system time

The end

Launcher Data 

Begin job on node011 at 2010-06-14 05:25:05
IDJOB=2657130
IDBENCH=2235
IDSOLVER=1162
FILE ID=node011/2657130-1276485905
PBS_JOBID= 11173377
Free space on /tmp= 62264 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657130-1276485905/watcher-2657130-1276485905 -o /tmp/evaluation-result-2657130-1276485905/solver-2657130-1276485905 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2657130-1276485905.opb

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

MD5SUM BENCH= 2e8a2f5e2511f10f037e700bd45c84a1
RANDOM SEED=357265304

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.52
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.264
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1825684 kB
Buffers:         55224 kB
Cached:         102112 kB
SwapCached:       9796 kB
Active:          92928 kB
Inactive:        76804 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1825684 kB
SwapTotal:     4192956 kB
SwapFree:      4136184 kB
Dirty:            4340 kB
Writeback:           0 kB
AnonPages:       11124 kB
Mapped:           9228 kB
Slab:            41752 kB
PageTables:       3956 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181292 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62260 MiB
End job on node011 at 2010-06-14 05:55:04