Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 | ? (TO) | 1800.07 | 1800.66 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-scagr25.opb |
MD5SUM | 58a5a60742220a9ba7e3c02a1efc153b |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 3.10453 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 15000 |
Total number of constraints | 471 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 471 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 300 |
Number of terms in the objective function | 14250 |
Biggest coefficient in the objective function | 35540854374400 |
Number of bits for the biggest coefficient in the objective function | 46 |
Sum of the numbers in the objective function | 4668575759312850 |
Number of bits of the sum of numbers in the objective function | 53 |
Biggest number in a constraint | 35540854374400 |
Number of bits of the biggest number in a constraint | 46 |
Biggest sum of numbers in a constraint | 4668575759312850 |
Number of bits of the biggest sum of numbers | 53 |
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 PB/CT 0.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.19/0.21 c constraints 471/0 clauses 0/0 units 1049 0.19/0.21 c vars 15000 0.19/0.25 c objective 13819 + -4000493597042250 1800.02/1800.61 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2669320-1276550158/watcher-2669320-1276550158 -o /tmp/evaluation-result-2669320-1276550158/solver-2669320-1276550158 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2669320-1276550158.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.17 1.05 1.10 2/106 31483 /proc/meminfo: memFree=1822000/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=2488 CPUtime=0 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 305 0 0 0 0 0 0 0 20 0 1 0 30617214 2547712 227 1992294400 134512640 136485738 4290273632 18446744073709551615 135411158 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31483/statm: 622 227 151 482 0 138 0 [startup+0.069423 s] /proc/loadavg: 1.17 1.05 1.10 2/106 31483 /proc/meminfo: memFree=1822000/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=3476 CPUtime=0.06 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 598 0 0 0 6 0 0 0 20 0 1 0 30617214 3559424 487 1992294400 134512640 136485738 4290273632 18446744073709551615 135178895 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31483/statm: 869 487 157 482 0 385 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3476 [startup+0.101427 s] /proc/loadavg: 1.17 1.05 1.10 2/106 31483 /proc/meminfo: memFree=1822000/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=4140 CPUtime=0.09 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 775 0 0 0 9 0 0 0 20 0 1 0 30617214 4239360 664 1992294400 134512640 136485738 4290273632 18446744073709551615 135177438 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31483/statm: 1035 664 157 482 0 551 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4140 [startup+0.301462 s] /proc/loadavg: 1.17 1.05 1.10 2/106 31483 /proc/meminfo: memFree=1822000/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=12656 CPUtime=0.29 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 2849 0 0 0 28 1 0 0 20 0 1 0 30617214 12959744 2738 1992294400 134512640 136485738 4290273632 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 3164 2739 197 482 0 2680 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12656 [startup+0.70153 s] /proc/loadavg: 1.17 1.05 1.10 2/106 31483 /proc/meminfo: memFree=1822000/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=37652 CPUtime=0.69 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 9279 0 0 0 64 5 0 0 21 0 1 0 30617214 38555648 8795 1992294400 134512640 136485738 4290273632 18446744073709551615 135848155 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 9413 8796 197 482 0 8929 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37652 [startup+1.50167 s] /proc/loadavg: 1.16 1.05 1.09 2/107 31484 /proc/meminfo: memFree=1770160/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=84424 CPUtime=1.49 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 21658 0 0 0 139 10 0 0 23 0 1 0 30617214 86450176 20433 1992294400 134512640 136485738 4290273632 18446744073709551615 134600080 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 21106 20434 197 482 0 20622 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 84424 [startup+3.10194 s] /proc/loadavg: 1.16 1.05 1.09 2/107 31484 /proc/meminfo: memFree=1705680/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=197228 CPUtime=3.09 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 51739 0 0 0 284 25 0 0 25 0 1 0 30617214 201961472 48652 1992294400 134512640 136485738 4290273632 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 49307 48657 199 482 0 48823 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 197228 [startup+6.30149 s] /proc/loadavg: 1.14 1.05 1.09 2/107 31484 /proc/meminfo: memFree=1543984/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=293020 CPUtime=6.29 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 75994 0 0 0 584 45 0 0 25 0 1 0 30617214 300052480 69883 1992294400 134512640 136485738 4290273632 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 73255 69883 228 482 0 72771 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 293020 [startup+12.7016 s] /proc/loadavg: 1.13 1.05 1.09 2/107 31486 /proc/meminfo: memFree=1534684/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=301128 CPUtime=12.69 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 78008 0 0 0 1208 61 0 0 25 0 1 0 30617214 308355072 71897 1992294400 134512640 136485738 4290273632 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 75282 71897 228 482 0 74798 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 301128 [startup+25.5008 s] /proc/loadavg: 1.10 1.04 1.09 2/107 31486 /proc/meminfo: memFree=1525384/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=309960 CPUtime=25.49 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 80214 0 0 0 2467 82 0 0 25 0 1 0 30617214 317399040 74103 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 77490 74103 228 482 0 77006 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 309960 [startup+51.1012 s] /proc/loadavg: 1.07 1.04 1.09 2/107 31486 /proc/meminfo: memFree=1513356/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=322420 CPUtime=51.08 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 83266 0 0 0 4995 113 0 0 25 0 1 0 30617214 330158080 77155 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 80605 77155 228 482 0 80121 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 322420 [startup+102.309 s] /proc/loadavg: 1.03 1.03 1.08 2/107 31488 /proc/meminfo: memFree=1497484/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=338292 CPUtime=102.27 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 87166 0 0 0 10069 158 0 0 25 0 1 0 30617214 346411008 81055 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 84573 81055 228 482 0 84089 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 338292 [startup+162.301 s] /proc/loadavg: 1.05 1.04 1.08 2/107 31490 /proc/meminfo: memFree=1489424/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=346296 CPUtime=162.24 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 89172 0 0 0 16011 213 0 0 25 0 1 0 30617214 354607104 83061 1992294400 134512640 136485738 4290273632 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 86574 83061 228 482 0 86090 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 346296 [startup+222.301 s] /proc/loadavg: 1.02 1.03 1.08 2/107 31490 /proc/meminfo: memFree=1488804/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=346856 CPUtime=222.22 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 89327 0 0 0 21969 253 0 0 25 0 1 0 30617214 355180544 83216 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 86714 83216 228 482 0 86230 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 346856 [startup+282.302 s] /proc/loadavg: 1.00 1.02 1.07 2/107 31492 /proc/meminfo: memFree=1485828/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=350052 CPUtime=282.2 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 90062 0 0 0 27932 288 0 0 25 0 1 0 30617214 358453248 83951 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 87513 83951 228 482 0 87029 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 350052 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.06 2/107 31494 /proc/meminfo: memFree=1484216/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=352200 CPUtime=342.18 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 90500 0 0 0 33894 324 0 0 25 0 1 0 30617214 360652800 84389 1992294400 134512640 136485738 4290273632 18446744073709551615 134880635 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 88050 84389 228 482 0 87566 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 352200 [startup+402.302 s] /proc/loadavg: 1.00 1.01 1.06 2/107 31496 /proc/meminfo: memFree=1483844/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=352628 CPUtime=402.17 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 90544 0 0 0 39853 364 0 0 25 0 1 0 30617214 361091072 84433 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 88157 84433 228 482 0 87673 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 352628 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.05 2/107 31498 /proc/meminfo: memFree=1483472/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=352896 CPUtime=462.14 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 90632 0 0 0 45799 415 0 0 25 0 1 0 30617214 361365504 84521 1992294400 134512640 136485738 4290273632 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 88224 84521 228 482 0 87740 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 352896 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.05 2/107 31498 /proc/meminfo: memFree=1482480/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=354204 CPUtime=522.12 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 90882 0 0 0 51760 452 0 0 25 0 1 0 30617214 362704896 84771 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 88551 84771 228 482 0 88067 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 354204 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.04 2/107 31500 /proc/meminfo: memFree=1472312/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=364204 CPUtime=582.11 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 93396 0 0 0 57719 492 0 0 25 0 1 0 30617214 372944896 87285 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 91051 87285 228 482 0 90567 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 364204 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.04 2/107 31502 /proc/meminfo: memFree=1462888/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=373524 CPUtime=642.09 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 95732 0 0 0 63680 529 0 0 25 0 1 0 30617214 382488576 89621 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 93381 89621 228 482 0 92897 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 373524 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.03 1.01 1.02 2/107 31506 /proc/meminfo: memFree=1460904/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=375220 CPUtime=822.02 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 96166 0 0 0 81545 657 0 0 25 0 1 0 30617214 384225280 90055 1992294400 134512640 136485738 4290273632 18446744073709551615 134880904 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 93805 90055 228 482 0 93321 0 Current children cumulated CPU time (s) 822.02 Current children cumulated vsize (KiB) 375220 [startup+882.301 s] /proc/loadavg: 1.01 1.00 1.02 2/107 31508 /proc/meminfo: memFree=1458796/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=377728 CPUtime=882 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 96702 0 0 0 87507 693 0 0 25 0 1 0 30617214 386793472 90591 1992294400 134512640 136485738 4290273632 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 94432 90591 228 482 0 93948 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 377728 [startup+942.301 s] /proc/loadavg: 1.06 1.02 1.02 2/107 31510 /proc/meminfo: memFree=1457060/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=379556 CPUtime=941.98 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 97143 0 0 0 93473 725 0 0 25 0 1 0 30617214 388665344 91032 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 94889 91032 228 482 0 94405 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 379556 [startup+1002.3 s] /proc/loadavg: 1.08 1.03 1.02 2/107 31512 /proc/meminfo: memFree=1450488/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=386048 CPUtime=1001.97 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 98741 0 0 0 99438 759 0 0 25 0 1 0 30617214 395313152 92630 1992294400 134512640 136485738 4290273632 18446744073709551615 135180171 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 96512 92630 228 482 0 96028 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 386048 [startup+1062.3 s] /proc/loadavg: 1.08 1.03 1.02 2/107 31514 /proc/meminfo: memFree=1450364/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=386048 CPUtime=1061.94 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 98744 0 0 0 105375 819 0 0 25 0 1 0 30617214 395313152 92633 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 96512 92633 228 482 0 96028 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 386048 [startup+1122.3 s] /proc/loadavg: 1.08 1.04 1.02 2/107 31514 /proc/meminfo: memFree=1450240/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=386296 CPUtime=1121.93 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 98786 0 0 0 111335 858 0 0 25 0 1 0 30617214 395567104 92675 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 96574 92675 228 482 0 96090 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 386296 [startup+1182.3 s] /proc/loadavg: 1.07 1.04 1.01 2/107 31516 /proc/meminfo: memFree=1449620/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=386896 CPUtime=1181.91 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 98914 0 0 0 117293 898 0 0 25 0 1 0 30617214 396181504 92803 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 96724 92803 228 482 0 96240 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 386896 [startup+1242.3 s] /proc/loadavg: 1.07 1.05 1.01 2/107 31518 /proc/meminfo: memFree=1449124/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=387216 CPUtime=1241.89 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 99004 0 0 0 123259 930 0 0 25 0 1 0 30617214 396509184 92893 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 96804 92893 228 482 0 96320 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 387216 [startup+1302.3 s] /proc/loadavg: 1.02 1.04 1.01 2/107 31520 /proc/meminfo: memFree=1444164/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=392104 CPUtime=1301.87 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 100241 0 0 0 129223 964 0 0 25 0 1 0 30617214 401514496 94130 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 98026 94130 228 482 0 97542 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 392104 [startup+1362.3 s] /proc/loadavg: 1.01 1.03 1.00 2/107 31522 /proc/meminfo: memFree=1437096/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=399880 CPUtime=1361.85 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 102039 0 0 0 135192 993 0 0 25 0 1 0 30617214 409477120 95928 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 99970 95928 228 482 0 99486 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 399880 [startup+1422.31 s] /proc/loadavg: 1.00 1.02 1.00 2/107 31522 /proc/meminfo: memFree=1434492/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=402388 CPUtime=1421.84 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 102660 0 0 0 141148 1036 0 0 25 0 1 0 30617214 412045312 96549 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 100597 96549 228 482 0 100113 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 402388 [startup+1482.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 31524 /proc/meminfo: memFree=1434120/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=402640 CPUtime=1481.82 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 102717 0 0 0 147097 1085 0 0 25 0 1 0 30617214 412303360 96606 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 100660 96606 228 482 0 100176 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 402640 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 31526 /proc/meminfo: memFree=1433872/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=402880 CPUtime=1541.79 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 102770 0 0 0 153056 1123 0 0 25 0 1 0 30617214 412549120 96659 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 100720 96659 228 482 0 100236 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 402880 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31528 /proc/meminfo: memFree=1433748/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=403120 CPUtime=1601.77 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 102817 0 0 0 159017 1160 0 0 25 0 1 0 30617214 412794880 96706 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 100780 96706 228 482 0 100296 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 403120 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31530 /proc/meminfo: memFree=1433748/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=403120 CPUtime=1661.76 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 102817 0 0 0 164987 1189 0 0 25 0 1 0 30617214 412794880 96706 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 100780 96706 228 482 0 100296 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 403120 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31530 /proc/meminfo: memFree=1433624/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=403120 CPUtime=1721.74 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 102823 0 0 0 170956 1218 0 0 25 0 1 0 30617214 412794880 96712 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 100780 96712 228 482 0 100296 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 403120 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31532 /proc/meminfo: memFree=1433252/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=403120 CPUtime=1781.71 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 102827 0 0 0 176926 1245 0 0 25 0 1 0 30617214 412794880 96716 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 100780 96716 228 482 0 100296 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 403120 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31532 /proc/meminfo: memFree=1433252/2059040 swapFree=4136080/4192956 [pid=31483] ppid=31481 vsize=403120 CPUtime=1800.02 /proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 102827 0 0 0 178750 1252 0 0 25 0 1 0 30617214 412794880 96716 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31483/statm: 100780 96716 228 482 0 100296 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 403120 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.66 CPU time (s): 1800.07 CPU user time (s): 1787.51 CPU system time (s): 12.5661 CPU usage (%): 99.9676 Max. virtual memory (cumulated for all children) (KiB): 403120 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.51 system time used= 12.5661 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 102827 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= 1 involuntary context switches= 5292 runsolver used 3.10453 second user time and 8.37873 second system time The end
Begin job on node014 at 2010-06-14 23:15:58 IDJOB=2669320 IDBENCH=2419 IDSOLVER=1170 FILE ID=node014/2669320-1276550158 PBS_JOBID= 11173486 Free space on /tmp= 62504 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scagr25.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669320-1276550158/watcher-2669320-1276550158 -o /tmp/evaluation-result-2669320-1276550158/solver-2669320-1276550158 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2669320-1276550158.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 58a5a60742220a9ba7e3c02a1efc153b RANDOM SEED=236408206 node014.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.258 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 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.258 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1822528 kB Buffers: 35268 kB Cached: 113300 kB SwapCached: 11516 kB Active: 74088 kB Inactive: 89004 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1822528 kB SwapTotal: 4192956 kB SwapFree: 4136080 kB Dirty: 3088 kB Writeback: 8 kB AnonPages: 11480 kB Mapped: 9376 kB Slab: 51616 kB PageTables: 3992 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183456 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62504 MiB End job on node014 at 2010-06-14 23:46:01