Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | 7475 | 1800.06 | 1800.53 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-gt2.opb |
MD5SUM | 08913f3dd730f4c3a659694fd4c06001 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3591 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3591 |
Optimality of the best value was proved | NO |
Number of variables | 556 |
Total number of constraints | 180 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 2 |
Number of constraints which are nor clauses,nor cardinality constraints | 178 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 304 |
Biggest coefficient in the objective function | 10575 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 524466 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 20152 |
Number of bits of the biggest number in a constraint | 15 |
Biggest sum of numbers in a constraint | 524466 |
Number of bits of the biggest sum of numbers | 20 |
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.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/458694-1178640568/instance-458694-1178640568.opb ...... 0.00/0.01 c done parsing opb. 0.00/0.01 o 48513 0.00/0.03 o 48386 0.09/0.10 o 46812 0.19/0.29 o 43835 0.29/0.31 o 38334 0.39/0.41 o 38170 0.59/0.62 o 38138 0.79/0.80 o 38003 0.99/1.06 o 37844 0.99/1.09 o 37583 1.19/1.22 o 37532 1.38/1.45 o 37517 1.38/1.47 o 37502 1.49/1.56 o 28086 1.49/1.58 o 28049 1.59/1.66 o 28044 2.39/2.40 o 27930 2.59/2.60 o 27887 3.09/3.19 o 27870 3.19/3.30 o 27720 3.89/3.93 o 27659 4.19/4.23 o 27651 4.69/4.76 o 27565 5.29/5.36 o 27553 6.19/6.29 o 27443 7.19/7.21 o 27442 7.39/7.49 o 27393 8.19/8.25 o 27325 8.99/9.00 o 27292 9.69/9.78 o 27245 11.59/11.66 o 27214 11.88/11.90 o 27032 13.29/13.34 o 27029 13.59/13.68 o 26952 14.39/14.49 o 26865 15.29/15.39 o 26761 16.79/16.87 o 26590 16.79/16.87 o 26554 18.48/18.53 o 26358 21.19/21.22 o 26300 22.38/22.45 o 26100 25.38/25.44 o 26090 26.49/26.58 o 26079 28.18/28.25 o 25893 31.09/31.12 o 25846 32.89/33.00 o 25752 35.08/35.11 o 25618 36.78/36.86 o 25600 39.98/40.04 o 25477 41.58/41.64 o 25411 43.58/43.65 o 25383 44.68/44.78 o 25348 45.18/45.22 o 25278 46.37/46.41 o 25257 46.87/46.98 o 25091 48.38/48.49 o 25036 48.87/48.91 o 24947 50.07/50.19 o 24849 50.78/50.87 o 24777 51.28/51.35 o 24706 52.98/53.03 o 24605 53.98/54.01 o 24561 55.77/55.86 o 24556 56.48/56.55 o 24383 57.18/57.28 o 24331 58.07/58.11 o 24279 58.07/58.18 o 24204 58.68/58.73 o 24172 60.38/60.41 o 24148 61.38/61.48 o 24044 63.87/63.95 o 24031 65.87/65.94 o 24021 68.37/68.46 o 24000 68.57/68.64 o 23829 70.07/70.12 o 23784 71.77/71.80 o 23758 73.87/73.90 o 23580 75.57/75.68 o 23489 76.47/76.56 o 23332 76.57/76.65 o 23276 78.17/78.21 o 23206 79.08/79.10 o 23190 81.38/81.41 o 23108 83.57/83.67 o 23086 84.37/84.43 o 23027 84.47/84.53 o 22958 85.36/85.47 o 22907 85.56/85.60 o 22875 87.17/87.24 o 22840 91.27/91.37 o 22817 92.37/92.41 o 22680 93.57/93.69 o 22631 95.97/96.00 o 22519 96.57/96.65 o 22423 96.87/96.97 o 22223 98.36/98.45 o 22196 99.26/99.37 o 21993 99.66/99.72 o 21979 100.27/100.31 o 21974 100.66/100.75 o 21850 100.86/100.99 o 21815 101.07/101.17 o 21788 101.67/101.72 o 21729 102.96/103.02 o 21727 103.37/103.49 o 21706 104.06/104.15 o 21515 104.26/104.33 o 21442 104.36/104.50 o 21399 104.56/104.67 o 21340 104.76/104.88 o 21309 104.96/105.05 o 21279 105.06/105.15 o 21081 105.16/105.24 o 21076 105.56/105.66 o 21065 106.26/106.33 o 21044 106.57/106.62 o 21021 107.47/107.56 o 20913 107.57/107.66 o 20864 108.16/108.25 o 20835 110.36/110.46 o 20804 113.96/114.05 o 20796 114.16/114.30 o 20646 114.66/114.72 o 20529 114.96/115.08 o 20472 115.36/115.42 o 20292 116.06/116.17 o 20256 116.36/116.44 o 20219 116.96/117.01 o 20159 117.56/117.60 o 20068 117.66/117.78 o 20047 118.06/118.12 o 19957 118.36/118.46 o 19944 118.67/118.77 o 19877 120.46/120.57 o 19735 120.66/120.77 o 19725 121.36/121.47 o 19714 122.26/122.38 o 19693 122.36/122.49 o 19618 122.95/123.04 o 19578 122.95/123.07 o 19531 123.35/123.46 o 19339 123.35/123.47 o 19307 123.86/123.97 o 19180 124.26/124.39 o 19087 124.86/124.95 o 18935 126.56/126.64 o 18894 126.76/126.84 o 18846 127.65/127.72 o 18724 128.06/128.17 o 18595 128.46/128.54 o 18556 129.26/129.31 o 18496 130.45/130.51 o 18311 130.86/130.96 o 18251 131.66/131.71 o 18056 132.15/132.21 o 18030 133.36/133.46 o 18013 133.36/133.47 o 17986 134.36/134.40 o 17905 135.26/135.34 o 17778 137.65/137.71 o 17734 139.75/139.83 o 17605 140.66/140.79 o 17603 141.65/141.77 o 17527 142.15/142.20 o 17451 143.65/143.74 o 17428 144.66/144.71 o 17237 145.55/145.66 o 17115 149.05/149.16 o 17024 151.05/151.13 o 16834 153.75/153.82 o 16822 156.55/156.69 o 16761 157.85/157.90 o 16661 157.85/157.93 o 16640 161.45/161.53 o 16612 163.45/163.54 o 16473 163.75/163.80 o 16389 163.85/163.95 o 16277 165.75/165.86 o 16209 168.25/168.31 o 16190 170.04/170.11 o 16093 170.74/170.83 o 15994 172.45/172.53 o 15961 173.04/173.12 o 15825 174.75/174.83 o 15783 175.04/175.12 o 15733 177.24/177.39 o 15692 177.54/177.60 o 15551 180.54/180.65 o 15457 181.04/181.12 o 15441 182.04/182.15 o 15406 184.74/184.86 o 15365 185.84/185.90 o 15363 186.94/187.01 o 15350 188.23/188.35 o 15213 190.64/190.71 o 15123 192.73/192.90 o 15067 193.84/193.92 o 15007 194.73/194.81 o 14970 194.93/195.02 o 14910 197.34/197.45 o 14880 198.73/198.80 o 14852 199.13/199.29 o 14652 200.94/201.05 o 14629 204.63/204.73 o 14622 207.94/208.05 o 14503 208.23/208.36 o 14392 210.93/211.07 o 14224 211.33/211.48 o 14159 212.74/212.88 o 14150 215.54/215.66 o 14046 216.93/217.06 o 13987 219.93/220.01 o 13961 220.03/220.19 o 13902 221.53/221.70 o 13875 223.53/223.69 o 13860 224.03/224.20 o 13842 229.43/229.59 o 13804 229.93/230.04 o 13608 230.84/230.94 o 13432 231.13/231.29 o 13426 233.33/233.45 o 13309 233.73/233.83 o 13307 234.23/234.39 o 13290 236.63/236.76 o 13248 236.83/236.96 o 13187 238.32/238.42 o 12995 239.23/239.31 o 12929 239.83/239.91 o 12818 240.12/240.23 o 12782 245.32/245.41 o 12594 249.82/249.94 o 12558 251.12/251.25 o 12497 258.72/258.85 o 12431 261.52/261.64 o 12366 263.92/264.06 o 12330 264.92/265.04 o 12149 267.02/267.16 o 12063 269.81/269.94 o 12017 278.01/278.20 o 12001 282.92/283.03 o 11808 283.81/283.97 o 11794 288.81/288.99 o 11735 308.51/308.62 o 11658 309.31/309.49 o 11597 340.70/340.82 o 11539 341.40/341.51 o 11506 359.40/359.50 o 11462 374.99/375.19 o 11385 398.78/398.92 o 11265 405.38/405.51 o 11202 410.37/410.53 o 11187 412.98/413.12 o 11091 419.28/419.45 o 11074 436.57/436.71 o 10954 439.78/439.96 o 10884 442.07/442.27 o 10828 450.88/451.09 o 10816 457.96/458.12 o 10644 461.97/462.19 o 10634 467.77/467.90 o 10476 471.86/472.04 o 10424 480.66/480.83 o 10412 482.26/482.46 o 10290 483.76/483.98 o 10221 487.66/487.88 o 10201 490.95/491.18 o 10194 495.06/495.21 o 10129 495.86/496.08 o 10060 507.45/507.62 o 9895 512.25/512.49 o 9821 516.35/516.59 o 9754 519.15/519.38 o 9624 523.05/523.25 o 9592 544.35/544.58 o 9403 564.74/564.97 o 9310 575.94/576.12 o 9175 615.53/615.74 o 9111 648.82/649.10 o 8947 677.81/678.01 o 8933 699.70/699.97 o 8852 705.00/705.29 o 8820 723.00/723.24 o 8784 732.49/732.79 o 8778 742.49/742.71 o 8754 825.88/826.11 o 8675 833.37/833.63 o 8654 834.17/834.42 o 8608 837.07/837.30 o 8526 916.65/916.98 o 8334 919.64/919.96 o 8258 940.84/941.11 o 8204 1062.31/1062.70 o 8179 1075.51/1075.87 o 7998 1156.89/1157.26 o 7928 1232.67/1233.06 o 7845 1300.95/1301.31 o 7840 1331.44/1331.86 o 7714 1406.62/1407.09 o 7671 1479.70/1480.18 o 7580 1513.49/1513.91 o 7475 1800.02/1800.50 s SATISFIABLE 1800.02/1800.50 v -x1 -x10 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x11 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 1800.02/1800.50 v -x118 -x119 -x12 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x13 -x130 -x131 -x132 -x133 -x134 -x135 -x136 1800.02/1800.50 v -x137 -x138 -x139 -x14 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x15 -x150 -x151 -x152 -x153 -x154 -x155 1800.02/1800.50 v -x156 -x157 -x158 -x159 -x16 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x17 -x170 -x171 -x172 x173 -x174 1800.02/1800.50 v x175 -x176 -x177 -x178 -x179 -x18 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x19 -x190 x191 -x192 -x193 -x194 1800.02/1800.50 v -x195 -x196 -x197 x198 -x199 -x2 -x20 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x21 -x210 -x211 -x212 -x213 1800.02/1800.50 v -x214 -x215 -x216 -x217 -x218 -x219 -x22 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x23 -x230 -x231 -x232 1800.02/1800.50 v -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x24 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x25 -x250 -x251 1800.02/1800.50 v -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x26 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x27 -x270 1800.02/1800.50 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x28 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x29 1800.02/1800.50 v -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x3 -x30 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 1800.02/1800.50 v -x309 x31 -x310 -x311 x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x32 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 1800.02/1800.50 v -x329 -x33 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x34 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 1800.02/1800.50 v -x348 -x349 -x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x36 -x360 -x361 -x362 -x363 -x364 -x365 -x366 1800.02/1800.50 v -x367 -x368 -x369 -x37 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x38 -x380 -x381 -x382 -x383 -x384 -x385 1800.02/1800.50 v -x386 -x387 -x388 -x389 -x39 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x4 x40 -x400 -x401 -x402 -x403 -x404 1800.02/1800.50 v -x405 -x406 -x407 -x408 -x409 -x41 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x42 -x420 -x421 -x422 -x423 1800.02/1800.50 v -x424 -x425 -x426 -x427 -x428 -x429 -x43 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x44 -x440 -x441 -x442 1800.02/1800.50 v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x45 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x46 -x460 -x461 1800.02/1800.50 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x47 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x48 -x480 1800.02/1800.50 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x49 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x5 1800.02/1800.50 v -x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 x507 -x508 -x509 -x51 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 1800.02/1800.50 v -x519 -x52 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x53 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 1800.02/1800.50 v -x538 -x539 -x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x55 -x550 -x551 -x552 -x553 -x554 -x555 -x556 1800.02/1800.50 v -x56 -x57 -x58 -x59 -x6 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x7 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 1800.02/1800.50 v -x8 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x9 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99
OK 7475
/tmp/evaluation/458694-1178640568/instance-458694-1178640568.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node24/watcher-458694-1178640568 -o ROOT/results/node24/solver-458694-1178640568 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458694-1178640568/instance-458694-1178640568.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: 1.07 0.99 0.99 2/77 6771 /proc/meminfo: memFree=1549448/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=1456 CPUtime=0 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 159 0 0 0 0 0 0 0 18 0 1 0 311974860 1490944 141 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134591230 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 364 141 86 219 0 141 0 [startup+0.00805408 s] /proc/loadavg: 1.07 0.99 0.99 2/77 6771 /proc/meminfo: memFree=1549448/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=1612 CPUtime=0 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 311974860 1650688 161 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 403 161 88 219 0 180 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1612 [startup+0.101064 s] /proc/loadavg: 1.07 0.99 0.99 2/77 6771 /proc/meminfo: memFree=1549448/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=1868 CPUtime=0.09 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 291 0 0 0 9 0 0 0 18 0 1 0 311974860 1912832 273 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 467 273 102 219 0 244 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1868 [startup+0.301085 s] /proc/loadavg: 1.07 0.99 0.99 2/77 6771 /proc/meminfo: memFree=1549448/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=2532 CPUtime=0.29 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 410 0 0 0 29 0 0 0 19 0 1 0 311974860 2592768 392 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 633 392 102 219 0 410 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2532 [startup+0.701129 s] /proc/loadavg: 1.07 0.99 0.99 2/77 6771 /proc/meminfo: memFree=1549448/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=3704 CPUtime=0.69 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 713 0 0 0 68 1 0 0 23 0 1 0 311974860 3792896 695 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 926 695 102 219 0 703 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3704 [startup+1.50122 s] /proc/loadavg: 1.07 0.99 0.99 2/78 6772 /proc/meminfo: memFree=1546816/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=6076 CPUtime=1.49 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 1081 0 0 0 147 2 0 0 25 0 1 0 311974860 6221824 1063 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 1519 1063 102 219 0 1296 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6076 [startup+3.10139 s] /proc/loadavg: 1.07 0.99 0.99 2/78 6772 /proc/meminfo: memFree=1544512/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=6532 CPUtime=3.09 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 1402 0 0 0 306 3 0 0 25 0 1 0 311974860 6688768 1335 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 1633 1335 102 219 0 1410 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6532 [startup+6.30173 s] /proc/loadavg: 1.07 0.99 0.99 2/78 6772 /proc/meminfo: memFree=1543232/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=11280 CPUtime=6.29 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 2061 0 0 0 624 5 0 0 25 0 1 0 311974860 11550720 1897 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 2820 1897 102 219 0 2597 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11280 [startup+12.7014 s] /proc/loadavg: 1.06 0.99 0.99 2/78 6772 /proc/meminfo: memFree=1538880/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=20132 CPUtime=12.68 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 2972 0 0 0 1261 7 0 0 25 0 1 0 311974860 20615168 2808 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550295 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 5033 2808 102 219 0 4810 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 20132 [startup+25.5018 s] /proc/loadavg: 1.05 0.99 0.99 2/78 6772 /proc/meminfo: memFree=1530944/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=22116 CPUtime=25.48 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 5041 0 0 0 2535 13 0 0 25 0 1 0 311974860 22646784 4684 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 5529 4684 102 219 0 5306 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 22116 [startup+51.1016 s] /proc/loadavg: 1.03 0.99 0.99 2/78 6772 /proc/meminfo: memFree=1526464/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=41676 CPUtime=51.08 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 6692 0 0 0 5088 20 0 0 25 0 1 0 311974860 42676224 5950 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134556992 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 10419 5951 102 219 0 10196 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 41676 [startup+102.305 s] /proc/loadavg: 1.01 0.99 0.99 2/78 6772 /proc/meminfo: memFree=1518592/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=43512 CPUtime=102.27 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 8473 0 0 0 10194 33 0 0 25 0 1 0 311974860 44556288 7731 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 10878 7731 102 219 0 10655 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 43512 [startup+162.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6772 /proc/meminfo: memFree=1507328/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=49588 CPUtime=162.25 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 12059 0 0 0 16175 50 0 0 25 0 1 0 311974860 50778112 10548 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 12397 10548 102 219 0 12174 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 49588 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6772 /proc/meminfo: memFree=1502720/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=58424 CPUtime=222.23 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 14723 0 0 0 22153 70 0 0 25 0 1 0 311974860 59826176 11675 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549412 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 14606 11675 102 219 0 14383 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 58424 [startup+282.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6772 /proc/meminfo: memFree=1499136/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=60300 CPUtime=282.22 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 15619 0 0 0 28137 85 0 0 25 0 1 0 311974860 61747200 12571 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 15075 12571 102 219 0 14852 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 60300 [startup+342.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6772 /proc/meminfo: memFree=1491904/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=63012 CPUtime=342.2 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 17414 0 0 0 34123 97 0 0 25 0 1 0 311974860 64524288 14366 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 15753 14366 102 219 0 15530 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 63012 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6772 /proc/meminfo: memFree=1481856/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=99028 CPUtime=402.18 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 19913 0 0 0 40107 111 0 0 25 0 1 0 311974860 101404672 16865 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544685 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 24757 16865 102 219 0 24534 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 99028 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6772 /proc/meminfo: memFree=1477952/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=113500 CPUtime=462.17 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 23948 0 0 0 46088 129 0 0 25 0 1 0 311974860 116224000 17827 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 28375 17827 102 219 0 28152 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 113500 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6772 /proc/meminfo: memFree=1474816/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=115068 CPUtime=522.15 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 24739 0 0 0 52066 149 0 0 25 0 1 0 311974860 117829632 18618 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 28767 18618 102 219 0 28544 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 115068 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6772 /proc/meminfo: memFree=1471488/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=117352 CPUtime=582.13 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 25575 0 0 0 58049 164 0 0 25 0 1 0 311974860 120168448 19454 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557666 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 29338 19454 102 219 0 29115 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 117352 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6772 /proc/meminfo: memFree=1467392/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=119508 CPUtime=642.12 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 26584 0 0 0 64031 181 0 0 25 0 1 0 311974860 122376192 20463 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 29877 20463 102 219 0 29654 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 119508 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6772 /proc/meminfo: memFree=1454336/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=126180 CPUtime=882.05 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 29849 0 0 0 87959 246 0 0 25 0 1 0 311974860 129208320 23728 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134597531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 31545 23728 102 219 0 31322 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 126180 [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6772 /proc/meminfo: memFree=1451264/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=152748 CPUtime=942.04 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 36754 0 0 0 93941 263 0 0 25 0 1 0 311974860 156413952 24488 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 38187 24488 102 219 0 37964 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 152748 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6772 /proc/meminfo: memFree=1448128/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=154772 CPUtime=1002.02 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 37533 0 0 0 99924 278 0 0 25 0 1 0 311974860 158486528 25267 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 38693 25267 102 219 0 38470 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 154772 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6772 /proc/meminfo: memFree=1444416/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=156736 CPUtime=1062.01 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 38463 0 0 0 105906 295 0 0 25 0 1 0 311974860 160497664 26197 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 39184 26197 102 219 0 38961 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 156736 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6772 /proc/meminfo: memFree=1441664/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=158512 CPUtime=1122 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 39154 0 0 0 111889 311 0 0 25 0 1 0 311974860 162316288 26888 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547208 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 39628 26888 102 219 0 39405 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 158512 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6772 /proc/meminfo: memFree=1439360/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=158512 CPUtime=1181.98 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 39732 0 0 0 117873 325 0 0 25 0 1 0 311974860 162316288 27466 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 39628 27466 102 219 0 39405 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 158512 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6772 /proc/meminfo: memFree=1436672/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=160876 CPUtime=1241.96 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 40404 0 0 0 123857 339 0 0 25 0 1 0 311974860 164737024 28138 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 40219 28138 102 219 0 39996 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 160876 [startup+1302.3 s] /proc/loadavg: 1.03 1.00 1.00 2/78 6772 /proc/meminfo: memFree=1423424/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=162004 CPUtime=1301.95 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 43699 0 0 0 129840 355 0 0 25 0 1 0 311974860 165892096 31433 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 40501 31433 102 219 0 40278 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 162004 [startup+1362.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 6772 /proc/meminfo: memFree=1421248/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=164492 CPUtime=1361.93 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 44273 0 0 0 135827 366 0 0 25 0 1 0 311974860 168439808 32007 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544702 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 41123 32007 102 219 0 40900 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 164492 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6772 /proc/meminfo: memFree=1418048/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=166620 CPUtime=1421.91 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 45068 0 0 0 141812 379 0 0 25 0 1 0 311974860 170618880 32802 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544687 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 41655 32802 102 219 0 41432 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 166620 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6772 /proc/meminfo: memFree=1415488/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=166812 CPUtime=1481.9 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 45706 0 0 0 147797 393 0 0 25 0 1 0 311974860 170815488 33440 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 41703 33440 102 219 0 41480 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 166812 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6772 /proc/meminfo: memFree=1412608/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=169072 CPUtime=1541.88 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 46419 0 0 0 153785 403 0 0 25 0 1 0 311974860 173129728 34153 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 42268 34153 102 219 0 42045 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 169072 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6772 /proc/meminfo: memFree=1410048/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=169072 CPUtime=1601.87 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 47061 0 0 0 159771 416 0 0 25 0 1 0 311974860 173129728 34795 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 42268 34795 102 219 0 42045 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 169072 [startup+1662.3 s] /proc/loadavg: 1.04 1.01 1.00 2/78 6772 /proc/meminfo: memFree=1407296/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=171608 CPUtime=1661.85 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 47759 0 0 0 165754 431 0 0 25 0 1 0 311974860 175726592 35493 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 42902 35493 102 219 0 42679 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 171608 [startup+1722.3 s] /proc/loadavg: 1.01 1.01 1.00 2/78 6772 /proc/meminfo: memFree=1404928/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=172184 CPUtime=1721.84 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 48350 0 0 0 171737 447 0 0 25 0 1 0 311974860 176316416 36084 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 43046 36084 102 219 0 42823 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 172184 [startup+1782.3 s] /proc/loadavg: 1.06 1.02 1.00 2/78 6772 /proc/meminfo: memFree=1402432/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=174736 CPUtime=1781.82 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 48960 0 0 0 177722 460 0 0 25 0 1 0 311974860 178929664 36694 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 43684 36694 102 219 0 43461 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 174736 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.04 1.02 1.00 2/78 6772 /proc/meminfo: memFree=1401920/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=174736 CPUtime=1800.02 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 49087 0 0 0 179537 465 0 0 25 0 1 0 311974860 178929664 36821 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 43684 36821 102 219 0 43461 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 174736 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.04 1.02 1.00 2/78 6772 /proc/meminfo: memFree=1401920/2055920 swapFree=4143684/4192956 [pid=6771] ppid=6769 vsize=174736 CPUtime=1800.02 /proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 49087 0 0 0 179537 465 0 0 25 0 1 0 311974860 178929664 36821 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6771/statm: 43684 36821 102 219 0 43461 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 174736 Child status: 0 Real time (s): 1800.53 CPU time (s): 1800.06 CPU user time (s): 1795.38 CPU system time (s): 4.67629 CPU usage (%): 99.9735 Max. virtual memory (cumulated for all children) (KiB): 174736 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.38 system time used= 4.67629 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 49090 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= 36093 runsolver used 1.64075 second user time and 4.32834 second system time The end
Begin job on node24 on Tue May 8 16:09:28 UTC 2007 IDJOB= 458694 IDBENCH= 1826 IDSOLVER= 200 FILE ID= node24/458694-1178640568 PBS_JOBID= 5218351 Free space on /tmp= 66503 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-gt2.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458694-1178640568/instance-458694-1178640568.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node24/convwatcher-458694-1178640568 -o ROOT/results/node24/conversion-458694-1178640568 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458694-1178640568/instance-458694-1178640568.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-458694-1178640568 -o ROOT/results/node24/solver-458694-1178640568 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458694-1178640568/instance-458694-1178640568.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= 08913f3dd730f4c3a659694fd4c06001 RANDOM SEED= 914687209 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node24.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.238 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.238 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: 1549920 kB Buffers: 39672 kB Cached: 319276 kB SwapCached: 16956 kB Active: 117620 kB Inactive: 301936 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1549920 kB SwapTotal: 4192956 kB SwapFree: 4143684 kB Dirty: 2288 kB Writeback: 0 kB Mapped: 67780 kB Slab: 71816 kB Committed_AS: 7469572 kB PageTables: 1904 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= 66503 MiB End job on node24 on Tue May 8 16:39:31 UTC 2007