Trace number 50348

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 2006/05OPT44 638.965 639.181

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_9.opb
MD5SUMa849a24692bdc034ba3174a2ba23709e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark44
Best CPU time to get the best result obtained on this benchmark182.509
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 44
Optimality of the best value was proved YES
Number of variables601
Total number of constraints1089
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1088
Minimum length of a constraint1
Maximum length of a constraint29
Number of terms in the objective function 7
Biggest coefficient in the objective function 36
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 99
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 128
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 682
Number of bits of the biggest sum of numbers10
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 Time Limit set via PBTIMEOUT to 1800
0.02	c INFO: OSL Context initialized.
0.13	c Initial problem consists of 601 variables and 1089 constraints.
0.14	c No problem reductions applied in OPT. instance.
0.14	c	preprocess terminated. Elapsed time: 0.123
0.14	c After prepocess the problem consists of 600 variables and 1088 constraints.
0.14	c Initial Lower Bound: 36
0.53	c Restart #1 #Var: 600 LB: 36 @ 0.511
0.87	c Sol. found (all assignments made)...
0.87	o 75
0.87	c NEW SOLUTION FOUND: 75 @ 0.851
0.98	c Sol. found (all assignments made)...
0.98	o 67
0.98	c NEW SOLUTION FOUND: 67 @ 0.968
1.81	c Restart #2 #Var: 600 LB: 36 @ 1.798
2.15	c Sol. found (all assignments made)...
2.15	o 63
2.15	c NEW SOLUTION FOUND: 63 @ 2.131
3.45	c Restart #3 #Var: 600 LB: 36 @ 3.434
5.02	c Restart #4 #Var: 600 LB: 36 @ 5
7.06	c Restart #5 #Var: 600 LB: 36 @ 7.045
9.16	c Restart #6 #Var: 600 LB: 36 @ 9.145
11.02	c Sol. found (all assignments made)...
11.02	o 61
11.02	c NEW SOLUTION FOUND: 61 @ 10.998
11.21	c Sol. found (all assignments made)...
11.21	o 59
11.21	c NEW SOLUTION FOUND: 59 @ 11.193
11.37	c Sol. found (all assignments made)...
11.37	o 55
11.37	c NEW SOLUTION FOUND: 55 @ 11.347
12.71	c Restart #7 #Var: 597 LB: 36 @ 12.693
15.63	c Restart #8 #Var: 594 LB: 36 @ 15.606
16.56	c Restart #9 #Var: 594 LB: 36 @ 16.538
17.56	c Restart #10 #Var: 593 LB: 36 @ 17.537
20.07	c CHANGE to MIS mode... 	UB: 55	MIS: 36	LPR: 36 (0.09075)	Diff: 1
20.07	c Restart #0 #Var: 593 LB: 36 @ 20.021
20.27	c Restart #1 #Var: 593 LB: 36 @ 20.227
20.51	c Restart #2 #Var: 593 LB: 36 @ 20.468
20.89	c Sol. found (all assignments made)...
20.89	o 54
20.89	c NEW SOLUTION FOUND: 54 @ 20.848
21.30	c Restart #3 #Var: 593 LB: 36 @ 21.252
22.03	c Restart #4 #Var: 593 LB: 36 @ 21.986
22.86	c Restart #5 #Var: 590 LB: 36 @ 22.812
23.22	c Sol. found (all assignments made)...
23.22	o 53
23.22	c NEW SOLUTION FOUND: 53 @ 23.177
23.79	c Restart #6 #Var: 588 LB: 36 @ 23.74
24.64	c Restart #7 #Var: 587 LB: 36 @ 24.592
25.66	c Restart #8 #Var: 587 LB: 36 @ 25.616
26.39	c Sol. found (all assignments made)...
26.39	o 52
26.39	c NEW SOLUTION FOUND: 52 @ 26.341
27.64	c Restart #9 #Var: 585 LB: 36 @ 27.591
28.94	c Restart #10 #Var: 585 LB: 36 @ 28.896
30.31	c Restart #11 #Var: 585 LB: 36 @ 30.261
32.03	c Restart #12 #Var: 585 LB: 36 @ 31.982
34.01	c Restart #13 #Var: 585 LB: 36 @ 33.955
35.62	c Restart #14 #Var: 585 LB: 36 @ 35.572
36.36	c Sol. found (all assignments made)...
36.36	o 48
36.36	c NEW SOLUTION FOUND: 48 @ 36.309
38.33	c Restart #15 #Var: 585 LB: 36 @ 38.275
41.28	c Restart #16 #Var: 585 LB: 36 @ 41.226
44.24	c Restart #17 #Var: 585 LB: 36 @ 44.184
48.54	c Restart #18 #Var: 585 LB: 36 @ 48.49
52.05	c Restart #19 #Var: 585 LB: 36 @ 52
55.69	c Restart #20 #Var: 585 LB: 36 @ 55.634
59.27	c Restart #21 #Var: 585 LB: 36 @ 59.211
63.30	c Restart #22 #Var: 585 LB: 36 @ 63.242
67.26	c Restart #23 #Var: 585 LB: 36 @ 67.205
73.85	c Restart #24 #Var: 585 LB: 36 @ 73.791
76.59	c Restart #25 #Var: 585 LB: 36 @ 76.525
83.54	c Restart #26 #Var: 585 LB: 36 @ 83.472
90.86	c Restart #27 #Var: 585 LB: 36 @ 90.796
92.05	c Sol. found (all assignments made)...
92.05	o 47
92.05	c NEW SOLUTION FOUND: 47 @ 91.983
99.88	c Restart #28 #Var: 585 LB: 36 @ 99.809
105.10	c Restart #29 #Var: 585 LB: 36 @ 105.03
113.50	c Restart #30 #Var: 585 LB: 36 @ 113.43
121.66	c Restart #31 #Var: 585 LB: 36 @ 121.58
126.95	c Sol. found (all assignments made)...
126.95	o 46
126.95	c NEW SOLUTION FOUND: 46 @ 126.87
127.22	c Sol. found (all assignments made)...
127.22	o 45
127.22	c NEW SOLUTION FOUND: 45 @ 127.14
137.57	c Restart #32 #Var: 584 LB: 36 @ 137.49
153.94	c Restart #33 #Var: 584 LB: 36 @ 153.86
166.29	c Restart #34 #Var: 584 LB: 36 @ 166.2
180.91	c Restart #35 #Var: 584 LB: 36 @ 180.82
196.13	c Restart #36 #Var: 578 LB: 36 @ 196.03
210.83	c Restart #37 #Var: 578 LB: 36 @ 210.73
220.80	c Restart #38 #Var: 578 LB: 36 @ 220.7
233.35	c Restart #39 #Var: 578 LB: 36 @ 233.24
239.61	c Restart #40 #Var: 578 LB: 36 @ 239.51
252.02	c Restart #41 #Var: 577 LB: 36 @ 251.91
263.37	c Restart #42 #Var: 577 LB: 36 @ 263.25
272.42	c Restart #43 #Var: 577 LB: 36 @ 272.31
282.53	c Restart #44 #Var: 577 LB: 36 @ 282.41
293.80	c Restart #45 #Var: 577 LB: 36 @ 293.68
307.22	c Restart #46 #Var: 577 LB: 36 @ 307.09
322.71	c Restart #47 #Var: 577 LB: 36 @ 322.58
336.89	c Restart #48 #Var: 577 LB: 36 @ 336.75
351.41	c Restart #49 #Var: 577 LB: 36 @ 351.27
374.19	c Restart #50 #Var: 577 LB: 36 @ 374.05
384.77	c Sol. found (all assignments made)...
384.77	o 44
384.77	c NEW SOLUTION FOUND: 44 @ 384.62
397.80	c Restart #51 #Var: 572 LB: 36 @ 397.65
416.64	c Restart #52 #Var: 572 LB: 36 @ 416.49
436.29	c Restart #53 #Var: 572 LB: 36 @ 436.13
461.37	c Restart #54 #Var: 570 LB: 36 @ 461.2
483.42	c Restart #55 #Var: 570 LB: 36 @ 483.25
507.46	c Restart #56 #Var: 570 LB: 36 @ 507.28
528.45	c Restart #57 #Var: 569 LB: 36 @ 528.27
555.27	c Restart #58 #Var: 569 LB: 36 @ 555.08
585.70	c Restart #59 #Var: 528 LB: 36 @ 585.5
612.93	c Restart #60 #Var: 426 LB: 36 @ 612.72
637.93	c Restart #61 #Var: 270 LB: 36 @ 637.72
639.13	s OPTIMUM FOUND
639.13	c Cost: 44
639.13	v -x1 -x2 -x3 x4 -x5 -x6 x601 -x49 x50 -x51 -x52 x53 -x54 x55 x56 x57 x58 -x59 -x60 -x600 x42 -x43 -x44 -x45 x46 -x47 -x48 -x599 -x598
639.13	v -x597 -x596 -x595 x35 -x36 -x37 x38 -x39 -x40 -x41 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583
639.13	v -x582 -x581 x28 x29 -x30 x31 -x32 -x33 -x34 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 x571 x570 -x569 -x568 -x567
639.13	v -x566 -x565 -x564 x563 x562 x561 -x560 x559 x558 x557 x556 x555 x554 x553 x552 x551 -x21 x22 x23 -x24 -x25 -x26 -x27 -x550 -x549
639.13	v -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 x530 x529 -x528
639.13	v x527 x526 -x525 -x524 -x523 -x522 x521 x520 -x519 x518 x517 x516 x515 x514 x513 x512 x511 -x510 -x509 -x508 x507 x506 -x505
639.13	v x504 x503 x502 x501 x500 x499 x498 x497 -x496 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488
639.13	v -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467
639.13	v x466 x465 x464 -x463 -x462 -x461 -x460 -x459 -x458 x457 x456 x455 -x454 x453 x452 x451 -x450 x449 x448 x447 x446 -x445 -x444
639.13	v -x443 -x442 -x441 -x440 x439 x438 x437 -x436 x435 x434 x433 x432 -x431 x430 x429 x428 x427 -x426 -x425 -x424 -x423 x422 x421
639.13	v x420 x419 x418 x417 x416 x415 x414 x413 x412 -x411 x410 x409 x408 x407 x406 x405 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x404 -x403
639.13	v -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 x386 x385 -x384 -x383 -x382
639.13	v -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 x372 x371 -x370 x369 x368 x367 -x366 -x365 -x364 -x363 -x362 -x361 x360
639.13	v x359 x358 -x357 x356 x355 x354 -x353 x352 x351 x350 x349 x348 x347 x346 x345 -x344 -x343 -x342 -x341 -x340 -x339 x338 x337 x336
639.13	v -x335 x334 x333 x332 -x331 -x330 x329 x328 x327 x326 -x325 x324 x323 x322 x321 -x320 -x319 -x318 -x317 x316 x315 -x314 x313
639.13	v x312 x311 x310 x309 x308 x307 x306 -x305 x304 x303 x302 x301 x300 -x299 x298 x297 x296 x295 x294 x293 -x292 x291 x290 x289 x288
639.13	v x287 x286 x285 x284 x283 x282 x281 x280 x279 -x278 x277 x276 x275 x274 x273 x272 x271 x270 x269 x268 x267 x266 x265 -x264 -x263
639.13	v -x262 -x261 -x260 -x259 -x258 x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 x245 x244 x243 x242 -x241
639.13	v -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 x229 x228 -x227 x226 x225 x224 x223 x222 x221 -x220 -x219
639.13	v -x218 -x217 -x216 -x215 x214 x213 x212 -x211 x210 x209 x208 -x207 x206 x205 x204 x203 x202 x201 x200 x199 x198 x197 x196 x195
639.13	v -x194 -x193 -x192 -x191 -x190 -x189 x188 x187 x186 -x185 x184 x183 x182 -x181 -x180 x179 x178 x177 x176 -x175 x174 x173 x172
639.13	v x171 -x170 x169 x168 x167 x166 x165 -x164 -x163 -x162 x161 x160 -x159 x158 x157 x156 x155 x154 x153 x152 x151 -x150 x149 x148
639.13	v x147 x146 x145 -x144 x143 x142 x141 x140 x139 x138 x137 x136 x135 x134 x133 x132 -x131 x130 x129 x128 x127 x126 x125 x124 x123
639.13	v x122 x121 x120 x119 x118 -x117 x116 x115 x114 x113 x112 x111 x110 x109 x108 x107 x106 x105 x104 x103 x102 x101 x100 x99 x98 x97
639.13	v x96 x95 x94 x93 x92 x91 x90 x89 x88 x87 x86 x85 x84 x83 x82 x81 x80 x79 x78 x77 x76 x75 x74 x73 x72 x71 x70 x69 x68 x67 x66 x65 x64 x63
639.13	v x62 x61
639.13	c Exit Code: 30
639.13	c Total time: 638.91 s

Verifier Data (download as text)

OK	44

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

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

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node87/watcher-50348-1149949057 -o ROOT/results/node87/solver-50348-1149949057 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node87/50348-1149949057/instance-50348-1149949057.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.00 0.00 0.07 2/67 27385
/proc/meminfo: memFree=1826440/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=4672 CPUtime=0
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 154 0 0 0 0 0 0 0 18 0 1 0 260544900 4784128 135 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11210036 0 0 4096 0 0 0 0 17 1 0 0
/proc/27385/statm: 1168 135 105 55 0 46 0

[startup+10.0025 s]
/proc/loadavg: 0.15 0.03 0.08 2/67 27385
/proc/meminfo: memFree=1819536/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=11580 CPUtime=9.98
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 2149 0 0 0 996 2 0 0 25 0 1 0 260544900 11857920 2065 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134633162 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 2895 2065 295 55 0 1786 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 11580

[startup+20.0087 s]
/proc/loadavg: 0.28 0.06 0.09 2/67 27385
/proc/meminfo: memFree=1810640/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=19932 CPUtime=19.95
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 6224 0 2 0 1990 5 0 0 25 0 1 0 260544900 20410368 4243 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 4983 4243 432 55 0 3874 0
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 19932

[startup+30.0148 s]
/proc/loadavg: 0.39 0.09 0.10 2/67 27385
/proc/meminfo: memFree=1800272/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=30192 CPUtime=29.96
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 9528 0 2 0 2987 9 0 0 25 0 1 0 260544900 30916608 6845 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540688 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 7548 6845 432 55 0 6439 0
Current children cumulated CPU time (s) 29.96
Current children cumulated vsize (Kb) 30192

[startup+40.0209 s]
/proc/loadavg: 0.49 0.12 0.11 2/67 27385
/proc/meminfo: memFree=1789712/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=40784 CPUtime=39.96
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 12240 0 2 0 3983 13 0 0 25 0 1 0 260544900 41762816 9489 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 10196 9489 432 55 0 9087 0
Current children cumulated CPU time (s) 39.96
Current children cumulated vsize (Kb) 40784

[startup+50.0261 s]
/proc/loadavg: 0.56 0.15 0.12 2/67 27385
/proc/meminfo: memFree=1782672/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=47912 CPUtime=49.96
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 13991 0 2 0 4981 15 0 0 25 0 1 0 260544900 49061888 11240 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 11978 11240 432 55 0 10869 0
Current children cumulated CPU time (s) 49.96
Current children cumulated vsize (Kb) 47912

[startup+60.0312 s]
/proc/loadavg: 0.63 0.18 0.12 2/67 27385
/proc/meminfo: memFree=1774544/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=55980 CPUtime=59.96
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 16012 0 2 0 5978 18 0 0 25 0 1 0 260544900 57323520 13257 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 13995 13257 432 55 0 12886 0
Current children cumulated CPU time (s) 59.96
Current children cumulated vsize (Kb) 55980

[startup+70.0374 s]
/proc/loadavg: 0.69 0.21 0.13 2/67 27385
/proc/meminfo: memFree=1766096/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=64468 CPUtime=69.97
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 18335 0 2 0 6976 21 0 0 25 0 1 0 260544900 66015232 15374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542169 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 16117 15374 432 55 0 15008 0
Current children cumulated CPU time (s) 69.97
Current children cumulated vsize (Kb) 64468

[startup+80.0435 s]
/proc/loadavg: 0.73 0.23 0.14 2/67 27385
/proc/meminfo: memFree=1758928/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=71768 CPUtime=79.97
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 20116 0 2 0 7973 24 0 0 25 0 1 0 260544900 73490432 17152 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 17942 17152 432 55 0 16833 0
Current children cumulated CPU time (s) 79.97
Current children cumulated vsize (Kb) 71768

[startup+90.0497 s]
/proc/loadavg: 0.77 0.26 0.15 2/67 27385
/proc/meminfo: memFree=1753296/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=77480 CPUtime=89.98
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 21541 0 2 0 8971 27 0 0 25 0 1 0 260544900 79339520 18576 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 19370 18576 432 55 0 18261 0
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 77480

[startup+100.056 s]
/proc/loadavg: 0.81 0.28 0.16 2/67 27385
/proc/meminfo: memFree=1747856/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=82932 CPUtime=99.97
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 22905 0 2 0 9969 28 0 0 25 0 1 0 260544900 84922368 19938 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 20733 19938 432 55 0 19624 0
Current children cumulated CPU time (s) 99.97
Current children cumulated vsize (Kb) 82932

[startup+110.061 s]
/proc/loadavg: 0.84 0.30 0.17 2/67 27385
/proc/meminfo: memFree=1741264/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=89604 CPUtime=109.99
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 24548 0 2 0 10967 32 0 0 25 0 1 0 260544900 91754496 21579 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 22401 21579 432 55 0 21292 0
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 89604

[startup+120.066 s]
/proc/loadavg: 0.86 0.33 0.18 2/67 27385
/proc/meminfo: memFree=1735504/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=95280 CPUtime=119.98
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 25980 0 2 0 11964 34 0 0 25 0 1 0 260544900 97566720 23011 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 23820 23011 432 55 0 22711 0
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (Kb) 95280

[startup+130.072 s]
/proc/loadavg: 0.88 0.35 0.19 2/67 27385
/proc/meminfo: memFree=1731152/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=99636 CPUtime=129.99
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 27066 0 2 0 12962 37 0 0 25 0 1 0 260544900 102027264 24096 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 24909 24096 432 55 0 23800 0
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 99636

[startup+140.078 s]
/proc/loadavg: 0.90 0.37 0.19 2/67 27385
/proc/meminfo: memFree=1726864/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=104008 CPUtime=139.99
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 28142 0 2 0 13960 39 0 0 25 0 1 0 260544900 106504192 25166 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134598977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 26002 25166 432 55 0 24893 0
Current children cumulated CPU time (s) 139.99
Current children cumulated vsize (Kb) 104008

[startup+150.085 s]
/proc/loadavg: 0.92 0.39 0.20 2/67 27385
/proc/meminfo: memFree=1723920/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=107044 CPUtime=150
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 28893 0 2 0 14959 41 0 0 25 0 1 0 260544900 109613056 25916 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 26761 25916 432 55 0 25652 0
Current children cumulated CPU time (s) 150
Current children cumulated vsize (Kb) 107044

[startup+160.091 s]
/proc/loadavg: 0.93 0.41 0.21 2/67 27385
/proc/meminfo: memFree=1719056/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=111912 CPUtime=159.99
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 30505 0 2 0 15957 42 0 0 25 0 1 0 260544900 114597888 27120 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541588 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 27978 27120 432 55 0 26869 0
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 111912

[startup+170.097 s]
/proc/loadavg: 0.94 0.43 0.22 2/67 27385
/proc/meminfo: memFree=1715088/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=115964 CPUtime=170
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 31490 0 2 0 16956 44 0 0 25 0 1 0 260544900 118747136 28102 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 28991 28102 432 55 0 27882 0
Current children cumulated CPU time (s) 170
Current children cumulated vsize (Kb) 115964

[startup+180.102 s]
/proc/loadavg: 0.95 0.45 0.22 2/67 27385
/proc/meminfo: memFree=1711632/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=119428 CPUtime=180.01
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 32348 0 2 0 17955 46 0 0 25 0 1 0 260544900 122294272 28959 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 29857 28959 432 55 0 28748 0
Current children cumulated CPU time (s) 180.01
Current children cumulated vsize (Kb) 119428

[startup+190.108 s]
/proc/loadavg: 0.95 0.46 0.23 2/67 27385
/proc/meminfo: memFree=1708816/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=122268 CPUtime=190
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 33063 0 2 0 18954 46 0 0 25 0 1 0 260544900 125202432 29669 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 30567 29669 432 55 0 29458 0
Current children cumulated CPU time (s) 190
Current children cumulated vsize (Kb) 122268

[startup+200.114 s]
/proc/loadavg: 0.96 0.48 0.24 2/67 27385
/proc/meminfo: memFree=1704912/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=126228 CPUtime=200.01
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 34039 0 2 0 19953 48 0 0 25 0 1 0 260544900 129257472 30645 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 31557 30645 432 55 0 30448 0
Current children cumulated CPU time (s) 200.01
Current children cumulated vsize (Kb) 126228

[startup+210.12 s]
/proc/loadavg: 0.97 0.50 0.25 2/67 27385

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

Current children cumulated CPU time (s) 420.08
Current children cumulated vsize (Kb) 240620

[startup+430.251 s]
/proc/loadavg: 0.99 0.75 0.40 2/67 27385
/proc/meminfo: memFree=1587024/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=244712 CPUtime=430.08
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 64301 0 2 0 42913 95 0 0 25 0 1 0 260544900 250585088 60027 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533763 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 61178 60027 432 55 0 60069 0
Current children cumulated CPU time (s) 430.08
Current children cumulated vsize (Kb) 244712

[startup+440.257 s]
/proc/loadavg: 0.99 0.76 0.40 2/67 27385
/proc/meminfo: memFree=1583632/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=248148 CPUtime=440.09
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 65163 0 2 0 43913 96 0 0 25 0 1 0 260544900 254103552 60889 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541316 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 62037 60889 432 55 0 60928 0
Current children cumulated CPU time (s) 440.09
Current children cumulated vsize (Kb) 248148

[startup+450.263 s]
/proc/loadavg: 0.99 0.77 0.41 2/67 27385
/proc/meminfo: memFree=1580752/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=251116 CPUtime=450.09
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 65888 0 2 0 44911 98 0 0 25 0 1 0 260544900 257142784 61608 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542170 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 62779 61608 432 55 0 61670 0
Current children cumulated CPU time (s) 450.09
Current children cumulated vsize (Kb) 251116

[startup+460.269 s]
/proc/loadavg: 0.99 0.77 0.41 2/67 27385
/proc/meminfo: memFree=1576912/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=254944 CPUtime=460.09
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 66844 0 2 0 45910 99 0 0 25 0 1 0 260544900 261062656 62564 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 63736 62564 432 55 0 62627 0
Current children cumulated CPU time (s) 460.09
Current children cumulated vsize (Kb) 254944

[startup+470.275 s]
/proc/loadavg: 0.99 0.78 0.42 2/67 27385
/proc/meminfo: memFree=1573648/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=258112 CPUtime=470.1
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 67665 0 2 0 46909 101 0 0 25 0 1 0 260544900 264306688 63385 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551565 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 64528 63385 432 55 0 63419 0
Current children cumulated CPU time (s) 470.1
Current children cumulated vsize (Kb) 258112

[startup+480.282 s]
/proc/loadavg: 0.99 0.79 0.43 2/67 27385
/proc/meminfo: memFree=1569872/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=261988 CPUtime=480.1
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 68594 0 2 0 47908 102 0 0 25 0 1 0 260544900 268275712 64312 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542120 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 65497 64312 432 55 0 64388 0
Current children cumulated CPU time (s) 480.1
Current children cumulated vsize (Kb) 261988

[startup+490.288 s]
/proc/loadavg: 0.99 0.79 0.43 2/67 27385
/proc/meminfo: memFree=1566480/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=265540 CPUtime=490.11
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 69449 0 2 0 48907 104 0 0 25 0 1 0 260544900 271912960 65159 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548521 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 66385 65159 432 55 0 65276 0
Current children cumulated CPU time (s) 490.11
Current children cumulated vsize (Kb) 265540

[startup+500.294 s]
/proc/loadavg: 0.99 0.80 0.44 2/67 27385
/proc/meminfo: memFree=1563152/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=268844 CPUtime=500.11
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 70283 0 2 0 49906 105 0 0 25 0 1 0 260544900 275296256 65993 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 67211 65993 432 55 0 66102 0
Current children cumulated CPU time (s) 500.11
Current children cumulated vsize (Kb) 268844

[startup+510.3 s]
/proc/loadavg: 0.99 0.81 0.44 2/67 27385
/proc/meminfo: memFree=1560336/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=271616 CPUtime=510.11
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 70982 0 2 0 50906 105 0 0 25 0 1 0 260544900 278134784 66692 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537786 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 67904 66692 432 55 0 66795 0
Current children cumulated CPU time (s) 510.11
Current children cumulated vsize (Kb) 271616

[startup+520.306 s]
/proc/loadavg: 0.99 0.81 0.45 2/67 27385
/proc/meminfo: memFree=1556944/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=274916 CPUtime=520.12
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 71824 0 2 0 51905 107 0 0 25 0 1 0 260544900 281513984 67534 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529232 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 68729 67534 432 55 0 67620 0
Current children cumulated CPU time (s) 520.12
Current children cumulated vsize (Kb) 274916

[startup+530.311 s]
/proc/loadavg: 0.99 0.82 0.46 2/67 27385
/proc/meminfo: memFree=1552144/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=279804 CPUtime=530.12
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 73040 0 2 0 52904 108 0 0 25 0 1 0 260544900 286519296 68750 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 69951 68750 432 55 0 68842 0
Current children cumulated CPU time (s) 530.12
Current children cumulated vsize (Kb) 279804

[startup+540.317 s]
/proc/loadavg: 0.99 0.82 0.46 2/67 27385
/proc/meminfo: memFree=1549264/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=282576 CPUtime=540.12
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 73750 0 2 0 53902 110 0 0 25 0 1 0 260544900 289357824 69460 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 70644 69460 432 55 0 69535 0
Current children cumulated CPU time (s) 540.12
Current children cumulated vsize (Kb) 282576

[startup+550.324 s]
/proc/loadavg: 0.99 0.83 0.47 2/67 27385
/proc/meminfo: memFree=1546448/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=285348 CPUtime=550.13
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 74454 0 2 0 54902 111 0 0 25 0 1 0 260544900 292196352 70164 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718567 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 71337 70164 432 55 0 70228 0
Current children cumulated CPU time (s) 550.13
Current children cumulated vsize (Kb) 285348

[startup+560.33 s]
/proc/loadavg: 0.99 0.83 0.47 2/67 27385
/proc/meminfo: memFree=1543248/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=288584 CPUtime=560.13
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 75246 0 2 0 55901 112 0 0 25 0 1 0 260544900 295510016 70952 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 72146 70952 432 55 0 71037 0
Current children cumulated CPU time (s) 560.13
Current children cumulated vsize (Kb) 288584

[startup+570.336 s]
/proc/loadavg: 0.99 0.84 0.47 2/67 27385
/proc/meminfo: memFree=1540816/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=291024 CPUtime=570.14
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 75854 0 2 0 56900 114 0 0 25 0 1 0 260544900 298008576 71556 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 72756 71556 432 55 0 71647 0
Current children cumulated CPU time (s) 570.14
Current children cumulated vsize (Kb) 291024

[startup+580.342 s]
/proc/loadavg: 0.99 0.84 0.48 2/67 27385
/proc/meminfo: memFree=1537168/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=294720 CPUtime=580.14
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 76771 0 2 0 57899 115 0 0 25 0 1 0 260544900 301793280 72473 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 73680 72473 432 55 0 72571 0
Current children cumulated CPU time (s) 580.14
Current children cumulated vsize (Kb) 294720

[startup+590.347 s]
/proc/loadavg: 0.99 0.85 0.48 2/67 27385
/proc/meminfo: memFree=1534160/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=297756 CPUtime=590.14
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 77522 0 2 0 58898 116 0 0 25 0 1 0 260544900 304902144 73224 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 74439 73224 432 55 0 73330 0
Current children cumulated CPU time (s) 590.14
Current children cumulated vsize (Kb) 297756

[startup+600.353 s]
/proc/loadavg: 0.99 0.85 0.49 2/67 27385
/proc/meminfo: memFree=1530960/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=300924 CPUtime=600.14
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 78322 0 2 0 59896 118 0 0 25 0 1 0 260544900 308146176 74024 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541586 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 75231 74024 432 55 0 74122 0
Current children cumulated CPU time (s) 600.14
Current children cumulated vsize (Kb) 300924

[startup+610.359 s]
/proc/loadavg: 0.99 0.86 0.49 2/67 27385
/proc/meminfo: memFree=1527056/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=304884 CPUtime=610.15
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 79303 0 2 0 60895 120 0 0 25 0 1 0 260544900 312201216 75005 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 76221 75005 432 55 0 75112 0
Current children cumulated CPU time (s) 610.15
Current children cumulated vsize (Kb) 304884

[startup+620.366 s]
/proc/loadavg: 0.99 0.86 0.50 2/67 27385
/proc/meminfo: memFree=1523088/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=308844 CPUtime=620.15
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 80294 0 2 0 61894 121 0 0 25 0 1 0 260544900 316256256 75996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 77211 75996 432 55 0 76102 0
Current children cumulated CPU time (s) 620.15
Current children cumulated vsize (Kb) 308844

[startup+630.372 s]
/proc/loadavg: 0.99 0.86 0.50 2/67 27385
/proc/meminfo: memFree=1518992/2055888 swapFree=4085324/4096564
[pid=27385] ppid=27383 vsize=312804 CPUtime=630.15
/proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 81313 0 2 0 62892 123 0 0 25 0 1 0 260544900 320311296 77015 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542241 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27385/statm: 78201 77015 432 55 0 77092 0
Current children cumulated CPU time (s) 630.15
Current children cumulated vsize (Kb) 312804

Child status: 30
Real time (s): 639.181
CPU time (s): 638.965
CPU user time (s): 637.661
CPU system time (s): 1.3038
CPU usage (%): 99.9662
Max. virtual memory (cumulated for all children) (Kb): 312804
The end

Launcher Data (download as text)

Begin job on node87 on Sat Jun 10 14:17:38 UTC 2006


FILE ID= 50348-1149949057

PBS_JOBID= 385773

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_9.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node87/50348-1149949057/instance-50348-1149949057.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node87/watcher-50348-1149949057 -o ROOT/results/node87/solver-50348-1149949057 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node87/50348-1149949057/instance-50348-1149949057.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  a849a24692bdc034ba3174a2ba23709e

RANDOM SEED= 182063357


/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.234
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	: 6006.17
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.234
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	: 5999.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1826840 kB
Buffers:         19744 kB
Cached:         140660 kB
SwapCached:       2184 kB
Active:          35804 kB
Inactive:       133032 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1826840 kB
SwapTotal:     4096564 kB
SwapFree:      4085324 kB
Dirty:             136 kB
Writeback:           0 kB
Mapped:          16456 kB
Slab:            46920 kB
Committed_AS:   629532 kB
PageTables:       1280 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node87 on Sat Jun 10 14:28:17 UTC 2006