Trace number 40845

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 NameAnswerCPU timeWall clock time
PBS 4.1LSAT 1320.05 1320.39

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army13.24ls.opb
MD5SUM1a4510076d9024b805728ffe22c0d108
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.849869
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables490
Total number of constraints737
Number of constraints which are clauses397
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints338
Minimum length of a constraint2
Maximum length of a constraint169
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 193
Number of bits of the biggest sum of numbers8
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	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00	c Solving ROOT/tmp/node26/40845-1149206618/instance-40845-1149206618.opb ......
1320.36	c done parsing opb.
1320.36	s SATISFIABLE
1320.36	c Total Run Time					1320.01
1320.36	v -x1 x10 -x100 x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x11 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118
1320.36	v -x119 -x12 -x120 -x121 -x122 x123 -x124 x125 -x126 x127 -x128 x129 -x13 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138
1320.36	v -x139 -x14 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x15 -x150 x151 -x152 x153 -x154 x155 -x156 -x157 -x158
1320.36	v -x159 -x16 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x17 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177
1320.36	v -x178 x179 -x18 -x180 x181 -x182 -x183 x184 -x185 x186 -x187 x188 -x189 -x19 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197
1320.36	v -x198 -x199 x2 -x20 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x21 x210 -x211 x212 -x213 x214 -x215 x216
1320.36	v -x217 -x218 -x219 -x22 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x23 -x230 -x231 -x232 -x233 -x234 -x235
1320.36	v x236 -x237 x238 -x239 -x24 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x25 -x250 -x251 -x252 -x253 -x254 -x255
1320.36	v -x256 -x257 -x258 -x259 -x26 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x27 -x270 -x271 -x272 -x273 -x274
1320.36	v x275 -x276 x277 -x278 -x279 x28 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x29 -x290 -x291 -x292 -x293 -x294
1320.36	v -x295 -x296 -x297 -x298 -x299 -x3 x30 -x300 x301 -x302 x303 -x304 x305 -x306 -x307 -x308 -x309 -x31 -x310 x311 -x312 -x313
1320.36	v -x314 -x315 -x316 -x317 -x318 -x319 -x32 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x33 -x330 x331 -x332
1320.36	v x333 -x334 -x335 -x336 -x337 -x338 x339 x34 -x340 x341 -x342 x343 -x344 -x345 x346 -x347 x348 -x349 -x35 x350 -x351 x352 x353
1320.36	v -x354 x355 -x356 x357 -x358 -x359 x36 x360 -x361 x362 -x363 x364 x365 -x366 x367 -x368 x369 -x37 -x370 x371 -x372 x373 -x374
1320.36	v x375 -x376 x377 -x378 -x379 x38 x380 -x381 x382 -x383 x384 -x385 x386 -x387 x388 -x389 -x39 x390 x391 -x392 x393 -x394 -x395
1320.36	v x396 -x397 x398 -x399 -x4 -x40 x400 x401 -x402 x403 -x404 x405 -x406 x407 -x408 x409 -x41 -x410 -x411 -x412 -x413 -x414 -x415
1320.36	v -x416 x417 -x418 x419 -x42 -x420 x421 -x422 x423 -x424 x425 -x426 x427 -x428 x429 -x43 -x430 x431 -x432 x433 -x434 x435 -x436
1320.36	v x437 -x438 x439 -x44 -x440 -x441 x442 -x443 x444 -x445 x446 -x447 x448 -x449 -x45 x450 -x451 x452 -x453 x454 -x455 x456 -x457
1320.36	v x458 -x459 -x46 x460 -x461 x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x47 -x470 -x471 -x472 -x473 x474 -x475 x476 -x477
1320.36	v x478 -x479 -x48 x480 -x481 x482 x483 -x484 x485 -x486 x487 -x488 -x489 -x49 x490 -x5 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 x58
1320.36	v -x59 x6 -x60 -x61 x62 -x63 x64 -x65 x66 -x67 -x68 -x69 -x7 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x8 -x80 -x81 -x82 -x83
1320.36	v -x84 -x85 -x86 -x87 -x88 -x89 -x9 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 x99

Verifier Data (download as text)

OK	0

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node26/watcher-40845-1149206618 -o ROOT/results/node26/solver-40845-1149206618 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node26/40845-1149206618/instance-40845-1149206618.opb 189503098 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.84 0.94 0.83 2/64 7711
/proc/meminfo: memFree=1774472/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=1400 CPUtime=0
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 162 0 0 0 0 0 0 0 18 0 1 0 3832713 1433600 143 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 350 143 99 232 0 115 0

[startup+10.0021 s]
/proc/loadavg: 0.87 0.94 0.83 2/64 7711
/proc/meminfo: memFree=1753560/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=22440 CPUtime=9.99
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 5500 0 0 0 995 4 0 0 25 0 1 0 3832713 22978560 5327 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552463 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 5610 5327 105 232 0 5375 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 22440

[startup+20.0081 s]
/proc/loadavg: 0.89 0.94 0.83 2/64 7711
/proc/meminfo: memFree=1746072/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=41848 CPUtime=20
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 7580 0 0 0 1993 7 0 0 25 0 1 0 3832713 42852352 7214 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550046 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 10462 7214 105 232 0 10227 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 41848

[startup+30.014 s]
/proc/loadavg: 0.90 0.94 0.83 2/64 7711
/proc/meminfo: memFree=1744856/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=42588 CPUtime=30
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 7886 0 0 0 2990 10 0 0 25 0 1 0 3832713 43610112 7520 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549206 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 10647 7520 105 232 0 10412 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 42588

[startup+40.02 s]
/proc/loadavg: 0.92 0.94 0.83 2/64 7711
/proc/meminfo: memFree=1743704/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=44892 CPUtime=40
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 8557 0 0 0 3986 14 0 0 25 0 1 0 3832713 45969408 7806 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550685 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 11223 7806 105 232 0 10988 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 44892

[startup+50.027 s]
/proc/loadavg: 0.93 0.94 0.83 2/64 7711
/proc/meminfo: memFree=1742552/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=45668 CPUtime=50
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 8845 0 0 0 4984 16 0 0 25 0 1 0 3832713 46764032 8094 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 11417 8094 105 232 0 11182 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 45668

[startup+60.032 s]
/proc/loadavg: 0.94 0.95 0.83 2/64 7711
/proc/meminfo: memFree=1741464/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=46432 CPUtime=60.01
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 9125 0 0 0 5982 19 0 0 25 0 1 0 3832713 47546368 8374 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559040 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 11608 8374 105 232 0 11373 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 46432

[startup+70.038 s]
/proc/loadavg: 0.95 0.95 0.83 2/64 7711
/proc/meminfo: memFree=1739736/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=51148 CPUtime=70.01
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 10292 0 0 0 6979 22 0 0 25 0 1 0 3832713 52375552 8772 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549087 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 12787 8772 105 232 0 12552 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 51148

[startup+80.046 s]
/proc/loadavg: 0.96 0.95 0.84 2/64 7711
/proc/meminfo: memFree=1737880/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=52032 CPUtime=80.02
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 10786 0 0 0 7977 25 0 0 25 0 1 0 3832713 53280768 9266 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 13008 9266 105 232 0 12773 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 52032

[startup+90.052 s]
/proc/loadavg: 0.96 0.95 0.84 2/64 7711
/proc/meminfo: memFree=1736664/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=52968 CPUtime=90.02
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 11093 0 0 0 8975 27 0 0 25 0 1 0 3832713 54239232 9573 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 13242 9573 105 232 0 13007 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 52968

[startup+100.058 s]
/proc/loadavg: 0.97 0.95 0.84 2/64 7711
/proc/meminfo: memFree=1735576/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=53536 CPUtime=100.03
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 11355 0 0 0 9974 29 0 0 25 0 1 0 3832713 54820864 9835 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552213 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 13384 9835 105 232 0 13149 0
Current children cumulated CPU time (s) 100.03
Current children cumulated vsize (Kb) 53536

[startup+110.065 s]
/proc/loadavg: 0.97 0.95 0.84 2/64 7711
/proc/meminfo: memFree=1733144/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=54720 CPUtime=110.03
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 11965 0 0 0 10971 32 0 0 25 0 1 0 3832713 56033280 10445 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549478 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 13680 10445 105 232 0 13445 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 54720

[startup+120.071 s]
/proc/loadavg: 0.98 0.95 0.84 2/64 7711
/proc/meminfo: memFree=1729304/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=55660 CPUtime=120.03
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 12920 0 0 0 11968 35 0 0 25 0 1 0 3832713 56995840 11400 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 13915 11400 105 232 0 13680 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 55660

[startup+130.077 s]
/proc/loadavg: 0.98 0.95 0.84 2/64 7711
/proc/meminfo: memFree=1728408/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=56136 CPUtime=130.03
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 13150 0 0 0 12966 37 0 0 25 0 1 0 3832713 57483264 11630 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 14034 11630 105 232 0 13799 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 56136

[startup+140.083 s]
/proc/loadavg: 0.98 0.95 0.84 2/64 7711
/proc/meminfo: memFree=1727448/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=56792 CPUtime=140.04
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 13391 0 0 0 13965 39 0 0 25 0 1 0 3832713 58155008 11871 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552324 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 14198 11871 105 232 0 13963 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 56792

[startup+150.089 s]
/proc/loadavg: 0.98 0.95 0.84 2/64 7711
/proc/meminfo: memFree=1724504/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=63996 CPUtime=150.04
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 15658 0 0 0 14962 42 0 0 25 0 1 0 3832713 65531904 12601 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 15999 12601 105 232 0 15764 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 63996

[startup+160.095 s]
/proc/loadavg: 0.99 0.96 0.84 2/64 7711
/proc/meminfo: memFree=1723736/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=64156 CPUtime=160.04
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 15850 0 0 0 15960 44 0 0 25 0 1 0 3832713 65695744 12793 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 16039 12793 105 232 0 15804 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 64156

[startup+170.101 s]
/proc/loadavg: 0.99 0.96 0.84 2/64 7711
/proc/meminfo: memFree=1722840/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=64988 CPUtime=170.05
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 16073 0 0 0 16959 46 0 0 25 0 1 0 3832713 66547712 13016 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 16247 13016 105 232 0 16012 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 64988

[startup+180.107 s]
/proc/loadavg: 0.99 0.96 0.85 2/64 7711
/proc/meminfo: memFree=1722008/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=65148 CPUtime=180.05
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 16285 0 0 0 17956 49 0 0 25 0 1 0 3832713 66711552 13228 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 16287 13228 105 232 0 16052 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 65148

[startup+190.113 s]
/proc/loadavg: 0.99 0.96 0.85 2/64 7711
/proc/meminfo: memFree=1720984/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=65764 CPUtime=190.06
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 16535 0 0 0 18955 51 0 0 25 0 1 0 3832713 67342336 13478 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 16441 13478 105 232 0 16206 0
Current children cumulated CPU time (s) 190.06
Current children cumulated vsize (Kb) 65764

[startup+200.119 s]
/proc/loadavg: 0.99 0.96 0.85 2/64 7711
/proc/meminfo: memFree=1720216/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=66248 CPUtime=200.06
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 16723 0 0 0 19953 53 0 0 25 0 1 0 3832713 67837952 13666 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 16562 13666 105 232 0 16327 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 66248

[startup+210.125 s]
/proc/loadavg: 0.99 0.96 0.85 2/64 7711
/proc/meminfo: memFree=1719384/2055920 swapFree=4192956/4192956

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

/proc/7711/statm: 44708 35095 105 232 0 44473 0
Current children cumulated CPU time (s) 1100.37
Current children cumulated vsize (Kb) 178832

[startup+1110.66 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7711
/proc/meminfo: memFree=1633824/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=178832 CPUtime=1110.38
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 47488 0 0 0 110795 243 0 0 25 0 1 0 3832713 183123968 35213 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 44708 35213 105 232 0 44473 0
Current children cumulated CPU time (s) 1110.38
Current children cumulated vsize (Kb) 178832

[startup+1120.67 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7711
/proc/meminfo: memFree=1633312/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=178832 CPUtime=1120.38
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 47605 0 0 0 111793 245 0 0 25 0 1 0 3832713 183123968 35330 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 44708 35330 105 232 0 44473 0
Current children cumulated CPU time (s) 1120.38
Current children cumulated vsize (Kb) 178832

[startup+1130.67 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7711
/proc/meminfo: memFree=1632544/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=179216 CPUtime=1130.38
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 47809 0 0 0 112791 247 0 0 25 0 1 0 3832713 183517184 35534 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 44804 35534 105 232 0 44569 0
Current children cumulated CPU time (s) 1130.38
Current children cumulated vsize (Kb) 179216

[startup+1140.68 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7711
/proc/meminfo: memFree=1631904/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=179216 CPUtime=1140.38
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 47960 0 0 0 113789 249 0 0 25 0 1 0 3832713 183517184 35685 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558803 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 44804 35685 105 232 0 44569 0
Current children cumulated CPU time (s) 1140.38
Current children cumulated vsize (Kb) 179216

[startup+1150.68 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7711
/proc/meminfo: memFree=1631328/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=179216 CPUtime=1150.38
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 48108 0 0 0 114787 251 0 0 25 0 1 0 3832713 183517184 35833 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 44804 35833 105 232 0 44569 0
Current children cumulated CPU time (s) 1150.38
Current children cumulated vsize (Kb) 179216

[startup+1160.69 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7711
/proc/meminfo: memFree=1630688/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=181888 CPUtime=1160.39
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 48260 0 0 0 115786 253 0 0 25 0 1 0 3832713 186253312 35985 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 45472 35985 105 232 0 45237 0
Current children cumulated CPU time (s) 1160.39
Current children cumulated vsize (Kb) 181888

[startup+1170.7 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7711
/proc/meminfo: memFree=1630048/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=181888 CPUtime=1170.39
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 48427 0 0 0 116784 255 0 0 25 0 1 0 3832713 186253312 36152 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552873 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 45472 36152 105 232 0 45237 0
Current children cumulated CPU time (s) 1170.39
Current children cumulated vsize (Kb) 181888

[startup+1180.7 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7711
/proc/meminfo: memFree=1629408/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=182080 CPUtime=1180.4
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 48581 0 0 0 117784 256 0 0 25 0 1 0 3832713 186449920 36306 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558968 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 45520 36306 105 232 0 45285 0
Current children cumulated CPU time (s) 1180.4
Current children cumulated vsize (Kb) 182080

[startup+1190.71 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7711
/proc/meminfo: memFree=1628832/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=182080 CPUtime=1190.4
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 48734 0 0 0 118783 257 0 0 25 0 1 0 3832713 186449920 36459 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558847 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 45520 36459 105 232 0 45285 0
Current children cumulated CPU time (s) 1190.4
Current children cumulated vsize (Kb) 182080

[startup+1200.71 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7711
/proc/meminfo: memFree=1626784/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=182272 CPUtime=1200.4
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 49240 0 0 0 119781 259 0 0 25 0 1 0 3832713 186646528 36965 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 45568 36965 105 232 0 45333 0
Current children cumulated CPU time (s) 1200.4
Current children cumulated vsize (Kb) 182272

[startup+1210.72 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7711
/proc/meminfo: memFree=1626208/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=182464 CPUtime=1210.4
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 49391 0 0 0 120780 260 0 0 25 0 1 0 3832713 186843136 37116 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549193 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 45616 37116 105 232 0 45381 0
Current children cumulated CPU time (s) 1210.4
Current children cumulated vsize (Kb) 182464

[startup+1220.73 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7711
/proc/meminfo: memFree=1623584/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=182464 CPUtime=1220.41
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 50033 0 0 0 121779 262 0 0 25 0 1 0 3832713 186843136 37758 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 45616 37758 105 232 0 45381 0
Current children cumulated CPU time (s) 1220.41
Current children cumulated vsize (Kb) 182464

[startup+1230.73 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7711
/proc/meminfo: memFree=1619488/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=182656 CPUtime=1230.41
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 51054 0 0 0 122777 264 0 0 25 0 1 0 3832713 187039744 38779 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134535585 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 45664 38779 105 232 0 45429 0
Current children cumulated CPU time (s) 1230.41
Current children cumulated vsize (Kb) 182656

[startup+1240.74 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7711
/proc/meminfo: memFree=1617376/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=182656 CPUtime=1240.41
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 51594 0 0 0 123776 265 0 0 25 0 1 0 3832713 187039744 39319 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558818 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 45664 39319 105 232 0 45429 0
Current children cumulated CPU time (s) 1240.41
Current children cumulated vsize (Kb) 182656

[startup+1250.74 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7711
/proc/meminfo: memFree=1616864/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=185292 CPUtime=1250.42
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 51711 0 0 0 124774 268 0 0 25 0 1 0 3832713 189739008 39436 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550796 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 46323 39436 105 232 0 46088 0
Current children cumulated CPU time (s) 1250.42
Current children cumulated vsize (Kb) 185292

[startup+1260.75 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7711
/proc/meminfo: memFree=1616352/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=185484 CPUtime=1260.42
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 51840 0 0 0 125773 269 0 0 25 0 1 0 3832713 189935616 39565 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 46371 39565 105 232 0 46136 0
Current children cumulated CPU time (s) 1260.42
Current children cumulated vsize (Kb) 185484

[startup+1270.76 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7711
/proc/meminfo: memFree=1615776/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=185484 CPUtime=1270.42
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 51989 0 0 0 126771 271 0 0 25 0 1 0 3832713 189935616 39714 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 46371 39714 105 232 0 46136 0
Current children cumulated CPU time (s) 1270.42
Current children cumulated vsize (Kb) 185484

[startup+1280.76 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7711
/proc/meminfo: memFree=1615328/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=185484 CPUtime=1280.43
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 52095 0 0 0 127770 273 0 0 25 0 1 0 3832713 189935616 39820 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 46371 39820 105 232 0 46136 0
Current children cumulated CPU time (s) 1280.43
Current children cumulated vsize (Kb) 185484

[startup+1290.77 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7711
/proc/meminfo: memFree=1614752/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=185484 CPUtime=1290.43
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 52242 0 0 0 128769 274 0 0 25 0 1 0 3832713 189935616 39967 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550057 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 46371 39967 105 232 0 46136 0
Current children cumulated CPU time (s) 1290.43
Current children cumulated vsize (Kb) 185484

[startup+1300.77 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7711
/proc/meminfo: memFree=1614176/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=185484 CPUtime=1300.44
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 52388 0 0 0 129768 276 0 0 25 0 1 0 3832713 189935616 40113 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550816 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 46371 40113 105 232 0 46136 0
Current children cumulated CPU time (s) 1300.44
Current children cumulated vsize (Kb) 185484

[startup+1310.78 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7711
/proc/meminfo: memFree=1613152/2055920 swapFree=4192956/4192956
[pid=7711] ppid=7709 vsize=185676 CPUtime=1310.44
/proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 52634 0 0 0 130766 278 0 0 25 0 1 0 3832713 190132224 40359 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/7711/statm: 46419 40359 105 232 0 46184 0
Current children cumulated CPU time (s) 1310.44
Current children cumulated vsize (Kb) 185676

Child status: 0
Real time (s): 1320.39
CPU time (s): 1320.05
CPU user time (s): 1317.21
CPU system time (s): 2.84157
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (Kb): 185676

Launcher Data (download as text)

Begin job on node26 on Fri Jun  2 00:03:38 UTC 2006


FILE ID= 40845-1149206618

PBS_JOBID= 293145

BENCH NAME= ROOT/tmp/node26/40845-1149206618/instance-40845-1149206618.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node26/40845-1149206618/instance-40845-1149206618.opb 189503098
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node26/watcher-40845-1149206618 -o ROOT/results/node26/solver-40845-1149206618 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node26/40845-1149206618/instance-40845-1149206618.opb 189503098

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  1a4510076d9024b805728ffe22c0d108

RANDOM SEED= 189503098


/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.247
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.247
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:       1774680 kB
Buffers:         17228 kB
Cached:         219888 kB
SwapCached:          0 kB
Active:         193044 kB
Inactive:        58416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1774680 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          24768 kB
Slab:            15856 kB
Committed_AS:    99940 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node26 on Fri Jun  2 00:25:39 UTC 2006