Trace number 36653

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
Pueblo 1.4SAT118468 1782.73 1783.19

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-cracpb1.opb
MD5SUM75f6d21683e6eb738b98c93cf5598ff3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark22199
Best CPU time to get the best result obtained on this benchmark1.24581
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 22199
Optimality of the best value was proved YES
Number of variables572
Total number of constraints126
Number of constraints which are clauses3
Number of constraints which are cardinality constraints (but not clauses)54
Number of constraints which are nor clauses,nor cardinality constraints69
Minimum length of a constraint4
Maximum length of a constraint518
Number of terms in the objective function 572
Biggest coefficient in the objective function 5000
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 547769
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 5000
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 547769
Number of bits of the biggest sum of numbers20
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	c Pueblo version 1.4 (September 2005)
0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00	c  by Hossein Sheini
0.02	c starting to Solve
0.02	c #variables read: 572 - #constraints read: 216
0.02	o 270000
0.02	o 261286
0.03	o 253536
0.03	o 248803
0.03	o 240089
0.03	o 239805
0.04	o 234776
0.04	o 230705
0.06	o 226457
0.10	o 219153
0.10	o 214980
0.10	o 209372
0.10	o 205199
0.11	o 201620
0.11	o 201295
0.11	o 200565
0.11	o 196392
0.11	o 196012
0.11	o 191839
0.11	o 191514
0.79	o 191034
2.03	o 189939
2.10	o 186366
2.10	o 185926
2.12	o 185872
3.02	o 183023
3.02	o 182495
3.06	o 178482
3.06	o 174309
3.31	o 174240
3.34	o 174026
4.56	o 172409
4.56	o 172221
11.26	o 169762
11.26	o 169520
13.18	o 169155
20.93	o 168883
20.94	o 168878
22.22	o 168865
70.07	o 165923
70.07	o 165395
70.07	o 165326
75.59	o 165305
75.77	o 164931
75.78	o 164717
75.78	o 164648
84.53	o 164579
228.79	o 164313
228.80	o 164065
228.80	o 163851
228.80	o 163820
228.82	o 163785
228.82	o 163537
228.82	o 163323
228.83	o 163292
228.84	o 159192
228.84	o 158978
229.98	o 154831
229.98	o 154762
229.98	o 154548
229.98	o 154479
229.99	o 154303
229.99	o 154234
229.99	o 154020
229.99	o 153951
230.02	o 153882
230.27	o 151085
230.27	o 146230
230.27	o 145947
230.28	o 145942
230.37	o 145903
230.38	o 145898
231.89	o 145389
232.30	o 136203
232.30	o 136134
232.30	o 135920
232.36	o 135416
232.36	o 135411
241.74	o 132142
241.75	o 132111
243.20	o 131823
243.20	o 127749
243.21	o 127736
249.79	o 123678
249.79	o 123665
249.81	o 123150
249.81	o 123137
1615.39	o 122929
1615.39	o 118756
1615.40	o 118751
1615.41	o 118542
1615.41	o 118537
1615.42	o 118473
1615.42	o 118468
1783.18	c total time              : 1783 s
1783.18	s SATISFIABLE
1783.18	v -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
1783.18	v -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
1783.18	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126
1783.18	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147
1783.18	v -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
1783.18	v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1783.18	v x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1783.18	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231
1783.18	v -x232 x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 x250 -x251 -x252
1783.18	v -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273
1783.18	v -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294
1783.18	v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315
1783.18	v -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336
1783.18	v -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
1783.18	v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378
1783.18	v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399
1783.18	v -x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420
1783.18	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
1783.18	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462
1783.18	v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483
1783.18	v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504
1783.18	v x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525
1783.18	v -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546
1783.18	v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567
1783.18	v -x568 -x569 -x570 -x571 -x572 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
1783.18	v -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
1783.18	v -x54

Verifier Data (download as text)

OK	118468

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/node49/watcher-36653-1149367832 -o ROOT/results/node49/solver-36653-1149367832 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node49/36653-1149367832/instance-36653-1149367832.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/64 15924
/proc/meminfo: memFree=1594568/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=2328 CPUtime=0
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 147 0 0 0 0 0 0 0 18 0 1 0 202450337 2383872 128 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 2485112 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 582 129 110 16 0 11 0

[startup+10.0022 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 15924
/proc/meminfo: memFree=1591952/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=4872 CPUtime=9.99
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 869 0 0 0 998 1 0 0 25 0 1 0 202450337 4988928 840 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 1218 840 205 16 0 659 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 4872

[startup+20.008 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 15924
/proc/meminfo: memFree=1591760/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=5100 CPUtime=19.99
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 920 0 0 0 1997 2 0 0 25 0 1 0 202450337 5222400 891 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557334 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 1275 891 205 16 0 716 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 5100

[startup+30.0139 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 15924
/proc/meminfo: memFree=1591696/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=5128 CPUtime=30
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 942 0 0 0 2997 3 0 0 25 0 1 0 202450337 5251072 900 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 1282 900 205 16 0 723 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 5128

[startup+40.0197 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 15924
/proc/meminfo: memFree=1591568/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=5392 CPUtime=40
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 992 0 0 0 3996 4 0 0 25 0 1 0 202450337 5521408 949 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528256 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 1348 949 205 16 0 789 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 5392

[startup+50.0255 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 15924
/proc/meminfo: memFree=1591056/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=5912 CPUtime=50
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 1119 0 0 0 4995 5 0 0 25 0 1 0 202450337 6053888 1072 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 1478 1072 205 16 0 919 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 5912

[startup+60.0313 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 15924
/proc/meminfo: memFree=1590992/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=5912 CPUtime=60.01
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 1137 0 0 0 5995 6 0 0 25 0 1 0 202450337 6053888 1090 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 1478 1090 205 16 0 919 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 5912

[startup+70.0371 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 15924
/proc/meminfo: memFree=1590928/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=6040 CPUtime=70.01
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 1162 0 0 0 6995 6 0 0 25 0 1 0 202450337 6184960 1115 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 1510 1115 205 16 0 951 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 6040

[startup+80.043 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 15924
/proc/meminfo: memFree=1590864/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=6040 CPUtime=80.01
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 1167 0 0 0 7994 7 0 0 25 0 1 0 202450337 6184960 1120 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527562 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 1510 1120 205 16 0 951 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 6040

[startup+90.0488 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 15924
/proc/meminfo: memFree=1590800/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=6156 CPUtime=90.02
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 1201 0 0 0 8994 8 0 0 25 0 1 0 202450337 6303744 1154 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 1539 1154 205 16 0 980 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 6156

[startup+100.055 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 15924
/proc/meminfo: memFree=1590800/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=6084 CPUtime=100.02
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 1201 0 0 0 9993 9 0 0 25 0 1 0 202450337 6230016 1145 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 1521 1145 205 16 0 962 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 6084

[startup+110.06 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 15924
/proc/meminfo: memFree=1590800/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=6068 CPUtime=110.03
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 1201 0 0 0 10993 10 0 0 25 0 1 0 202450337 6213632 1141 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 1517 1141 205 16 0 958 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 6068

[startup+120.067 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 15924
/proc/meminfo: memFree=1590800/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=6180 CPUtime=120.03
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 1215 0 0 0 11992 11 0 0 25 0 1 0 202450337 6328320 1155 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 1545 1155 205 16 0 986 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 6180

[startup+130.072 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 15924
/proc/meminfo: memFree=1590544/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=6316 CPUtime=130.03
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 1309 0 0 0 12991 12 0 0 25 0 1 0 202450337 6467584 1187 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 1579 1187 205 16 0 1020 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 6316

[startup+140.077 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 15924
/proc/meminfo: memFree=1590544/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=6376 CPUtime=140.03
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 1333 0 0 0 13990 13 0 0 25 0 1 0 202450337 6529024 1211 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 1594 1211 205 16 0 1035 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 6376

[startup+150.083 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 15924
/proc/meminfo: memFree=1590480/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=6500 CPUtime=150.03
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 1361 0 0 0 14989 14 0 0 25 0 1 0 202450337 6656000 1239 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 1625 1239 205 16 0 1066 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 6500

[startup+160.089 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 15924
/proc/meminfo: memFree=1590416/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=6512 CPUtime=160.04
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 1369 0 0 0 15989 15 0 0 25 0 1 0 202450337 6668288 1243 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 1628 1243 205 16 0 1069 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 6512

[startup+170.094 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 15924
/proc/meminfo: memFree=1590352/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=6500 CPUtime=170.04
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 1384 0 0 0 16989 15 0 0 25 0 1 0 202450337 6656000 1249 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 1625 1249 205 16 0 1066 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 6500

[startup+180.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 15924
/proc/meminfo: memFree=1590160/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=6752 CPUtime=180.05
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 1446 0 0 0 17989 16 0 0 25 0 1 0 202450337 6914048 1311 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 1688 1311 205 16 0 1129 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 6752

[startup+190.105 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 15924
/proc/meminfo: memFree=1590160/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=6752 CPUtime=190.05
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 1446 0 0 0 18988 17 0 0 25 0 1 0 202450337 6914048 1311 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 1688 1311 205 16 0 1129 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 6752

[startup+200.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 15924
/proc/meminfo: memFree=1590160/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=6752 CPUtime=200.05
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 1446 0 0 0 19988 17 0 0 25 0 1 0 202450337 6914048 1311 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 1688 1311 205 16 0 1129 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 6752

[startup+210.116 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 15924
/proc/meminfo: memFree=1590096/2055920 swapFree=4181408/4192956

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

/proc/15924/statm: 2190 1814 205 16 0 1631 0
Current children cumulated CPU time (s) 1590.49
Current children cumulated vsize (Kb) 8760

[startup+1600.91 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 16119
/proc/meminfo: memFree=1587672/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=9020 CPUtime=1600.49
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3543 0 0 0 159924 125 0 0 25 0 1 0 202450337 9236480 1860 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 2255 1860 205 16 0 1696 0
Current children cumulated CPU time (s) 1600.49
Current children cumulated vsize (Kb) 9020

[startup+1610.92 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 16119
/proc/meminfo: memFree=1587672/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=9020 CPUtime=1610.5
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3543 0 0 0 160924 126 0 0 25 0 1 0 202450337 9236480 1860 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 2255 1860 205 16 0 1696 0
Current children cumulated CPU time (s) 1610.5
Current children cumulated vsize (Kb) 9020

[startup+1620.93 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 16119
/proc/meminfo: memFree=1587672/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=8960 CPUtime=1620.5
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3543 0 0 0 161923 127 0 0 25 0 1 0 202450337 9175040 1860 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 2240 1860 205 16 0 1681 0
Current children cumulated CPU time (s) 1620.5
Current children cumulated vsize (Kb) 8960

[startup+1630.93 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 16119
/proc/meminfo: memFree=1587672/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=8960 CPUtime=1630.5
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3543 0 0 0 162923 127 0 0 25 0 1 0 202450337 9175040 1860 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528646 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 2240 1860 205 16 0 1681 0
Current children cumulated CPU time (s) 1630.5
Current children cumulated vsize (Kb) 8960

[startup+1640.94 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 16119
/proc/meminfo: memFree=1587672/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=8960 CPUtime=1640.51
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3543 0 0 0 163923 128 0 0 25 0 1 0 202450337 9175040 1860 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 2240 1860 205 16 0 1681 0
Current children cumulated CPU time (s) 1640.51
Current children cumulated vsize (Kb) 8960

[startup+1650.94 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 16119
/proc/meminfo: memFree=1587608/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=9084 CPUtime=1650.51
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3549 0 0 0 164922 129 0 0 25 0 1 0 202450337 9302016 1866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 2271 1866 205 16 0 1712 0
Current children cumulated CPU time (s) 1650.51
Current children cumulated vsize (Kb) 9084

[startup+1660.95 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 16119
/proc/meminfo: memFree=1587672/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=9000 CPUtime=1660.51
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3549 0 0 0 165922 129 0 0 25 0 1 0 202450337 9216000 1866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 2250 1866 205 16 0 1691 0
Current children cumulated CPU time (s) 1660.51
Current children cumulated vsize (Kb) 9000

[startup+1670.95 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 16119
/proc/meminfo: memFree=1587672/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=9000 CPUtime=1670.52
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3549 0 0 0 166922 130 0 0 25 0 1 0 202450337 9216000 1866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 2250 1866 205 16 0 1691 0
Current children cumulated CPU time (s) 1670.52
Current children cumulated vsize (Kb) 9000

[startup+1680.96 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 16119
/proc/meminfo: memFree=1587672/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=9000 CPUtime=1680.52
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3549 0 0 0 167922 130 0 0 25 0 1 0 202450337 9216000 1866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528850 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 2250 1866 205 16 0 1691 0
Current children cumulated CPU time (s) 1680.52
Current children cumulated vsize (Kb) 9000

[startup+1690.96 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 16119
/proc/meminfo: memFree=1587672/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=9000 CPUtime=1690.53
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3549 0 0 0 168922 131 0 0 25 0 1 0 202450337 9216000 1866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528239 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 2250 1866 205 16 0 1691 0
Current children cumulated CPU time (s) 1690.53
Current children cumulated vsize (Kb) 9000

[startup+1700.97 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 16119
/proc/meminfo: memFree=1587672/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=9000 CPUtime=1700.52
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3549 0 0 0 169921 131 0 0 25 0 1 0 202450337 9216000 1866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 2250 1866 205 16 0 1691 0
Current children cumulated CPU time (s) 1700.52
Current children cumulated vsize (Kb) 9000

[startup+1710.98 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 16119
/proc/meminfo: memFree=1587672/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=9000 CPUtime=1710.53
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3549 0 0 0 170921 132 0 0 25 0 1 0 202450337 9216000 1866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 2250 1866 205 16 0 1691 0
Current children cumulated CPU time (s) 1710.53
Current children cumulated vsize (Kb) 9000

[startup+1720.98 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 16119
/proc/meminfo: memFree=1587672/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=9000 CPUtime=1720.53
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3549 0 0 0 171920 133 0 0 25 0 1 0 202450337 9216000 1866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 2250 1866 205 16 0 1691 0
Current children cumulated CPU time (s) 1720.53
Current children cumulated vsize (Kb) 9000

[startup+1730.99 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 16119
/proc/meminfo: memFree=1587608/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=9000 CPUtime=1730.53
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3549 0 0 0 172920 133 0 0 25 0 1 0 202450337 9216000 1866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527830 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 2250 1866 205 16 0 1691 0
Current children cumulated CPU time (s) 1730.53
Current children cumulated vsize (Kb) 9000

[startup+1740.99 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 16119
/proc/meminfo: memFree=1587608/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=9000 CPUtime=1740.54
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3549 0 0 0 173920 134 0 0 25 0 1 0 202450337 9216000 1866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528267 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 2250 1866 205 16 0 1691 0
Current children cumulated CPU time (s) 1740.54
Current children cumulated vsize (Kb) 9000

[startup+1751 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 16119
/proc/meminfo: memFree=1587608/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=8980 CPUtime=1750.55
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3549 0 0 0 174921 134 0 0 25 0 1 0 202450337 9195520 1866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 2245 1866 205 16 0 1686 0
Current children cumulated CPU time (s) 1750.55
Current children cumulated vsize (Kb) 8980

[startup+1761.01 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 16119
/proc/meminfo: memFree=1587608/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=8980 CPUtime=1760.55
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3549 0 0 0 175920 135 0 0 25 0 1 0 202450337 9195520 1866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 2245 1866 205 16 0 1686 0
Current children cumulated CPU time (s) 1760.55
Current children cumulated vsize (Kb) 8980

[startup+1771.01 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 16119
/proc/meminfo: memFree=1587672/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=8980 CPUtime=1770.55
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3549 0 0 0 176919 136 0 0 25 0 1 0 202450337 9195520 1866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 2245 1866 205 16 0 1686 0
Current children cumulated CPU time (s) 1770.55
Current children cumulated vsize (Kb) 8980

[startup+1781.02 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 16119
/proc/meminfo: memFree=1587672/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=8980 CPUtime=1780.55
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3549 0 0 0 177919 136 0 0 25 0 1 0 202450337 9195520 1866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528322 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 2245 1866 205 16 0 1686 0
Current children cumulated CPU time (s) 1780.55
Current children cumulated vsize (Kb) 8980

[startup+1782.02 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 16119
/proc/meminfo: memFree=1587672/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=8980 CPUtime=1781.55
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3549 0 0 0 178019 136 0 0 25 0 1 0 202450337 9195520 1866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 2245 1866 205 16 0 1686 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (Kb) 8980

[startup+1783.03 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 16119
/proc/meminfo: memFree=1587672/2055920 swapFree=4181408/4192956
[pid=15924] ppid=15922 vsize=8980 CPUtime=1782.56
/proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3549 0 0 0 178120 136 0 0 25 0 1 0 202450337 9195520 1866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/15924/statm: 2245 1866 205 16 0 1686 0
Current children cumulated CPU time (s) 1782.56
Current children cumulated vsize (Kb) 8980

Child status: 10
Real time (s): 1783.19
CPU time (s): 1782.73
CPU user time (s): 1781.36
CPU system time (s): 1.37079
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (Kb): 9084

Launcher Data (download as text)

Begin job on node49 on Sat Jun  3 20:50:32 UTC 2006


FILE ID= 36653-1149367832

PBS_JOBID= 311945

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-cracpb1.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node49/36653-1149367832/instance-36653-1149367832.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node49/watcher-36653-1149367832 -o ROOT/results/node49/solver-36653-1149367832 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node49/36653-1149367832/instance-36653-1149367832.opb

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  75f6d21683e6eb738b98c93cf5598ff3

RANDOM SEED= 556617990


/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.216
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.216
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:       1594776 kB
Buffers:         26368 kB
Cached:         376448 kB
SwapCached:       3280 kB
Active:          46164 kB
Inactive:       365376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1594776 kB
SwapTotal:     4192956 kB
SwapFree:      4181408 kB
Dirty:             160 kB
Writeback:           0 kB
Mapped:          14832 kB
Slab:            35636 kB
Committed_AS:   354660 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node49 on Sat Jun  3 21:20:15 UTC 2006