Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.3 | 1800.72 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-agg.opb |
MD5SUM | ed91ea31528e8311a929ab543dc490cc |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -3762 |
Best CPU time to get the best result obtained on this benchmark | 1782.75 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -4754 |
Optimality of the best value was proved | NO |
Number of variables | 4890 |
Total number of constraints | 363 |
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 | 363 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 540 |
Number of terms in the objective function | 3930 |
Biggest coefficient in the objective function | 5066 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 527386 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 260841 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 527386 |
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.09/0.13 c ...done 0.09/0.13 c #vars=4890 #constraints=400 hasObjective=yes 0.09/0.17 c res. mode=mod 0.09/0.17 c VSIDS like heuristics 0.09/0.17 c complete search running 0.09/0.20 c restart after 401 decisions 0.19/0.20 c nbDecision=500 #constraints=400 0.19/0.21 c restart after 801 decisions 0.19/0.22 c nbDecision=1000 #constraints=400 0.19/0.24 c nbDecision=1500 #constraints=400 0.19/0.25 c restart after 1601 decisions 0.19/0.27 c nbDecision=2000 #constraints=409 0.29/0.33 c nbDecision=2500 #constraints=442 1.29/1.31 c nbDecision=3000 #constraints=631 1.48/1.57 c restart after 3201 decisions 1.48/1.59 c nbDecision=3500 #constraints=676 1.58/1.66 c nbDecision=4000 #constraints=730 1.89/1.93 c nbDecision=4500 #constraints=861 2.98/3.09 c nbDecision=5000 #constraints=1279 4.59/4.64 c nbDecision=5500 #constraints=1657 7.98/8.00 c nbDecision=6000 #constraints=2028 10.29/10.37 c restart after 6401 decisions 10.39/10.45 c nbDecision=6500 #constraints=2334 10.49/10.50 c nbDecision=7000 #constraints=2334 11.09/11.14 c nbDecision=7500 #constraints=2407 12.10/12.10 c nbDecision=8000 #constraints=2545 12.99/13.07 c nbDecision=8500 #constraints=2714 14.39/14.45 c nbDecision=9000 #constraints=2981 17.88/17.97 c nbDecision=9500 #constraints=3439 21.59/21.60 c nbDecision=10000 #constraints=3817 26.49/26.52 c nbDecision=10500 #constraints=4279 31.98/32.02 c nbDecision=11000 #constraints=4742 37.88/37.98 c nbDecision=11500 #constraints=5197 42.58/42.69 c nbDecision=12000 #constraints=5546 47.58/47.66 c nbDecision=12500 #constraints=5829 52.68/52.78 c restart after 12801 decisions 53.27/53.35 c nbDecision=13000 #constraints=6107 53.57/53.63 c nbDecision=13500 #constraints=6107 54.88/54.98 c nbDecision=14000 #constraints=6129 58.98/59.07 c nbDecision=14500 #constraints=6385 65.17/65.29 c nbDecision=15000 #constraints=6792 71.37/71.45 c nbDecision=15500 #constraints=7138 78.27/78.38 c nbDecision=16000 #constraints=7503 85.68/85.74 c nbDecision=16500 #constraints=7852 93.86/93.93 c nbDecision=17000 #constraints=8202 102.57/102.61 c nbDecision=17500 #constraints=8551 112.46/112.50 c nbDecision=18000 #constraints=8915 122.76/122.82 c nbDecision=18500 #constraints=9282 134.76/134.87 c nbDecision=19000 #constraints=9664 147.46/147.56 c nbDecision=19500 #constraints=10036 160.15/160.29 c nbDecision=20000 #constraints=10375 174.95/175.09 c nbDecision=20500 #constraints=10762 190.15/190.28 c nbDecision=21000 #constraints=11132 206.54/206.70 c nbDecision=21500 #constraints=11507 223.74/223.80 c nbDecision=22000 #constraints=11868 241.93/242.09 c nbDecision=22500 #constraints=12239 261.33/261.47 c nbDecision=23000 #constraints=12604 279.23/279.33 c nbDecision=23500 #constraints=12938 299.52/299.68 c nbDecision=24000 #constraints=13312 321.52/321.69 c nbDecision=24500 #constraints=13684 344.71/344.84 c nbDecision=25000 #constraints=14056 368.20/368.34 c nbDecision=25500 #constraints=14426 373.10/373.28 c restart after 25601 decisions 375.20/375.31 c nbDecision=26000 #constraints=14502 375.40/375.58 c nbDecision=26500 #constraints=14531 377.60/377.71 c nbDecision=27000 #constraints=14532 396.90/397.03 c nbDecision=27500 #constraints=14773 414.79/414.92 c nbDecision=28000 #constraints=15238 432.49/432.69 c nbDecision=28500 #constraints=15698 450.99/451.19 c nbDecision=29000 #constraints=16163 471.18/471.30 c nbDecision=29500 #constraints=16615 492.58/492.72 c nbDecision=30000 #constraints=17080 515.57/515.72 c nbDecision=30500 #constraints=17526 538.77/538.90 c nbDecision=31000 #constraints=17983 564.56/564.75 c nbDecision=31500 #constraints=18435 591.45/591.62 c nbDecision=32000 #constraints=18890 630.54/630.71 c nbDecision=32500 #constraints=19327 696.23/696.43 c nbDecision=33000 #constraints=19823 751.62/751.85 c nbDecision=33500 #constraints=20279 800.40/800.66 c nbDecision=34000 #constraints=20681 839.89/840.13 c nbDecision=34500 #constraints=20989 878.28/878.52 c nbDecision=35000 #constraints=21442 912.78/913.09 c nbDecision=35500 #constraints=21924 947.17/947.44 c nbDecision=36000 #constraints=22408 984.77/985.00 c nbDecision=36500 #constraints=22894 1020.65/1020.96 c nbDecision=37000 #constraints=23383 1061.15/1061.46 c nbDecision=37500 #constraints=23863 1098.83/1099.17 c nbDecision=38000 #constraints=24346 1138.13/1138.45 c nbDecision=38500 #constraints=24825 1177.02/1177.33 c nbDecision=39000 #constraints=25296 1217.01/1217.32 c nbDecision=39500 #constraints=25764 1252.51/1252.80 c nbDecision=40000 #constraints=26208 1291.59/1291.94 c nbDecision=40500 #constraints=26662 1330.99/1331.39 c nbDecision=41000 #constraints=27114 1371.67/1372.07 c nbDecision=41500 #constraints=27600 1414.67/1415.04 c nbDecision=42000 #constraints=28080 1454.96/1455.34 c nbDecision=42500 #constraints=28558 1498.55/1498.90 c nbDecision=43000 #constraints=29045 1539.14/1539.50 c nbDecision=43500 #constraints=29524 1580.53/1580.98 c nbDecision=44000 #constraints=30007 1619.62/1620.06 c nbDecision=44500 #constraints=30482 1661.40/1661.87 c nbDecision=45000 #constraints=30946 1699.59/1700.05 c nbDecision=45500 #constraints=31380 1741.69/1742.15 c nbDecision=46000 #constraints=31853 1787.98/1788.41 c nbDecision=46500 #constraints=32318 1800.08/1800.50 Received signal 15 1800.08/1800.60 1800.08/1800.60 s UNKNOWN 1800.08/1800.60 1800.08/1800.60 c user time= 1799.19 s 1800.08/1800.60 c system time= 0.995848 s 1800.08/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/node34/watcher-356936-1176848870 -o ROOT/results/node34/solver-356936-1176848870 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356936-1176848870/instance-356936-1176848870.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: 1.00 1.00 0.98 3/77 4969 /proc/meminfo: memFree=1809120/2055920 swapFree=4120876/4192956 [pid=4969] ppid=4967 vsize=1620 CPUtime=0 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 188 0 0 0 0 0 0 0 18 0 1 0 132802433 1658880 170 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 405 173 126 317 0 84 0 [startup+0.03798 s] /proc/loadavg: 1.00 1.00 0.98 3/77 4969 /proc/meminfo: memFree=1809120/2055920 swapFree=4120876/4192956 [pid=4969] ppid=4967 vsize=2016 CPUtime=0.03 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 312 0 0 0 3 0 0 0 18 0 1 0 132802433 2064384 294 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 504 296 131 317 0 183 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2016 [startup+0.101985 s] /proc/loadavg: 1.00 1.00 0.98 3/77 4969 /proc/meminfo: memFree=1809120/2055920 swapFree=4120876/4192956 [pid=4969] ppid=4967 vsize=3212 CPUtime=0.09 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 616 0 0 0 9 0 0 0 18 0 1 0 132802433 3289088 598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 803 598 131 317 0 482 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3212 [startup+0.302001 s] /proc/loadavg: 1.00 1.00 0.98 3/77 4969 /proc/meminfo: memFree=1809120/2055920 swapFree=4120876/4192956 [pid=4969] ppid=4967 vsize=5132 CPUtime=0.29 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 1090 0 0 0 29 0 0 0 19 0 1 0 132802433 5255168 1072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 1283 1072 139 317 0 962 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5132 [startup+0.701032 s] /proc/loadavg: 1.00 1.00 0.98 3/77 4969 /proc/meminfo: memFree=1809120/2055920 swapFree=4120876/4192956 [pid=4969] ppid=4967 vsize=7048 CPUtime=0.69 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 1622 0 0 0 69 0 0 0 22 0 1 0 132802433 7217152 1604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 1762 1604 170 317 0 1441 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7048 [startup+1.5011 s] /proc/loadavg: 1.00 1.00 0.98 2/78 4970 /proc/meminfo: memFree=1802200/2055920 swapFree=4120876/4192956 [pid=4969] ppid=4967 vsize=9620 CPUtime=1.48 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 2258 0 0 0 148 0 0 0 25 0 1 0 132802433 9850880 2240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284669 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 2405 2240 170 317 0 2084 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 9620 [startup+3.10122 s] /proc/loadavg: 1.00 1.00 0.98 2/78 4970 /proc/meminfo: memFree=1796440/2055920 swapFree=4120876/4192956 [pid=4969] ppid=4967 vsize=20356 CPUtime=3.08 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 4921 0 0 0 307 1 0 0 25 0 1 0 132802433 20844544 4903 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 5089 4903 170 317 0 4768 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 20356 [startup+6.30147 s] /proc/loadavg: 1.00 1.00 0.98 2/78 4970 /proc/meminfo: memFree=1780760/2055920 swapFree=4120876/4192956 [pid=4969] ppid=4967 vsize=31860 CPUtime=6.29 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 7762 0 0 0 627 2 0 0 25 0 1 0 132802433 32624640 7744 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716198 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 7965 7744 170 317 0 7644 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31860 [startup+12.702 s] /proc/loadavg: 1.00 1.00 0.98 2/78 4970 /proc/meminfo: memFree=1765592/2055920 swapFree=4120876/4192956 [pid=4969] ppid=4967 vsize=48788 CPUtime=12.69 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 11718 0 0 0 1265 4 0 0 25 0 1 0 132802433 49958912 11700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 12197 11700 170 317 0 11876 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48788 [startup+25.502 s] /proc/loadavg: 1.00 1.00 0.98 2/78 4970 /proc/meminfo: memFree=1721368/2055920 swapFree=4120876/4192956 [pid=4969] ppid=4967 vsize=94204 CPUtime=25.48 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 22144 0 0 0 2539 9 0 0 25 0 1 0 132802433 96464896 22126 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 23551 22126 170 317 0 23230 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 94204 [startup+51.101 s] /proc/loadavg: 1.00 1.00 0.98 2/78 4970 /proc/meminfo: memFree=1670552/2055920 swapFree=4120876/4192956 [pid=4969] ppid=4967 vsize=153080 CPUtime=51.07 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 34846 0 0 0 5091 16 0 0 25 0 1 0 132802433 156753920 34828 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 38270 34828 170 317 0 37949 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 153080 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.98 2/78 4970 /proc/meminfo: memFree=1614808/2055920 swapFree=4120876/4192956 [pid=4969] ppid=4967 vsize=208100 CPUtime=102.27 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 48649 0 0 0 10203 24 0 0 25 0 1 0 132802433 213094400 48573 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 52025 48573 170 317 0 51704 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 208100 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.98 2/78 4970 /proc/meminfo: memFree=1564696/2055920 swapFree=4120940/4192956 [pid=4969] ppid=4967 vsize=268680 CPUtime=162.25 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 61223 0 0 0 16196 29 0 0 25 0 1 0 132802433 275128320 61147 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563659 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 67170 61147 170 317 0 66849 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 268680 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.98 2/78 4970 /proc/meminfo: memFree=1533016/2055920 swapFree=4120940/4192956 [pid=4969] ppid=4967 vsize=301252 CPUtime=222.24 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 69049 0 0 0 22190 34 0 0 25 0 1 0 132802433 308482048 68973 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 75313 68973 170 317 0 74992 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 301252 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.98 2/78 4970 /proc/meminfo: memFree=1507352/2055920 swapFree=4120940/4192956 [pid=4969] ppid=4967 vsize=326400 CPUtime=282.23 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 75543 0 0 0 28186 37 0 0 25 0 1 0 132802433 334233600 75467 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 81600 75467 170 317 0 81279 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 326400 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.98 2/78 4970 /proc/meminfo: memFree=1483352/2055920 swapFree=4121004/4192956 [pid=4969] ppid=4967 vsize=351796 CPUtime=342.21 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 81441 0 0 0 34181 40 0 0 25 0 1 0 132802433 360239104 81365 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563668 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 87949 81365 170 317 0 87628 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 351796 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.98 2/78 4970 /proc/meminfo: memFree=1463832/2055920 swapFree=4121004/4192956 [pid=4969] ppid=4967 vsize=373812 CPUtime=402.19 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 86400 0 0 0 40177 42 0 0 25 0 1 0 132802433 382783488 86324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 93453 86324 170 317 0 93132 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 373812 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.98 2/78 4970 /proc/meminfo: memFree=1435608/2055920 swapFree=4121068/4192956 [pid=4969] ppid=4967 vsize=400212 CPUtime=462.19 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 93371 0 0 0 46171 48 0 0 25 0 1 0 132802433 409817088 93295 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 100053 93295 170 317 0 99732 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 400212 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.98 2/78 4970 /proc/meminfo: memFree=1406552/2055920 swapFree=4121068/4192956 [pid=4969] ppid=4967 vsize=451992 CPUtime=522.16 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 105106 0 0 0 52164 52 0 0 25 0 1 0 132802433 462839808 100626 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 112998 100626 170 317 0 112677 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 451992 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.98 2/78 4970 /proc/meminfo: memFree=1385432/2055920 swapFree=4121068/4192956 [pid=4969] ppid=4967 vsize=472268 CPUtime=582.16 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 110375 0 0 0 58160 56 0 0 25 0 1 0 132802433 483602432 105763 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 118067 105763 170 317 0 117746 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 472268 [startup+642.302 s] /proc/loadavg: 1.04 1.01 0.99 2/78 4972 /proc/meminfo: memFree=1373144/2055920 swapFree=4121132/4192956 [pid=4969] ppid=4967 vsize=486612 CPUtime=642.15 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 114091 0 0 0 64156 59 0 0 25 0 1 0 132802433 498290688 108819 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 121653 108819 170 317 0 121332 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 486612 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4972 /proc/meminfo: memFree=1319576/2055920 swapFree=4121260/4192956 [pid=4969] ppid=4967 vsize=535188 CPUtime=942.07 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 127688 0 0 0 94140 67 0 0 25 0 1 0 132802433 548032512 122218 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563295 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 133797 122218 170 317 0 133476 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 535188 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4972 /proc/meminfo: memFree=1302680/2055920 swapFree=4121260/4192956 [pid=4969] ppid=4967 vsize=553620 CPUtime=1002.06 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 131936 0 0 0 100136 70 0 0 25 0 1 0 132802433 566906880 126400 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 138405 126400 170 317 0 138084 0 Current children cumulated CPU time (s) 1002.06 Current children cumulated vsize (KiB) 553620 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4972 /proc/meminfo: memFree=1288984/2055920 swapFree=4121324/4192956 [pid=4969] ppid=4967 vsize=565828 CPUtime=1062.04 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 135429 0 0 0 106132 72 0 0 25 0 1 0 132802433 579407872 129860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 141457 129860 170 317 0 141136 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 565828 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4972 /proc/meminfo: memFree=1275224/2055920 swapFree=4121324/4192956 [pid=4969] ppid=4967 vsize=577996 CPUtime=1122.03 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 138903 0 0 0 112129 74 0 0 25 0 1 0 132802433 591867904 133268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 144499 133268 170 317 0 144178 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 577996 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4972 /proc/meminfo: memFree=1261912/2055920 swapFree=4121388/4192956 [pid=4969] ppid=4967 vsize=590108 CPUtime=1182.01 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 142378 0 0 0 118124 77 0 0 25 0 1 0 132802433 604270592 136677 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 147527 136677 170 317 0 147206 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 590108 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4972 /proc/meminfo: memFree=1248600/2055920 swapFree=4121388/4192956 [pid=4969] ppid=4967 vsize=601840 CPUtime=1242 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 145648 0 0 0 124120 80 0 0 25 0 1 0 132802433 616284160 139914 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 150460 139914 170 317 0 150139 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 601840 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4972 /proc/meminfo: memFree=1235800/2055920 swapFree=4121388/4192956 [pid=4969] ppid=4967 vsize=613008 CPUtime=1301.99 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 148842 0 0 0 130117 82 0 0 25 0 1 0 132802433 627720192 143075 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 153252 143075 170 317 0 152931 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 613008 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4972 /proc/meminfo: memFree=1222808/2055920 swapFree=4121452/4192956 [pid=4969] ppid=4967 vsize=624560 CPUtime=1361.98 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 152174 0 0 0 136114 84 0 0 25 0 1 0 132802433 639549440 146341 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 156140 146341 170 317 0 155819 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 624560 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4972 /proc/meminfo: memFree=1210328/2055920 swapFree=4121452/4192956 [pid=4969] ppid=4967 vsize=635568 CPUtime=1421.97 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 155275 0 0 0 142111 86 0 0 25 0 1 0 132802433 650821632 149442 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 158892 149442 170 317 0 158571 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 635568 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4972 /proc/meminfo: memFree=1197976/2055920 swapFree=4121516/4192956 [pid=4969] ppid=4967 vsize=646656 CPUtime=1481.94 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 158389 0 0 0 148106 88 0 0 25 0 1 0 132802433 662175744 152556 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 161664 152556 170 317 0 161343 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 646656 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4972 /proc/meminfo: memFree=1184792/2055920 swapFree=4121516/4192956 [pid=4969] ppid=4967 vsize=657908 CPUtime=1541.94 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 161643 0 0 0 154104 90 0 0 25 0 1 0 132802433 673697792 155810 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 164477 155810 170 317 0 164156 0 Current children cumulated CPU time (s) 1541.94 Current children cumulated vsize (KiB) 657908 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4972 /proc/meminfo: memFree=1171480/2055920 swapFree=4121516/4192956 [pid=4969] ppid=4967 vsize=671560 CPUtime=1601.91 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 165356 0 0 0 160100 91 0 0 25 0 1 0 132802433 687677440 159160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 167890 159160 170 317 0 167569 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 671560 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4972 /proc/meminfo: memFree=1156504/2055920 swapFree=4121580/4192956 [pid=4969] ppid=4967 vsize=693608 CPUtime=1661.9 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 170569 0 0 0 166096 94 0 0 25 0 1 0 132802433 710254592 162888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 173402 162888 170 317 0 173081 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 693608 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4972 /proc/meminfo: memFree=1144024/2055920 swapFree=4121580/4192956 [pid=4969] ppid=4967 vsize=704672 CPUtime=1721.89 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 173729 0 0 0 172093 96 0 0 25 0 1 0 132802433 721584128 166015 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 176168 166015 170 317 0 175847 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 704672 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4972 /proc/meminfo: memFree=1132504/2055920 swapFree=4121644/4192956 [pid=4969] ppid=4967 vsize=714560 CPUtime=1781.87 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 176648 0 0 0 178089 98 0 0 25 0 1 0 132802433 731709440 168901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 178640 168901 170 317 0 178319 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 714560 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4972 /proc/meminfo: memFree=1128856/2055920 swapFree=4121644/4192956 [pid=4969] ppid=4967 vsize=717596 CPUtime=1800.08 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 177483 0 0 0 179909 99 0 0 25 0 1 0 132802433 734818304 169736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 179399 169736 170 317 0 179078 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 717596 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 1.00 0.99 2/79 4973 /proc/meminfo: memFree=1128848/2055920 swapFree=4121644/4192956 [pid=4969] ppid=4967 vsize=716688 CPUtime=1800.18 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194304 177499 0 0 0 179919 99 0 0 25 0 1 0 132802433 733888512 169529 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266198 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 179172 169529 186 317 0 178851 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 716688 [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.99 2/79 4973 /proc/meminfo: memFree=1128848/2055920 swapFree=4121644/4192956 [pid=4969] ppid=4967 vsize=0 CPUtime=1800.28 /proc/4969/stat : 4969 (oree) R 4967 4969 4671 0 -1 4194308 177499 0 0 0 179920 108 0 0 25 0 1 0 132802433 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4969/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.28 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.72 CPU time (s): 1800.3 CPU user time (s): 1799.2 CPU system time (s): 1.10283 CPU usage (%): 99.9767 Max. virtual memory (cumulated for all children) (KiB): 717596 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.2 system time used= 1.10283 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 177499 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= 4157 runsolver used 2.18667 second user time and 4.33234 second system time The end
Begin job on node34 on Tue Apr 17 22:27:50 UTC 2007 IDJOB= 356936 IDBENCH= 1660 IDSOLVER= 172 FILE ID= node34/356936-1176848870 PBS_JOBID= 4590202 Free space on /tmp= 66486 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-agg.opb COMMAND LINE= oree /tmp/evaluation/356936-1176848870/instance-356936-1176848870.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-356936-1176848870 -o ROOT/results/node34/solver-356936-1176848870 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356936-1176848870/instance-356936-1176848870.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= ed91ea31528e8311a929ab543dc490cc RANDOM SEED= 601101353 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node34.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.236 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.236 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: 1809528 kB Buffers: 32872 kB Cached: 141044 kB SwapCached: 3428 kB Active: 67092 kB Inactive: 130892 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1809528 kB SwapTotal: 4192956 kB SwapFree: 4120876 kB Dirty: 1820 kB Writeback: 0 kB Mapped: 30564 kB Slab: 33660 kB Committed_AS: 405972 kB PageTables: 1976 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= 66486 MiB End job on node34 on Tue Apr 17 22:57:53 UTC 2007