Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.24 | 1800.76 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab2.opb |
MD5SUM | 5d1a4fe23dd6bae39a646bf16e233a2d |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 168760139499919105 |
Best CPU time to get the best result obtained on this benchmark | 1800.19 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 168760139499919105 |
Optimality of the best value was proved | NO |
Number of variables | 6363 |
Total number of constraints | 785 |
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 | 785 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 141 |
Number of terms in the objective function | 3774 |
Biggest coefficient in the objective function | 3604480000000000 |
Number of bits for the biggest coefficient in the objective function | 52 |
Sum of the numbers in the objective function | 483609165299803395 |
Number of bits of the sum of numbers in the objective function | 59 |
Biggest number in a constraint | 3604480000000000 |
Number of bits of the biggest number in a constraint | 52 |
Biggest sum of numbers in a constraint | 483609165299803395 |
Number of bits of the biggest sum of numbers | 59 |
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.10 c ...done 0.09/0.10 c #vars=6363 #constraints=1080 hasObjective=yes 0.19/0.23 c res. mode=mod 0.19/0.23 c VSIDS like heuristics 0.19/0.23 c complete search running 0.29/0.31 c restart after 401 decisions 0.29/0.33 c nbDecision=500 #constraints=1124 0.29/0.38 c restart after 801 decisions 0.39/0.43 c nbDecision=1000 #constraints=1193 0.49/0.53 c nbDecision=1500 #constraints=1254 0.49/0.56 c restart after 1601 decisions 0.59/0.63 c nbDecision=2000 #constraints=1291 0.69/0.77 c nbDecision=2500 #constraints=1428 0.79/0.87 c nbDecision=3000 #constraints=1484 0.89/0.95 c restart after 3201 decisions 0.99/1.02 c nbDecision=3500 #constraints=1566 1.09/1.19 c nbDecision=4000 #constraints=1677 1.29/1.39 c nbDecision=4500 #constraints=1789 1.59/1.63 c nbDecision=5000 #constraints=1942 1.89/1.91 c nbDecision=5500 #constraints=2115 2.29/2.34 c nbDecision=6000 #constraints=2374 2.59/2.61 c restart after 6401 decisions 2.59/2.64 c nbDecision=6500 #constraints=2503 2.89/2.95 c nbDecision=7000 #constraints=2630 3.19/3.20 c nbDecision=7500 #constraints=2733 3.39/3.46 c nbDecision=8000 #constraints=2839 3.79/3.88 c nbDecision=8500 #constraints=2960 4.19/4.23 c nbDecision=9000 #constraints=3067 4.59/4.67 c nbDecision=9500 #constraints=3185 5.09/5.11 c nbDecision=10000 #constraints=3303 5.49/5.56 c nbDecision=10500 #constraints=3426 5.98/6.06 c nbDecision=11000 #constraints=3531 6.69/6.76 c nbDecision=11500 #constraints=3685 7.29/7.37 c nbDecision=12000 #constraints=3800 7.89/7.93 c nbDecision=12500 #constraints=3931 8.19/8.24 c restart after 12801 decisions 8.49/8.52 c nbDecision=13000 #constraints=4013 8.89/8.95 c nbDecision=13500 #constraints=4084 9.29/9.31 c nbDecision=14000 #constraints=4148 9.69/9.74 c nbDecision=14500 #constraints=4217 9.99/10.06 c nbDecision=15000 #constraints=4264 10.39/10.48 c nbDecision=15500 #constraints=4336 11.09/11.15 c nbDecision=16000 #constraints=4416 11.89/11.98 c nbDecision=16500 #constraints=4504 12.79/12.80 c nbDecision=17000 #constraints=4607 13.58/13.63 c nbDecision=17500 #constraints=4709 14.48/14.55 c nbDecision=18000 #constraints=4825 15.18/15.28 c nbDecision=18500 #constraints=4915 15.98/16.04 c nbDecision=19000 #constraints=5007 16.88/16.95 c nbDecision=19500 #constraints=5111 17.68/17.79 c nbDecision=20000 #constraints=5199 18.38/18.49 c nbDecision=20500 #constraints=5280 19.18/19.29 c nbDecision=21000 #constraints=5384 20.08/20.12 c nbDecision=21500 #constraints=5478 20.79/20.89 c nbDecision=22000 #constraints=5574 21.49/21.52 c nbDecision=22500 #constraints=5654 22.29/22.31 c nbDecision=23000 #constraints=5780 22.99/23.03 c nbDecision=23500 #constraints=5874 24.09/24.20 c nbDecision=24000 #constraints=5978 25.29/25.38 c nbDecision=24500 #constraints=6081 26.39/26.48 c nbDecision=25000 #constraints=6167 27.58/27.67 c nbDecision=25500 #constraints=6275 27.88/27.96 c restart after 25601 decisions 28.38/28.47 c nbDecision=26000 #constraints=6332 29.38/29.40 c nbDecision=26500 #constraints=6415 30.18/30.24 c nbDecision=27000 #constraints=6490 30.69/30.72 c nbDecision=27500 #constraints=6539 31.18/31.26 c nbDecision=28000 #constraints=6575 32.48/32.51 c nbDecision=28500 #constraints=6642 32.98/33.07 c nbDecision=29000 #constraints=6698 33.58/33.68 c nbDecision=29500 #constraints=6751 34.88/34.99 c nbDecision=30000 #constraints=6871 36.48/36.55 c nbDecision=30500 #constraints=7038 38.58/38.61 c nbDecision=31000 #constraints=7264 40.87/40.91 c nbDecision=31500 #constraints=7384 42.57/42.66 c nbDecision=32000 #constraints=7496 45.18/45.20 c nbDecision=32500 #constraints=7638 47.68/47.74 c nbDecision=33000 #constraints=7774 51.38/51.45 c nbDecision=33500 #constraints=8008 52.08/52.17 c nbDecision=34000 #constraints=8083 52.58/52.68 c nbDecision=34500 #constraints=8147 53.68/53.72 c nbDecision=35000 #constraints=8225 54.57/54.65 c nbDecision=35500 #constraints=8302 55.37/55.42 c nbDecision=36000 #constraints=8354 55.87/55.97 c nbDecision=36500 #constraints=8416 56.57/56.68 c nbDecision=37000 #constraints=8487 57.57/57.62 c nbDecision=37500 #constraints=8591 58.07/58.10 c nbDecision=38000 #constraints=8652 60.98/61.02 c nbDecision=38500 #constraints=8857 63.68/63.72 c nbDecision=39000 #constraints=9055 66.17/66.21 c nbDecision=39500 #constraints=9181 67.97/68.02 c nbDecision=40000 #constraints=9337 68.57/68.64 c nbDecision=40500 #constraints=9415 69.27/69.36 c nbDecision=41000 #constraints=9500 69.87/69.92 c nbDecision=41500 #constraints=9573 70.47/70.54 c nbDecision=42000 #constraints=9649 71.67/71.78 c nbDecision=42500 #constraints=9742 72.77/72.86 c nbDecision=43000 #constraints=9856 75.27/75.39 c nbDecision=43500 #constraints=10031 77.07/77.16 c nbDecision=44000 #constraints=10168 81.57/81.70 c nbDecision=44500 #constraints=10458 82.27/82.32 c nbDecision=45000 #constraints=10521 84.37/84.46 c nbDecision=45500 #constraints=10665 85.77/85.88 c nbDecision=46000 #constraints=10770 87.77/87.88 c nbDecision=46500 #constraints=10914 92.07/92.17 c nbDecision=47000 #constraints=11150 94.36/94.42 c nbDecision=47500 #constraints=11299 96.77/96.89 c nbDecision=48000 #constraints=11438 97.96/98.08 c nbDecision=48500 #constraints=11531 101.67/101.73 c nbDecision=49000 #constraints=11724 106.57/106.70 c nbDecision=49500 #constraints=11972 109.16/109.28 c nbDecision=50000 #constraints=12108 109.96/110.08 c nbDecision=50500 #constraints=12171 111.57/111.62 c nbDecision=51000 #constraints=12273 111.87/111.94 c restart after 51201 decisions 118.56/118.70 c nbDecision=51500 #constraints=12421 130.86/130.97 c nbDecision=52000 #constraints=12640 145.45/145.57 c nbDecision=52500 #constraints=12900 158.44/158.52 c nbDecision=53000 #constraints=13108 172.55/172.64 c nbDecision=53500 #constraints=13325 181.94/182.01 c nbDecision=54000 #constraints=13487 192.35/192.46 c nbDecision=54500 #constraints=13662 203.35/203.44 c nbDecision=55000 #constraints=13860 211.44/211.53 c nbDecision=55500 #constraints=14002 220.13/220.21 c nbDecision=56000 #constraints=14175 230.63/230.76 c nbDecision=56500 #constraints=14348 238.43/238.58 c nbDecision=57000 #constraints=14480 246.52/246.60 c nbDecision=57500 #constraints=14613 256.23/256.38 c nbDecision=58000 #constraints=14780 265.72/265.82 c nbDecision=58500 #constraints=14945 271.92/272.00 c nbDecision=59000 #constraints=15070 287.02/287.13 c nbDecision=59500 #constraints=15350 300.01/300.15 c nbDecision=60000 #constraints=15576 322.31/322.45 c nbDecision=60500 #constraints=15941 334.60/334.78 c nbDecision=61000 #constraints=16159 356.09/356.21 c nbDecision=61500 #constraints=16493 372.70/372.82 c nbDecision=62000 #constraints=16741 384.30/384.48 c nbDecision=62500 #constraints=16935 397.79/397.99 c nbDecision=63000 #constraints=17154 412.49/412.68 c nbDecision=63500 #constraints=17376 439.68/439.82 c nbDecision=64000 #constraints=17770 461.47/461.67 c nbDecision=64500 #constraints=18088 483.77/483.99 c nbDecision=65000 #constraints=18431 502.36/502.55 c nbDecision=65500 #constraints=18735 532.56/532.78 c nbDecision=66000 #constraints=19161 562.54/562.72 c nbDecision=66500 #constraints=19590 574.45/574.62 c nbDecision=67000 #constraints=19781 582.85/583.00 c nbDecision=67500 #constraints=19930 605.24/605.48 c nbDecision=68000 #constraints=20241 625.73/625.92 c nbDecision=68500 #constraints=20530 648.02/648.21 c nbDecision=69000 #constraints=20854 674.42/674.69 c nbDecision=69500 #constraints=21214 700.21/700.45 c nbDecision=70000 #constraints=21570 730.31/730.57 c nbDecision=70500 #constraints=22001 757.20/757.41 c nbDecision=71000 #constraints=22388 777.49/777.76 c nbDecision=71500 #constraints=22663 800.39/800.60 c nbDecision=72000 #constraints=22973 819.09/819.38 c nbDecision=72500 #constraints=23236 839.58/839.88 c nbDecision=73000 #constraints=23528 850.98/851.27 c nbDecision=73500 #constraints=23689 876.66/876.97 c nbDecision=74000 #constraints=24053 889.67/889.92 c nbDecision=74500 #constraints=24254 921.66/921.93 c nbDecision=75000 #constraints=24638 958.95/959.26 c nbDecision=75500 #constraints=25088 994.84/995.17 c nbDecision=76000 #constraints=25493 1028.53/1028.85 c nbDecision=76500 #constraints=25928 1066.63/1066.97 c nbDecision=77000 #constraints=26349 1111.31/1111.67 c nbDecision=77500 #constraints=26800 1153.80/1154.11 c nbDecision=78000 #constraints=27255 1197.38/1197.75 c nbDecision=78500 #constraints=27701 1237.48/1237.86 c nbDecision=79000 #constraints=28139 1281.87/1282.24 c nbDecision=79500 #constraints=28593 1319.56/1319.91 c nbDecision=80000 #constraints=28973 1347.45/1347.84 c nbDecision=80500 #constraints=29274 1387.52/1387.90 c nbDecision=81000 #constraints=29685 1421.27/1421.73 c nbDecision=81500 #constraints=30050 1463.75/1464.24 c nbDecision=82000 #constraints=30465 1501.34/1501.85 c nbDecision=82500 #constraints=30826 1544.33/1544.88 c nbDecision=83000 #constraints=31221 1586.91/1587.41 c nbDecision=83500 #constraints=31642 1626.61/1627.12 c nbDecision=84000 #constraints=32076 1672.19/1672.73 c nbDecision=84500 #constraints=32522 1716.39/1716.99 c nbDecision=85000 #constraints=32945 1766.17/1766.71 c nbDecision=85500 #constraints=33366 1800.07/1800.61 Received signal 15 1800.17/1800.74 1800.17/1800.74 s UNKNOWN 1800.17/1800.74 1800.17/1800.74 c user time= 1799.98 s 1800.17/1800.74 c system time= 0.236963 s 1800.17/1800.74 c wall clock time=1800.74
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node60/watcher-357406-1176997079 -o ROOT/results/node60/solver-357406-1176997079 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357406-1176997079/instance-357406-1176997079.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.95 0.91 3/64 12797 /proc/meminfo: memFree=1409872/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=1468 CPUtime=0 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 147617870 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 367 160 127 317 0 46 0 [startup+0.0219721 s] /proc/loadavg: 0.91 0.95 0.91 3/64 12797 /proc/meminfo: memFree=1409872/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=1620 CPUtime=0.01 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 218 0 0 0 1 0 0 0 18 0 1 0 147617870 1658880 200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 405 200 131 317 0 84 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1620 [startup+0.101978 s] /proc/loadavg: 0.91 0.95 0.91 3/64 12797 /proc/meminfo: memFree=1409872/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=3336 CPUtime=0.09 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 633 0 0 0 9 0 0 0 18 0 1 0 147617870 3416064 615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 834 615 131 317 0 513 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3336 [startup+0.301998 s] /proc/loadavg: 0.91 0.95 0.91 3/64 12797 /proc/meminfo: memFree=1409872/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=4700 CPUtime=0.29 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 1005 0 0 0 29 0 0 0 19 0 1 0 147617870 4812800 987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606691 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 1175 987 170 317 0 854 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4700 [startup+0.701037 s] /proc/loadavg: 0.91 0.95 0.91 3/64 12797 /proc/meminfo: memFree=1409872/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=4964 CPUtime=0.69 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 1095 0 0 0 69 0 0 0 22 0 1 0 147617870 5083136 1077 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606871 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 1241 1077 170 317 0 920 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4964 [startup+1.50111 s] /proc/loadavg: 0.91 0.95 0.91 2/65 12798 /proc/meminfo: memFree=1405832/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=6148 CPUtime=1.49 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 1399 0 0 0 149 0 0 0 25 0 1 0 147617870 6295552 1381 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 1537 1381 170 317 0 1216 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6148 [startup+3.10127 s] /proc/loadavg: 0.91 0.95 0.91 2/65 12798 /proc/meminfo: memFree=1404104/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=8024 CPUtime=3.09 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 1831 0 0 0 309 0 0 0 25 0 1 0 147617870 8216576 1813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563374 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 2006 1813 170 317 0 1685 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8024 [startup+6.30159 s] /proc/loadavg: 0.92 0.95 0.91 2/65 12798 /proc/meminfo: memFree=1401544/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=10016 CPUtime=6.28 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 2343 0 0 0 628 0 0 0 25 0 1 0 147617870 10256384 2325 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134717911 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 2504 2325 170 317 0 2183 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 10016 [startup+12.7012 s] /proc/loadavg: 0.93 0.95 0.91 2/65 12798 /proc/meminfo: memFree=1399304/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=12248 CPUtime=12.69 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 2840 0 0 0 1268 1 0 0 25 0 1 0 147617870 12541952 2822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 3062 2822 170 317 0 2741 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12248 [startup+25.5015 s] /proc/loadavg: 0.94 0.96 0.91 2/65 12798 /proc/meminfo: memFree=1395144/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=16252 CPUtime=25.48 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 3838 0 0 0 2546 2 0 0 25 0 1 0 147617870 16642048 3820 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 4063 3820 170 317 0 3742 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16252 [startup+51.102 s] /proc/loadavg: 0.96 0.96 0.91 2/65 12798 /proc/meminfo: memFree=1388872/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=22768 CPUtime=51.08 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 5399 0 0 0 5105 3 0 0 25 0 1 0 147617870 23314432 5381 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 5692 5381 170 317 0 5371 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 22768 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.91 2/65 12800 /proc/meminfo: memFree=1374664/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=37508 CPUtime=102.27 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 8925 0 0 0 10220 7 0 0 25 0 1 0 147617870 38408192 8850 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 9377 8850 170 317 0 9056 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 37508 [startup+162.302 s] /proc/loadavg: 1.06 0.99 0.92 2/65 12800 /proc/meminfo: memFree=1371080/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=40984 CPUtime=162.24 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 9838 0 0 0 16216 8 0 0 25 0 1 0 147617870 41967616 9763 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 10246 9763 170 317 0 9925 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 40984 [startup+222.302 s] /proc/loadavg: 1.02 0.99 0.92 2/65 12800 /proc/meminfo: memFree=1369288/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=42952 CPUtime=222.23 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 10273 0 0 0 22214 9 0 0 25 0 1 0 147617870 43982848 10198 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718520 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 10738 10198 170 317 0 10417 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 42952 [startup+282.302 s] /proc/loadavg: 1.01 0.99 0.92 2/65 12800 /proc/meminfo: memFree=1367496/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=44708 CPUtime=282.22 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 10722 0 0 0 28212 10 0 0 25 0 1 0 147617870 45780992 10647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 11177 10647 170 317 0 10856 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 44708 [startup+342.302 s] /proc/loadavg: 1.00 0.99 0.92 2/65 12800 /proc/meminfo: memFree=1364936/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=47068 CPUtime=342.2 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 11340 0 0 0 34210 10 0 0 25 0 1 0 147617870 48197632 11265 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 11767 11265 170 317 0 11446 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 47068 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.92 2/65 12800 /proc/meminfo: memFree=1362824/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=49816 CPUtime=402.19 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 11993 0 0 0 40208 11 0 0 25 0 1 0 147617870 51011584 11805 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 12454 11805 170 317 0 12133 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 49816 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.92 2/65 12800 /proc/meminfo: memFree=1360840/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=52184 CPUtime=462.17 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 12475 0 0 0 46206 11 0 0 25 0 1 0 147617870 53436416 12287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 13046 12287 170 317 0 12725 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 52184 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.92 2/65 12800 /proc/meminfo: memFree=1359048/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=54152 CPUtime=522.16 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 12973 0 0 0 52204 12 0 0 25 0 1 0 147617870 55451648 12752 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 13538 12752 170 317 0 13217 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 54152 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.92 2/65 12800 /proc/meminfo: memFree=1356872/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=56256 CPUtime=582.14 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 13501 0 0 0 58201 13 0 0 25 0 1 0 147617870 57606144 13280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 14064 13280 170 317 0 13743 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 56256 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.92 2/65 12800 /proc/meminfo: memFree=1355080/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=57956 CPUtime=642.13 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 13935 0 0 0 64200 13 0 0 25 0 1 0 147617870 59346944 13714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563529 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 14489 13714 170 317 0 14168 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 57956 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 0.99 0.92 2/65 12800 /proc/meminfo: memFree=1347720/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=65628 CPUtime=882.06 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 15800 0 0 0 88191 15 0 0 25 0 1 0 147617870 67203072 15546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 16407 15546 170 317 0 16086 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 65628 [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.92 2/65 12800 /proc/meminfo: memFree=1345992/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=67328 CPUtime=942.05 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 16242 0 0 0 94189 16 0 0 25 0 1 0 147617870 68943872 15988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 16832 15988 170 317 0 16511 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 67328 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.92 2/65 12800 /proc/meminfo: memFree=1343880/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=69876 CPUtime=1002.04 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 16789 0 0 0 100187 17 0 0 25 0 1 0 147617870 71553024 16502 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 17469 16502 170 317 0 17148 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 69876 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.92 2/65 12800 /proc/meminfo: memFree=1342216/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=72084 CPUtime=1062.03 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 17407 0 0 0 106185 18 0 0 25 0 1 0 147617870 73814016 16889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 18021 16889 170 317 0 17700 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 72084 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.92 2/65 12800 /proc/meminfo: memFree=1340872/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=73908 CPUtime=1122.01 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 17901 0 0 0 112183 18 0 0 25 0 1 0 147617870 75681792 17251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 18477 17251 170 317 0 18156 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 73908 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.92 2/65 12800 /proc/meminfo: memFree=1339400/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=75220 CPUtime=1181.99 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 18274 0 0 0 118181 18 0 0 25 0 1 0 147617870 77025280 17624 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 18805 17624 170 317 0 18484 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 75220 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.92 2/65 12800 /proc/meminfo: memFree=1337864/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=77072 CPUtime=1241.98 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 18767 0 0 0 124179 19 0 0 25 0 1 0 147617870 78921728 17985 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 19268 17985 170 317 0 18947 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 77072 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.92 2/65 12800 /proc/meminfo: memFree=1336520/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=78392 CPUtime=1301.97 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 19115 0 0 0 130178 19 0 0 25 0 1 0 147617870 80273408 18333 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 19598 18333 170 317 0 19277 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 78392 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.92 2/65 12800 /proc/meminfo: memFree=1334984/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=79984 CPUtime=1361.95 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 19555 0 0 0 136176 19 0 0 25 0 1 0 147617870 81903616 18674 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 19996 18674 170 317 0 19675 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 79984 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.92 2/71 12970 /proc/meminfo: memFree=1332176/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=81300 CPUtime=1421.87 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 19946 0 0 0 142167 20 0 0 25 0 1 0 147617870 83251200 19065 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 20325 19065 170 317 0 20004 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 81300 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.92 2/65 12998 /proc/meminfo: memFree=1332040/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=82488 CPUtime=1481.85 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 20288 0 0 0 148164 21 0 0 25 0 1 0 147617870 84467712 19407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 20622 19407 170 317 0 20301 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 82488 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.92 2/65 12998 /proc/meminfo: memFree=1330696/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=83796 CPUtime=1541.83 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 20639 0 0 0 154162 21 0 0 25 0 1 0 147617870 85807104 19725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 20949 19725 170 317 0 20628 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 83796 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.92 2/65 12998 /proc/meminfo: memFree=1329416/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=84984 CPUtime=1601.82 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 20980 0 0 0 160160 22 0 0 25 0 1 0 147617870 87023616 20066 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 21246 20066 170 317 0 20925 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 84984 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.92 2/65 12998 /proc/meminfo: memFree=1327880/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=86332 CPUtime=1661.79 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 21373 0 0 0 166157 22 0 0 25 0 1 0 147617870 88403968 20426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 21583 20426 170 317 0 21262 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 86332 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.92 2/65 12998 /proc/meminfo: memFree=1325512/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=89740 CPUtime=1721.78 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 22226 0 0 0 172155 23 0 0 25 0 1 0 147617870 91893760 20987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 22435 20987 170 317 0 22114 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 89740 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.92 2/65 12998 /proc/meminfo: memFree=1325576/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=89740 CPUtime=1781.77 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 22286 0 0 0 178154 23 0 0 25 0 1 0 147617870 91893760 21047 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 22435 21047 170 317 0 22114 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 89740 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.99 0.92 2/65 12998 /proc/meminfo: memFree=1325192/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=90000 CPUtime=1800.07 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 22369 0 0 0 179984 23 0 0 25 0 1 0 147617870 92160000 21130 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 22500 21130 170 317 0 22179 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 90000 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 0.99 0.92 2/65 12998 /proc/meminfo: memFree=1325192/2055920 swapFree=4181684/4192956 [pid=12797] ppid=12795 vsize=90000 CPUtime=1800.17 /proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 22369 0 0 0 179994 23 0 0 25 0 1 0 147617870 92160000 21130 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12797/statm: 22500 21130 170 317 0 22179 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 90000 Child status: 0 Real time (s): 1800.76 CPU time (s): 1800.24 CPU user time (s): 1799.98 CPU system time (s): 0.252961 CPU usage (%): 99.9706 Max. virtual memory (cumulated for all children) (KiB): 90000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.98 system time used= 0.252961 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22385 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= 2534 runsolver used 1.39879 second user time and 3.60645 second system time The end
Begin job on node60 on Thu Apr 19 15:37:59 UTC 2007 IDJOB= 357406 IDBENCH= 2529 IDSOLVER= 172 FILE ID= node60/357406-1176997079 PBS_JOBID= 4630431 Free space on /tmp= 66416 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-timtab2.opb COMMAND LINE= oree /tmp/evaluation/357406-1176997079/instance-357406-1176997079.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-357406-1176997079 -o ROOT/results/node60/solver-357406-1176997079 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357406-1176997079/instance-357406-1176997079.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 5d1a4fe23dd6bae39a646bf16e233a2d RANDOM SEED= 778193058 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node60.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.214 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.214 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: 1410344 kB Buffers: 27420 kB Cached: 544532 kB SwapCached: 5028 kB Active: 74560 kB Inactive: 508424 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1410344 kB SwapTotal: 4192956 kB SwapFree: 4181684 kB Dirty: 1652 kB Writeback: 0 kB Mapped: 15560 kB Slab: 48536 kB Committed_AS: 1584432 kB PageTables: 1464 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= 66416 MiB End job on node60 on Thu Apr 19 16:08:02 UTC 2007