Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.21 | 1800.76 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-opt1217.opb |
MD5SUM | 0d06ca66c5954e6533e2fcc6f3f13fb8 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -16384 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -16384 |
Optimality of the best value was proved | NO |
Number of variables | 787 |
Total number of constraints | 65 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 48 |
Number of constraints which are nor clauses,nor cardinality constraints | 17 |
Minimum length of a constraint | 16 |
Maximum length of a constraint | 67 |
Number of terms in the objective function | 19 |
Biggest coefficient in the objective function | 262144 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524287 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 393216 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 917503 |
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.00/0.00 c ...done 0.00/0.00 c #vars=787 #constraints=114 hasObjective=yes 0.00/0.00 c res. mode=mod 0.00/0.00 c VSIDS like heuristics 0.00/0.00 c complete search running 0.39/0.42 c restart after 401 decisions 0.49/0.51 c nbDecision=500 #constraints=538 0.99/1.07 c restart after 801 decisions 1.29/1.38 c nbDecision=1000 #constraints=1008 2.68/2.71 c nbDecision=1500 #constraints=1498 2.99/3.03 c restart after 1601 decisions 4.59/4.68 c nbDecision=2000 #constraints=1961 7.79/7.89 c nbDecision=2500 #constraints=2444 11.69/11.75 c nbDecision=3000 #constraints=2933 13.29/13.38 c restart after 3201 decisions 16.28/16.33 c nbDecision=3500 #constraints=3385 22.78/22.87 c nbDecision=4000 #constraints=3863 29.98/30.04 c nbDecision=4500 #constraints=4339 36.98/37.02 c nbDecision=5000 #constraints=4838 44.58/44.68 c nbDecision=5500 #constraints=5326 53.68/53.71 c nbDecision=6000 #constraints=5821 63.78/63.86 c restart after 6401 decisions 65.28/65.30 c nbDecision=6500 #constraints=6251 78.47/78.53 c nbDecision=7000 #constraints=6748 91.36/91.40 c nbDecision=7500 #constraints=7245 104.86/104.94 c nbDecision=8000 #constraints=7743 119.76/119.83 c nbDecision=8500 #constraints=8234 135.56/135.68 c nbDecision=9000 #constraints=8720 153.45/153.54 c nbDecision=9500 #constraints=9179 169.94/170.09 c nbDecision=10000 #constraints=9665 189.05/189.19 c nbDecision=10500 #constraints=10160 204.34/204.47 c nbDecision=11000 #constraints=10656 221.64/221.70 c nbDecision=11500 #constraints=11153 240.03/240.12 c nbDecision=12000 #constraints=11640 259.53/259.62 c nbDecision=12500 #constraints=12137 272.42/272.53 c restart after 12801 decisions 280.82/281.00 c nbDecision=13000 #constraints=12588 303.71/303.81 c nbDecision=13500 #constraints=13077 325.21/325.35 c nbDecision=14000 #constraints=13560 349.40/349.59 c nbDecision=14500 #constraints=14004 371.30/371.43 c nbDecision=15000 #constraints=14437 397.99/398.13 c nbDecision=15500 #constraints=14932 426.48/426.68 c nbDecision=16000 #constraints=15419 455.58/455.79 c nbDecision=16500 #constraints=15884 483.57/483.71 c nbDecision=17000 #constraints=16377 514.96/515.17 c nbDecision=17500 #constraints=16874 548.56/548.70 c nbDecision=18000 #constraints=17342 578.04/578.25 c nbDecision=18500 #constraints=17817 612.54/612.78 c nbDecision=19000 #constraints=18307 648.53/648.76 c nbDecision=19500 #constraints=18790 685.42/685.62 c nbDecision=20000 #constraints=19287 720.61/720.84 c nbDecision=20500 #constraints=19784 758.70/758.97 c nbDecision=21000 #constraints=20283 795.69/795.93 c nbDecision=21500 #constraints=20777 833.18/833.42 c nbDecision=22000 #constraints=21272 873.67/873.92 c nbDecision=22500 #constraints=21766 912.16/912.42 c nbDecision=23000 #constraints=22259 959.15/959.49 c nbDecision=23500 #constraints=22751 1006.44/1006.77 c nbDecision=24000 #constraints=23245 1056.83/1057.17 c nbDecision=24500 #constraints=23740 1103.72/1104.00 c nbDecision=25000 #constraints=24238 1154.93/1155.36 c nbDecision=25500 #constraints=24733 1164.31/1164.80 c restart after 25601 decisions 1206.08/1206.55 c nbDecision=26000 #constraints=25188 1258.97/1259.43 c nbDecision=26500 #constraints=25686 1313.66/1314.18 c nbDecision=27000 #constraints=26186 1371.35/1371.88 c nbDecision=27500 #constraints=26679 1430.64/1431.14 c nbDecision=28000 #constraints=27169 1493.52/1494.09 c nbDecision=28500 #constraints=27664 1547.30/1547.88 c nbDecision=29000 #constraints=28156 1607.29/1607.84 c nbDecision=29500 #constraints=28648 1661.68/1662.28 c nbDecision=30000 #constraints=29135 1734.26/1734.89 c nbDecision=30500 #constraints=29630 1800.04/1800.60 Received signal 15 1800.14/1800.73 1800.14/1800.73 s UNKNOWN 1800.14/1800.73 1800.14/1800.73 c user time= 1799.79 s 1800.14/1800.73 c system time= 0.38894 s 1800.14/1800.73 c wall clock time=1800.73
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node4/watcher-357060-1176853331 -o ROOT/results/node4/solver-357060-1176853331 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357060-1176853331/instance-357060-1176853331.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.92 0.99 0.99 3/77 26264 /proc/meminfo: memFree=1827536/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=1468 CPUtime=0 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 161370859 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 367 166 131 317 0 46 0 [startup+0.0159721 s] /proc/loadavg: 0.92 0.99 0.99 3/77 26264 /proc/meminfo: memFree=1827536/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=1600 CPUtime=0.01 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 233 0 0 0 1 0 0 0 18 0 1 0 161370859 1638400 215 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563718 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 400 215 139 317 0 79 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1600 [startup+0.10198 s] /proc/loadavg: 0.92 0.99 0.99 3/77 26264 /proc/meminfo: memFree=1827536/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=1864 CPUtime=0.09 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 293 0 0 0 9 0 0 0 18 0 1 0 161370859 1908736 275 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593543 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 466 275 139 317 0 145 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1864 [startup+0.301999 s] /proc/loadavg: 0.92 0.99 0.99 3/77 26264 /proc/meminfo: memFree=1827536/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=2392 CPUtime=0.29 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 433 0 0 0 29 0 0 0 19 0 1 0 161370859 2449408 415 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 598 415 139 317 0 277 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2392 [startup+0.701037 s] /proc/loadavg: 0.92 0.99 0.99 3/77 26264 /proc/meminfo: memFree=1827536/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=3316 CPUtime=0.69 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 660 0 0 0 69 0 0 0 22 0 1 0 161370859 3395584 642 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279022 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 829 642 139 317 0 508 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3316 [startup+1.50111 s] /proc/loadavg: 0.92 0.99 0.99 2/78 26265 /proc/meminfo: memFree=1824968/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=4616 CPUtime=1.49 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 960 0 0 0 149 0 0 0 25 0 1 0 161370859 4726784 942 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 1154 942 139 317 0 833 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4616 [startup+3.10127 s] /proc/loadavg: 0.92 0.99 0.99 2/78 26265 /proc/meminfo: memFree=1823112/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=6624 CPUtime=3.09 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 1467 0 0 0 308 1 0 0 25 0 1 0 161370859 6782976 1449 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 1656 1449 139 317 0 1335 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6624 [startup+6.30157 s] /proc/loadavg: 0.93 0.99 0.99 2/78 26265 /proc/meminfo: memFree=1820744/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=9096 CPUtime=6.29 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 1989 0 0 0 628 1 0 0 25 0 1 0 161370859 9314304 1971 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 2274 1971 139 317 0 1953 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9096 [startup+12.7012 s] /proc/loadavg: 0.93 0.99 0.99 2/78 26265 /proc/meminfo: memFree=1817480/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=11584 CPUtime=12.69 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 2654 0 0 0 1267 2 0 0 25 0 1 0 161370859 11862016 2636 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 2896 2636 139 317 0 2575 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11584 [startup+25.5014 s] /proc/loadavg: 0.95 0.99 0.99 2/78 26265 /proc/meminfo: memFree=1814088/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=14604 CPUtime=25.48 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 3452 0 0 0 2545 3 0 0 25 0 1 0 161370859 14954496 3434 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 3651 3434 139 317 0 3330 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14604 [startup+51.1019 s] /proc/loadavg: 0.97 0.99 0.99 2/78 26265 /proc/meminfo: memFree=1807624/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=21632 CPUtime=51.08 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 5076 0 0 0 5103 5 0 0 25 0 1 0 161370859 22151168 5058 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 5408 5058 139 317 0 5087 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 21632 [startup+102.306 s] /proc/loadavg: 0.98 0.99 0.99 2/78 26265 /proc/meminfo: memFree=1800840/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=28044 CPUtime=102.27 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 6736 0 0 0 10221 6 0 0 25 0 1 0 161370859 28717056 6718 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 7011 6718 139 317 0 6690 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 28044 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 26265 /proc/meminfo: memFree=1793352/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=36896 CPUtime=162.25 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 8648 0 0 0 16217 8 0 0 25 0 1 0 161370859 37781504 8573 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 9224 8573 139 317 0 8903 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 36896 [startup+222.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 26265 /proc/meminfo: memFree=1786248/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=44172 CPUtime=222.24 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 10395 0 0 0 22214 10 0 0 25 0 1 0 161370859 45232128 10320 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 11043 10320 139 317 0 10722 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 44172 [startup+282.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 26265 /proc/meminfo: memFree=1780168/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=49836 CPUtime=282.22 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 11907 0 0 0 28211 11 0 0 25 0 1 0 161370859 51032064 11832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 12459 11832 139 317 0 12138 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 49836 [startup+342.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 26265 /proc/meminfo: memFree=1775048/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=54608 CPUtime=342.2 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 13204 0 0 0 34207 13 0 0 25 0 1 0 161370859 55918592 13129 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 13652 13129 170 317 0 13331 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 54608 [startup+402.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 26265 /proc/meminfo: memFree=1771272/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=57924 CPUtime=402.19 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 14127 0 0 0 40205 14 0 0 25 0 1 0 161370859 59314176 14052 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 14481 14052 170 317 0 14160 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 57924 [startup+462.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 26265 /proc/meminfo: memFree=1767688/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=61484 CPUtime=462.17 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 15014 0 0 0 46202 15 0 0 25 0 1 0 161370859 62959616 14939 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 15371 14939 170 317 0 15050 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 61484 [startup+522.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 26265 /proc/meminfo: memFree=1763592/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=69784 CPUtime=522.16 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 16869 0 0 0 52200 16 0 0 25 0 1 0 161370859 71458816 15954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563429 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 17446 15954 170 317 0 17125 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 69784 [startup+582.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 26265 /proc/meminfo: memFree=1760072/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=73588 CPUtime=582.14 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 17835 0 0 0 58197 17 0 0 25 0 1 0 161370859 75354112 16821 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 18397 16821 170 317 0 18076 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 73588 [startup+642.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 26265 /proc/meminfo: memFree=1756616/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=76732 CPUtime=642.13 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 18711 0 0 0 64195 18 0 0 25 0 1 0 161370859 78573568 17664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 19183 17664 170 317 0 18862 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 76732 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 26265 /proc/meminfo: memFree=1742920/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=90368 CPUtime=882.07 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 22081 0 0 0 88184 23 0 0 25 0 1 0 161370859 92536832 21034 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 22592 21034 170 317 0 22271 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 90368 [startup+942.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 26265 /proc/meminfo: memFree=1739848/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=93140 CPUtime=942.06 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 22841 0 0 0 94181 25 0 0 25 0 1 0 161370859 95375360 21794 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716050 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 23285 21794 170 317 0 22964 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 93140 [startup+1002.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 26265 /proc/meminfo: memFree=1736968/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=95652 CPUtime=1002.04 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 23524 0 0 0 100178 26 0 0 25 0 1 0 161370859 97947648 22477 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 23913 22477 170 317 0 23592 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 95652 [startup+1062.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 26265 /proc/meminfo: memFree=1734536/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=98248 CPUtime=1062.03 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 24249 0 0 0 106176 27 0 0 25 0 1 0 161370859 100605952 23103 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563374 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 24562 23103 170 317 0 24241 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 98248 [startup+1122.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 26265 /proc/meminfo: memFree=1731720/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=100884 CPUtime=1122.02 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 24930 0 0 0 112174 28 0 0 25 0 1 0 161370859 103305216 23784 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 25221 23784 170 317 0 24900 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 100884 [startup+1182.3 s] /proc/loadavg: 1.17 1.03 1.01 2/84 26443 /proc/meminfo: memFree=1727832/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=102992 CPUtime=1181.9 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 25534 0 0 0 118161 29 0 0 25 0 1 0 161370859 105463808 24388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 25748 24388 170 317 0 25427 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 102992 [startup+1242.3 s] /proc/loadavg: 1.11 1.04 1.01 2/78 26463 /proc/meminfo: memFree=1726728/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=105084 CPUtime=1241.88 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 26107 0 0 0 124158 30 0 0 25 0 1 0 161370859 107606016 24961 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 26271 24961 170 317 0 25950 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 105084 [startup+1302.3 s] /proc/loadavg: 1.08 1.04 1.01 2/78 26463 /proc/meminfo: memFree=1723976/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=107592 CPUtime=1301.87 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 26758 0 0 0 130156 31 0 0 25 0 1 0 161370859 110174208 25612 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 26898 25612 170 317 0 26577 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 107592 [startup+1362.3 s] /proc/loadavg: 1.03 1.03 1.00 2/78 26463 /proc/meminfo: memFree=1721928/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=109552 CPUtime=1361.85 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 27283 0 0 0 136153 32 0 0 25 0 1 0 161370859 112181248 26137 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 27388 26137 170 317 0 27067 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 109552 [startup+1422.31 s] /proc/loadavg: 1.01 1.02 1.00 2/78 26463 /proc/meminfo: memFree=1719496/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=111668 CPUtime=1421.84 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 27877 0 0 0 142151 33 0 0 25 0 1 0 161370859 114348032 26731 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 27917 26731 170 317 0 27596 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 111668 [startup+1482.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 26463 /proc/meminfo: memFree=1717320/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=114160 CPUtime=1481.82 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 28419 0 0 0 148148 34 0 0 25 0 1 0 161370859 116899840 27273 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 28540 27273 170 317 0 28219 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 114160 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 26463 /proc/meminfo: memFree=1714696/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=116516 CPUtime=1541.8 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 29047 0 0 0 154145 35 0 0 25 0 1 0 161370859 119312384 27901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 29129 27901 170 317 0 28808 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 116516 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 1.00 3/78 26463 /proc/meminfo: memFree=1712264/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=118616 CPUtime=1601.79 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 29637 0 0 0 160143 36 0 0 25 0 1 0 161370859 121462784 28491 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 29654 28491 170 317 0 29333 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 118616 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26463 /proc/meminfo: memFree=1709576/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=121020 CPUtime=1661.78 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 30290 0 0 0 166141 37 0 0 25 0 1 0 161370859 123924480 29144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 30255 29144 170 317 0 29934 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 121020 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26463 /proc/meminfo: memFree=1707720/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=122588 CPUtime=1721.75 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 30736 0 0 0 172138 37 0 0 25 0 1 0 161370859 125530112 29590 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 30647 29590 170 317 0 30326 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 122588 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26463 /proc/meminfo: memFree=1706312/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=123908 CPUtime=1781.74 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 31063 0 0 0 178136 38 0 0 25 0 1 0 161370859 126881792 29917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 30977 29917 170 317 0 30656 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 123908 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 3/78 26463 /proc/meminfo: memFree=1705864/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=124172 CPUtime=1800.04 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 31173 0 0 0 179966 38 0 0 25 0 1 0 161370859 127152128 30027 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 31043 30027 170 317 0 30722 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 124172 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 3/78 26463 /proc/meminfo: memFree=1705864/2055920 swapFree=4153860/4192956 [pid=26264] ppid=26262 vsize=124172 CPUtime=1800.14 /proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 31173 0 0 0 179976 38 0 0 25 0 1 0 161370859 127152128 30027 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26264/statm: 31043 30027 170 317 0 30722 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 124172 Child status: 0 Real time (s): 1800.76 CPU time (s): 1800.21 CPU user time (s): 1799.8 CPU system time (s): 0.409937 CPU usage (%): 99.9691 Max. virtual memory (cumulated for all children) (KiB): 124172 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.8 system time used= 0.409937 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31189 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= 2726 runsolver used 2.16267 second user time and 4.36634 second system time The end
Begin job on node4 on Tue Apr 17 23:42:11 UTC 2007 IDJOB= 357060 IDBENCH= 1877 IDSOLVER= 172 FILE ID= node4/357060-1176853331 PBS_JOBID= 4590189 Free space on /tmp= 66496 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-opt1217.opb COMMAND LINE= oree /tmp/evaluation/357060-1176853331/instance-357060-1176853331.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-357060-1176853331 -o ROOT/results/node4/solver-357060-1176853331 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357060-1176853331/instance-357060-1176853331.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 0d06ca66c5954e6533e2fcc6f3f13fb8 RANDOM SEED= 433386027 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node4.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.218 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 : 5931.00 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.218 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: 1827944 kB Buffers: 15056 kB Cached: 139144 kB SwapCached: 2268 kB Active: 41916 kB Inactive: 135656 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1827944 kB SwapTotal: 4192956 kB SwapFree: 4153860 kB Dirty: 1344 kB Writeback: 0 kB Mapped: 31088 kB Slab: 35876 kB Committed_AS: 5222904 kB PageTables: 1820 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= 66496 MiB End job on node4 on Wed Apr 18 00:12:14 UTC 2007