Trace number 459235

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
PBS4_v2 2007-03-23SAT (TO)16 1800.06 1800.52

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir04_area_delay.opb
MD5SUMea4ff8014cd873922b6021da249fa157
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark0.232963
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved YES
Number of variables741
Total number of constraints2072
Number of constraints which are clauses2072
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 constraint1
Maximum length of a constraint31
Number of terms in the objective function 360
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 360
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 360
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00/0.00	c Solving /tmp/evaluation/459235-1178652028/instance-459235-1178652028.opb ......
0.00/0.01	c done parsing opb.
0.00/0.01	o 85
0.00/0.02	o 84
0.00/0.02	o 83
0.00/0.02	o 82
0.00/0.02	o 81
0.00/0.02	o 80
0.00/0.02	o 79
0.00/0.02	o 78
0.00/0.02	o 77
0.00/0.02	o 76
0.00/0.02	o 75
0.00/0.02	o 74
0.00/0.02	o 73
0.00/0.02	o 72
0.00/0.02	o 71
0.00/0.03	o 70
0.00/0.03	o 69
0.00/0.03	o 68
0.00/0.03	o 66
0.00/0.03	o 65
0.00/0.03	o 64
0.00/0.03	o 63
0.00/0.03	o 62
0.00/0.03	o 61
0.00/0.03	o 60
0.00/0.03	o 59
0.00/0.03	o 58
0.00/0.03	o 57
0.00/0.03	o 56
0.03/0.04	o 55
3.19/3.26	o 54
3.19/3.27	o 53
3.19/3.27	o 52
3.19/3.27	o 51
3.19/3.27	o 50
3.19/3.27	o 49
3.19/3.27	o 48
3.19/3.27	o 47
3.19/3.27	o 46
3.19/3.27	o 45
3.19/3.27	o 44
3.19/3.27	o 43
3.19/3.27	o 42
3.19/3.27	o 41
3.19/3.27	o 40
3.19/3.27	o 39
3.29/3.38	o 38
3.79/3.85	o 37
3.79/3.86	o 36
3.79/3.86	o 35
3.79/3.86	o 34
3.79/3.86	o 33
3.79/3.86	o 32
3.79/3.86	o 31
3.79/3.86	o 30
3.79/3.86	o 29
3.79/3.86	o 28
3.79/3.86	o 27
3.79/3.86	o 26
3.79/3.86	o 25
3.79/3.86	o 24
3.89/3.96	o 23
4.30/4.31	o 22
4.59/4.62	o 21
4.99/5.09	o 20
5.29/5.36	o 19
5.39/5.44	o 18
15.59/15.66	o 17
556.45/556.69	o 16
1800.04/1800.50	s SATISFIABLE
1800.04/1800.50	v x1 -x10 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 x109 -x11 -x110 -x111 -x112 -x113 -x114 -x115 x116 x117 -x118
1800.04/1800.50	v -x119 -x12 -x120 -x121 x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 x13 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138
1800.04/1800.50	v -x139 x14 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 x15 x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158
1800.04/1800.50	v -x159 -x16 -x160 -x161 -x162 x163 x164 -x165 -x166 -x167 -x168 -x169 x17 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178
1800.04/1800.50	v -x179 -x18 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 x189 x19 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198
1800.04/1800.50	v -x199 -x2 x20 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x21 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217
1800.04/1800.50	v -x218 x219 x22 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x23 -x230 x231 x232 -x233 -x234 -x235 -x236 -x237
1800.04/1800.50	v -x238 -x239 -x24 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x25 -x250 -x251 -x252 -x253 -x254 x255 x256 -x257
1800.04/1800.50	v -x258 -x259 x26 -x260 x261 x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 x27 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277
1800.04/1800.50	v -x278 -x279 -x28 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x29 -x290 -x291 -x292 -x293 -x294 -x295 -x296
1800.04/1800.50	v -x297 -x298 -x299 x3 -x30 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x31 -x310 -x311 -x312 -x313 -x314 -x315
1800.04/1800.50	v -x316 -x317 -x318 -x319 -x32 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x33 -x330 -x331 -x332 -x333 -x334
1800.04/1800.50	v -x335 -x336 -x337 -x338 -x339 -x34 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x35 -x350 -x351 -x352 -x353
1800.04/1800.50	v -x354 -x355 -x356 -x357 -x358 -x359 x36 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x37 -x370 -x371 -x372
1800.04/1800.50	v -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x38 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x39 -x390 -x391
1800.04/1800.50	v x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x4 x40 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x41 -x410
1800.04/1800.50	v -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x42 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x43
1800.04/1800.50	v -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449
1800.04/1800.50	v x45 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x46 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468
1800.04/1800.50	v -x469 x47 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x48 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487
1800.04/1800.50	v -x488 -x489 -x49 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 x5 x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506
1800.04/1800.50	v -x507 -x508 -x509 -x51 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x52 -x520 -x521 -x522 -x523 -x524 -x525
1800.04/1800.50	v -x526 -x527 -x528 -x529 x53 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x54 -x540 -x541 -x542 -x543 -x544
1800.04/1800.50	v -x545 -x546 -x547 -x548 -x549 x55 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563
1800.04/1800.50	v -x564 -x565 -x566 -x567 -x568 -x569 x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 -x580 -x581 -x582
1800.04/1800.50	v -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x59 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x6 x60 -x600 -x601
1800.04/1800.50	v -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 x61 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x62 -x620
1800.04/1800.50	v -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x64
1800.04/1800.50	v -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659
1800.04/1800.50	v x66 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678
1800.04/1800.50	v -x679 x68 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697
1800.04/1800.50	v -x698 -x699 x7 x70 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716
1800.04/1800.50	v -x717 -x718 -x719 x72 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x73 -x730 -x731 -x732 -x733 -x734 -x735
1800.04/1800.50	v -x736 -x737 -x738 -x739 x74 -x740 -x741 x75 x76 x77 x78 x79 x8 x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x9 -x90 -x91 -x92
1800.04/1800.50	v -x93 -x94 -x95 -x96 -x97 -x98 -x99

Verifier Data (download as text)

OK	16

Conversion Script Data (download as text)

/tmp/evaluation/459235-1178652028/instance-459235-1178652028.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node12/watcher-459235-1178652028 -o ROOT/results/node12/solver-459235-1178652028 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459235-1178652028/instance-459235-1178652028.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 19819
/proc/meminfo: memFree=1649384/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=1456 CPUtime=0
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 159 0 0 0 0 0 0 0 18 0 1 0 341240198 1490944 141 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134531417 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 364 141 86 219 0 141 0

[startup+0.043575 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 19819
/proc/meminfo: memFree=1649384/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=1672 CPUtime=0.03
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 227 0 0 0 3 0 0 0 18 0 1 0 341240198 1712128 209 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 418 209 102 219 0 195 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1672

[startup+0.10158 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 19819
/proc/meminfo: memFree=1649384/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=1672 CPUtime=0.09
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 237 0 0 0 9 0 0 0 18 0 1 0 341240198 1712128 219 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 418 219 102 219 0 195 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1672

[startup+0.301599 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 19819
/proc/meminfo: memFree=1649384/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=1928 CPUtime=0.29
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 287 0 0 0 29 0 0 0 19 0 1 0 341240198 1974272 269 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 482 269 102 219 0 259 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1928

[startup+0.701639 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 19819
/proc/meminfo: memFree=1649384/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=2440 CPUtime=0.69
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 432 0 0 0 69 0 0 0 23 0 1 0 341240198 2498560 414 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 610 414 102 219 0 387 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2440

[startup+1.50176 s]
/proc/loadavg: 0.86 0.97 0.99 2/78 19820
/proc/meminfo: memFree=1647456/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=3660 CPUtime=1.49
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 770 0 0 0 149 0 0 0 25 0 1 0 341240198 3747840 752 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 915 752 102 219 0 692 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3660

[startup+3.10192 s]
/proc/loadavg: 0.86 0.97 0.99 2/78 19820
/proc/meminfo: memFree=1645792/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=6032 CPUtime=3.09
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 1348 0 0 0 308 1 0 0 25 0 1 0 341240198 6176768 1281 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 1508 1281 102 219 0 1285 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6032

[startup+6.3012 s]
/proc/loadavg: 0.87 0.97 0.99 2/78 19820
/proc/meminfo: memFree=1642976/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=11176 CPUtime=6.29
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 1824 0 0 0 626 3 0 0 25 0 1 0 341240198 11444224 1660 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 2794 1660 102 219 0 2571 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11176

[startup+12.7018 s]
/proc/loadavg: 0.88 0.97 0.99 2/78 19820
/proc/meminfo: memFree=1642272/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=11572 CPUtime=12.69
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 1969 0 0 0 1263 6 0 0 25 0 1 0 341240198 11849728 1805 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 2893 1805 102 219 0 2670 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11572

[startup+25.5011 s]
/proc/loadavg: 0.90 0.97 0.99 2/78 19820
/proc/meminfo: memFree=1641568/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=12884 CPUtime=25.48
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 2342 0 0 0 2537 11 0 0 25 0 1 0 341240198 13193216 1985 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 3221 1985 102 219 0 2998 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 12884

[startup+51.1017 s]
/proc/loadavg: 0.94 0.97 0.99 2/78 19820
/proc/meminfo: memFree=1640608/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=13456 CPUtime=51.08
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 2580 0 0 0 5090 18 0 0 25 0 1 0 341240198 13778944 2223 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 3364 2223 102 219 0 3141 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 13456

[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.99 2/78 19820
/proc/meminfo: memFree=1637152/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=15736 CPUtime=102.27
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 3828 0 0 0 10199 28 0 0 25 0 1 0 341240198 16113664 3086 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 3934 3086 102 219 0 3711 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 15736

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 19820
/proc/meminfo: memFree=1634080/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=24912 CPUtime=162.25
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 4598 0 0 0 16187 38 0 0 25 0 1 0 341240198 25509888 3856 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 6228 3856 102 219 0 6005 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 24912

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 19820
/proc/meminfo: memFree=1631840/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=25664 CPUtime=222.24
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 5145 0 0 0 22174 50 0 0 25 0 1 0 341240198 26279936 4403 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 6416 4403 102 219 0 6193 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 25664

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 19820
/proc/meminfo: memFree=1629664/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=26172 CPUtime=282.22
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 5689 0 0 0 28162 60 0 0 25 0 1 0 341240198 26800128 4947 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544685 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 6543 4947 102 219 0 6320 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 26172

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 19820
/proc/meminfo: memFree=1627936/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=29836 CPUtime=342.2
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 6889 0 0 0 34154 66 0 0 25 0 1 0 341240198 30552064 5378 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 7459 5378 102 219 0 7236 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 29836

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 19820
/proc/meminfo: memFree=1626912/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=30536 CPUtime=402.18
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 7140 0 0 0 40145 73 0 0 25 0 1 0 341240198 31268864 5629 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 7634 5629 102 219 0 7411 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 30536

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 19820
/proc/meminfo: memFree=1626080/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=31144 CPUtime=462.17
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 7354 0 0 0 46136 81 0 0 25 0 1 0 341240198 31891456 5843 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 7786 5843 102 219 0 7563 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 31144

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 19820
/proc/meminfo: memFree=1625184/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=31768 CPUtime=522.16
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 7568 0 0 0 52128 88 0 0 25 0 1 0 341240198 32530432 6057 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 7942 6057 102 219 0 7719 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 31768

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 19820
/proc/meminfo: memFree=1624096/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=32660 CPUtime=582.14
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 7845 0 0 0 58118 96 0 0 25 0 1 0 341240198 33443840 6334 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 8165 6334 102 219 0 7942 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 32660

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 19820
/proc/meminfo: memFree=1623008/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=33428 CPUtime=642.13
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 8114 0 0 0 64108 105 0 0 25 0 1 0 341240198 34230272 6603 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 8357 6603 102 219 0 8134 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 33428


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

[startup+882.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 19820
/proc/meminfo: memFree=1619488/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=41860 CPUtime=882.07
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 10526 0 0 0 88063 144 0 0 25 0 1 0 341240198 42864640 7478 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 10465 7478 102 219 0 10242 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 41860

[startup+942.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 19822
/proc/meminfo: memFree=1618848/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=42336 CPUtime=942.05
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 10680 0 0 0 94054 151 0 0 25 0 1 0 341240198 43352064 7632 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549412 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 10584 7632 102 219 0 10361 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 42336

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 19822
/proc/meminfo: memFree=1618208/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=42468 CPUtime=1002.04
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 10843 0 0 0 100045 159 0 0 25 0 1 0 341240198 43487232 7795 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 10617 7795 102 219 0 10394 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 42468

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 19822
/proc/meminfo: memFree=1617760/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=42600 CPUtime=1062.02
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 10952 0 0 0 106036 166 0 0 25 0 1 0 341240198 43622400 7904 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 10650 7904 102 219 0 10427 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 42600

[startup+1122.3 s]
/proc/loadavg: 1.07 0.99 0.99 2/78 19822
/proc/meminfo: memFree=1616992/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=43360 CPUtime=1122
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 11147 0 0 0 112028 172 0 0 25 0 1 0 341240198 44400640 8099 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 10840 8099 102 219 0 10617 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 43360

[startup+1182.3 s]
/proc/loadavg: 1.03 0.99 0.99 2/78 19822
/proc/meminfo: memFree=1616480/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=43492 CPUtime=1182
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 11263 0 0 0 118022 178 0 0 25 0 1 0 341240198 44535808 8215 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 10873 8215 102 219 0 10650 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 43492

[startup+1242.3 s]
/proc/loadavg: 1.01 0.99 0.99 2/78 19822
/proc/meminfo: memFree=1614880/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=43888 CPUtime=1241.98
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 11670 0 0 0 124014 184 0 0 25 0 1 0 341240198 44941312 8622 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 10972 8622 102 219 0 10749 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 43888

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 19822
/proc/meminfo: memFree=1613664/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=44272 CPUtime=1301.96
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 11970 0 0 0 130008 188 0 0 25 0 1 0 341240198 45334528 8922 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 11068 8922 102 219 0 10845 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 44272

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 19822
/proc/meminfo: memFree=1612192/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=44668 CPUtime=1361.95
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 12337 0 0 0 136002 193 0 0 25 0 1 0 341240198 45740032 9289 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549401 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 11167 9289 102 219 0 10944 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 44668

[startup+1422.31 s]
/proc/loadavg: 1.08 1.00 1.00 2/78 19822
/proc/meminfo: memFree=1611744/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=45208 CPUtime=1421.94
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 12449 0 0 0 141996 198 0 0 25 0 1 0 341240198 46292992 9401 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 11302 9401 102 219 0 11079 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 45208

[startup+1482.3 s]
/proc/loadavg: 1.03 1.00 1.00 2/78 19822
/proc/meminfo: memFree=1610976/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=45468 CPUtime=1481.92
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 12637 0 0 0 147989 203 0 0 25 0 1 0 341240198 46559232 9589 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 11367 9589 102 219 0 11144 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 45468

[startup+1542.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 19822
/proc/meminfo: memFree=1610464/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=45732 CPUtime=1541.9
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 12771 0 0 0 153982 208 0 0 25 0 1 0 341240198 46829568 9723 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 11433 9723 102 219 0 11210 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 45732

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 19822
/proc/meminfo: memFree=1609504/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=46168 CPUtime=1601.89
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 13017 0 0 0 159975 214 0 0 25 0 1 0 341240198 47276032 9969 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 11542 9969 102 219 0 11319 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 46168

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19822
/proc/meminfo: memFree=1608672/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=46300 CPUtime=1661.87
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 13236 0 0 0 165968 219 0 0 25 0 1 0 341240198 47411200 10188 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 11575 10188 102 219 0 11352 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 46300

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19822
/proc/meminfo: memFree=1608032/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=46764 CPUtime=1721.86
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 13401 0 0 0 171961 225 0 0 25 0 1 0 341240198 47886336 10353 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 11691 10353 102 219 0 11468 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 46764

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19822
/proc/meminfo: memFree=1607264/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=47256 CPUtime=1781.84
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 13587 0 0 0 177955 229 0 0 25 0 1 0 341240198 48390144 10539 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 11814 10539 102 219 0 11591 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 47256



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19822
/proc/meminfo: memFree=1607136/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=47256 CPUtime=1800.04
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 13616 0 0 0 179773 231 0 0 25 0 1 0 341240198 48390144 10568 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 11814 10568 102 219 0 11591 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 47256

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19822
/proc/meminfo: memFree=1607136/2055920 swapFree=4160020/4192956
[pid=19819] ppid=19817 vsize=47256 CPUtime=1800.04
/proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 13616 0 0 0 179773 231 0 0 25 0 1 0 341240198 48390144 10568 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19819/statm: 11814 10568 102 219 0 11591 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 47256

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.06
CPU user time (s): 1797.73
CPU system time (s): 2.32765
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 47420

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

runsolver used 1.46778 second user time and 4.16237 second system time

The end

Launcher Data (download as text)

Begin job on node12 on Tue May  8 19:20:28 UTC 2007

IDJOB= 459235
IDBENCH= 25006
IDSOLVER= 200
FILE ID= node12/459235-1178652028

PBS_JOBID= 5218005

Free space on /tmp= 66560 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir04_area_delay.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459235-1178652028/instance-459235-1178652028.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node12/convwatcher-459235-1178652028 -o ROOT/results/node12/conversion-459235-1178652028 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459235-1178652028/instance-459235-1178652028.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  ea4ff8014cd873922b6021da249fa157

RANDOM SEED= 209475840

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node12.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.239
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.239
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:       1649728 kB
Buffers:         37556 kB
Cached:         277056 kB
SwapCached:      11448 kB
Active:         197172 kB
Inactive:       140128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1649728 kB
SwapTotal:     4192956 kB
SwapFree:      4160020 kB
Dirty:            2492 kB
Writeback:           0 kB
Mapped:          29556 kB
Slab:            54408 kB
Committed_AS: 10841876 kB
PageTables:       1792 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66560 MiB

End job on node12 on Tue May  8 19:50:31 UTC 2007