Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.14 | 1800.66 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-scorpion.opb |
MD5SUM | 5969f09e744b158004f0e27c746edfe9 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 10740 |
Total number of constraints | 377 |
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 | 377 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 600 |
Number of terms in the objective function | 8460 |
Biggest coefficient in the objective function | 10788957847552 |
Number of bits for the biggest coefficient in the objective function | 44 |
Sum of the numbers in the objective function | 603693086370759 |
Number of bits of the sum of numbers in the objective function | 50 |
Biggest number in a constraint | 33554432000000 |
Number of bits of the biggest number in a constraint | 45 |
Biggest sum of numbers in a constraint | 603693086370759 |
Number of bits of the biggest sum of numbers | 50 |
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 This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.19/0.20 c ...done 0.19/0.20 c #vars=10740 #constraints=658 hasObjective=yes 0.29/0.32 c res. mode=mod 0.29/0.32 c VSIDS like heuristics 0.29/0.32 c complete search running 0.39/0.44 c restart after 401 decisions 0.39/0.45 c nbDecision=500 #constraints=659 0.39/0.48 c restart after 801 decisions 0.49/0.51 c nbDecision=1000 #constraints=659 0.89/0.95 c nbDecision=1500 #constraints=670 0.99/1.07 c restart after 1601 decisions 1.10/1.12 c nbDecision=2000 #constraints=775 1.49/1.57 c nbDecision=2500 #constraints=993 3.09/3.12 c nbDecision=3000 #constraints=1495 3.90/3.92 c restart after 3201 decisions 3.90/3.97 c nbDecision=3500 #constraints=1698 4.59/4.60 c nbDecision=4000 #constraints=1820 7.29/7.35 c nbDecision=4500 #constraints=2322 9.29/9.38 c nbDecision=5000 #constraints=2700 11.09/11.19 c nbDecision=5500 #constraints=3204 14.39/14.48 c nbDecision=6000 #constraints=3705 18.49/18.55 c restart after 6401 decisions 18.59/18.69 c nbDecision=6500 #constraints=4109 18.79/18.85 c nbDecision=7000 #constraints=4109 24.19/24.28 c nbDecision=7500 #constraints=4532 32.68/32.78 c nbDecision=8000 #constraints=5033 41.28/41.37 c nbDecision=8500 #constraints=5533 52.38/52.42 c nbDecision=9000 #constraints=6033 64.88/64.93 c nbDecision=9500 #constraints=6534 78.16/78.21 c nbDecision=10000 #constraints=7031 93.96/94.02 c nbDecision=10500 #constraints=7533 108.96/109.02 c nbDecision=11000 #constraints=8033 126.65/126.76 c nbDecision=11500 #constraints=8532 147.15/147.20 c nbDecision=12000 #constraints=9033 167.44/167.57 c nbDecision=12500 #constraints=9532 179.44/179.59 c restart after 12801 decisions 179.84/179.97 c nbDecision=13000 #constraints=9836 181.34/181.43 c nbDecision=13500 #constraints=9861 201.54/201.60 c nbDecision=14000 #constraints=10362 228.63/228.75 c nbDecision=14500 #constraints=10861 254.52/254.63 c nbDecision=15000 #constraints=11360 281.01/281.13 c nbDecision=15500 #constraints=11861 307.91/308.06 c nbDecision=16000 #constraints=12362 333.20/333.33 c nbDecision=16500 #constraints=12862 361.28/361.40 c nbDecision=17000 #constraints=13362 395.58/395.77 c nbDecision=17500 #constraints=13859 431.07/431.23 c nbDecision=18000 #constraints=14361 466.55/466.79 c nbDecision=18500 #constraints=14859 502.65/502.84 c nbDecision=19000 #constraints=15363 537.03/537.24 c nbDecision=19500 #constraints=15862 571.52/571.80 c nbDecision=20000 #constraints=16364 613.31/613.56 c nbDecision=20500 #constraints=16863 656.70/656.96 c nbDecision=21000 #constraints=17360 700.99/701.27 c nbDecision=21500 #constraints=17864 743.38/743.66 c nbDecision=22000 #constraints=18357 782.76/783.09 c nbDecision=22500 #constraints=18856 823.76/824.01 c nbDecision=23000 #constraints=19358 863.94/864.20 c nbDecision=23500 #constraints=19856 910.33/910.60 c nbDecision=24000 #constraints=20355 954.81/955.12 c nbDecision=24500 #constraints=20857 990.91/991.21 c nbDecision=25000 #constraints=21244 1046.59/1046.97 c nbDecision=25500 #constraints=21746 1058.08/1058.41 c restart after 25601 decisions 1059.28/1059.65 c nbDecision=26000 #constraints=21847 1085.07/1085.42 c nbDecision=26500 #constraints=22074 1140.86/1141.22 c nbDecision=27000 #constraints=22574 1194.54/1194.98 c nbDecision=27500 #constraints=23074 1247.73/1248.12 c nbDecision=28000 #constraints=23574 1290.92/1291.32 c nbDecision=28500 #constraints=23962 1347.50/1347.94 c nbDecision=29000 #constraints=24464 1404.19/1404.70 c nbDecision=29500 #constraints=24965 1448.97/1449.49 c nbDecision=30000 #constraints=25353 1506.36/1506.84 c nbDecision=30500 #constraints=25853 1549.54/1550.05 c nbDecision=31000 #constraints=26245 1593.93/1594.44 c nbDecision=31500 #constraints=26679 1630.02/1630.50 c nbDecision=32000 #constraints=27020 1650.81/1651.33 c nbDecision=32500 #constraints=27226 1656.11/1656.64 c nbDecision=33000 #constraints=27284 1659.81/1660.37 c nbDecision=33500 #constraints=27334 1664.01/1664.59 c nbDecision=34000 #constraints=27788 1673.51/1674.09 c nbDecision=34500 #constraints=28290 1686.20/1686.73 c nbDecision=35000 #constraints=28793 1703.69/1704.29 c nbDecision=35500 #constraints=29292 1726.39/1726.98 c nbDecision=36000 #constraints=29795 1751.88/1752.45 c nbDecision=36500 #constraints=30293 1784.97/1785.52 c nbDecision=37000 #constraints=30794 1800.08/1800.61 Received signal 15 1800.08/1800.62 1800.08/1800.62 s UNKNOWN 1800.08/1800.62 1800.08/1800.62 c user time= 1799.62 s 1800.08/1800.62 c system time= 0.482926 s 1800.08/1800.62 c wall clock time=1800.63
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node5/watcher-357346-1176995261 -o ROOT/results/node5/solver-357346-1176995261 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357346-1176995261/instance-357346-1176995261.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.96 3/77 32291 /proc/meminfo: memFree=1694848/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=1468 CPUtime=0 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 175563782 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134569630 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 367 161 127 317 0 46 0 [startup+0.0463899 s] /proc/loadavg: 0.99 0.97 0.96 3/77 32291 /proc/meminfo: memFree=1694848/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=2144 CPUtime=0.04 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 335 0 0 0 4 0 0 0 18 0 1 0 175563782 2195456 284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 536 284 131 317 0 215 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2144 [startup+0.101396 s] /proc/loadavg: 0.99 0.97 0.96 3/77 32291 /proc/meminfo: memFree=1694848/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=3068 CPUtime=0.09 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 595 0 0 0 9 0 0 0 18 0 1 0 175563782 3141632 544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 767 544 131 317 0 446 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3068 [startup+0.301418 s] /proc/loadavg: 0.99 0.97 0.96 3/77 32291 /proc/meminfo: memFree=1694848/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=6192 CPUtime=0.29 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 1377 0 0 0 29 0 0 0 19 0 1 0 175563782 6340608 1326 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 1548 1326 137 317 0 1227 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6192 [startup+0.701463 s] /proc/loadavg: 0.99 0.97 0.96 3/77 32291 /proc/meminfo: memFree=1694848/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=6588 CPUtime=0.69 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 1466 0 0 0 69 0 0 0 22 0 1 0 175563782 6746112 1415 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713816 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 1647 1415 138 317 0 1326 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6588 [startup+1.50155 s] /proc/loadavg: 0.99 0.97 0.96 2/78 32292 /proc/meminfo: memFree=1689400/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=8144 CPUtime=1.49 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 1840 0 0 0 148 1 0 0 25 0 1 0 175563782 8339456 1789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 2036 1789 138 317 0 1715 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8144 [startup+3.10173 s] /proc/loadavg: 0.99 0.97 0.96 2/78 32292 /proc/meminfo: memFree=1686904/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=10504 CPUtime=3.09 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 2440 0 0 0 308 1 0 0 25 0 1 0 175563782 10756096 2389 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 2626 2389 138 317 0 2305 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10504 [startup+6.3011 s] /proc/loadavg: 0.99 0.97 0.96 2/78 32292 /proc/meminfo: memFree=1683128/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=13660 CPUtime=6.29 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 3237 0 0 0 627 2 0 0 25 0 1 0 175563782 13987840 3186 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 3415 3186 138 317 0 3094 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13660 [startup+12.7028 s] /proc/loadavg: 0.99 0.97 0.96 2/78 32292 /proc/meminfo: memFree=1676600/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=20184 CPUtime=12.69 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 4846 0 0 0 1266 3 0 0 25 0 1 0 175563782 20668416 4795 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563372 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 5046 4795 169 317 0 4725 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20184 [startup+25.5013 s] /proc/loadavg: 0.99 0.97 0.96 2/78 32292 /proc/meminfo: memFree=1671544/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=24904 CPUtime=25.49 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 6022 0 0 0 2544 5 0 0 25 0 1 0 175563782 25501696 5971 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 6226 5971 169 317 0 5905 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 24904 [startup+51.1012 s] /proc/loadavg: 0.99 0.97 0.96 2/78 32292 /proc/meminfo: memFree=1664696/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=32664 CPUtime=51.08 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 7765 0 0 0 5101 7 0 0 25 0 1 0 175563782 33447936 7714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 8166 7714 169 317 0 7845 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 32664 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.96 2/78 32292 /proc/meminfo: memFree=1657016/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=39716 CPUtime=102.27 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 9667 0 0 0 10218 9 0 0 25 0 1 0 175563782 40669184 9616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 9929 9616 169 317 0 9608 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 39716 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 32292 /proc/meminfo: memFree=1648184/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=51116 CPUtime=162.24 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 11943 0 0 0 16213 11 0 0 25 0 1 0 175563782 52342784 11834 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135273005 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 12779 11834 169 317 0 12458 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 51116 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 32292 /proc/meminfo: memFree=1642552/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=56260 CPUtime=222.22 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 13322 0 0 0 22209 13 0 0 25 0 1 0 175563782 57610240 13213 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 14065 13213 169 317 0 13744 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 56260 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 32292 /proc/meminfo: memFree=1637752/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=60724 CPUtime=282.21 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 14516 0 0 0 28205 16 0 0 25 0 1 0 175563782 62181376 14407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 15181 14407 169 317 0 14860 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 60724 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 32292 /proc/meminfo: memFree=1632760/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=65160 CPUtime=342.19 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 15756 0 0 0 34201 18 0 0 25 0 1 0 175563782 66723840 15647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 16290 15647 169 317 0 15969 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 65160 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 32292 /proc/meminfo: memFree=1629112/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=68680 CPUtime=402.17 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 16680 0 0 0 40198 19 0 0 25 0 1 0 175563782 70328320 16571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 17170 16571 169 317 0 16849 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 68680 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 32292 /proc/meminfo: memFree=1625464/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=71936 CPUtime=462.16 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 17576 0 0 0 46195 21 0 0 25 0 1 0 175563782 73662464 17467 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716295 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 17984 17467 169 317 0 17663 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 71936 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 32292 /proc/meminfo: memFree=1621944/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=75208 CPUtime=522.14 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 18473 0 0 0 52192 22 0 0 25 0 1 0 175563782 77012992 18364 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 18802 18364 169 317 0 18481 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 75208 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 32292 /proc/meminfo: memFree=1618424/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=78740 CPUtime=582.12 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 19351 0 0 0 58189 23 0 0 25 0 1 0 175563782 80629760 19242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716123 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 19685 19242 169 317 0 19364 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 78740 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 32292 /proc/meminfo: memFree=1613176/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=91224 CPUtime=642.11 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 21962 0 0 0 64186 25 0 0 25 0 1 0 175563782 93413376 20518 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 22806 20518 169 317 0 22485 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 91224 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 32292 /proc/meminfo: memFree=1604600/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=99492 CPUtime=822.06 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 24156 0 0 0 82177 29 0 0 25 0 1 0 175563782 101879808 22679 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 24873 22679 169 317 0 24552 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 99492 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 32292 /proc/meminfo: memFree=1601592/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=102372 CPUtime=882.03 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 24901 0 0 0 88174 29 0 0 25 0 1 0 175563782 104828928 23424 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 25593 23424 169 317 0 25272 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 102372 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 32292 /proc/meminfo: memFree=1598584/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=104856 CPUtime=942.02 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 25658 0 0 0 94171 31 0 0 25 0 1 0 175563782 107372544 24181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 26214 24181 169 317 0 25893 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 104856 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 32292 /proc/meminfo: memFree=1595896/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=107340 CPUtime=1002 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 26328 0 0 0 100168 32 0 0 25 0 1 0 175563782 109916160 24851 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 26835 24851 169 317 0 26514 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 107340 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 32292 /proc/meminfo: memFree=1593592/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=109428 CPUtime=1061.98 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 26921 0 0 0 106165 33 0 0 25 0 1 0 175563782 112054272 25411 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 27357 25411 169 317 0 27036 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 109428 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 32292 /proc/meminfo: memFree=1591288/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=111396 CPUtime=1121.96 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 27499 0 0 0 112162 34 0 0 25 0 1 0 175563782 114069504 25989 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 27849 25989 169 317 0 27528 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 111396 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 32292 /proc/meminfo: memFree=1588920/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=113496 CPUtime=1181.95 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 28085 0 0 0 118160 35 0 0 25 0 1 0 175563782 116219904 26575 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564037 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 28374 26575 169 317 0 28053 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 113496 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 32292 /proc/meminfo: memFree=1586488/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=115572 CPUtime=1241.93 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 28689 0 0 0 124157 36 0 0 25 0 1 0 175563782 118345728 27179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 28893 27179 169 317 0 28572 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 115572 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 32292 /proc/meminfo: memFree=1584120/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=117664 CPUtime=1301.92 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 29268 0 0 0 130155 37 0 0 25 0 1 0 175563782 120487936 27758 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270571 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 29416 27758 169 317 0 29095 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 117664 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 32292 /proc/meminfo: memFree=1581880/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=119632 CPUtime=1361.89 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 29832 0 0 0 136152 37 0 0 25 0 1 0 175563782 122503168 28322 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 29908 28322 169 317 0 29587 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 119632 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.96 2/78 32292 /proc/meminfo: memFree=1579576/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=121720 CPUtime=1421.89 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 30435 0 0 0 142150 39 0 0 25 0 1 0 175563782 124641280 28892 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 30430 28892 169 317 0 30109 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 121720 [startup+1482.3 s] /proc/loadavg: 1.04 0.99 0.97 2/78 32294 /proc/meminfo: memFree=1577400/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=123688 CPUtime=1481.85 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 30991 0 0 0 148146 39 0 0 25 0 1 0 175563782 126656512 29448 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 30922 29448 169 317 0 30601 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 123688 [startup+1542.3 s] /proc/loadavg: 1.01 0.99 0.97 2/78 32294 /proc/meminfo: memFree=1575096/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=125784 CPUtime=1541.84 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 31562 0 0 0 154144 40 0 0 25 0 1 0 175563782 128802816 30019 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563954 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 31446 30019 169 317 0 31125 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 125784 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 32294 /proc/meminfo: memFree=1572664/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=127888 CPUtime=1601.83 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 32169 0 0 0 160142 41 0 0 25 0 1 0 175563782 130957312 30626 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 31972 30626 169 317 0 31651 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 127888 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 32294 /proc/meminfo: memFree=1568824/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=131156 CPUtime=1661.81 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 33124 0 0 0 166138 43 0 0 25 0 1 0 175563782 134303744 31581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 32789 31581 169 317 0 32468 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 131156 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 32294 /proc/meminfo: memFree=1559608/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=139672 CPUtime=1721.79 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 35507 0 0 0 172133 46 0 0 25 0 1 0 175563782 143024128 33898 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 34918 33898 169 317 0 34597 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 139672 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 32294 /proc/meminfo: memFree=1555000/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=143568 CPUtime=1781.77 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 36641 0 0 0 178130 47 0 0 25 0 1 0 175563782 147013632 35032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 35892 35032 169 317 0 35571 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 143568 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.99 0.97 2/78 32294 /proc/meminfo: memFree=1553592/2055920 swapFree=4151632/4192956 [pid=32291] ppid=32289 vsize=144748 CPUtime=1800.08 /proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 36983 0 0 0 179960 48 0 0 25 0 1 0 175563782 148221952 35374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32291/statm: 36187 35374 169 317 0 35866 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 144748 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.14 CPU user time (s): 1799.63 CPU system time (s): 0.505923 CPU usage (%): 99.9708 Max. virtual memory (cumulated for all children) (KiB): 144748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.63 system time used= 0.505923 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36999 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= 2672 runsolver used 2.04669 second user time and 4.52131 second system time The end
Begin job on node5 on Thu Apr 19 15:07:41 UTC 2007 IDJOB= 357346 IDBENCH= 2446 IDSOLVER= 172 FILE ID= node5/357346-1176995261 PBS_JOBID= 4630432 Free space on /tmp= 66355 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scorpion.opb COMMAND LINE= oree /tmp/evaluation/357346-1176995261/instance-357346-1176995261.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-357346-1176995261 -o ROOT/results/node5/solver-357346-1176995261 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357346-1176995261/instance-357346-1176995261.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 5969f09e744b158004f0e27c746edfe9 RANDOM SEED= 335693905 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node5.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.232 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.232 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: 1695192 kB Buffers: 31832 kB Cached: 265100 kB SwapCached: 9408 kB Active: 60716 kB Inactive: 259124 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1695192 kB SwapTotal: 4192956 kB SwapFree: 4151632 kB Dirty: 2148 kB Writeback: 0 kB Mapped: 29940 kB Slab: 26412 kB Committed_AS: 8663880 kB PageTables: 1720 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= 66355 MiB End job on node5 on Thu Apr 19 15:37:44 UTC 2007