Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.28 | 1800.92 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-scagr7.opb |
MD5SUM | 898083402c7ca4355f8e4024f5c352c7 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 472 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 472 |
Optimality of the best value was proved | NO |
Number of variables | 4200 |
Total number of constraints | 129 |
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 | 129 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 300 |
Number of terms in the objective function | 3990 |
Biggest coefficient in the objective function | 14255 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 527499 |
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 | 527499 |
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.00/0.05 c ...done 0.00/0.05 c #vars=4200 #constraints=214 hasObjective=yes 0.04/0.08 c res. mode=mod 0.04/0.08 c VSIDS like heuristics 0.04/0.08 c complete search running 0.69/0.79 c restart after 401 decisions 0.79/0.81 c nbDecision=500 #constraints=491 1.69/1.79 c restart after 801 decisions 2.09/2.15 c nbDecision=1000 #constraints=838 4.79/4.84 c nbDecision=1500 #constraints=1338 5.40/5.50 c restart after 1601 decisions 7.49/7.54 c nbDecision=2000 #constraints=1710 11.88/11.97 c nbDecision=2500 #constraints=2212 17.18/17.27 c nbDecision=3000 #constraints=2711 19.58/19.67 c restart after 3201 decisions 22.09/22.18 c nbDecision=3500 #constraints=3086 29.48/29.51 c nbDecision=4000 #constraints=3582 37.57/37.66 c nbDecision=4500 #constraints=4087 46.57/46.68 c nbDecision=5000 #constraints=4586 57.17/57.28 c nbDecision=5500 #constraints=5087 67.87/67.98 c nbDecision=6000 #constraints=5584 77.87/77.95 c restart after 6401 decisions 78.67/78.71 c nbDecision=6500 #constraints=5986 91.17/91.25 c nbDecision=7000 #constraints=6463 104.95/105.09 c nbDecision=7500 #constraints=6959 120.25/120.34 c nbDecision=8000 #constraints=7461 136.85/136.90 c nbDecision=8500 #constraints=7960 154.65/154.72 c nbDecision=9000 #constraints=8460 172.84/172.97 c nbDecision=9500 #constraints=8961 192.63/192.74 c nbDecision=10000 #constraints=9461 213.02/213.17 c nbDecision=10500 #constraints=9959 234.72/234.90 c nbDecision=11000 #constraints=10458 258.21/258.33 c nbDecision=11500 #constraints=10960 282.62/282.77 c nbDecision=12000 #constraints=11462 308.40/308.51 c nbDecision=12500 #constraints=11963 323.90/324.05 c restart after 12801 decisions 329.90/330.04 c nbDecision=13000 #constraints=12340 356.29/356.48 c nbDecision=13500 #constraints=12838 383.88/384.03 c nbDecision=14000 #constraints=13341 412.97/413.10 c nbDecision=14500 #constraints=13838 443.56/443.70 c nbDecision=15000 #constraints=14339 474.15/474.32 c nbDecision=15500 #constraints=14839 506.24/506.40 c nbDecision=16000 #constraints=15339 539.56/539.88 c nbDecision=16500 #constraints=15837 573.60/573.99 c nbDecision=17000 #constraints=16341 609.60/609.97 c nbDecision=17500 #constraints=16841 645.99/646.35 c nbDecision=18000 #constraints=17340 683.87/684.28 c nbDecision=18500 #constraints=17841 722.37/722.73 c nbDecision=19000 #constraints=18340 761.05/761.43 c nbDecision=19500 #constraints=18838 801.84/802.23 c nbDecision=20000 #constraints=19341 843.23/843.61 c nbDecision=20500 #constraints=19841 886.41/886.88 c nbDecision=21000 #constraints=20339 931.31/931.79 c nbDecision=21500 #constraints=20840 977.49/977.91 c nbDecision=22000 #constraints=21343 1022.68/1023.15 c nbDecision=22500 #constraints=21841 1070.06/1070.54 c nbDecision=23000 #constraints=22339 1119.84/1120.31 c nbDecision=23500 #constraints=22842 1169.23/1169.75 c nbDecision=24000 #constraints=23343 1219.52/1220.01 c nbDecision=24500 #constraints=23843 1268.80/1269.39 c nbDecision=25000 #constraints=24336 1320.09/1320.67 c nbDecision=25500 #constraints=24838 1330.69/1331.29 c restart after 25601 decisions 1363.17/1363.78 c nbDecision=26000 #constraints=25213 1419.06/1419.63 c nbDecision=26500 #constraints=25719 1472.15/1472.72 c nbDecision=27000 #constraints=26213 1529.33/1529.93 c nbDecision=27500 #constraints=26716 1587.11/1587.77 c nbDecision=28000 #constraints=27212 1645.20/1645.84 c nbDecision=28500 #constraints=27713 1704.98/1705.64 c nbDecision=29000 #constraints=28218 1767.36/1768.01 c nbDecision=29500 #constraints=28717 1800.06/1800.71 Received signal 15 1800.16/1800.86 1800.16/1800.86 s UNKNOWN 1800.16/1800.86 1800.16/1800.86 c user time= 1799.69 s 1800.16/1800.86 c system time= 0.532918 s 1800.16/1800.86 c wall clock time=1800.86
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node71/watcher-356976-1176850351 -o ROOT/results/node71/solver-356976-1176850351 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356976-1176850351/instance-356976-1176850351.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.97 0.99 3/64 18158 /proc/meminfo: memFree=1797576/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=1620 CPUtime=0 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 161024423 1658880 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 405 174 126 317 0 84 0 [startup+0.0537719 s] /proc/loadavg: 0.91 0.97 0.99 3/64 18158 /proc/meminfo: memFree=1797576/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=3000 CPUtime=0.04 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 559 0 0 0 4 0 0 0 18 0 1 0 161024423 3072000 541 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602691 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 750 541 137 317 0 429 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 3000 [startup+0.101778 s] /proc/loadavg: 0.91 0.97 0.99 3/64 18158 /proc/meminfo: memFree=1797576/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=3264 CPUtime=0.09 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 644 0 0 0 9 0 0 0 18 0 1 0 161024423 3342336 626 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 816 626 139 317 0 495 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3264 [startup+0.301805 s] /proc/loadavg: 0.91 0.97 0.99 3/64 18158 /proc/meminfo: memFree=1797576/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=4312 CPUtime=0.29 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 884 0 0 0 29 0 0 0 20 0 1 0 161024423 4415488 866 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713829 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 1078 866 139 317 0 757 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4312 [startup+0.70186 s] /proc/loadavg: 0.91 0.97 0.99 3/64 18158 /proc/meminfo: memFree=1797576/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=5760 CPUtime=0.69 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 1265 0 0 0 69 0 0 0 24 0 1 0 161024423 5898240 1247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 1440 1247 139 317 0 1119 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5760 [startup+1.50197 s] /proc/loadavg: 0.91 0.97 0.99 2/65 18159 /proc/meminfo: memFree=1791808/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=8244 CPUtime=1.49 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 1896 0 0 0 148 1 0 0 25 0 1 0 161024423 8441856 1878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 2061 1878 139 317 0 1740 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8244 [startup+3.10119 s] /proc/loadavg: 0.91 0.97 0.99 2/65 18159 /proc/meminfo: memFree=1788288/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=12212 CPUtime=3.09 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 2888 0 0 0 307 2 0 0 25 0 1 0 161024423 12505088 2870 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 3053 2870 139 317 0 2732 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12212 [startup+6.30162 s] /proc/loadavg: 0.92 0.97 0.99 2/65 18159 /proc/meminfo: memFree=1781632/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=18564 CPUtime=6.29 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 4320 0 0 0 626 3 0 0 25 0 1 0 161024423 19009536 4302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 4641 4302 139 317 0 4320 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18564 [startup+12.7015 s] /proc/loadavg: 0.93 0.97 0.99 2/65 18159 /proc/meminfo: memFree=1774088/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=28764 CPUtime=12.69 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 6622 0 0 0 1264 5 0 0 25 0 1 0 161024423 29454336 6604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 7191 6604 139 317 0 6870 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28764 [startup+25.5012 s] /proc/loadavg: 0.94 0.97 0.99 2/65 18159 /proc/meminfo: memFree=1761352/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=37812 CPUtime=25.48 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 9144 0 0 0 2542 6 0 0 25 0 1 0 161024423 38719488 9126 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 9453 9126 139 317 0 9132 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 37812 [startup+51.1017 s] /proc/loadavg: 0.96 0.97 0.99 2/65 18159 /proc/meminfo: memFree=1743560/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=58184 CPUtime=51.08 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 13582 0 0 0 5098 10 0 0 25 0 1 0 161024423 59580416 13564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 14546 13564 139 317 0 14225 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 58184 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.99 2/65 18159 /proc/meminfo: memFree=1723400/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=76124 CPUtime=102.26 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 18576 0 0 0 10213 13 0 0 25 0 1 0 161024423 77950976 18558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 19031 18558 139 317 0 18710 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 76124 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 18159 /proc/meminfo: memFree=1699464/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=106888 CPUtime=162.24 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 24626 0 0 0 16207 17 0 0 25 0 1 0 161024423 109453312 24550 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 26722 24550 139 317 0 26401 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 106888 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 18159 /proc/meminfo: memFree=1684616/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=120424 CPUtime=222.23 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 28292 0 0 0 22202 21 0 0 25 0 1 0 161024423 123314176 28216 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 30106 28216 139 317 0 29785 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 120424 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 18159 /proc/meminfo: memFree=1672456/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=131544 CPUtime=282.21 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 31333 0 0 0 28198 23 0 0 25 0 1 0 161024423 134701056 31257 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 32886 31257 139 317 0 32565 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 131544 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 18159 /proc/meminfo: memFree=1661128/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=141224 CPUtime=342.19 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 34152 0 0 0 34195 24 0 0 25 0 1 0 161024423 144613376 34076 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 35306 34076 139 317 0 34985 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 141224 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 18159 /proc/meminfo: memFree=1650696/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=150668 CPUtime=402.17 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 36770 0 0 0 40192 25 0 0 25 0 1 0 161024423 154284032 36694 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 37667 36694 139 317 0 37346 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 150668 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 18159 /proc/meminfo: memFree=1640904/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=159456 CPUtime=462.15 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 39180 0 0 0 46188 27 0 0 25 0 1 0 161024423 163282944 39104 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 39864 39104 139 317 0 39543 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 159456 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/71 18233 /proc/meminfo: memFree=1631104/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=167568 CPUtime=522.1 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 41464 0 0 0 52181 29 0 0 25 0 1 0 161024423 171589632 41388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 41892 41388 139 317 0 41571 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 167568 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 18357 /proc/meminfo: memFree=1623496/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=175708 CPUtime=582.01 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 43512 0 0 0 58170 31 0 0 25 0 1 0 161024423 179924992 43436 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 43927 43436 139 317 0 43606 0 Current children cumulated CPU time (s) 582.01 Current children cumulated vsize (KiB) 175708 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 18357 /proc/meminfo: memFree=1608392/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=211872 CPUtime=641.99 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 51185 0 0 0 64165 34 0 0 25 0 1 0 161024423 216956928 47167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 52968 47167 139 317 0 52647 0 Current children cumulated CPU time (s) 641.99 Current children cumulated vsize (KiB) 211872 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 18357 /proc/meminfo: memFree=1571208/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=244548 CPUtime=941.9 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 60463 0 0 0 94149 41 0 0 25 0 1 0 161024423 250417152 56445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 61137 56445 139 317 0 60816 0 Current children cumulated CPU time (s) 941.9 Current children cumulated vsize (KiB) 244548 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 18357 /proc/meminfo: memFree=1564616/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=250328 CPUtime=1001.88 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 62089 0 0 0 100147 41 0 0 25 0 1 0 161024423 256335872 58071 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 62582 58071 139 317 0 62261 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 250328 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 18357 /proc/meminfo: memFree=1557768/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=255824 CPUtime=1061.87 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 63818 0 0 0 106144 43 0 0 25 0 1 0 161024423 261963776 59800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 63956 59800 139 317 0 63635 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 255824 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 18357 /proc/meminfo: memFree=1551688/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=261076 CPUtime=1121.84 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 65346 0 0 0 112141 43 0 0 25 0 1 0 161024423 267341824 61328 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 65269 61328 139 317 0 64948 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 261076 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 18357 /proc/meminfo: memFree=1545736/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=266420 CPUtime=1181.83 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 66841 0 0 0 118139 44 0 0 25 0 1 0 161024423 272814080 62823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 66605 62823 139 317 0 66284 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 266420 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 18357 /proc/meminfo: memFree=1539720/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=271636 CPUtime=1241.81 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 68327 0 0 0 124136 45 0 0 25 0 1 0 161024423 278155264 64309 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 67909 64309 139 317 0 67588 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 271636 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 18357 /proc/meminfo: memFree=1533832/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=276716 CPUtime=1301.8 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 69809 0 0 0 130134 46 0 0 25 0 1 0 161024423 283357184 65791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 69179 65791 139 317 0 68858 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 276716 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 18357 /proc/meminfo: memFree=1528392/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=281584 CPUtime=1361.77 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 71175 0 0 0 136131 46 0 0 25 0 1 0 161024423 288342016 67157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710946 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 70396 67157 139 317 0 70075 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 281584 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/65 18357 /proc/meminfo: memFree=1522824/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=286316 CPUtime=1421.76 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 72543 0 0 0 142129 47 0 0 25 0 1 0 161024423 293187584 68525 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 71579 68525 139 317 0 71258 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 286316 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 18357 /proc/meminfo: memFree=1517256/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=291064 CPUtime=1481.74 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 73931 0 0 0 148126 48 0 0 25 0 1 0 161024423 298049536 69913 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 72766 69913 139 317 0 72445 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 291064 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 18357 /proc/meminfo: memFree=1511880/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=295644 CPUtime=1541.73 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 75261 0 0 0 154124 49 0 0 25 0 1 0 161024423 302739456 71243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 73911 71243 139 317 0 73590 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 295644 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 18357 /proc/meminfo: memFree=1506696/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=300096 CPUtime=1601.7 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 76572 0 0 0 160121 49 0 0 25 0 1 0 161024423 307298304 72554 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 75024 72554 139 317 0 74703 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 300096 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 18357 /proc/meminfo: memFree=1501512/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=304564 CPUtime=1661.69 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 77869 0 0 0 166119 50 0 0 25 0 1 0 161024423 311873536 73851 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 76141 73851 139 317 0 75820 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 304564 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 18357 /proc/meminfo: memFree=1496456/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=309144 CPUtime=1721.67 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 79170 0 0 0 172116 51 0 0 25 0 1 0 161024423 316563456 75119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 77286 75119 139 317 0 76965 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 309144 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 18357 /proc/meminfo: memFree=1491592/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=313348 CPUtime=1781.65 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 80390 0 0 0 178113 52 0 0 25 0 1 0 161024423 320868352 76339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602407 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 78337 76339 139 317 0 78016 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (KiB) 313348 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.99 2/65 18357 /proc/meminfo: memFree=1489544/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=314656 CPUtime=1800.06 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 80878 0 0 0 179953 53 0 0 25 0 1 0 161024423 322207744 76827 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 78664 76827 139 317 0 78343 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 314656 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 0.99 0.97 0.99 2/65 18357 /proc/meminfo: memFree=1489544/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=314656 CPUtime=1800.16 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 80882 0 0 0 179963 53 0 0 25 0 1 0 161024423 322207744 76831 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 78664 76831 139 317 0 78343 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 314656 [startup+1800.9 s] /proc/loadavg: 0.99 0.97 0.99 2/65 18357 /proc/meminfo: memFree=1489544/2055920 swapFree=4184232/4192956 [pid=18158] ppid=18156 vsize=0 CPUtime=1800.25 /proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194308 80898 0 0 0 179969 56 0 0 25 0 1 0 161024423 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18158/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.92 CPU time (s): 1800.28 CPU user time (s): 1799.69 CPU system time (s): 0.583911 CPU usage (%): 99.9643 Max. virtual memory (cumulated for all children) (KiB): 314656 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.69 system time used= 0.583911 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 80898 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= 2984 runsolver used 1.2858 second user time and 3.69844 second system time The end
Begin job on node71 on Tue Apr 17 22:52:31 UTC 2007 IDJOB= 356976 IDBENCH= 1714 IDSOLVER= 172 FILE ID= node71/356976-1176850351 PBS_JOBID= 4590177 Free space on /tmp= 66502 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-scagr7.opb COMMAND LINE= oree /tmp/evaluation/356976-1176850351/instance-356976-1176850351.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-356976-1176850351 -o ROOT/results/node71/solver-356976-1176850351 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356976-1176850351/instance-356976-1176850351.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 898083402c7ca4355f8e4024f5c352c7 RANDOM SEED= 33275883 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node71.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.234 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.234 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: 1797984 kB Buffers: 20288 kB Cached: 174004 kB SwapCached: 2772 kB Active: 55356 kB Inactive: 148700 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1797984 kB SwapTotal: 4192956 kB SwapFree: 4184232 kB Dirty: 1452 kB Writeback: 0 kB Mapped: 15788 kB Slab: 39908 kB Committed_AS: 2502464 kB PageTables: 1448 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= 66502 MiB End job on node71 on Tue Apr 17 23:22:34 UTC 2007