Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.22 | 1800.71 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-scagr25.opb |
MD5SUM | b63141b317e602f06e6dedfad8ff4e9a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 15000 |
Total number of constraints | 471 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 471 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 300 |
Number of terms in the objective function | 14250 |
Biggest coefficient in the objective function | 3992 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 536200 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262051 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 536200 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.09/0.18 c ...done 0.09/0.18 c #vars=15000 #constraints=772 hasObjective=yes 0.29/0.30 c res. mode=mod 0.29/0.30 c VSIDS like heuristics 0.29/0.30 c complete search running 1.10/1.13 c restart after 401 decisions 1.10/1.15 c nbDecision=500 #constraints=1049 2.19/2.26 c restart after 801 decisions 2.59/2.67 c nbDecision=1000 #constraints=1396 5.49/5.57 c nbDecision=1500 #constraints=1896 6.19/6.27 c restart after 1601 decisions 8.39/8.43 c nbDecision=2000 #constraints=2268 12.99/13.03 c nbDecision=2500 #constraints=2770 18.49/18.55 c nbDecision=3000 #constraints=3269 20.98/21.07 c restart after 3201 decisions 23.68/23.70 c nbDecision=3500 #constraints=3644 31.18/31.21 c nbDecision=4000 #constraints=4140 39.49/39.57 c nbDecision=4500 #constraints=4645 48.78/48.84 c nbDecision=5000 #constraints=5144 59.68/59.70 c nbDecision=5500 #constraints=5645 70.57/70.67 c nbDecision=6000 #constraints=6142 80.77/80.82 c restart after 6401 decisions 81.57/81.60 c nbDecision=6500 #constraints=6544 94.17/94.28 c nbDecision=7000 #constraints=7021 108.26/108.36 c nbDecision=7500 #constraints=7517 123.66/123.76 c nbDecision=8000 #constraints=8019 140.35/140.44 c nbDecision=8500 #constraints=8518 158.36/158.41 c nbDecision=9000 #constraints=9018 176.74/176.89 c nbDecision=9500 #constraints=9519 196.84/196.93 c nbDecision=10000 #constraints=10019 217.53/217.63 c nbDecision=10500 #constraints=10517 239.52/239.64 c nbDecision=11000 #constraints=11016 263.22/263.36 c nbDecision=11500 #constraints=11518 288.02/288.10 c nbDecision=12000 #constraints=12020 314.01/314.12 c nbDecision=12500 #constraints=12521 329.60/329.75 c restart after 12801 decisions 335.60/335.72 c nbDecision=13000 #constraints=12898 362.09/362.28 c nbDecision=13500 #constraints=13396 389.89/390.00 c nbDecision=14000 #constraints=13899 418.99/419.14 c nbDecision=14500 #constraints=14396 449.78/449.91 c nbDecision=15000 #constraints=14897 480.46/480.64 c nbDecision=15500 #constraints=15397 512.66/512.84 c nbDecision=16000 #constraints=15897 546.24/546.41 c nbDecision=16500 #constraints=16395 580.43/580.66 c nbDecision=17000 #constraints=16899 616.43/616.67 c nbDecision=17500 #constraints=17399 653.12/653.32 c nbDecision=18000 #constraints=17898 691.30/691.52 c nbDecision=18500 #constraints=18399 729.99/730.21 c nbDecision=19000 #constraints=18898 768.99/769.22 c nbDecision=19500 #constraints=19396 809.97/810.29 c nbDecision=20000 #constraints=19899 851.66/851.93 c nbDecision=20500 #constraints=20399 895.16/895.47 c nbDecision=21000 #constraints=20897 940.34/940.67 c nbDecision=21500 #constraints=21398 986.82/987.11 c nbDecision=22000 #constraints=21901 1032.31/1032.65 c nbDecision=22500 #constraints=22399 1080.00/1080.33 c nbDecision=23000 #constraints=22897 1130.08/1130.43 c nbDecision=23500 #constraints=23400 1179.77/1180.15 c nbDecision=24000 #constraints=23901 1230.36/1230.72 c nbDecision=24500 #constraints=24401 1280.14/1280.54 c nbDecision=25000 #constraints=24894 1331.53/1331.94 c nbDecision=25500 #constraints=25396 1342.13/1342.58 c restart after 25601 decisions 1374.71/1375.14 c nbDecision=26000 #constraints=25771 1430.71/1431.13 c nbDecision=26500 #constraints=26277 1483.88/1484.31 c nbDecision=27000 #constraints=26771 1541.17/1541.67 c nbDecision=27500 #constraints=27274 1599.15/1599.66 c nbDecision=28000 #constraints=27770 1657.34/1657.84 c nbDecision=28500 #constraints=28271 1717.23/1717.78 c nbDecision=29000 #constraints=28776 1779.71/1780.25 c nbDecision=29500 #constraints=29275 1800.01/1800.50 Received signal 15 1800.12/1800.65 1800.12/1800.65 s UNKNOWN 1800.12/1800.65 1800.12/1800.65 c user time= 1799.6 s 1800.12/1800.65 c system time= 0.562914 s 1800.12/1800.65 c wall clock time=1800.65
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node68/watcher-356925-1176848614 -o ROOT/results/node68/solver-356925-1176848614 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356925-1176848614/instance-356925-1176848614.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.08 1.02 1.01 2/64 7615 /proc/meminfo: memFree=1769776/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=1620 CPUtime=0 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 188 0 0 0 0 0 0 0 18 0 1 0 160850949 1658880 170 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 405 172 126 317 0 84 0 [startup+0.0304481 s] /proc/loadavg: 1.08 1.02 1.01 2/64 7615 /proc/meminfo: memFree=1769776/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=2048 CPUtime=0.02 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 328 0 0 0 2 0 0 0 18 0 1 0 160850949 2097152 277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712587 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 512 277 128 317 0 191 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2048 [startup+0.101454 s] /proc/loadavg: 1.08 1.02 1.01 2/64 7615 /proc/meminfo: memFree=1769776/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=3632 CPUtime=0.09 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 751 0 0 0 9 0 0 0 18 0 1 0 160850949 3719168 700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 908 701 131 317 0 587 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3632 [startup+0.301471 s] /proc/loadavg: 1.08 1.02 1.01 2/64 7615 /proc/meminfo: memFree=1769776/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=7868 CPUtime=0.29 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 1804 0 0 0 29 0 0 0 19 0 1 0 160850949 8056832 1753 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 1967 1753 137 317 0 1646 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7868 [startup+0.701508 s] /proc/loadavg: 1.08 1.02 1.01 2/64 7615 /proc/meminfo: memFree=1769776/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=9556 CPUtime=0.69 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 2240 0 0 0 69 0 0 0 24 0 1 0 160850949 9785344 2189 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 2389 2189 139 317 0 2068 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9556 [startup+1.50158 s] /proc/loadavg: 1.08 1.02 1.01 2/65 7616 /proc/meminfo: memFree=1760680/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=12036 CPUtime=1.49 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 2847 0 0 0 148 1 0 0 25 0 1 0 160850949 12324864 2796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284166 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 3009 2796 139 317 0 2688 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12036 [startup+3.10172 s] /proc/loadavg: 1.08 1.02 1.01 2/65 7616 /proc/meminfo: memFree=1756712/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=15992 CPUtime=3.09 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 3833 0 0 0 307 2 0 0 25 0 1 0 160850949 16375808 3782 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 3998 3782 139 317 0 3677 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15992 [startup+6.30201 s] /proc/loadavg: 1.07 1.02 1.00 2/65 7616 /proc/meminfo: memFree=1750184/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=22304 CPUtime=6.29 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 5295 0 0 0 626 3 0 0 25 0 1 0 160850949 22839296 5244 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 5576 5244 139 317 0 5255 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22304 [startup+12.7016 s] /proc/loadavg: 1.07 1.02 1.00 2/65 7616 /proc/meminfo: memFree=1742632/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=28836 CPUtime=12.69 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 7036 0 0 0 1264 5 0 0 25 0 1 0 160850949 29528064 6985 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 7209 6985 139 317 0 6888 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28836 [startup+25.5017 s] /proc/loadavg: 1.05 1.01 1.00 2/65 7616 /proc/meminfo: memFree=1729896/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=41588 CPUtime=25.48 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 10097 0 0 0 2542 6 0 0 25 0 1 0 160850949 42586112 10046 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 10397 10046 139 317 0 10076 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 41588 [startup+51.1011 s] /proc/loadavg: 1.03 1.01 1.00 2/65 7616 /proc/meminfo: memFree=1712424/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=61756 CPUtime=51.07 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 14491 0 0 0 5098 9 0 0 25 0 1 0 160850949 63238144 14440 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 15439 14440 139 317 0 15118 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 61756 [startup+102.305 s] /proc/loadavg: 1.01 1.01 1.00 2/65 7616 /proc/meminfo: memFree=1692136/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=79880 CPUtime=102.26 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 19527 0 0 0 10213 13 0 0 25 0 1 0 160850949 81797120 19433 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 19970 19433 139 317 0 19649 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 79880 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7616 /proc/meminfo: memFree=1667816/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=110536 CPUtime=162.25 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 25615 0 0 0 16208 17 0 0 25 0 1 0 160850949 113188864 25521 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 27634 25521 139 317 0 27313 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 110536 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7616 /proc/meminfo: memFree=1653032/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=124072 CPUtime=222.23 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 29276 0 0 0 22204 19 0 0 25 0 1 0 160850949 127049728 29182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 31018 29182 139 317 0 30697 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 124072 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7616 /proc/meminfo: memFree=1640936/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=135208 CPUtime=282.22 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 32313 0 0 0 28200 22 0 0 25 0 1 0 160850949 138452992 32219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 33802 32219 139 317 0 33481 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 135208 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7616 /proc/meminfo: memFree=1629992/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=145336 CPUtime=342.2 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 35095 0 0 0 34196 24 0 0 25 0 1 0 160850949 148824064 34916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 36334 34916 139 317 0 36013 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 145336 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7616 /proc/meminfo: memFree=1619112/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=154640 CPUtime=402.19 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 37818 0 0 0 40192 27 0 0 25 0 1 0 160850949 158351360 37639 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 38660 37639 139 317 0 38339 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 154640 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7616 /proc/meminfo: memFree=1609832/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=163448 CPUtime=462.16 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 40119 0 0 0 46188 28 0 0 25 0 1 0 160850949 167370752 39940 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 40862 39940 139 317 0 40541 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 163448 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7616 /proc/meminfo: memFree=1600680/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=171548 CPUtime=522.15 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 42416 0 0 0 52185 30 0 0 25 0 1 0 160850949 175665152 42237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 42887 42237 139 317 0 42566 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 171548 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7616 /proc/meminfo: memFree=1591912/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=179808 CPUtime=582.13 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 44570 0 0 0 58182 31 0 0 25 0 1 0 160850949 184123392 44391 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 44952 44391 139 317 0 44631 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 179808 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7616 /proc/meminfo: memFree=1576808/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=215496 CPUtime=642.13 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 52074 0 0 0 64178 35 0 0 25 0 1 0 160850949 220667904 48133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271379 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 53874 48133 139 317 0 53553 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 215496 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7616 /proc/meminfo: memFree=1539752/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=248144 CPUtime=942.04 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 61339 0 0 0 94163 41 0 0 25 0 1 0 160850949 254099456 57398 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718305 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 62036 57398 139 317 0 61715 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 248144 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7618 /proc/meminfo: memFree=1533288/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=253780 CPUtime=1002.02 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 62944 0 0 0 100159 43 0 0 25 0 1 0 160850949 259870720 59003 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 63445 59003 139 317 0 63124 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 253780 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7618 /proc/meminfo: memFree=1527016/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=259412 CPUtime=1062.01 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 64516 0 0 0 106157 44 0 0 25 0 1 0 160850949 265637888 60575 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 64853 60575 139 317 0 64532 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 259412 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7618 /proc/meminfo: memFree=1520168/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=264624 CPUtime=1121.98 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 66205 0 0 0 112154 44 0 0 25 0 1 0 160850949 270974976 62264 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604218 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 66156 62264 139 317 0 65835 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 264624 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7618 /proc/meminfo: memFree=1514152/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=269976 CPUtime=1181.97 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 67712 0 0 0 118152 45 0 0 25 0 1 0 160850949 276455424 63771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 67494 63771 139 317 0 67173 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 269976 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7618 /proc/meminfo: memFree=1508200/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=275048 CPUtime=1241.95 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 69179 0 0 0 124149 46 0 0 25 0 1 0 160850949 281649152 65238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 68762 65238 139 317 0 68441 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 275048 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7618 /proc/meminfo: memFree=1502248/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=280976 CPUtime=1301.94 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 70822 0 0 0 130147 47 0 0 25 0 1 0 160850949 287719424 66712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 70244 66712 139 317 0 69923 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 280976 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7618 /proc/meminfo: memFree=1496872/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=285672 CPUtime=1361.92 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 72189 0 0 0 136144 48 0 0 25 0 1 0 160850949 292528128 68079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 71418 68079 139 317 0 71097 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 285672 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7618 /proc/meminfo: memFree=1491240/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=290520 CPUtime=1421.91 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 73576 0 0 0 142142 49 0 0 25 0 1 0 160850949 297492480 69466 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 72630 69466 139 317 0 72309 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 290520 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7618 /proc/meminfo: memFree=1485736/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=295368 CPUtime=1481.88 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 74965 0 0 0 148138 50 0 0 25 0 1 0 160850949 302456832 70855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 73842 70855 139 317 0 73521 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 295368 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7618 /proc/meminfo: memFree=1480360/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=299824 CPUtime=1541.87 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 76290 0 0 0 154136 51 0 0 25 0 1 0 160850949 307019776 72180 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563477 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 74956 72180 139 317 0 74635 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 299824 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7618 /proc/meminfo: memFree=1475176/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=304276 CPUtime=1601.85 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 77591 0 0 0 160133 52 0 0 25 0 1 0 160850949 311578624 73481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 76069 73481 139 317 0 75748 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 304276 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7618 /proc/meminfo: memFree=1469864/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=308856 CPUtime=1661.84 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 78900 0 0 0 166130 54 0 0 25 0 1 0 160850949 316268544 74790 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 77214 74790 139 317 0 76893 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 308856 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7618 /proc/meminfo: memFree=1464808/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=313436 CPUtime=1721.83 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 80206 0 0 0 172128 55 0 0 25 0 1 0 160850949 320958464 76063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 78359 76063 139 317 0 78038 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 313436 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7618 /proc/meminfo: memFree=1459880/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=317660 CPUtime=1781.8 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 81428 0 0 0 178125 55 0 0 25 0 1 0 160850949 325283840 77285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 79415 77285 139 317 0 79094 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 317660 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7618 /proc/meminfo: memFree=1458600/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=318836 CPUtime=1800.01 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 81742 0 0 0 179945 56 0 0 25 0 1 0 160850949 326488064 77599 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 79709 77599 139 317 0 79388 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 318836 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 1.00 2/66 7619 /proc/meminfo: memFree=1458592/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=318836 CPUtime=1800.12 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 81744 0 0 0 179956 56 0 0 25 0 1 0 160850949 326488064 77601 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562702 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/statm: 79709 77601 139 317 0 79388 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 318836 [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7619 /proc/meminfo: memFree=1458592/2055920 swapFree=4178704/4192956 [pid=7615] ppid=7613 vsize=0 CPUtime=1800.21 /proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194308 81760 0 0 0 179960 61 0 0 25 0 1 0 160850949 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7615/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.71 CPU time (s): 1800.22 CPU user time (s): 1799.61 CPU system time (s): 0.612906 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (KiB): 318836 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.61 system time used= 0.612906 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 81760 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= 4525 runsolver used 1.16882 second user time and 3.76143 second system time The end
Begin job on node68 on Tue Apr 17 22:23:34 UTC 2007 IDJOB= 356925 IDBENCH= 1647 IDSOLVER= 172 FILE ID= node68/356925-1176848614 PBS_JOBID= 4590195 Free space on /tmp= 66329 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scagr25.opb COMMAND LINE= oree /tmp/evaluation/356925-1176848614/instance-356925-1176848614.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-356925-1176848614 -o ROOT/results/node68/solver-356925-1176848614 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356925-1176848614/instance-356925-1176848614.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= b63141b317e602f06e6dedfad8ff4e9a RANDOM SEED= 667534662 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node68.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: 1770184 kB Buffers: 20356 kB Cached: 218324 kB SwapCached: 8500 kB Active: 99856 kB Inactive: 153924 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1770184 kB SwapTotal: 4192956 kB SwapFree: 4178704 kB Dirty: 1904 kB Writeback: 0 kB Mapped: 15340 kB Slab: 18008 kB Committed_AS: 2654976 kB PageTables: 1380 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= 66329 MiB End job on node68 on Tue Apr 17 22:53:37 UTC 2007