Trace number 352214

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)226 1800.03 1800.81

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb
MD5SUM7db364152f2aec17f16cb8adef9dc3c7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark184
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 184
Optimality of the best value was proved NO
Number of variables470
Total number of constraints469
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints469
Minimum length of a constraint3
Maximum length of a constraint18
Number of terms in the objective function 470
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 470
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 470
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

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/352214-1176626213/instance-352214-1176626213.opb
0.00/0.01	c File size is 42910 bytes.
0.00/0.02	c Highest Coefficient sum: 470
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.015 s
0.00/0.02	c Var: 470 Constr: 469 0/0/469 Lit: 4245 Watch. Lit: 1518
0.00/0.02	c Obj. Vars: 470 (100 % of total variables)
0.00/0.03	c Pre-processing Time: 0.019 s
0.48/0.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.48/0.56	c        0    470      469     4245    9     1995    8490      0      0 0.02
0.48/0.56	c Initial Lower Bound: 142
0.48/0.56	c Initial Path Cost: 0
0.48/0.56	o 226	0.552
1799.91/1800.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.91/1800.78	c        0    470      470     4715   10     2415    9490      1      0 0.55
1799.91/1800.78	c      100    470      638    44884   70     2768   10440    169     14 6.91
1799.91/1800.78	c      350    470     1026   136293  132     3534   11485    557     23 14.79
1799.91/1800.78	c      825    470     1931   361729  187     5327   12634   1462     33 24.48
1799.91/1800.78	c     1638    470     3351   723039  215     8193   13898   2882     46 35.15
1799.91/1800.78	c     2958    470     5608  1273601  227    12683   15288   5139     62 47.34
1799.91/1800.78	c     5041    470     8452  1957405  231    18425   16817   7983     81 61.50
1799.91/1800.78	c     8264    470    14012  3376789  240    29550   18499  13543    102 80.73
1799.91/1800.78	c    13201    470    13415  3314558  247    28356   20349  12946    121 108.82
1799.91/1800.78	c    20707    470    15857  3921883  247    33229   22384  15388    137 150.71
1799.91/1800.78	c    32068    470    20578  4889906  237    42692   24623  20109    155 205.89
1799.91/1800.78	c    49212    470    23547  5926238  251    48588   27086  23078    148 331.35
1799.91/1800.78	c    75031    470    18523  4408714  238    38517   29795  18054    155 482.85
1799.91/1800.78	c   113863    470    27881  6864039  246    57280   32775  27412    156 729.79
1799.91/1800.78	c   172215    470    14671  3351490  228    30796   36053  14202    168 1019.31
1799.91/1800.78	c   259847    470    26023  6081855  233    53497   39659  25554    156 1664.29
1799.91/1800.78	c Resources Exceeded
1799.91/1800.78	v -x1 x2 x3 x4 x5 x6 x7 -x8 x9 x10 x11 x12 x13 -x14 -x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 -x33 x34 x35
1799.91/1800.78	v x36 x37 x38 x39 -x40 -x41 x42 x43 x44 x45 -x46 -x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68
1799.91/1800.78	v -x69 x70 x71 -x72 x73 x74 -x75 x76 x77 x78 x79 -x80 -x81 -x82 x83 x84 x85 x86 x87 x88 x89 x90 -x91 x92 x93 x94 -x95 -x96 -x97 -x98
1799.91/1800.78	v x99 x100 x101 -x102 x103 -x104 x105 x106 -x107 -x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123
1799.91/1800.78	v x124 x125 x126 x127 -x128 x129 x130 -x131 x132 x133 -x134 x135 x136 -x137 -x138 x139 x140 x141 -x142 -x143 x144 x145 x146 -x147
1799.91/1800.78	v -x148 -x149 -x150 x151 -x152 x153 x154 x155 -x156 x157 -x158 x159 -x160 -x161 x162 x163 x164 x165 x166 -x167 -x168 x169 -x170
1799.91/1800.78	v -x171 x172 x173 x174 x175 -x176 -x177 x178 -x179 x180 x181 x182 -x183 -x184 x185 x186 -x187 -x188 -x189 -x190 x191 x192 -x193
1799.91/1800.78	v -x194 -x195 x196 x197 x198 x199 x200 x201 x202 x203 -x204 -x205 -x206 x207 x208 x209 -x210 x211 x212 -x213 x214 x215 -x216 -x217
1799.91/1800.78	v -x218 -x219 x220 x221 -x222 -x223 x224 -x225 x226 x227 x228 x229 -x230 x231 x232 x233 -x234 x235 -x236 x237 -x238 x239 -x240
1799.91/1800.78	v x241 -x242 -x243 -x244 x245 x246 x247 -x248 x249 x250 x251 -x252 x253 -x254 x255 -x256 x257 -x258 -x259 x260 x261 -x262 x263
1799.91/1800.78	v -x264 x265 -x266 -x267 x268 -x269 x270 x271 x272 x273 x274 -x275 x276 -x277 -x278 -x279 x280 x281 -x282 -x283 -x284 x285 x286
1799.91/1800.78	v -x287 x288 -x289 x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307
1799.91/1800.78	v -x308 -x309 -x310 x311 x312 -x313 -x314 -x315 x316 x317 -x318 x319 x320 -x321 -x322 x323 -x324 -x325 -x326 x327 -x328 -x329
1799.91/1800.78	v -x330 -x331 -x332 -x333 x334 x335 x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 x347 -x348 x349 -x350 -x351
1799.91/1800.78	v -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372
1799.91/1800.78	v -x373 x374 x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 x389 -x390 -x391 -x392 x393 x394
1799.91/1800.78	v x395 -x396 -x397 -x398 -x399 x400 -x401 x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415
1799.91/1800.78	v -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436
1799.91/1800.78	v -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457
1799.91/1800.78	v -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470
1799.91/1800.78	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.91/1800.78	c   16   284641  19529   335458    37279  9249821  36810    158 1800.00
1799.91/1800.78	c Objective: 226
1799.91/1800.78	s SATISFIABLE
1799.91/1800.78	c Total time: 1800 s

Verifier Data (download as text)

OK	226

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node20/watcher-352214-1176626213 -o ROOT/results/node20/solver-352214-1176626213 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352214-1176626213/instance-352214-1176626213.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.92 0.97 0.98 3/77 6965
/proc/meminfo: memFree=1839104/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=2332 CPUtime=0
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 110538669 2387968 26 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7623687 0 0 4096 0 0 0 0 17 1 0 0
/proc/6965/statm: 583 26 20 324 0 3 0

[startup+0.051593 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 6965
/proc/meminfo: memFree=1839104/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=5632 CPUtime=0.03
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 722 0 3 0 3 0 0 0 18 0 1 0 110538669 5767168 682 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313633 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 1408 682 387 324 0 477 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5632

[startup+0.101601 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 6965
/proc/meminfo: memFree=1839104/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=5824 CPUtime=0.08
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 832 0 3 0 8 0 0 0 18 0 1 0 110538669 5963776 785 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135311815 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 1456 786 389 324 0 525 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5824

[startup+0.301641 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 6965
/proc/meminfo: memFree=1839104/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=6356 CPUtime=0.28
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 1090 0 3 0 28 0 0 0 19 0 1 0 110538669 6508544 835 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135227519 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 1589 835 389 324 0 658 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6356

[startup+0.701721 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 6965
/proc/meminfo: memFree=1839104/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=6664 CPUtime=0.68
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 2181 0 3 0 68 0 0 0 23 0 1 0 110538669 6823936 783 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134941752 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 1666 783 392 324 0 735 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6664

[startup+1.50188 s]
/proc/loadavg: 0.92 0.97 0.98 2/78 6966
/proc/meminfo: memFree=1836536/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=6792 CPUtime=1.48
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 4853 0 3 0 147 1 0 0 25 0 1 0 110538669 6955008 793 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135324489 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 1698 793 392 324 0 767 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 6792

[startup+3.1012 s]
/proc/loadavg: 0.92 0.97 0.98 2/78 6966
/proc/meminfo: memFree=1836472/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=7084 CPUtime=3.08
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 11153 0 3 0 305 3 0 0 25 0 1 0 110538669 7254016 778 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 1771 778 392 324 0 840 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 7084

[startup+6.30185 s]
/proc/loadavg: 1.01 0.99 0.98 2/78 6966
/proc/meminfo: memFree=1836984/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=6768 CPUtime=6.28
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 27365 0 3 0 618 10 0 0 25 0 1 0 110538669 6930432 681 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134948767 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 1692 681 392 324 0 761 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 6768

[startup+12.7011 s]
/proc/loadavg: 1.01 0.99 0.98 2/78 6966
/proc/meminfo: memFree=1836152/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=7852 CPUtime=12.68
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 64830 0 3 0 1242 26 0 0 25 0 1 0 110538669 8040448 866 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 1963 866 393 324 0 1032 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 7852

[startup+25.5017 s]
/proc/loadavg: 1.07 1.00 0.99 2/78 6966
/proc/meminfo: memFree=1831800/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=13012 CPUtime=25.47
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 144926 0 3 0 2486 61 0 0 25 0 1 0 110538669 13324288 2085 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 3253 2085 393 324 0 2322 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 13012

[startup+51.1018 s]
/proc/loadavg: 1.05 1.00 0.99 2/78 6968
/proc/meminfo: memFree=1819960/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=24944 CPUtime=51.06
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 293503 0 3 0 4973 133 0 0 25 0 1 0 110538669 25542656 4928 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135336585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 6236 4928 393 324 0 5305 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 24944

[startup+102.305 s]
/proc/loadavg: 1.07 1.01 0.99 3/78 6968
/proc/meminfo: memFree=1774200/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=67416 CPUtime=102.24
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 680865 0 3 0 9888 336 0 0 25 0 1 0 110538669 69033984 16329 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134706808 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 16854 16329 393 324 0 15923 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 67416

[startup+162.301 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 6968
/proc/meminfo: memFree=1767736/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=73804 CPUtime=162.22
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 1011787 0 3 0 15672 550 0 0 25 0 1 0 110538669 75575296 17926 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 18451 17926 393 324 0 17520 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 73804

[startup+222.302 s]
/proc/loadavg: 1.06 1.03 1.00 2/78 6968
/proc/meminfo: memFree=1758840/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=82976 CPUtime=222.2
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 1368356 0 3 0 21432 788 0 0 25 0 1 0 110538669 84967424 20219 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 20744 20219 393 324 0 19813 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 82976

[startup+282.301 s]
/proc/loadavg: 1.34 1.10 1.02 2/78 6968
/proc/meminfo: memFree=1750904/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=91036 CPUtime=282.18
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 1612731 0 3 0 27259 959 0 0 25 0 1 0 110538669 93220864 22234 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 22759 22234 393 324 0 21828 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 91036

[startup+342.301 s]
/proc/loadavg: 1.16 1.10 1.02 2/78 6968
/proc/meminfo: memFree=1747576/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=93840 CPUtime=342.16
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 1642053 0 3 0 33240 976 0 0 25 0 1 0 110538669 96092160 22935 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135188187 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 23460 22935 393 324 0 22529 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 93840

[startup+402.301 s]
/proc/loadavg: 1.17 1.10 1.03 2/78 6968
/proc/meminfo: memFree=1744760/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=96520 CPUtime=402.13
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 1906692 0 3 0 39044 1169 0 0 25 0 1 0 110538669 98836480 23605 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134707722 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 24130 23605 393 324 0 23199 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 96520

[startup+462.301 s]
/proc/loadavg: 1.13 1.10 1.03 2/78 6968
/proc/meminfo: memFree=1744760/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=96516 CPUtime=462.11
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 2120309 0 3 0 44862 1349 0 0 25 0 1 0 110538669 98832384 23604 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8054428 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 24129 23604 393 324 0 23198 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 96516

[startup+522.302 s]
/proc/loadavg: 1.11 1.09 1.03 2/78 6968
/proc/meminfo: memFree=1736824/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=104376 CPUtime=522.08
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 2428850 0 3 0 50652 1556 0 0 25 0 1 0 110538669 106881024 25569 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 26094 25569 393 324 0 25163 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 104376

[startup+582.302 s]
/proc/loadavg: 1.10 1.09 1.03 2/78 6968
/proc/meminfo: memFree=1736824/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=104376 CPUtime=582.06
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 2638215 0 3 0 56483 1723 0 0 25 0 1 0 110538669 106881024 25569 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 26094 25569 393 324 0 25163 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 104376

[startup+642.302 s]
/proc/loadavg: 1.09 1.09 1.02 2/78 6968
/proc/meminfo: memFree=1735160/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=105916 CPUtime=642.05
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 2853795 0 3 0 62317 1888 0 0 25 0 1 0 110538669 108457984 25954 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134707742 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 26479 25954 393 324 0 25548 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 105916


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

[startup+822.302 s]
/proc/loadavg: 1.07 1.08 1.02 2/78 6968
/proc/meminfo: memFree=1728056/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=114896 CPUtime=821.97
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 3585799 0 3 0 79750 2447 0 0 25 0 1 0 110538669 117653504 27673 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 28847 27675 393 324 0 27916 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 114896

[startup+882.302 s]
/proc/loadavg: 1.07 1.08 1.02 2/78 6968
/proc/meminfo: memFree=1727992/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=114404 CPUtime=881.95
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 3746799 0 3 0 85603 2592 0 0 25 0 1 0 110538669 117149696 27671 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8055886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 28683 27672 393 324 0 27752 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 114404

[startup+942.302 s]
/proc/loadavg: 1.10 1.09 1.03 2/78 6968
/proc/meminfo: memFree=1727992/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=115056 CPUtime=941.93
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 3911212 0 3 0 91459 2734 0 0 25 0 1 0 110538669 117817344 27673 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8055886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 28764 27673 393 324 0 27833 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 115056

[startup+1002.3 s]
/proc/loadavg: 1.04 1.07 1.02 2/78 6968
/proc/meminfo: memFree=1727992/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=112764 CPUtime=1001.9
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 4112898 0 3 0 97290 2900 0 0 25 0 1 0 110538669 115470336 27666 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134710053 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 28191 27666 393 324 0 27260 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 112764

[startup+1062.3 s]
/proc/loadavg: 1.01 1.06 1.02 2/78 6968
/proc/meminfo: memFree=1727800/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=115084 CPUtime=1061.88
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 4311074 0 3 0 103138 3050 0 0 25 0 1 0 110538669 117846016 27673 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135333533 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 28771 27672 393 324 0 27840 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 115084

[startup+1122.3 s]
/proc/loadavg: 1.00 1.04 1.01 2/78 6968
/proc/meminfo: memFree=1721656/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=121580 CPUtime=1121.86
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 4498618 0 3 0 108991 3195 0 0 25 0 1 0 110538669 124497920 29223 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8055886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 29781 29215 393 324 0 28850 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 121580

[startup+1182.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 6968
/proc/meminfo: memFree=1721080/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=119448 CPUtime=1181.84
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 4782164 0 3 0 114766 3418 0 0 25 0 1 0 110538669 122314752 29336 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8053087 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 29862 29336 393 324 0 28931 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 119448

[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 6968
/proc/meminfo: memFree=1720888/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=119448 CPUtime=1241.81
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 4782164 0 3 0 120760 3421 0 0 25 0 1 0 110538669 122314752 29336 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 29862 29336 393 324 0 28931 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 119448

[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 6968
/proc/meminfo: memFree=1721272/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=118960 CPUtime=1301.79
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 4816180 0 3 0 126724 3455 0 0 25 0 1 0 110538669 121815040 29215 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8053087 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 29740 29215 393 324 0 28809 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 118960

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 6968
/proc/meminfo: memFree=1721272/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=121232 CPUtime=1361.77
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 5016425 0 3 0 132562 3615 0 0 25 0 1 0 110538669 124141568 29222 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 30308 29223 393 324 0 29377 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 121232

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 6968
/proc/meminfo: memFree=1720952/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=119172 CPUtime=1421.75
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 5126855 0 3 0 138476 3699 0 0 25 0 1 0 110538669 122032128 29268 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 29793 29268 393 324 0 28862 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 119172

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 7132
/proc/meminfo: memFree=1719552/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=119172 CPUtime=1481.65
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 5126855 0 3 0 144462 3703 0 0 25 0 1 0 110538669 122032128 29268 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134706780 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 29793 29268 393 324 0 28862 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 119172

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7166
/proc/meminfo: memFree=1720760/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=118964 CPUtime=1541.61
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 5232135 0 3 0 150362 3799 0 0 25 0 1 0 110538669 121819136 29216 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8053087 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 29741 29216 393 324 0 28810 0
Current children cumulated CPU time (s) 1541.61
Current children cumulated vsize (KiB) 118964

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7166
/proc/meminfo: memFree=1720120/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=119464 CPUtime=1601.58
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 5437187 0 3 0 156197 3961 0 0 25 0 1 0 110538669 122331136 29341 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8053087 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 29866 29341 393 324 0 28935 0
Current children cumulated CPU time (s) 1601.58
Current children cumulated vsize (KiB) 119464

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7166
/proc/meminfo: memFree=1720248/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=119464 CPUtime=1661.56
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 5437211 0 3 0 162193 3963 0 0 25 0 1 0 110538669 122331136 29341 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134802386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 29866 29341 393 324 0 28935 0
Current children cumulated CPU time (s) 1661.56
Current children cumulated vsize (KiB) 119464

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7166
/proc/meminfo: memFree=1707704/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=133352 CPUtime=1721.53
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 5576309 0 3 0 168098 4055 0 0 25 0 1 0 110538669 136552448 32448 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8055886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 33338 32448 393 324 0 32407 0
Current children cumulated CPU time (s) 1721.53
Current children cumulated vsize (KiB) 133352

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7166
/proc/meminfo: memFree=1707704/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=131876 CPUtime=1781.51
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 5715538 0 3 0 173981 4170 0 0 25 0 1 0 110538669 135041024 32443 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 32969 32443 393 324 0 32038 0
Current children cumulated CPU time (s) 1781.51
Current children cumulated vsize (KiB) 131876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7166
/proc/meminfo: memFree=1783608/2055920 swapFree=4156512/4192956
[pid=6965] ppid=6963 vsize=0 CPUtime=1800.01
/proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194308 5768004 0 3 0 175782 4219 0 0 25 0 1 0 110538669 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6965/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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

Child status: 0
Real time (s): 1800.81
CPU time (s): 1800.03
CPU user time (s): 1757.83
CPU system time (s): 42.2026
CPU usage (%): 99.9565
Max. virtual memory (cumulated for all children) (KiB): 134112

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

runsolver used 2.08968 second user time and 4.14437 second system time

The end

Launcher Data (download as text)

Begin job on node20 on Sun Apr 15 08:36:53 UTC 2007

IDJOB= 352214
IDBENCH= 1958
IDSOLVER= 163
FILE ID= node20/352214-1176626213

PBS_JOBID= 4559785

Free space on /tmp= 66560 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352214-1176626213/instance-352214-1176626213.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-352214-1176626213 -o ROOT/results/node20/solver-352214-1176626213 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352214-1176626213/instance-352214-1176626213.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  7db364152f2aec17f16cb8adef9dc3c7

RANDOM SEED= 995631397

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node20.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.265
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1839576 kB
Buffers:         18392 kB
Cached:         135052 kB
SwapCached:      18120 kB
Active:          57332 kB
Inactive:       122008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1839576 kB
SwapTotal:     4192956 kB
SwapFree:      4156512 kB
Dirty:            4448 kB
Writeback:           0 kB
Mapped:          29372 kB
Slab:            22704 kB
Committed_AS:   709048 kB
PageTables:       1688 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= 66560 MiB

End job on node20 on Sun Apr 15 09:06:56 UTC 2007