Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1801.22 | 1801.69 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-air05.opb |
MD5SUM | 2b7e03ead6dfd4071784021865da4458 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 4324 |
Best CPU time to get the best result obtained on this benchmark | 1800.35 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4324 |
Optimality of the best value was proved | NO |
Number of variables | 7195 |
Total number of constraints | 426 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 426 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 404 |
Number of terms in the objective function | 7195 |
Biggest coefficient in the objective function | 360 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 527812 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 360 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 527812 |
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.19/0.20 c ...done 0.19/0.20 c #vars=7195 #constraints=853 hasObjective=yes 0.39/0.42 c res. mode=mod 0.39/0.42 c VSIDS like heuristics 0.39/0.42 c complete search running 0.39/0.45 c restart after 401 decisions 0.39/0.45 c nbDecision=500 #constraints=853 0.39/0.47 c restart after 801 decisions 0.39/0.49 c nbDecision=1000 #constraints=853 0.49/0.52 c nbDecision=1500 #constraints=853 0.49/0.52 c restart after 1601 decisions 0.49/0.55 c nbDecision=2000 #constraints=853 0.49/0.58 c nbDecision=2500 #constraints=853 0.59/0.61 c nbDecision=3000 #constraints=853 0.59/0.62 c restart after 3201 decisions 0.59/0.65 c nbDecision=3500 #constraints=853 0.59/0.68 c nbDecision=4000 #constraints=853 0.69/0.71 c nbDecision=4500 #constraints=853 0.69/0.74 c nbDecision=5000 #constraints=853 0.69/0.76 c nbDecision=5500 #constraints=853 0.69/0.79 c nbDecision=6000 #constraints=853 0.79/0.81 c restart after 6401 decisions 0.79/0.83 c nbDecision=6500 #constraints=853 0.79/0.86 c nbDecision=7000 #constraints=853 0.79/0.90 c nbDecision=7500 #constraints=853 0.89/0.93 c nbDecision=8000 #constraints=853 0.89/0.96 c nbDecision=8500 #constraints=853 0.89/0.99 c nbDecision=9000 #constraints=853 0.99/1.01 c nbDecision=9500 #constraints=853 0.99/1.04 c nbDecision=10000 #constraints=853 0.99/1.06 c nbDecision=10500 #constraints=853 0.99/1.08 c nbDecision=11000 #constraints=853 1.09/1.11 c nbDecision=11500 #constraints=853 1.09/1.18 c nbDecision=12000 #constraints=877 1.59/1.67 c nbDecision=12500 #constraints=955 1.99/2.01 c restart after 12801 decisions 1.99/2.07 c nbDecision=13000 #constraints=992 2.09/2.10 c nbDecision=13500 #constraints=992 2.09/2.14 c nbDecision=14000 #constraints=992 2.09/2.17 c nbDecision=14500 #constraints=992 2.09/2.20 c nbDecision=15000 #constraints=992 2.19/2.23 c nbDecision=15500 #constraints=992 2.19/2.26 c nbDecision=16000 #constraints=992 2.19/2.28 c nbDecision=16500 #constraints=992 2.29/2.31 c nbDecision=17000 #constraints=992 2.29/2.33 c nbDecision=17500 #constraints=992 2.29/2.36 c nbDecision=18000 #constraints=992 2.59/2.63 c nbDecision=18500 #constraints=1025 2.89/2.94 c nbDecision=19000 #constraints=1076 3.30/3.32 c nbDecision=19500 #constraints=1117 3.69/3.79 c nbDecision=20000 #constraints=1172 4.19/4.27 c nbDecision=20500 #constraints=1264 4.69/4.72 c nbDecision=21000 #constraints=1303 4.89/4.96 c nbDecision=21500 #constraints=1319 9.59/9.61 c nbDecision=22000 #constraints=1554 12.39/12.48 c nbDecision=22500 #constraints=1672 12.59/12.61 c nbDecision=23000 #constraints=1700 12.69/12.79 c nbDecision=23500 #constraints=1726 13.09/13.17 c nbDecision=24000 #constraints=1780 13.38/13.40 c nbDecision=24500 #constraints=1824 13.69/13.71 c nbDecision=25000 #constraints=1865 14.48/14.53 c nbDecision=25500 #constraints=1955 15.08/15.18 c restart after 25601 decisions 15.39/15.48 c nbDecision=26000 #constraints=2002 15.49/15.53 c nbDecision=26500 #constraints=2002 15.49/15.58 c nbDecision=27000 #constraints=2002 15.59/15.63 c nbDecision=27500 #constraints=2002 15.59/15.68 c nbDecision=28000 #constraints=2002 15.69/15.75 c nbDecision=28500 #constraints=2002 15.69/15.79 c nbDecision=29000 #constraints=2002 15.79/15.84 c nbDecision=29500 #constraints=2002 15.79/15.89 c nbDecision=30000 #constraints=2002 15.89/15.94 c nbDecision=30500 #constraints=2002 16.09/16.16 c nbDecision=31000 #constraints=2017 17.08/17.12 c nbDecision=31500 #constraints=2112 17.49/17.51 c nbDecision=32000 #constraints=2172 18.09/18.15 c nbDecision=32500 #constraints=2231 18.89/18.98 c nbDecision=33000 #constraints=2295 20.28/20.32 c nbDecision=33500 #constraints=2402 21.68/21.70 c nbDecision=34000 #constraints=2498 22.58/22.66 c nbDecision=34500 #constraints=2549 23.48/23.55 c nbDecision=35000 #constraints=2601 24.38/24.48 c nbDecision=35500 #constraints=2669 27.08/27.11 c nbDecision=36000 #constraints=2783 31.98/32.04 c nbDecision=36500 #constraints=2936 34.49/34.53 c nbDecision=37000 #constraints=3034 47.28/47.35 c nbDecision=37500 #constraints=3359 54.28/54.37 c nbDecision=38000 #constraints=3460 69.37/69.42 c nbDecision=38500 #constraints=3666 79.26/79.38 c nbDecision=39000 #constraints=3811 85.97/86.04 c nbDecision=39500 #constraints=3912 90.27/90.32 c nbDecision=40000 #constraints=3949 92.17/92.21 c nbDecision=40500 #constraints=4039 94.57/94.62 c nbDecision=41000 #constraints=4168 98.76/98.84 c nbDecision=41500 #constraints=4307 100.86/100.95 c nbDecision=42000 #constraints=4408 102.87/102.99 c nbDecision=42500 #constraints=4493 104.66/104.78 c nbDecision=43000 #constraints=4576 107.56/107.60 c nbDecision=43500 #constraints=4666 112.06/112.12 c nbDecision=44000 #constraints=4776 114.06/114.11 c nbDecision=44500 #constraints=4847 116.46/116.57 c nbDecision=45000 #constraints=4923 118.67/118.76 c nbDecision=45500 #constraints=4996 120.36/120.47 c nbDecision=46000 #constraints=5058 122.06/122.14 c nbDecision=46500 #constraints=5108 128.16/128.22 c nbDecision=47000 #constraints=5250 131.25/131.38 c nbDecision=47500 #constraints=5337 138.56/138.67 c nbDecision=48000 #constraints=5514 142.46/142.57 c nbDecision=48500 #constraints=5617 150.45/150.57 c nbDecision=49000 #constraints=5770 157.26/157.32 c nbDecision=49500 #constraints=5906 160.85/160.96 c nbDecision=50000 #constraints=5958 163.76/163.89 c nbDecision=50500 #constraints=6067 168.74/168.86 c nbDecision=51000 #constraints=6161 169.84/169.92 c restart after 51201 decisions 174.34/174.44 c nbDecision=51500 #constraints=6194 174.74/174.88 c nbDecision=52000 #constraints=6194 175.14/175.22 c nbDecision=52500 #constraints=6194 175.64/175.71 c nbDecision=53000 #constraints=6194 175.94/176.05 c nbDecision=53500 #constraints=6194 176.64/176.71 c nbDecision=54000 #constraints=6194 177.04/177.15 c nbDecision=54500 #constraints=6194 177.44/177.53 c nbDecision=55000 #constraints=6194 177.84/177.95 c nbDecision=55500 #constraints=6194 178.64/178.74 c nbDecision=56000 #constraints=6194 179.54/179.67 c nbDecision=56500 #constraints=6209 181.84/181.99 c nbDecision=57000 #constraints=6267 184.25/184.35 c nbDecision=57500 #constraints=6319 185.94/186.02 c nbDecision=58000 #constraints=6365 188.94/189.02 c nbDecision=58500 #constraints=6445 193.24/193.37 c nbDecision=59000 #constraints=6576 196.04/196.15 c nbDecision=59500 #constraints=6659 199.44/199.56 c nbDecision=60000 #constraints=6763 203.44/203.57 c nbDecision=60500 #constraints=6876 208.64/208.75 c nbDecision=61000 #constraints=7008 213.34/213.45 c nbDecision=61500 #constraints=7110 221.73/221.88 c nbDecision=62000 #constraints=7246 226.93/227.03 c nbDecision=62500 #constraints=7324 234.83/234.96 c nbDecision=63000 #constraints=7439 241.62/241.75 c nbDecision=63500 #constraints=7517 247.63/247.76 c nbDecision=64000 #constraints=7590 253.53/253.62 c nbDecision=64500 #constraints=7663 268.92/269.05 c nbDecision=65000 #constraints=7825 274.22/274.30 c nbDecision=65500 #constraints=7887 286.71/286.82 c nbDecision=66000 #constraints=8032 306.01/306.15 c nbDecision=66500 #constraints=8209 341.11/341.28 c nbDecision=67000 #constraints=8527 354.90/355.01 c nbDecision=67500 #constraints=8643 363.00/363.18 c nbDecision=68000 #constraints=8753 382.90/383.02 c nbDecision=68500 #constraints=8968 387.00/387.17 c nbDecision=69000 #constraints=9038 394.49/394.67 c nbDecision=69500 #constraints=9172 402.49/402.62 c nbDecision=70000 #constraints=9268 408.29/408.41 c nbDecision=70500 #constraints=9360 446.98/447.11 c nbDecision=71000 #constraints=9636 488.67/488.81 c nbDecision=71500 #constraints=9942 502.16/502.39 c nbDecision=72000 #constraints=10055 558.65/558.81 c nbDecision=72500 #constraints=10386 592.34/592.51 c nbDecision=73000 #constraints=10588 619.63/619.83 c nbDecision=73500 #constraints=10805 686.81/687.07 c nbDecision=74000 #constraints=11159 757.10/757.30 c nbDecision=74500 #constraints=11474 812.08/812.39 c nbDecision=75000 #constraints=11728 879.66/879.97 c nbDecision=75500 #constraints=12029 992.64/992.99 c nbDecision=76000 #constraints=12450 1129.40/1129.73 c nbDecision=76500 #constraints=12878 1257.26/1257.66 c nbDecision=77000 #constraints=13256 1416.92/1417.34 c nbDecision=77500 #constraints=13707 1465.12/1465.56 c nbDecision=78000 #constraints=13861 1476.81/1477.25 c nbDecision=78500 #constraints=13908 1495.81/1496.28 c nbDecision=79000 #constraints=13962 1529.10/1529.55 c nbDecision=79500 #constraints=14071 1552.70/1553.10 c nbDecision=80000 #constraints=14163 1571.29/1571.78 c nbDecision=80500 #constraints=14225 1595.98/1596.47 c nbDecision=81000 #constraints=14356 1631.97/1632.42 c nbDecision=81500 #constraints=14489 1700.25/1700.70 c nbDecision=82000 #constraints=14687 1739.55/1740.09 c nbDecision=82500 #constraints=14837 1771.14/1771.67 c nbDecision=83000 #constraints=14907 1793.43/1793.99 c nbDecision=83500 #constraints=14970 1800.03/1800.50 Received signal 15 1800.93/1801.43 1800.93/1801.43 s UNKNOWN 1800.93/1801.43 1800.93/1801.43 c user time= 1799.48 s 1800.93/1801.43 c system time= 1.49177 s 1800.93/1801.43 c wall clock time=1801.44
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node63/watcher-357016-1176851612 -o ROOT/results/node63/solver-357016-1176851612 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357016-1176851612/instance-357016-1176851612.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.95 0.93 3/64 22221 /proc/meminfo: memFree=1664068/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=1468 CPUtime=0 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 161151080 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 367 161 126 317 0 46 0 [startup+0.00987095 s] /proc/loadavg: 0.91 0.95 0.93 3/64 22221 /proc/meminfo: memFree=1664068/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=1752 CPUtime=0 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 225 0 0 0 0 0 0 0 18 0 1 0 161151080 1794048 207 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 438 207 126 317 0 117 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1752 [startup+0.101871 s] /proc/loadavg: 0.91 0.95 0.93 3/64 22221 /proc/meminfo: memFree=1664068/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=3732 CPUtime=0.09 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 739 0 0 0 9 0 0 0 18 0 1 0 161151080 3821568 721 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 933 721 131 317 0 612 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3732 [startup+0.301891 s] /proc/loadavg: 0.91 0.95 0.93 3/64 22221 /proc/meminfo: memFree=1664068/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=7608 CPUtime=0.29 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 1710 0 0 0 29 0 0 0 19 0 1 0 161151080 7790592 1692 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 1902 1692 137 317 0 1581 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7608 [startup+0.701934 s] /proc/loadavg: 0.91 0.95 0.93 3/64 22221 /proc/meminfo: memFree=1664068/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=8136 CPUtime=0.69 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 1856 0 0 0 69 0 0 0 23 0 1 0 161151080 8331264 1838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 2034 1838 138 317 0 1713 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8136 [startup+1.50202 s] /proc/loadavg: 0.91 0.95 0.93 2/65 22222 /proc/meminfo: memFree=1657148/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=10664 CPUtime=1.49 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 2433 0 0 0 148 1 0 0 25 0 1 0 161151080 10919936 2415 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563527 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 2666 2415 139 317 0 2345 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10664 [startup+3.10119 s] /proc/loadavg: 0.92 0.95 0.93 3/65 22222 /proc/meminfo: memFree=1651452/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=18252 CPUtime=3.08 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 4296 0 0 0 307 1 0 0 25 0 1 0 161151080 18690048 4278 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 4563 4278 139 317 0 4242 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 18252 [startup+6.30152 s] /proc/loadavg: 0.92 0.95 0.93 2/65 22222 /proc/meminfo: memFree=1636860/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=31736 CPUtime=6.29 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 7451 0 0 0 626 3 0 0 25 0 1 0 161151080 32497664 7433 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 7934 7433 139 317 0 7613 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31736 [startup+12.7012 s] /proc/loadavg: 0.93 0.96 0.93 2/65 22222 /proc/meminfo: memFree=1619524/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=49680 CPUtime=12.69 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 11543 0 0 0 1265 4 0 0 25 0 1 0 161151080 50872320 11525 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 12420 11525 139 317 0 12099 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49680 [startup+25.5026 s] /proc/loadavg: 0.94 0.96 0.93 2/65 22222 /proc/meminfo: memFree=1559492/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=114652 CPUtime=25.48 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 26437 0 0 0 2539 9 0 0 25 0 1 0 161151080 117403648 26419 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712582 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 28663 26419 139 317 0 28342 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 114652 [startup+51.1023 s] /proc/loadavg: 0.96 0.96 0.93 2/65 22222 /proc/meminfo: memFree=1494596/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=185812 CPUtime=51.07 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 42486 0 0 0 5091 16 0 0 25 0 1 0 161151080 190271488 42468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 46453 42468 139 317 0 46132 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 185812 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.93 2/65 22222 /proc/meminfo: memFree=1429252/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=258404 CPUtime=102.27 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 58745 0 0 0 10203 24 0 0 25 0 1 0 161151080 264605696 58727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 64601 58727 139 317 0 64280 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 258404 [startup+162.303 s] /proc/loadavg: 0.99 0.97 0.93 2/65 22222 /proc/meminfo: memFree=1301444/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=402164 CPUtime=162.25 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 90867 0 0 0 16188 37 0 0 25 0 1 0 161151080 411815936 90838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 100541 90838 139 317 0 100220 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 402164 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 22222 /proc/meminfo: memFree=1201412/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=520192 CPUtime=222.23 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 115711 0 0 0 22176 47 0 0 25 0 1 0 161151080 532676608 115551 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711484 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 130048 115551 139 317 0 129727 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 520192 [startup+282.303 s] /proc/loadavg: 0.99 0.97 0.93 2/65 22222 /proc/meminfo: memFree=1144324/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=583916 CPUtime=282.22 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 130254 0 0 0 28170 52 0 0 25 0 1 0 161151080 597929984 129720 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284496 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 145979 129720 139 317 0 145658 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 583916 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 22222 /proc/meminfo: memFree=1064516/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=676280 CPUtime=342.2 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 151492 0 0 0 34160 60 0 0 25 0 1 0 161151080 692510720 149644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 169070 149644 139 317 0 168749 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 676280 [startup+402.301 s] /proc/loadavg: 1.04 0.99 0.94 2/65 22222 /proc/meminfo: memFree=989636/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=764624 CPUtime=402.18 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 170439 0 0 0 40152 66 0 0 25 0 1 0 161151080 782974976 168498 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 191156 168498 139 317 0 190835 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 764624 [startup+462.302 s] /proc/loadavg: 1.05 1.00 0.94 2/65 22222 /proc/meminfo: memFree=926404/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=835960 CPUtime=462.17 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 187053 0 0 0 46145 72 0 0 25 0 1 0 161151080 856023040 184044 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 208990 184044 139 317 0 208669 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 835960 [startup+522.301 s] /proc/loadavg: 1.06 1.01 0.95 2/65 22222 /proc/meminfo: memFree=860740/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=915544 CPUtime=522.15 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 204126 0 0 0 52137 78 0 0 25 0 1 0 161151080 937517056 200658 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 228886 200658 139 317 0 228565 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 915544 [startup+582.301 s] /proc/loadavg: 1.13 1.04 0.96 2/65 22222 /proc/meminfo: memFree=807236/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=979084 CPUtime=582.14 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 219022 0 0 0 58130 84 0 0 25 0 1 0 161151080 1002582016 213771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 244771 213771 139 317 0 244450 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 979084 [startup+642.302 s] /proc/loadavg: 1.12 1.04 0.96 2/65 22222 /proc/meminfo: memFree=754820/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=1038256 CPUtime=642.13 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 232379 0 0 0 64125 88 0 0 25 0 1 0 161151080 1063174144 226853 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 259564 226853 139 317 0 259243 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 1038256 ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 22222 /proc/meminfo: memFree=498180/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=1350660 CPUtime=1002.03 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 301511 0 0 0 100090 113 0 0 25 0 1 0 161151080 1383075840 290893 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 337665 290893 139 317 0 337344 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1350660 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 22222 /proc/meminfo: memFree=464708/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=1391164 CPUtime=1062.02 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 310797 0 0 0 106086 116 0 0 25 0 1 0 161151080 1424551936 299521 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 347791 299521 139 317 0 347470 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 1391164 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 22222 /proc/meminfo: memFree=431940/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=1430728 CPUtime=1122 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 319409 0 0 0 112081 119 0 0 25 0 1 0 161151080 1465065472 307490 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 357682 307490 139 317 0 357361 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 1430728 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 22222 /proc/meminfo: memFree=405636/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=1468692 CPUtime=1181.99 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 327236 0 0 0 118077 122 0 0 25 0 1 0 161151080 1503940608 313981 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 367173 313981 139 317 0 366852 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 1468692 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 22222 /proc/meminfo: memFree=370308/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=1511140 CPUtime=1241.97 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 336939 0 0 0 124071 126 0 0 25 0 1 0 161151080 1547407360 322797 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 377785 322797 139 317 0 377464 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 1511140 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 22222 /proc/meminfo: memFree=339588/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=1548604 CPUtime=1301.96 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 345646 0 0 0 130066 130 0 0 25 0 1 0 161151080 1585770496 330388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 387151 330388 139 317 0 386830 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1548604 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 22222 /proc/meminfo: memFree=309316/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=1585620 CPUtime=1361.94 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 353901 0 0 0 136061 133 0 0 25 0 1 0 161151080 1623674880 338085 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715645 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 396405 338085 139 317 0 396084 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1585620 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.96 2/65 22222 /proc/meminfo: memFree=280068/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=1618036 CPUtime=1421.92 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 361308 0 0 0 142057 135 0 0 25 0 1 0 161151080 1656868864 345235 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 404509 345235 139 317 0 404188 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1618036 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 22222 /proc/meminfo: memFree=255812/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=1647068 CPUtime=1481.9 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 367742 0 0 0 148052 138 0 0 25 0 1 0 161151080 1686597632 351285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 411767 351285 139 317 0 411446 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1647068 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 22222 /proc/meminfo: memFree=242116/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=1662280 CPUtime=1541.9 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 371160 0 0 0 154050 140 0 0 25 0 1 0 161151080 1702174720 354703 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718662 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 415570 354703 139 317 0 415249 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1662280 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 22224 /proc/meminfo: memFree=220996/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=1685896 CPUtime=1601.88 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 376462 0 0 0 160046 142 0 0 25 0 1 0 161151080 1726357504 360005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712565 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 421474 360005 139 317 0 421153 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1685896 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 22224 /proc/meminfo: memFree=203460/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=1704324 CPUtime=1661.86 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 380782 0 0 0 166042 144 0 0 25 0 1 0 161151080 1745227776 364323 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 426081 364323 139 317 0 425760 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1704324 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 22224 /proc/meminfo: memFree=186308/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=1725156 CPUtime=1721.85 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 385220 0 0 0 172039 146 0 0 25 0 1 0 161151080 1766559744 368761 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712585 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 431289 368761 139 317 0 430968 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1725156 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 22224 /proc/meminfo: memFree=170500/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=1741624 CPUtime=1781.83 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 389031 0 0 0 178035 148 0 0 25 0 1 0 161151080 1783422976 372572 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 435406 372572 139 317 0 435085 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1741624 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.96 2/65 22224 /proc/meminfo: memFree=164420/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=1748392 CPUtime=1800.03 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 390516 0 0 0 179854 149 0 0 25 0 1 0 161151080 1790353408 374057 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 437098 374057 139 317 0 436777 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1748392 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 0.96 2/66 22225 /proc/meminfo: memFree=164412/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=1748552 CPUtime=1800.14 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 390557 0 0 0 179865 149 0 0 25 0 1 0 161151080 1790517248 374098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 437138 374098 139 317 0 436817 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 1748552 [startup+1801.4 s] /proc/loadavg: 1.00 1.00 0.96 2/66 22225 /proc/meminfo: memFree=164412/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=1748552 CPUtime=1800.93 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194304 390561 0 0 0 179944 149 0 0 25 0 1 0 161151080 1790517248 374102 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 437138 374102 139 317 0 436817 0 Current children cumulated CPU time (s) 1800.93 Current children cumulated vsize (KiB) 1748552 [startup+1801.6 s] /proc/loadavg: 1.00 1.00 0.96 2/66 22225 /proc/meminfo: memFree=164412/2055920 swapFree=4168472/4192956 [pid=22221] ppid=22219 vsize=0 CPUtime=1801.12 /proc/22221/stat : 22221 (oree) R 22219 22221 21923 0 -1 4194308 390577 0 0 0 179948 164 0 0 25 0 1 0 161151080 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22221/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1801.12 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.69 CPU time (s): 1801.22 CPU user time (s): 1799.49 CPU system time (s): 1.73574 CPU usage (%): 99.9742 Max. virtual memory (cumulated for all children) (KiB): 1748552 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.49 system time used= 1.73574 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 390577 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= 2098 runsolver used 1.21582 second user time and 3.73043 second system time The end
Begin job on node63 on Tue Apr 17 23:13:32 UTC 2007 IDJOB= 357016 IDBENCH= 1779 IDSOLVER= 172 FILE ID= node63/357016-1176851612 PBS_JOBID= 4590235 Free space on /tmp= 66506 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-air05.opb COMMAND LINE= oree /tmp/evaluation/357016-1176851612/instance-357016-1176851612.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-357016-1176851612 -o ROOT/results/node63/solver-357016-1176851612 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357016-1176851612/instance-357016-1176851612.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 2b7e03ead6dfd4071784021865da4458 RANDOM SEED= 755555116 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node63.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.232 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.232 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: 1664412 kB Buffers: 28164 kB Cached: 300604 kB SwapCached: 18916 kB Active: 235288 kB Inactive: 117936 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1664412 kB SwapTotal: 4192956 kB SwapFree: 4168472 kB Dirty: 1820 kB Writeback: 0 kB Mapped: 15300 kB Slab: 24276 kB Committed_AS: 1947912 kB PageTables: 1460 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= 66506 MiB End job on node63 on Tue Apr 17 23:43:34 UTC 2007