Trace number 2668037

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB/CT 0.1SAT (TO)20 1800.12 1800.91

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_60_1.opb
MD5SUM7931a71f4daac58a32a56f6c89bc3525
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark1800.18
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 16
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint61
Maximum length of a constraint104
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)37366
Sum of products size (including duplicates)74732
Number of different products37366
Sum of products size74732

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c PB/CT 0.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.69/0.77	c constraints 37366/0 clauses 37866/0 units 0
0.69/0.77	c vars 500
0.69/0.77	c objective 500 + 0
11.39/11.49	c 10.5704 806.074 1 37455
11.39/11.49	o 30
49.87/49.93	c 48.8236 821.234 263 40327
49.87/49.93	o 29
51.27/51.35	c 50.2334 821.234 291 40885
51.27/51.35	o 28
51.77/51.88	c 50.7613 821.234 292 41376
51.77/51.88	o 27
52.38/52.44	c 51.3222 821.234 297 41851
52.38/52.45	o 26
52.98/53.03	c 51.9101 821.234 312 42350
52.98/53.03	o 25
53.58/53.61	c 52.485 821.234 323 42840
53.58/53.61	o 24
56.08/56.17	c 55.0296 821.363 606 44097
56.08/56.17	o 23
76.67/76.78	c 75.5215 823.941 2817 52074
76.67/76.78	o 22
78.77/78.87	c 77.6012 824.199 3014 53254
78.77/78.87	o 21
426.58/426.73	c 423.386 877.789 43905 158678
426.58/426.73	o 20
1800.02/1800.81	s SATISFIABLE
1800.02/1800.81	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 -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 -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 -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 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500

Verifier Data 

OK	20

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668037-1276653271/watcher-2668037-1276653271 -o /tmp/evaluation-result-2668037-1276653271/solver-2668037-1276653271 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668037-1276653271.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 6193
/proc/meminfo: memFree=1804292/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=2208 CPUtime=0
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 268 0 0 0 0 0 0 0 18 0 1 0 40930832 2260992 191 1992294400 134512640 136485738 4293951920 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6193/statm: 552 191 156 482 0 68 0

[startup+0.0397851 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 6193
/proc/meminfo: memFree=1804292/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=2464 CPUtime=0.03
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 313 0 0 0 3 0 0 0 18 0 1 0 40930832 2523136 236 1992294400 134512640 136485738 4293951920 18446744073709551615 135416637 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6193/statm: 616 236 156 482 0 132 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2464

[startup+0.100791 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 6193
/proc/meminfo: memFree=1804292/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=2720 CPUtime=0.1
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 406 0 0 0 10 0 0 0 18 0 1 0 40930832 2785280 329 1992294400 134512640 136485738 4293951920 18446744073709551615 135857078 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6193/statm: 680 329 156 482 0 196 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2720

[startup+0.300812 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 6193
/proc/meminfo: memFree=1804292/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=7008 CPUtime=0.29
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 1436 0 0 0 29 0 0 0 18 0 1 0 40930832 7176192 1359 1992294400 134512640 136485738 4293951920 18446744073709551615 135848132 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6193/statm: 1752 1359 156 482 0 1268 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7008

[startup+0.700858 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 6193
/proc/meminfo: memFree=1804292/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=17428 CPUtime=0.69
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 4057 0 0 0 68 1 0 0 18 0 1 0 40930832 17846272 3914 1992294400 134512640 136485738 4293951920 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6193/statm: 4357 3914 156 482 0 3873 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17428

[startup+1.50095 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 6194
/proc/meminfo: memFree=1758032/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=106420 CPUtime=1.49
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 26916 0 0 0 138 11 0 0 20 0 1 0 40930832 108974080 25811 1992294400 134512640 136485738 4293951920 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 26605 25811 194 482 0 26121 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 106420

[startup+3.10113 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 6194
/proc/meminfo: memFree=1662428/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=210416 CPUtime=3.09
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 55155 0 0 0 283 26 0 0 25 0 1 0 40930832 215465984 51808 1992294400 134512640 136485738 4293951920 18446744073709551615 135681391 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 52604 51809 198 482 0 52120 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 210416

[startup+6.30148 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 6194
/proc/meminfo: memFree=1442212/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=425428 CPUtime=6.29
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 112366 0 0 0 577 52 0 0 25 0 1 0 40930832 435638272 104738 1992294400 134512640 136485738 4293951920 18446744073709551615 135180878 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 106357 104739 198 482 0 105873 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 425428

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 6194
/proc/meminfo: memFree=1005484/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=840664 CPUtime=12.69
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 219501 0 0 0 1175 94 0 0 25 0 1 0 40930832 860839936 199260 1992294400 134512640 136485738 4293951920 18446744073709551615 135047552 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 210166 199260 243 482 0 209682 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 840664

[startup+25.5006 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 6196
/proc/meminfo: memFree=1005484/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=840664 CPUtime=25.48
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 219501 0 0 0 2448 100 0 0 25 0 1 0 40930832 860839936 199260 1992294400 134512640 136485738 4293951920 18446744073709551615 135037649 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 210166 199260 243 482 0 209682 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 840664

[startup+51.1005 s]
/proc/loadavg: 1.09 1.02 1.01 2/107 6196
/proc/meminfo: memFree=1004988/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=840940 CPUtime=51.08
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 219770 0 0 0 4998 110 0 0 25 0 1 0 40930832 861122560 199528 1992294400 134512640 136485738 4293951920 18446744073709551615 135040916 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 210235 199528 244 482 0 209751 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 840940

[startup+102.308 s]
/proc/loadavg: 1.08 1.03 1.01 2/107 6198
/proc/meminfo: memFree=998044/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=847704 CPUtime=102.27
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 221490 0 0 0 10089 138 0 0 25 0 1 0 40930832 868048896 201240 1992294400 134512640 136485738 4293951920 18446744073709551615 134886553 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 211926 201240 244 482 0 211442 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 847704

[startup+162.301 s]
/proc/loadavg: 1.03 1.02 1.00 2/107 6198
/proc/meminfo: memFree=988744/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=857080 CPUtime=162.24
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 223832 0 0 0 16052 172 0 0 25 0 1 0 40930832 877649920 203582 1992294400 134512640 136485738 4293951920 18446744073709551615 135040537 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 214270 203582 244 482 0 213786 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 857080

[startup+222.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 6200
/proc/meminfo: memFree=977584/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=868080 CPUtime=222.23
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 226575 0 0 0 22015 208 0 0 25 0 1 0 40930832 888913920 206325 1992294400 134512640 136485738 4293951920 18446744073709551615 135047563 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 217020 206325 244 482 0 216536 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 868080

[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 6202
/proc/meminfo: memFree=968408/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=877144 CPUtime=282.22
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 228844 0 0 0 27979 243 0 0 25 0 1 0 40930832 898195456 208594 1992294400 134512640 136485738 4293951920 18446744073709551615 135047563 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 219286 208594 244 482 0 218802 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 877144

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6204
/proc/meminfo: memFree=962084/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=883484 CPUtime=342.2
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 230420 0 0 0 33947 273 0 0 25 0 1 0 40930832 904687616 210170 1992294400 134512640 136485738 4293951920 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 220871 210170 244 482 0 220387 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 883484

[startup+402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6215
/proc/meminfo: memFree=952040/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=893396 CPUtime=402.17
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 232901 0 0 0 39910 307 0 0 25 0 1 0 40930832 914837504 212651 1992294400 134512640 136485738 4293951920 18446744073709551615 135024897 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 223349 212651 244 482 0 222865 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 893396

[startup+462.301 s]
/proc/loadavg: 1.08 1.02 1.01 2/112 6679
/proc/meminfo: memFree=905716/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=903608 CPUtime=461.87
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 235433 0 0 0 45845 342 0 0 25 0 1 0 40930832 925294592 215182 1992294400 134512640 136485738 4293951920 18446744073709551615 135044346 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 225902 215182 244 482 0 225418 0
Current children cumulated CPU time (s) 461.87
Current children cumulated vsize (KiB) 903608

[startup+522.301 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 6735
/proc/meminfo: memFree=881600/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=911800 CPUtime=521.85
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 237507 0 0 0 51812 373 0 0 25 0 1 0 40930832 933683200 217256 1992294400 134512640 136485738 4293951920 18446744073709551615 135047545 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 227950 217256 244 482 0 227466 0
Current children cumulated CPU time (s) 521.85
Current children cumulated vsize (KiB) 911800

[startup+582.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 6737
/proc/meminfo: memFree=875524/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=917760 CPUtime=581.83
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 239005 0 0 0 57776 407 0 0 25 0 1 0 40930832 939786240 218754 1992294400 134512640 136485738 4293951920 18446744073709551615 135040750 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 229440 218754 244 482 0 228956 0
Current children cumulated CPU time (s) 581.83
Current children cumulated vsize (KiB) 917760

[startup+642.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 6739
/proc/meminfo: memFree=867464/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=925800 CPUtime=641.82
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 241000 0 0 0 63742 440 0 0 25 0 1 0 40930832 948019200 220749 1992294400 134512640 136485738 4293951920 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 231450 220749 244 482 0 230966 0
Current children cumulated CPU time (s) 641.82
Current children cumulated vsize (KiB) 925800

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6743
/proc/meminfo: memFree=843904/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=949560 CPUtime=821.76
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 246928 0 0 0 81638 538 0 0 25 0 1 0 40930832 972349440 226677 1992294400 134512640 136485738 4293951920 18446744073709551615 135024897 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 237390 226677 244 482 0 236906 0
Current children cumulated CPU time (s) 821.76
Current children cumulated vsize (KiB) 949560

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6745
/proc/meminfo: memFree=834604/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=958804 CPUtime=881.75
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 249266 0 0 0 87606 569 0 0 25 0 1 0 40930832 981815296 229015 1992294400 134512640 136485738 4293951920 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 239701 229015 244 482 0 239217 0
Current children cumulated CPU time (s) 881.75
Current children cumulated vsize (KiB) 958804

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6747
/proc/meminfo: memFree=822824/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=970832 CPUtime=941.73
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 252218 0 0 0 93569 604 0 0 25 0 1 0 40930832 994131968 231967 1992294400 134512640 136485738 4293951920 18446744073709551615 134882833 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 242708 231967 244 482 0 242224 0
Current children cumulated CPU time (s) 941.73
Current children cumulated vsize (KiB) 970832

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6749
/proc/meminfo: memFree=814640/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=978884 CPUtime=1001.72
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 254254 0 0 0 99534 638 0 0 25 0 1 0 40930832 1002377216 234003 1992294400 134512640 136485738 4293951920 18446744073709551615 135024897 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 244721 234003 244 482 0 244237 0
Current children cumulated CPU time (s) 1001.72
Current children cumulated vsize (KiB) 978884

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6749
/proc/meminfo: memFree=807572/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=986012 CPUtime=1061.7
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 256046 0 0 0 105502 668 0 0 25 0 1 0 40930832 1009676288 235795 1992294400 134512640 136485738 4293951920 18446744073709551615 135047563 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 246503 235795 244 482 0 246019 0
Current children cumulated CPU time (s) 1061.7
Current children cumulated vsize (KiB) 986012

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6751
/proc/meminfo: memFree=800132/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=993548 CPUtime=1121.68
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 257909 0 0 0 111469 699 0 0 25 0 1 0 40930832 1017393152 237658 1992294400 134512640 136485738 4293951920 18446744073709551615 134659732 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 248387 237658 244 482 0 247903 0
Current children cumulated CPU time (s) 1121.68
Current children cumulated vsize (KiB) 993548

[startup+1182.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 6756
/proc/meminfo: memFree=791452/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=1001468 CPUtime=1181.67
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 259901 0 0 0 117435 732 0 0 25 0 1 0 40930832 1025503232 239650 1992294400 134512640 136485738 4293951920 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 250367 239650 244 482 0 249883 0
Current children cumulated CPU time (s) 1181.67
Current children cumulated vsize (KiB) 1001468

[startup+1242.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 6758
/proc/meminfo: memFree=783020/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=1009916 CPUtime=1241.65
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 262016 0 0 0 123395 770 0 0 25 0 1 0 40930832 1034153984 241765 1992294400 134512640 136485738 4293951920 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 252479 241765 244 482 0 251995 0
Current children cumulated CPU time (s) 1241.65
Current children cumulated vsize (KiB) 1009916

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6760
/proc/meminfo: memFree=773596/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=1019448 CPUtime=1301.65
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 264366 0 0 0 129361 804 0 0 25 0 1 0 40930832 1043914752 244115 1992294400 134512640 136485738 4293951920 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 254862 244115 244 482 0 254378 0
Current children cumulated CPU time (s) 1301.65
Current children cumulated vsize (KiB) 1019448

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6760
/proc/meminfo: memFree=765784/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=1027368 CPUtime=1361.62
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 266348 0 0 0 135329 833 0 0 25 0 1 0 40930832 1052024832 246097 1992294400 134512640 136485738 4293951920 18446744073709551615 135024897 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 256842 246097 244 482 0 256358 0
Current children cumulated CPU time (s) 1361.62
Current children cumulated vsize (KiB) 1027368

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6762
/proc/meminfo: memFree=764048/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=1029084 CPUtime=1421.62
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 266753 0 0 0 141296 866 0 0 25 0 1 0 40930832 1053782016 246502 1992294400 134512640 136485738 4293951920 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 257271 246502 244 482 0 256787 0
Current children cumulated CPU time (s) 1421.62
Current children cumulated vsize (KiB) 1029084

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6764
/proc/meminfo: memFree=764048/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=1029084 CPUtime=1481.6
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 266753 0 0 0 147263 897 0 0 25 0 1 0 40930832 1053782016 246502 1992294400 134512640 136485738 4293951920 18446744073709551615 134638729 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 257271 246502 244 482 0 256787 0
Current children cumulated CPU time (s) 1481.6
Current children cumulated vsize (KiB) 1029084

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6766
/proc/meminfo: memFree=764048/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=1029084 CPUtime=1541.58
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 266753 0 0 0 153230 928 0 0 25 0 1 0 40930832 1053782016 246502 1992294400 134512640 136485738 4293951920 18446744073709551615 135024897 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 257271 246502 244 482 0 256787 0
Current children cumulated CPU time (s) 1541.58
Current children cumulated vsize (KiB) 1029084

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6768
/proc/meminfo: memFree=764048/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=1029084 CPUtime=1601.56
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 266753 0 0 0 159199 957 0 0 25 0 1 0 40930832 1053782016 246502 1992294400 134512640 136485738 4293951920 18446744073709551615 135047552 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 257271 246502 244 482 0 256787 0
Current children cumulated CPU time (s) 1601.56
Current children cumulated vsize (KiB) 1029084

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6768
/proc/meminfo: memFree=764048/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=1029084 CPUtime=1661.55
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 266753 0 0 0 165168 987 0 0 25 0 1 0 40930832 1053782016 246502 1992294400 134512640 136485738 4293951920 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 257271 246502 244 482 0 256787 0
Current children cumulated CPU time (s) 1661.55
Current children cumulated vsize (KiB) 1029084

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6770
/proc/meminfo: memFree=763924/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=1029084 CPUtime=1721.53
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 266753 0 0 0 171133 1020 0 0 25 0 1 0 40930832 1053782016 246502 1992294400 134512640 136485738 4293951920 18446744073709551615 135047024 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 257271 246502 244 482 0 256787 0
Current children cumulated CPU time (s) 1721.53
Current children cumulated vsize (KiB) 1029084

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6772
/proc/meminfo: memFree=763676/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=1029084 CPUtime=1781.51
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 266753 0 0 0 177100 1051 0 0 25 0 1 0 40930832 1053782016 246502 1992294400 134512640 136485738 4293951920 18446744073709551615 134659852 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 257271 246502 244 482 0 256787 0
Current children cumulated CPU time (s) 1781.51
Current children cumulated vsize (KiB) 1029084



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6772
/proc/meminfo: memFree=763676/2059040 swapFree=4140468/4192956
[pid=6193] ppid=6191 vsize=1029084 CPUtime=1800.02
/proc/6193/stat : 6193 (pbct) R 6191 6193 5355 0 -1 4202496 266753 0 0 0 178941 1061 0 0 25 0 1 0 40930832 1053782016 246502 1992294400 134512640 136485738 4293951920 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6193/statm: 257271 246502 244 482 0 256787 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1029084

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.91
CPU time (s): 1800.12
CPU user time (s): 1789.41
CPU system time (s): 10.7124
CPU usage (%): 99.9565
Max. virtual memory (cumulated for all children) (KiB): 1029084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.41
system time used= 10.7124
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 266754
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= 2
involuntary context switches= 20265

runsolver used 2.83457 second user time and 8.67668 second system time

The end

Launcher Data 

Begin job on node005 at 2010-06-16 03:54:31
IDJOB=2668037
IDBENCH=48120
IDSOLVER=1170
FILE ID=node005/2668037-1276653271
PBS_JOBID= 11172453
Free space on /tmp= 62564 MiB

SOLVER NAME= PB/CT 0.1
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_60_1.opb
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2668037-1276653271/watcher-2668037-1276653271 -o /tmp/evaluation-result-2668037-1276653271/solver-2668037-1276653271 -C 1800 -W 2000 -M 1800  HOME/pbct --model HOME/instance-2668037-1276653271.opb

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

MD5SUM BENCH= 7931a71f4daac58a32a56f6c89bc3525
RANDOM SEED=1586334899

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1804820 kB
Buffers:         75228 kB
Cached:          97804 kB
SwapCached:       6288 kB
Active:          94052 kB
Inactive:        92612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1804820 kB
SwapTotal:     4192956 kB
SwapFree:      4140468 kB
Dirty:            2412 kB
Writeback:           0 kB
AnonPages:       11516 kB
Mapped:          13096 kB
Slab:            45848 kB
PageTables:       4020 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181008 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62564 MiB
End job on node005 at 2010-06-16 04:24:34