Trace number 40332

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/05SAT261 1800.07 1800.57

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32c3.opb
MD5SUMc4cc2d9119cd599cce3a69b5023baf39
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark261
Best CPU time to get the best result obtained on this benchmark20.023
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 261
Optimality of the best value was proved YES
Number of variables558
Total number of constraints3551
Number of constraints which are clauses3551
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint32
Number of terms in the objective function 558
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 558
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 558
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.01	c INFO: OSL Context initialized.
0.12	c Initial problem consists of 558 variables and 3551 constraints.
0.20	c No problem reductions applied in OPT. instance.
0.20	c	preprocess terminated. Elapsed time: 0.191
0.20	c After prepocess the problem consists of 558 variables and 3551 constraints.
0.20	c Initial Lower Bound: 0
0.27	c Sol. found (all assignments made)...
0.27	o 279
0.27	c NEW SOLUTION FOUND: 279 @ 0.261
0.27	c Sol. found (all assignments made)...
0.27	o 278
0.27	c NEW SOLUTION FOUND: 278 @ 0.261
0.27	c Sol. found (all assignments made)...
0.27	c Sol. found (all assignments made)...
0.27	o 277
0.27	c NEW SOLUTION FOUND: 277 @ 0.262
0.27	c Sol. found (all assignments made)...
0.27	c Sol. found (all assignments made)...
0.27	o 276
0.27	c NEW SOLUTION FOUND: 276 @ 0.262
0.27	c Sol. found (all assignments made)...
0.27	c Sol. found (all assignments made)...
0.27	o 275
0.27	c NEW SOLUTION FOUND: 275 @ 0.263
0.27	c Sol. found (all assignments made)...
0.27	c Sol. found (all assignments made)...
0.27	o 274
0.27	c NEW SOLUTION FOUND: 274 @ 0.264
0.27	c Sol. found (all assignments made)...
0.27	c Sol. found (all assignments made)...
0.27	o 273
0.27	c NEW SOLUTION FOUND: 273 @ 0.266
0.27	c Sol. found (all assignments made)...
0.27	c Sol. found (all assignments made)...
0.27	o 272
0.27	c NEW SOLUTION FOUND: 272 @ 0.267
0.28	c Sol. found (all assignments made)...
0.28	c Sol. found (all assignments made)...
0.28	o 271
0.28	c NEW SOLUTION FOUND: 271 @ 0.269
0.28	c Sol. found (all assignments made)...
0.28	c Sol. found (all assignments made)...
0.28	o 270
0.28	c NEW SOLUTION FOUND: 270 @ 0.271
0.28	c Sol. found (all assignments made)...
0.28	c Sol. found (all assignments made)...
0.28	o 269
0.28	c NEW SOLUTION FOUND: 269 @ 0.273
0.28	c Sol. found (all assignments made)...
0.28	c Sol. found (all assignments made)...
0.28	o 268
0.28	c NEW SOLUTION FOUND: 268 @ 0.276
0.29	c Sol. found (all assignments made)...
0.29	c Sol. found (all assignments made)...
0.29	o 267
0.29	c NEW SOLUTION FOUND: 267 @ 0.287
0.30	c Sol. found (all assignments made)...
0.30	c Sol. found (all assignments made)...
0.30	o 266
0.30	c NEW SOLUTION FOUND: 266 @ 0.295
0.31	c Sol. found (all assignments made)...
0.31	c Sol. found (all assignments made)...
0.31	o 265
0.31	c NEW SOLUTION FOUND: 265 @ 0.303
0.32	c Sol. found (all assignments made)...
0.32	c Sol. found (all assignments made)...
0.32	o 264
0.32	c NEW SOLUTION FOUND: 264 @ 0.312
0.33	c Sol. found (all assignments made)...
0.33	c Sol. found (all assignments made)...
0.33	o 263
0.33	c NEW SOLUTION FOUND: 263 @ 0.32
0.36	c Restart #1 #Var: 558 LB: 0 @ 0.355
0.51	c Restart #2 #Var: 558 LB: 0 @ 0.502
1.17	c Restart #3 #Var: 558 LB: 0 @ 1.16
1.53	c Restart #4 #Var: 558 LB: 0 @ 1.518
4.26	c CHANGE to LPR mode... 	UB: 263	MIS: 147	LPR: 189 (0.2553)	Diff: 0.77778
4.26	c Restart #0 #Var: 558 LB: 0 @ 4.253
15.92	o 262
15.92	c NEW SOLUTION FOUND: 262 @ 15.908
27.99	c Restart #1 #Var: 558 LB: 191 @ 27.977
69.56	c Restart #2 #Var: 558 LB: 191 @ 69.534
114.51	c Restart #3 #Var: 558 LB: 191 @ 114.47
150.42	c Restart #4 #Var: 558 LB: 191 @ 150.37
245.41	c Restart #5 #Var: 558 LB: 191 @ 245.34
312.92	c Restart #6 #Var: 558 LB: 191 @ 312.83
385.21	c Restart #7 #Var: 558 LB: 191 @ 385.1
442.95	c Restart #8 #Var: 558 LB: 191 @ 442.82
588.69	c Restart #9 #Var: 558 LB: 191 @ 588.53
733.52	c Restart #10 #Var: 558 LB: 191 @ 733.31
870.80	c Restart #11 #Var: 558 LB: 191 @ 870.55
1055.50	c Restart #12 #Var: 557 LB: 191 @ 1055.2
1247.28	c Restart #13 #Var: 556 LB: 191 @ 1246.9
1441.26	c Restart #14 #Var: 553 LB: 191 @ 1440.9
1620.57	c Restart #15 #Var: 553 LB: 191 @ 1620.1
1659.26	o 261
1659.26	c NEW SOLUTION FOUND: 261 @ 1658.8
1800.55	s SATISFIABLE
1800.55	c Cost: 261
1800.55	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
1800.55	v 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
1800.55	v -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
1800.55	v 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
1800.55	v -x116 x117 -x118 -x119 -x120 -x121 x122 x123 -x124 x125 -x126 x127 -x128 x129 -x130 x131 -x132 -x133 x134 x135 -x136 x137 -x138
1800.55	v x139 -x140 x141 -x142 x143 -x144 x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x160 x161
1800.55	v -x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 x173 -x174 x175 -x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184
1800.55	v x185 -x186 x187 -x188 x189 -x190 x191 -x192 x193 -x194 x195 -x196 x197 -x198 x199 -x200 x201 -x202 x203 -x204 x205 -x206 -x207
1800.55	v x208 x209 -x210 x211 -x212 x213 -x214 x215 -x216 x217 -x218 x219 -x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 x229 -x230
1800.55	v x231 -x232 x233 -x234 x235 -x236 x237 -x238 x239 -x240 x241 -x242 x243 -x244 x245 -x246 x247 -x248 x249 -x250 x251 -x252 -x253
1800.55	v x254 x255 -x256 -x257 -x258 x259 -x260 -x261 x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 -x271 x272 x273 -x274 x275 -x276
1800.55	v -x277 -x278 x279 -x280 -x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298
1800.55	v x299 -x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 x309 -x310 x311 -x312 x313 -x314 -x315 -x316 x317 -x318 -x319 x320 x321
1800.55	v -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 x335 -x336 x337 -x338 -x339 -x340 x341 -x342 -x343
1800.55	v -x344 x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 x361 -x362 x363 -x364 -x365
1800.55	v -x366 x367 -x368 x369 -x370 x371 -x372 x373 -x374 x375 -x376 x377 -x378 x379 -x380 -x381 x382 x383 -x384 -x385 x386 x387 -x388
1800.55	v -x389 x390 -x391 x392 x393 -x394 -x395 x396 -x397 x398 x399 -x400 -x401 x402 -x403 x404 x405 -x406 -x407 x408 -x409 x410 x411
1800.55	v -x412 -x413 x414 -x415 x416 x417 -x418 -x419 x420 x421 -x422 -x423 x424 -x425 x426 x427 -x428 -x429 x430 -x431 x432 -x433 x434
1800.55	v x435 -x436 -x437 x438 -x439 x440 x441 -x442 -x443 x444 -x445 x446 x447 -x448 -x449 x450 -x451 x452 x453 -x454 -x455 x456 x457
1800.55	v -x458 -x459 x460 -x461 x462 -x463 x464 x465 -x466 -x467 x468 -x469 x470 x471 -x472 -x473 x474 -x475 x476 x477 -x478 -x479 x480
1800.55	v -x481 x482 -x483 x484 x485 -x486 -x487 x488 x489 -x490 -x491 x492 -x493 x494 x495 -x496 -x497 x498 -x499 x500 x501 -x502 -x503
1800.55	v x504 -x505 x506 x507 -x508 -x509 x510 -x511 x512 x513 -x514 -x515 x516 -x517 x518 -x519 x520 x521 -x522 -x523 x524 x525 -x526
1800.55	v -x527 x528 x529 -x530 -x531 x532 -x533 x534 -x535 x536 x537 -x538 -x539 x540 -x541 x542 x543 -x544 -x545 x546 x547 -x548 -x549
1800.55	v x550 -x551 x552 -x553 x554 x555 -x556 -x557 x558
1800.55	c Exit Code: 10
1800.55	c Total time: 1800.1 s

Verifier Data (download as text)

OK	261

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/node86/watcher-40332-1149412191 -o ROOT/results/node86/solver-40332-1149412191 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node86/40332-1149412191/instance-40332-1149412191.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.97 0.97 0.96 3/68 25687
/proc/meminfo: memFree=1555344/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=4672 CPUtime=0
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 132 0 0 0 0 0 0 0 19 0 1 0 206858337 4784128 114 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5629152 0 0 4096 0 0 0 0 17 1 0 0
/proc/25687/statm: 1168 118 99 55 0 46 0

[startup+10.002 s]
/proc/loadavg: 0.97 0.97 0.96 2/68 25687
/proc/meminfo: memFree=1548704/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=10900 CPUtime=9.98
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 23069 0 0 0 989 9 0 0 25 0 1 0 206858337 11161600 2060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520355 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 2725 2060 442 55 0 1616 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 10900

[startup+20.0081 s]
/proc/loadavg: 1.05 0.99 0.97 2/68 25687
/proc/meminfo: memFree=1548704/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=10900 CPUtime=19.98
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 52522 0 0 0 1977 21 0 0 25 0 1 0 206858337 11161600 2060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 2725 2060 442 55 0 1616 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 10900

[startup+30.0143 s]
/proc/loadavg: 1.04 0.99 0.97 2/68 25687
/proc/meminfo: memFree=1547168/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=13116 CPUtime=29.99
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 77097 0 0 0 2967 32 0 0 25 0 1 0 206858337 13430784 2453 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159352569 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 3279 2453 442 55 0 2170 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 13116

[startup+40.0204 s]
/proc/loadavg: 1.03 0.99 0.97 2/68 25687
/proc/meminfo: memFree=1548576/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=11032 CPUtime=39.99
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 96957 0 0 0 3958 41 0 0 25 0 1 0 206858337 11296768 2093 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 2758 2093 442 55 0 1649 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 11032

[startup+50.0276 s]
/proc/loadavg: 1.03 0.99 0.97 2/68 25687
/proc/meminfo: memFree=1548576/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=11236 CPUtime=49.99
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 119638 0 0 0 4950 49 0 0 25 0 1 0 206858337 11505664 2114 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 2809 2114 442 55 0 1700 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 11236

[startup+60.0327 s]
/proc/loadavg: 1.02 0.99 0.97 2/68 25687
/proc/meminfo: memFree=1548576/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=11032 CPUtime=60
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 146865 0 0 0 5939 61 0 0 25 0 1 0 206858337 11296768 2093 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535881 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 2758 2093 442 55 0 1649 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 11032

[startup+70.0389 s]
/proc/loadavg: 1.02 0.99 0.97 2/68 25687
/proc/meminfo: memFree=1547296/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=14188 CPUtime=70
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 168824 0 0 0 6930 70 0 0 25 0 1 0 206858337 14528512 2488 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6132061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 3547 2488 442 55 0 2438 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 14188

[startup+80.045 s]
/proc/loadavg: 1.02 0.99 0.97 2/68 25687
/proc/meminfo: memFree=1548128/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=11500 CPUtime=80
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 187550 0 0 0 7921 79 0 0 25 0 1 0 206858337 11776000 2212 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 2875 2212 444 55 0 1766 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 11500

[startup+90.0512 s]
/proc/loadavg: 1.01 0.99 0.97 2/68 25687
/proc/meminfo: memFree=1547424/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=14040 CPUtime=90.01
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 208962 0 0 0 8915 86 0 0 25 0 1 0 206858337 14376960 2439 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497923 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 3510 2439 444 55 0 2401 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 14040

[startup+100.057 s]
/proc/loadavg: 1.01 0.99 0.97 2/68 25687
/proc/meminfo: memFree=1546976/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=13472 CPUtime=100.01
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 230672 0 0 0 9906 95 0 0 25 0 1 0 206858337 13795328 2503 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160276770 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 3368 2503 444 55 0 2259 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 13472

[startup+110.063 s]
/proc/loadavg: 1.01 0.99 0.97 2/68 25687
/proc/meminfo: memFree=1547424/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=13040 CPUtime=110.01
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 250471 0 0 0 10899 102 0 0 25 0 1 0 206858337 13352960 2389 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159249533 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 3260 2389 444 55 0 2151 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 13040

[startup+120.07 s]
/proc/loadavg: 1.01 0.99 0.97 2/68 25687
/proc/meminfo: memFree=1546976/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=14252 CPUtime=120.02
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 274527 0 0 0 11890 112 0 0 25 0 1 0 206858337 14594048 2534 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497970 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 3563 2534 444 55 0 2454 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 14252

[startup+130.075 s]
/proc/loadavg: 1.01 0.99 0.97 2/68 25687
/proc/meminfo: memFree=1547552/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=12040 CPUtime=130.03
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 294803 0 0 0 12882 121 0 0 25 0 1 0 206858337 12328960 2347 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535951 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 3010 2347 444 55 0 1901 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 12040

[startup+140.081 s]
/proc/loadavg: 1.00 0.99 0.97 2/68 25687
/proc/meminfo: memFree=1547424/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=12156 CPUtime=140.02
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 319043 0 0 0 13872 130 0 0 25 0 1 0 206858337 12447744 2376 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535978 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 3039 2376 444 55 0 1930 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 12156

[startup+150.087 s]
/proc/loadavg: 1.00 0.99 0.97 2/68 25687
/proc/meminfo: memFree=1544608/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=15864 CPUtime=150.02
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 348901 0 0 0 14859 143 0 0 25 0 1 0 206858337 16244736 3127 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160277878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 3966 3127 444 55 0 2857 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 15864

[startup+160.093 s]
/proc/loadavg: 1.00 0.99 0.97 2/68 25687
/proc/meminfo: memFree=1546720/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=15040 CPUtime=160.03
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 371085 0 0 0 15851 152 0 0 25 0 1 0 206858337 15400960 2609 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160045711 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 3760 2609 444 55 0 2651 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 15040

[startup+170.099 s]
/proc/loadavg: 1.00 0.99 0.97 2/68 25687
/proc/meminfo: memFree=1546848/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=12740 CPUtime=170.03
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 392603 0 0 0 16843 160 0 0 25 0 1 0 206858337 13045760 2522 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 3185 2522 444 55 0 2076 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 12740

[startup+180.106 s]
/proc/loadavg: 1.00 0.99 0.97 2/68 25687
/proc/meminfo: memFree=1546784/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=12776 CPUtime=180.04
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 417416 0 0 0 17833 171 0 0 25 0 1 0 206858337 13082624 2531 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520363 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 3194 2531 444 55 0 2085 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 12776

[startup+190.112 s]
/proc/loadavg: 1.00 0.99 0.97 2/68 25687
/proc/meminfo: memFree=1546464/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=13080 CPUtime=190.04
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 441930 0 0 0 18822 182 0 0 25 0 1 0 206858337 13393920 2607 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 3270 2607 444 55 0 2161 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 13080

[startup+200.118 s]
/proc/loadavg: 1.00 0.99 0.97 2/68 25687
/proc/meminfo: memFree=1545696/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=13448 CPUtime=200.05
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 462875 0 0 0 19813 192 0 0 25 0 1 0 206858337 13770752 2699 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541640 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 3362 2699 444 55 0 2253 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 13448

[startup+210.124 s]
/proc/loadavg: 1.00 0.99 0.97 2/68 25687
/proc/meminfo: memFree=1546208/2055892 swapFree=4084792/4096564

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

/proc/25687/statm: 8482 7824 445 55 0 7373 0
Current children cumulated CPU time (s) 1760.56
Current children cumulated vsize (Kb) 33928

[startup+1771.06 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 25687
/proc/meminfo: memFree=1525216/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=35920 CPUtime=1770.56
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 3880716 0 0 0 175450 1606 0 0 25 0 1 0 206858337 36782080 7874 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160045726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 8980 7874 445 55 0 7871 0
Current children cumulated CPU time (s) 1770.56
Current children cumulated vsize (Kb) 35920

[startup+1781.07 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 25687
/proc/meminfo: memFree=1524768/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=36272 CPUtime=1780.57
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 3902997 0 0 0 176442 1615 0 0 25 0 1 0 206858337 37142528 8190 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159352668 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 9068 8190 445 55 0 7959 0
Current children cumulated CPU time (s) 1780.57
Current children cumulated vsize (Kb) 36272

[startup+1782.07 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 25687
/proc/meminfo: memFree=1524960/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=33992 CPUtime=1781.57
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 3905106 0 0 0 176541 1616 0 0 25 0 1 0 206858337 34807808 7840 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6095704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 8498 7840 445 55 0 7389 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (Kb) 33992

[startup+1783.08 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 25687
/proc/meminfo: memFree=1524832/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=36280 CPUtime=1782.58
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 3907994 0 0 0 176641 1617 0 0 25 0 1 0 206858337 37150720 7976 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159466741 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 9070 7976 445 55 0 7961 0
Current children cumulated CPU time (s) 1782.58
Current children cumulated vsize (Kb) 36280

[startup+1784.08 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 25687
/proc/meminfo: memFree=1524832/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=36376 CPUtime=1783.58
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 3910516 0 0 0 176740 1618 0 0 25 0 1 0 206858337 37249024 7978 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159249552 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 9094 7978 445 55 0 7985 0
Current children cumulated CPU time (s) 1783.58
Current children cumulated vsize (Kb) 36376

[startup+1785.09 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 25687
/proc/meminfo: memFree=1524960/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=36348 CPUtime=1784.59
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 3913077 0 0 0 176839 1620 0 0 25 0 1 0 206858337 37220352 7942 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159170024 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 9087 7942 445 55 0 7978 0
Current children cumulated CPU time (s) 1784.59
Current children cumulated vsize (Kb) 36348

[startup+1786.09 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 25687
/proc/meminfo: memFree=1525152/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=34016 CPUtime=1785.6
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 3915499 0 0 0 176939 1621 0 0 25 0 1 0 206858337 34832384 7844 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 8504 7844 445 55 0 7395 0
Current children cumulated CPU time (s) 1785.6
Current children cumulated vsize (Kb) 34016

[startup+1787.1 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 25687
/proc/meminfo: memFree=1524960/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=36284 CPUtime=1786.6
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 3918069 0 0 0 177038 1622 0 0 25 0 1 0 206858337 37154816 7948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497335 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 9071 7948 445 55 0 7962 0
Current children cumulated CPU time (s) 1786.6
Current children cumulated vsize (Kb) 36284

[startup+1788.1 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 25687
/proc/meminfo: memFree=1523744/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=36568 CPUtime=1787.6
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 3920625 0 0 0 177138 1622 0 0 25 0 1 0 206858337 37445632 8240 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497192 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 9142 8240 445 55 0 8033 0
Current children cumulated CPU time (s) 1787.6
Current children cumulated vsize (Kb) 36568

[startup+1789.1 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 25687
/proc/meminfo: memFree=1524832/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=36352 CPUtime=1788.6
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 3923149 0 0 0 177237 1623 0 0 25 0 1 0 206858337 37224448 7969 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343483 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 9088 7969 445 55 0 7979 0
Current children cumulated CPU time (s) 1788.6
Current children cumulated vsize (Kb) 36352

[startup+1790.11 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 25687
/proc/meminfo: memFree=1523936/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=36040 CPUtime=1789.61
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 3925215 0 0 0 177337 1624 0 0 25 0 1 0 206858337 36904960 8139 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160350134 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 9010 8141 445 55 0 7901 0
Current children cumulated CPU time (s) 1789.61
Current children cumulated vsize (Kb) 36040

[startup+1791.11 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 25687
/proc/meminfo: memFree=1524640/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=36396 CPUtime=1790.61
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 3927895 0 0 0 177436 1625 0 0 25 0 1 0 206858337 37269504 8021 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160350161 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 9099 8021 445 55 0 7990 0
Current children cumulated CPU time (s) 1790.61
Current children cumulated vsize (Kb) 36396

[startup+1792.12 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 25687
/proc/meminfo: memFree=1524320/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=36740 CPUtime=1791.62
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 3930472 0 0 0 177536 1626 0 0 25 0 1 0 206858337 37621760 8095 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497284 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 9185 8095 445 55 0 8076 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (Kb) 36740

[startup+1793.12 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 25687
/proc/meminfo: memFree=1524896/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=34208 CPUtime=1792.62
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 3932489 0 0 0 177635 1627 0 0 25 0 1 0 206858337 35028992 7894 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536030 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 8552 7894 445 55 0 7443 0
Current children cumulated CPU time (s) 1792.62
Current children cumulated vsize (Kb) 34208

[startup+1794.13 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 25687
/proc/meminfo: memFree=1523936/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=36084 CPUtime=1793.63
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 3934713 0 0 0 177735 1628 0 0 25 0 1 0 206858337 36950016 8143 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159466736 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 9021 8143 445 55 0 7912 0
Current children cumulated CPU time (s) 1793.63
Current children cumulated vsize (Kb) 36084

[startup+1795.13 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 25687
/proc/meminfo: memFree=1524640/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=36460 CPUtime=1794.63
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 3936917 0 0 0 177834 1629 0 0 25 0 1 0 206858337 37335040 8018 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343169 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 9115 8018 445 55 0 8006 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (Kb) 36460

[startup+1796.14 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 25687
/proc/meminfo: memFree=1524832/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=36308 CPUtime=1795.64
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 3939232 0 0 0 177934 1630 0 0 25 0 1 0 206858337 37179392 7956 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160350100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 9077 7956 445 55 0 7968 0
Current children cumulated CPU time (s) 1795.64
Current children cumulated vsize (Kb) 36308

[startup+1797.14 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 25687
/proc/meminfo: memFree=1524896/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=34252 CPUtime=1796.65
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 3941743 0 0 0 178034 1631 0 0 25 0 1 0 206858337 35074048 7905 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 8563 7905 445 55 0 7454 0
Current children cumulated CPU time (s) 1796.65
Current children cumulated vsize (Kb) 34252

[startup+1798.15 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 25687
/proc/meminfo: memFree=1524320/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=36856 CPUtime=1797.65
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 3944490 0 0 0 178133 1632 0 0 25 0 1 0 206858337 37740544 8102 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6132061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 9214 8102 445 55 0 8105 0
Current children cumulated CPU time (s) 1797.65
Current children cumulated vsize (Kb) 36856

[startup+1799.15 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 25687
/proc/meminfo: memFree=1524512/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=36568 CPUtime=1798.65
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 3947066 0 0 0 178233 1632 0 0 25 0 1 0 206858337 37445632 8046 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159466747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 9142 8046 445 55 0 8033 0
Current children cumulated CPU time (s) 1798.65
Current children cumulated vsize (Kb) 36568

[startup+1800.16 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 25687
/proc/meminfo: memFree=1524576/2055892 swapFree=4084792/4096564
[pid=25687] ppid=25685 vsize=36500 CPUtime=1799.66
/proc/25687/stat : 25687 (bsolo) R 25685 25687 25641 0 -1 0 3949536 0 0 0 178332 1634 0 0 25 0 1 0 206858337 37376000 8032 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159351892 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25687/statm: 9125 8032 445 55 0 8016 0
Current children cumulated CPU time (s) 1799.66
Current children cumulated vsize (Kb) 36500

Child status: 10
Real time (s): 1800.57
CPU time (s): 1800.07
CPU user time (s): 1783.72
CPU system time (s): 16.3535
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (Kb): 36856

Launcher Data (download as text)

Begin job on node86 on Sun Jun  4 09:09:51 UTC 2006


FILE ID= 40332-1149412191

PBS_JOBID= 314922

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32c3.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node86/40332-1149412191/instance-40332-1149412191.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node86/watcher-40332-1149412191 -o ROOT/results/node86/solver-40332-1149412191 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node86/40332-1149412191/instance-40332-1149412191.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  c4cc2d9119cd599cce3a69b5023baf39

RANDOM SEED= 779131262


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


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1555552 kB
Buffers:         26480 kB
Cached:         409192 kB
SwapCached:       2928 kB
Active:          92868 kB
Inactive:       351484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1555552 kB
SwapTotal:     4096564 kB
SwapFree:      4084792 kB
Dirty:             200 kB
Writeback:           0 kB
Mapped:          15148 kB
Slab:            42660 kB
Committed_AS:   419792 kB
PageTables:       1300 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node86 on Sun Jun  4 09:39:52 UTC 2006