Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.17 | 1800.79 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-nsrand-ipx.opb |
MD5SUM | b75dadb532de8158b35ca12cd6b47e2f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 294914 |
Best CPU time to get the best result obtained on this benchmark | 1800.24 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 284209 |
Optimality of the best value was proved | NO |
Number of variables | 6651 |
Total number of constraints | 721 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 331 |
Number of constraints which are nor clauses,nor cardinality constraints | 390 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 6651 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 527653 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.49/0.50 c ...done 0.49/0.50 c #vars=6651 #constraints=722 hasObjective=yes 0.49/0.55 c res. mode=mod 0.49/0.55 c VSIDS like heuristics 0.49/0.55 c complete search running 3.30/3.34 c restart after 401 decisions 3.59/3.67 c nbDecision=500 #constraints=1025 5.70/5.71 c restart after 801 decisions 9.89/9.96 c nbDecision=1000 #constraints=1430 24.38/24.43 c nbDecision=1500 #constraints=1927 25.08/25.15 c restart after 1601 decisions 37.08/37.13 c nbDecision=2000 #constraints=2332 54.98/55.04 c nbDecision=2500 #constraints=2832 64.27/64.31 c nbDecision=3000 #constraints=3331 66.07/66.16 c restart after 3201 decisions 68.96/69.06 c nbDecision=3500 #constraints=3732 85.86/85.97 c nbDecision=4000 #constraints=4232 96.96/97.07 c nbDecision=4500 #constraints=4732 113.95/114.09 c nbDecision=5000 #constraints=5232 129.95/130.09 c nbDecision=5500 #constraints=5732 139.74/139.89 c nbDecision=6000 #constraints=6232 149.94/150.08 c restart after 6401 decisions 151.44/151.57 c nbDecision=6500 #constraints=6636 164.94/165.01 c nbDecision=7000 #constraints=7135 181.73/181.89 c nbDecision=7500 #constraints=7635 203.62/203.74 c nbDecision=8000 #constraints=8135 217.72/217.80 c nbDecision=8500 #constraints=8635 240.10/240.24 c nbDecision=9000 #constraints=9135 245.70/245.89 c nbDecision=9500 #constraints=9635 273.10/273.28 c nbDecision=10000 #constraints=10135 291.19/291.37 c nbDecision=10500 #constraints=10635 306.99/307.13 c nbDecision=11000 #constraints=11135 336.27/336.43 c nbDecision=11500 #constraints=11635 341.68/341.80 c nbDecision=12000 #constraints=12135 371.56/371.76 c nbDecision=12500 #constraints=12636 376.46/376.67 c restart after 12801 decisions 387.06/387.21 c nbDecision=13000 #constraints=13038 414.85/415.09 c nbDecision=13500 #constraints=13538 446.23/446.44 c nbDecision=14000 #constraints=14038 489.62/489.89 c nbDecision=14500 #constraints=14538 508.42/508.61 c nbDecision=15000 #constraints=15038 530.51/530.78 c nbDecision=15500 #constraints=15538 570.39/570.60 c nbDecision=16000 #constraints=16038 599.39/599.63 c nbDecision=16500 #constraints=16538 614.47/614.72 c nbDecision=17000 #constraints=17038 646.77/647.06 c nbDecision=17500 #constraints=17538 696.55/696.86 c nbDecision=18000 #constraints=18038 736.74/737.03 c nbDecision=18500 #constraints=18538 756.44/756.72 c nbDecision=19000 #constraints=19038 816.61/816.95 c nbDecision=19500 #constraints=19538 823.71/824.06 c nbDecision=20000 #constraints=20038 860.50/860.85 c nbDecision=20500 #constraints=20538 889.59/889.90 c nbDecision=21000 #constraints=21038 947.97/948.31 c nbDecision=21500 #constraints=21538 999.65/1000.07 c nbDecision=22000 #constraints=22038 1037.94/1038.37 c nbDecision=22500 #constraints=22538 1079.52/1079.96 c nbDecision=23000 #constraints=23038 1105.12/1105.59 c nbDecision=23500 #constraints=23538 1129.71/1130.16 c nbDecision=24000 #constraints=24038 1197.39/1197.85 c nbDecision=24500 #constraints=24538 1224.07/1224.56 c nbDecision=25000 #constraints=25038 1283.95/1284.41 c nbDecision=25500 #constraints=25538 1298.55/1299.03 c restart after 25601 decisions 1307.74/1308.27 c nbDecision=26000 #constraints=25942 1318.14/1318.63 c nbDecision=26500 #constraints=26441 1327.93/1328.48 c nbDecision=27000 #constraints=26941 1337.43/1337.94 c nbDecision=27500 #constraints=27441 1346.72/1347.27 c nbDecision=28000 #constraints=27941 1356.32/1356.87 c nbDecision=28500 #constraints=28441 1366.82/1367.34 c nbDecision=29000 #constraints=28941 1376.42/1376.93 c nbDecision=29500 #constraints=29441 1385.12/1385.64 c nbDecision=30000 #constraints=29942 1393.51/1394.05 c nbDecision=30500 #constraints=30441 1403.11/1403.65 c nbDecision=31000 #constraints=30941 1412.50/1413.04 c nbDecision=31500 #constraints=31441 1426.00/1426.50 c nbDecision=32000 #constraints=31941 1437.60/1438.19 c nbDecision=32500 #constraints=32441 1448.30/1448.87 c nbDecision=33000 #constraints=32941 1456.39/1456.96 c nbDecision=33500 #constraints=33441 1465.99/1466.51 c nbDecision=34000 #constraints=33941 1477.28/1477.82 c nbDecision=34500 #constraints=34441 1486.08/1486.68 c nbDecision=35000 #constraints=34941 1496.38/1496.94 c nbDecision=35500 #constraints=35441 1507.07/1507.67 c nbDecision=36000 #constraints=35941 1519.87/1520.47 c nbDecision=36500 #constraints=36441 1535.76/1536.31 c nbDecision=37000 #constraints=36941 1561.05/1561.61 c nbDecision=37500 #constraints=37442 1610.94/1611.59 c nbDecision=38000 #constraints=37942 1649.83/1650.45 c nbDecision=38500 #constraints=38441 1663.31/1663.91 c nbDecision=39000 #constraints=38941 1676.91/1677.59 c nbDecision=39500 #constraints=39441 1689.21/1689.87 c nbDecision=40000 #constraints=39941 1700.21/1700.80 c nbDecision=40500 #constraints=40441 1714.30/1714.98 c nbDecision=41000 #constraints=40941 1727.69/1728.37 c nbDecision=41500 #constraints=41441 1740.49/1741.19 c nbDecision=42000 #constraints=41941 1750.59/1751.29 c nbDecision=42500 #constraints=42441 1763.19/1763.88 c nbDecision=43000 #constraints=42941 1775.58/1776.27 c nbDecision=43500 #constraints=43441 1794.87/1795.53 c nbDecision=44000 #constraints=43942 1800.08/1800.70 Received signal 15 1800.08/1800.71 1800.08/1800.71 s UNKNOWN 1800.08/1800.71 1800.08/1800.71 c user time= 1799.26 s 1800.08/1800.71 c system time= 0.833873 s 1800.08/1800.71 c wall clock time=1800.72
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node38/watcher-357014-1176851452 -o ROOT/results/node38/solver-357014-1176851452 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357014-1176851452/instance-357014-1176851452.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.99 0.97 0.92 3/77 15048 /proc/meminfo: memFree=1627432/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=1468 CPUtime=0 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 117311831 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 367 163 127 317 0 46 0 [startup+0.086394 s] /proc/loadavg: 0.99 0.97 0.92 3/77 15048 /proc/meminfo: memFree=1627432/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=2816 CPUtime=0.08 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 509 0 0 0 8 0 0 0 18 0 1 0 117311831 2883584 491 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 704 491 131 317 0 383 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2816 [startup+0.102397 s] /proc/loadavg: 0.99 0.97 0.92 3/77 15048 /proc/meminfo: memFree=1627432/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=3216 CPUtime=0.09 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 588 0 0 0 9 0 0 0 18 0 1 0 117311831 3293184 570 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 804 570 131 317 0 483 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3216 [startup+0.301434 s] /proc/loadavg: 0.99 0.97 0.92 3/77 15048 /proc/meminfo: memFree=1627432/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=6728 CPUtime=0.29 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 1433 0 0 0 29 0 0 0 19 0 1 0 117311831 6889472 1415 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 1682 1415 131 317 0 1361 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6728 [startup+0.702511 s] /proc/loadavg: 0.99 0.97 0.92 3/77 15048 /proc/meminfo: memFree=1627432/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=13748 CPUtime=0.7 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 3128 0 0 0 68 2 0 0 23 0 1 0 117311831 14077952 3110 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 3437 3110 138 317 0 3116 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 13748 [startup+1.50167 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15049 /proc/meminfo: memFree=1615456/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=13880 CPUtime=1.5 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 3172 0 0 0 148 2 0 0 25 0 1 0 117311831 14213120 3154 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715604 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 3470 3154 139 317 0 3149 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 13880 [startup+3.10197 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15049 /proc/meminfo: memFree=1614432/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=16248 CPUtime=3.09 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 3748 0 0 0 307 2 0 0 25 0 1 0 117311831 16637952 3730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 4062 3730 139 317 0 3741 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16248 [startup+6.30159 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15049 /proc/meminfo: memFree=1610080/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=19420 CPUtime=6.29 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 4533 0 0 0 625 4 0 0 25 0 1 0 117311831 19886080 4515 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 4855 4515 139 317 0 4534 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19420 [startup+12.7018 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15049 /proc/meminfo: memFree=1608480/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=20596 CPUtime=12.69 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 4856 0 0 0 1265 4 0 0 25 0 1 0 117311831 21090304 4838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 5149 4838 139 317 0 4828 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20596 [startup+25.5013 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15049 /proc/meminfo: memFree=1603744/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=25360 CPUtime=25.48 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 5987 0 0 0 2544 4 0 0 25 0 1 0 117311831 25968640 5969 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 6340 5969 139 317 0 6019 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25360 [startup+51.1012 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15049 /proc/meminfo: memFree=1598304/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=30772 CPUtime=51.08 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 7371 0 0 0 5102 6 0 0 25 0 1 0 117311831 31510528 7353 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 7693 7353 139 317 0 7372 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 30772 [startup+102.307 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15049 /proc/meminfo: memFree=1578720/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=51992 CPUtime=102.26 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 12241 0 0 0 10217 9 0 0 25 0 1 0 117311831 53239808 12223 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 12998 12223 139 317 0 12677 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 51992 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15049 /proc/meminfo: memFree=1560352/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=69704 CPUtime=162.23 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 16844 0 0 0 16210 13 0 0 25 0 1 0 117311831 71376896 16826 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 17426 16826 139 317 0 17105 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 69704 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15049 /proc/meminfo: memFree=1547104/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=82748 CPUtime=222.22 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 20181 0 0 0 22206 16 0 0 25 0 1 0 117311831 84733952 20105 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 20687 20105 139 317 0 20366 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 82748 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15049 /proc/meminfo: memFree=1530336/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=102464 CPUtime=282.19 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 24362 0 0 0 28200 19 0 0 25 0 1 0 117311831 104923136 24286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 25616 24286 139 317 0 25295 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 102464 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15049 /proc/meminfo: memFree=1516576/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=116124 CPUtime=342.18 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 27832 0 0 0 34196 22 0 0 25 0 1 0 117311831 118910976 27756 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 29031 27756 139 317 0 28710 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 116124 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15049 /proc/meminfo: memFree=1507872/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=124376 CPUtime=402.15 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 29978 0 0 0 40192 23 0 0 25 0 1 0 117311831 127361024 29902 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 31094 29902 139 317 0 30773 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 124376 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15049 /proc/meminfo: memFree=1500128/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=131824 CPUtime=462.13 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 31898 0 0 0 46188 25 0 0 25 0 1 0 117311831 134987776 31822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 32956 31822 139 317 0 32635 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 131824 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15049 /proc/meminfo: memFree=1489952/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=141884 CPUtime=522.11 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 34444 0 0 0 52185 26 0 0 25 0 1 0 117311831 145289216 34368 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 35471 34368 139 317 0 35150 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 141884 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15049 /proc/meminfo: memFree=1483104/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=148140 CPUtime=582.09 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 36141 0 0 0 58182 27 0 0 25 0 1 0 117311831 151695360 36065 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 37035 36065 139 317 0 36714 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 148140 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15049 /proc/meminfo: memFree=1471392/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=169204 CPUtime=642.07 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 40748 0 0 0 64178 29 0 0 25 0 1 0 117311831 173264896 38974 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 42301 38974 139 317 0 41980 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 169204 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15051 /proc/meminfo: memFree=1442848/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=196984 CPUtime=881.98 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 48144 0 0 0 88161 37 0 0 25 0 1 0 117311831 201711616 46106 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 49246 46106 139 317 0 48925 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 196984 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15051 /proc/meminfo: memFree=1438496/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=201704 CPUtime=941.97 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 49285 0 0 0 94158 39 0 0 25 0 1 0 117311831 206544896 47214 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 50426 47214 139 317 0 50105 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 201704 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15051 /proc/meminfo: memFree=1433632/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=206292 CPUtime=1001.95 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 50569 0 0 0 100155 40 0 0 25 0 1 0 117311831 211243008 48399 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712567 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 51573 48399 139 317 0 51252 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 206292 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15051 /proc/meminfo: memFree=1427296/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=212196 CPUtime=1061.93 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 52273 0 0 0 106150 43 0 0 25 0 1 0 117311831 217288704 50004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 53049 50004 139 317 0 52728 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 212196 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15051 /proc/meminfo: memFree=1420000/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=218988 CPUtime=1121.9 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 54168 0 0 0 112146 44 0 0 25 0 1 0 117311831 224243712 51800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 54747 51800 139 317 0 54426 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 218988 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15051 /proc/meminfo: memFree=1414176/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=224236 CPUtime=1181.88 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 55678 0 0 0 118143 45 0 0 25 0 1 0 117311831 229617664 53277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 56059 53277 139 317 0 55738 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 224236 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15051 /proc/meminfo: memFree=1407648/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=230248 CPUtime=1241.86 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 57368 0 0 0 124139 47 0 0 25 0 1 0 117311831 235773952 54901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 57562 54901 139 317 0 57241 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 230248 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15051 /proc/meminfo: memFree=1404192/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=233516 CPUtime=1301.85 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 58313 0 0 0 130137 48 0 0 25 0 1 0 117311831 239120384 55747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 58379 55747 139 317 0 58058 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 233516 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15051 /proc/meminfo: memFree=1379232/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=257296 CPUtime=1361.82 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 64761 0 0 0 136130 52 0 0 25 0 1 0 117311831 263471104 62030 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715600 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 64324 62030 139 317 0 64003 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 257296 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15051 /proc/meminfo: memFree=1352672/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=282956 CPUtime=1421.81 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 71550 0 0 0 142123 58 0 0 25 0 1 0 117311831 289746944 68621 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 70739 68621 139 317 0 70418 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 282956 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15051 /proc/meminfo: memFree=1327008/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=328104 CPUtime=1481.77 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 82977 0 0 0 148113 64 0 0 25 0 1 0 117311831 335978496 75072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 82026 75072 139 317 0 81705 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 328104 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15051 /proc/meminfo: memFree=1306336/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=347668 CPUtime=1541.75 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 88592 0 0 0 154106 69 0 0 25 0 1 0 117311831 356012032 80197 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 86917 80197 139 317 0 86596 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 347668 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15051 /proc/meminfo: memFree=1299616/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=354088 CPUtime=1601.74 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 90398 0 0 0 160103 71 0 0 25 0 1 0 117311831 362586112 81872 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 88522 81872 139 317 0 88201 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 354088 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15051 /proc/meminfo: memFree=1291488/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=362192 CPUtime=1661.72 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 92710 0 0 0 166099 73 0 0 25 0 1 0 117311831 370884608 83921 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 90548 83921 139 317 0 90227 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 362192 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15051 /proc/meminfo: memFree=1271648/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=381508 CPUtime=1721.7 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 98195 0 0 0 172092 78 0 0 25 0 1 0 117311831 390664192 88947 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 95377 88947 139 317 0 95056 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 381508 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15051 /proc/meminfo: memFree=1251488/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=401300 CPUtime=1781.68 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 103701 0 0 0 178086 82 0 0 25 0 1 0 117311831 410931200 93929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 100325 93929 139 317 0 100004 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 401300 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.92 2/78 15051 /proc/meminfo: memFree=1248352/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=403660 CPUtime=1800.08 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 104427 0 0 0 179925 83 0 0 25 0 1 0 117311831 413347840 94655 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 100915 94655 139 317 0 100594 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 403660 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: 0.99 0.97 0.92 2/78 15051 /proc/meminfo: memFree=1248352/2055920 swapFree=4148176/4192956 [pid=15048] ppid=15046 vsize=403660 CPUtime=1800.08 /proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 104427 0 0 0 179925 83 0 0 25 0 1 0 117311831 413347840 94655 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15048/statm: 100915 94655 139 317 0 100594 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 403660 Child status: 0 Real time (s): 1800.79 CPU time (s): 1800.17 CPU user time (s): 1799.27 CPU system time (s): 0.894863 CPU usage (%): 99.9654 Max. virtual memory (cumulated for all children) (KiB): 403660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.27 system time used= 0.894863 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 104444 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= 2203 runsolver used 2.05569 second user time and 4.49532 second system time The end
Begin job on node38 on Tue Apr 17 23:10:52 UTC 2007 IDJOB= 357014 IDBENCH= 1777 IDSOLVER= 172 FILE ID= node38/357014-1176851452 PBS_JOBID= 4590223 Free space on /tmp= 66296 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-nsrand-ipx.opb COMMAND LINE= oree /tmp/evaluation/357014-1176851452/instance-357014-1176851452.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-357014-1176851452 -o ROOT/results/node38/solver-357014-1176851452 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357014-1176851452/instance-357014-1176851452.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= b75dadb532de8158b35ca12cd6b47e2f RANDOM SEED= 484103389 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node38.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.263 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.263 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: 1627904 kB Buffers: 39656 kB Cached: 275796 kB SwapCached: 4012 kB Active: 263420 kB Inactive: 120208 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1627904 kB SwapTotal: 4192956 kB SwapFree: 4148176 kB Dirty: 3308 kB Writeback: 0 kB Mapped: 75652 kB Slab: 29624 kB Committed_AS: 1499204 kB PageTables: 2064 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= 66296 MiB End job on node38 on Tue Apr 17 23:40:55 UTC 2007