Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | -29 | 1800.07 | 1800.79 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb |
MD5SUM | 366c883f3118f840e595e8bbe10351c8 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -35 |
Best CPU time to get the best result obtained on this benchmark | 649.835 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -35 |
Optimality of the best value was proved | YES |
Number of variables | 595 |
Total number of constraints | 27856 |
Number of constraints which are clauses | 27856 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 595 |
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 | 595 |
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 | 595 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.10 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.10 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.10 c type "bsolo -h" for help 0.00/0.10 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.10 c Time Limit set to 1800 0.00/0.10 c Memory Limit set to 1800 MB 0.00/0.10 c Instance file /tmp/evaluation/353839-1176686037/instance-353839-1176686037.opb 0.00/0.10 c File size is 664636 bytes. 0.09/0.21 c Highest Coefficient sum: 595 0.09/0.21 c Parsing was ok!! 0.09/0.21 c Total parsing time: 0.109 s 0.09/0.22 c Var: 595 Constr: 27856 27856/0/0 Lit: 55712 Watch. Lit: 55712 0.09/0.22 c Obj. Vars: 595 (100 % of total variables) 0.39/0.54 c Pre-processing Time: 0.439 s 0.39/0.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.54 c 0 595 27856 55712 2 55712 9285 0 0 0.44 0.39/0.54 c Switching off LPR mode. 0.39/0.55 o -25 0.443 0.39/0.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.55 c 0 595 27857 56307 2 55739 10285 1 0 0.45 0.39/0.55 o -26 0.446 1.49/1.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.66 c 1 595 27859 57466 2 55769 10285 3 2 0.45 1.49/1.66 c 101 595 27959 113938 4 55969 11314 103 210 0.48 1.49/1.66 c 352 595 28210 255808 9 56471 12446 354 615 0.57 1.49/1.66 c 827 595 28685 524026 18 57421 13691 829 1044 0.79 1.49/1.66 c 1641 595 29499 984090 33 59049 15061 1643 1336 1.23 1.49/1.66 o -27 1.557 2.59/2.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.78 c 2212 595 30071 1307332 43 60220 10285 2215 1419 1.56 2.59/2.78 c 2313 595 30172 1364325 45 60422 11314 2316 1446 1.60 2.59/2.78 c 2563 595 30422 1505372 49 60922 12446 2566 1508 1.70 2.59/2.78 c 3038 595 30897 1773190 57 61872 13691 3041 1564 1.94 2.59/2.78 c 3852 595 31711 2231695 70 63500 15061 3855 1508 2.55 2.59/2.78 o -28 2.676 353.67/353.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 353.67/353.93 c 4108 595 31968 2376756 74 64042 10285 4112 1534 2.68 353.67/353.93 c 4208 595 32068 2433077 75 64242 11314 4212 1547 2.72 353.67/353.93 c 4458 595 32318 2573719 79 64742 12446 4462 1576 2.83 353.67/353.93 c 4933 595 32793 2841264 86 65692 13691 4937 1604 3.08 353.67/353.93 c 5746 595 33606 3299118 98 67318 15061 5750 1444 3.98 353.67/353.93 c 7066 595 34926 4042146 115 69958 16568 7070 1498 4.71 353.67/353.93 c 9147 595 37007 5212828 140 74120 18225 9151 1441 6.34 353.67/353.93 c 12371 595 40231 7028464 174 80568 20048 12375 796 15.54 353.67/353.93 c 17307 595 45167 9805786 217 90440 22053 17311 721 23.98 353.67/353.93 c 24813 595 40816 7350711 180 81660 24259 12960 602 41.19 353.67/353.93 c 36174 595 38792 6206839 160 77612 26685 10936 405 89.20 353.67/353.93 c 53318 595 39799 6772708 170 79626 29354 11943 328 162.28 353.67/353.93 c 79138 595 46833 10737141 229 93694 32290 18977 255 309.64 353.67/353.93 o -29 353.702 1799.97/1800.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.97/1800.74 c 89184 595 56880 16393949 288 113817 10285 29024 252 353.70 1799.97/1800.74 c 89284 595 33100 3006346 90 66229 11314 5244 250 356.94 1799.97/1800.74 c 89535 595 33351 3147324 94 66731 12446 5495 250 357.12 1799.97/1800.74 c 90010 595 33826 3414261 100 67681 13691 5970 251 357.40 1799.97/1800.74 c 90823 595 34639 3871383 111 69307 15061 6783 253 357.92 1799.97/1800.74 c 92143 595 35959 4612533 128 71947 16568 8103 255 360.33 1799.97/1800.74 c 94224 595 38040 5782386 152 76109 18225 10184 259 362.43 1799.97/1800.74 c 97447 595 41263 7591521 183 82555 20048 13407 265 367.09 1799.97/1800.74 c 102383 595 46199 10362812 224 92427 22053 18343 270 378.63 1799.97/1800.74 c 109889 595 41880 7932917 189 83789 24259 14024 277 395.81 1799.97/1800.74 c 121250 595 39289 6478074 164 78607 26685 11433 278 436.14 1799.97/1800.74 c 138395 595 40233 7009995 174 80495 29354 12377 261 528.29 1799.97/1800.74 c 164214 595 47286 10960267 231 94601 32290 19430 253 647.16 1799.97/1800.74 c 203046 595 42957 8532215 198 85943 35520 15101 224 904.71 1799.97/1800.74 c 261398 595 52097 13662477 262 104223 39073 24241 192 1360.25 1799.97/1800.74 c Resources Exceeded 1799.97/1800.74 v -x595 -x594 -x593 x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 1799.97/1800.74 v -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 1799.97/1800.74 v -x553 -x552 x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 1799.97/1800.74 v -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 1799.97/1800.74 v x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 1799.97/1800.74 v -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 1799.97/1800.74 v -x469 -x468 -x467 -x466 -x465 -x464 x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 1799.97/1800.74 v -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 x429 -x428 1799.97/1800.74 v -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 -x408 -x407 1799.97/1800.74 v -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 x387 -x386 1799.97/1800.74 v -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 1799.97/1800.74 v -x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 x344 1799.97/1800.74 v -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 x327 -x326 -x325 -x324 -x323 1799.97/1800.74 v -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 1799.97/1800.74 v -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 x281 1799.97/1800.74 v -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 1799.97/1800.74 v -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 1799.97/1800.74 v -x238 x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 1799.97/1800.74 v -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 1799.97/1800.74 v -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 1799.97/1800.74 v -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 1799.97/1800.74 v -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 1799.97/1800.74 v -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 1799.97/1800.74 v -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 1799.97/1800.74 v -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 1799.97/1800.74 v -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 1799.97/1800.74 v -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 1799.97/1800.74 v -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1799.97/1800.74 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.97/1800.74 c 39 309411 28930 345900 44001 9123735 16145 171 1800.02 1799.97/1800.74 c Objective: -29 1799.97/1800.74 s SATISFIABLE 1799.97/1800.74 c Total time: 1800.02 s
OK -29
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node59/watcher-353839-1176686037 -o ROOT/results/node59/solver-353839-1176686037 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353839-1176686037/instance-353839-1176686037.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.91 0.95 0.98 3/64 16023 /proc/meminfo: memFree=1700736/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=18568 CPUtime=0 /proc/16023/stat : 16023 (runsolver) D 16021 16023 15191 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 116513322 19013632 292 18446744073709551615 4194304 4296420 548682068928 18446744073709551615 217051622695 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0 /proc/16023/statm: 4642 292 257 24 0 2626 0 [startup+0.05636 s] /proc/loadavg: 0.91 0.95 0.98 3/64 16023 /proc/meminfo: memFree=1700736/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=2520 CPUtime=0 /proc/16023/stat : 16023 (bsolo3.0.16) D 16021 16023 15191 0 -1 4194304 55 0 3 0 0 0 0 0 18 0 1 0 116513322 2580480 41 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 9286436 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/16023/statm: 630 41 32 324 0 8 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2520 [startup+0.101364 s] /proc/loadavg: 0.91 0.95 0.98 3/64 16023 /proc/meminfo: memFree=1700736/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=3780 CPUtime=0 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 174 0 11 0 0 0 0 0 18 0 1 0 116513322 3870720 153 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160041328 0 0 4096 0 0 0 0 17 1 0 0 /proc/16023/statm: 945 153 127 324 0 14 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 3780 [startup+0.301404 s] /proc/loadavg: 0.91 0.95 0.98 3/64 16023 /proc/meminfo: memFree=1700736/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=8932 CPUtime=0.18 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 1790 0 17 0 18 0 0 0 19 0 1 0 116513322 9146368 1612 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 2233 1612 307 324 0 1302 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 8932 [startup+0.701479 s] /proc/loadavg: 0.91 0.95 0.98 3/64 16023 /proc/meminfo: memFree=1700736/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=11132 CPUtime=0.59 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 2518 0 17 0 56 3 0 0 21 0 1 0 116513322 11399168 2152 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 2783 2152 312 324 0 1852 0 Current children cumulated CPU time (s) 0.59 Current children cumulated vsize (KiB) 11132 [startup+1.50163 s] /proc/loadavg: 0.91 0.95 0.98 2/65 16024 /proc/meminfo: memFree=1686328/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=22600 CPUtime=1.39 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 5380 0 17 0 135 4 0 0 25 0 1 0 116513322 23142400 5014 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 5650 5014 312 324 0 4719 0 Current children cumulated CPU time (s) 1.39 Current children cumulated vsize (KiB) 22600 [startup+3.10194 s] /proc/loadavg: 0.91 0.95 0.98 2/65 16024 /proc/meminfo: memFree=1671352/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=43008 CPUtime=2.99 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 10493 0 17 0 293 6 0 0 25 0 1 0 116513322 44040192 10127 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 10752 10127 312 324 0 9821 0 Current children cumulated CPU time (s) 2.99 Current children cumulated vsize (KiB) 43008 [startup+6.30154 s] /proc/loadavg: 0.92 0.95 0.98 2/65 16024 /proc/meminfo: memFree=1635768/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=73476 CPUtime=6.19 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 18127 0 17 0 609 10 0 0 25 0 1 0 116513322 75239424 17761 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 18369 17761 312 324 0 17438 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 73476 [startup+12.7018 s] /proc/loadavg: 0.93 0.95 0.98 2/65 16024 /proc/meminfo: memFree=1612600/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=91468 CPUtime=12.59 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 22614 0 17 0 1244 15 0 0 25 0 1 0 116513322 93663232 22248 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 22867 22248 312 324 0 21936 0 Current children cumulated CPU time (s) 12.59 Current children cumulated vsize (KiB) 91468 [startup+25.5012 s] /proc/loadavg: 0.94 0.96 0.98 2/65 16024 /proc/meminfo: memFree=1559224/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=144192 CPUtime=25.38 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 35807 0 17 0 2517 21 0 0 25 0 1 0 116513322 147652608 35441 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 9719446 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 36048 35441 312 324 0 35117 0 Current children cumulated CPU time (s) 25.38 Current children cumulated vsize (KiB) 144192 [startup+51.1011 s] /proc/loadavg: 0.96 0.96 0.98 2/65 16024 /proc/meminfo: memFree=1529400/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=172536 CPUtime=50.97 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 42885 0 17 0 5070 27 0 0 25 0 1 0 116513322 176676864 42519 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 43134 42519 312 324 0 42203 0 Current children cumulated CPU time (s) 50.97 Current children cumulated vsize (KiB) 172536 [startup+102.306 s] /proc/loadavg: 1.07 0.99 0.99 2/65 16024 /proc/meminfo: memFree=1517304/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=184684 CPUtime=102.16 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 45922 0 17 0 10183 33 0 0 25 0 1 0 116513322 189116416 45556 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 46171 45556 312 324 0 45240 0 Current children cumulated CPU time (s) 102.16 Current children cumulated vsize (KiB) 184684 [startup+162.301 s] /proc/loadavg: 1.02 0.99 0.99 2/65 16024 /proc/meminfo: memFree=1495992/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=205964 CPUtime=162.13 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 51245 0 17 0 16175 38 0 0 25 0 1 0 116513322 210907136 50879 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 51491 50879 312 324 0 50560 0 Current children cumulated CPU time (s) 162.13 Current children cumulated vsize (KiB) 205964 [startup+222.302 s] /proc/loadavg: 1.04 1.00 1.00 2/65 16024 /proc/meminfo: memFree=1495992/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=205964 CPUtime=222.11 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 51245 0 17 0 22169 42 0 0 25 0 1 0 116513322 210907136 50879 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 51491 50879 312 324 0 50560 0 Current children cumulated CPU time (s) 222.11 Current children cumulated vsize (KiB) 205964 [startup+282.301 s] /proc/loadavg: 1.13 1.03 1.01 2/65 16024 /proc/meminfo: memFree=1476408/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=225400 CPUtime=282.09 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 56107 0 17 0 28162 47 0 0 25 0 1 0 116513322 230809600 55741 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 56350 55741 312 324 0 55419 0 Current children cumulated CPU time (s) 282.09 Current children cumulated vsize (KiB) 225400 [startup+342.301 s] /proc/loadavg: 1.12 1.04 1.00 2/65 16024 /proc/meminfo: memFree=1476408/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=225400 CPUtime=342.07 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 56107 0 17 0 34158 49 0 0 25 0 1 0 116513322 230809600 55741 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 56350 55741 312 324 0 55419 0 Current children cumulated CPU time (s) 342.07 Current children cumulated vsize (KiB) 225400 [startup+402.302 s] /proc/loadavg: 1.11 1.05 1.00 2/65 16024 /proc/meminfo: memFree=1479736/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=221892 CPUtime=402.05 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 56107 0 17 0 40152 53 0 0 25 0 1 0 116513322 227217408 54867 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 55473 54867 312 324 0 54542 0 Current children cumulated CPU time (s) 402.05 Current children cumulated vsize (KiB) 221892 [startup+462.301 s] /proc/loadavg: 1.10 1.05 1.00 2/65 16024 /proc/meminfo: memFree=1479928/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=221664 CPUtime=462.03 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 56107 0 17 0 46145 58 0 0 25 0 1 0 116513322 226983936 54810 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 55416 54810 312 324 0 54485 0 Current children cumulated CPU time (s) 462.03 Current children cumulated vsize (KiB) 221664 [startup+522.302 s] /proc/loadavg: 1.09 1.06 1.00 2/65 16024 /proc/meminfo: memFree=1479928/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=221664 CPUtime=522.01 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 56107 0 17 0 52142 59 0 0 25 0 1 0 116513322 226983936 54810 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 55416 54810 312 324 0 54485 0 Current children cumulated CPU time (s) 522.01 Current children cumulated vsize (KiB) 221664 [startup+582.301 s] /proc/loadavg: 1.08 1.06 1.00 2/65 16024 /proc/meminfo: memFree=1479928/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=221664 CPUtime=581.99 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 56107 0 17 0 58136 63 0 0 25 0 1 0 116513322 226983936 54810 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 55416 54810 312 324 0 54485 0 Current children cumulated CPU time (s) 581.99 Current children cumulated vsize (KiB) 221664 [startup+642.302 s] /proc/loadavg: 1.08 1.06 1.00 2/65 16024 /proc/meminfo: memFree=1476856/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=224916 CPUtime=641.97 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 56917 0 17 0 64132 65 0 0 25 0 1 0 116513322 230313984 55620 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 56229 55620 312 324 0 55298 0 Current children cumulated CPU time (s) 641.97 Current children cumulated vsize (KiB) 224916 ################ # More data... # ################ /proc/meminfo: memFree=1432120/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=269356 CPUtime=1061.82 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 68129 0 17 0 106095 87 0 0 25 0 1 0 116513322 275820544 66730 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 67339 66730 312 324 0 66408 0 Current children cumulated CPU time (s) 1061.82 Current children cumulated vsize (KiB) 269356 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 16024 /proc/meminfo: memFree=1432120/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=269356 CPUtime=1121.81 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 68129 0 17 0 112091 90 0 0 25 0 1 0 116513322 275820544 66730 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 67339 66730 312 324 0 66408 0 Current children cumulated CPU time (s) 1121.81 Current children cumulated vsize (KiB) 269356 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16024 /proc/meminfo: memFree=1432120/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=269356 CPUtime=1181.78 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 68129 0 17 0 118087 91 0 0 25 0 1 0 116513322 275820544 66730 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 67339 66730 312 324 0 66408 0 Current children cumulated CPU time (s) 1181.78 Current children cumulated vsize (KiB) 269356 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16024 /proc/meminfo: memFree=1431992/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=269356 CPUtime=1241.76 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 68129 0 17 0 124083 93 0 0 25 0 1 0 116513322 275820544 66730 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 67339 66730 312 324 0 66408 0 Current children cumulated CPU time (s) 1241.76 Current children cumulated vsize (KiB) 269356 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16024 /proc/meminfo: memFree=1431928/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=269484 CPUtime=1301.74 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 68182 0 17 0 130080 94 0 0 25 0 1 0 116513322 275951616 66747 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 67371 66747 312 324 0 66440 0 Current children cumulated CPU time (s) 1301.74 Current children cumulated vsize (KiB) 269484 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16024 /proc/meminfo: memFree=1431928/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=269484 CPUtime=1361.72 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 68182 0 17 0 136076 96 0 0 25 0 1 0 116513322 275951616 66747 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 67371 66747 312 324 0 66440 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 269484 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16024 /proc/meminfo: memFree=1431928/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=269484 CPUtime=1421.71 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 68182 0 17 0 142073 98 0 0 25 0 1 0 116513322 275951616 66747 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 67371 66747 312 324 0 66440 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 269484 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16024 /proc/meminfo: memFree=1406136/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=295232 CPUtime=1481.68 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 74649 0 17 0 148063 105 0 0 25 0 1 0 116513322 302317568 73175 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 73808 73175 312 324 0 72877 0 Current children cumulated CPU time (s) 1481.68 Current children cumulated vsize (KiB) 295232 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16026 /proc/meminfo: memFree=1405944/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=295232 CPUtime=1541.66 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 74649 0 17 0 154059 107 0 0 25 0 1 0 116513322 302317568 73175 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 73808 73175 312 324 0 72877 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 295232 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16026 /proc/meminfo: memFree=1405944/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=295232 CPUtime=1601.64 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 74649 0 17 0 160056 108 0 0 25 0 1 0 116513322 302317568 73175 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160527316 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 73808 73175 312 324 0 72877 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 295232 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16026 /proc/meminfo: memFree=1405944/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=295232 CPUtime=1661.61 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 74649 0 17 0 166052 109 0 0 25 0 1 0 116513322 302317568 73175 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 73808 73175 312 324 0 72877 0 Current children cumulated CPU time (s) 1661.61 Current children cumulated vsize (KiB) 295232 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16026 /proc/meminfo: memFree=1405944/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=295232 CPUtime=1721.6 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 74649 0 17 0 172049 111 0 0 25 0 1 0 116513322 302317568 73175 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 73808 73175 312 324 0 72877 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 295232 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16026 /proc/meminfo: memFree=1405688/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=295480 CPUtime=1781.58 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 74759 0 17 0 178046 112 0 0 25 0 1 0 116513322 302571520 73246 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 73870 73246 312 324 0 72939 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (KiB) 295480 Solver just ended. Dumping a history of the last processes samples [startup+1791.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16026 /proc/meminfo: memFree=1405688/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=295480 CPUtime=1791.17 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 74759 0 17 0 179005 112 0 0 25 0 1 0 116513322 302571520 73246 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 73870 73246 312 324 0 72939 0 Current children cumulated CPU time (s) 1791.17 Current children cumulated vsize (KiB) 295480 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16026 /proc/meminfo: memFree=1405688/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=295480 CPUtime=1794.37 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 74759 0 17 0 179325 112 0 0 25 0 1 0 116513322 302571520 73246 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 73870 73246 312 324 0 72939 0 Current children cumulated CPU time (s) 1794.37 Current children cumulated vsize (KiB) 295480 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16026 /proc/meminfo: memFree=1405688/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=295480 CPUtime=1797.57 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 74759 0 17 0 179645 112 0 0 25 0 1 0 116513322 302571520 73246 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551724 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 73870 73246 312 324 0 72939 0 Current children cumulated CPU time (s) 1797.57 Current children cumulated vsize (KiB) 295480 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16026 /proc/meminfo: memFree=1405688/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=295480 CPUtime=1799.17 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 74759 0 17 0 179805 112 0 0 25 0 1 0 116513322 302571520 73246 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 73870 73246 312 324 0 72939 0 Current children cumulated CPU time (s) 1799.17 Current children cumulated vsize (KiB) 295480 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16026 /proc/meminfo: memFree=1405688/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=295480 CPUtime=1799.57 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 74759 0 17 0 179845 112 0 0 25 0 1 0 116513322 302571520 73246 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 9719216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 73870 73246 312 324 0 72939 0 Current children cumulated CPU time (s) 1799.57 Current children cumulated vsize (KiB) 295480 [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16026 /proc/meminfo: memFree=1405688/2055920 swapFree=4184740/4192956 [pid=16023] ppid=16021 vsize=295480 CPUtime=1799.97 /proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 74759 0 17 0 179885 112 0 0 25 0 1 0 116513322 302571520 73246 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16023/statm: 73870 73246 312 324 0 72939 0 Current children cumulated CPU time (s) 1799.97 Current children cumulated vsize (KiB) 295480 Child status: 0 Real time (s): 1800.79 CPU time (s): 1800.07 CPU user time (s): 1798.9 CPU system time (s): 1.17582 CPU usage (%): 99.96 Max. virtual memory (cumulated for all children) (KiB): 295480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.9 system time used= 1.17582 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 74760 page faults= 17 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 42 involuntary context switches= 971 runsolver used 1.11483 second user time and 3.80942 second system time The end
Begin job on node59 on Mon Apr 16 01:13:57 UTC 2007 IDJOB= 353839 IDBENCH= 2273 IDSOLVER= 163 FILE ID= node59/353839-1176686037 PBS_JOBID= 4559994 Free space on /tmp= 66365 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353839-1176686037/instance-353839-1176686037.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-353839-1176686037 -o ROOT/results/node59/solver-353839-1176686037 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353839-1176686037/instance-353839-1176686037.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 366c883f3118f840e595e8bbe10351c8 RANDOM SEED= 695171757 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node59.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.268 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.268 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: 1701208 kB Buffers: 5636 kB Cached: 260876 kB SwapCached: 2564 kB Active: 229076 kB Inactive: 67008 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1701208 kB SwapTotal: 4192956 kB SwapFree: 4184740 kB Dirty: 5036 kB Writeback: 0 kB Mapped: 36280 kB Slab: 44588 kB Committed_AS: 1557160 kB PageTables: 1520 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= 66365 MiB End job on node59 on Mon Apr 16 01:43:58 UTC 2007