Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.27 | 1800.72 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-pp08a.opb |
MD5SUM | ff5b6f1c6eab20bc880408fc770c13e2 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 5344 |
Total number of constraints | 136 |
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 | 136 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 240 |
Number of terms in the objective function | 3424 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 180407058264 |
Number of bits of the sum of numbers in the objective function | 38 |
Biggest number in a constraint | 1073741824 |
Number of bits of the biggest number in a constraint | 31 |
Biggest sum of numbers in a constraint | 180407058264 |
Number of bits of the biggest sum of numbers | 38 |
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.06 c ...done 0.00/0.06 c #vars=5344 #constraints=201 hasObjective=yes 0.00/0.09 c res. mode=mod 0.00/0.09 c VSIDS like heuristics 0.00/0.09 c complete search running 0.10/0.12 c restart after 401 decisions 0.10/0.12 c nbDecision=500 #constraints=201 0.10/0.14 c restart after 801 decisions 0.10/0.15 c nbDecision=1000 #constraints=201 0.10/0.18 c nbDecision=1500 #constraints=203 0.10/0.19 c restart after 1601 decisions 0.20/0.21 c nbDecision=2000 #constraints=203 0.20/0.24 c nbDecision=2500 #constraints=203 0.99/1.09 c nbDecision=3000 #constraints=662 1.59/1.66 c restart after 3201 decisions 1.59/1.68 c nbDecision=3500 #constraints=864 1.69/1.72 c nbDecision=4000 #constraints=864 2.99/3.07 c nbDecision=4500 #constraints=1238 5.49/5.51 c nbDecision=5000 #constraints=1738 8.59/8.63 c nbDecision=5500 #constraints=2244 12.48/12.58 c nbDecision=6000 #constraints=2742 16.19/16.25 c restart after 6401 decisions 16.29/16.38 c nbDecision=6500 #constraints=3146 16.39/16.41 c nbDecision=7000 #constraints=3146 18.98/19.02 c nbDecision=7500 #constraints=3386 24.58/24.62 c nbDecision=8000 #constraints=3886 30.98/31.05 c nbDecision=8500 #constraints=4386 38.38/38.42 c nbDecision=9000 #constraints=4886 46.38/46.43 c nbDecision=9500 #constraints=5386 55.08/55.16 c nbDecision=10000 #constraints=5886 64.67/64.72 c nbDecision=10500 #constraints=6386 74.78/74.89 c nbDecision=11000 #constraints=6886 85.87/85.94 c nbDecision=11500 #constraints=7386 97.66/97.77 c nbDecision=12000 #constraints=7886 110.26/110.39 c nbDecision=12500 #constraints=8392 118.56/118.61 c restart after 12801 decisions 118.96/119.06 c nbDecision=13000 #constraints=8686 119.06/119.12 c nbDecision=13500 #constraints=8686 128.26/128.33 c nbDecision=14000 #constraints=9002 142.66/142.77 c nbDecision=14500 #constraints=9502 157.75/157.85 c nbDecision=15000 #constraints=10002 173.44/173.57 c nbDecision=15500 #constraints=10502 189.84/189.97 c nbDecision=16000 #constraints=11002 206.93/207.07 c nbDecision=16500 #constraints=11502 224.74/224.90 c nbDecision=17000 #constraints=12002 243.23/243.37 c nbDecision=17500 #constraints=12500 262.43/262.59 c nbDecision=18000 #constraints=13002 282.42/282.58 c nbDecision=18500 #constraints=13506 302.92/303.08 c nbDecision=19000 #constraints=14006 324.21/324.39 c nbDecision=19500 #constraints=14506 346.20/346.37 c nbDecision=20000 #constraints=15004 369.00/369.13 c nbDecision=20500 #constraints=15506 392.30/392.50 c nbDecision=21000 #constraints=16006 416.49/416.64 c nbDecision=21500 #constraints=16506 443.88/444.06 c nbDecision=22000 #constraints=17003 470.97/471.18 c nbDecision=22500 #constraints=17501 496.97/497.15 c nbDecision=23000 #constraints=18005 523.96/524.10 c nbDecision=23500 #constraints=18502 550.85/551.01 c nbDecision=24000 #constraints=19004 580.25/580.45 c nbDecision=24500 #constraints=19503 614.24/614.48 c nbDecision=25000 #constraints=20006 643.44/643.68 c nbDecision=25500 #constraints=20503 649.33/649.57 c restart after 25601 decisions 650.43/650.63 c nbDecision=26000 #constraints=20603 650.83/651.07 c nbDecision=26500 #constraints=20603 675.33/675.51 c nbDecision=27000 #constraints=21003 705.62/705.80 c nbDecision=27500 #constraints=21503 736.81/737.04 c nbDecision=28000 #constraints=22007 768.31/768.53 c nbDecision=28500 #constraints=22503 800.69/800.95 c nbDecision=29000 #constraints=23003 833.69/833.98 c nbDecision=29500 #constraints=23503 867.58/867.87 c nbDecision=30000 #constraints=24005 902.17/902.42 c nbDecision=30500 #constraints=24503 937.37/937.60 c nbDecision=31000 #constraints=25003 973.16/973.48 c nbDecision=31500 #constraints=25503 1009.84/1010.16 c nbDecision=32000 #constraints=26005 1047.13/1047.40 c nbDecision=32500 #constraints=26503 1085.02/1085.37 c nbDecision=33000 #constraints=27003 1123.72/1124.01 c nbDecision=33500 #constraints=27503 1163.11/1163.46 c nbDecision=34000 #constraints=28005 1202.99/1203.33 c nbDecision=34500 #constraints=28503 1243.59/1243.92 c nbDecision=35000 #constraints=29003 1284.88/1285.29 c nbDecision=35500 #constraints=29503 1327.17/1327.56 c nbDecision=36000 #constraints=30007 1369.55/1369.96 c nbDecision=36500 #constraints=30503 1412.95/1413.37 c nbDecision=37000 #constraints=31005 1456.94/1457.33 c nbDecision=37500 #constraints=31505 1501.53/1501.94 c nbDecision=38000 #constraints=32007 1555.02/1555.43 c nbDecision=38500 #constraints=32501 1618.90/1619.30 c nbDecision=39000 #constraints=33001 1682.89/1683.36 c nbDecision=39500 #constraints=33503 1742.46/1742.94 c nbDecision=40000 #constraints=34001 1800.06/1800.50 Received signal 15 1800.16/1800.65 1800.16/1800.65 s UNKNOWN 1800.16/1800.65 1800.16/1800.65 c user time= 1799.66 s 1800.16/1800.65 c system time= 0.562914 s 1800.16/1800.65 c wall clock time=1800.66
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node68/watcher-357378-1176996125 -o ROOT/results/node68/solver-357378-1176996125 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357378-1176996125/instance-357378-1176996125.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.98 0.97 0.93 3/64 23485 /proc/meminfo: memFree=1330920/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=1468 CPUtime=0 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 175602056 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 367 161 126 317 0 46 0 [startup+0.10301 s] /proc/loadavg: 0.98 0.97 0.93 3/64 23485 /proc/meminfo: memFree=1330920/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=3172 CPUtime=0.1 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 626 0 0 0 10 0 0 0 18 0 1 0 175602056 3248128 608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 793 608 138 317 0 472 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3172 [startup+0.203018 s] /proc/loadavg: 0.98 0.97 0.93 3/64 23485 /proc/meminfo: memFree=1330920/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=3316 CPUtime=0.2 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 631 0 0 0 20 0 0 0 19 0 1 0 175602056 3395584 613 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 829 613 139 317 0 508 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 3316 [startup+0.302027 s] /proc/loadavg: 0.98 0.97 0.93 3/64 23485 /proc/meminfo: memFree=1330920/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=3448 CPUtime=0.29 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 690 0 0 0 29 0 0 0 19 0 1 0 175602056 3530752 672 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718701 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 862 672 139 317 0 541 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3448 [startup+0.702063 s] /proc/loadavg: 0.98 0.97 0.93 3/64 23485 /proc/meminfo: memFree=1330920/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=4896 CPUtime=0.69 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 1050 0 0 0 69 0 0 0 23 0 1 0 175602056 5013504 1032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 1224 1032 139 317 0 903 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4896 [startup+1.50114 s] /proc/loadavg: 0.98 0.97 0.93 2/65 23486 /proc/meminfo: memFree=1326496/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=6872 CPUtime=1.49 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 1540 0 0 0 149 0 0 0 25 0 1 0 175602056 7036928 1522 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 1718 1522 139 317 0 1397 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6872 [startup+3.10128 s] /proc/loadavg: 0.98 0.97 0.93 2/65 23486 /proc/meminfo: memFree=1324320/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=9884 CPUtime=3.09 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 2209 0 0 0 308 1 0 0 25 0 1 0 175602056 10121216 2191 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272675 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 2471 2191 139 317 0 2150 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9884 [startup+6.30157 s] /proc/loadavg: 0.98 0.97 0.93 2/65 23486 /proc/meminfo: memFree=1319392/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=13632 CPUtime=6.29 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 3217 0 0 0 627 2 0 0 25 0 1 0 175602056 13959168 3199 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604429 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 3408 3199 139 317 0 3087 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13632 [startup+12.7011 s] /proc/loadavg: 0.98 0.97 0.93 2/65 23486 /proc/meminfo: memFree=1311776/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=21216 CPUtime=12.68 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 4990 0 0 0 1265 3 0 0 25 0 1 0 175602056 21725184 4972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 5304 4972 139 317 0 4983 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 21216 [startup+25.5013 s] /proc/loadavg: 0.98 0.97 0.93 2/65 23486 /proc/meminfo: memFree=1303072/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=29044 CPUtime=25.49 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 7067 0 0 0 2544 5 0 0 25 0 1 0 175602056 29741056 7049 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554526 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 7261 7049 139 317 0 6940 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 29044 [startup+51.1016 s] /proc/loadavg: 0.99 0.97 0.93 2/65 23486 /proc/meminfo: memFree=1289504/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=43908 CPUtime=51.07 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 10493 0 0 0 5100 7 0 0 25 0 1 0 175602056 44961792 10475 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 10977 10475 139 317 0 10656 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 43908 [startup+102.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 23486 /proc/meminfo: memFree=1272608/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=59432 CPUtime=102.27 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 14650 0 0 0 10216 11 0 0 25 0 1 0 175602056 60858368 14632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 14858 14632 139 317 0 14537 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 59432 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 23486 /proc/meminfo: memFree=1254944/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=80780 CPUtime=162.25 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 19149 0 0 0 16211 14 0 0 25 0 1 0 175602056 82718720 19073 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 20195 19073 139 317 0 19874 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 80780 [startup+222.305 s] /proc/loadavg: 0.99 0.97 0.93 2/65 23486 /proc/meminfo: memFree=1242272/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=92272 CPUtime=222.24 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 22254 0 0 0 22207 17 0 0 25 0 1 0 175602056 94486528 22178 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 23068 22178 139 317 0 22747 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 92272 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 23486 /proc/meminfo: memFree=1231392/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=102484 CPUtime=282.22 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 25002 0 0 0 28203 19 0 0 25 0 1 0 175602056 104943616 24926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 25621 24926 139 317 0 25300 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 102484 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 23486 /proc/meminfo: memFree=1221280/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=111744 CPUtime=342.2 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 27498 0 0 0 34199 21 0 0 25 0 1 0 175602056 114425856 27422 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 27936 27422 139 317 0 27615 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 111744 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 23486 /proc/meminfo: memFree=1212128/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=120256 CPUtime=402.19 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 29786 0 0 0 40196 23 0 0 25 0 1 0 175602056 123142144 29710 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 30064 29710 139 317 0 29743 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 120256 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 23486 /proc/meminfo: memFree=1202208/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=141476 CPUtime=462.17 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 34138 0 0 0 46193 24 0 0 25 0 1 0 175602056 144871424 32166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 35369 32166 139 317 0 35048 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 141476 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 23486 /proc/meminfo: memFree=1194208/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=148936 CPUtime=522.17 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 36159 0 0 0 52190 27 0 0 25 0 1 0 175602056 152510464 34187 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718318 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 37234 34187 139 317 0 36913 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 148936 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 23486 /proc/meminfo: memFree=1186464/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=155984 CPUtime=582.15 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 38113 0 0 0 58187 28 0 0 25 0 1 0 175602056 159727616 36108 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564027 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 38996 36108 139 317 0 38675 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 155984 [startup+642.303 s] /proc/loadavg: 0.99 0.97 0.93 2/65 23486 /proc/meminfo: memFree=1179552/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=162124 CPUtime=642.13 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 39838 0 0 0 64183 30 0 0 25 0 1 0 175602056 166014976 37833 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 40531 37833 139 317 0 40210 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 162124 ################ # More data... # ################ [startup+882.306 s] /proc/loadavg: 0.99 0.97 0.93 2/65 23486 /proc/meminfo: memFree=1152544/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=186420 CPUtime=882.08 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 46609 0 0 0 88171 37 0 0 25 0 1 0 175602056 190894080 44571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 46605 44571 139 317 0 46284 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 186420 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 23486 /proc/meminfo: memFree=1146272/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=191940 CPUtime=942.06 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 48184 0 0 0 94167 39 0 0 25 0 1 0 175602056 196546560 46146 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 47985 46146 139 317 0 47664 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 191940 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 23486 /proc/meminfo: memFree=1140128/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=197288 CPUtime=1002.05 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 49713 0 0 0 100164 41 0 0 25 0 1 0 175602056 202022912 47675 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 49322 47675 139 317 0 49001 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 197288 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 23487 /proc/meminfo: memFree=1134560/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=202484 CPUtime=1062.04 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 51114 0 0 0 106161 43 0 0 25 0 1 0 175602056 207343616 49076 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 50621 49076 139 317 0 50300 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 202484 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 23488 /proc/meminfo: memFree=1128608/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=207440 CPUtime=1122.02 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 52564 0 0 0 112158 44 0 0 25 0 1 0 175602056 212418560 50526 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 51860 50526 139 317 0 51539 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 207440 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 23488 /proc/meminfo: memFree=1123360/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=212404 CPUtime=1182 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 53895 0 0 0 118155 45 0 0 25 0 1 0 175602056 217501696 51857 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 53101 51857 139 317 0 52780 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 212404 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 23488 /proc/meminfo: memFree=1117664/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=217212 CPUtime=1241.99 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 55286 0 0 0 124153 46 0 0 25 0 1 0 175602056 222425088 53248 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 54303 53248 139 317 0 53982 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 217212 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 23488 /proc/meminfo: memFree=1112608/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=221772 CPUtime=1301.98 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 56556 0 0 0 130151 47 0 0 25 0 1 0 175602056 227094528 54518 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 55443 54518 139 317 0 55122 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 221772 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 23488 /proc/meminfo: memFree=1107680/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=226336 CPUtime=1361.96 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 57887 0 0 0 136148 48 0 0 25 0 1 0 175602056 231768064 55849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 56584 55849 139 317 0 56263 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 226336 [startup+1422.3 s] /proc/loadavg: 1.06 0.99 0.94 2/65 23488 /proc/meminfo: memFree=1102304/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=230900 CPUtime=1421.94 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 59115 0 0 0 142145 49 0 0 25 0 1 0 175602056 236441600 57077 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 57725 57077 139 317 0 57404 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 230900 [startup+1482.3 s] /proc/loadavg: 1.02 0.99 0.94 2/65 23488 /proc/meminfo: memFree=1098272/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=234512 CPUtime=1481.93 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 60142 0 0 0 148143 50 0 0 25 0 1 0 175602056 240140288 58104 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 58628 58104 139 317 0 58307 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 234512 [startup+1542.31 s] /proc/loadavg: 1.00 0.99 0.94 2/65 23488 /proc/meminfo: memFree=1095072/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=237360 CPUtime=1541.91 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 60932 0 0 0 154140 51 0 0 25 0 1 0 175602056 243056640 58894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 59340 58894 139 317 0 59019 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 237360 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.94 2/65 23488 /proc/meminfo: memFree=1092192/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=240584 CPUtime=1601.9 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 61851 0 0 0 160138 52 0 0 25 0 1 0 175602056 246358016 59615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 60146 59615 139 317 0 59825 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 240584 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.94 2/65 23488 /proc/meminfo: memFree=1086368/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=272304 CPUtime=1661.88 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 69164 0 0 0 166134 54 0 0 25 0 1 0 175602056 278839296 61041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 68076 61041 139 317 0 67755 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 272304 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.94 2/65 23488 /proc/meminfo: memFree=1082720/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=275832 CPUtime=1721.87 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 70155 0 0 0 172132 55 0 0 25 0 1 0 175602056 282451968 61966 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 68958 61966 139 317 0 68637 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 275832 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.94 2/65 23488 /proc/meminfo: memFree=1079456/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=278680 CPUtime=1781.86 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 70999 0 0 0 178130 56 0 0 25 0 1 0 175602056 285368320 62777 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 69670 62777 139 317 0 69349 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 278680 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 0.99 0.94 2/65 23488 /proc/meminfo: memFree=1078624/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=279592 CPUtime=1800.06 /proc/23485/stat : 23485 (oree) R 23483 23485 23344 0 -1 4194304 71234 0 0 0 179950 56 0 0 25 0 1 0 175602056 286302208 62979 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23485/statm: 69898 62979 139 317 0 69577 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 279592 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 1.00 0.99 0.94 2/66 23489 /proc/meminfo: memFree=1308440/2055920 swapFree=4181952/4192956 [pid=23485] ppid=23483 vsize=0 CPUtime=1800.26 /proc/23485/stat : 23485 (oree) D 23483 23485 23344 0 -1 4194308 71252 0 0 0 179966 60 0 0 25 0 1 0 175602056 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 18446744072100051646 0 0 17 1 0 0 /proc/23485/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.72 CPU time (s): 1800.27 CPU user time (s): 1799.66 CPU system time (s): 0.603908 CPU usage (%): 99.9749 Max. virtual memory (cumulated for all children) (KiB): 279592 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.66 system time used= 0.603908 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 71252 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= 2526 runsolver used 1.26981 second user time and 3.67544 second system time The end
Begin job on node68 on Thu Apr 19 15:22:05 UTC 2007 IDJOB= 357378 IDBENCH= 2499 IDSOLVER= 172 FILE ID= node68/357378-1176996125 PBS_JOBID= 4630479 Free space on /tmp= 66326 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08a.opb COMMAND LINE= oree /tmp/evaluation/357378-1176996125/instance-357378-1176996125.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-357378-1176996125 -o ROOT/results/node68/solver-357378-1176996125 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357378-1176996125/instance-357378-1176996125.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= ff5b6f1c6eab20bc880408fc770c13e2 RANDOM SEED= 750969552 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node68.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.216 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.216 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: 1331328 kB Buffers: 30128 kB Cached: 621672 kB SwapCached: 4740 kB Active: 82096 kB Inactive: 580876 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1331328 kB SwapTotal: 4192956 kB SwapFree: 4181952 kB Dirty: 1688 kB Writeback: 0 kB Mapped: 15296 kB Slab: 47672 kB Committed_AS: 2744252 kB PageTables: 1380 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= 66326 MiB End job on node68 on Thu Apr 19 15:52:08 UTC 2007