Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.14 | 1800.58 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-blp-ir98.opb |
MD5SUM | 395bac5c9d0c4cdb5ae1073c67c6675c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 263089 |
Best CPU time to get the best result obtained on this benchmark | 1800.18 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 263089 |
Optimality of the best value was proved | NO |
Number of variables | 7287 |
Total number of constraints | 529 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 420 |
Number of constraints which are nor clauses,nor cardinality constraints | 109 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 6062 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 527290 |
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.29/0.32 c ...done 0.29/0.32 c #vars=7287 #constraints=596 hasObjective=yes 0.29/0.36 c res. mode=mod 0.29/0.36 c VSIDS like heuristics 0.29/0.36 c complete search running 0.49/0.55 c restart after 401 decisions 0.49/0.59 c nbDecision=500 #constraints=771 0.69/0.74 c restart after 801 decisions 0.79/0.84 c nbDecision=1000 #constraints=962 0.99/1.08 c nbDecision=1500 #constraints=1090 1.09/1.13 c restart after 1601 decisions 1.29/1.33 c nbDecision=2000 #constraints=1255 1.49/1.56 c nbDecision=2500 #constraints=1356 1.69/1.77 c nbDecision=3000 #constraints=1421 1.79/1.86 c restart after 3201 decisions 1.99/2.01 c nbDecision=3500 #constraints=1564 2.19/2.25 c nbDecision=4000 #constraints=1679 2.39/2.47 c nbDecision=4500 #constraints=1748 2.59/2.69 c nbDecision=5000 #constraints=1836 2.89/2.91 c nbDecision=5500 #constraints=1912 3.09/3.13 c nbDecision=6000 #constraints=2007 3.29/3.31 c restart after 6401 decisions 3.29/3.37 c nbDecision=6500 #constraints=2125 3.59/3.65 c nbDecision=7000 #constraints=2268 3.89/3.90 c nbDecision=7500 #constraints=2354 4.09/4.12 c nbDecision=8000 #constraints=2422 4.29/4.34 c nbDecision=8500 #constraints=2499 4.49/4.57 c nbDecision=9000 #constraints=2582 4.69/4.79 c nbDecision=9500 #constraints=2665 5.00/5.01 c nbDecision=10000 #constraints=2740 5.20/5.22 c nbDecision=10500 #constraints=2819 5.40/5.43 c nbDecision=11000 #constraints=2893 5.60/5.65 c nbDecision=11500 #constraints=2968 5.80/5.87 c nbDecision=12000 #constraints=3038 6.00/6.09 c nbDecision=12500 #constraints=3114 6.20/6.23 c restart after 12801 decisions 6.30/6.38 c nbDecision=13000 #constraints=3233 6.69/6.70 c nbDecision=13500 #constraints=3357 6.89/6.97 c nbDecision=14000 #constraints=3424 7.19/7.21 c nbDecision=14500 #constraints=3503 7.39/7.45 c nbDecision=15000 #constraints=3581 7.60/7.68 c nbDecision=15500 #constraints=3665 7.89/7.94 c nbDecision=16000 #constraints=3732 8.09/8.17 c nbDecision=16500 #constraints=3820 8.29/8.39 c nbDecision=17000 #constraints=3891 8.59/8.63 c nbDecision=17500 #constraints=3985 8.80/8.86 c nbDecision=18000 #constraints=4065 8.99/9.09 c nbDecision=18500 #constraints=4142 9.29/9.32 c nbDecision=19000 #constraints=4220 9.59/9.60 c nbDecision=19500 #constraints=4293 9.80/9.85 c nbDecision=20000 #constraints=4382 10.09/10.12 c nbDecision=20500 #constraints=4446 10.39/10.42 c nbDecision=21000 #constraints=4519 10.59/10.68 c nbDecision=21500 #constraints=4607 10.89/10.94 c nbDecision=22000 #constraints=4678 11.09/11.20 c nbDecision=22500 #constraints=4756 11.49/11.56 c nbDecision=23000 #constraints=4820 11.89/11.91 c nbDecision=23500 #constraints=4895 12.19/12.27 c nbDecision=24000 #constraints=4948 12.59/12.63 c nbDecision=24500 #constraints=5026 12.89/12.98 c nbDecision=25000 #constraints=5078 13.29/13.31 c nbDecision=25500 #constraints=5133 13.29/13.38 c restart after 25601 decisions 13.79/13.87 c nbDecision=26000 #constraints=5274 14.29/14.31 c nbDecision=26500 #constraints=5393 14.59/14.66 c nbDecision=27000 #constraints=5470 14.89/14.96 c nbDecision=27500 #constraints=5550 15.19/15.25 c nbDecision=28000 #constraints=5635 15.49/15.58 c nbDecision=28500 #constraints=5708 15.79/15.88 c nbDecision=29000 #constraints=5783 16.09/16.14 c nbDecision=29500 #constraints=5864 16.29/16.40 c nbDecision=30000 #constraints=5940 16.59/16.67 c nbDecision=30500 #constraints=6018 16.89/16.93 c nbDecision=31000 #constraints=6086 17.19/17.23 c nbDecision=31500 #constraints=6162 17.49/17.50 c nbDecision=32000 #constraints=6235 17.69/17.79 c nbDecision=32500 #constraints=6312 18.09/18.19 c nbDecision=33000 #constraints=6384 18.49/18.54 c nbDecision=33500 #constraints=6476 18.79/18.83 c nbDecision=34000 #constraints=6561 19.09/19.11 c nbDecision=34500 #constraints=6637 19.29/19.38 c nbDecision=35000 #constraints=6715 19.79/19.80 c nbDecision=35500 #constraints=6803 20.18/20.25 c nbDecision=36000 #constraints=6879 20.48/20.57 c nbDecision=36500 #constraints=6966 20.98/21.04 c nbDecision=37000 #constraints=7016 21.38/21.45 c nbDecision=37500 #constraints=7108 21.68/21.72 c nbDecision=38000 #constraints=7189 21.99/22.01 c nbDecision=38500 #constraints=7264 22.18/22.29 c nbDecision=39000 #constraints=7345 22.58/22.67 c nbDecision=39500 #constraints=7409 22.99/23.05 c nbDecision=40000 #constraints=7462 23.38/23.46 c nbDecision=40500 #constraints=7516 23.68/23.79 c nbDecision=41000 #constraints=7579 24.09/24.14 c nbDecision=41500 #constraints=7634 24.48/24.52 c nbDecision=42000 #constraints=7687 24.78/24.88 c nbDecision=42500 #constraints=7741 25.19/25.22 c nbDecision=43000 #constraints=7796 25.48/25.55 c nbDecision=43500 #constraints=7854 25.88/25.90 c nbDecision=44000 #constraints=7908 26.18/26.27 c nbDecision=44500 #constraints=7990 26.68/26.80 c nbDecision=45000 #constraints=8066 27.19/27.24 c nbDecision=45500 #constraints=8119 27.59/27.63 c nbDecision=46000 #constraints=8172 27.89/27.98 c nbDecision=46500 #constraints=8227 28.29/28.37 c nbDecision=47000 #constraints=8280 28.79/28.84 c nbDecision=47500 #constraints=8373 29.49/29.51 c nbDecision=48000 #constraints=8444 30.19/30.24 c nbDecision=48500 #constraints=8494 30.69/30.75 c nbDecision=49000 #constraints=8552 31.19/31.23 c nbDecision=49500 #constraints=8604 31.59/31.63 c nbDecision=50000 #constraints=8657 32.09/32.12 c nbDecision=50500 #constraints=8707 32.59/32.68 c nbDecision=51000 #constraints=8762 32.79/32.85 c restart after 51201 decisions 33.59/33.62 c nbDecision=51500 #constraints=8902 34.49/34.52 c nbDecision=52000 #constraints=9015 35.09/35.15 c nbDecision=52500 #constraints=9085 35.59/35.60 c nbDecision=53000 #constraints=9164 36.09/36.11 c nbDecision=53500 #constraints=9239 36.49/36.57 c nbDecision=54000 #constraints=9320 36.99/37.04 c nbDecision=54500 #constraints=9407 37.39/37.49 c nbDecision=55000 #constraints=9484 37.79/37.83 c nbDecision=55500 #constraints=9552 38.19/38.23 c nbDecision=56000 #constraints=9624 38.49/38.59 c nbDecision=56500 #constraints=9703 38.89/38.95 c nbDecision=57000 #constraints=9783 39.29/39.36 c nbDecision=57500 #constraints=9854 39.68/39.79 c nbDecision=58000 #constraints=9925 40.28/40.35 c nbDecision=58500 #constraints=9987 40.88/40.91 c nbDecision=59000 #constraints=10084 41.18/41.25 c nbDecision=59500 #constraints=10166 41.58/41.61 c nbDecision=60000 #constraints=10241 41.88/41.95 c nbDecision=60500 #constraints=10321 42.38/42.45 c nbDecision=61000 #constraints=10386 42.98/43.05 c nbDecision=61500 #constraints=10450 43.58/43.67 c nbDecision=62000 #constraints=10516 44.08/44.15 c nbDecision=62500 #constraints=10621 44.68/44.76 c nbDecision=63000 #constraints=10684 45.38/45.45 c nbDecision=63500 #constraints=10774 46.18/46.25 c nbDecision=64000 #constraints=10825 46.58/46.66 c nbDecision=64500 #constraints=10888 46.98/47.05 c nbDecision=65000 #constraints=10946 47.48/47.54 c nbDecision=65500 #constraints=10997 47.98/48.06 c nbDecision=66000 #constraints=11075 48.38/48.43 c nbDecision=66500 #constraints=11130 48.78/48.83 c nbDecision=67000 #constraints=11184 49.18/49.22 c nbDecision=67500 #constraints=11239 49.58/49.60 c nbDecision=68000 #constraints=11293 49.98/50.04 c nbDecision=68500 #constraints=11346 50.38/50.46 c nbDecision=69000 #constraints=11400 50.88/50.90 c nbDecision=69500 #constraints=11454 51.58/51.61 c nbDecision=70000 #constraints=11502 52.08/52.18 c nbDecision=70500 #constraints=11552 52.58/52.61 c nbDecision=71000 #constraints=11606 53.07/53.11 c nbDecision=71500 #constraints=11702 53.57/53.62 c nbDecision=72000 #constraints=11754 53.97/54.10 c nbDecision=72500 #constraints=11806 54.57/54.68 c nbDecision=73000 #constraints=11858 55.37/55.40 c nbDecision=73500 #constraints=11940 55.87/55.92 c nbDecision=74000 #constraints=11995 56.37/56.42 c nbDecision=74500 #constraints=12058 56.97/57.02 c nbDecision=75000 #constraints=12113 57.47/57.56 c nbDecision=75500 #constraints=12172 58.37/58.49 c nbDecision=76000 #constraints=12224 59.17/59.29 c nbDecision=76500 #constraints=12272 59.87/59.92 c nbDecision=77000 #constraints=12323 60.57/60.62 c nbDecision=77500 #constraints=12417 61.17/61.28 c nbDecision=78000 #constraints=12476 62.07/62.11 c nbDecision=78500 #constraints=12535 62.58/62.63 c nbDecision=79000 #constraints=12601 62.97/63.02 c nbDecision=79500 #constraints=12656 63.57/63.60 c nbDecision=80000 #constraints=12753 78.68/78.77 c nbDecision=80500 #constraints=12919 115.56/115.60 c nbDecision=81000 #constraints=13270 144.76/144.85 c nbDecision=81500 #constraints=13543 163.75/163.90 c nbDecision=82000 #constraints=13736 200.35/200.45 c nbDecision=82500 #constraints=14047 238.03/238.19 c nbDecision=83000 #constraints=14388 260.13/260.20 c nbDecision=83500 #constraints=14581 303.12/303.27 c nbDecision=84000 #constraints=14914 338.21/338.34 c nbDecision=84500 #constraints=15185 364.01/364.13 c nbDecision=85000 #constraints=15378 399.70/399.81 c nbDecision=85500 #constraints=15622 413.59/413.71 c nbDecision=86000 #constraints=15706 454.98/455.17 c nbDecision=86500 #constraints=15958 481.77/481.99 c nbDecision=87000 #constraints=16144 540.06/540.21 c nbDecision=87500 #constraints=16475 593.95/594.17 c nbDecision=88000 #constraints=16805 643.13/643.31 c nbDecision=88500 #constraints=17062 684.23/684.40 c nbDecision=89000 #constraints=17286 757.31/757.57 c nbDecision=89500 #constraints=17659 808.50/808.74 c nbDecision=90000 #constraints=17943 845.99/846.23 c nbDecision=90500 #constraints=18112 924.27/924.52 c nbDecision=91000 #constraints=18458 990.46/990.79 c nbDecision=91500 #constraints=18733 1015.95/1016.22 c nbDecision=92000 #constraints=18862 1074.73/1075.08 c nbDecision=92500 #constraints=19146 1099.73/1100.06 c nbDecision=93000 #constraints=19246 1162.01/1162.31 c nbDecision=93500 #constraints=19494 1189.01/1189.38 c nbDecision=94000 #constraints=19596 1254.49/1254.88 c nbDecision=94500 #constraints=19833 1277.58/1277.94 c nbDecision=95000 #constraints=19934 1335.57/1335.96 c nbDecision=95500 #constraints=20120 1429.05/1429.42 c nbDecision=96000 #constraints=20485 1493.63/1494.02 c nbDecision=96500 #constraints=20747 1572.61/1573.09 c nbDecision=97000 #constraints=20989 1666.79/1667.23 c nbDecision=97500 #constraints=21315 1746.18/1746.61 c nbDecision=98000 #constraints=21579 1800.06/1800.50 Received signal 15 1800.06/1800.54 1800.06/1800.54 s UNKNOWN 1800.06/1800.54 1800.06/1800.54 c user time= 1799.81 s 1800.06/1800.54 c system time= 0.307953 s 1800.06/1800.54 c wall clock time=1800.55
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node29/watcher-356896-1176847318 -o ROOT/results/node29/solver-356896-1176847318 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356896-1176847318/instance-356896-1176847318.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.74 0.94 0.98 2/77 16002 /proc/meminfo: memFree=1893040/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=1468 CPUtime=0 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 132647547 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 367 163 131 317 0 46 0 [startup+0.0893569 s] /proc/loadavg: 0.74 0.94 0.98 2/77 16002 /proc/meminfo: memFree=1893040/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=3300 CPUtime=0.08 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 581 0 0 0 8 0 0 0 18 0 1 0 132647547 3379200 563 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 825 563 131 317 0 504 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3300 [startup+0.101356 s] /proc/loadavg: 0.74 0.94 0.98 2/77 16002 /proc/meminfo: memFree=1893040/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=3572 CPUtime=0.09 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 640 0 0 0 9 0 0 0 18 0 1 0 132647547 3657728 622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 893 622 131 317 0 572 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3572 [startup+0.301368 s] /proc/loadavg: 0.74 0.94 0.98 2/77 16002 /proc/meminfo: memFree=1893040/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=7760 CPUtime=0.29 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 1560 0 0 0 29 0 0 0 20 0 1 0 132647547 7946240 1542 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 1940 1542 131 317 0 1619 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7760 [startup+0.701393 s] /proc/loadavg: 0.74 0.94 0.98 2/77 16002 /proc/meminfo: memFree=1893040/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=10608 CPUtime=0.69 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 2282 0 0 0 69 0 0 0 23 0 1 0 132647547 10862592 2264 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385188 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 2652 2264 139 317 0 2331 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10608 [startup+1.50244 s] /proc/loadavg: 0.74 0.94 0.98 2/78 16003 /proc/meminfo: memFree=1884392/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=10876 CPUtime=1.49 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 2354 0 0 0 149 0 0 0 25 0 1 0 132647547 11137024 2336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 2719 2336 139 317 0 2398 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10876 [startup+3.10154 s] /proc/loadavg: 0.74 0.94 0.98 2/78 16003 /proc/meminfo: memFree=1883944/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=11268 CPUtime=3.09 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 2447 0 0 0 309 0 0 0 25 0 1 0 132647547 11538432 2429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 2817 2429 139 317 0 2496 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11268 [startup+6.30174 s] /proc/loadavg: 0.76 0.94 0.98 2/78 16003 /proc/meminfo: memFree=1883112/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=11920 CPUtime=6.3 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 2619 0 0 0 629 1 0 0 25 0 1 0 132647547 12206080 2601 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710928 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 2980 2601 139 317 0 2659 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 11920 [startup+12.7011 s] /proc/loadavg: 0.78 0.94 0.98 2/78 16003 /proc/meminfo: memFree=1881968/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=13064 CPUtime=12.69 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 2884 0 0 0 1268 1 0 0 25 0 1 0 132647547 13377536 2866 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563946 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 3266 2866 139 317 0 2945 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13064 [startup+25.5019 s] /proc/loadavg: 0.83 0.94 0.98 2/78 16003 /proc/meminfo: memFree=1880304/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=14644 CPUtime=25.48 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 3286 0 0 0 2547 1 0 0 25 0 1 0 132647547 14995456 3268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384541 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 3661 3268 139 317 0 3340 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14644 [startup+51.1015 s] /proc/loadavg: 0.88 0.94 0.98 2/78 16003 /proc/meminfo: memFree=1878192/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=16984 CPUtime=51.08 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 3879 0 0 0 5106 2 0 0 25 0 1 0 132647547 17391616 3804 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 4246 3804 139 317 0 3925 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 16984 [startup+102.306 s] /proc/loadavg: 0.95 0.95 0.98 2/78 16003 /proc/meminfo: memFree=1873008/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=22048 CPUtime=102.27 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 5163 0 0 0 10224 3 0 0 25 0 1 0 132647547 22577152 5088 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 5512 5088 139 317 0 5191 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 22048 [startup+162.301 s] /proc/loadavg: 0.98 0.95 0.98 2/78 16003 /proc/meminfo: memFree=1866800/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=28232 CPUtime=162.25 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 6714 0 0 0 16221 4 0 0 25 0 1 0 132647547 28909568 6639 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 7058 6639 139 317 0 6737 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 28232 [startup+222.301 s] /proc/loadavg: 1.08 0.99 0.99 2/78 16003 /proc/meminfo: memFree=1860144/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=34748 CPUtime=222.24 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 8357 0 0 0 22219 5 0 0 25 0 1 0 132647547 35581952 8282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718354 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 8687 8282 139 317 0 8366 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 34748 [startup+282.302 s] /proc/loadavg: 1.03 0.99 0.99 2/78 16003 /proc/meminfo: memFree=1855152/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=39884 CPUtime=282.22 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 9615 0 0 0 28216 6 0 0 25 0 1 0 132647547 40841216 9540 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 9971 9540 139 317 0 9650 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 39884 [startup+342.302 s] /proc/loadavg: 1.01 0.99 0.99 2/78 16003 /proc/meminfo: memFree=1850352/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=44628 CPUtime=342.2 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 10801 0 0 0 34213 7 0 0 25 0 1 0 132647547 45699072 10726 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 11157 10726 139 317 0 10836 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 44628 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 16003 /proc/meminfo: memFree=1844976/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=50744 CPUtime=402.2 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 12141 0 0 0 40211 9 0 0 25 0 1 0 132647547 51961856 12066 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 12686 12066 139 317 0 12365 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 50744 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 16003 /proc/meminfo: memFree=1841264/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=54220 CPUtime=462.18 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 13064 0 0 0 46208 10 0 0 25 0 1 0 132647547 55521280 12989 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 13555 12989 139 317 0 13234 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 54220 [startup+522.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 16003 /proc/meminfo: memFree=1837552/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=57824 CPUtime=522.17 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 13994 0 0 0 52206 11 0 0 25 0 1 0 132647547 59211776 13919 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 14456 13919 139 317 0 14135 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 57824 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 16003 /proc/meminfo: memFree=1833520/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=62020 CPUtime=582.15 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 15099 0 0 0 58203 12 0 0 25 0 1 0 132647547 63508480 14911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 15505 14911 139 317 0 15184 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 62020 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 16003 /proc/meminfo: memFree=1830064/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=65364 CPUtime=642.14 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 15949 0 0 0 64201 13 0 0 25 0 1 0 132647547 66932736 15761 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 16341 15761 139 317 0 16020 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 65364 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 16003 /proc/meminfo: memFree=1815472/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=81728 CPUtime=882.08 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 19590 0 0 0 88191 17 0 0 25 0 1 0 132647547 83689472 19402 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 20432 19402 139 317 0 20111 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 81728 [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 16003 /proc/meminfo: memFree=1812272/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=84796 CPUtime=942.07 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 20371 0 0 0 94189 18 0 0 25 0 1 0 132647547 86831104 20183 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 21199 20183 139 317 0 20878 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 84796 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 16003 /proc/meminfo: memFree=1809712/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=87216 CPUtime=1002.05 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 21020 0 0 0 100186 19 0 0 25 0 1 0 132647547 89309184 20832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 21804 20832 139 317 0 21483 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 87216 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 16003 /proc/meminfo: memFree=1806768/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=90028 CPUtime=1062.04 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 21771 0 0 0 106184 20 0 0 25 0 1 0 132647547 92188672 21583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710849 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 22507 21583 139 317 0 22186 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 90028 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 16003 /proc/meminfo: memFree=1804528/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=92164 CPUtime=1122.02 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 22310 0 0 0 112182 20 0 0 25 0 1 0 132647547 94375936 22122 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 23041 22122 139 317 0 22720 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 92164 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 16003 /proc/meminfo: memFree=1801840/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=94572 CPUtime=1182 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 22988 0 0 0 118179 21 0 0 25 0 1 0 132647547 96841728 22800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 23643 22800 139 317 0 23322 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 94572 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 16003 /proc/meminfo: memFree=1799728/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=96592 CPUtime=1241.99 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 23487 0 0 0 124177 22 0 0 25 0 1 0 132647547 98910208 23299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 24148 23299 139 317 0 23827 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 96592 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 16003 /proc/meminfo: memFree=1798128/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=98192 CPUtime=1301.98 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 23883 0 0 0 130175 23 0 0 25 0 1 0 132647547 100548608 23695 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 24548 23695 139 317 0 24227 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 98192 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 16003 /proc/meminfo: memFree=1795632/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=100324 CPUtime=1361.96 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 24512 0 0 0 136172 24 0 0 25 0 1 0 132647547 102731776 24324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 25081 24324 139 317 0 24760 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 100324 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.99 2/78 16003 /proc/meminfo: memFree=1793200/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=102736 CPUtime=1421.95 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 25105 0 0 0 142170 25 0 0 25 0 1 0 132647547 105201664 24917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 25684 24917 139 317 0 25363 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 102736 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 16003 /proc/meminfo: memFree=1790896/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=105004 CPUtime=1481.94 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 25682 0 0 0 148168 26 0 0 25 0 1 0 132647547 107524096 25494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 26251 25494 139 317 0 25930 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 105004 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 16003 /proc/meminfo: memFree=1788656/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=106896 CPUtime=1541.92 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 26238 0 0 0 154165 27 0 0 25 0 1 0 132647547 109461504 26050 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 26724 26050 139 317 0 26403 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 106896 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 16003 /proc/meminfo: memFree=1786800/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=108772 CPUtime=1601.91 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 26704 0 0 0 160163 28 0 0 25 0 1 0 132647547 111382528 26516 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 27193 26516 139 317 0 26872 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 108772 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 16003 /proc/meminfo: memFree=1784368/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=111056 CPUtime=1661.89 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 27308 0 0 0 166160 29 0 0 25 0 1 0 132647547 113721344 27120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 27764 27120 139 317 0 27443 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 111056 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 16003 /proc/meminfo: memFree=1782000/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=113208 CPUtime=1721.88 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 27905 0 0 0 172158 30 0 0 25 0 1 0 132647547 115924992 27717 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 28302 27717 139 317 0 27981 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 113208 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 16003 /proc/meminfo: memFree=1780144/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=114956 CPUtime=1781.86 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 28343 0 0 0 178156 30 0 0 25 0 1 0 132647547 117714944 28155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 28739 28155 139 317 0 28418 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 114956 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 0.99 0.99 2/78 16003 /proc/meminfo: memFree=1779504/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=115636 CPUtime=1800.06 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 28520 0 0 0 179976 30 0 0 25 0 1 0 132647547 118411264 28332 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 28909 28332 139 317 0 28588 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 115636 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 0.99 0.99 2/78 16003 /proc/meminfo: memFree=1779504/2055920 swapFree=4141356/4192956 [pid=16002] ppid=16000 vsize=115636 CPUtime=1800.06 /proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 28520 0 0 0 179976 30 0 0 25 0 1 0 132647547 118411264 28332 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16002/statm: 28909 28332 139 317 0 28588 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 115636 Child status: 0 Real time (s): 1800.58 CPU time (s): 1800.14 CPU user time (s): 1799.82 CPU system time (s): 0.32695 CPU usage (%): 99.9759 Max. virtual memory (cumulated for all children) (KiB): 115636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.82 system time used= 0.32695 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28536 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= 37163 runsolver used 2.16067 second user time and 4.26735 second system time The end
Begin job on node29 on Tue Apr 17 22:01:58 UTC 2007 IDJOB= 356896 IDBENCH= 1608 IDSOLVER= 172 FILE ID= node29/356896-1176847318 PBS_JOBID= 4590210 Free space on /tmp= 66508 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/unibo/normalized-reduced-mps-v2-20-10-blp-ir98.opb COMMAND LINE= oree /tmp/evaluation/356896-1176847318/instance-356896-1176847318.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-356896-1176847318 -o ROOT/results/node29/solver-356896-1176847318 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356896-1176847318/instance-356896-1176847318.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 395bac5c9d0c4cdb5ae1073c67c6675c RANDOM SEED= 275960207 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node29.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.224 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.224 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: 1893512 kB Buffers: 31936 kB Cached: 70048 kB SwapCached: 17152 kB Active: 69040 kB Inactive: 61792 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1893512 kB SwapTotal: 4192956 kB SwapFree: 4141356 kB Dirty: 2412 kB Writeback: 0 kB Mapped: 29652 kB Slab: 17052 kB Committed_AS: 2007112 kB PageTables: 1872 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= 66508 MiB End job on node29 on Tue Apr 17 22:32:01 UTC 2007