Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.18 | 1800.67 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-stair.opb |
MD5SUM | 98b9ab286036da69f2015d2ff2a12818 |
Bench Category | OPT-SMALLINT (optimisation, small 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 | 18.3192 |
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 | 11454 |
Total number of constraints | 362 |
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 | 362 |
Minimum length of a constraint | 13 |
Maximum length of a constraint | 810 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524317 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 524930 |
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 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.23 c ...done 0.19/0.23 c #vars=11454 #constraints=572 hasObjective=yes 0.19/0.27 c res. mode=mod 0.19/0.27 c VSIDS like heuristics 0.19/0.27 c complete search running 0.39/0.45 c restart after 401 decisions 0.39/0.49 c nbDecision=500 #constraints=589 0.59/0.69 c restart after 801 decisions 0.69/0.77 c nbDecision=1000 #constraints=638 1.49/1.51 c nbDecision=1500 #constraints=819 1.79/1.88 c restart after 1601 decisions 2.09/2.19 c nbDecision=2000 #constraints=967 3.29/3.38 c nbDecision=2500 #constraints=1257 4.49/4.51 c nbDecision=3000 #constraints=1642 4.88/4.97 c restart after 3201 decisions 5.08/5.17 c nbDecision=3500 #constraints=1864 6.29/6.39 c nbDecision=4000 #constraints=2191 6.98/7.01 c nbDecision=4500 #constraints=2327 8.19/8.28 c nbDecision=5000 #constraints=2595 10.29/10.37 c nbDecision=5500 #constraints=2982 12.79/12.90 c nbDecision=6000 #constraints=3436 14.79/14.81 c restart after 6401 decisions 14.89/14.95 c nbDecision=6500 #constraints=3789 16.09/16.11 c nbDecision=7000 #constraints=3917 17.09/17.10 c nbDecision=7500 #constraints=4194 19.58/19.67 c nbDecision=8000 #constraints=4595 26.58/26.64 c nbDecision=8500 #constraints=5092 34.27/34.31 c nbDecision=9000 #constraints=5586 42.17/42.27 c nbDecision=9500 #constraints=6041 51.07/51.12 c nbDecision=10000 #constraints=6512 60.67/60.72 c nbDecision=10500 #constraints=6977 71.07/71.15 c nbDecision=11000 #constraints=7430 83.17/83.27 c nbDecision=11500 #constraints=7924 95.46/95.51 c nbDecision=12000 #constraints=8386 104.06/104.11 c nbDecision=12500 #constraints=8811 107.35/107.43 c restart after 12801 decisions 108.36/108.41 c nbDecision=13000 #constraints=9121 117.76/117.85 c nbDecision=13500 #constraints=9336 120.45/120.53 c nbDecision=14000 #constraints=9602 124.35/124.44 c nbDecision=14500 #constraints=10027 127.56/127.61 c nbDecision=15000 #constraints=10477 130.86/130.92 c nbDecision=15500 #constraints=10927 134.35/134.45 c nbDecision=16000 #constraints=11365 138.05/138.18 c nbDecision=16500 #constraints=11802 142.25/142.33 c nbDecision=17000 #constraints=12259 146.55/146.65 c nbDecision=17500 #constraints=12706 151.24/151.35 c nbDecision=18000 #constraints=13171 156.25/156.32 c nbDecision=18500 #constraints=13614 161.65/161.77 c nbDecision=19000 #constraints=14064 167.65/167.76 c nbDecision=19500 #constraints=14532 173.74/173.83 c nbDecision=20000 #constraints=14987 180.54/180.66 c nbDecision=20500 #constraints=15443 187.54/187.60 c nbDecision=21000 #constraints=15906 194.84/194.90 c nbDecision=21500 #constraints=16371 202.43/202.51 c nbDecision=22000 #constraints=16831 210.44/210.58 c nbDecision=22500 #constraints=17311 216.73/216.86 c nbDecision=23000 #constraints=17730 237.32/237.45 c nbDecision=23500 #constraints=18002 262.92/263.02 c nbDecision=24000 #constraints=18376 287.71/287.83 c nbDecision=24500 #constraints=18760 315.91/316.04 c nbDecision=25000 #constraints=19171 341.80/341.97 c nbDecision=25500 #constraints=19569 347.70/347.84 c restart after 25601 decisions 354.40/354.54 c nbDecision=26000 #constraints=19752 367.29/367.44 c nbDecision=26500 #constraints=20109 376.29/376.41 c nbDecision=27000 #constraints=20558 385.78/385.97 c nbDecision=27500 #constraints=21018 395.88/396.06 c nbDecision=28000 #constraints=21483 406.38/406.55 c nbDecision=28500 #constraints=21944 416.57/416.75 c nbDecision=29000 #constraints=22386 427.38/427.59 c nbDecision=29500 #constraints=22837 439.37/439.58 c nbDecision=30000 #constraints=23291 450.96/451.11 c nbDecision=30500 #constraints=23740 466.46/466.65 c nbDecision=31000 #constraints=24197 478.36/478.52 c nbDecision=31500 #constraints=24473 501.76/501.93 c nbDecision=32000 #constraints=24867 525.85/526.01 c nbDecision=32500 #constraints=25337 553.04/553.26 c nbDecision=33000 #constraints=25806 581.73/581.90 c nbDecision=33500 #constraints=26285 610.02/610.21 c nbDecision=34000 #constraints=26749 626.32/626.51 c nbDecision=34500 #constraints=27186 639.01/639.27 c nbDecision=35000 #constraints=27639 651.41/651.60 c nbDecision=35500 #constraints=28090 665.31/665.51 c nbDecision=36000 #constraints=28538 678.31/678.55 c nbDecision=36500 #constraints=28989 692.50/692.71 c nbDecision=37000 #constraints=29432 705.90/706.15 c nbDecision=37500 #constraints=29887 717.89/718.19 c nbDecision=38000 #constraints=30346 730.38/730.67 c nbDecision=38500 #constraints=30796 743.49/743.75 c nbDecision=39000 #constraints=31256 756.78/757.09 c nbDecision=39500 #constraints=31729 771.27/771.50 c nbDecision=40000 #constraints=32185 786.27/786.59 c nbDecision=40500 #constraints=32646 801.97/802.22 c nbDecision=41000 #constraints=33109 818.07/818.40 c nbDecision=41500 #constraints=33580 834.56/834.81 c nbDecision=42000 #constraints=34053 864.95/865.26 c nbDecision=42500 #constraints=34511 888.85/889.13 c nbDecision=43000 #constraints=34955 914.44/914.72 c nbDecision=43500 #constraints=35379 942.53/942.84 c nbDecision=44000 #constraints=35786 973.52/973.87 c nbDecision=44500 #constraints=36235 1003.51/1003.83 c nbDecision=45000 #constraints=36621 1041.50/1041.86 c nbDecision=45500 #constraints=37007 1061.20/1061.57 c nbDecision=46000 #constraints=37237 1111.18/1111.56 c nbDecision=46500 #constraints=37607 1141.68/1142.04 c nbDecision=47000 #constraints=38041 1173.37/1173.75 c nbDecision=47500 #constraints=38484 1210.36/1210.72 c nbDecision=48000 #constraints=38936 1243.85/1244.26 c nbDecision=48500 #constraints=39401 1277.24/1277.69 c nbDecision=49000 #constraints=39856 1311.13/1311.50 c nbDecision=49500 #constraints=40316 1346.12/1346.53 c nbDecision=50000 #constraints=40789 1384.81/1385.29 c nbDecision=50500 #constraints=41200 1427.60/1428.02 c nbDecision=51000 #constraints=41602 1448.10/1448.56 c restart after 51201 decisions 1452.70/1453.14 c nbDecision=51500 #constraints=41821 1495.58/1496.09 c nbDecision=52000 #constraints=42120 1513.98/1514.45 c nbDecision=52500 #constraints=42342 1550.77/1551.26 c nbDecision=53000 #constraints=42705 1625.85/1626.33 c nbDecision=53500 #constraints=43115 1700.53/1701.00 c nbDecision=54000 #constraints=43536 1772.90/1773.40 c nbDecision=54500 #constraints=43956 1800.00/1800.50 Received signal 15 1800.00/1800.60 1800.00/1800.60 s UNKNOWN 1800.00/1800.60 1800.00/1800.60 c user time= 1799.5 s 1800.00/1800.60 c system time= 0.613906 s 1800.00/1800.60 c wall clock time=1800.6
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node61/watcher-362776-1176848340 -o ROOT/results/node61/solver-362776-1176848340 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362776-1176848340/instance-362776-1176848340.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.91 0.95 0.95 3/64 12174 /proc/meminfo: memFree=1802936/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=1468 CPUtime=0 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 96797628 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 367 164 131 317 0 46 0 [startup+0.0779409 s] /proc/loadavg: 0.91 0.95 0.95 3/64 12174 /proc/meminfo: memFree=1802936/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=2684 CPUtime=0.07 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 490 0 0 0 7 0 0 0 18 0 1 0 96797628 2748416 472 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 671 472 131 317 0 350 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2684 [startup+0.101942 s] /proc/loadavg: 0.91 0.95 0.95 3/64 12174 /proc/meminfo: memFree=1802936/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=3216 CPUtime=0.1 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 603 0 0 0 10 0 0 0 18 0 1 0 96797628 3293184 585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 804 585 131 317 0 483 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3216 [startup+0.301961 s] /proc/loadavg: 0.91 0.95 0.95 3/64 12174 /proc/meminfo: memFree=1802936/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=8376 CPUtime=0.29 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 1887 0 0 0 29 0 0 0 19 0 1 0 96797628 8577024 1869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606864 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 2094 1869 139 317 0 1773 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8376 [startup+0.701999 s] /proc/loadavg: 0.91 0.95 0.95 3/64 12174 /proc/meminfo: memFree=1802936/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=8640 CPUtime=0.69 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 1958 0 0 0 69 0 0 0 22 0 1 0 96797628 8847360 1940 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385221 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 2160 1940 139 317 0 1839 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8640 [startup+1.50107 s] /proc/loadavg: 0.91 0.95 0.95 2/65 12175 /proc/meminfo: memFree=1795120/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=10468 CPUtime=1.49 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 2450 0 0 0 149 0 0 0 25 0 1 0 96797628 10719232 2432 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 2617 2432 170 317 0 2296 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10468 [startup+3.10123 s] /proc/loadavg: 0.91 0.95 0.95 2/65 12175 /proc/meminfo: memFree=1792304/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=14656 CPUtime=3.09 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 3498 0 0 0 308 1 0 0 25 0 1 0 96797628 15007744 3480 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270593 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 3664 3480 170 317 0 3343 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14656 [startup+6.30153 s] /proc/loadavg: 0.92 0.95 0.95 2/65 12175 /proc/meminfo: memFree=1782576/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=23592 CPUtime=6.29 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 5720 0 0 0 627 2 0 0 25 0 1 0 96797628 24158208 5702 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 5898 5702 170 317 0 5577 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23592 [startup+12.7011 s] /proc/loadavg: 0.93 0.95 0.95 2/65 12175 /proc/meminfo: memFree=1771384/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=34816 CPUtime=12.69 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 8339 0 0 0 1265 4 0 0 25 0 1 0 96797628 35651584 8321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 8704 8321 170 317 0 8383 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 34816 [startup+25.5014 s] /proc/loadavg: 0.94 0.96 0.95 2/65 12175 /proc/meminfo: memFree=1757176/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=48032 CPUtime=25.48 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 11601 0 0 0 2542 6 0 0 25 0 1 0 96797628 49184768 11583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 12008 11583 170 317 0 11687 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 48032 [startup+51.1018 s] /proc/loadavg: 0.96 0.96 0.95 2/65 12175 /proc/meminfo: memFree=1742840/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=63340 CPUtime=51.07 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 15194 0 0 0 5098 9 0 0 25 0 1 0 96797628 64860160 15176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 15835 15176 170 317 0 15514 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 63340 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.95 2/65 12175 /proc/meminfo: memFree=1722168/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=84332 CPUtime=102.27 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 20350 0 0 0 10214 13 0 0 25 0 1 0 96797628 86355968 20275 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 21083 20275 170 317 0 20762 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 84332 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12175 /proc/meminfo: memFree=1681336/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=128220 CPUtime=162.24 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 30602 0 0 0 16205 19 0 0 25 0 1 0 96797628 131297280 30527 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 32055 30527 170 317 0 31734 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 128220 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12175 /proc/meminfo: memFree=1654392/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=153868 CPUtime=222.23 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 37346 0 0 0 22200 23 0 0 25 0 1 0 96797628 157560832 37158 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 38467 37158 170 317 0 38146 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 153868 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12175 /proc/meminfo: memFree=1646136/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=163668 CPUtime=282.22 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 39694 0 0 0 28197 25 0 0 25 0 1 0 96797628 167596032 39242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 40917 39242 170 317 0 40596 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 163668 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12175 /proc/meminfo: memFree=1637112/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=177260 CPUtime=342.2 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 42642 0 0 0 34193 27 0 0 25 0 1 0 96797628 181514240 41464 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 44315 41464 170 317 0 43994 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 177260 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12175 /proc/meminfo: memFree=1623928/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=190136 CPUtime=402.18 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 46118 0 0 0 40189 29 0 0 25 0 1 0 96797628 194699264 44808 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 47534 44808 170 317 0 47213 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 190136 [startup+462.302 s] /proc/loadavg: 1.03 0.99 0.96 2/65 12175 /proc/meminfo: memFree=1607672/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=212372 CPUtime=462.16 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 51554 0 0 0 46185 31 0 0 25 0 1 0 96797628 217468928 48825 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 53093 48825 170 317 0 52772 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 212372 [startup+522.302 s] /proc/loadavg: 1.01 0.99 0.96 2/65 12175 /proc/meminfo: memFree=1599864/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=219688 CPUtime=522.14 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 53536 0 0 0 52182 32 0 0 25 0 1 0 96797628 224960512 50774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 54922 50774 170 317 0 54601 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 219688 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.96 2/65 12175 /proc/meminfo: memFree=1592504/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=225988 CPUtime=582.13 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 55395 0 0 0 58180 33 0 0 25 0 1 0 96797628 231411712 52600 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 56497 52600 170 317 0 56176 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 225988 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.96 2/65 12177 /proc/meminfo: memFree=1581176/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=236720 CPUtime=642.11 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 58353 0 0 0 64175 36 0 0 25 0 1 0 96797628 242401280 55393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 59180 55393 170 317 0 58859 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 236720 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 0.99 0.96 2/65 12177 /proc/meminfo: memFree=1526904/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=288500 CPUtime=882.04 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 72634 0 0 0 88159 45 0 0 25 0 1 0 96797628 295424000 68953 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 72125 68953 170 317 0 71804 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 288500 [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.96 2/65 12177 /proc/meminfo: memFree=1518712/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=299520 CPUtime=942.03 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 75553 0 0 0 94156 47 0 0 25 0 1 0 96797628 306708480 70994 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 74880 70994 170 317 0 74559 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 299520 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.96 2/65 12177 /proc/meminfo: memFree=1511288/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=309664 CPUtime=1002.01 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 78163 0 0 0 100153 48 0 0 25 0 1 0 96797628 317095936 72818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 77416 72818 170 317 0 77095 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 309664 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.96 2/65 12177 /proc/meminfo: memFree=1506488/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=314240 CPUtime=1062 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 79416 0 0 0 106151 49 0 0 25 0 1 0 96797628 321781760 74038 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 78560 74038 170 317 0 78239 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 314240 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.96 2/65 12177 /proc/meminfo: memFree=1503672/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=316612 CPUtime=1121.99 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 80101 0 0 0 112149 50 0 0 25 0 1 0 96797628 324210688 74723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 79153 74723 170 317 0 78832 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 316612 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.96 2/65 12177 /proc/meminfo: memFree=1499064/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=321216 CPUtime=1181.97 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 81388 0 0 0 118146 51 0 0 25 0 1 0 96797628 328925184 75880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 80304 75880 170 317 0 79983 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 321216 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.96 2/65 12177 /proc/meminfo: memFree=1494328/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=325308 CPUtime=1241.95 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 82585 0 0 0 124143 52 0 0 25 0 1 0 96797628 333115392 77044 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 81327 77044 170 317 0 81006 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 325308 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.96 2/65 12177 /proc/meminfo: memFree=1489272/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=330432 CPUtime=1301.94 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 84028 0 0 0 130141 53 0 0 25 0 1 0 96797628 338362368 78291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 82608 78291 170 317 0 82287 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 330432 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.96 2/65 12177 /proc/meminfo: memFree=1483128/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=339912 CPUtime=1361.92 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 86383 0 0 0 136138 54 0 0 25 0 1 0 96797628 348069888 79801 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 84978 79801 170 317 0 84657 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 339912 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.96 2/65 12177 /proc/meminfo: memFree=1478776/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=345580 CPUtime=1421.9 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 87941 0 0 0 142135 55 0 0 25 0 1 0 96797628 353873920 80904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 86395 80904 170 317 0 86074 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 345580 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.96 2/65 12177 /proc/meminfo: memFree=1475192/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=348812 CPUtime=1481.88 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 88844 0 0 0 148132 56 0 0 25 0 1 0 96797628 357183488 81807 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 87203 81807 170 317 0 86882 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 348812 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.96 2/65 12177 /proc/meminfo: memFree=1470712/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=353884 CPUtime=1541.87 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 90129 0 0 0 154129 58 0 0 25 0 1 0 96797628 362377216 82862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 88471 82862 170 317 0 88150 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 353884 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.96 2/65 12177 /proc/meminfo: memFree=1468344/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=356240 CPUtime=1601.86 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 90760 0 0 0 160127 59 0 0 25 0 1 0 96797628 364789760 83493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 89060 83493 170 317 0 88739 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 356240 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.96 2/65 12177 /proc/meminfo: memFree=1465400/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=358860 CPUtime=1661.83 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 91508 0 0 0 166124 59 0 0 25 0 1 0 96797628 367472640 84241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 89715 84241 170 317 0 89394 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 358860 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.96 2/65 12177 /proc/meminfo: memFree=1462584/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=361212 CPUtime=1721.82 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 92201 0 0 0 172122 60 0 0 25 0 1 0 96797628 369881088 84934 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 90303 84934 170 317 0 89982 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 361212 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.96 2/65 12177 /proc/meminfo: memFree=1459640/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=366656 CPUtime=1781.81 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 93572 0 0 0 178120 61 0 0 25 0 1 0 96797628 375455744 85655 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 91664 85655 170 317 0 91343 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 366656 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 0.99 0.96 2/65 12177 /proc/meminfo: memFree=1458744/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=367308 CPUtime=1800 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 93797 0 0 0 179939 61 0 0 25 0 1 0 96797628 376123392 85880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 91827 85880 170 317 0 91506 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 367308 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 0.99 0.96 2/66 12178 /proc/meminfo: memFree=1458736/2055920 swapFree=4181928/4192956 [pid=12174] ppid=12172 vsize=365504 CPUtime=1800.11 /proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 93813 0 0 0 179950 61 0 0 25 0 1 0 96797628 374276096 85593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266195 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12174/statm: 91376 85593 186 317 0 91055 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 365504 Child status: 0 Real time (s): 1800.67 CPU time (s): 1800.18 CPU user time (s): 1799.51 CPU system time (s): 0.667898 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (KiB): 367308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.51 system time used= 0.667898 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 93813 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= 3719 runsolver used 1.36879 second user time and 3.57246 second system time The end
Begin job on node61 on Tue Apr 17 22:19:00 UTC 2007 IDJOB= 362776 IDBENCH= 1638 IDSOLVER= 172 FILE ID= node61/362776-1176848340 PBS_JOBID= 4590191 Free space on /tmp= 66509 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-stair.opb COMMAND LINE= oree /tmp/evaluation/362776-1176848340/instance-362776-1176848340.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-362776-1176848340 -o ROOT/results/node61/solver-362776-1176848340 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362776-1176848340/instance-362776-1176848340.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 98b9ab286036da69f2015d2ff2a12818 RANDOM SEED= 444966442 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node61.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.240 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.240 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: 1803408 kB Buffers: 20160 kB Cached: 191220 kB SwapCached: 5336 kB Active: 105516 kB Inactive: 117880 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1803408 kB SwapTotal: 4192956 kB SwapFree: 4181928 kB Dirty: 2076 kB Writeback: 0 kB Mapped: 15284 kB Slab: 15228 kB Committed_AS: 779388 kB PageTables: 1388 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= 66509 MiB End job on node61 on Tue Apr 17 22:49:03 UTC 2007