Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.23 | 1800.71 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-p6000.opb |
MD5SUM | 0c3c379676a8ddac6d8ad36181bfd2e9 |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -911092 |
Best CPU time to get the best result obtained on this benchmark | 1800.49 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -950703 |
Optimality of the best value was proved | NO |
Number of variables | 6000 |
Total number of constraints | 2171 |
Number of constraints which are clauses | 222 |
Number of constraints which are cardinality constraints (but not clauses) | 1914 |
Number of constraints which are nor clauses,nor cardinality constraints | 35 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 5998 |
Number of terms in the objective function | 5995 |
Biggest coefficient in the objective function | 91110 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 12969603 |
Number of bits of the sum of numbers in the objective function | 24 |
Biggest number in a constraint | 800000 |
Number of bits of the biggest number in a constraint | 20 |
Biggest sum of numbers in a constraint | 28761906 |
Number of bits of the biggest sum of numbers | 25 |
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.07/0.08 c ...done 0.07/0.08 c #vars=6000 #constraints=2295 hasObjective=yes 0.09/0.13 c res. mode=mod 0.09/0.13 c VSIDS like heuristics 0.09/0.13 c complete search running 0.09/0.15 c restart after 401 decisions 0.09/0.16 c nbDecision=500 #constraints=2295 0.09/0.18 c restart after 801 decisions 0.09/0.19 c nbDecision=1000 #constraints=2295 5.79/5.84 c nbDecision=1500 #constraints=2552 7.99/8.04 c restart after 1601 decisions 8.09/8.11 c nbDecision=2000 #constraints=2653 18.08/18.18 c nbDecision=2500 #constraints=3108 29.08/29.14 c nbDecision=3000 #constraints=3608 33.58/33.63 c restart after 3201 decisions 33.88/33.95 c nbDecision=3500 #constraints=3810 42.08/42.13 c nbDecision=4000 #constraints=4160 53.37/53.46 c nbDecision=4500 #constraints=4650 64.87/64.97 c nbDecision=5000 #constraints=5141 76.27/76.34 c nbDecision=5500 #constraints=5632 87.97/88.09 c nbDecision=6000 #constraints=6128 97.26/97.37 c restart after 6401 decisions 98.66/98.74 c nbDecision=6500 #constraints=6529 103.27/103.39 c nbDecision=7000 #constraints=6683 115.26/115.33 c nbDecision=7500 #constraints=7176 127.35/127.46 c nbDecision=8000 #constraints=7663 139.56/139.65 c nbDecision=8500 #constraints=8150 151.55/151.64 c nbDecision=9000 #constraints=8641 164.05/164.13 c nbDecision=9500 #constraints=9138 176.04/176.14 c nbDecision=10000 #constraints=9630 188.34/188.44 c nbDecision=10500 #constraints=10129 200.54/200.61 c nbDecision=11000 #constraints=10629 213.03/213.15 c nbDecision=11500 #constraints=11128 225.63/225.72 c nbDecision=12000 #constraints=11627 238.42/238.54 c nbDecision=12500 #constraints=12124 246.12/246.29 c restart after 12801 decisions 250.12/250.22 c nbDecision=13000 #constraints=12419 258.12/258.25 c nbDecision=13500 #constraints=12669 270.71/270.86 c nbDecision=14000 #constraints=13160 283.41/283.50 c nbDecision=14500 #constraints=13645 296.01/296.10 c nbDecision=15000 #constraints=14127 309.50/309.62 c nbDecision=15500 #constraints=14617 322.81/322.94 c nbDecision=16000 #constraints=15107 336.19/336.35 c nbDecision=16500 #constraints=15596 349.30/349.44 c nbDecision=17000 #constraints=16087 362.70/362.89 c nbDecision=17500 #constraints=16581 375.49/375.67 c nbDecision=18000 #constraints=17082 389.69/389.87 c nbDecision=18500 #constraints=17573 404.09/404.21 c nbDecision=19000 #constraints=18057 417.68/417.85 c nbDecision=19500 #constraints=18549 431.47/431.65 c nbDecision=20000 #constraints=19038 446.07/446.21 c nbDecision=20500 #constraints=19528 460.67/460.80 c nbDecision=21000 #constraints=20019 475.26/475.49 c nbDecision=21500 #constraints=20506 489.66/489.82 c nbDecision=22000 #constraints=20993 504.35/504.53 c nbDecision=22500 #constraints=21463 520.65/520.86 c nbDecision=23000 #constraints=21932 538.04/538.22 c nbDecision=23500 #constraints=22399 555.25/555.44 c nbDecision=24000 #constraints=22878 571.74/571.93 c nbDecision=24500 #constraints=23358 588.03/588.24 c nbDecision=25000 #constraints=23840 603.33/603.56 c nbDecision=25500 #constraints=24329 606.52/606.79 c restart after 25601 decisions 617.92/618.13 c nbDecision=26000 #constraints=24430 632.42/632.66 c nbDecision=26500 #constraints=24876 647.12/647.39 c nbDecision=27000 #constraints=25369 662.61/662.82 c nbDecision=27500 #constraints=25860 679.51/679.76 c nbDecision=28000 #constraints=26340 696.30/696.57 c nbDecision=28500 #constraints=26826 712.30/712.51 c nbDecision=29000 #constraints=27310 729.60/729.80 c nbDecision=29500 #constraints=27769 749.49/749.75 c nbDecision=30000 #constraints=28247 765.58/765.82 c nbDecision=30500 #constraints=28736 782.99/783.23 c nbDecision=31000 #constraints=29220 799.48/799.73 c nbDecision=31500 #constraints=29714 815.88/816.12 c nbDecision=32000 #constraints=30200 832.87/833.16 c nbDecision=32500 #constraints=30689 850.07/850.36 c nbDecision=33000 #constraints=31175 867.16/867.49 c nbDecision=33500 #constraints=31658 885.26/885.56 c nbDecision=34000 #constraints=32130 902.75/903.08 c nbDecision=34500 #constraints=32607 920.45/920.75 c nbDecision=35000 #constraints=33098 937.14/937.48 c nbDecision=35500 #constraints=33579 955.64/955.92 c nbDecision=36000 #constraints=34055 975.23/975.52 c nbDecision=36500 #constraints=34526 997.12/997.44 c nbDecision=37000 #constraints=35002 1014.92/1015.28 c nbDecision=37500 #constraints=35497 1031.91/1032.25 c nbDecision=38000 #constraints=35989 1050.91/1051.26 c nbDecision=38500 #constraints=36483 1072.21/1072.51 c nbDecision=39000 #constraints=36981 1093.89/1094.21 c nbDecision=39500 #constraints=37479 1110.89/1111.22 c nbDecision=40000 #constraints=37976 1144.59/1144.98 c nbDecision=40500 #constraints=38470 1163.48/1163.85 c nbDecision=41000 #constraints=38960 1182.87/1183.26 c nbDecision=41500 #constraints=39450 1204.77/1205.15 c nbDecision=42000 #constraints=39925 1223.36/1223.76 c nbDecision=42500 #constraints=40418 1244.05/1244.49 c nbDecision=43000 #constraints=40905 1264.45/1264.82 c nbDecision=43500 #constraints=41393 1284.95/1285.38 c nbDecision=44000 #constraints=41880 1307.24/1307.66 c nbDecision=44500 #constraints=42359 1325.33/1325.75 c nbDecision=45000 #constraints=42853 1343.93/1344.39 c nbDecision=45500 #constraints=43345 1364.63/1365.03 c nbDecision=46000 #constraints=43832 1385.72/1386.15 c nbDecision=46500 #constraints=44316 1407.32/1407.70 c nbDecision=47000 #constraints=44806 1429.41/1429.85 c nbDecision=47500 #constraints=45302 1447.71/1448.18 c nbDecision=48000 #constraints=45800 1467.20/1467.68 c nbDecision=48500 #constraints=46295 1488.00/1488.44 c nbDecision=49000 #constraints=46778 1509.19/1509.69 c nbDecision=49500 #constraints=47264 1533.08/1533.58 c nbDecision=50000 #constraints=47740 1555.18/1555.69 c nbDecision=50500 #constraints=48229 1577.57/1578.09 c nbDecision=51000 #constraints=48720 1586.06/1586.53 c restart after 51201 decisions 1607.06/1607.58 c nbDecision=51500 #constraints=48919 1627.25/1627.70 c nbDecision=52000 #constraints=49264 1650.05/1650.53 c nbDecision=52500 #constraints=49759 1670.94/1671.46 c nbDecision=53000 #constraints=50254 1693.94/1694.42 c nbDecision=53500 #constraints=50738 1717.03/1717.57 c nbDecision=54000 #constraints=51224 1739.32/1739.85 c nbDecision=54500 #constraints=51714 1762.92/1763.42 c nbDecision=55000 #constraints=52211 1783.21/1783.78 c nbDecision=55500 #constraints=52708 1800.02/1800.50 Received signal 15 1800.02/1800.53 1800.02/1800.53 s UNKNOWN 1800.02/1800.53 1800.02/1800.53 c user time= 1798.62 s 1800.02/1800.53 c system time= 1.43378 s 1800.02/1800.53 c wall clock time=1800.53
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node50/watcher-356851-1176845406 -o ROOT/results/node50/solver-356851-1176845406 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356851-1176845406/instance-356851-1176845406.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3889 /proc/meminfo: memFree=1492408/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=1468 CPUtime=0 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 39385757 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 367 161 126 317 0 46 0 [startup+0.0807369 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3889 /proc/meminfo: memFree=1492408/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=2548 CPUtime=0.07 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 413 0 0 0 7 0 0 0 18 0 1 0 39385757 2609152 395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270583 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 637 395 131 317 0 316 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2548 [startup+0.101738 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3889 /proc/meminfo: memFree=1492408/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=3344 CPUtime=0.09 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 616 0 0 0 9 0 0 0 18 0 1 0 39385757 3424256 598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 836 598 137 317 0 515 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3344 [startup+0.301755 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3889 /proc/meminfo: memFree=1492408/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=3760 CPUtime=0.29 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 702 0 0 0 29 0 0 0 19 0 1 0 39385757 3850240 684 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 940 684 139 317 0 619 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3760 [startup+0.70179 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3889 /proc/meminfo: memFree=1492408/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=4024 CPUtime=0.69 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 793 0 0 0 69 0 0 0 23 0 1 0 39385757 4120576 775 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 1006 775 139 317 0 685 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4024 [startup+1.50186 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3890 /proc/meminfo: memFree=1489520/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=4824 CPUtime=1.49 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 975 0 0 0 149 0 0 0 25 0 1 0 39385757 4939776 957 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 1206 957 139 317 0 885 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4824 [startup+3.102 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3890 /proc/meminfo: memFree=1488176/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=6692 CPUtime=3.09 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 1456 0 0 0 308 1 0 0 25 0 1 0 39385757 6852608 1438 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 1673 1438 139 317 0 1352 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6692 [startup+6.30128 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3890 /proc/meminfo: memFree=1485176/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=10140 CPUtime=6.29 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 2305 0 0 0 628 1 0 0 25 0 1 0 39385757 10383360 2287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 2535 2287 139 317 0 2214 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10140 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3890 /proc/meminfo: memFree=1477368/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=16856 CPUtime=12.69 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 3988 0 0 0 1267 2 0 0 25 0 1 0 39385757 17260544 3970 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 4214 3970 139 317 0 3893 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16856 [startup+25.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3890 /proc/meminfo: memFree=1463992/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=30340 CPUtime=25.49 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 7258 0 0 0 2545 4 0 0 25 0 1 0 39385757 31068160 7240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 7585 7240 139 317 0 7264 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 30340 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3890 /proc/meminfo: memFree=1439480/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=56628 CPUtime=51.08 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 13460 0 0 0 5101 7 0 0 25 0 1 0 39385757 57987072 13442 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 14157 13442 170 317 0 13836 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 56628 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3890 /proc/meminfo: memFree=1393016/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=106712 CPUtime=102.26 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 24945 0 0 0 10213 13 0 0 25 0 1 0 39385757 109273088 24927 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 26678 24927 170 317 0 26357 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 106712 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3890 /proc/meminfo: memFree=1347064/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=148580 CPUtime=162.25 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 36555 0 0 0 16205 20 0 0 25 0 1 0 39385757 152145920 36479 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 37145 36479 170 317 0 36824 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 148580 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3890 /proc/meminfo: memFree=1287416/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=219804 CPUtime=222.23 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 51355 0 0 0 22196 27 0 0 25 0 1 0 39385757 225079296 51279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 54951 51279 170 317 0 54630 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 219804 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3890 /proc/meminfo: memFree=1246840/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=256200 CPUtime=282.21 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 61576 0 0 0 28190 31 0 0 25 0 1 0 39385757 262348800 61500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 64050 61500 170 317 0 63729 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 256200 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3890 /proc/meminfo: memFree=1204472/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=294544 CPUtime=342.2 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 72051 0 0 0 34183 37 0 0 25 0 1 0 39385757 301613056 71975 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 73636 71975 170 317 0 73315 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 294544 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3890 /proc/meminfo: memFree=1163512/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=332692 CPUtime=402.18 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 82489 0 0 0 40177 41 0 0 25 0 1 0 39385757 340676608 82298 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270569 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 83173 82298 170 317 0 82852 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 332692 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3890 /proc/meminfo: memFree=1108152/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=426576 CPUtime=462.17 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 103752 0 0 0 46167 50 0 0 25 0 1 0 39385757 436813824 96004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 106644 96004 170 317 0 106323 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 426576 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3890 /proc/meminfo: memFree=1069944/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=459156 CPUtime=522.15 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 113292 0 0 0 52160 55 0 0 25 0 1 0 39385757 470175744 105544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 114789 105544 170 317 0 114468 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 459156 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3890 /proc/meminfo: memFree=1035896/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=489352 CPUtime=582.14 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 121892 0 0 0 58154 60 0 0 25 0 1 0 39385757 501096448 114045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 122338 114045 170 317 0 122017 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 489352 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3890 /proc/meminfo: memFree=1005304/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=515616 CPUtime=642.13 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 129482 0 0 0 64150 63 0 0 25 0 1 0 39385757 527990784 121602 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 128904 121602 170 317 0 128583 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 515616 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3890 /proc/meminfo: memFree=834872/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=663580 CPUtime=942.04 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 172484 0 0 0 94122 82 0 0 25 0 1 0 39385757 679505920 164212 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 165895 164212 170 317 0 165574 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 663580 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3890 /proc/meminfo: memFree=791800/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=803340 CPUtime=1002.02 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 205240 0 0 0 100108 94 0 0 25 0 1 0 39385757 822620160 174803 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 200835 174803 170 317 0 200514 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 803340 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3890 /proc/meminfo: memFree=759800/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=831172 CPUtime=1062.01 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 213429 0 0 0 106102 99 0 0 25 0 1 0 39385757 851120128 182927 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602749 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 207793 182927 170 317 0 207472 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 831172 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3890 /proc/meminfo: memFree=730680/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=855100 CPUtime=1121.99 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 220617 0 0 0 112097 102 0 0 25 0 1 0 39385757 875622400 190115 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 213775 190115 170 317 0 213454 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 855100 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3890 /proc/meminfo: memFree=705656/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=877860 CPUtime=1181.97 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 227125 0 0 0 118091 106 0 0 25 0 1 0 39385757 898928640 196428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 219465 196428 170 317 0 219144 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 877860 [startup+1242.3 s] /proc/loadavg: 1.05 1.01 1.00 2/65 3890 /proc/meminfo: memFree=676088/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=902624 CPUtime=1241.96 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 234519 0 0 0 124087 109 0 0 25 0 1 0 39385757 924286976 203756 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 225656 203756 170 317 0 225335 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 902624 [startup+1302.3 s] /proc/loadavg: 1.13 1.04 1.01 2/65 3890 /proc/meminfo: memFree=649400/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=926052 CPUtime=1301.95 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 241187 0 0 0 130081 114 0 0 25 0 1 0 39385757 948277248 210359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 231513 210359 170 317 0 231192 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 926052 [startup+1362.3 s] /proc/loadavg: 1.05 1.03 1.00 2/65 3890 /proc/meminfo: memFree=617784/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=953072 CPUtime=1361.93 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 249551 0 0 0 136075 118 0 0 25 0 1 0 39385757 975945728 218723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 238268 218723 170 317 0 237947 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 953072 [startup+1422.31 s] /proc/loadavg: 1.02 1.02 1.00 2/65 3890 /proc/meminfo: memFree=590072/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=975720 CPUtime=1421.91 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 256015 0 0 0 142070 121 0 0 25 0 1 0 39385757 999137280 225187 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 243930 225187 170 317 0 243609 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 975720 [startup+1482.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 3890 /proc/meminfo: memFree=558520/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=1002484 CPUtime=1481.89 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 263912 0 0 0 148064 125 0 0 25 0 1 0 39385757 1026543616 233084 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 250621 233084 170 317 0 250300 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1002484 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 3890 /proc/meminfo: memFree=531192/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=1024912 CPUtime=1541.87 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 270724 0 0 0 154058 129 0 0 25 0 1 0 39385757 1049509888 239896 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 256228 239896 170 317 0 255907 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1024912 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 3890 /proc/meminfo: memFree=510904/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=1041780 CPUtime=1601.86 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 275758 0 0 0 160055 131 0 0 25 0 1 0 39385757 1066782720 244930 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 260445 244930 170 317 0 260124 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1041780 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3890 /proc/meminfo: memFree=488312/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=1061044 CPUtime=1661.84 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 281398 0 0 0 166050 134 0 0 25 0 1 0 39385757 1086509056 250570 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 265261 250570 170 317 0 264940 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1061044 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3890 /proc/meminfo: memFree=463032/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=1083328 CPUtime=1721.83 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 287784 0 0 0 172045 138 0 0 25 0 1 0 39385757 1109327872 256923 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 270832 256923 170 317 0 270511 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1083328 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3890 /proc/meminfo: memFree=435000/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=1106472 CPUtime=1781.82 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 294805 0 0 0 178040 142 0 0 25 0 1 0 39385757 1133027328 263911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 276618 263911 170 317 0 276297 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1106472 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3890 /proc/meminfo: memFree=426104/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=1113704 CPUtime=1800.02 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 297006 0 0 0 179859 143 0 0 25 0 1 0 39385757 1140432896 266079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 278426 266079 170 317 0 278105 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1113704 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3891 /proc/meminfo: memFree=816688/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=0 CPUtime=1800.12 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194308 297026 0 0 0 179862 150 0 0 25 0 1 0 39385757 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3891 /proc/meminfo: memFree=816688/2055920 swapFree=4183816/4192956 [pid=3889] ppid=3887 vsize=0 CPUtime=1800.21 /proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194308 297026 0 0 0 179862 159 0 0 25 0 1 0 39385757 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3889/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.71 CPU time (s): 1800.23 CPU user time (s): 1798.63 CPU system time (s): 1.60276 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 1113704 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.63 system time used= 1.60276 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 297026 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= 4042 runsolver used 1.2938 second user time and 3.64445 second system time The end
Begin job on node50 on Tue Apr 17 21:30:06 UTC 2007 IDJOB= 356851 IDBENCH= 1517 IDSOLVER= 172 FILE ID= node50/356851-1176845406 PBS_JOBID= 4590164 Free space on /tmp= 66542 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p6000.opb COMMAND LINE= oree /tmp/evaluation/356851-1176845406/instance-356851-1176845406.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-356851-1176845406 -o ROOT/results/node50/solver-356851-1176845406 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356851-1176845406/instance-356851-1176845406.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 0c3c379676a8ddac6d8ad36181bfd2e9 RANDOM SEED= 209467175 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node50.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.232 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.232 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: 1492816 kB Buffers: 39724 kB Cached: 448236 kB SwapCached: 3272 kB Active: 161464 kB Inactive: 336320 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1492816 kB SwapTotal: 4192956 kB SwapFree: 4183816 kB Dirty: 1568 kB Writeback: 0 kB Mapped: 15568 kB Slab: 51264 kB Committed_AS: 998908 kB PageTables: 1460 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= 66542 MiB End job on node50 on Tue Apr 17 22:00:08 UTC 2007