Trace number 458777

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
PBS4_v2 2007-03-23SAT (TO)66 1800.06 1800.63

General information on the benchmark

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

Verifier Data (download as text)

OK	66

Conversion Script Data (download as text)

/tmp/evaluation/458777-1178643084/instance-458777-1178643084.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node21/watcher-458777-1178643084 -o ROOT/results/node21/solver-458777-1178643084 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458777-1178643084/instance-458777-1178643084.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.98 0.99 3/77 9373
/proc/meminfo: memFree=1945848/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=1456 CPUtime=0
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 156 0 0 0 0 0 0 0 18 0 1 0 312225720 1490944 138 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134588793 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 364 138 86 219 0 141 0

[startup+0.0552689 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 9373
/proc/meminfo: memFree=1945848/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=2040 CPUtime=0.05
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 306 0 0 0 5 0 0 0 18 0 1 0 312225720 2088960 288 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134591356 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 510 288 86 219 0 287 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2040

[startup+0.101274 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 9373
/proc/meminfo: memFree=1945848/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=2036 CPUtime=0.09
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 355 0 0 0 9 0 0 0 18 0 1 0 312225720 2084864 337 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 509 337 90 219 0 286 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2036

[startup+0.301296 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 9373
/proc/meminfo: memFree=1945848/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=3132 CPUtime=0.29
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 542 0 0 0 29 0 0 0 19 0 1 0 312225720 3207168 524 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 783 524 102 219 0 560 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3132

[startup+0.70134 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 9373
/proc/meminfo: memFree=1945848/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=4156 CPUtime=0.69
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 786 0 0 0 69 0 0 0 22 0 1 0 312225720 4255744 768 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 1039 768 102 219 0 816 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4156

[startup+1.50143 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 9374
/proc/meminfo: memFree=1942320/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=6528 CPUtime=1.49
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 1297 0 0 0 148 1 0 0 25 0 1 0 312225720 6684672 1230 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 1632 1230 102 219 0 1409 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6528

[startup+3.10161 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 9374
/proc/meminfo: memFree=1939952/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=11020 CPUtime=3.09
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 1758 0 0 0 308 1 0 0 25 0 1 0 312225720 11284480 1691 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 2755 1691 102 219 0 2532 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11020

[startup+6.30196 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 9374
/proc/meminfo: memFree=1936688/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=12196 CPUtime=6.29
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 2602 0 0 0 626 3 0 0 25 0 1 0 312225720 12488704 2438 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 3049 2438 102 219 0 2826 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12196

[startup+12.7017 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 9374
/proc/meminfo: memFree=1931696/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=22396 CPUtime=12.69
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 4031 0 0 0 1264 5 0 0 25 0 1 0 312225720 22933504 3674 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 5599 3674 102 219 0 5376 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22396

[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 9374
/proc/meminfo: memFree=1925616/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=24016 CPUtime=25.48
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 5446 0 0 0 2539 9 0 0 25 0 1 0 312225720 24592384 5089 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134544719 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 6004 5089 102 219 0 5781 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24016

[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 9374
/proc/meminfo: memFree=1918256/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=44924 CPUtime=51.08
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 7658 0 0 0 5090 18 0 0 25 0 1 0 312225720 46002176 6916 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134544852 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 11231 6916 102 219 0 11008 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 44924

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 9374
/proc/meminfo: memFree=1910192/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=51060 CPUtime=102.27
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 10407 0 0 0 10196 31 0 0 25 0 1 0 312225720 52285440 8896 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 12765 8896 102 219 0 12542 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 51060

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9374
/proc/meminfo: memFree=1901872/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=53220 CPUtime=162.25
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 12451 0 0 0 16183 42 0 0 25 0 1 0 312225720 54497280 10940 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 13305 10940 102 219 0 13082 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 53220

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9374
/proc/meminfo: memFree=1891312/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=89628 CPUtime=222.24
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 15074 0 0 0 22170 54 0 0 25 0 1 0 312225720 91779072 13563 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134546206 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 22407 13563 102 219 0 22184 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 89628

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9374
/proc/meminfo: memFree=1887216/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=98192 CPUtime=282.22
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 17617 0 0 0 28158 64 0 0 25 0 1 0 312225720 100548608 14569 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 24548 14569 102 219 0 24325 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 98192

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9374
/proc/meminfo: memFree=1881776/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=100412 CPUtime=342.2
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 18951 0 0 0 34146 74 0 0 25 0 1 0 312225720 102821888 15903 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134544794 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 25103 15903 102 219 0 24880 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 100412

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9374
/proc/meminfo: memFree=1878512/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=102028 CPUtime=402.19
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 19747 0 0 0 40135 84 0 0 25 0 1 0 312225720 104476672 16699 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 25507 16699 102 219 0 25284 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 102028

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9374
/proc/meminfo: memFree=1876720/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=103092 CPUtime=462.17
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 20176 0 0 0 46125 92 0 0 25 0 1 0 312225720 105566208 17128 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134556986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 25773 17128 102 219 0 25550 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 103092

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9374
/proc/meminfo: memFree=1874608/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=103952 CPUtime=522.16
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 20673 0 0 0 52115 101 0 0 25 0 1 0 312225720 106446848 17625 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 25988 17625 102 219 0 25765 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 103952

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/84 9440
/proc/meminfo: memFree=1867072/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=104652 CPUtime=582.11
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 22176 0 0 0 58101 110 0 0 25 0 1 0 312225720 107163648 19128 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134544680 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 26163 19128 102 219 0 25940 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 104652

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9572
/proc/meminfo: memFree=1863600/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=105852 CPUtime=642.03
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 23292 0 0 0 64085 118 0 0 25 0 1 0 312225720 108392448 20244 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 26463 20244 102 219 0 26240 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 105852


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9572
/proc/meminfo: memFree=1852272/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=122208 CPUtime=821.98
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 29167 0 0 0 82053 145 0 0 25 0 1 0 312225720 125140992 23046 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 30552 23046 102 219 0 30329 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 122208

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9572
/proc/meminfo: memFree=1845168/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=123816 CPUtime=881.97
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 30929 0 0 0 88044 153 0 0 25 0 1 0 312225720 126787584 24808 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 30954 24808 102 219 0 30731 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 123816

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9572
/proc/meminfo: memFree=1843504/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=125072 CPUtime=941.94
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 31342 0 0 0 94035 159 0 0 25 0 1 0 312225720 128073728 25221 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 31268 25221 102 219 0 31045 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 125072

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9572
/proc/meminfo: memFree=1841392/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=127164 CPUtime=1001.94
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 31850 0 0 0 100028 166 0 0 25 0 1 0 312225720 130215936 25729 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 31791 25729 102 219 0 31568 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 127164

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9572
/proc/meminfo: memFree=1839920/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=127560 CPUtime=1061.91
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 32200 0 0 0 106018 173 0 0 25 0 1 0 312225720 130621440 26079 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 31890 26079 102 219 0 31667 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 127560

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9572
/proc/meminfo: memFree=1837872/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=129700 CPUtime=1121.9
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 32693 0 0 0 112009 181 0 0 25 0 1 0 312225720 132812800 26572 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 32425 26572 102 219 0 32202 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 129700

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9572
/proc/meminfo: memFree=1836400/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=131232 CPUtime=1181.89
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 33058 0 0 0 118001 188 0 0 25 0 1 0 312225720 134381568 26937 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134544685 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 32808 26937 102 219 0 32585 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 131232

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9572
/proc/meminfo: memFree=1834416/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=132024 CPUtime=1241.87
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 33513 0 0 0 123992 195 0 0 25 0 1 0 312225720 135192576 27392 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 33006 27392 102 219 0 32783 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 132024

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9572
/proc/meminfo: memFree=1833008/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=133216 CPUtime=1301.86
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 33846 0 0 0 129984 202 0 0 25 0 1 0 312225720 136413184 27725 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 33304 27725 102 219 0 33081 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 133216

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9572
/proc/meminfo: memFree=1831792/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=134464 CPUtime=1361.84
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 34135 0 0 0 135974 210 0 0 25 0 1 0 312225720 137691136 28014 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134547208 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 33616 28014 102 219 0 33393 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 134464

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9572
/proc/meminfo: memFree=1830576/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=134728 CPUtime=1421.82
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 34422 0 0 0 141966 216 0 0 25 0 1 0 312225720 137961472 28301 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 33682 28301 102 219 0 33459 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 134728

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9572
/proc/meminfo: memFree=1828656/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=135124 CPUtime=1481.81
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 34879 0 0 0 147958 223 0 0 25 0 1 0 312225720 138366976 28758 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 33781 28758 102 219 0 33558 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 135124

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9572
/proc/meminfo: memFree=1827312/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=136568 CPUtime=1541.79
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 35200 0 0 0 153949 230 0 0 25 0 1 0 312225720 139845632 29079 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 34142 29079 102 219 0 33919 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 136568

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9572
/proc/meminfo: memFree=1824624/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=136832 CPUtime=1601.78
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 35861 0 0 0 159942 236 0 0 25 0 1 0 312225720 140115968 29740 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134544685 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 34208 29740 102 219 0 33985 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 136832

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9572
/proc/meminfo: memFree=1820656/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=138472 CPUtime=1661.76
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 36831 0 0 0 165933 243 0 0 25 0 1 0 312225720 141795328 30710 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134544685 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 34618 30710 102 219 0 34395 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 138472

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9572
/proc/meminfo: memFree=1817712/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=139396 CPUtime=1721.74
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 37553 0 0 0 171925 249 0 0 25 0 1 0 312225720 142741504 31432 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134547216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 34849 31432 102 219 0 34626 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 139396

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9572
/proc/meminfo: memFree=1815344/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=139924 CPUtime=1781.72
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 38094 0 0 0 177917 255 0 0 25 0 1 0 312225720 143282176 31973 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134546835 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 34981 31973 102 219 0 34758 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 139924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9572
/proc/meminfo: memFree=1814256/2055920 swapFree=4156340/4192956
[pid=9373] ppid=9371 vsize=139924 CPUtime=1800.03
/proc/9373/stat : 9373 (PBS4_SAT07v2) R 9371 9373 8960 0 -1 4194304 38378 0 0 0 179746 257 0 0 25 0 1 0 312225720 143282176 32257 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9373/statm: 34981 32257 102 219 0 34758 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 139924

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.63
CPU time (s): 1800.06
CPU user time (s): 1797.46
CPU system time (s): 2.6016
CPU usage (%): 99.9684
Max. virtual memory (cumulated for all children) (KiB): 139924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.46
system time used= 2.6016
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38381
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 1237

runsolver used 1.37579 second user time and 4.11837 second system time

The end

Launcher Data (download as text)

Begin job on node21 on Tue May  8 16:51:24 UTC 2007

IDJOB= 458777
IDBENCH= 2007
IDSOLVER= 200
FILE ID= node21/458777-1178643084

PBS_JOBID= 5217818

Free space on /tmp= 66562 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458777-1178643084/instance-458777-1178643084.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node21/convwatcher-458777-1178643084 -o ROOT/results/node21/conversion-458777-1178643084 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458777-1178643084/instance-458777-1178643084.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node21/watcher-458777-1178643084 -o ROOT/results/node21/solver-458777-1178643084 -C 1800 -W 3600 -M 1800 --output-limit 1,15  PBS4_SAT07v2 /tmp/evaluation/458777-1178643084/instance-458777-1178643084.opb

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  ff9be653d1d3ea3b1a82846016e94df6

RANDOM SEED= 20208976

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node21.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.232
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.232
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:       1946256 kB
Buffers:          6424 kB
Cached:          23432 kB
SwapCached:      14820 kB
Active:          44668 kB
Inactive:         8608 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1946256 kB
SwapTotal:     4192956 kB
SwapFree:      4156340 kB
Dirty:            2468 kB
Writeback:           0 kB
Mapped:          30668 kB
Slab:            41948 kB
Committed_AS:  5041892 kB
PageTables:       1788 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= 66562 MiB

End job on node21 on Tue May  8 17:21:27 UTC 2007