Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (MO) | 1212.45 | 1212.87 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3707.opb |
MD5SUM | bd6dfc1cb1b60fa01a3db613e331e5b8 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 4574600208 |
Best CPU time to get the best result obtained on this benchmark | 1804.12 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4574600208 |
Optimality of the best value was proved | NO |
Number of variables | 155000 |
Total number of constraints | 5150 |
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 | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
Number of terms in the objective function | 155000 |
Biggest coefficient in the objective function | 4294967296 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 29764190431236 |
Number of bits of the sum of numbers in the objective function | 45 |
Biggest number in a constraint | 4294967296 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 29764190431236 |
Number of bits of the biggest sum of numbers | 45 |
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... 2.29/2.35 c ...done 2.29/2.35 c #vars=155000 #constraints=5301 hasObjective=yes 4.19/4.27 c res. mode=mod 4.19/4.27 c VSIDS like heuristics 4.19/4.27 c complete search running 5.49/5.52 c restart after 401 decisions 5.68/5.75 c nbDecision=500 #constraints=5301 6.38/6.42 c restart after 801 decisions 6.78/6.87 c nbDecision=1000 #constraints=5301 7.98/8.01 c nbDecision=1500 #constraints=5301 8.18/8.24 c restart after 1601 decisions 9.08/9.15 c nbDecision=2000 #constraints=5301 10.18/10.27 c nbDecision=2500 #constraints=5301 11.38/11.40 c nbDecision=3000 #constraints=5301 11.78/11.86 c restart after 3201 decisions 12.48/12.55 c nbDecision=3500 #constraints=5301 13.58/13.69 c nbDecision=4000 #constraints=5301 14.78/14.83 c nbDecision=4500 #constraints=5301 15.88/15.93 c nbDecision=5000 #constraints=5301 27.28/27.30 c nbDecision=5500 #constraints=5561 62.67/62.74 c nbDecision=6000 #constraints=6062 102.16/102.21 c restart after 6401 decisions 102.96/103.06 c nbDecision=6500 #constraints=6467 104.46/104.55 c nbDecision=7000 #constraints=6467 105.96/106.04 c nbDecision=7500 #constraints=6467 107.46/107.55 c nbDecision=8000 #constraints=6467 115.86/115.93 c nbDecision=8500 #constraints=6530 120.25/120.32 c nbDecision=9000 #constraints=6561 121.35/121.44 c nbDecision=9500 #constraints=6561 122.45/122.56 c nbDecision=10000 #constraints=6561 123.55/123.66 c nbDecision=10500 #constraints=6561 124.65/124.79 c nbDecision=11000 #constraints=6561 125.75/125.88 c nbDecision=11500 #constraints=6561 126.85/126.99 c nbDecision=12000 #constraints=6561 128.05/128.11 c nbDecision=12500 #constraints=6561 128.65/128.79 c restart after 12801 decisions 129.94/130.07 c nbDecision=13000 #constraints=6561 131.44/131.57 c nbDecision=13500 #constraints=6561 133.05/133.12 c nbDecision=14000 #constraints=6561 134.54/134.64 c nbDecision=14500 #constraints=6561 136.04/136.13 c nbDecision=15000 #constraints=6561 137.14/137.26 c nbDecision=15500 #constraints=6561 138.24/138.39 c nbDecision=16000 #constraints=6561 139.44/139.51 c nbDecision=16500 #constraints=6561 140.54/140.64 c nbDecision=17000 #constraints=6561 141.64/141.76 c nbDecision=17500 #constraints=6561 142.74/142.87 c nbDecision=18000 #constraints=6561 143.84/143.99 c nbDecision=18500 #constraints=6561 145.04/145.11 c nbDecision=19000 #constraints=6561 146.14/146.22 c nbDecision=19500 #constraints=6561 147.24/147.33 c nbDecision=20000 #constraints=6561 148.34/148.44 c nbDecision=20500 #constraints=6561 161.34/161.40 c nbDecision=21000 #constraints=6775 162.44/162.50 c nbDecision=21500 #constraints=6775 163.44/163.58 c nbDecision=22000 #constraints=6775 164.54/164.69 c nbDecision=22500 #constraints=6775 165.74/165.87 c nbDecision=23000 #constraints=6778 166.83/166.97 c nbDecision=23500 #constraints=6778 167.93/168.07 c nbDecision=24000 #constraints=6778 169.03/169.18 c nbDecision=24500 #constraints=6778 173.74/173.83 c nbDecision=25000 #constraints=6874 211.81/211.94 c nbDecision=25500 #constraints=7381 213.52/213.60 c restart after 25601 decisions 215.72/215.85 c nbDecision=26000 #constraints=7413 217.22/217.37 c nbDecision=26500 #constraints=7413 218.72/218.88 c nbDecision=27000 #constraints=7413 220.32/220.41 c nbDecision=27500 #constraints=7413 221.62/221.71 c nbDecision=28000 #constraints=7413 222.72/222.84 c nbDecision=28500 #constraints=7413 223.82/223.96 c nbDecision=29000 #constraints=7413 224.91/225.08 c nbDecision=29500 #constraints=7413 226.11/226.21 c nbDecision=30000 #constraints=7413 227.21/227.34 c nbDecision=30500 #constraints=7413 228.31/228.46 c nbDecision=31000 #constraints=7413 229.41/229.59 c nbDecision=31500 #constraints=7413 230.61/230.78 c nbDecision=32000 #constraints=7413 231.81/231.98 c nbDecision=32500 #constraints=7413 233.02/233.18 c nbDecision=33000 #constraints=7413 234.22/234.38 c nbDecision=33500 #constraints=7413 235.41/235.55 c nbDecision=34000 #constraints=7413 236.51/236.67 c nbDecision=34500 #constraints=7413 237.61/237.76 c nbDecision=35000 #constraints=7413 238.71/238.87 c nbDecision=35500 #constraints=7413 240.01/240.15 c nbDecision=36000 #constraints=7413 241.31/241.47 c nbDecision=36500 #constraints=7413 242.61/242.79 c nbDecision=37000 #constraints=7413 244.01/244.13 c nbDecision=37500 #constraints=7413 245.11/245.24 c nbDecision=38000 #constraints=7413 246.21/246.33 c nbDecision=38500 #constraints=7413 247.31/247.43 c nbDecision=39000 #constraints=7413 251.91/252.03 c nbDecision=39500 #constraints=7486 277.70/277.89 c nbDecision=40000 #constraints=7941 308.99/309.19 c nbDecision=40500 #constraints=8410 342.17/342.33 c nbDecision=41000 #constraints=8873 371.36/371.56 c nbDecision=41500 #constraints=9306 407.65/407.84 c nbDecision=42000 #constraints=9762 446.24/446.45 c nbDecision=42500 #constraints=10231 502.22/502.41 c nbDecision=43000 #constraints=10716 539.51/539.71 c nbDecision=43500 #constraints=11157 581.79/582.05 c nbDecision=44000 #constraints=11613 634.38/634.69 c nbDecision=44500 #constraints=12076 704.15/704.40 c nbDecision=45000 #constraints=12555 749.94/750.21 c nbDecision=45500 #constraints=13011 793.02/793.30 c nbDecision=46000 #constraints=13430 844.11/844.46 c nbDecision=46500 #constraints=13883 902.38/902.78 c nbDecision=47000 #constraints=14346 966.57/966.96 c nbDecision=47500 #constraints=14815 1034.84/1035.29 c nbDecision=48000 #constraints=15277 1146.90/1147.38 c nbDecision=48500 #constraints=15775 1211.48/1211.90 Received signal 15 1212.08/1212.56 1212.08/1212.56 s UNKNOWN 1212.08/1212.56 1212.08/1212.56 c user time= 1210.4 s 1212.08/1212.56 c system time= 1.74773 s 1212.08/1212.56 c wall clock time=1212.56
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node37/watcher-357238-1176992003 -o ROOT/results/node37/solver-357238-1176992003 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357238-1176992003/instance-357238-1176992003.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.97 3/78 1804 /proc/meminfo: memFree=1664384/2055920 swapFree=4158988/4192956 [pid=1804] ppid=1802 vsize=1468 CPUtime=0 /proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 147112865 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1804/statm: 367 162 127 317 0 46 0 [startup+0.090873 s] /proc/loadavg: 0.91 0.95 0.97 3/78 1804 /proc/meminfo: memFree=1664384/2055920 swapFree=4158988/4192956 [pid=1804] ppid=1802 vsize=3440 CPUtime=0.08 /proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 784 0 0 0 8 0 0 0 18 0 1 0 147112865 3522560 539 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1804/statm: 860 539 127 317 0 539 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3440 [startup+0.101875 s] /proc/loadavg: 0.91 0.95 0.97 3/78 1804 /proc/meminfo: memFree=1664384/2055920 swapFree=4158988/4192956 [pid=1804] ppid=1802 vsize=3440 CPUtime=0.09 /proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 803 0 0 0 9 0 0 0 18 0 1 0 147112865 3522560 558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1804/statm: 860 558 127 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301913 s] /proc/loadavg: 0.91 0.95 0.97 3/78 1804 /proc/meminfo: memFree=1664384/2055920 swapFree=4158988/4192956 [pid=1804] ppid=1802 vsize=5520 CPUtime=0.29 /proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 1654 0 0 0 29 0 0 0 19 0 1 0 147112865 5652480 1152 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1804/statm: 1380 1152 127 317 0 1059 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5520 [startup+0.701988 s] /proc/loadavg: 0.91 0.95 0.97 3/78 1804 /proc/meminfo: memFree=1664384/2055920 swapFree=4158988/4192956 [pid=1804] ppid=1802 vsize=9548 CPUtime=0.69 /proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 2791 0 0 0 68 1 0 0 22 0 1 0 147112865 9777152 1776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134831237 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1804/statm: 2387 1776 131 317 0 2066 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9548 [startup+1.50114 s] /proc/loadavg: 0.91 0.95 0.97 2/79 1805 /proc/meminfo: memFree=1652216/2055920 swapFree=4158988/4192956 [pid=1804] ppid=1802 vsize=25676 CPUtime=1.49 /proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 6403 0 0 0 146 3 0 0 25 0 1 0 147112865 26292224 5388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1804/statm: 6419 5388 131 317 0 6098 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25676 [startup+3.10144 s] /proc/loadavg: 0.91 0.95 0.97 2/79 1805 /proc/meminfo: memFree=1633400/2055920 swapFree=4158988/4192956 [pid=1804] ppid=1802 vsize=54412 CPUtime=3.09 /proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 13480 0 0 0 304 5 0 0 25 0 1 0 147112865 55717888 12465 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1804/statm: 13603 12465 137 317 0 13282 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 54412 [startup+6.30104 s] /proc/loadavg: 0.92 0.95 0.97 2/79 1805 /proc/meminfo: memFree=1609984/2055920 swapFree=4158988/4192956 [pid=1804] ppid=1802 vsize=59032 CPUtime=6.28 /proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 14633 0 0 0 622 6 0 0 25 0 1 0 147112865 60448768 13618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1804/statm: 14758 13618 138 317 0 14437 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 59032 [startup+12.7012 s] /proc/loadavg: 0.93 0.95 0.97 2/79 1805 /proc/meminfo: memFree=1609984/2055920 swapFree=4158988/4192956 [pid=1804] ppid=1802 vsize=59032 CPUtime=12.68 /proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 14633 0 0 0 1262 6 0 0 25 0 1 0 147112865 60448768 13618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1804/statm: 14758 13618 138 317 0 14437 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 59032 [startup+25.5017 s] /proc/loadavg: 0.94 0.96 0.97 2/79 1805 /proc/meminfo: memFree=1580032/2055920 swapFree=4158988/4192956 [pid=1804] ppid=1802 vsize=92964 CPUtime=25.48 /proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 22380 0 0 0 2538 10 0 0 25 0 1 0 147112865 95195136 21328 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710756 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1804/statm: 23241 21328 139 317 0 22920 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 92964 [startup+51.1015 s] /proc/loadavg: 0.96 0.96 0.97 2/79 1805 /proc/meminfo: memFree=1519360/2055920 swapFree=4158988/4192956 [pid=1804] ppid=1802 vsize=158616 CPUtime=51.08 /proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 37510 0 0 0 5092 16 0 0 25 0 1 0 147112865 162422784 36458 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134558564 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1804/statm: 39654 36458 139 317 0 39333 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 158616 [startup+102.305 s] /proc/loadavg: 1.02 0.98 0.98 2/79 1805 /proc/meminfo: memFree=1438848/2055920 swapFree=4158988/4192956 [pid=1804] ppid=1802 vsize=249488 CPUtime=102.26 /proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 57417 0 0 0 10201 25 0 0 25 0 1 0 147112865 255475712 56365 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134607799 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1804/statm: 62372 56365 139 317 0 62051 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 249488 [startup+162.301 s] /proc/loadavg: 1.00 0.98 0.98 2/79 1805 /proc/meminfo: memFree=1398336/2055920 swapFree=4158988/4192956 [pid=1804] ppid=1802 vsize=292980 CPUtime=162.24 /proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 67507 0 0 0 16195 29 0 0 25 0 1 0 147112865 300011520 66455 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1804/statm: 73245 66455 139 317 0 72924 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 292980 [startup+222.302 s] /proc/loadavg: 1.00 0.98 0.98 2/79 1805 /proc/meminfo: memFree=1304128/2055920 swapFree=4158988/4192956 [pid=1804] ppid=1802 vsize=393852 CPUtime=222.22 /proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 91048 0 0 0 22182 40 0 0 25 0 1 0 147112865 403304448 89992 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1804/statm: 98463 89992 170 317 0 98142 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 393852 [startup+282.302 s] /proc/loadavg: 1.06 0.99 0.98 2/79 1805 /proc/meminfo: memFree=1217344/2055920 swapFree=4158988/4192956 [pid=1804] ppid=1802 vsize=490100 CPUtime=282.2 /proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 113029 0 0 0 28171 49 0 0 25 0 1 0 147112865 501862400 111970 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718644 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1804/statm: 122525 111970 170 317 0 122204 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 490100 [startup+342.301 s] /proc/loadavg: 1.08 1.01 0.99 2/79 1805 /proc/meminfo: memFree=1099200/2055920 swapFree=4158988/4192956 [pid=1804] ppid=1802 vsize=618116 CPUtime=342.17 /proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 142285 0 0 0 34155 62 0 0 25 0 1 0 147112865 632950784 141226 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1804/statm: 154529 141226 170 317 0 154208 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 618116 [startup+402.302 s] /proc/loadavg: 1.08 1.02 0.99 2/79 1805 /proc/meminfo: memFree=972608/2055920 swapFree=4158988/4192956 [pid=1804] ppid=1802 vsize=765084 CPUtime=402.15 /proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 174021 0 0 0 40139 76 0 0 25 0 1 0 147112865 783446016 172962 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134717861 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1804/statm: 191271 172962 170 317 0 190950 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 765084 [startup+462.302 s] /proc/loadavg: 1.08 1.03 1.00 2/79 1805 /proc/meminfo: memFree=890496/2055920 swapFree=4158988/4192956 [pid=1804] ppid=1802 vsize=845940 CPUtime=462.13 /proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 194433 0 0 0 46127 86 0 0 25 0 1 0 147112865 866242560 193325 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541347 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1804/statm: 211485 193325 170 317 0 211164 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 845940 [startup+522.301 s] /proc/loadavg: 1.07 1.03 1.00 2/79 1805 /proc/meminfo: memFree=821440/2055920 swapFree=4158988/4192956 [pid=1804] ppid=1802 vsize=916308 CPUtime=522.11 /proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 212010 0 0 0 52118 93 0 0 25 0 1 0 147112865 938299392 210745 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1804/statm: 229077 210745 170 317 0 228756 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 916308 [startup+582.302 s] /proc/loadavg: 1.07 1.04 1.00 2/79 1805 /proc/meminfo: memFree=692992/2055920 swapFree=4158988/4192956 [pid=1804] ppid=1802 vsize=1091624 CPUtime=582.09 /proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 243821 0 0 0 58104 105 0 0 25 0 1 0 147112865 1117822976 242535 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1804/statm: 272906 242535 170 317 0 272585 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 1091624 [startup+642.302 s] /proc/loadavg: 1.06 1.04 1.00 2/79 1805 /proc/meminfo: memFree=629568/2055920 swapFree=4158988/4192956 [pid=1804] ppid=1802 vsize=1155584 CPUtime=642.08 /proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 259535 0 0 0 64096 112 0 0 25 0 1 0 147112865 1183318016 258246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1804/statm: 288896 258246 170 317 0 288575 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 1155584 [startup+702.301 s] /proc/loadavg: 1.18 1.08 1.01 2/79 1805 /proc/meminfo: memFree=582080/2055920 swapFree=4158988/4192956 [pid=1804] ppid=1802 vsize=1203992 CPUtime=702.05 /proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 271467 0 0 0 70088 117 0 0 25 0 1 0 147112865 1232887808 270154 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1804/statm: 300998 270154 170 317 0 300677 0 Current children cumulated CPU time (s) 702.05 Current children cumulated vsize (KiB) 1203992 [startup+762.305 s] /proc/loadavg: 1.10 1.08 1.01 2/79 1805 /proc/meminfo: memFree=510464/2055920 swapFree=4158988/4192956 [pid=1804] ppid=1802 vsize=1276628 CPUtime=762.04 /proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 289341 0 0 0 76080 124 0 0 25 0 1 0 147112865 1307267072 287992 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1804/statm: 319157 287992 170 317 0 318836 0 Current children cumulated CPU time (s) 762.04 Current children cumulated vsize (KiB) 1276628 [startup+822.302 s] /proc/loadavg: 1.03 1.06 1.00 2/79 1805 /proc/meminfo: memFree=444352/2055920 swapFree=4158988/4192956 [pid=1804] ppid=1802 vsize=1344288 CPUtime=822.01 /proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 305964 0 0 0 82070 131 0 0 25 0 1 0 147112865 1376550912 304615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1804/statm: 336072 304615 170 317 0 335751 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 1344288 [startup+882.303 s] /proc/loadavg: 1.01 1.05 1.00 2/79 1805 /proc/meminfo: memFree=382208/2055920 swapFree=4158988/4192956 [pid=1804] ppid=1802 vsize=1403976 CPUtime=881.99 /proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 321363 0 0 0 88060 139 0 0 25 0 1 0 147112865 1437671424 320014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1804/statm: 350994 320014 170 317 0 350673 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 1403976 [startup+942.301 s] /proc/loadavg: 1.00 1.04 1.00 2/79 1805 /proc/meminfo: memFree=324096/2055920 swapFree=4158988/4192956 [pid=1804] ppid=1802 vsize=1460348 CPUtime=941.97 /proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 335944 0 0 0 94052 145 0 0 25 0 1 0 147112865 1495396352 334592 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1804/statm: 365087 334592 170 317 0 364766 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 1460348 [startup+1002.3 s] /proc/loadavg: 1.00 1.03 1.00 2/79 1805 /proc/meminfo: memFree=273152/2055920 swapFree=4158988/4192956 [pid=1804] ppid=1802 vsize=1512128 CPUtime=1001.95 /proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 348600 0 0 0 100044 151 0 0 25 0 1 0 147112865 1548419072 347219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272608 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1804/statm: 378032 347219 170 317 0 377711 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 1512128 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.00 2/79 1805 /proc/meminfo: memFree=236352/2055920 swapFree=4158988/4192956 [pid=1804] ppid=1802 vsize=1553004 CPUtime=1061.93 /proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 357887 0 0 0 106038 155 0 0 25 0 1 0 147112865 1590276096 356467 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1804/statm: 388251 356467 170 317 0 387930 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 1553004 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.00 2/79 1805 /proc/meminfo: memFree=108928/2055920 swapFree=4158988/4192956 [pid=1804] ppid=1802 vsize=1776392 CPUtime=1121.91 /proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 389644 0 0 0 112024 167 0 0 25 0 1 0 147112865 1819025408 388169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1804/statm: 444098 388169 170 317 0 443777 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 1776392 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/79 1805 /proc/meminfo: memFree=73472/2055920 swapFree=4158988/4192956 [pid=1804] ppid=1802 vsize=1816816 CPUtime=1181.89 /proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 398743 0 0 0 118018 171 0 0 25 0 1 0 147112865 1860419584 397221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1804/statm: 454204 397221 170 317 0 453883 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 1816816 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1211.9 s] /proc/loadavg: 1.00 1.01 1.00 2/79 1805 /proc/meminfo: memFree=42816/2055920 swapFree=4158988/4192956 [pid=1804] ppid=1802 vsize=1843280 CPUtime=1211.48 /proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 406114 0 0 0 120974 174 0 0 25 0 1 0 147112865 1887518720 404580 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593333 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1804/statm: 460820 404580 170 317 0 460499 0 Current children cumulated CPU time (s) 1211.48 Current children cumulated vsize (KiB) 1843280 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1212.6 s] /proc/loadavg: 1.00 1.01 1.00 2/80 1806 /proc/meminfo: memFree=42616/2055920 swapFree=4158988/4192956 [pid=1804] ppid=1802 vsize=1646904 CPUtime=1212.17 /proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 406263 0 0 0 121041 176 0 0 25 0 1 0 147112865 1686429696 377486 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284166 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1804/statm: 411726 377486 186 317 0 411405 0 Current children cumulated CPU time (s) 1212.17 Current children cumulated vsize (KiB) 1646904 [startup+1212.8 s] /proc/loadavg: 1.00 1.01 1.00 2/80 1806 /proc/meminfo: memFree=42616/2055920 swapFree=4158988/4192956 [pid=1804] ppid=1802 vsize=0 CPUtime=1212.38 /proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194308 406263 0 0 0 121044 194 0 0 25 0 1 0 147112865 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1804/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1212.38 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1212.87 CPU time (s): 1212.45 CPU user time (s): 1210.44 CPU system time (s): 2.01069 CPU usage (%): 99.9658 Max. virtual memory (cumulated for all children) (KiB): 1843956 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1210.44 system time used= 2.01069 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 406263 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= 1731 runsolver used 1.22081 second user time and 3.20151 second system time The end
Begin job on node37 on Thu Apr 19 14:13:24 UTC 2007 IDJOB= 357238 IDBENCH= 2299 IDSOLVER= 172 FILE ID= node37/357238-1176992003 PBS_JOBID= 4630446 Free space on /tmp= 66407 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3707.opb COMMAND LINE= oree /tmp/evaluation/357238-1176992003/instance-357238-1176992003.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node37/watcher-357238-1176992003 -o ROOT/results/node37/solver-357238-1176992003 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357238-1176992003/instance-357238-1176992003.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= bd6dfc1cb1b60fa01a3db613e331e5b8 RANDOM SEED= 641146221 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node37.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.281 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.281 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: 1664728 kB Buffers: 41608 kB Cached: 255892 kB SwapCached: 2516 kB Active: 102968 kB Inactive: 218368 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1664728 kB SwapTotal: 4192956 kB SwapFree: 4158988 kB Dirty: 9924 kB Writeback: 0 kB Mapped: 31448 kB Slab: 55156 kB Committed_AS: 1141824 kB PageTables: 2000 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= 66407 MiB End job on node37 on Thu Apr 19 14:33:38 UTC 2007