Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 fixed | ? (TO) | 1800.1 | 1800.54 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-aflow30a.opb |
MD5SUM | d5ffb80d8d2a9d2ae5f84f17eeb42612 |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1496 |
Best CPU time to get the best result obtained on this benchmark | 1800.32 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2754 |
Optimality of the best value was proved | NO |
Number of variables | 7195 |
Total number of constraints | 900 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 29 |
Number of constraints which are nor clauses,nor cardinality constraints | 871 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 555 |
Number of terms in the objective function | 421 |
Biggest coefficient in the objective function | 500 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 72290 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 102400 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 3334110 |
Number of bits of the biggest sum of numbers | 22 |
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.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.09 c constraints 900/0 clauses 0/0 units 0 0.00/0.09 c vars 7195 0.00/0.09 c objective 421 + 0 1800.05/1800.50 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-2682195-1277477291/watcher-2682195-1277477291 -o /tmp/evaluation-result-2682195-1277477291/solver-2682195-1277477291 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682195-1277477291.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.00 1.00 0.85 4/106 26853 /proc/meminfo: memFree=1793436/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=2268 CPUtime=0 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 284 0 0 0 0 0 0 0 15 0 1 0 89019941 2322432 204 1992294400 134512640 136421960 4294356016 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26853/statm: 567 204 145 467 0 98 0 [startup+0.0102721 s] /proc/loadavg: 1.00 1.00 0.85 4/106 26853 /proc/meminfo: memFree=1793436/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=2268 CPUtime=0 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 296 0 0 0 0 0 0 0 15 0 1 0 89019941 2322432 216 1992294400 134512640 136421960 4294356016 18446744073709551615 135528568 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26853/statm: 567 216 145 467 0 98 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2268 [startup+0.101278 s] /proc/loadavg: 1.00 1.00 0.85 4/106 26853 /proc/meminfo: memFree=1793436/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=6232 CPUtime=0.09 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 1262 0 0 0 9 0 0 0 18 0 1 0 89019941 6381568 1182 1992294400 134512640 136421960 4294356016 18446744073709551615 134707249 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 1558 1182 193 467 0 1089 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6232 [startup+0.301296 s] /proc/loadavg: 1.00 1.00 0.85 4/106 26853 /proc/meminfo: memFree=1793436/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=24992 CPUtime=0.3 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 5944 0 0 0 28 2 0 0 18 0 1 0 89019941 25591808 5799 1992294400 134512640 136421960 4294356016 18446744073709551615 134560280 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 6248 5803 193 467 0 5779 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 24992 [startup+0.70133 s] /proc/loadavg: 1.00 1.00 0.85 4/106 26853 /proc/meminfo: memFree=1793436/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=54220 CPUtime=0.69 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 13730 0 0 0 64 5 0 0 18 0 1 0 89019941 55521280 13114 1992294400 134512640 136421960 4294356016 18446744073709551615 134700917 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 13555 13115 193 467 0 13086 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 54220 [startup+1.5014 s] /proc/loadavg: 1.00 1.00 0.85 2/107 26854 /proc/meminfo: memFree=1724732/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=119084 CPUtime=1.49 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 30877 0 0 0 138 11 0 0 19 0 1 0 89019941 121942016 28805 1992294400 134512640 136421960 4294356016 18446744073709551615 134910776 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 29771 28805 203 467 0 29302 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 119084 [startup+3.10154 s] /proc/loadavg: 1.00 1.00 0.85 2/107 26854 /proc/meminfo: memFree=1668188/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=130184 CPUtime=3.09 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 33578 0 0 0 285 24 0 0 23 0 1 0 89019941 133308416 31506 1992294400 134512640 136421960 4294356016 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 32546 31506 215 467 0 32077 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 130184 [startup+6.30181 s] /proc/loadavg: 1.00 1.00 0.85 2/107 26854 /proc/meminfo: memFree=1666328/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=131600 CPUtime=6.29 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 33953 0 0 0 573 56 0 0 25 0 1 0 89019941 134758400 31881 1992294400 134512640 136421960 4294356016 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 32900 31881 215 467 0 32431 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 131600 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 0.85 2/107 26854 /proc/meminfo: memFree=1662732/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=135368 CPUtime=12.69 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 34884 0 0 0 1163 106 0 0 25 0 1 0 89019941 138616832 32812 1992294400 134512640 136421960 4294356016 18446744073709551615 135028830 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 33842 32812 215 467 0 33373 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 135368 [startup+25.5005 s] /proc/loadavg: 1.00 1.00 0.85 2/107 26854 /proc/meminfo: memFree=1654052/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=143708 CPUtime=25.49 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 36963 0 0 0 2356 193 0 0 25 0 1 0 89019941 147156992 34891 1992294400 134512640 136421960 4294356016 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 35927 34891 215 467 0 35458 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 143708 [startup+51.1007 s] /proc/loadavg: 1.00 1.00 0.85 2/107 26856 /proc/meminfo: memFree=1641528/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=156364 CPUtime=51.08 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 40126 0 0 0 4733 375 0 0 25 0 1 0 89019941 160116736 38054 1992294400 134512640 136421960 4294356016 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 39091 38054 215 467 0 38622 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 156364 [startup+102.308 s] /proc/loadavg: 1.00 1.00 0.86 3/107 26856 /proc/meminfo: memFree=1614620/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=182972 CPUtime=102.28 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 46781 0 0 0 9570 658 0 0 25 0 1 0 89019941 187363328 44709 1992294400 134512640 136421960 4294356016 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 45743 44709 215 467 0 45274 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 182972 [startup+162.3 s] /proc/loadavg: 1.00 1.00 0.86 2/107 26858 /proc/meminfo: memFree=1599988/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=197764 CPUtime=162.26 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 50418 0 0 0 15235 991 0 0 25 0 1 0 89019941 202510336 48346 1992294400 134512640 136421960 4294356016 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 49441 48346 215 467 0 48972 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 197764 [startup+222.3 s] /proc/loadavg: 1.00 1.00 0.87 2/107 26860 /proc/meminfo: memFree=1589944/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=207532 CPUtime=222.24 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 52890 0 0 0 20901 1323 0 0 25 0 1 0 89019941 212512768 50818 1992294400 134512640 136421960 4294356016 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 51883 50818 215 467 0 51414 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 207532 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.88 2/107 26862 /proc/meminfo: memFree=1582752/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=214528 CPUtime=282.22 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 54657 0 0 0 26554 1668 0 0 25 0 1 0 89019941 219676672 52585 1992294400 134512640 136421960 4294356016 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 53632 52585 215 467 0 53163 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 214528 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.88 2/107 26864 /proc/meminfo: memFree=1576056/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=221936 CPUtime=342.21 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 56453 0 0 0 32213 2008 0 0 25 0 1 0 89019941 227262464 54381 1992294400 134512640 136421960 4294356016 18446744073709551615 135028852 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 55484 54381 215 467 0 55015 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 221936 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.89 2/107 26864 /proc/meminfo: memFree=1563532/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=233824 CPUtime=402.19 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 59432 0 0 0 37884 2335 0 0 25 0 1 0 89019941 239435776 57360 1992294400 134512640 136421960 4294356016 18446744073709551615 135028329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 58456 57360 215 467 0 57987 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 233824 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.89 2/107 26866 /proc/meminfo: memFree=1563532/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=233824 CPUtime=462.18 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 59432 0 0 0 43569 2649 0 0 25 0 1 0 89019941 239435776 57360 1992294400 134512640 136421960 4294356016 18446744073709551615 135028835 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 58456 57360 215 467 0 57987 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 233824 [startup+522.3 s] /proc/loadavg: 1.00 1.00 0.90 2/107 26868 /proc/meminfo: memFree=1557580/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=239780 CPUtime=522.16 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 60917 0 0 0 49256 2960 0 0 25 0 1 0 89019941 245534720 58845 1992294400 134512640 136421960 4294356016 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 59945 58845 215 467 0 59476 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 239780 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26870 /proc/meminfo: memFree=1557580/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=239780 CPUtime=582.15 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 60918 0 0 0 54934 3281 0 0 25 0 1 0 89019941 245534720 58846 1992294400 134512640 136421960 4294356016 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 59945 58846 215 467 0 59476 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 239780 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26872 /proc/meminfo: memFree=1550016/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=247172 CPUtime=642.15 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 62792 0 0 0 60609 3606 0 0 25 0 1 0 89019941 253104128 60720 1992294400 134512640 136421960 4294356016 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 61793 60720 215 467 0 61324 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 247172 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.08 1.04 0.93 2/107 26887 /proc/meminfo: memFree=1523232/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=273064 CPUtime=882.07 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 69288 0 0 0 83258 4949 0 0 25 0 1 0 89019941 279617536 67216 1992294400 134512640 136421960 4294356016 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 68266 67216 215 467 0 67797 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 273064 [startup+942.301 s] /proc/loadavg: 1.03 1.03 0.93 2/107 26889 /proc/meminfo: memFree=1523232/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=273064 CPUtime=942.05 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 69288 0 0 0 88940 5265 0 0 25 0 1 0 89019941 279617536 67216 1992294400 134512640 136421960 4294356016 18446744073709551615 134597603 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 68266 67216 215 467 0 67797 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 273064 [startup+1002.3 s] /proc/loadavg: 1.01 1.02 0.93 2/107 26889 /proc/meminfo: memFree=1523108/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=273064 CPUtime=1002.04 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 69288 0 0 0 94611 5593 0 0 25 0 1 0 89019941 279617536 67216 1992294400 134512640 136421960 4294356016 18446744073709551615 135028329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 68266 67216 215 467 0 67797 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 273064 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 0.93 2/107 26891 /proc/meminfo: memFree=1523108/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=273064 CPUtime=1062.02 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 69288 0 0 0 100268 5934 0 0 25 0 1 0 89019941 279617536 67216 1992294400 134512640 136421960 4294356016 18446744073709551615 134597562 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 68266 67216 215 467 0 67797 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 273064 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 0.93 2/107 26893 /proc/meminfo: memFree=1523108/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=273064 CPUtime=1122.01 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 69288 0 0 0 105959 6242 0 0 25 0 1 0 89019941 279617536 67216 1992294400 134512640 136421960 4294356016 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 68266 67216 215 467 0 67797 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 273064 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 26895 /proc/meminfo: memFree=1523108/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=273064 CPUtime=1182 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 69288 0 0 0 111636 6564 0 0 25 0 1 0 89019941 279617536 67216 1992294400 134512640 136421960 4294356016 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 68266 67216 215 467 0 67797 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 273064 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 26897 /proc/meminfo: memFree=1523108/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=273064 CPUtime=1241.98 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 69288 0 0 0 117310 6888 0 0 25 0 1 0 89019941 279617536 67216 1992294400 134512640 136421960 4294356016 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 68266 67216 215 467 0 67797 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 273064 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 26897 /proc/meminfo: memFree=1523108/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=273064 CPUtime=1301.97 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 69288 0 0 0 122991 7206 0 0 25 0 1 0 89019941 279617536 67216 1992294400 134512640 136421960 4294356016 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 68266 67216 215 467 0 67797 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 273064 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 26899 /proc/meminfo: memFree=1522984/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=273064 CPUtime=1361.95 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 69288 0 0 0 128663 7532 0 0 25 0 1 0 89019941 279617536 67216 1992294400 134512640 136421960 4294356016 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 68266 67216 215 467 0 67797 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 273064 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.93 2/107 26901 /proc/meminfo: memFree=1522984/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=273064 CPUtime=1421.94 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 69288 0 0 0 134313 7881 0 0 25 0 1 0 89019941 279617536 67216 1992294400 134512640 136421960 4294356016 18446744073709551615 135025801 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 68266 67216 215 467 0 67797 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 273064 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 26903 /proc/meminfo: memFree=1522984/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=273064 CPUtime=1481.92 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 69290 0 0 0 139981 8211 0 0 25 0 1 0 89019941 279617536 67218 1992294400 134512640 136421960 4294356016 18446744073709551615 134863700 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 68266 67218 215 467 0 67797 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 273064 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 26905 /proc/meminfo: memFree=1489752/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=306744 CPUtime=1541.91 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 77655 0 0 0 145668 8523 0 0 25 0 1 0 89019941 314105856 75583 1992294400 134512640 136421960 4294356016 18446744073709551615 134862007 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 76686 75583 215 467 0 76217 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 306744 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 26905 /proc/meminfo: memFree=1487396/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=308856 CPUtime=1601.89 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 78199 0 0 0 151325 8864 0 0 25 0 1 0 89019941 316268544 76127 1992294400 134512640 136421960 4294356016 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 77214 76127 215 467 0 76745 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 308856 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 26907 /proc/meminfo: memFree=1487396/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=308856 CPUtime=1661.88 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 78199 0 0 0 156992 9196 0 0 25 0 1 0 89019941 316268544 76127 1992294400 134512640 136421960 4294356016 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 77214 76127 215 467 0 76745 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 308856 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 26909 /proc/meminfo: memFree=1487272/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=308856 CPUtime=1721.86 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 78199 0 0 0 162675 9511 0 0 25 0 1 0 89019941 316268544 76127 1992294400 134512640 136421960 4294356016 18446744073709551615 134859688 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 77214 76127 215 467 0 76745 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 308856 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 26911 /proc/meminfo: memFree=1487272/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=308856 CPUtime=1781.85 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 78199 0 0 0 168369 9816 0 0 25 0 1 0 89019941 316268544 76127 1992294400 134512640 136421960 4294356016 18446744073709551615 135019180 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 77214 76127 215 467 0 76745 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 308856 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.93 2/107 26911 /proc/meminfo: memFree=1487272/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=308856 CPUtime=1800.05 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 78199 0 0 0 170085 9920 0 0 25 0 1 0 89019941 316268544 76127 1992294400 134512640 136421960 4294356016 18446744073709551615 134867949 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 77214 76127 215 467 0 76745 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 308856 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.93 2/107 26911 /proc/meminfo: memFree=1487272/2059040 swapFree=4140544/4192956 [pid=26853] ppid=26851 vsize=308856 CPUtime=1800.05 /proc/26853/stat : 26853 (pbct) R 26851 26853 26649 0 -1 4202496 78199 0 0 0 170085 9920 0 0 25 0 1 0 89019941 316268544 76127 1992294400 134512640 136421960 4294356016 18446744073709551615 134867949 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26853/statm: 77214 76127 215 467 0 76745 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 308856 Child status: 0 Real time (s): 1800.54 CPU time (s): 1800.1 CPU user time (s): 1700.85 CPU system time (s): 99.2439 CPU usage (%): 99.9752 Max. virtual memory (cumulated for all children) (KiB): 308856 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1700.85 system time used= 99.2439 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 78201 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= 2585 runsolver used 2.87356 second user time and 8.60469 second system time The end
Begin job on node057 at 2010-06-25 16:48:11 IDJOB=2682195 IDBENCH=1525 IDSOLVER=1192 FILE ID=node057/2682195-1277477291 PBS_JOBID= 11190490 Free space on /tmp= 62392 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow30a.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2682195-1277477291/watcher-2682195-1277477291 -o /tmp/evaluation-result-2682195-1277477291/solver-2682195-1277477291 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682195-1277477291.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d5ffb80d8d2a9d2ae5f84f17eeb42612 RANDOM SEED=644289282 node057.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.247 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.49 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.247 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: 1793964 kB Buffers: 39124 kB Cached: 128600 kB SwapCached: 5360 kB Active: 66420 kB Inactive: 114256 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1793964 kB SwapTotal: 4192956 kB SwapFree: 4140544 kB Dirty: 2132 kB Writeback: 0 kB AnonPages: 11708 kB Mapped: 12092 kB Slab: 62484 kB PageTables: 4144 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182288 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= 62392 MiB End job on node057 at 2010-06-25 17:18:14