Trace number 353397

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, and are wall clock time (not CPU 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.0.16SAT (TO)-25 1800.04 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb
MD5SUM8e251d4e151b2868eb3a52cf845e4cf8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-30
Best CPU time to get the best result obtained on this benchmark127.537
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 constraints17809
Number of constraints which are clauses17809
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 (download as text)

0.00/0.01	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.01	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Time Limit set to 1800
0.00/0.01	c Memory Limit set to 1800 MB
0.00/0.01	c Instance file /tmp/evaluation/353397-1176664729/instance-353397-1176664729.opb
0.00/0.01	c File size is 422772 bytes.
0.02/0.08	c Highest Coefficient sum: 450
0.02/0.08	c Parsing was ok!!
0.02/0.08	c Total parsing time: 0.07 s
0.02/0.08	c Var: 450 Constr: 17809 17809/0/0 Lit: 35618 Watch. Lit: 35618
0.02/0.08	c Obj. Vars: 450 (100 % of total variables)
0.19/0.23	c Pre-processing Time: 0.229 s
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c        0    450    17809    35618    2    35618    5936      0      0 0.23
0.19/0.24	c Switching off LPR mode.
0.19/0.24	o -23	0.232
0.28/0.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.37	c        0    450    17810    36068    2    35643    6936      1      0 0.23
0.28/0.37	c      101    450    17911    78781    4    35845    7630    102    392 0.26
0.28/0.37	c      351    450    18161   184680   10    36345    8394    352   1063 0.33
0.28/0.37	o -24	0.368
0.48/0.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.48/0.58	c      505    450    18316   250405   13    36679    6936    507   1368 0.37
0.48/0.58	c      605    450    18416   292633   15    36879    7630    607   1527 0.40
0.48/0.58	c      855    450    18666   398100   21    37379    8394    857   1830 0.47
0.48/0.58	o -25	0.574
1799.92/1800.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.92/1800.47	c     1195    450    19007   542198   28    38086    6936   1198   2078 0.57
1799.92/1800.47	c     1295    450    19107   584211   30    38286    7630   1298   2140 0.60
1799.92/1800.47	c     1545    450    19357   689426   35    38786    8394   1548   2139 0.72
1799.92/1800.47	c     2021    450    19833   889736   44    39738    9234   2024   2288 0.88
1799.92/1800.47	c     2834    450    20646  1231341   59    41364   10158   2837   2254 1.26
1799.92/1800.47	c     4154    450    21966  1787148   81    44004   11174   4157   2190 1.90
1799.92/1800.47	c     6235    450    24047  2662697  110    48166   12292   6238   1854 3.36
1799.92/1800.47	c     9458    450    27270  4019853  147    54612   13522   9461   1417 6.67
1799.92/1800.47	c    14394    450    25012  3065663  122    50049   14875   7203    775 18.55
1799.92/1800.47	c    21900    450    32518  6228045  191    65061   16363  14709    676 32.38
1799.92/1800.47	c    33261    450    26656  3758358  140    53337   18000   8847    585 56.85
1799.92/1800.47	c    50405    450    34376  7002691  203    68777   19801  16567    371 135.73
1799.92/1800.47	c    76224    450    29212  4834310  165    58449   21782  11403    311 244.73
1799.92/1800.47	c   115056    450    33984  6839721  201    67993   23961  16175    264 434.21
1799.92/1800.47	c   173409    450    38901  8901808  228    77827   26358  21092    218 795.19
1799.92/1800.47	c   261041    450    33525  6645751  198    67075   28994  15716    188 1381.86
1799.92/1800.47	c Resources Exceeded
1799.92/1800.47	v -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430
1799.92/1800.47	v -x429 -x428 -x427 -x426 -x425 -x424 x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409
1799.92/1800.47	v -x408 -x407 -x406 -x405 -x404 x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388
1799.92/1800.47	v -x387 -x386 -x385 -x384 -x383 x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367
1799.92/1800.47	v -x366 -x365 -x364 x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346
1799.92/1800.47	v -x345 x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 x326 -x325
1799.92/1800.47	v -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 x306 -x305 -x304
1799.92/1800.47	v -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283
1799.92/1800.47	v -x282 -x281 -x280 -x279 x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262
1799.92/1800.47	v -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 x246 -x245 -x244 -x243 -x242 -x241
1799.92/1800.47	v -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220
1799.92/1800.47	v -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199
1799.92/1800.47	v -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178
1799.92/1800.47	v -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157
1799.92/1800.47	v -x156 -x155 -x154 x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136
1799.92/1800.47	v -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115
1799.92/1800.47	v -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93
1799.92/1800.47	v -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
1799.92/1800.47	v -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
1799.92/1800.47	v -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
1799.92/1800.47	v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1799.92/1800.47	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.92/1800.47	c   22   318633  24226   347144    36461  7879092  18652    177 1800.01
1799.92/1800.47	c Objective: -25
1799.92/1800.47	s SATISFIABLE
1799.92/1800.47	c Total time: 1800.01 s

Verifier Data (download as text)

OK	-25

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node44/watcher-353397-1176664729 -o ROOT/results/node44/solver-353397-1176664729 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353397-1176664729/instance-353397-1176664729.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.97 0.97 0.98 3/64 4860
/proc/meminfo: memFree=1823024/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=3780 CPUtime=0
/proc/4860/stat : 4860 (bsolo3.0.16) D 4858 4860 4752 0 -1 4194304 185 0 2 0 0 0 0 0 18 0 1 0 114384628 3870720 155 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160395582 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/4860/statm: 945 155 129 324 0 14 0

[startup+0.0344561 s]
/proc/loadavg: 0.97 0.97 0.98 3/64 4860
/proc/meminfo: memFree=1823024/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=5024 CPUtime=0.02
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 549 0 3 0 2 0 0 0 18 0 1 0 114384628 5144576 520 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 1256 521 316 324 0 221 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5024

[startup+0.101463 s]
/proc/loadavg: 0.97 0.97 0.98 3/64 4860
/proc/meminfo: memFree=1823024/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=6636 CPUtime=0.09
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 1148 0 3 0 9 0 0 0 18 0 1 0 114384628 6795264 1015 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 1659 1015 304 324 0 728 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6636

[startup+0.301483 s]
/proc/loadavg: 0.97 0.97 0.98 3/64 4860
/proc/meminfo: memFree=1823024/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=7932 CPUtime=0.28
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 1592 0 3 0 27 1 0 0 19 0 1 0 114384628 8122368 1352 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 1983 1353 312 324 0 1052 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7932

[startup+0.701523 s]
/proc/loadavg: 0.97 0.97 0.98 3/64 4860
/proc/meminfo: memFree=1823024/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=14840 CPUtime=0.68
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 3321 0 3 0 67 1 0 0 22 0 1 0 114384628 15196160 3080 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 3710 3080 312 324 0 2779 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 14840

[startup+1.50161 s]
/proc/loadavg: 0.97 0.97 0.98 2/65 4861
/proc/meminfo: memFree=1806760/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=25356 CPUtime=1.48
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 5953 0 3 0 146 2 0 0 25 0 1 0 114384628 25964544 5712 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 6339 5713 312 324 0 5408 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 25356

[startup+3.10177 s]
/proc/loadavg: 0.97 0.97 0.98 2/65 4861
/proc/meminfo: memFree=1793896/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=38860 CPUtime=3.08
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 9332 0 3 0 304 4 0 0 25 0 1 0 114384628 39792640 9091 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 9715 9091 312 324 0 8784 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 38860

[startup+6.3011 s]
/proc/loadavg: 0.97 0.97 0.98 2/65 4861
/proc/meminfo: memFree=1771560/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=57080 CPUtime=6.28
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 13893 0 3 0 621 7 0 0 25 0 1 0 114384628 58449920 13652 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 14270 13654 312 324 0 13339 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 57080

[startup+12.7018 s]
/proc/loadavg: 0.98 0.97 0.98 2/65 4861
/proc/meminfo: memFree=1751720/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=75828 CPUtime=12.68
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 18589 0 3 0 1258 10 0 0 25 0 1 0 114384628 77647872 18348 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 18957 18348 312 324 0 18026 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 75828

[startup+25.5011 s]
/proc/loadavg: 0.98 0.97 0.98 2/65 4861
/proc/meminfo: memFree=1742952/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=82848 CPUtime=25.48
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 20329 0 3 0 2536 12 0 0 25 0 1 0 114384628 84836352 20088 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 20712 20088 312 324 0 19781 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 82848

[startup+51.1017 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4861
/proc/meminfo: memFree=1727464/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=98356 CPUtime=51.07
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 24209 0 3 0 5091 16 0 0 25 0 1 0 114384628 100716544 23968 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 24589 23968 312 324 0 23658 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 98356

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4861
/proc/meminfo: memFree=1718632/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=107192 CPUtime=102.26
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 26420 0 3 0 10205 21 0 0 25 0 1 0 114384628 109764608 26179 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 26798 26179 312 324 0 25867 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 107192

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4861
/proc/meminfo: memFree=1708712/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=117024 CPUtime=162.23
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 28879 0 3 0 16198 25 0 0 25 0 1 0 114384628 119832576 28638 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 29256 28638 312 324 0 28325 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 117024

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4861
/proc/meminfo: memFree=1708520/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=117208 CPUtime=222.22
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 28925 0 3 0 22194 28 0 0 25 0 1 0 114384628 120020992 28684 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 29302 28684 312 324 0 28371 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 117208

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4861
/proc/meminfo: memFree=1697640/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=128068 CPUtime=282.21
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 31642 0 3 0 28188 33 0 0 25 0 1 0 114384628 131141632 31401 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 32017 31401 312 324 0 31086 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 128068

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4861
/proc/meminfo: memFree=1697576/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=128068 CPUtime=342.2
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 31642 0 3 0 34184 36 0 0 25 0 1 0 114384628 131141632 31401 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 32017 31401 312 324 0 31086 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 128068

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4861
/proc/meminfo: memFree=1697576/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=128068 CPUtime=402.18
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 31642 0 3 0 40181 37 0 0 25 0 1 0 114384628 131141632 31401 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 32017 31401 312 324 0 31086 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 128068

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4861
/proc/meminfo: memFree=1685864/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=139804 CPUtime=462.16
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 34578 0 3 0 46174 42 0 0 25 0 1 0 114384628 143159296 34337 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 34951 34337 312 324 0 34020 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 139804

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4861
/proc/meminfo: memFree=1685800/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=139804 CPUtime=522.15
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 34578 0 3 0 52170 45 0 0 25 0 1 0 114384628 143159296 34337 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 34951 34337 312 324 0 34020 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 139804

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4861
/proc/meminfo: memFree=1687464/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=137956 CPUtime=582.14
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 34578 0 3 0 58166 48 0 0 25 0 1 0 114384628 141266944 33883 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 34489 33883 312 324 0 33558 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 137956

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4861
/proc/meminfo: memFree=1685736/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=139808 CPUtime=642.12
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 35033 0 3 0 64163 49 0 0 25 0 1 0 114384628 143163392 34338 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 34952 34338 312 324 0 34021 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 139808


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4861
/proc/meminfo: memFree=1672744/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=152784 CPUtime=882.05
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 38734 0 3 0 88143 62 0 0 25 0 1 0 114384628 156450816 37584 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 38196 37584 312 324 0 37265 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 152784

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4861
/proc/meminfo: memFree=1672616/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=152880 CPUtime=942.04
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 38758 0 3 0 94139 65 0 0 25 0 1 0 114384628 156549120 37608 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 38220 37608 312 324 0 37289 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 152880

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4861
/proc/meminfo: memFree=1672680/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=152880 CPUtime=1002.02
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 38758 0 3 0 100136 66 0 0 25 0 1 0 114384628 156549120 37608 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11712341 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 38220 37608 312 324 0 37289 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 152880

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4861
/proc/meminfo: memFree=1672616/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=152880 CPUtime=1062.01
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 38761 0 3 0 106133 68 0 0 25 0 1 0 114384628 156549120 37611 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572575 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 38220 37611 312 324 0 37289 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 152880

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4861
/proc/meminfo: memFree=1672680/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=152880 CPUtime=1122
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 38761 0 3 0 112130 70 0 0 25 0 1 0 114384628 156549120 37611 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 38220 37611 312 324 0 37289 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 152880

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4863
/proc/meminfo: memFree=1672616/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=152880 CPUtime=1181.98
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 38761 0 3 0 118125 73 0 0 25 0 1 0 114384628 156549120 37611 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 38220 37611 312 324 0 37289 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 152880

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4863
/proc/meminfo: memFree=1672616/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=152880 CPUtime=1241.96
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 38761 0 3 0 124122 74 0 0 25 0 1 0 114384628 156549120 37611 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 38220 37611 312 324 0 37289 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 152880

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4863
/proc/meminfo: memFree=1672616/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=152880 CPUtime=1301.95
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 38761 0 3 0 130119 76 0 0 25 0 1 0 114384628 156549120 37611 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 38220 37611 312 324 0 37289 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 152880

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4863
/proc/meminfo: memFree=1672488/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=152984 CPUtime=1361.93
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 38784 0 3 0 136116 77 0 0 25 0 1 0 114384628 156655616 37634 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 38246 37634 312 324 0 37315 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 152984

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4863
/proc/meminfo: memFree=1669736/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=155812 CPUtime=1421.92
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 39484 0 3 0 142111 81 0 0 25 0 1 0 114384628 159551488 38334 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 38953 38334 312 324 0 38022 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 155812

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4863
/proc/meminfo: memFree=1658152/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=167272 CPUtime=1481.91
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 42359 0 3 0 148105 86 0 0 25 0 1 0 114384628 171286528 41209 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 41818 41209 312 324 0 40887 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 167272

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4863
/proc/meminfo: memFree=1658152/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=167272 CPUtime=1541.89
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 42359 0 3 0 154101 88 0 0 25 0 1 0 114384628 171286528 41209 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 41818 41209 312 324 0 40887 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 167272

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4863
/proc/meminfo: memFree=1658152/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=167320 CPUtime=1601.87
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 42371 0 3 0 160098 89 0 0 25 0 1 0 114384628 171335680 41221 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 41830 41221 312 324 0 40899 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 167320

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4863
/proc/meminfo: memFree=1658088/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=167320 CPUtime=1661.86
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 42371 0 3 0 166095 91 0 0 25 0 1 0 114384628 171335680 41221 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11712350 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 41830 41221 312 324 0 40899 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 167320

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4863
/proc/meminfo: memFree=1658088/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=167320 CPUtime=1721.84
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 42371 0 3 0 172092 92 0 0 25 0 1 0 114384628 171335680 41221 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 41830 41221 312 324 0 40899 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 167320

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4863
/proc/meminfo: memFree=1657960/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=167404 CPUtime=1781.82
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194304 42392 0 3 0 178089 93 0 0 25 0 1 0 114384628 171421696 41242 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 41851 41242 312 324 0 40920 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 167404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4863
/proc/meminfo: memFree=1796840/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=0 CPUtime=1800.03
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194308 42393 0 3 0 179906 97 0 0 25 0 1 0 114384628 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 0

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4863
/proc/meminfo: memFree=1796840/2055920 swapFree=4184880/4192956
[pid=4860] ppid=4858 vsize=0 CPUtime=1800.03
/proc/4860/stat : 4860 (bsolo3.0.16) R 4858 4860 4752 0 -1 4194308 42393 0 3 0 179906 97 0 0 25 0 1 0 114384628 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.06
CPU system time (s): 0.974851
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 167404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.06
system time used= 0.974851
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42393
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 3536

runsolver used 1.13983 second user time and 3.79642 second system time

The end

Launcher Data (download as text)

Begin job on node44 on Sun Apr 15 19:18:49 UTC 2007

IDJOB= 353397
IDBENCH= 2239
IDSOLVER= 163
FILE ID= node44/353397-1176664729

PBS_JOBID= 4559928

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353397-1176664729/instance-353397-1176664729.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node44/watcher-353397-1176664729 -o ROOT/results/node44/solver-353397-1176664729 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353397-1176664729/instance-353397-1176664729.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  8e251d4e151b2868eb3a52cf845e4cf8

RANDOM SEED= 14436246

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1823496 kB
Buffers:         19924 kB
Cached:         123472 kB
SwapCached:       2124 kB
Active:          62688 kB
Inactive:        90476 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1823496 kB
SwapTotal:     4192956 kB
SwapFree:      4184880 kB
Dirty:            4808 kB
Writeback:           0 kB
Mapped:          16780 kB
Slab:            65296 kB
Committed_AS:   257980 kB
PageTables:       1396 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= 66558 MiB

End job on node44 on Sun Apr 15 19:48:52 UTC 2007