Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 24 | 1800.11 | 1800.66 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g9x9.opb |
MD5SUM | 4b56e6775cc4a081c8696ef0fa81b784 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 20 |
Best CPU time to get the best result obtained on this benchmark | 0.109982 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 20 |
Optimality of the best value was proved | YES |
Number of variables | 81 |
Total number of constraints | 81 |
Number of constraints which are clauses | 81 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 5 |
Number of terms in the objective function | 81 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 81 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 81 |
Number of bits of the biggest sum of numbers | 7 |
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.00 c ...done 0.00/0.00 c #vars=81 #constraints=82 hasObjective=yes 0.00/0.00 c res. mode=mod 0.00/0.00 c VSIDS like heuristics 0.00/0.00 c complete search running 0.00/0.00 c nbDecision=54 #constraints=82 0.00/0.00 c linear search for optimum 0.00/0.00 o 27 0.00/0.00 c nbDecision=69 #constraints=90 0.00/0.00 o 26 0.06/0.08 c nbDecision=394 #constraints=356 0.06/0.08 o 25 0.06/0.08 c restart after 401 decisions 0.09/0.10 c nbDecision=500 #constraints=419 0.19/0.21 c restart after 801 decisions 0.19/0.29 c nbDecision=1000 #constraints=823 0.49/0.57 c nbDecision=1500 #constraints=1262 0.59/0.64 c restart after 1601 decisions 0.89/0.97 c nbDecision=2000 #constraints=1693 1.49/1.59 c nbDecision=2500 #constraints=2169 2.39/2.42 c nbDecision=3000 #constraints=2646 2.79/2.87 c restart after 3201 decisions 3.59/3.63 c nbDecision=3500 #constraints=3103 5.29/5.34 c nbDecision=4000 #constraints=3587 7.79/7.83 c nbDecision=4500 #constraints=4073 10.99/11.00 c nbDecision=5000 #constraints=4570 14.39/14.44 c nbDecision=5500 #constraints=5045 18.29/18.38 c nbDecision=6000 #constraints=5532 22.68/22.70 c restart after 6401 decisions 23.59/23.63 c nbDecision=6500 #constraints=5997 26.98/27.08 c nbDecision=7000 #constraints=6444 28.38/28.46 c nbDecision=7500 #constraints=6865 30.28/30.30 c nbDecision=8000 #constraints=7297 32.38/32.47 c nbDecision=8500 #constraints=7719 34.68/34.79 c nbDecision=9000 #constraints=8132 37.78/37.84 c nbDecision=9500 #constraints=8581 42.79/42.84 c nbDecision=10000 #constraints=9033 47.18/47.24 c nbDecision=10500 #constraints=9482 54.08/54.18 c nbDecision=11000 #constraints=9926 62.27/62.36 c nbDecision=11500 #constraints=10395 71.07/71.12 c nbDecision=12000 #constraints=10854 79.97/80.02 c nbDecision=12500 #constraints=11317 86.77/86.83 c restart after 12801 decisions 90.67/90.77 c nbDecision=13000 #constraints=11761 101.77/101.85 c nbDecision=13500 #constraints=12230 116.66/116.70 c nbDecision=14000 #constraints=12718 129.36/129.47 c nbDecision=14500 #constraints=13186 147.05/147.17 c nbDecision=15000 #constraints=13678 154.66/154.79 c nbDecision=15500 #constraints=14093 170.35/170.43 c nbDecision=16000 #constraints=14568 188.44/188.52 c nbDecision=16500 #constraints=15050 209.33/209.42 c nbDecision=17000 #constraints=15553 216.14/216.26 c nbDecision=17500 #constraints=15964 230.64/230.70 c nbDecision=18000 #constraints=16404 250.93/251.00 c nbDecision=18500 #constraints=16878 269.33/269.42 c nbDecision=19000 #constraints=17341 284.62/284.72 c nbDecision=19500 #constraints=17823 308.21/308.35 c nbDecision=20000 #constraints=18304 309.81/309.99 c nbDecision=20215 #constraints=18492 309.81/309.99 o 24 313.31/313.44 c nbDecision=20500 #constraints=18725 320.90/321.06 c nbDecision=21000 #constraints=19123 330.81/330.98 c nbDecision=21500 #constraints=19539 343.81/343.91 c nbDecision=22000 #constraints=19984 359.80/359.96 c nbDecision=22500 #constraints=20426 379.30/379.40 c nbDecision=23000 #constraints=20878 400.89/401.02 c nbDecision=23500 #constraints=21331 420.99/421.14 c nbDecision=24000 #constraints=21786 440.78/440.92 c nbDecision=24500 #constraints=22212 453.88/454.06 c nbDecision=25000 #constraints=22655 470.87/471.01 c nbDecision=25500 #constraints=23074 475.27/475.40 c restart after 25601 decisions 491.97/492.15 c nbDecision=26000 #constraints=23491 518.46/518.63 c nbDecision=26500 #constraints=23963 543.75/543.93 c nbDecision=27000 #constraints=24412 568.74/568.93 c nbDecision=27500 #constraints=24856 583.55/583.74 c nbDecision=28000 #constraints=25273 604.94/605.16 c nbDecision=28500 #constraints=25719 633.03/633.21 c nbDecision=29000 #constraints=26182 663.03/663.24 c nbDecision=29500 #constraints=26645 699.51/699.70 c nbDecision=30000 #constraints=27135 725.51/725.79 c nbDecision=30500 #constraints=27612 754.41/754.61 c nbDecision=31000 #constraints=28074 787.40/787.64 c nbDecision=31500 #constraints=28553 803.89/804.12 c nbDecision=32000 #constraints=28958 829.78/830.09 c nbDecision=32500 #constraints=29417 864.47/864.75 c nbDecision=33000 #constraints=29893 900.46/900.70 c nbDecision=33500 #constraints=30380 915.97/916.26 c nbDecision=34000 #constraints=30782 928.36/928.62 c nbDecision=34500 #constraints=31211 939.85/940.17 c nbDecision=35000 #constraints=31618 951.95/952.22 c nbDecision=35500 #constraints=32060 969.64/969.95 c nbDecision=36000 #constraints=32514 988.44/988.70 c nbDecision=36500 #constraints=32969 1001.74/1002.02 c nbDecision=37000 #constraints=33402 1022.04/1022.32 c nbDecision=37500 #constraints=33844 1040.73/1041.02 c nbDecision=38000 #constraints=34254 1065.52/1065.90 c nbDecision=38500 #constraints=34701 1094.42/1094.74 c nbDecision=39000 #constraints=35161 1126.31/1126.61 c nbDecision=39500 #constraints=35626 1159.00/1159.37 c nbDecision=40000 #constraints=36085 1196.79/1197.10 c nbDecision=40500 #constraints=36544 1234.98/1235.31 c nbDecision=41000 #constraints=37022 1273.27/1273.69 c nbDecision=41500 #constraints=37479 1297.27/1297.67 c nbDecision=42000 #constraints=37905 1340.56/1340.93 c nbDecision=42500 #constraints=38388 1386.24/1386.65 c nbDecision=43000 #constraints=38869 1426.66/1427.12 c nbDecision=43500 #constraints=39324 1466.13/1466.60 c nbDecision=44000 #constraints=39765 1507.62/1508.14 c nbDecision=44500 #constraints=40209 1538.60/1539.15 c nbDecision=45000 #constraints=40627 1586.00/1586.55 c nbDecision=45500 #constraints=41083 1615.79/1616.34 c nbDecision=46000 #constraints=41499 1657.78/1658.37 c nbDecision=46500 #constraints=41972 1703.06/1703.60 c nbDecision=47000 #constraints=42431 1733.66/1734.26 c nbDecision=47500 #constraints=42875 1753.26/1753.85 c nbDecision=48000 #constraints=43298 1774.86/1775.47 c nbDecision=48500 #constraints=43728 1800.05/1800.60 Received signal 15 1800.05/1800.64 1800.05/1800.64 s SATISFIABLE 1800.05/1800.64 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 1800.05/1800.64 v -x31 -x32 -x33 -x34 x35 -x36 x37 x38 x39 x40 x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 x57 -x58 1800.05/1800.64 v -x59 -x60 x61 -x62 -x63 x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 x72 -x73 -x74 x75 -x76 -x77 -x78 x79 -x80 -x81 1800.05/1800.64 1800.05/1800.64 c user time= 1799.92 s 1800.05/1800.64 c system time= 0.171973 s 1800.05/1800.64 c wall clock time=1800.64
OK 24
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node60/watcher-365226-1176989862 -o ROOT/results/node60/solver-365226-1176989862 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365226-1176989862/instance-365226-1176989862.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.95 0.91 3/64 12225 /proc/meminfo: memFree=1274896/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=1468 CPUtime=0 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 222 0 0 0 0 0 0 0 18 0 1 0 146896165 1503232 204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135155216 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 367 204 167 317 0 46 0 [startup+0.067557 s] /proc/loadavg: 0.91 0.95 0.91 3/64 12225 /proc/meminfo: memFree=1274896/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=1860 CPUtime=0.06 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 304 0 0 0 6 0 0 0 18 0 1 0 146896165 1904640 286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 465 286 170 317 0 144 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1860 [startup+0.101561 s] /proc/loadavg: 0.91 0.95 0.91 3/64 12225 /proc/meminfo: memFree=1274896/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=1988 CPUtime=0.09 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 346 0 0 0 9 0 0 0 18 0 1 0 146896165 2035712 328 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 497 328 170 317 0 176 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1988 [startup+0.30158 s] /proc/loadavg: 0.91 0.95 0.91 3/64 12225 /proc/meminfo: memFree=1274896/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=2524 CPUtime=0.29 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 496 0 0 0 29 0 0 0 19 0 1 0 146896165 2584576 478 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 631 478 170 317 0 310 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2524 [startup+0.701619 s] /proc/loadavg: 0.91 0.95 0.91 3/64 12225 /proc/meminfo: memFree=1274896/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=3488 CPUtime=0.69 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 715 0 0 0 69 0 0 0 22 0 1 0 146896165 3571712 697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604330 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 872 697 170 317 0 551 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3488 [startup+1.5017 s] /proc/loadavg: 0.91 0.95 0.91 2/65 12226 /proc/meminfo: memFree=1272264/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=4400 CPUtime=1.49 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 949 0 0 0 149 0 0 0 25 0 1 0 146896165 4505600 931 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 1100 931 170 317 0 779 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4400 [startup+3.10185 s] /proc/loadavg: 0.92 0.95 0.91 2/65 12226 /proc/meminfo: memFree=1270984/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=5836 CPUtime=3.09 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 1265 0 0 0 309 0 0 0 25 0 1 0 146896165 5976064 1247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 1459 1247 170 317 0 1138 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5836 [startup+6.30217 s] /proc/loadavg: 0.92 0.95 0.91 2/65 12226 /proc/meminfo: memFree=1269456/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=6880 CPUtime=6.29 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 1572 0 0 0 628 1 0 0 25 0 1 0 146896165 7045120 1554 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 1720 1554 170 317 0 1399 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6880 [startup+12.7018 s] /proc/loadavg: 0.93 0.96 0.91 2/65 12226 /proc/meminfo: memFree=1267600/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=8880 CPUtime=12.69 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 1964 0 0 0 1268 1 0 0 25 0 1 0 146896165 9093120 1946 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 2220 1946 170 317 0 1899 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8880 [startup+25.5011 s] /proc/loadavg: 0.94 0.96 0.91 2/65 12226 /proc/meminfo: memFree=1265680/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=10604 CPUtime=25.48 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 2436 0 0 0 2546 2 0 0 25 0 1 0 146896165 10858496 2418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 2651 2418 170 317 0 2330 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 10604 [startup+51.1016 s] /proc/loadavg: 0.96 0.96 0.91 2/65 12226 /proc/meminfo: memFree=1260368/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=16444 CPUtime=51.08 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 3811 0 0 0 5105 3 0 0 25 0 1 0 146896165 16838656 3736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 4111 3736 170 317 0 3790 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 16444 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.91 2/65 12228 /proc/meminfo: memFree=1256720/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=19760 CPUtime=102.27 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 4658 0 0 0 10223 4 0 0 25 0 1 0 146896165 20234240 4583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 4940 4583 170 317 0 4619 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 19760 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12228 /proc/meminfo: memFree=1254032/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=22344 CPUtime=162.25 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 5363 0 0 0 16220 5 0 0 25 0 1 0 146896165 22880256 5288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 5586 5288 170 317 0 5265 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 22344 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12228 /proc/meminfo: memFree=1251472/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=24852 CPUtime=222.24 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 5985 0 0 0 22218 6 0 0 25 0 1 0 146896165 25448448 5910 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 6213 5910 170 317 0 5892 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 24852 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12228 /proc/meminfo: memFree=1248912/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=29476 CPUtime=282.22 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 7042 0 0 0 28216 6 0 0 25 0 1 0 146896165 30183424 6557 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 7369 6557 170 317 0 7048 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 29476 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12228 /proc/meminfo: memFree=1245904/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=32160 CPUtime=342.21 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 7775 0 0 0 34214 7 0 0 25 0 1 0 146896165 32931840 7290 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 8040 7290 170 317 0 7719 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 32160 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12228 /proc/meminfo: memFree=1243984/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=34020 CPUtime=402.19 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 8259 0 0 0 40212 7 0 0 25 0 1 0 146896165 34836480 7774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 8505 7774 170 317 0 8184 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 34020 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12228 /proc/meminfo: memFree=1241936/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=35852 CPUtime=462.18 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 8764 0 0 0 46210 8 0 0 25 0 1 0 146896165 36712448 8279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 8963 8279 170 317 0 8642 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 35852 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12228 /proc/meminfo: memFree=1240400/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=37264 CPUtime=522.16 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 9150 0 0 0 52208 8 0 0 25 0 1 0 146896165 38158336 8665 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 9316 8665 170 317 0 8995 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 37264 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12228 /proc/meminfo: memFree=1238736/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=38692 CPUtime=582.15 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 9570 0 0 0 58206 9 0 0 25 0 1 0 146896165 39620608 9085 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 9673 9085 170 317 0 9352 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 38692 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12228 /proc/meminfo: memFree=1237200/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=40280 CPUtime=642.13 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 9937 0 0 0 64204 9 0 0 25 0 1 0 146896165 41246720 9452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 10070 9452 170 317 0 9749 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 40280 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12228 /proc/meminfo: memFree=1233168/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=44060 CPUtime=822.08 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 10934 0 0 0 82198 10 0 0 25 0 1 0 146896165 45117440 10449 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 11015 10449 170 317 0 10694 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 44060 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12228 /proc/meminfo: memFree=1232016/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=45244 CPUtime=882.06 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 11223 0 0 0 88196 10 0 0 25 0 1 0 146896165 46329856 10738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 11311 10738 170 317 0 10990 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 45244 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12228 /proc/meminfo: memFree=1229904/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=47196 CPUtime=942.05 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 11749 0 0 0 94194 11 0 0 25 0 1 0 146896165 48328704 11264 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 11799 11264 170 317 0 11478 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 47196 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12228 /proc/meminfo: memFree=1226832/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=54428 CPUtime=1002.04 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 13521 0 0 0 100192 12 0 0 25 0 1 0 146896165 55734272 11997 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 13607 11997 170 317 0 13286 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 54428 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12228 /proc/meminfo: memFree=1225744/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=55500 CPUtime=1062.02 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 13811 0 0 0 106190 12 0 0 25 0 1 0 146896165 56832000 12287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 13875 12287 170 317 0 13554 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 55500 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12228 /proc/meminfo: memFree=1224528/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=56680 CPUtime=1122.01 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 14129 0 0 0 112188 13 0 0 25 0 1 0 146896165 58040320 12605 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 14170 12605 170 317 0 13849 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 56680 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12228 /proc/meminfo: memFree=1223376/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=57888 CPUtime=1181.99 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 14434 0 0 0 118186 13 0 0 25 0 1 0 146896165 59277312 12877 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 14472 12877 170 317 0 14151 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 57888 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12228 /proc/meminfo: memFree=1222416/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=58800 CPUtime=1241.98 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 14693 0 0 0 124185 13 0 0 25 0 1 0 146896165 60211200 13136 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 14700 13136 170 317 0 14379 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 58800 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12228 /proc/meminfo: memFree=1221136/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=59852 CPUtime=1301.97 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 14992 0 0 0 130183 14 0 0 25 0 1 0 146896165 61288448 13435 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 14963 13435 170 317 0 14642 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 59852 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12228 /proc/meminfo: memFree=1220240/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=60632 CPUtime=1361.95 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 15206 0 0 0 136181 14 0 0 25 0 1 0 146896165 62087168 13649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 15158 13649 170 317 0 14837 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 60632 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/71 12350 /proc/meminfo: memFree=1218208/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=61556 CPUtime=1421.89 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 15422 0 0 0 142174 15 0 0 25 0 1 0 146896165 63033344 13865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 15389 13865 170 317 0 15068 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 61556 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12426 /proc/meminfo: memFree=1218320/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=62468 CPUtime=1481.82 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 15654 0 0 0 148167 15 0 0 25 0 1 0 146896165 63967232 14097 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 15617 14097 170 317 0 15296 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 62468 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12426 /proc/meminfo: memFree=1217360/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=63384 CPUtime=1541.8 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 15908 0 0 0 154165 15 0 0 25 0 1 0 146896165 64905216 14351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 15846 14351 170 317 0 15525 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 63384 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12426 /proc/meminfo: memFree=1216528/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=64032 CPUtime=1601.8 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 16101 0 0 0 160164 16 0 0 25 0 1 0 146896165 65568768 14544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715685 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 16008 14544 170 317 0 15687 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 64032 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12426 /proc/meminfo: memFree=1215440/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=64944 CPUtime=1661.78 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 16364 0 0 0 166162 16 0 0 25 0 1 0 146896165 66502656 14807 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 16236 14807 170 317 0 15915 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 64944 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12426 /proc/meminfo: memFree=1214672/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=65608 CPUtime=1721.76 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 16572 0 0 0 172160 16 0 0 25 0 1 0 146896165 67182592 15015 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 16402 15015 170 317 0 16081 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 65608 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12426 /proc/meminfo: memFree=1213072/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=67056 CPUtime=1781.75 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 16989 0 0 0 178158 17 0 0 25 0 1 0 146896165 68665344 15432 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 16764 15432 170 317 0 16443 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 67056 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12426 /proc/meminfo: memFree=1212624/2055920 swapFree=4181684/4192956 [pid=12225] ppid=12223 vsize=67448 CPUtime=1800.05 /proc/12225/stat : 12225 (oree) R 12223 12225 12041 0 -1 4194304 17097 0 0 0 179988 17 0 0 25 0 1 0 146896165 69066752 15540 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12225/statm: 16862 15540 170 317 0 16541 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 67448 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.66 CPU time (s): 1800.11 CPU user time (s): 1799.93 CPU system time (s): 0.181972 CPU usage (%): 99.9695 Max. virtual memory (cumulated for all children) (KiB): 67448 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.93 system time used= 0.181972 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17113 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= 2527 runsolver used 1.38579 second user time and 3.62845 second system time The end
Begin job on node60 on Thu Apr 19 13:37:42 UTC 2007 IDJOB= 365226 IDBENCH= 2213 IDSOLVER= 172 FILE ID= node60/365226-1176989862 PBS_JOBID= 4630431 Free space on /tmp= 66416 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g9x9.opb COMMAND LINE= oree /tmp/evaluation/365226-1176989862/instance-365226-1176989862.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-365226-1176989862 -o ROOT/results/node60/solver-365226-1176989862 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365226-1176989862/instance-365226-1176989862.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 4b56e6775cc4a081c8696ef0fa81b784 RANDOM SEED= 525116688 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node60.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.214 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.214 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: 1275304 kB Buffers: 36708 kB Cached: 669464 kB SwapCached: 5040 kB Active: 301036 kB Inactive: 416104 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1275304 kB SwapTotal: 4192956 kB SwapFree: 4181684 kB Dirty: 1304 kB Writeback: 0 kB Mapped: 15456 kB Slab: 49440 kB Committed_AS: 1584220 kB PageTables: 1464 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= 66416 MiB End job on node60 on Thu Apr 19 14:07:45 UTC 2007