Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.25 | 1800.73 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p6000.opb |
MD5SUM | e2f15e37dec17456fb4044387114eb48 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -98107 |
Best CPU time to get the best result obtained on this benchmark | 47.8667 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -98107 |
Optimality of the best value was proved | YES |
Number of variables | 6000 |
Total number of constraints | 2171 |
Number of constraints which are clauses | 222 |
Number of constraints which are cardinality constraints (but not clauses) | 1914 |
Number of constraints which are nor clauses,nor cardinality constraints | 35 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 5998 |
Number of terms in the objective function | 5995 |
Biggest coefficient in the objective function | 3684 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 527319 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 25616 |
Number of bits of the biggest number in a constraint | 15 |
Biggest sum of numbers in a constraint | 527319 |
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.04/0.07 c ...done 0.04/0.07 c #vars=6000 #constraints=2295 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.09/0.15 c restart after 401 decisions 0.09/0.15 c nbDecision=500 #constraints=2295 0.09/0.17 c restart after 801 decisions 0.09/0.18 c nbDecision=1000 #constraints=2295 6.09/6.11 c nbDecision=1500 #constraints=2565 8.29/8.36 c restart after 1601 decisions 8.39/8.43 c nbDecision=2000 #constraints=2667 18.69/18.74 c nbDecision=2500 #constraints=3137 29.69/29.72 c nbDecision=3000 #constraints=3637 34.08/34.18 c restart after 3201 decisions 34.48/34.52 c nbDecision=3500 #constraints=3839 42.78/42.85 c nbDecision=4000 #constraints=4209 53.88/53.96 c nbDecision=4500 #constraints=4706 65.08/65.15 c nbDecision=5000 #constraints=5202 76.37/76.48 c nbDecision=5500 #constraints=5699 87.87/87.93 c nbDecision=6000 #constraints=6196 97.17/97.24 c restart after 6401 decisions 98.47/98.59 c nbDecision=6500 #constraints=6596 103.36/103.47 c nbDecision=7000 #constraints=6765 115.06/115.20 c nbDecision=7500 #constraints=7262 126.95/127.04 c nbDecision=8000 #constraints=7757 138.75/138.84 c nbDecision=8500 #constraints=8253 150.56/150.69 c nbDecision=9000 #constraints=8740 162.75/162.88 c nbDecision=9500 #constraints=9239 174.85/174.93 c nbDecision=10000 #constraints=9739 186.54/186.62 c nbDecision=10500 #constraints=10239 198.44/198.57 c nbDecision=11000 #constraints=10736 210.64/210.71 c nbDecision=11500 #constraints=11235 222.73/222.88 c nbDecision=12000 #constraints=11730 235.13/235.24 c nbDecision=12500 #constraints=12228 242.53/242.70 c restart after 12801 decisions 246.53/246.63 c nbDecision=13000 #constraints=12528 254.53/254.66 c nbDecision=13500 #constraints=12789 267.02/267.18 c nbDecision=14000 #constraints=13289 279.52/279.60 c nbDecision=14500 #constraints=13785 292.01/292.12 c nbDecision=15000 #constraints=14279 304.52/304.70 c nbDecision=15500 #constraints=14775 317.21/317.31 c nbDecision=16000 #constraints=15266 329.90/330.05 c nbDecision=16500 #constraints=15766 342.60/342.79 c nbDecision=17000 #constraints=16265 355.59/355.74 c nbDecision=17500 #constraints=16761 368.79/368.90 c nbDecision=18000 #constraints=17257 381.89/382.07 c nbDecision=18500 #constraints=17755 395.08/395.25 c nbDecision=19000 #constraints=18251 408.48/408.65 c nbDecision=19500 #constraints=18750 421.78/421.95 c nbDecision=20000 #constraints=19247 435.07/435.28 c nbDecision=20500 #constraints=19742 448.47/448.68 c nbDecision=21000 #constraints=20238 461.77/461.93 c nbDecision=21500 #constraints=20728 475.57/475.77 c nbDecision=22000 #constraints=21227 488.56/488.72 c nbDecision=22500 #constraints=21727 502.26/502.45 c nbDecision=23000 #constraints=22224 516.25/516.41 c nbDecision=23500 #constraints=22721 530.25/530.46 c nbDecision=24000 #constraints=23218 544.25/544.47 c nbDecision=24500 #constraints=23714 558.44/558.63 c nbDecision=25000 #constraints=24214 572.64/572.81 c nbDecision=25500 #constraints=24710 575.44/575.68 c restart after 25601 decisions 586.94/587.10 c nbDecision=26000 #constraints=24811 600.73/600.90 c nbDecision=26500 #constraints=25273 614.83/615.08 c nbDecision=27000 #constraints=25769 629.22/629.40 c nbDecision=27500 #constraints=26260 643.22/643.40 c nbDecision=28000 #constraints=26759 657.31/657.50 c nbDecision=28500 #constraints=27256 671.61/671.89 c nbDecision=29000 #constraints=27755 686.40/686.65 c nbDecision=29500 #constraints=28252 701.30/701.51 c nbDecision=30000 #constraints=28748 716.19/716.42 c nbDecision=30500 #constraints=29245 731.20/731.41 c nbDecision=31000 #constraints=29743 746.19/746.40 c nbDecision=31500 #constraints=30241 761.19/761.41 c nbDecision=32000 #constraints=30737 776.08/776.36 c nbDecision=32500 #constraints=31232 790.98/791.29 c nbDecision=33000 #constraints=31726 806.08/806.31 c nbDecision=33500 #constraints=32214 821.57/821.81 c nbDecision=34000 #constraints=32710 837.37/837.66 c nbDecision=34500 #constraints=33207 853.37/853.68 c nbDecision=35000 #constraints=33704 869.25/869.53 c nbDecision=35500 #constraints=34202 885.06/885.34 c nbDecision=36000 #constraints=34699 900.95/901.29 c nbDecision=36500 #constraints=35195 916.75/917.04 c nbDecision=37000 #constraints=35690 932.34/932.62 c nbDecision=37500 #constraints=36181 948.54/948.81 c nbDecision=38000 #constraints=36678 964.93/965.22 c nbDecision=38500 #constraints=37174 981.53/981.82 c nbDecision=39000 #constraints=37672 998.03/998.34 c nbDecision=39500 #constraints=38167 1014.62/1014.95 c nbDecision=40000 #constraints=38667 1031.12/1031.49 c nbDecision=40500 #constraints=39163 1047.60/1047.97 c nbDecision=41000 #constraints=39657 1064.11/1064.41 c nbDecision=41500 #constraints=40153 1080.70/1081.02 c nbDecision=42000 #constraints=40643 1097.30/1097.63 c nbDecision=42500 #constraints=41140 1114.09/1114.43 c nbDecision=43000 #constraints=41635 1131.49/1131.90 c nbDecision=43500 #constraints=42132 1148.78/1149.18 c nbDecision=44000 #constraints=42629 1166.08/1166.50 c nbDecision=44500 #constraints=43127 1183.47/1183.87 c nbDecision=45000 #constraints=43625 1200.77/1201.17 c nbDecision=45500 #constraints=44121 1217.96/1218.37 c nbDecision=46000 #constraints=44616 1235.06/1235.47 c nbDecision=46500 #constraints=45108 1252.25/1252.63 c nbDecision=47000 #constraints=45604 1270.25/1270.66 c nbDecision=47500 #constraints=46100 1288.44/1288.81 c nbDecision=48000 #constraints=46598 1306.44/1306.82 c nbDecision=48500 #constraints=47094 1324.53/1324.97 c nbDecision=49000 #constraints=47594 1342.53/1342.97 c nbDecision=49500 #constraints=48089 1360.63/1361.02 c nbDecision=50000 #constraints=48584 1378.52/1378.99 c nbDecision=50500 #constraints=49079 1396.21/1396.62 c nbDecision=51000 #constraints=49573 1403.22/1403.66 c restart after 51201 decisions 1424.31/1424.79 c nbDecision=51500 #constraints=49775 1441.41/1441.87 c nbDecision=52000 #constraints=50137 1460.40/1460.87 c nbDecision=52500 #constraints=50634 1479.20/1479.64 c nbDecision=53000 #constraints=51131 1497.99/1498.47 c nbDecision=53500 #constraints=51629 1516.88/1517.35 c nbDecision=54000 #constraints=52127 1535.68/1536.15 c nbDecision=54500 #constraints=52623 1554.28/1554.79 c nbDecision=55000 #constraints=53118 1572.87/1573.36 c nbDecision=55500 #constraints=53610 1591.36/1591.86 c nbDecision=56000 #constraints=54107 1610.45/1610.96 c nbDecision=56500 #constraints=54601 1630.25/1630.76 c nbDecision=57000 #constraints=55100 1649.95/1650.44 c nbDecision=57500 #constraints=55596 1669.64/1670.10 c nbDecision=58000 #constraints=56095 1689.23/1689.74 c nbDecision=58500 #constraints=56591 1708.84/1709.35 c nbDecision=59000 #constraints=57086 1728.32/1728.82 c nbDecision=59500 #constraints=57581 1747.82/1748.34 c nbDecision=60000 #constraints=58073 1768.32/1768.87 c nbDecision=60500 #constraints=58570 1788.81/1789.30 c nbDecision=61000 #constraints=59066 1800.01/1800.50 Received signal 15 1800.01/1800.53 1800.01/1800.53 s UNKNOWN 1800.01/1800.53 1800.01/1800.53 c user time= 1798.45 s 1800.01/1800.53 c system time= 1.60675 s 1800.01/1800.53 c wall clock time=1800.54
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node62/watcher-363224-1176850994 -o ROOT/results/node62/solver-363224-1176850994 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363224-1176850994/instance-363224-1176850994.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.90 3/64 6080 /proc/meminfo: memFree=1830400/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=1468 CPUtime=0 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 3675357 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 367 161 126 317 0 46 0 [startup+0.0472131 s] /proc/loadavg: 0.91 0.95 0.90 3/64 6080 /proc/meminfo: memFree=1830400/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=2148 CPUtime=0.04 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 315 0 0 0 4 0 0 0 18 0 1 0 3675357 2199552 297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 537 298 131 317 0 216 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2148 [startup+0.101218 s] /proc/loadavg: 0.91 0.95 0.90 3/64 6080 /proc/meminfo: memFree=1830400/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=3344 CPUtime=0.09 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 616 0 0 0 9 0 0 0 18 0 1 0 3675357 3424256 598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 836 598 137 317 0 515 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3344 [startup+0.301242 s] /proc/loadavg: 0.91 0.95 0.90 3/64 6080 /proc/meminfo: memFree=1830400/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=3760 CPUtime=0.29 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 702 0 0 0 29 0 0 0 19 0 1 0 3675357 3850240 684 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 940 684 139 317 0 619 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3760 [startup+0.701288 s] /proc/loadavg: 0.91 0.95 0.90 3/64 6080 /proc/meminfo: memFree=1830400/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=4028 CPUtime=0.69 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 792 0 0 0 69 0 0 0 22 0 1 0 3675357 4124672 774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 1007 774 139 317 0 686 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4028 [startup+1.50138 s] /proc/loadavg: 0.91 0.95 0.90 2/65 6081 /proc/meminfo: memFree=1827448/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=4828 CPUtime=1.49 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 975 0 0 0 149 0 0 0 25 0 1 0 3675357 4943872 957 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 1207 957 139 317 0 886 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4828 [startup+3.10157 s] /proc/loadavg: 0.92 0.95 0.90 2/65 6081 /proc/meminfo: memFree=1826232/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=6668 CPUtime=3.09 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 1447 0 0 0 309 0 0 0 25 0 1 0 3675357 6828032 1429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 1667 1429 139 317 0 1346 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6668 [startup+6.30194 s] /proc/loadavg: 0.92 0.95 0.90 2/65 6081 /proc/meminfo: memFree=1823224/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=10040 CPUtime=6.29 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 2279 0 0 0 628 1 0 0 25 0 1 0 3675357 10280960 2261 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 2510 2261 139 317 0 2189 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10040 [startup+12.7017 s] /proc/loadavg: 0.93 0.96 0.91 2/65 6081 /proc/meminfo: memFree=1815480/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=16520 CPUtime=12.68 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 3926 0 0 0 1267 1 0 0 25 0 1 0 3675357 16916480 3908 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 4130 3908 139 317 0 3809 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 16520 [startup+25.5012 s] /proc/loadavg: 0.94 0.96 0.91 2/65 6081 /proc/meminfo: memFree=1802816/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=29780 CPUtime=25.48 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 7021 0 0 0 2545 3 0 0 25 0 1 0 3675357 30494720 7003 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 7445 7003 139 317 0 7124 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 29780 [startup+51.1012 s] /proc/loadavg: 0.96 0.96 0.91 2/65 6081 /proc/meminfo: memFree=1778240/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=56116 CPUtime=51.07 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 13226 0 0 0 5101 6 0 0 25 0 1 0 3675357 57462784 13208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 14029 13208 170 317 0 13708 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 56116 [startup+102.304 s] /proc/loadavg: 0.98 0.96 0.91 2/65 6081 /proc/meminfo: memFree=1730624/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=106092 CPUtime=102.27 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 25005 0 0 0 10215 12 0 0 25 0 1 0 3675357 108638208 24987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 26523 24987 170 317 0 26202 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 106092 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 6081 /proc/meminfo: memFree=1684544/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=148464 CPUtime=162.24 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 36673 0 0 0 16205 19 0 0 25 0 1 0 3675357 152027136 36597 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 37116 36597 170 317 0 36795 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 148464 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 6081 /proc/meminfo: memFree=1624000/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=219772 CPUtime=222.23 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 51652 0 0 0 22196 27 0 0 25 0 1 0 3675357 225046528 51576 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 54943 51576 170 317 0 54622 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 219772 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 6081 /proc/meminfo: memFree=1583616/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=256880 CPUtime=282.22 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 61830 0 0 0 28190 32 0 0 25 0 1 0 3675357 263045120 61754 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 64220 61754 170 317 0 63899 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 256880 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 6081 /proc/meminfo: memFree=1538752/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=296848 CPUtime=342.2 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 72930 0 0 0 34183 37 0 0 25 0 1 0 3675357 303972352 72854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 74212 72854 170 317 0 73891 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 296848 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 6081 /proc/meminfo: memFree=1496768/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=336072 CPUtime=402.18 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 83621 0 0 0 40177 41 0 0 25 0 1 0 3675357 344137728 83430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 84018 83430 170 317 0 83697 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 336072 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 6081 /proc/meminfo: memFree=1438272/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=430632 CPUtime=462.17 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 105453 0 0 0 46165 52 0 0 25 0 1 0 3675357 440967168 97903 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 107658 97903 170 317 0 107337 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 430632 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 6081 /proc/meminfo: memFree=1396160/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=467564 CPUtime=522.15 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 116075 0 0 0 52158 57 0 0 25 0 1 0 3675357 478785536 108525 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 116891 108525 170 317 0 116570 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 467564 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 6081 /proc/meminfo: memFree=1359488/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=499468 CPUtime=582.14 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 125088 0 0 0 58151 63 0 0 25 0 1 0 3675357 511455232 117505 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 124867 117505 170 317 0 124546 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 499468 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 6081 /proc/meminfo: memFree=1321792/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=532076 CPUtime=642.12 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 134609 0 0 0 64145 67 0 0 25 0 1 0 3675357 544845824 126927 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 133019 126927 170 317 0 132698 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 532076 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 6081 /proc/meminfo: memFree=1116800/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=811500 CPUtime=942.04 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 207905 0 0 0 94105 99 0 0 25 0 1 0 3675357 830976000 178122 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 202875 178122 170 317 0 202554 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 811500 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 6081 /proc/meminfo: memFree=1079616/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=842124 CPUtime=1002.02 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 217165 0 0 0 100098 104 0 0 25 0 1 0 3675357 862334976 187349 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 210531 187349 170 317 0 210210 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 842124 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 6081 /proc/meminfo: memFree=1044544/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=872720 CPUtime=1062.01 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 226003 0 0 0 106091 110 0 0 25 0 1 0 3675357 893665280 196187 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 218180 196187 170 317 0 217859 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 872720 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 6081 /proc/meminfo: memFree=1007872/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=903368 CPUtime=1121.99 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 235275 0 0 0 112085 114 0 0 25 0 1 0 3675357 925048832 205264 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 225842 205264 170 317 0 225521 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 903368 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 6081 /proc/meminfo: memFree=974080/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=932444 CPUtime=1181.97 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 243756 0 0 0 118079 118 0 0 25 0 1 0 3675357 954822656 213745 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596306 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 233111 213745 170 317 0 232790 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 932444 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 6081 /proc/meminfo: memFree=939904/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=961628 CPUtime=1241.95 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 252248 0 0 0 124072 123 0 0 25 0 1 0 3675357 984707072 222237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 240407 222237 170 317 0 240086 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 961628 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 6081 /proc/meminfo: memFree=905024/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=989784 CPUtime=1301.95 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 260880 0 0 0 130067 128 0 0 25 0 1 0 3675357 1013538816 230869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 247446 230869 170 317 0 247125 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 989784 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 6081 /proc/meminfo: memFree=872576/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=1017980 CPUtime=1361.92 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 269115 0 0 0 136060 132 0 0 25 0 1 0 3675357 1042411520 239039 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 254495 239039 170 317 0 254174 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1017980 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/65 6081 /proc/meminfo: memFree=849536/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=1037472 CPUtime=1421.92 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 274794 0 0 0 142056 136 0 0 25 0 1 0 3675357 1062371328 244718 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715798 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 259368 244718 170 317 0 259047 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1037472 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 6081 /proc/meminfo: memFree=820736/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=1061708 CPUtime=1481.89 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 282046 0 0 0 148049 140 0 0 25 0 1 0 3675357 1087188992 251970 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134550067 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 265427 251971 170 317 0 265106 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1061708 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 6081 /proc/meminfo: memFree=788864/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=1088872 CPUtime=1541.87 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 290016 0 0 0 154043 144 0 0 25 0 1 0 3675357 1115004928 259875 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 272218 259875 170 317 0 271897 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1088872 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 6081 /proc/meminfo: memFree=757248/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=1116128 CPUtime=1601.86 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 298030 0 0 0 160038 148 0 0 25 0 1 0 3675357 1142915072 267824 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715809 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 279032 267824 170 317 0 278711 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1116128 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 6081 /proc/meminfo: memFree=726400/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=1141808 CPUtime=1661.84 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 305661 0 0 0 166033 151 0 0 25 0 1 0 3675357 1169211392 275455 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 285452 275455 170 317 0 285131 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1141808 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 6081 /proc/meminfo: memFree=696064/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=1167712 CPUtime=1721.83 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 313302 0 0 0 172028 155 0 0 25 0 1 0 3675357 1195737088 283096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 291928 283096 170 317 0 291607 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1167712 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 6081 /proc/meminfo: memFree=665920/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=1192716 CPUtime=1781.81 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 320763 0 0 0 178022 159 0 0 25 0 1 0 3675357 1221341184 290557 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 298179 290557 170 317 0 297858 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1192716 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.91 2/65 6081 /proc/meminfo: memFree=656640/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=1200132 CPUtime=1800.01 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 323028 0 0 0 179841 160 0 0 25 0 1 0 3675357 1228935168 292822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 300033 292822 170 317 0 299712 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1200132 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: 0.99 0.97 0.91 2/66 6082 /proc/meminfo: memFree=990392/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=0 CPUtime=1800.11 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194308 323048 0 0 0 179845 166 0 0 25 0 1 0 3675357 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 0 [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.91 2/66 6082 /proc/meminfo: memFree=990392/2055920 swapFree=4192956/4192956 [pid=6080] ppid=6078 vsize=0 CPUtime=1800.21 /proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194308 323048 0 0 0 179845 176 0 0 25 0 1 0 3675357 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6080/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.25 CPU user time (s): 1798.46 CPU system time (s): 1.79073 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (KiB): 1200132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.46 system time used= 1.79073 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 323048 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= 2768 runsolver used 1.20982 second user time and 3.72343 second system time The end
Begin job on node62 on Tue Apr 17 23:03:14 UTC 2007 IDJOB= 363224 IDBENCH= 1760 IDSOLVER= 172 FILE ID= node62/363224-1176850994 PBS_JOBID= 4590234 Free space on /tmp= 66518 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/miplib/normalized-reduced-mps-v2-20-10-p6000.opb COMMAND LINE= oree /tmp/evaluation/363224-1176850994/instance-363224-1176850994.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-363224-1176850994 -o ROOT/results/node62/solver-363224-1176850994 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363224-1176850994/instance-363224-1176850994.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= e2f15e37dec17456fb4044387114eb48 RANDOM SEED= 388039406 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node62.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.216 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.216 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: 1830808 kB Buffers: 23572 kB Cached: 145612 kB SwapCached: 0 kB Active: 76012 kB Inactive: 108636 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1830808 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 1544 kB Writeback: 0 kB Mapped: 25580 kB Slab: 26452 kB Committed_AS: 55912 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= 66518 MiB End job on node62 on Tue Apr 17 23:33:16 UTC 2007