Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.42 | 1801.18 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod010.opb |
MD5SUM | 0155c0c96434984f6ded6bb7ada20c0c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 6548 |
Best CPU time to get the best result obtained on this benchmark | 2.23666 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6548 |
Optimality of the best value was proved | YES |
Number of variables | 2655 |
Total number of constraints | 146 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 145 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 2655 |
Number of terms in the objective function | 2655 |
Biggest coefficient in the objective function | 266 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 489211 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 266 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 489211 |
Number of bits of the biggest sum of numbers | 19 |
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.00/0.04 c ...done 0.00/0.04 c #vars=2655 #constraints=292 hasObjective=yes 0.09/0.10 c res. mode=mod 0.09/0.10 c VSIDS like heuristics 0.09/0.10 c complete search running 0.09/0.11 c restart after 401 decisions 0.09/0.11 c nbDecision=500 #constraints=292 0.09/0.12 c restart after 801 decisions 0.09/0.13 c nbDecision=1000 #constraints=292 0.09/0.14 c nbDecision=1500 #constraints=293 0.09/0.15 c restart after 1601 decisions 0.09/0.16 c nbDecision=2000 #constraints=293 0.09/0.17 c nbDecision=2500 #constraints=293 0.19/0.26 c nbDecision=3000 #constraints=338 0.29/0.38 c restart after 3201 decisions 0.29/0.40 c nbDecision=3500 #constraints=387 0.39/0.41 c nbDecision=4000 #constraints=387 0.49/0.51 c nbDecision=4500 #constraints=420 2.19/2.20 c nbDecision=5000 #constraints=745 6.39/6.41 c nbDecision=5500 #constraints=1210 12.69/12.77 c nbDecision=6000 #constraints=1683 16.49/16.56 c restart after 6401 decisions 16.68/16.77 c nbDecision=6500 #constraints=1966 16.78/16.86 c nbDecision=7000 #constraints=1966 16.88/17.00 c nbDecision=7500 #constraints=1966 24.48/24.53 c nbDecision=8000 #constraints=2393 34.38/34.48 c nbDecision=8500 #constraints=2848 47.18/47.26 c nbDecision=9000 #constraints=3294 62.67/62.79 c nbDecision=9500 #constraints=3766 85.26/85.32 c nbDecision=10000 #constraints=4240 100.15/100.22 c nbDecision=10500 #constraints=4626 113.85/113.93 c nbDecision=11000 #constraints=4971 131.44/131.52 c nbDecision=11500 #constraints=5342 160.43/160.50 c nbDecision=12000 #constraints=5818 186.03/186.10 c nbDecision=12500 #constraints=6248 203.71/203.82 c restart after 12801 decisions 205.41/205.57 c nbDecision=13000 #constraints=6513 205.91/206.09 c nbDecision=13500 #constraints=6513 210.62/210.71 c nbDecision=14000 #constraints=6571 242.70/242.84 c nbDecision=14500 #constraints=7028 271.89/272.02 c nbDecision=15000 #constraints=7449 307.18/307.38 c nbDecision=15500 #constraints=7909 345.96/346.17 c nbDecision=16000 #constraints=8370 388.15/388.30 c nbDecision=16500 #constraints=8833 433.83/434.09 c nbDecision=17000 #constraints=9298 482.21/482.46 c nbDecision=17500 #constraints=9781 537.79/538.01 c nbDecision=18000 #constraints=10267 584.28/584.57 c nbDecision=18500 #constraints=10649 635.96/636.21 c nbDecision=19000 #constraints=11093 683.64/683.90 c nbDecision=19500 #constraints=11519 713.72/714.05 c nbDecision=20000 #constraints=11796 762.61/762.96 c nbDecision=20500 #constraints=12172 823.38/823.74 c nbDecision=21000 #constraints=12627 877.57/877.91 c nbDecision=21500 #constraints=13008 929.35/929.72 c nbDecision=22000 #constraints=13377 998.32/998.74 c nbDecision=22500 #constraints=13850 1076.20/1076.67 c nbDecision=23000 #constraints=14347 1137.68/1138.10 c nbDecision=23500 #constraints=14725 1191.25/1191.79 c nbDecision=24000 #constraints=15052 1264.93/1265.41 c nbDecision=24500 #constraints=15532 1340.60/1341.15 c nbDecision=25000 #constraints=15994 1422.77/1423.35 c nbDecision=25500 #constraints=16472 1439.47/1440.00 c restart after 25601 decisions 1444.77/1445.36 c nbDecision=26000 #constraints=16568 1447.26/1447.86 c nbDecision=26500 #constraints=16568 1494.04/1494.63 c nbDecision=27000 #constraints=16849 1557.62/1558.25 c nbDecision=27500 #constraints=17189 1651.98/1652.67 c nbDecision=28000 #constraints=17667 1756.96/1757.75 c nbDecision=28500 #constraints=18151 1800.04/1800.80 Received signal 15 1800.23/1801.10 1800.23/1801.10 s UNKNOWN 1800.23/1801.10 1800.23/1801.10 c user time= 1799.65 s 1800.23/1801.10 c system time= 0.698893 s 1800.23/1801.10 c wall clock time=1801.1
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node42/watcher-363462-1176852781 -o ROOT/results/node42/solver-363462-1176852781 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363462-1176852781/instance-363462-1176852781.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.95 0.96 0.98 3/77 26049 /proc/meminfo: memFree=1588884/2055920 swapFree=4059792/4192956 [pid=26049] ppid=26047 vsize=1468 CPUtime=0 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 133189955 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135096813 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 367 161 126 317 0 46 0 [startup+0.00630694 s] /proc/loadavg: 0.95 0.96 0.98 3/77 26049 /proc/meminfo: memFree=1588884/2055920 swapFree=4059792/4192956 [pid=26049] ppid=26047 vsize=1620 CPUtime=0 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 133189955 1658880 176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 405 176 126 317 0 84 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1620 [startup+0.101318 s] /proc/loadavg: 0.95 0.96 0.98 3/77 26049 /proc/meminfo: memFree=1588884/2055920 swapFree=4059792/4192956 [pid=26049] ppid=26047 vsize=2964 CPUtime=0.09 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 556 0 0 0 9 0 0 0 18 0 1 0 133189955 3035136 538 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 741 538 137 317 0 420 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2964 [startup+0.301355 s] /proc/loadavg: 0.95 0.96 0.98 3/77 26049 /proc/meminfo: memFree=1588884/2055920 swapFree=4059792/4192956 [pid=26049] ppid=26047 vsize=3748 CPUtime=0.29 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 732 0 0 0 29 0 0 0 19 0 1 0 133189955 3837952 714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 937 714 139 317 0 616 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3748 [startup+0.701432 s] /proc/loadavg: 0.95 0.96 0.98 3/77 26049 /proc/meminfo: memFree=1588884/2055920 swapFree=4059792/4192956 [pid=26049] ppid=26047 vsize=5604 CPUtime=0.69 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 1195 0 0 0 69 0 0 0 23 0 1 0 133189955 5738496 1177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554561 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 1401 1177 139 317 0 1080 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5604 [startup+1.50158 s] /proc/loadavg: 0.95 0.96 0.98 2/78 26050 /proc/meminfo: memFree=1583472/2055920 swapFree=4059792/4192956 [pid=26049] ppid=26047 vsize=9064 CPUtime=1.49 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 2056 0 0 0 148 1 0 0 25 0 1 0 133189955 9281536 2038 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 2266 2038 139 317 0 1945 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9064 [startup+3.10189 s] /proc/loadavg: 0.95 0.96 0.98 2/78 26050 /proc/meminfo: memFree=1579120/2055920 swapFree=4059792/4192956 [pid=26049] ppid=26047 vsize=14652 CPUtime=3.09 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 3382 0 0 0 307 2 0 0 25 0 1 0 133189955 15003648 3364 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 3663 3364 139 317 0 3342 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14652 [startup+6.3015 s] /proc/loadavg: 0.95 0.96 0.98 2/78 26050 /proc/meminfo: memFree=1570864/2055920 swapFree=4059792/4192956 [pid=26049] ppid=26047 vsize=21004 CPUtime=6.29 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 4968 0 0 0 626 3 0 0 25 0 1 0 133189955 21508096 4950 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 5251 4950 139 317 0 4930 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21004 [startup+12.7017 s] /proc/loadavg: 0.96 0.96 0.98 2/78 26050 /proc/meminfo: memFree=1557880/2055920 swapFree=4059792/4192956 [pid=26049] ppid=26047 vsize=34860 CPUtime=12.69 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 8097 0 0 0 1265 4 0 0 25 0 1 0 133189955 35696640 8079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 8715 8079 139 317 0 8394 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 34860 [startup+25.5012 s] /proc/loadavg: 0.96 0.96 0.98 2/78 26050 /proc/meminfo: memFree=1539960/2055920 swapFree=4059792/4192956 [pid=26049] ppid=26047 vsize=53360 CPUtime=25.48 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 12384 0 0 0 2542 6 0 0 25 0 1 0 133189955 54640640 12366 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 13340 12366 139 317 0 13019 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 53360 [startup+51.102 s] /proc/loadavg: 0.98 0.96 0.98 2/78 26050 /proc/meminfo: memFree=1516408/2055920 swapFree=4059792/4192956 [pid=26049] ppid=26047 vsize=77696 CPUtime=51.07 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 18278 0 0 0 5097 10 0 0 25 0 1 0 133189955 79560704 18260 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 19424 18260 139 317 0 19103 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 77696 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26050 /proc/meminfo: memFree=1478008/2055920 swapFree=4059792/4192956 [pid=26049] ppid=26047 vsize=121012 CPUtime=102.26 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 27777 0 0 0 10211 15 0 0 25 0 1 0 133189955 123916288 27759 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715798 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 30253 27759 139 317 0 29932 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 121012 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26050 /proc/meminfo: memFree=1454456/2055920 swapFree=4059856/4192956 [pid=26049] ppid=26047 vsize=144732 CPUtime=162.23 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 33695 0 0 0 16205 18 0 0 25 0 1 0 133189955 148205568 33677 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 36183 33677 139 317 0 35862 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 144732 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26050 /proc/meminfo: memFree=1436216/2055920 swapFree=4059856/4192956 [pid=26049] ppid=26047 vsize=162616 CPUtime=222.21 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 38184 0 0 0 22200 21 0 0 25 0 1 0 133189955 166518784 38166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 40654 38166 139 317 0 40333 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 162616 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26050 /proc/meminfo: memFree=1418040/2055920 swapFree=4059856/4192956 [pid=26049] ppid=26047 vsize=181540 CPUtime=282.19 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 42760 0 0 0 28195 24 0 0 25 0 1 0 133189955 185896960 42742 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 45385 42742 139 317 0 45064 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 181540 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26050 /proc/meminfo: memFree=1402488/2055920 swapFree=4059920/4192956 [pid=26049] ppid=26047 vsize=196800 CPUtime=342.16 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 46666 0 0 0 34190 26 0 0 25 0 1 0 133189955 201523200 46591 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 49200 46591 139 317 0 48879 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 196800 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26052 /proc/meminfo: memFree=1379832/2055920 swapFree=4059920/4192956 [pid=26049] ppid=26047 vsize=228088 CPUtime=402.14 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 52354 0 0 0 40185 29 0 0 25 0 1 0 133189955 233562112 52279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 57022 52279 139 317 0 56701 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 228088 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26052 /proc/meminfo: memFree=1363384/2055920 swapFree=4059984/4192956 [pid=26049] ppid=26047 vsize=245724 CPUtime=462.12 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 56438 0 0 0 46181 31 0 0 25 0 1 0 133189955 251621376 56363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 61431 56363 139 317 0 61110 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 245724 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26052 /proc/meminfo: memFree=1348216/2055920 swapFree=4059984/4192956 [pid=26049] ppid=26047 vsize=261864 CPUtime=522.1 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 60223 0 0 0 52177 33 0 0 25 0 1 0 133189955 268148736 60148 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563351 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 65466 60148 139 317 0 65145 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 261864 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26052 /proc/meminfo: memFree=1331640/2055920 swapFree=4059984/4192956 [pid=26049] ppid=26047 vsize=279160 CPUtime=582.08 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 64321 0 0 0 58173 35 0 0 25 0 1 0 133189955 285859840 64246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 69790 64246 139 317 0 69469 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 279160 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26052 /proc/meminfo: memFree=1315576/2055920 swapFree=4060048/4192956 [pid=26049] ppid=26047 vsize=294828 CPUtime=642.06 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 68335 0 0 0 64168 38 0 0 25 0 1 0 133189955 301903872 68260 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 73707 68260 139 317 0 73386 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 294828 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26052 /proc/meminfo: memFree=1260792/2055920 swapFree=4060176/4192956 [pid=26049] ppid=26047 vsize=352320 CPUtime=941.95 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 82049 0 0 0 94149 46 0 0 25 0 1 0 133189955 360775680 81974 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 88080 81974 139 317 0 87759 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 352320 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26052 /proc/meminfo: memFree=1251256/2055920 swapFree=4060176/4192956 [pid=26049] ppid=26047 vsize=361640 CPUtime=1001.92 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 84418 0 0 0 100145 47 0 0 25 0 1 0 133189955 370319360 84343 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 90410 84343 139 317 0 90089 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 361640 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26052 /proc/meminfo: memFree=1242424/2055920 swapFree=4060240/4192956 [pid=26049] ppid=26047 vsize=370224 CPUtime=1061.9 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 86623 0 0 0 106141 49 0 0 25 0 1 0 133189955 379109376 86548 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 92556 86548 139 317 0 92235 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 370224 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26052 /proc/meminfo: memFree=1234296/2055920 swapFree=4060240/4192956 [pid=26049] ppid=26047 vsize=378340 CPUtime=1121.87 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 88642 0 0 0 112137 50 0 0 25 0 1 0 133189955 387420160 88567 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 94585 88567 139 317 0 94264 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 378340 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26052 /proc/meminfo: memFree=1227448/2055920 swapFree=4060304/4192956 [pid=26049] ppid=26047 vsize=384740 CPUtime=1181.86 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 90362 0 0 0 118134 52 0 0 25 0 1 0 133189955 393973760 90287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 96185 90287 139 317 0 95864 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 384740 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26052 /proc/meminfo: memFree=1218104/2055920 swapFree=4060304/4192956 [pid=26049] ppid=26047 vsize=395560 CPUtime=1241.83 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 92688 0 0 0 124130 53 0 0 25 0 1 0 133189955 405053440 92613 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710874 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 98890 92613 139 317 0 98569 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 395560 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26052 /proc/meminfo: memFree=1210616/2055920 swapFree=4060304/4192956 [pid=26049] ppid=26047 vsize=402532 CPUtime=1301.81 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 94510 0 0 0 130127 54 0 0 25 0 1 0 133189955 412192768 94435 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 100633 94435 139 317 0 100312 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 402532 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26052 /proc/meminfo: memFree=1203192/2055920 swapFree=4060368/4192956 [pid=26049] ppid=26047 vsize=409972 CPUtime=1361.79 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 96407 0 0 0 136123 56 0 0 25 0 1 0 133189955 419811328 96332 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 102493 96332 139 317 0 102172 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 409972 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26052 /proc/meminfo: memFree=1194936/2055920 swapFree=4060368/4192956 [pid=26049] ppid=26047 vsize=417800 CPUtime=1421.77 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 98428 0 0 0 142119 58 0 0 25 0 1 0 133189955 427827200 98353 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 104450 98353 139 317 0 104129 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 417800 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26052 /proc/meminfo: memFree=1183352/2055920 swapFree=4060432/4192956 [pid=26049] ppid=26047 vsize=448224 CPUtime=1481.74 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 104662 0 0 0 148114 60 0 0 25 0 1 0 133189955 458981376 101240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 112056 101240 139 317 0 111735 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 448224 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26052 /proc/meminfo: memFree=1174904/2055920 swapFree=4060432/4192956 [pid=26049] ppid=26047 vsize=458316 CPUtime=1541.73 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 107069 0 0 0 154111 62 0 0 25 0 1 0 133189955 469315584 103350 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 114579 103350 139 317 0 114258 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 458316 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26052 /proc/meminfo: memFree=1168056/2055920 swapFree=4060432/4192956 [pid=26049] ppid=26047 vsize=467068 CPUtime=1601.7 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 109183 0 0 0 160107 63 0 0 25 0 1 0 133189955 478277632 105068 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 116767 105068 139 317 0 116446 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 467068 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26052 /proc/meminfo: memFree=1161080/2055920 swapFree=4060496/4192956 [pid=26049] ppid=26047 vsize=474800 CPUtime=1661.68 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 110909 0 0 0 166104 64 0 0 25 0 1 0 133189955 486195200 106794 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 118700 106794 139 317 0 118379 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 474800 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/84 26222 /proc/meminfo: memFree=1153256/2055920 swapFree=4060496/4192956 [pid=26049] ppid=26047 vsize=481196 CPUtime=1721.59 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 112600 0 0 0 172091 68 0 0 25 0 1 0 133189955 492744704 108452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 120299 108452 139 317 0 119978 0 Current children cumulated CPU time (s) 1721.59 Current children cumulated vsize (KiB) 481196 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26250 /proc/meminfo: memFree=1147056/2055920 swapFree=4060560/4192956 [pid=26049] ppid=26047 vsize=493188 CPUtime=1781.54 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 115299 0 0 0 178085 69 0 0 25 0 1 0 133189955 505024512 110260 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 123297 110260 139 317 0 122976 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (KiB) 493188 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26250 /proc/meminfo: memFree=1145584/2055920 swapFree=4060560/4192956 [pid=26049] ppid=26047 vsize=494536 CPUtime=1800.04 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 115661 0 0 0 179935 69 0 0 25 0 1 0 133189955 506404864 110622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 123634 110622 139 317 0 123313 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 494536 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26250 /proc/meminfo: memFree=1145584/2055920 swapFree=4060560/4192956 [pid=26049] ppid=26047 vsize=494536 CPUtime=1800.23 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 115670 0 0 0 179954 69 0 0 25 0 1 0 133189955 506404864 110631 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 123634 110631 139 317 0 123313 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 494536 [startup+1801.1 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26250 /proc/meminfo: memFree=1145584/2055920 swapFree=4060560/4192956 [pid=26049] ppid=26047 vsize=494536 CPUtime=1800.33 /proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 115686 0 0 0 179964 69 0 0 25 0 1 0 133189955 506404864 110647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134752702 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26049/statm: 123634 110647 155 317 0 123313 0 Current children cumulated CPU time (s) 1800.33 Current children cumulated vsize (KiB) 494536 Child status: 0 Real time (s): 1801.18 CPU time (s): 1800.42 CPU user time (s): 1799.65 CPU system time (s): 0.773882 CPU usage (%): 99.958 Max. virtual memory (cumulated for all children) (KiB): 494536 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.65 system time used= 0.773882 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 115686 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= 2898 runsolver used 2.11168 second user time and 4.44332 second system time The end
Begin job on node42 on Tue Apr 17 23:33:01 UTC 2007 IDJOB= 363462 IDBENCH= 1851 IDSOLVER= 172 FILE ID= node42/363462-1176852781 PBS_JOBID= 4590185 Free space on /tmp= 66464 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb COMMAND LINE= oree /tmp/evaluation/363462-1176852781/instance-363462-1176852781.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-363462-1176852781 -o ROOT/results/node42/solver-363462-1176852781 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363462-1176852781/instance-363462-1176852781.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 0155c0c96434984f6ded6bb7ada20c0c RANDOM SEED= 209754585 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node42.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.277 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.277 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: 1589392 kB Buffers: 44168 kB Cached: 306784 kB SwapCached: 34268 kB Active: 213220 kB Inactive: 187240 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1589392 kB SwapTotal: 4192956 kB SwapFree: 4059792 kB Dirty: 1568 kB Writeback: 0 kB Mapped: 40692 kB Slab: 51480 kB Committed_AS: 2955060 kB PageTables: 1916 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= 66464 MiB End job on node42 on Wed Apr 18 00:03:04 UTC 2007