Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.14 | 1800.77 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-glass4.opb |
MD5SUM | d0857e859d7ae9b7cd0d343674d5c1ad |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1174 |
Best CPU time to get the best result obtained on this benchmark | 1800.02 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1138 |
Optimality of the best value was proved | NO |
Number of variables | 780 |
Total number of constraints | 405 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 36 |
Number of constraints which are nor clauses,nor cardinality constraints | 369 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 101 |
Number of terms in the objective function | 478 |
Biggest coefficient in the objective function | 262140 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 524739 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262140 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524739 |
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.06/0.08 c ...done 0.06/0.08 c #vars=780 #constraints=442 hasObjective=yes 0.10/0.15 c res. mode=mod 0.10/0.15 c VSIDS like heuristics 0.10/0.15 c complete search running 0.40/0.45 c restart after 401 decisions 0.40/0.46 c nbDecision=500 #constraints=593 1.00/1.09 c restart after 801 decisions 1.10/1.16 c nbDecision=1000 #constraints=844 2.39/2.45 c nbDecision=1500 #constraints=1347 2.69/2.74 c restart after 1601 decisions 3.20/3.26 c nbDecision=2000 #constraints=1621 5.39/5.48 c nbDecision=2500 #constraints=2120 8.09/8.15 c nbDecision=3000 #constraints=2612 9.29/9.39 c restart after 3201 decisions 9.89/9.93 c nbDecision=3500 #constraints=2909 12.38/12.44 c nbDecision=4000 #constraints=3411 15.49/15.57 c nbDecision=4500 #constraints=3911 19.28/19.38 c nbDecision=5000 #constraints=4407 23.78/23.83 c nbDecision=5500 #constraints=4912 28.68/28.70 c nbDecision=6000 #constraints=5412 33.18/33.21 c restart after 6401 decisions 33.58/33.69 c nbDecision=6500 #constraints=5821 37.18/37.20 c nbDecision=7000 #constraints=6000 48.57/48.65 c nbDecision=7500 #constraints=6500 60.48/60.59 c nbDecision=8000 #constraints=6999 72.27/72.34 c nbDecision=8500 #constraints=7501 85.46/85.55 c nbDecision=9000 #constraints=7999 99.06/99.12 c nbDecision=9500 #constraints=8500 113.15/113.20 c nbDecision=10000 #constraints=9001 128.05/128.17 c nbDecision=10500 #constraints=9501 143.95/144.04 c nbDecision=11000 #constraints=9958 160.14/160.21 c nbDecision=11500 #constraints=10459 176.83/176.99 c nbDecision=12000 #constraints=10959 193.72/193.80 c nbDecision=12500 #constraints=11433 204.53/204.69 c restart after 12801 decisions 205.92/206.00 c nbDecision=13000 #constraints=11736 212.82/213.00 c nbDecision=13500 #constraints=11938 230.91/231.08 c nbDecision=14000 #constraints=12438 248.51/248.62 c nbDecision=14500 #constraints=12885 268.21/268.31 c nbDecision=15000 #constraints=13386 283.09/283.30 c nbDecision=15500 #constraints=13805 299.18/299.33 c nbDecision=16000 #constraints=14198 310.78/310.96 c nbDecision=16500 #constraints=14495 324.07/324.21 c nbDecision=17000 #constraints=14819 346.47/346.61 c nbDecision=17500 #constraints=15318 367.27/367.50 c nbDecision=18000 #constraints=15764 390.96/391.12 c nbDecision=18500 #constraints=16264 412.95/413.19 c nbDecision=19000 #constraints=16714 436.94/437.18 c nbDecision=19500 #constraints=17198 457.83/458.04 c nbDecision=20000 #constraints=17606 480.83/481.09 c nbDecision=20500 #constraints=18055 501.12/501.34 c nbDecision=21000 #constraints=18485 528.01/528.24 c nbDecision=21500 #constraints=18985 554.20/554.49 c nbDecision=22000 #constraints=19481 578.20/578.49 c nbDecision=22500 #constraints=19928 606.78/607.08 c nbDecision=23000 #constraints=20426 629.87/630.17 c nbDecision=23500 #constraints=20876 656.16/656.47 c nbDecision=24000 #constraints=21377 681.25/681.54 c nbDecision=24500 #constraints=21868 703.35/703.64 c nbDecision=25000 #constraints=22239 726.34/726.65 c nbDecision=25500 #constraints=22653 733.23/733.52 c restart after 25601 decisions 739.63/739.95 c nbDecision=26000 #constraints=22884 750.23/750.60 c nbDecision=26500 #constraints=23220 761.83/762.17 c nbDecision=27000 #constraints=23603 774.22/774.56 c nbDecision=27500 #constraints=23986 785.03/785.33 c nbDecision=28000 #constraints=24329 795.21/795.50 c nbDecision=28500 #constraints=24638 806.92/807.22 c nbDecision=29000 #constraints=25003 818.61/818.98 c nbDecision=29500 #constraints=25327 830.51/830.89 c nbDecision=30000 #constraints=25666 842.80/843.19 c nbDecision=30500 #constraints=26008 857.89/858.24 c nbDecision=31000 #constraints=26455 872.00/872.36 c nbDecision=31500 #constraints=26852 884.49/884.87 c nbDecision=32000 #constraints=27147 894.78/895.13 c nbDecision=32500 #constraints=27370 909.88/910.29 c nbDecision=33000 #constraints=27810 921.07/921.47 c nbDecision=33500 #constraints=28052 935.67/936.06 c nbDecision=34000 #constraints=28392 946.97/947.38 c nbDecision=34500 #constraints=28609 958.06/958.46 c nbDecision=35000 #constraints=28844 972.46/972.87 c nbDecision=35500 #constraints=29194 987.75/988.17 c nbDecision=36000 #constraints=29539 1002.75/1003.13 c nbDecision=36500 #constraints=29860 1014.64/1015.00 c nbDecision=37000 #constraints=30090 1030.53/1030.93 c nbDecision=37500 #constraints=30465 1046.63/1047.06 c nbDecision=38000 #constraints=30840 1061.23/1061.60 c nbDecision=38500 #constraints=31145 1076.02/1076.40 c nbDecision=39000 #constraints=31463 1091.21/1091.60 c nbDecision=39500 #constraints=31789 1107.41/1107.89 c nbDecision=40000 #constraints=32134 1120.00/1120.48 c nbDecision=40500 #constraints=32319 1136.90/1137.39 c nbDecision=41000 #constraints=32681 1154.39/1154.82 c nbDecision=41500 #constraints=33058 1166.70/1167.14 c nbDecision=42000 #constraints=33275 1183.78/1184.25 c nbDecision=42500 #constraints=33588 1202.47/1202.95 c nbDecision=43000 #constraints=33974 1219.77/1220.29 c nbDecision=43500 #constraints=34270 1237.86/1238.33 c nbDecision=44000 #constraints=34601 1255.76/1256.25 c nbDecision=44500 #constraints=34934 1273.95/1274.41 c nbDecision=45000 #constraints=35264 1291.04/1291.50 c nbDecision=45500 #constraints=35532 1309.54/1310.06 c nbDecision=46000 #constraints=35868 1329.54/1330.03 c nbDecision=46500 #constraints=36197 1348.32/1348.84 c nbDecision=47000 #constraints=36517 1367.52/1368.01 c nbDecision=47500 #constraints=36853 1384.81/1385.39 c nbDecision=48000 #constraints=37116 1401.61/1402.19 c nbDecision=48500 #constraints=37397 1420.90/1421.43 c nbDecision=49000 #constraints=37728 1441.49/1442.10 c nbDecision=49500 #constraints=38072 1460.88/1461.49 c nbDecision=50000 #constraints=38400 1480.28/1480.85 c nbDecision=50500 #constraints=38728 1502.07/1502.68 c nbDecision=51000 #constraints=39122 1511.97/1512.57 c restart after 51201 decisions 1524.96/1525.58 c nbDecision=51500 #constraints=39414 1556.75/1557.36 c nbDecision=52000 #constraints=39911 1590.74/1591.31 c nbDecision=52500 #constraints=40410 1624.63/1625.27 c nbDecision=53000 #constraints=40911 1659.22/1659.88 c nbDecision=53500 #constraints=41408 1694.21/1694.84 c nbDecision=54000 #constraints=41908 1731.00/1731.62 c nbDecision=54500 #constraints=42408 1767.98/1768.61 c nbDecision=55000 #constraints=42907 1800.08/1800.70 Received signal 15 1800.08/1800.72 1800.08/1800.72 s UNKNOWN 1800.08/1800.72 1800.08/1800.72 c user time= 1799.56 s 1800.08/1800.72 c system time= 0.543917 s 1800.08/1800.72 c wall clock time=1800.73
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node39/watcher-357010-1176851357 -o ROOT/results/node39/solver-357010-1176851357 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357010-1176851357/instance-357010-1176851357.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: 1.00 1.00 1.00 3/77 20331 /proc/meminfo: memFree=1881664/2055920 swapFree=4117120/4192956 [pid=20331] ppid=20329 vsize=1468 CPUtime=0 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 133047717 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 367 162 131 317 0 46 0 [startup+0.06233 s] /proc/loadavg: 1.00 1.00 1.00 3/77 20331 /proc/meminfo: memFree=1881664/2055920 swapFree=4117120/4192956 [pid=20331] ppid=20329 vsize=2392 CPUtime=0.06 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 404 0 0 0 6 0 0 0 18 0 1 0 133047717 2449408 386 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 598 387 131 317 0 277 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2392 [startup+0.101336 s] /proc/loadavg: 1.00 1.00 1.00 3/77 20331 /proc/meminfo: memFree=1881664/2055920 swapFree=4117120/4192956 [pid=20331] ppid=20329 vsize=2920 CPUtime=0.1 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 543 0 0 0 10 0 0 0 18 0 1 0 133047717 2990080 525 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 730 525 137 317 0 409 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2920 [startup+0.301369 s] /proc/loadavg: 1.00 1.00 1.00 3/77 20331 /proc/meminfo: memFree=1881664/2055920 swapFree=4117120/4192956 [pid=20331] ppid=20329 vsize=3448 CPUtime=0.3 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 671 0 0 0 30 0 0 0 19 0 1 0 133047717 3530752 653 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 862 653 139 317 0 541 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 3448 [startup+0.701436 s] /proc/loadavg: 1.00 1.00 1.00 3/77 20331 /proc/meminfo: memFree=1881664/2055920 swapFree=4117120/4192956 [pid=20331] ppid=20329 vsize=4108 CPUtime=0.7 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 844 0 0 0 70 0 0 0 23 0 1 0 133047717 4206592 826 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 1027 826 139 317 0 706 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 4108 [startup+1.50157 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20332 /proc/meminfo: memFree=1878392/2055920 swapFree=4117120/4192956 [pid=20331] ppid=20329 vsize=5292 CPUtime=1.49 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 1132 0 0 0 149 0 0 0 25 0 1 0 133047717 5419008 1114 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 1323 1114 139 317 0 1002 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5292 [startup+3.10184 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20332 /proc/meminfo: memFree=1876920/2055920 swapFree=4117120/4192956 [pid=20331] ppid=20329 vsize=7160 CPUtime=3.1 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 1639 0 0 0 309 1 0 0 25 0 1 0 133047717 7331840 1621 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 1790 1621 170 317 0 1469 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 7160 [startup+6.30138 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20332 /proc/meminfo: memFree=1873080/2055920 swapFree=4117120/4192956 [pid=20331] ppid=20329 vsize=10472 CPUtime=6.29 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 2447 0 0 0 628 1 0 0 25 0 1 0 133047717 10723328 2429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266198 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 2618 2429 170 317 0 2297 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10472 [startup+12.7025 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20332 /proc/meminfo: memFree=1867064/2055920 swapFree=4117120/4192956 [pid=20331] ppid=20329 vsize=16288 CPUtime=12.69 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 3871 0 0 0 1266 3 0 0 25 0 1 0 133047717 16678912 3853 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 4072 3853 170 317 0 3751 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16288 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20332 /proc/meminfo: memFree=1859256/2055920 swapFree=4117184/4192956 [pid=20331] ppid=20329 vsize=24424 CPUtime=25.48 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 5734 0 0 0 2544 4 0 0 25 0 1 0 133047717 25010176 5716 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 6106 5716 170 317 0 5785 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 24424 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20332 /proc/meminfo: memFree=1852920/2055920 swapFree=4117184/4192956 [pid=20331] ppid=20329 vsize=30640 CPUtime=51.07 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 7296 0 0 0 5102 5 0 0 25 0 1 0 133047717 31375360 7278 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 7660 7278 170 317 0 7339 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 30640 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20332 /proc/meminfo: memFree=1843960/2055920 swapFree=4117184/4192956 [pid=20331] ppid=20329 vsize=40572 CPUtime=102.26 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 9575 0 0 0 10219 7 0 0 25 0 1 0 133047717 41545728 9499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 10143 9499 170 317 0 9822 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 40572 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20332 /proc/meminfo: memFree=1836408/2055920 swapFree=4117184/4192956 [pid=20331] ppid=20329 vsize=48732 CPUtime=162.23 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 11461 0 0 0 16214 9 0 0 25 0 1 0 133047717 49901568 11385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563668 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 12183 11385 170 317 0 11862 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 48732 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20332 /proc/meminfo: memFree=1830328/2055920 swapFree=4117248/4192956 [pid=20331] ppid=20329 vsize=54216 CPUtime=222.22 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 12959 0 0 0 22211 11 0 0 25 0 1 0 133047717 55517184 12883 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 13554 12883 170 317 0 13233 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 54216 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20332 /proc/meminfo: memFree=1825144/2055920 swapFree=4117248/4192956 [pid=20331] ppid=20329 vsize=59092 CPUtime=282.19 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 14233 0 0 0 28207 12 0 0 25 0 1 0 133047717 60510208 14157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 14773 14157 170 317 0 14452 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 59092 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20332 /proc/meminfo: memFree=1821240/2055920 swapFree=4117312/4192956 [pid=20331] ppid=20329 vsize=62932 CPUtime=342.18 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 15236 0 0 0 34204 14 0 0 25 0 1 0 133047717 64442368 15160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 15733 15160 170 317 0 15412 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 62932 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20332 /proc/meminfo: memFree=1817400/2055920 swapFree=4117312/4192956 [pid=20331] ppid=20329 vsize=66832 CPUtime=402.15 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 16210 0 0 0 40200 15 0 0 25 0 1 0 133047717 68435968 16134 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 16708 16134 170 317 0 16387 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 66832 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20332 /proc/meminfo: memFree=1813112/2055920 swapFree=4117380/4192956 [pid=20331] ppid=20329 vsize=72984 CPUtime=462.13 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 17539 0 0 0 46197 16 0 0 25 0 1 0 133047717 74735616 17184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 18246 17184 170 317 0 17925 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 72984 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20332 /proc/meminfo: memFree=1808696/2055920 swapFree=4117380/4192956 [pid=20331] ppid=20329 vsize=77052 CPUtime=522.11 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 18666 0 0 0 52194 17 0 0 25 0 1 0 133047717 78901248 18311 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 19263 18311 170 317 0 18942 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 77052 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20332 /proc/meminfo: memFree=1803896/2055920 swapFree=4117380/4192956 [pid=20331] ppid=20329 vsize=81696 CPUtime=582.09 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 19840 0 0 0 58190 19 0 0 25 0 1 0 133047717 83656704 19485 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 20424 19485 170 317 0 20103 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 81696 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20332 /proc/meminfo: memFree=1798264/2055920 swapFree=4117444/4192956 [pid=20331] ppid=20329 vsize=90304 CPUtime=642.07 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 21798 0 0 0 64187 20 0 0 25 0 1 0 133047717 92471296 20915 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 22576 20915 170 317 0 22255 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 90304 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20332 /proc/meminfo: memFree=1772088/2055920 swapFree=4117508/4192956 [pid=20331] ppid=20329 vsize=117276 CPUtime=881.99 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 28544 0 0 0 88169 30 0 0 25 0 1 0 133047717 120090624 27430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 29319 27430 170 317 0 28998 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 117276 [startup+942.302 s] /proc/loadavg: 1.03 1.01 1.00 2/78 20332 /proc/meminfo: memFree=1766072/2055920 swapFree=4117572/4192956 [pid=20331] ppid=20329 vsize=123112 CPUtime=941.97 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 30050 0 0 0 94165 32 0 0 25 0 1 0 133047717 126066688 28936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271349 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 30778 28937 171 317 0 30457 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 123112 [startup+1002.3 s] /proc/loadavg: 1.01 1.01 1.00 2/78 20332 /proc/meminfo: memFree=1760440/2055920 swapFree=4117700/4192956 [pid=20331] ppid=20329 vsize=128220 CPUtime=1001.94 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 31490 0 0 0 100161 33 0 0 25 0 1 0 133047717 131297280 30376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 32055 30376 170 317 0 31734 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 128220 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20332 /proc/meminfo: memFree=1754872/2055920 swapFree=4117700/4192956 [pid=20331] ppid=20329 vsize=133568 CPUtime=1061.93 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 32901 0 0 0 106158 35 0 0 25 0 1 0 133047717 136773632 31787 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718344 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 33392 31787 170 317 0 33071 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 133568 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20332 /proc/meminfo: memFree=1749688/2055920 swapFree=4117700/4192956 [pid=20331] ppid=20329 vsize=138300 CPUtime=1121.9 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 34168 0 0 0 112154 36 0 0 25 0 1 0 133047717 141619200 33054 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 34575 33054 170 317 0 34254 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 138300 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20332 /proc/meminfo: memFree=1744120/2055920 swapFree=4117764/4192956 [pid=20331] ppid=20329 vsize=146748 CPUtime=1181.88 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 36268 0 0 0 118150 38 0 0 25 0 1 0 133047717 150269952 34465 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 36687 34465 170 317 0 36366 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 146748 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20332 /proc/meminfo: memFree=1739128/2055920 swapFree=4117828/4192956 [pid=20331] ppid=20329 vsize=151092 CPUtime=1241.86 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 37484 0 0 0 124147 39 0 0 25 0 1 0 133047717 154718208 35648 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 37773 35648 170 317 0 37452 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 151092 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20332 /proc/meminfo: memFree=1734456/2055920 swapFree=4117956/4192956 [pid=20331] ppid=20329 vsize=155268 CPUtime=1301.84 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 38644 0 0 0 130143 41 0 0 25 0 1 0 133047717 158994432 36808 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 38817 36808 170 317 0 38496 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 155268 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20332 /proc/meminfo: memFree=1729528/2055920 swapFree=4117956/4192956 [pid=20331] ppid=20329 vsize=167052 CPUtime=1361.82 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 41479 0 0 0 136138 44 0 0 25 0 1 0 133047717 171061248 38050 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 41763 38050 170 317 0 41442 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 167052 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 3/78 20332 /proc/meminfo: memFree=1725112/2055920 swapFree=4118084/4192956 [pid=20331] ppid=20329 vsize=170856 CPUtime=1421.8 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 42537 0 0 0 142135 45 0 0 25 0 1 0 133047717 174956544 39108 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 42714 39108 170 317 0 42393 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 170856 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20332 /proc/meminfo: memFree=1720824/2055920 swapFree=4118084/4192956 [pid=20331] ppid=20329 vsize=174800 CPUtime=1481.78 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 43634 0 0 0 148131 47 0 0 25 0 1 0 133047717 178995200 40205 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 43700 40205 170 317 0 43379 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 174800 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20332 /proc/meminfo: memFree=1716600/2055920 swapFree=4118084/4192956 [pid=20331] ppid=20329 vsize=179128 CPUtime=1541.76 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 44843 0 0 0 154127 49 0 0 25 0 1 0 133047717 183427072 41249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 44782 41249 170 317 0 44461 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 179128 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20332 /proc/meminfo: memFree=1712120/2055920 swapFree=4118212/4192956 [pid=20331] ppid=20329 vsize=183088 CPUtime=1601.73 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 45983 0 0 0 160123 50 0 0 25 0 1 0 133047717 187482112 42389 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 45772 42389 170 317 0 45451 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 183088 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20332 /proc/meminfo: memFree=1707768/2055920 swapFree=4118212/4192956 [pid=20331] ppid=20329 vsize=187020 CPUtime=1661.71 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 47054 0 0 0 166120 51 0 0 25 0 1 0 133047717 191508480 43460 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 46755 43460 170 317 0 46434 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 187020 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20332 /proc/meminfo: memFree=1703480/2055920 swapFree=4118340/4192956 [pid=20331] ppid=20329 vsize=191000 CPUtime=1721.69 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 48170 0 0 0 172117 52 0 0 25 0 1 0 133047717 195584000 44510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 47750 44510 170 317 0 47429 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 191000 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20334 /proc/meminfo: memFree=1699576/2055920 swapFree=4118340/4192956 [pid=20331] ppid=20329 vsize=195200 CPUtime=1781.67 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 49231 0 0 0 178114 53 0 0 25 0 1 0 133047717 199884800 45505 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 48800 45505 170 317 0 48479 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 195200 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20334 /proc/meminfo: memFree=1698232/2055920 swapFree=4118340/4192956 [pid=20331] ppid=20329 vsize=196228 CPUtime=1800.08 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 49539 0 0 0 179954 54 0 0 25 0 1 0 133047717 200937472 45813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 49057 45813 170 317 0 48736 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 196228 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20334 /proc/meminfo: memFree=1698232/2055920 swapFree=4118340/4192956 [pid=20331] ppid=20329 vsize=196228 CPUtime=1800.08 /proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 49539 0 0 0 179954 54 0 0 25 0 1 0 133047717 200937472 45813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20331/statm: 49057 45813 170 317 0 48736 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 196228 Child status: 0 Real time (s): 1800.77 CPU time (s): 1800.14 CPU user time (s): 1799.57 CPU system time (s): 0.575912 CPU usage (%): 99.9653 Max. virtual memory (cumulated for all children) (KiB): 196228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.57 system time used= 0.575912 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 49555 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= 38879 runsolver used 1.9647 second user time and 4.5893 second system time The end
Begin job on node39 on Tue Apr 17 23:09:17 UTC 2007 IDJOB= 357010 IDBENCH= 1772 IDSOLVER= 172 FILE ID= node39/357010-1176851357 PBS_JOBID= 4590220 Free space on /tmp= 66482 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-glass4.opb COMMAND LINE= oree /tmp/evaluation/357010-1176851357/instance-357010-1176851357.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-357010-1176851357 -o ROOT/results/node39/solver-357010-1176851357 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357010-1176851357/instance-357010-1176851357.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= d0857e859d7ae9b7cd0d343674d5c1ad RANDOM SEED= 598801125 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node39.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.256 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.256 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: 1882072 kB Buffers: 32880 kB Cached: 74420 kB SwapCached: 23464 kB Active: 87324 kB Inactive: 53972 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1882072 kB SwapTotal: 4192956 kB SwapFree: 4117120 kB Dirty: 1668 kB Writeback: 0 kB Mapped: 30964 kB Slab: 17880 kB Committed_AS: 1751220 kB PageTables: 2016 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= 66482 MiB End job on node39 on Tue Apr 17 23:39:20 UTC 2007