Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.19 | 1800.82 |
Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-4.opb |
MD5SUM | 4e682317a6045f4869b1783c80734344 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 813 |
Best CPU time to get the best result obtained on this benchmark | 18.0463 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 813 |
Optimality of the best value was proved | YES |
Number of variables | 2289 |
Total number of constraints | 764 |
Number of constraints which are clauses | 360 |
Number of constraints which are cardinality constraints (but not clauses) | 404 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 195 |
Number of terms in the objective function | 1798 |
Biggest coefficient in the objective function | 349 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 104116 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 349 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 104116 |
Number of bits of the biggest sum of numbers | 17 |
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.02 c ...done 0.00/0.02 c #vars=2289 #constraints=1143 hasObjective=yes 0.00/0.04 c res. mode=mod 0.00/0.04 c VSIDS like heuristics 0.00/0.04 c complete search running 0.00/0.06 c restart after 401 decisions 0.00/0.06 c nbDecision=500 #constraints=1143 0.00/0.07 c restart after 801 decisions 0.07/0.08 c nbDecision=1000 #constraints=1143 0.19/0.25 c nbDecision=1500 #constraints=1320 0.29/0.34 c restart after 1601 decisions 0.29/0.36 c nbDecision=2000 #constraints=1399 0.69/0.78 c nbDecision=2500 #constraints=1790 1.58/1.66 c nbDecision=3000 #constraints=2275 1.99/2.09 c restart after 3201 decisions 2.10/2.14 c nbDecision=3500 #constraints=2473 2.59/2.68 c nbDecision=4000 #constraints=2761 3.69/3.77 c nbDecision=4500 #constraints=3263 5.28/5.30 c nbDecision=5000 #constraints=3763 7.99/8.04 c nbDecision=5500 #constraints=4265 10.99/11.05 c nbDecision=6000 #constraints=4761 13.79/13.81 c restart after 6401 decisions 13.99/14.08 c nbDecision=6500 #constraints=5164 14.89/14.90 c nbDecision=7000 #constraints=5249 17.59/17.68 c nbDecision=7500 #constraints=5751 20.28/20.39 c nbDecision=8000 #constraints=6250 23.48/23.57 c nbDecision=8500 #constraints=6750 26.98/27.09 c nbDecision=9000 #constraints=7249 30.68/30.76 c nbDecision=9500 #constraints=7749 35.77/35.89 c nbDecision=10000 #constraints=8251 43.78/43.85 c nbDecision=10500 #constraints=8751 50.78/50.83 c nbDecision=11000 #constraints=9251 58.87/58.96 c nbDecision=11500 #constraints=9749 67.97/68.04 c nbDecision=12000 #constraints=10249 76.67/76.72 c nbDecision=12500 #constraints=10749 82.66/82.75 c restart after 12801 decisions 83.36/83.47 c nbDecision=13000 #constraints=11051 91.06/91.15 c nbDecision=13500 #constraints=11245 113.16/113.24 c nbDecision=14000 #constraints=11731 136.95/137.00 c nbDecision=14500 #constraints=12196 163.64/163.70 c nbDecision=15000 #constraints=12644 191.93/192.09 c nbDecision=15500 #constraints=13126 219.53/219.62 c nbDecision=16000 #constraints=13587 248.11/248.25 c nbDecision=16500 #constraints=14055 274.71/274.82 c nbDecision=17000 #constraints=14409 306.60/306.76 c nbDecision=17500 #constraints=14822 336.89/337.01 c nbDecision=18000 #constraints=15202 368.88/369.01 c nbDecision=18500 #constraints=15619 404.77/404.98 c nbDecision=19000 #constraints=16042 440.26/440.45 c nbDecision=19500 #constraints=16542 476.45/476.64 c nbDecision=20000 #constraints=17002 509.43/509.64 c nbDecision=20500 #constraints=17447 544.83/545.01 c nbDecision=21000 #constraints=17873 581.32/581.56 c nbDecision=21500 #constraints=18320 619.50/619.72 c nbDecision=22000 #constraints=18764 654.80/655.00 c nbDecision=22500 #constraints=19208 692.79/693.06 c nbDecision=23000 #constraints=19601 731.17/731.42 c nbDecision=23500 #constraints=19996 776.06/776.37 c nbDecision=24000 #constraints=20484 816.55/816.80 c nbDecision=24500 #constraints=20967 854.94/855.23 c nbDecision=25000 #constraints=21412 895.42/895.74 c nbDecision=25500 #constraints=21822 904.52/904.83 c restart after 25601 decisions 906.12/906.49 c nbDecision=26000 #constraints=21919 923.92/924.27 c nbDecision=26500 #constraints=22306 944.21/944.55 c nbDecision=27000 #constraints=22808 966.41/966.74 c nbDecision=27500 #constraints=23308 990.90/991.28 c nbDecision=28000 #constraints=23808 1015.99/1016.36 c nbDecision=28500 #constraints=24306 1039.88/1040.25 c nbDecision=29000 #constraints=24807 1065.77/1066.12 c nbDecision=29500 #constraints=25308 1094.51/1094.93 c nbDecision=30000 #constraints=25803 1126.47/1127.00 c nbDecision=30500 #constraints=26298 1159.05/1159.60 c nbDecision=31000 #constraints=26794 1199.13/1199.66 c nbDecision=31500 #constraints=27298 1231.82/1232.32 c nbDecision=32000 #constraints=27792 1261.61/1262.13 c nbDecision=32500 #constraints=28292 1292.91/1293.43 c nbDecision=33000 #constraints=28791 1327.99/1328.50 c nbDecision=33500 #constraints=29283 1372.98/1373.53 c nbDecision=34000 #constraints=29763 1424.37/1424.94 c nbDecision=34500 #constraints=30262 1463.65/1464.22 c nbDecision=35000 #constraints=30762 1509.24/1509.85 c nbDecision=35500 #constraints=31258 1553.03/1553.62 c nbDecision=36000 #constraints=31750 1599.51/1600.14 c nbDecision=36500 #constraints=32251 1645.00/1645.60 c nbDecision=37000 #constraints=32748 1686.59/1687.29 c nbDecision=37500 #constraints=33247 1731.47/1732.11 c nbDecision=38000 #constraints=33746 1776.56/1777.20 c nbDecision=38500 #constraints=34228 1800.06/1800.71 Received signal 15 1800.06/1800.79 1800.06/1800.79 s UNKNOWN 1800.06/1800.79 1800.06/1800.79 c user time= 1799.75 s 1800.06/1800.79 c system time= 0.407937 s 1800.06/1800.79 c wall clock time=1800.79
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node1/watcher-365352-1176990182 -o ROOT/results/node1/solver-365352-1176990182 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365352-1176990182/instance-365352-1176990182.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.99 0.97 0.91 3/77 4675 /proc/meminfo: memFree=1637760/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=1468 CPUtime=0 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 175056019 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271349 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 367 162 127 317 0 46 0 [startup+0.0789881 s] /proc/loadavg: 0.99 0.97 0.91 3/77 4675 /proc/meminfo: memFree=1637760/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=2264 CPUtime=0.07 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 400 0 0 0 7 0 0 0 18 0 1 0 175056019 2318336 382 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384541 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 566 382 138 317 0 245 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2264 [startup+0.101991 s] /proc/loadavg: 0.99 0.97 0.91 3/77 4675 /proc/meminfo: memFree=1637760/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=2396 CPUtime=0.09 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 421 0 0 0 9 0 0 0 18 0 1 0 175056019 2453504 403 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 599 403 139 317 0 278 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2396 [startup+0.302014 s] /proc/loadavg: 0.99 0.97 0.91 3/77 4675 /proc/meminfo: memFree=1637760/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=3440 CPUtime=0.29 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 660 0 0 0 29 0 0 0 19 0 1 0 175056019 3522560 642 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284649 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 860 642 139 317 0 539 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3440 [startup+0.701061 s] /proc/loadavg: 0.99 0.97 0.91 3/77 4675 /proc/meminfo: memFree=1637760/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=5144 CPUtime=0.69 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 1107 0 0 0 69 0 0 0 22 0 1 0 175056019 5267456 1089 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 1286 1089 139 317 0 965 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5144 [startup+1.50115 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4676 /proc/meminfo: memFree=1632888/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=7608 CPUtime=1.48 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 1693 0 0 0 148 0 0 0 25 0 1 0 175056019 7790592 1675 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 1902 1675 139 317 0 1581 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 7608 [startup+3.10134 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4676 /proc/meminfo: memFree=1630200/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=11040 CPUtime=3.09 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 2552 0 0 0 308 1 0 0 25 0 1 0 175056019 11304960 2534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 2760 2534 139 317 0 2439 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11040 [startup+6.30272 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4676 /proc/meminfo: memFree=1624248/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=15524 CPUtime=6.28 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 3617 0 0 0 627 1 0 0 25 0 1 0 175056019 15896576 3599 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554627 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 3881 3599 139 317 0 3560 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 15524 [startup+12.7015 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4676 /proc/meminfo: memFree=1619192/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=20284 CPUtime=12.69 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 4800 0 0 0 1267 2 0 0 25 0 1 0 175056019 20770816 4782 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 5071 4782 139 317 0 4750 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20284 [startup+25.502 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4676 /proc/meminfo: memFree=1609720/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=30112 CPUtime=25.48 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 7127 0 0 0 2545 3 0 0 25 0 1 0 175056019 30834688 7109 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 7528 7109 139 317 0 7207 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 30112 [startup+51.102 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4676 /proc/meminfo: memFree=1599800/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=40128 CPUtime=51.08 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 9639 0 0 0 5102 6 0 0 25 0 1 0 175056019 41091072 9563 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 10032 9563 139 317 0 9711 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 40128 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4676 /proc/meminfo: memFree=1588920/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=51700 CPUtime=102.27 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 12306 0 0 0 10219 8 0 0 25 0 1 0 175056019 52940800 12230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 12925 12230 139 317 0 12604 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 51700 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4676 /proc/meminfo: memFree=1583864/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=56868 CPUtime=162.24 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 13573 0 0 0 16215 9 0 0 25 0 1 0 175056019 58232832 13497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 14217 13497 139 317 0 13896 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 56868 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4676 /proc/meminfo: memFree=1579448/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=61380 CPUtime=222.23 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 14669 0 0 0 22212 11 0 0 25 0 1 0 175056019 62853120 14593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 15345 14593 139 317 0 15024 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 61380 [startup+282.301 s] /proc/loadavg: 1.07 0.99 0.91 2/78 4676 /proc/meminfo: memFree=1575352/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=65860 CPUtime=282.2 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 15700 0 0 0 28208 12 0 0 25 0 1 0 175056019 67440640 15624 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563935 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 16465 15624 139 317 0 16144 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 65860 [startup+342.301 s] /proc/loadavg: 1.03 0.99 0.91 3/78 4676 /proc/meminfo: memFree=1571960/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=69244 CPUtime=342.18 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 16534 0 0 0 34205 13 0 0 25 0 1 0 175056019 70905856 16458 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 17311 16458 139 317 0 16990 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 69244 [startup+402.301 s] /proc/loadavg: 1.01 0.99 0.91 2/78 4676 /proc/meminfo: memFree=1568504/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=72868 CPUtime=402.17 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 17387 0 0 0 40203 14 0 0 25 0 1 0 175056019 74616832 17311 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 18217 17311 139 317 0 17896 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 72868 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.91 2/78 4676 /proc/meminfo: memFree=1564792/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=77120 CPUtime=462.15 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 18417 0 0 0 46200 15 0 0 25 0 1 0 175056019 78970880 18227 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718447 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 19280 18227 139 317 0 18959 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 77120 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.91 2/78 4676 /proc/meminfo: memFree=1560120/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=84912 CPUtime=522.14 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 20121 0 0 0 52197 17 0 0 25 0 1 0 175056019 86949888 19370 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 21228 19370 139 317 0 20907 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 84912 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.91 2/78 4676 /proc/meminfo: memFree=1557560/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=87428 CPUtime=582.12 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 20820 0 0 0 58194 18 0 0 25 0 1 0 175056019 89526272 20036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 21857 20036 139 317 0 21536 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 87428 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.91 2/78 4676 /proc/meminfo: memFree=1554296/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=90500 CPUtime=642.11 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 21614 0 0 0 64192 19 0 0 25 0 1 0 175056019 92672000 20830 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 22625 20830 139 317 0 22304 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 90500 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 0.99 0.91 3/78 4676 /proc/meminfo: memFree=1542200/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=101920 CPUtime=882.03 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 24671 0 0 0 88180 23 0 0 25 0 1 0 175056019 104366080 23854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 25480 23854 139 317 0 25159 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 101920 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.91 2/78 4676 /proc/meminfo: memFree=1537592/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=106876 CPUtime=942.01 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 25989 0 0 0 94177 24 0 0 25 0 1 0 175056019 109441024 25007 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 26719 25007 139 317 0 26398 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 106876 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 4676 /proc/meminfo: memFree=1532088/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=112136 CPUtime=1001.99 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 27448 0 0 0 100173 26 0 0 25 0 1 0 175056019 114827264 26367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 28034 26367 139 317 0 27713 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 112136 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 4676 /proc/meminfo: memFree=1526712/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=117640 CPUtime=1061.97 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 28904 0 0 0 106170 27 0 0 25 0 1 0 175056019 120463360 27724 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 29410 27724 139 317 0 29089 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 117640 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.91 2/84 4848 /proc/meminfo: memFree=1521336/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=121320 CPUtime=1121.87 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 29961 0 0 0 112158 29 0 0 25 0 1 0 175056019 124231680 28748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 30330 28748 139 317 0 30009 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 121320 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 4874 /proc/meminfo: memFree=1518584/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=125096 CPUtime=1181.84 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 30949 0 0 0 118154 30 0 0 25 0 1 0 175056019 128098304 29703 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 31274 29703 139 317 0 30953 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 125096 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 4874 /proc/meminfo: memFree=1514616/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=129512 CPUtime=1241.82 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 32056 0 0 0 124151 31 0 0 25 0 1 0 175056019 132620288 30678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 32378 30678 139 317 0 32057 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 129512 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 4874 /proc/meminfo: memFree=1510328/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=133352 CPUtime=1301.81 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 33101 0 0 0 130149 32 0 0 25 0 1 0 175056019 136552448 31723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 33338 31723 139 317 0 33017 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 133352 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 4874 /proc/meminfo: memFree=1507192/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=137008 CPUtime=1361.79 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 34051 0 0 0 136146 33 0 0 25 0 1 0 175056019 140296192 32508 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 34252 32508 139 317 0 33931 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 137008 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.91 2/78 4874 /proc/meminfo: memFree=1504568/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=139368 CPUtime=1421.77 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 34734 0 0 0 142143 34 0 0 25 0 1 0 175056019 142712832 33158 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 34842 33158 139 317 0 34521 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 139368 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 4874 /proc/meminfo: memFree=1501368/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=142884 CPUtime=1481.75 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 35673 0 0 0 148140 35 0 0 25 0 1 0 175056019 146313216 33965 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 35721 33965 139 317 0 35400 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 142884 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 4874 /proc/meminfo: memFree=1498552/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=145624 CPUtime=1541.73 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 36402 0 0 0 154137 36 0 0 25 0 1 0 175056019 149118976 34694 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 36406 34694 139 317 0 36085 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 145624 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 4874 /proc/meminfo: memFree=1495608/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=148104 CPUtime=1601.71 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 37134 0 0 0 160134 37 0 0 25 0 1 0 175056019 151658496 35426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 37026 35426 139 317 0 36705 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 148104 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 4874 /proc/meminfo: memFree=1492728/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=150972 CPUtime=1661.7 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 37916 0 0 0 166132 38 0 0 25 0 1 0 175056019 154595328 36175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 37743 36175 139 317 0 37422 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 150972 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 4874 /proc/meminfo: memFree=1489720/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=154492 CPUtime=1721.68 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 38910 0 0 0 172130 38 0 0 25 0 1 0 175056019 158199808 36943 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 38623 36943 139 317 0 38302 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 154492 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 4874 /proc/meminfo: memFree=1486392/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=165432 CPUtime=1781.66 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 41557 0 0 0 178126 40 0 0 25 0 1 0 175056019 169402368 37737 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 41358 37737 139 317 0 41037 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 165432 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 0.99 0.91 2/78 4874 /proc/meminfo: memFree=1485496/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=166208 CPUtime=1800.06 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194304 41790 0 0 0 179966 40 0 0 25 0 1 0 175056019 170196992 37970 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 41552 37970 139 317 0 41231 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 166208 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: 1.00 0.99 0.91 2/78 4874 /proc/meminfo: memFree=1485496/2055920 swapFree=4145780/4192956 [pid=4675] ppid=4673 vsize=0 CPUtime=1800.16 /proc/4675/stat : 4675 (oree) R 4673 4675 4573 0 -1 4194308 41808 0 0 0 179975 41 0 0 25 0 1 0 175056019 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4675/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.82 CPU time (s): 1800.19 CPU user time (s): 1799.75 CPU system time (s): 0.432934 CPU usage (%): 99.9646 Max. virtual memory (cumulated for all children) (KiB): 166208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.75 system time used= 0.432934 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41808 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= 2270 runsolver used 2.09068 second user time and 4.46232 second system time The end
Begin job on node1 on Thu Apr 19 13:43:02 UTC 2007 IDJOB= 365352 IDBENCH= 2234 IDSOLVER= 172 FILE ID= node1/365352-1176990182 PBS_JOBID= 4630451 Free space on /tmp= 66357 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-4.opb COMMAND LINE= oree /tmp/evaluation/365352-1176990182/instance-365352-1176990182.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-365352-1176990182 -o ROOT/results/node1/solver-365352-1176990182 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365352-1176990182/instance-365352-1176990182.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 4e682317a6045f4869b1783c80734344 RANDOM SEED= 794347306 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node1.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: 1638232 kB Buffers: 34980 kB Cached: 303532 kB SwapCached: 14340 kB Active: 229616 kB Inactive: 131560 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1638232 kB SwapTotal: 4192956 kB SwapFree: 4145780 kB Dirty: 1416 kB Writeback: 0 kB Mapped: 29464 kB Slab: 42016 kB Committed_AS: 5012964 kB PageTables: 1832 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= 66357 MiB End job on node1 on Thu Apr 19 14:13:05 UTC 2007