Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.28 | 1801.09 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-ship04l.opb |
MD5SUM | 8c2ebef1f909dd9b378c2f7f10ba6b39 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1776 |
Best CPU time to get the best result obtained on this benchmark | 1800.15 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 63540 |
Total number of constraints | 348 |
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 | 348 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 2520 |
Number of terms in the objective function | 63540 |
Biggest coefficient in the objective function | 2379 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 577490 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 577490 |
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.69/0.76 c ...done 0.69/0.76 c #vars=63540 #constraints=661 hasObjective=yes 1.49/1.55 c res. mode=mod 1.49/1.55 c VSIDS like heuristics 1.49/1.55 c complete search running 1.99/2.06 c restart after 401 decisions 2.09/2.15 c nbDecision=500 #constraints=661 2.39/2.41 c restart after 801 decisions 2.49/2.59 c nbDecision=1000 #constraints=661 2.99/3.02 c nbDecision=1500 #constraints=661 3.09/3.11 c restart after 1601 decisions 3.39/3.45 c nbDecision=2000 #constraints=661 3.79/3.86 c nbDecision=2500 #constraints=661 4.19/4.28 c nbDecision=3000 #constraints=661 4.39/4.46 c restart after 3201 decisions 4.69/4.72 c nbDecision=3500 #constraints=661 5.09/5.16 c nbDecision=4000 #constraints=661 5.49/5.59 c nbDecision=4500 #constraints=661 5.99/6.03 c nbDecision=5000 #constraints=661 6.39/6.46 c nbDecision=5500 #constraints=661 6.79/6.89 c nbDecision=6000 #constraints=661 7.19/7.24 c restart after 6401 decisions 7.29/7.32 c nbDecision=6500 #constraints=661 7.69/7.76 c nbDecision=7000 #constraints=661 8.09/8.18 c nbDecision=7500 #constraints=661 8.59/8.62 c nbDecision=8000 #constraints=661 8.99/9.05 c nbDecision=8500 #constraints=661 9.39/9.48 c nbDecision=9000 #constraints=661 9.89/9.91 c nbDecision=9500 #constraints=661 10.29/10.33 c nbDecision=10000 #constraints=661 10.69/10.75 c nbDecision=10500 #constraints=661 11.09/11.17 c nbDecision=11000 #constraints=661 11.49/11.59 c nbDecision=11500 #constraints=661 11.99/12.00 c nbDecision=12000 #constraints=661 12.39/12.41 c nbDecision=12500 #constraints=661 12.59/12.65 c restart after 12801 decisions 12.79/12.83 c nbDecision=13000 #constraints=661 13.19/13.27 c nbDecision=13500 #constraints=661 13.69/13.71 c nbDecision=14000 #constraints=661 14.09/14.14 c nbDecision=14500 #constraints=661 14.49/14.56 c nbDecision=15000 #constraints=661 14.89/14.98 c nbDecision=15500 #constraints=661 15.39/15.41 c nbDecision=16000 #constraints=661 15.79/15.83 c nbDecision=16500 #constraints=661 16.18/16.24 c nbDecision=17000 #constraints=661 16.58/16.66 c nbDecision=17500 #constraints=661 16.98/17.07 c nbDecision=18000 #constraints=661 17.38/17.47 c nbDecision=18500 #constraints=661 17.78/17.88 c nbDecision=19000 #constraints=661 18.18/18.29 c nbDecision=19500 #constraints=662 19.28/19.31 c nbDecision=20000 #constraints=816 21.98/22.09 c nbDecision=20500 #constraints=1306 25.69/25.75 c nbDecision=21000 #constraints=1824 29.98/30.01 c nbDecision=21500 #constraints=2314 35.08/35.16 c nbDecision=22000 #constraints=2818 41.07/41.10 c nbDecision=22500 #constraints=3322 47.67/47.72 c nbDecision=23000 #constraints=3812 55.36/55.43 c nbDecision=23500 #constraints=4316 63.86/63.93 c nbDecision=24000 #constraints=4820 73.36/73.45 c nbDecision=24500 #constraints=5324 83.65/83.73 c nbDecision=25000 #constraints=5828 94.66/94.76 c nbDecision=25500 #constraints=6318 96.95/97.03 c restart after 25601 decisions 98.75/98.81 c nbDecision=26000 #constraints=6416 99.25/99.30 c nbDecision=26500 #constraints=6416 99.75/99.82 c nbDecision=27000 #constraints=6416 100.35/100.41 c nbDecision=27500 #constraints=6416 100.85/100.95 c nbDecision=28000 #constraints=6416 101.45/101.54 c nbDecision=28500 #constraints=6416 101.95/102.07 c nbDecision=29000 #constraints=6416 102.55/102.65 c nbDecision=29500 #constraints=6416 103.05/103.17 c nbDecision=30000 #constraints=6416 103.55/103.69 c nbDecision=30500 #constraints=6416 104.05/104.16 c nbDecision=31000 #constraints=6416 104.65/104.78 c nbDecision=31500 #constraints=6416 105.15/105.25 c nbDecision=32000 #constraints=6416 105.65/105.76 c nbDecision=32500 #constraints=6416 114.35/114.50 c nbDecision=33000 #constraints=6766 127.64/127.73 c nbDecision=33500 #constraints=7284 141.13/141.29 c nbDecision=34000 #constraints=7774 156.14/156.20 c nbDecision=34500 #constraints=8278 171.72/171.85 c nbDecision=35000 #constraints=8782 188.11/188.20 c nbDecision=35500 #constraints=9272 205.51/205.66 c nbDecision=36000 #constraints=9776 223.60/223.76 c nbDecision=36500 #constraints=10266 243.49/243.61 c nbDecision=37000 #constraints=10784 263.39/263.52 c nbDecision=37500 #constraints=11274 284.58/284.72 c nbDecision=38000 #constraints=11778 306.27/306.42 c nbDecision=38500 #constraints=12268 329.96/330.14 c nbDecision=39000 #constraints=12786 353.45/353.66 c nbDecision=39500 #constraints=13276 379.14/379.33 c nbDecision=40000 #constraints=13794 404.43/404.63 c nbDecision=40500 #constraints=14284 430.62/430.84 c nbDecision=41000 #constraints=14774 458.42/458.66 c nbDecision=41500 #constraints=15278 486.50/486.79 c nbDecision=42000 #constraints=15768 516.89/517.15 c nbDecision=42500 #constraints=16286 546.77/547.08 c nbDecision=43000 #constraints=16776 578.37/578.65 c nbDecision=43500 #constraints=17280 610.05/610.34 c nbDecision=44000 #constraints=17770 644.25/644.55 c nbDecision=44500 #constraints=18288 677.72/678.02 c nbDecision=45000 #constraints=18778 712.91/713.29 c nbDecision=45500 #constraints=19282 749.10/749.47 c nbDecision=46000 #constraints=19786 785.19/785.51 c nbDecision=46500 #constraints=20276 823.17/823.52 c nbDecision=47000 #constraints=20780 861.16/861.57 c nbDecision=47500 #constraints=21270 901.84/902.28 c nbDecision=48000 #constraints=21788 941.62/942.07 c nbDecision=48500 #constraints=22278 983.21/983.65 c nbDecision=49000 #constraints=22782 1024.70/1025.12 c nbDecision=49500 #constraints=23272 1069.18/1069.61 c nbDecision=50000 #constraints=23790 1112.46/1112.92 c nbDecision=50500 #constraints=24280 1157.63/1158.17 c nbDecision=51000 #constraints=24784 1175.73/1176.23 c restart after 51201 decisions 1182.13/1182.67 c nbDecision=51500 #constraints=24980 1182.83/1183.31 c nbDecision=52000 #constraints=24980 1183.63/1184.16 c nbDecision=52500 #constraints=24980 1184.73/1185.26 c nbDecision=53000 #constraints=24980 1185.63/1186.14 c nbDecision=53500 #constraints=24980 1186.73/1187.25 c nbDecision=54000 #constraints=24980 1187.53/1188.01 c nbDecision=54500 #constraints=24980 1188.43/1189.00 c nbDecision=55000 #constraints=24980 1189.13/1189.66 c nbDecision=55500 #constraints=24980 1190.43/1190.97 c nbDecision=56000 #constraints=24980 1191.13/1191.62 c nbDecision=56500 #constraints=24980 1191.93/1192.47 c nbDecision=57000 #constraints=24980 1193.03/1193.56 c nbDecision=57500 #constraints=24980 1193.93/1194.41 c nbDecision=58000 #constraints=24980 1218.91/1219.46 c nbDecision=58500 #constraints=25246 1265.79/1266.30 c nbDecision=59000 #constraints=25750 1312.48/1313.08 c nbDecision=59500 #constraints=26240 1361.26/1361.82 c nbDecision=60000 #constraints=26744 1411.03/1411.61 c nbDecision=60500 #constraints=27248 1461.44/1462.18 c nbDecision=61000 #constraints=27752 1511.80/1512.51 c nbDecision=61500 #constraints=28242 1563.98/1564.72 c nbDecision=62000 #constraints=28746 1617.45/1618.25 c nbDecision=62500 #constraints=29250 1671.43/1672.25 c nbDecision=63000 #constraints=29754 1726.71/1727.56 c nbDecision=63500 #constraints=30258 1781.49/1782.32 c nbDecision=64000 #constraints=30748 1800.09/1800.90 Received signal 15 1800.09/1800.92 1800.09/1800.92 s UNKNOWN 1800.09/1800.92 1800.09/1800.92 c user time= 1798.92 s 1800.09/1800.92 c system time= 1.20382 s 1800.09/1800.92 c wall clock time=1800.93
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node13/watcher-356956-1176849428 -o ROOT/results/node13/solver-356956-1176849428 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356956-1176849428/instance-356956-1176849428.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.85 0.95 0.98 3/77 27639 /proc/meminfo: memFree=1665224/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=1620 CPUtime=0 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132860710 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 405 175 126 317 0 84 0 [startup+0.092056 s] /proc/loadavg: 0.85 0.95 0.98 3/77 27639 /proc/meminfo: memFree=1665224/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=3440 CPUtime=0.08 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 869 0 0 0 8 0 0 0 18 0 1 0 132860710 3522560 624 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 860 624 126 317 0 539 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3440 [startup+0.102058 s] /proc/loadavg: 0.85 0.95 0.98 3/77 27639 /proc/meminfo: memFree=1665224/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=3440 CPUtime=0.09 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 892 0 0 0 9 0 0 0 18 0 1 0 132860710 3522560 647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271349 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 860 647 127 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.302101 s] /proc/loadavg: 0.85 0.95 0.98 3/77 27639 /proc/meminfo: memFree=1665224/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=7100 CPUtime=0.29 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 1690 0 0 0 28 1 0 0 19 0 1 0 132860710 7270400 1445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 1775 1445 131 317 0 1454 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7100 [startup+0.701186 s] /proc/loadavg: 0.85 0.95 0.98 3/77 27639 /proc/meminfo: memFree=1665224/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=16016 CPUtime=0.69 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 3674 0 0 0 67 2 0 0 22 0 1 0 132860710 16400384 3429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278987 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 4004 3429 131 317 0 3683 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16016 [startup+1.50136 s] /proc/loadavg: 0.85 0.95 0.98 2/78 27640 /proc/meminfo: memFree=1644864/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=25308 CPUtime=1.49 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 5940 0 0 0 146 3 0 0 25 0 1 0 132860710 25915392 5695 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 6327 5695 137 317 0 6006 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25308 [startup+3.1017 s] /proc/loadavg: 0.85 0.95 0.98 2/78 27640 /proc/meminfo: memFree=1642688/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=25440 CPUtime=3.09 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 5964 0 0 0 305 4 0 0 25 0 1 0 132860710 26050560 5719 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 6360 5719 138 317 0 6039 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25440 [startup+6.30138 s] /proc/loadavg: 0.86 0.95 0.98 3/78 27640 /proc/meminfo: memFree=1642568/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=25440 CPUtime=6.29 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 5966 0 0 0 625 4 0 0 25 0 1 0 132860710 26050560 5721 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 6360 5721 138 317 0 6039 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25440 [startup+12.7017 s] /proc/loadavg: 0.87 0.95 0.98 2/78 27640 /proc/meminfo: memFree=1642568/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=25440 CPUtime=12.69 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 5970 0 0 0 1265 4 0 0 25 0 1 0 132860710 26050560 5725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 6360 5725 138 317 0 6039 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25440 [startup+25.5015 s] /proc/loadavg: 0.90 0.96 0.98 2/78 27640 /proc/meminfo: memFree=1607624/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=65284 CPUtime=25.49 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 14986 0 0 0 2542 7 0 0 25 0 1 0 132860710 66850816 14741 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746912 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 16321 14741 139 317 0 16000 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 65284 [startup+51.1029 s] /proc/loadavg: 0.93 0.96 0.98 2/78 27640 /proc/meminfo: memFree=1542536/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=135480 CPUtime=51.07 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 31230 0 0 0 5093 14 0 0 25 0 1 0 132860710 138731520 30985 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 33870 30985 139 317 0 33549 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 135480 [startup+102.306 s] /proc/loadavg: 0.97 0.96 0.98 2/78 27642 /proc/meminfo: memFree=1468680/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=218308 CPUtime=102.25 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 49412 0 0 0 10202 23 0 0 25 0 1 0 132860710 223547392 49167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 54577 49167 139 317 0 54256 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 218308 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27642 /proc/meminfo: memFree=1413128/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=275752 CPUtime=162.23 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 63447 0 0 0 16193 30 0 0 25 0 1 0 132860710 282370048 63144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 68938 63144 139 317 0 68617 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 275752 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27642 /proc/meminfo: memFree=1348616/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=359320 CPUtime=222.2 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 79428 0 0 0 22184 36 0 0 25 0 1 0 132860710 367943680 79125 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 89830 79125 139 317 0 89509 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 359320 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27642 /proc/meminfo: memFree=1309064/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=400008 CPUtime=282.18 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 89374 0 0 0 28176 42 0 0 25 0 1 0 132860710 409608192 89071 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 100002 89071 139 317 0 99681 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 400008 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27642 /proc/meminfo: memFree=1272776/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=435976 CPUtime=342.15 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 98327 0 0 0 34169 46 0 0 25 0 1 0 132860710 446439424 98024 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 108994 98024 139 317 0 108673 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 435976 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27642 /proc/meminfo: memFree=1241160/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=468728 CPUtime=402.13 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 106305 0 0 0 40162 51 0 0 25 0 1 0 132860710 479977472 106002 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 117182 106002 139 317 0 116861 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 468728 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27642 /proc/meminfo: memFree=1210440/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=500440 CPUtime=462.11 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 113924 0 0 0 46157 54 0 0 25 0 1 0 132860710 512450560 113621 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270591 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 125110 113621 139 317 0 124789 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 500440 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27642 /proc/meminfo: memFree=1182984/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=528608 CPUtime=522.08 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 120814 0 0 0 52151 57 0 0 25 0 1 0 132860710 541294592 120511 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 132152 120511 139 317 0 131831 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 528608 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27642 /proc/meminfo: memFree=1139528/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=625176 CPUtime=582.06 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 140793 0 0 0 58142 64 0 0 25 0 1 0 132860710 640180224 131268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 156294 131268 139 317 0 155973 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 625176 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27642 /proc/meminfo: memFree=1113416/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=650140 CPUtime=642.04 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 147254 0 0 0 64137 67 0 0 25 0 1 0 132860710 665743360 137729 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 162535 137729 139 317 0 162214 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 650140 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27642 /proc/meminfo: memFree=1021640/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=739916 CPUtime=881.95 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 170246 0 0 0 88115 80 0 0 25 0 1 0 132860710 757673984 160622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 184979 160622 139 317 0 184658 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 739916 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27642 /proc/meminfo: memFree=1000072/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=760300 CPUtime=941.92 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 175672 0 0 0 94109 83 0 0 25 0 1 0 132860710 778547200 166048 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 190075 166048 139 317 0 189754 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 760300 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27642 /proc/meminfo: memFree=980360/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=779908 CPUtime=1001.89 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 180580 0 0 0 100103 86 0 0 25 0 1 0 132860710 798625792 170956 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715647 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 194977 170956 139 317 0 194656 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 779908 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27642 /proc/meminfo: memFree=961480/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=799168 CPUtime=1061.87 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 185761 0 0 0 106098 89 0 0 25 0 1 0 132860710 818348032 176104 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 199792 176104 139 317 0 199471 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 799168 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27642 /proc/meminfo: memFree=941320/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=817632 CPUtime=1121.85 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 190357 0 0 0 112094 91 0 0 25 0 1 0 132860710 837255168 180700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 204408 180700 139 317 0 204087 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 817632 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27642 /proc/meminfo: memFree=924808/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=833888 CPUtime=1181.83 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 194433 0 0 0 118089 94 0 0 25 0 1 0 132860710 853901312 184776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 208472 184776 139 317 0 208151 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 833888 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27642 /proc/meminfo: memFree=910600/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=847888 CPUtime=1241.8 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 198006 0 0 0 124084 96 0 0 25 0 1 0 132860710 868237312 188349 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 211972 188349 139 317 0 211651 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 847888 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27642 /proc/meminfo: memFree=892872/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=865400 CPUtime=1301.79 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 202376 0 0 0 130080 99 0 0 25 0 1 0 132860710 886169600 192719 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 216350 192719 139 317 0 216029 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 865400 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27642 /proc/meminfo: memFree=875848/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=882308 CPUtime=1361.75 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 206674 0 0 0 136074 101 0 0 25 0 1 0 132860710 903483392 196984 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 220577 196984 139 317 0 220256 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 882308 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27642 /proc/meminfo: memFree=857352/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=898824 CPUtime=1421.74 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 211254 0 0 0 142070 104 0 0 25 0 1 0 132860710 920395776 201564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 224706 201564 139 317 0 224385 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 898824 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/84 27818 /proc/meminfo: memFree=839952/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=915004 CPUtime=1481.62 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 215311 0 0 0 148054 108 0 0 25 0 1 0 132860710 936964096 205621 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 228751 205621 139 317 0 228430 0 Current children cumulated CPU time (s) 1481.62 Current children cumulated vsize (KiB) 915004 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27840 /proc/meminfo: memFree=824968/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=930868 CPUtime=1541.58 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 219302 0 0 0 154048 110 0 0 25 0 1 0 132860710 953208832 209612 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604226 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 232717 209612 139 317 0 232396 0 Current children cumulated CPU time (s) 1541.58 Current children cumulated vsize (KiB) 930868 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27840 /proc/meminfo: memFree=809544/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=946392 CPUtime=1601.56 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 223194 0 0 0 160044 112 0 0 25 0 1 0 132860710 969105408 213504 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 236598 213504 139 317 0 236277 0 Current children cumulated CPU time (s) 1601.56 Current children cumulated vsize (KiB) 946392 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27840 /proc/meminfo: memFree=791880/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=965064 CPUtime=1661.54 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 227655 0 0 0 166039 115 0 0 25 0 1 0 132860710 988225536 217932 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 241266 217932 139 317 0 240945 0 Current children cumulated CPU time (s) 1661.54 Current children cumulated vsize (KiB) 965064 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27840 /proc/meminfo: memFree=776584/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=980104 CPUtime=1721.52 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 231480 0 0 0 172035 117 0 0 25 0 1 0 132860710 1003626496 221757 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593490 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 245026 221757 139 317 0 244705 0 Current children cumulated CPU time (s) 1721.52 Current children cumulated vsize (KiB) 980104 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27840 /proc/meminfo: memFree=761416/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=994812 CPUtime=1781.49 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 235209 0 0 0 178030 119 0 0 25 0 1 0 132860710 1018687488 225486 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 248703 225486 139 317 0 248382 0 Current children cumulated CPU time (s) 1781.49 Current children cumulated vsize (KiB) 994812 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27840 /proc/meminfo: memFree=755656/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=999408 CPUtime=1800.09 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 236642 0 0 0 179889 120 0 0 25 0 1 0 132860710 1023393792 226919 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 249852 226919 139 317 0 249531 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 999408 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.01 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27840 /proc/meminfo: memFree=755656/2055920 swapFree=4153084/4192956 [pid=27639] ppid=27637 vsize=0 CPUtime=1800.18 /proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194308 236658 0 0 0 179892 126 0 0 25 0 1 0 132860710 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27639/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.09 CPU time (s): 1800.28 CPU user time (s): 1798.93 CPU system time (s): 1.35179 CPU usage (%): 99.955 Max. virtual memory (cumulated for all children) (KiB): 999408 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.93 system time used= 1.35179 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 236658 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= 1903 runsolver used 2.07668 second user time and 4.45432 second system time The end
Begin job on node13 on Tue Apr 17 22:37:09 UTC 2007 IDJOB= 356956 IDBENCH= 1688 IDSOLVER= 172 FILE ID= node13/356956-1176849428 PBS_JOBID= 4590175 Free space on /tmp= 66396 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-ship04l.opb COMMAND LINE= oree /tmp/evaluation/356956-1176849428/instance-356956-1176849428.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-356956-1176849428 -o ROOT/results/node13/solver-356956-1176849428 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356956-1176849428/instance-356956-1176849428.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 8c2ebef1f909dd9b378c2f7f10ba6b39 RANDOM SEED= 500135771 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node13.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.259 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.259 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: 1665696 kB Buffers: 34304 kB Cached: 288504 kB SwapCached: 19572 kB Active: 260940 kB Inactive: 96412 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1665696 kB SwapTotal: 4192956 kB SwapFree: 4153084 kB Dirty: 3876 kB Writeback: 0 kB Mapped: 34512 kB Slab: 18316 kB Committed_AS: 6523492 kB PageTables: 1884 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= 66396 MiB End job on node13 on Tue Apr 17 23:07:12 UTC 2007