Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.25 | 1800.82 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-neos20.opb |
MD5SUM | 548627fc5af0dd4663b3515778a6a609 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -55 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -56 |
Optimality of the best value was proved | NO |
Number of variables | 8411 |
Total number of constraints | 2456 |
Number of constraints which are clauses | 412 |
Number of constraints which are cardinality constraints (but not clauses) | 426 |
Number of constraints which are nor clauses,nor cardinality constraints | 1618 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 270 |
Number of terms in the objective function | 150 |
Biggest coefficient in the objective function | 52429 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 524390 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 523753 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 524475 |
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.09/0.11 c ...done 0.09/0.11 c #vars=8411 #constraints=3210 hasObjective=yes 0.09/0.13 c res. mode=mod 0.09/0.13 c VSIDS like heuristics 0.09/0.13 c complete search running 0.29/0.35 c restart after 401 decisions 0.29/0.37 c nbDecision=500 #constraints=3256 0.49/0.57 c restart after 801 decisions 0.59/0.62 c nbDecision=1000 #constraints=3342 0.99/1.00 c nbDecision=1500 #constraints=3515 1.09/1.14 c restart after 1601 decisions 1.39/1.46 c nbDecision=2000 #constraints=3692 2.49/2.54 c nbDecision=2500 #constraints=3984 3.89/3.99 c nbDecision=3000 #constraints=4289 4.59/4.64 c restart after 3201 decisions 4.89/4.90 c nbDecision=3500 #constraints=4471 6.19/6.20 c nbDecision=4000 #constraints=4702 8.29/8.32 c nbDecision=4500 #constraints=5009 9.59/9.68 c nbDecision=5000 #constraints=5160 11.28/11.34 c nbDecision=5500 #constraints=5334 12.78/12.85 c nbDecision=6000 #constraints=5507 14.49/14.53 c restart after 6401 decisions 14.49/14.60 c nbDecision=6500 #constraints=5683 16.79/16.87 c nbDecision=7000 #constraints=5917 18.88/18.95 c nbDecision=7500 #constraints=6120 22.09/22.18 c nbDecision=8000 #constraints=6408 24.58/24.66 c nbDecision=8500 #constraints=6564 27.18/27.27 c nbDecision=9000 #constraints=6695 29.69/29.75 c nbDecision=9500 #constraints=6814 32.29/32.39 c nbDecision=10000 #constraints=6948 35.28/35.36 c nbDecision=10500 #constraints=7147 39.98/40.05 c nbDecision=11000 #constraints=7476 44.18/44.27 c nbDecision=11500 #constraints=7786 49.87/49.99 c nbDecision=12000 #constraints=8051 54.18/54.25 c nbDecision=12500 #constraints=8208 56.78/56.84 c restart after 12801 decisions 57.08/57.14 c nbDecision=13000 #constraints=8317 61.38/61.43 c nbDecision=13500 #constraints=8756 66.67/66.70 c nbDecision=14000 #constraints=9198 73.87/73.91 c nbDecision=14500 #constraints=9631 83.77/83.89 c nbDecision=15000 #constraints=10058 95.67/95.76 c nbDecision=15500 #constraints=10487 109.06/109.17 c nbDecision=16000 #constraints=10945 124.86/124.99 c nbDecision=16500 #constraints=11379 138.25/138.39 c nbDecision=17000 #constraints=11808 155.35/155.47 c nbDecision=17500 #constraints=12237 176.84/176.97 c nbDecision=18000 #constraints=12703 198.63/198.77 c nbDecision=18500 #constraints=13121 221.94/222.04 c nbDecision=19000 #constraints=13541 248.22/248.36 c nbDecision=19500 #constraints=13971 280.52/280.61 c nbDecision=20000 #constraints=14387 315.13/315.31 c nbDecision=20500 #constraints=14824 350.39/350.64 c nbDecision=21000 #constraints=15240 383.29/383.57 c nbDecision=21500 #constraints=15623 417.18/417.45 c nbDecision=22000 #constraints=15951 445.67/445.94 c nbDecision=22500 #constraints=16229 479.26/479.54 c nbDecision=23000 #constraints=16542 513.85/514.12 c nbDecision=23500 #constraints=16884 553.35/553.67 c nbDecision=24000 #constraints=17308 592.63/592.99 c nbDecision=24500 #constraints=17705 628.72/629.08 c nbDecision=25000 #constraints=18051 668.61/668.99 c nbDecision=25500 #constraints=18370 676.31/676.65 c restart after 25601 decisions 686.81/687.12 c nbDecision=26000 #constraints=18578 712.90/713.23 c nbDecision=26500 #constraints=18912 738.60/738.92 c nbDecision=27000 #constraints=19245 769.38/769.76 c nbDecision=27500 #constraints=19568 792.58/792.90 c nbDecision=28000 #constraints=19792 826.68/827.07 c nbDecision=28500 #constraints=20108 854.47/854.85 c nbDecision=29000 #constraints=20363 883.26/883.68 c nbDecision=29500 #constraints=20582 910.85/911.24 c nbDecision=30000 #constraints=20787 945.85/946.25 c nbDecision=30500 #constraints=21026 979.83/980.22 c nbDecision=31000 #constraints=21256 1012.73/1013.15 c nbDecision=31500 #constraints=21463 1042.71/1043.19 c nbDecision=32000 #constraints=21663 1075.21/1075.63 c nbDecision=32500 #constraints=21940 1113.20/1113.69 c nbDecision=33000 #constraints=22286 1143.29/1143.80 c nbDecision=33500 #constraints=22495 1191.48/1191.94 c nbDecision=34000 #constraints=22805 1235.27/1235.74 c nbDecision=34500 #constraints=23059 1269.56/1270.01 c nbDecision=35000 #constraints=23289 1297.36/1297.84 c nbDecision=35500 #constraints=23487 1342.14/1342.66 c nbDecision=36000 #constraints=23859 1389.43/1389.91 c nbDecision=36500 #constraints=24227 1438.71/1439.27 c nbDecision=37000 #constraints=24611 1487.40/1487.98 c nbDecision=37500 #constraints=24982 1533.90/1534.45 c nbDecision=38000 #constraints=25305 1577.28/1577.81 c nbDecision=38500 #constraints=25571 1628.57/1629.18 c nbDecision=39000 #constraints=25865 1686.45/1687.06 c nbDecision=39500 #constraints=26190 1731.14/1731.75 c nbDecision=40000 #constraints=26432 1780.23/1780.82 c nbDecision=40500 #constraints=26736 1800.03/1800.61 Received signal 15 1800.13/1800.79 1800.13/1800.79 s UNKNOWN 1800.13/1800.79 1800.13/1800.79 c user time= 1799.84 s 1800.13/1800.79 c system time= 0.386941 s 1800.13/1800.79 c wall clock time=1800.79
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node2/watcher-356879-1176846975 -o ROOT/results/node2/solver-356879-1176846975 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356879-1176846975/instance-356879-1176846975.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.72 0.93 0.98 3/77 12860 /proc/meminfo: memFree=1819000/2055920 swapFree=4138448/4192956 [pid=12860] ppid=12858 vsize=1468 CPUtime=0 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 160735289 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 367 164 131 317 0 46 0 [startup+0.098912 s] /proc/loadavg: 0.72 0.93 0.98 3/77 12860 /proc/meminfo: memFree=1819000/2055920 swapFree=4138448/4192956 [pid=12860] ppid=12858 vsize=3452 CPUtime=0.09 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 671 0 0 0 9 0 0 0 18 0 1 0 160735289 3534848 653 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 863 654 131 317 0 542 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3452 [startup+0.101912 s] /proc/loadavg: 0.72 0.93 0.98 3/77 12860 /proc/meminfo: memFree=1819000/2055920 swapFree=4138448/4192956 [pid=12860] ppid=12858 vsize=3452 CPUtime=0.09 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 686 0 0 0 9 0 0 0 18 0 1 0 160735289 3534848 668 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 863 669 131 317 0 542 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3452 [startup+0.301934 s] /proc/loadavg: 0.72 0.93 0.98 3/77 12860 /proc/meminfo: memFree=1819000/2055920 swapFree=4138448/4192956 [pid=12860] ppid=12858 vsize=5420 CPUtime=0.29 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 1150 0 0 0 29 0 0 0 19 0 1 0 160735289 5550080 1132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712582 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 1355 1132 139 317 0 1034 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5420 [startup+0.701975 s] /proc/loadavg: 0.72 0.93 0.98 3/77 12860 /proc/meminfo: memFree=1819000/2055920 swapFree=4138448/4192956 [pid=12860] ppid=12858 vsize=5684 CPUtime=0.69 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 1215 0 0 0 69 0 0 0 23 0 1 0 160735289 5820416 1197 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 1421 1197 139 317 0 1100 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5684 [startup+1.50106 s] /proc/loadavg: 0.74 0.94 0.98 3/78 12861 /proc/meminfo: memFree=1814192/2055920 swapFree=4138448/4192956 [pid=12860] ppid=12858 vsize=6728 CPUtime=1.49 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 1501 0 0 0 149 0 0 0 25 0 1 0 160735289 6889472 1483 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 1682 1483 170 317 0 1361 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6728 [startup+3.10122 s] /proc/loadavg: 0.74 0.94 0.98 2/78 12861 /proc/meminfo: memFree=1812592/2055920 swapFree=4138448/4192956 [pid=12860] ppid=12858 vsize=8952 CPUtime=3.09 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 2081 0 0 0 308 1 0 0 25 0 1 0 160735289 9166848 2063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562761 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 2238 2063 170 317 0 1917 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8952 [startup+6.30156 s] /proc/loadavg: 0.74 0.94 0.98 2/78 12861 /proc/meminfo: memFree=1809264/2055920 swapFree=4138448/4192956 [pid=12860] ppid=12858 vsize=11592 CPUtime=6.29 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 2732 0 0 0 628 1 0 0 25 0 1 0 160735289 11870208 2714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 2898 2714 170 317 0 2577 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11592 [startup+12.7012 s] /proc/loadavg: 0.78 0.94 0.98 2/78 12861 /proc/meminfo: memFree=1805808/2055920 swapFree=4138448/4192956 [pid=12860] ppid=12858 vsize=14948 CPUtime=12.68 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 3539 0 0 0 1267 1 0 0 25 0 1 0 160735289 15306752 3521 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 3737 3521 170 317 0 3416 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14948 [startup+25.5016 s] /proc/loadavg: 0.81 0.94 0.98 2/78 12861 /proc/meminfo: memFree=1800368/2055920 swapFree=4138448/4192956 [pid=12860] ppid=12858 vsize=20144 CPUtime=25.48 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 4815 0 0 0 2545 3 0 0 25 0 1 0 160735289 20627456 4753 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 5036 4753 170 317 0 4715 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20144 [startup+51.1012 s] /proc/loadavg: 0.87 0.94 0.98 2/78 12861 /proc/meminfo: memFree=1794288/2055920 swapFree=4138448/4192956 [pid=12860] ppid=12858 vsize=26432 CPUtime=51.07 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 6328 0 0 0 5103 4 0 0 25 0 1 0 160735289 27066368 6266 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 6608 6266 170 317 0 6287 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 26432 [startup+102.306 s] /proc/loadavg: 0.95 0.95 0.98 2/78 12861 /proc/meminfo: memFree=1783472/2055920 swapFree=4138448/4192956 [pid=12860] ppid=12858 vsize=37452 CPUtime=102.27 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 9002 0 0 0 10220 7 0 0 25 0 1 0 160735289 38350848 8940 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710933 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 9363 8940 170 317 0 9042 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 37452 [startup+162.302 s] /proc/loadavg: 0.98 0.95 0.98 2/78 12861 /proc/meminfo: memFree=1774640/2055920 swapFree=4138448/4192956 [pid=12860] ppid=12858 vsize=47180 CPUtime=162.25 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 11220 0 0 0 16216 9 0 0 25 0 1 0 160735289 48312320 11158 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 11795 11158 170 317 0 11474 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 47180 [startup+222.302 s] /proc/loadavg: 0.99 0.96 0.98 2/78 12861 /proc/meminfo: memFree=1768560/2055920 swapFree=4138448/4192956 [pid=12860] ppid=12858 vsize=53628 CPUtime=222.24 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 12776 0 0 0 22213 11 0 0 25 0 1 0 160735289 54915072 12628 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 13407 12628 170 317 0 13086 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 53628 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 12861 /proc/meminfo: memFree=1764272/2055920 swapFree=4138452/4192956 [pid=12860] ppid=12858 vsize=57984 CPUtime=282.22 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 13852 0 0 0 28210 12 0 0 25 0 1 0 160735289 59375616 13704 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 14496 13704 170 317 0 14175 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 57984 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13059 /proc/meminfo: memFree=1759784/2055920 swapFree=4138452/4192956 [pid=12860] ppid=12858 vsize=62748 CPUtime=342.1 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 14917 0 0 0 34197 13 0 0 25 0 1 0 160735289 64253952 14769 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 15687 14769 170 317 0 15366 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 62748 [startup+402.302 s] /proc/loadavg: 1.04 0.99 0.98 2/78 13059 /proc/meminfo: memFree=1756400/2055920 swapFree=4138452/4192956 [pid=12860] ppid=12858 vsize=66080 CPUtime=402.08 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 15799 0 0 0 40194 14 0 0 25 0 1 0 160735289 67665920 15651 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 16520 15651 170 317 0 16199 0 Current children cumulated CPU time (s) 402.08 Current children cumulated vsize (KiB) 66080 [startup+462.302 s] /proc/loadavg: 1.01 0.99 0.98 2/78 13059 /proc/meminfo: memFree=1753392/2055920 swapFree=4138452/4192956 [pid=12860] ppid=12858 vsize=68940 CPUtime=462.07 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 16540 0 0 0 46192 15 0 0 25 0 1 0 160735289 70594560 16392 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 17235 16392 170 317 0 16914 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 68940 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13059 /proc/meminfo: memFree=1750064/2055920 swapFree=4138452/4192956 [pid=12860] ppid=12858 vsize=72356 CPUtime=522.05 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 17364 0 0 0 52189 16 0 0 25 0 1 0 160735289 74092544 17216 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 18089 17216 170 317 0 17768 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 72356 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13059 /proc/meminfo: memFree=1746736/2055920 swapFree=4138452/4192956 [pid=12860] ppid=12858 vsize=75932 CPUtime=582.03 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 18209 0 0 0 58186 17 0 0 25 0 1 0 160735289 77754368 18061 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 18983 18061 170 317 0 18662 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 75932 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13059 /proc/meminfo: memFree=1743792/2055920 swapFree=4138452/4192956 [pid=12860] ppid=12858 vsize=78700 CPUtime=642.02 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 18947 0 0 0 64184 18 0 0 25 0 1 0 160735289 80588800 18799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 19675 18799 170 317 0 19354 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 78700 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13059 /proc/meminfo: memFree=1728944/2055920 swapFree=4138452/4192956 [pid=12860] ppid=12858 vsize=94704 CPUtime=881.96 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 22648 0 0 0 88172 24 0 0 25 0 1 0 160735289 96976896 22500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 23676 22500 170 317 0 23355 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 94704 [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13059 /proc/meminfo: memFree=1726448/2055920 swapFree=4138452/4192956 [pid=12860] ppid=12858 vsize=97316 CPUtime=941.94 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 23354 0 0 0 94170 24 0 0 25 0 1 0 160735289 99651584 23140 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 24329 23140 170 317 0 24008 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 97316 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13059 /proc/meminfo: memFree=1723952/2055920 swapFree=4138452/4192956 [pid=12860] ppid=12858 vsize=100008 CPUtime=1001.92 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 23976 0 0 0 100167 25 0 0 25 0 1 0 160735289 102408192 23762 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 25002 23762 170 317 0 24681 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 100008 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13059 /proc/meminfo: memFree=1721584/2055920 swapFree=4138452/4192956 [pid=12860] ppid=12858 vsize=103192 CPUtime=1061.92 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 24774 0 0 0 106165 27 0 0 25 0 1 0 160735289 105668608 24362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563374 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 25798 24362 170 317 0 25477 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 103192 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13059 /proc/meminfo: memFree=1718064/2055920 swapFree=4138452/4192956 [pid=12860] ppid=12858 vsize=107016 CPUtime=1121.9 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 25629 0 0 0 112162 28 0 0 25 0 1 0 160735289 109584384 25217 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712546 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 26754 25217 170 317 0 26433 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 107016 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13059 /proc/meminfo: memFree=1714480/2055920 swapFree=4138452/4192956 [pid=12860] ppid=12858 vsize=111044 CPUtime=1181.88 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 26536 0 0 0 118159 29 0 0 25 0 1 0 160735289 113709056 26124 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 27761 26124 170 317 0 27440 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 111044 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13059 /proc/meminfo: memFree=1711728/2055920 swapFree=4138452/4192956 [pid=12860] ppid=12858 vsize=113932 CPUtime=1241.87 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 27281 0 0 0 124157 30 0 0 25 0 1 0 160735289 116666368 26770 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 28483 26770 170 317 0 28162 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 113932 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13059 /proc/meminfo: memFree=1709232/2055920 swapFree=4138452/4192956 [pid=12860] ppid=12858 vsize=116460 CPUtime=1301.86 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 27954 0 0 0 130155 31 0 0 25 0 1 0 160735289 119255040 27410 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 29115 27410 170 317 0 28794 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 116460 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13059 /proc/meminfo: memFree=1706352/2055920 swapFree=4138452/4192956 [pid=12860] ppid=12858 vsize=119384 CPUtime=1361.83 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 28771 0 0 0 136152 31 0 0 25 0 1 0 160735289 122249216 28161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 29846 28161 170 317 0 29525 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 119384 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13059 /proc/meminfo: memFree=1703472/2055920 swapFree=4138452/4192956 [pid=12860] ppid=12858 vsize=122016 CPUtime=1421.82 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 29444 0 0 0 142150 32 0 0 25 0 1 0 160735289 124944384 28834 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 30504 28834 170 317 0 30183 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 122016 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13059 /proc/meminfo: memFree=1700272/2055920 swapFree=4138452/4192956 [pid=12860] ppid=12858 vsize=125696 CPUtime=1481.81 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 30464 0 0 0 148148 33 0 0 25 0 1 0 160735289 128712704 29618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 31424 29618 170 317 0 31103 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 125696 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13059 /proc/meminfo: memFree=1698032/2055920 swapFree=4138452/4192956 [pid=12860] ppid=12858 vsize=128048 CPUtime=1541.79 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 31098 0 0 0 154145 34 0 0 25 0 1 0 160735289 131121152 30219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 32012 30219 170 317 0 31691 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 128048 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13059 /proc/meminfo: memFree=1695792/2055920 swapFree=4138452/4192956 [pid=12860] ppid=12858 vsize=130452 CPUtime=1601.78 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 31717 0 0 0 160143 35 0 0 25 0 1 0 160735289 133582848 30772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 32613 30772 170 317 0 32292 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 130452 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13059 /proc/meminfo: memFree=1693552/2055920 swapFree=4138452/4192956 [pid=12860] ppid=12858 vsize=132448 CPUtime=1661.76 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 32292 0 0 0 166140 36 0 0 25 0 1 0 160735289 135626752 31347 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 33112 31347 170 317 0 32791 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 132448 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13059 /proc/meminfo: memFree=1691312/2055920 swapFree=4138452/4192956 [pid=12860] ppid=12858 vsize=134556 CPUtime=1721.75 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 32842 0 0 0 172138 37 0 0 25 0 1 0 160735289 137785344 31897 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563761 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 33639 31897 170 317 0 33318 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 134556 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13059 /proc/meminfo: memFree=1688880/2055920 swapFree=4138452/4192956 [pid=12860] ppid=12858 vsize=137164 CPUtime=1781.73 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 33519 0 0 0 178135 38 0 0 25 0 1 0 160735289 140455936 32508 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 34291 32508 170 317 0 33970 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 137164 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13059 /proc/meminfo: memFree=1688112/2055920 swapFree=4138452/4192956 [pid=12860] ppid=12858 vsize=137820 CPUtime=1800.03 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194304 33704 0 0 0 179965 38 0 0 25 0 1 0 160735289 141127680 32693 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 34455 32693 170 317 0 34134 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 137820 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 0.99 0.98 2/78 13059 /proc/meminfo: memFree=1688112/2055920 swapFree=4138452/4192956 [pid=12860] ppid=12858 vsize=0 CPUtime=1800.23 /proc/12860/stat : 12860 (oree) R 12858 12860 12803 0 -1 4194308 33720 0 0 0 179984 39 0 0 25 0 1 0 160735289 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12860/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.82 CPU time (s): 1800.25 CPU user time (s): 1799.84 CPU system time (s): 0.406938 CPU usage (%): 99.9684 Max. virtual memory (cumulated for all children) (KiB): 137820 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.84 system time used= 0.406938 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33720 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= 32206 runsolver used 2.11568 second user time and 4.32534 second system time The end
Begin job on node2 on Tue Apr 17 21:56:15 UTC 2007 IDJOB= 356879 IDBENCH= 1585 IDSOLVER= 172 FILE ID= node2/356879-1176846975 PBS_JOBID= 4590199 Free space on /tmp= 66512 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos20.opb COMMAND LINE= oree /tmp/evaluation/356879-1176846975/instance-356879-1176846975.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-356879-1176846975 -o ROOT/results/node2/solver-356879-1176846975 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356879-1176846975/instance-356879-1176846975.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 548627fc5af0dd4663b3515778a6a609 RANDOM SEED= 20847697 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node2.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.234 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.234 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: 1819472 kB Buffers: 31316 kB Cached: 131096 kB SwapCached: 22956 kB Active: 78208 kB Inactive: 117816 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1819472 kB SwapTotal: 4192956 kB SwapFree: 4138448 kB Dirty: 1828 kB Writeback: 0 kB Mapped: 29928 kB Slab: 25888 kB Committed_AS: 7095468 kB PageTables: 1860 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= 66512 MiB End job on node2 on Tue Apr 17 22:26:18 UTC 2007