Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 72 | 1800.24 | 1800.97 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g15x15.opb |
MD5SUM | 28425c3b4907da9ba10ee31a4de63042 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 53 |
Best CPU time to get the best result obtained on this benchmark | 1800.01 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 53 |
Optimality of the best value was proved | NO |
Number of variables | 225 |
Total number of constraints | 225 |
Number of constraints which are clauses | 225 |
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 | 225 |
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 | 225 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 225 |
Number of bits of the biggest sum of numbers | 8 |
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=225 #constraints=226 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=150 #constraints=226 0.00/0.00 c linear search for optimum 0.00/0.00 o 75 0.00/0.01 c nbDecision=171 #constraints=234 0.00/0.01 o 74 0.10/0.11 c restart after 401 decisions 0.10/0.12 c nbDecision=500 #constraints=393 0.19/0.22 c nbDecision=735 #constraints=528 0.19/0.22 o 73 0.19/0.28 c restart after 801 decisions 0.29/0.35 c nbDecision=1000 #constraints=655 0.79/0.82 c nbDecision=1500 #constraints=1052 0.89/0.98 c restart after 1601 decisions 1.29/1.37 c nbDecision=2000 #constraints=1340 1.89/1.97 c nbDecision=2500 #constraints=1663 2.99/3.01 c nbDecision=3000 #constraints=2022 3.69/3.72 c restart after 3201 decisions 4.18/4.30 c nbDecision=3500 #constraints=2319 6.69/6.72 c nbDecision=4000 #constraints=2788 9.09/9.17 c nbDecision=4500 #constraints=3187 11.19/11.22 c nbDecision=5000 #constraints=3523 12.88/12.96 c nbDecision=5500 #constraints=3833 15.09/15.10 c nbDecision=6000 #constraints=4154 17.59/17.60 c restart after 6401 decisions 17.78/17.88 c nbDecision=6500 #constraints=4461 20.98/21.07 c nbDecision=7000 #constraints=4754 24.09/24.17 c nbDecision=7500 #constraints=5048 28.88/29.00 c nbDecision=8000 #constraints=5473 34.48/34.58 c nbDecision=8500 #constraints=5874 41.67/41.77 c nbDecision=9000 #constraints=6300 48.47/48.52 c nbDecision=9500 #constraints=6660 54.17/54.20 c nbDecision=10000 #constraints=7010 63.37/63.43 c nbDecision=10500 #constraints=7452 74.37/74.47 c nbDecision=11000 #constraints=7902 84.36/84.46 c nbDecision=11500 #constraints=8293 91.76/91.85 c nbDecision=12000 #constraints=8657 104.46/104.55 c nbDecision=12500 #constraints=9097 111.55/111.69 c restart after 12801 decisions 114.05/114.14 c nbDecision=13000 #constraints=9398 123.95/124.05 c nbDecision=13500 #constraints=9766 130.74/130.86 c nbDecision=14000 #constraints=10102 137.84/137.92 c nbDecision=14500 #constraints=10446 147.94/148.06 c nbDecision=15000 #constraints=10845 155.33/155.48 c nbDecision=15482 #constraints=11160 155.33/155.48 o 72 155.43/155.59 c nbDecision=15500 #constraints=11173 166.74/166.80 c nbDecision=16000 #constraints=11534 180.43/180.59 c nbDecision=16500 #constraints=11893 194.62/194.80 c nbDecision=17000 #constraints=12219 210.52/210.66 c nbDecision=17500 #constraints=12634 229.31/229.44 c nbDecision=18000 #constraints=13074 251.10/251.24 c nbDecision=18500 #constraints=13519 272.80/272.98 c nbDecision=19000 #constraints=13937 291.09/291.26 c nbDecision=19500 #constraints=14313 315.98/316.12 c nbDecision=20000 #constraints=14776 340.77/340.97 c nbDecision=20500 #constraints=15221 367.46/367.66 c nbDecision=21000 #constraints=15655 385.66/385.88 c nbDecision=21500 #constraints=16018 412.05/412.25 c nbDecision=22000 #constraints=16460 438.44/438.63 c nbDecision=22500 #constraints=16872 462.94/463.11 c nbDecision=23000 #constraints=17248 479.63/479.80 c nbDecision=23500 #constraints=17564 499.22/499.47 c nbDecision=24000 #constraints=17950 519.31/519.56 c nbDecision=24500 #constraints=18279 532.11/532.32 c nbDecision=25000 #constraints=18629 547.60/547.85 c nbDecision=25500 #constraints=18956 550.00/550.27 c restart after 25601 decisions 560.70/560.91 c nbDecision=26000 #constraints=19256 582.48/582.73 c nbDecision=26500 #constraints=19676 602.08/602.32 c nbDecision=27000 #constraints=20031 626.48/626.72 c nbDecision=27500 #constraints=20432 649.06/649.33 c nbDecision=28000 #constraints=20785 673.86/674.14 c nbDecision=28500 #constraints=21134 700.25/700.60 c nbDecision=29000 #constraints=21481 717.44/717.74 c nbDecision=29500 #constraints=21790 737.44/737.77 c nbDecision=30000 #constraints=22086 759.33/759.68 c nbDecision=30500 #constraints=22404 783.92/784.21 c nbDecision=31000 #constraints=22791 812.91/813.24 c nbDecision=31500 #constraints=23242 847.40/847.79 c nbDecision=32000 #constraints=23699 881.19/881.57 c nbDecision=32500 #constraints=24142 910.48/910.90 c nbDecision=33000 #constraints=24498 945.36/945.74 c nbDecision=33500 #constraints=24955 981.76/982.12 c nbDecision=34000 #constraints=25392 1023.33/1023.74 c nbDecision=34500 #constraints=25857 1057.33/1057.70 c nbDecision=35000 #constraints=26248 1096.61/1097.01 c nbDecision=35500 #constraints=26700 1137.90/1138.35 c nbDecision=36000 #constraints=27118 1172.09/1172.55 c nbDecision=36500 #constraints=27463 1194.18/1194.64 c nbDecision=37000 #constraints=27767 1225.66/1226.18 c nbDecision=37500 #constraints=28131 1259.86/1260.39 c nbDecision=38000 #constraints=28457 1297.34/1297.86 c nbDecision=38500 #constraints=28915 1337.63/1338.20 c nbDecision=39000 #constraints=29365 1384.58/1385.18 c nbDecision=39500 #constraints=29815 1431.49/1432.17 c nbDecision=40000 #constraints=30238 1477.17/1477.81 c nbDecision=40500 #constraints=30696 1526.85/1527.56 c nbDecision=41000 #constraints=31128 1575.34/1576.02 c nbDecision=41500 #constraints=31575 1628.32/1629.10 c nbDecision=42000 #constraints=32044 1685.20/1685.93 c nbDecision=42500 #constraints=32520 1727.98/1728.74 c nbDecision=43000 #constraints=32879 1752.18/1752.97 c nbDecision=43500 #constraints=33185 1788.56/1789.31 c nbDecision=44000 #constraints=33537 1800.07/1800.80 Received signal 15 1800.17/1800.94 1800.17/1800.94 s SATISFIABLE 1800.17/1800.94 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 -x31 -x32 1800.17/1800.94 v -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.17/1800.94 v -x59 -x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 1800.17/1800.94 v -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 x107 x108 x109 x110 x111 1800.17/1800.94 v x112 x113 x114 x115 x116 x117 x118 x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 1800.17/1800.94 v -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 x152 x153 x154 1800.17/1800.94 v x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 1800.17/1800.94 v -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 x193 -x194 -x195 x196 x197 x198 -x199 1800.17/1800.94 v -x200 -x201 x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 x219 -x220 -x221 1800.17/1800.94 v -x222 x223 -x224 -x225 1800.17/1800.94 1800.17/1800.94 c user time= 1799.69 s 1800.17/1800.94 c system time= 0.52292 s 1800.17/1800.94 c wall clock time=1800.94
OK 72
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node38/watcher-357168-1176989884 -o ROOT/results/node38/solver-357168-1176989884 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357168-1176989884/instance-357168-1176989884.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.92 0.97 0.97 3/77 30745 /proc/meminfo: memFree=1466640/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=1468 CPUtime=0 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 197 0 0 0 0 0 0 0 18 0 1 0 131155083 1503232 179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602853 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 367 179 137 317 0 46 0 [startup+0.103096 s] /proc/loadavg: 0.92 0.97 0.97 3/77 30745 /proc/meminfo: memFree=1466640/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=2248 CPUtime=0.1 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 410 0 0 0 10 0 0 0 18 0 1 0 131155083 2301952 392 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 562 392 170 317 0 241 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2248 [startup+0.201114 s] /proc/loadavg: 0.92 0.97 0.97 3/77 30745 /proc/meminfo: memFree=1466640/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=2892 CPUtime=0.19 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 559 0 0 0 19 0 0 0 18 0 1 0 131155083 2961408 541 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 723 541 170 317 0 402 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 2892 [startup+0.301133 s] /proc/loadavg: 0.92 0.97 0.97 3/77 30745 /proc/meminfo: memFree=1466640/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=3276 CPUtime=0.29 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 661 0 0 0 29 0 0 0 19 0 1 0 131155083 3354624 643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 819 643 170 317 0 498 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3276 [startup+0.701209 s] /proc/loadavg: 0.92 0.97 0.97 3/77 30745 /proc/meminfo: memFree=1466640/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=4832 CPUtime=0.69 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 1066 0 0 0 69 0 0 0 22 0 1 0 131155083 4947968 1048 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 1208 1048 170 317 0 887 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4832 [startup+1.50237 s] /proc/loadavg: 0.92 0.97 0.97 2/78 30746 /proc/meminfo: memFree=1462216/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=7128 CPUtime=1.49 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 1586 0 0 0 149 0 0 0 25 0 1 0 131155083 7299072 1568 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 1782 1568 170 317 0 1461 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7128 [startup+3.10167 s] /proc/loadavg: 0.92 0.97 0.97 2/78 30746 /proc/meminfo: memFree=1459464/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=9472 CPUtime=3.09 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 2222 0 0 0 308 1 0 0 25 0 1 0 131155083 9699328 2204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 2368 2204 170 317 0 2047 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9472 [startup+6.30128 s] /proc/loadavg: 0.93 0.97 0.97 2/78 30746 /proc/meminfo: memFree=1455496/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=13128 CPUtime=6.29 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 3043 0 0 0 627 2 0 0 25 0 1 0 131155083 13443072 3025 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 3282 3025 170 317 0 2961 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13128 [startup+12.7015 s] /proc/loadavg: 0.93 0.97 0.97 2/78 30746 /proc/meminfo: memFree=1451208/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=17028 CPUtime=12.68 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 4099 0 0 0 1265 3 0 0 25 0 1 0 131155083 17436672 4081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 4257 4081 170 317 0 3936 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 17028 [startup+25.502 s] /proc/loadavg: 0.95 0.97 0.97 2/78 30746 /proc/meminfo: memFree=1444232/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=24428 CPUtime=25.48 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 5719 0 0 0 2543 5 0 0 25 0 1 0 131155083 25014272 5701 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 6107 5701 170 317 0 5786 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 24428 [startup+51.1019 s] /proc/loadavg: 0.96 0.97 0.97 2/78 30746 /proc/meminfo: memFree=1437512/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=30600 CPUtime=51.07 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 7392 0 0 0 5101 6 0 0 25 0 1 0 131155083 31334400 7374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 7650 7374 170 317 0 7329 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 30600 [startup+102.302 s] /proc/loadavg: 0.98 0.97 0.97 2/78 30746 /proc/meminfo: memFree=1426504/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=43352 CPUtime=102.26 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 10159 0 0 0 10217 9 0 0 25 0 1 0 131155083 44392448 10083 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 10838 10083 170 317 0 10517 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 43352 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 30746 /proc/meminfo: memFree=1417224/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=52380 CPUtime=162.24 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 12499 0 0 0 16211 13 0 0 25 0 1 0 131155083 53637120 12423 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 13095 12423 170 317 0 12774 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 52380 [startup+222.306 s] /proc/loadavg: 0.99 0.97 0.97 2/78 30746 /proc/meminfo: memFree=1411080/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=58028 CPUtime=222.21 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 14005 0 0 0 22207 14 0 0 25 0 1 0 131155083 59420672 13929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 14507 13929 170 317 0 14186 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 58028 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 30746 /proc/meminfo: memFree=1406216/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=62620 CPUtime=282.19 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 15248 0 0 0 28203 16 0 0 25 0 1 0 131155083 64122880 15172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 15655 15172 170 317 0 15334 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 62620 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 30746 /proc/meminfo: memFree=1401800/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=66716 CPUtime=342.17 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 16356 0 0 0 34199 18 0 0 25 0 1 0 131155083 68317184 16280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 16679 16280 170 317 0 16358 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 66716 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 30746 /proc/meminfo: memFree=1397640/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=70612 CPUtime=402.15 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 17407 0 0 0 40195 20 0 0 25 0 1 0 131155083 72306688 17331 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 17653 17331 170 317 0 17332 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 70612 [startup+462.302 s] /proc/loadavg: 1.03 0.99 0.98 2/78 30746 /proc/meminfo: memFree=1391880/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=82752 CPUtime=462.13 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 19998 0 0 0 46191 22 0 0 25 0 1 0 131155083 84738048 18752 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 20688 18752 170 317 0 20367 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 82752 [startup+522.301 s] /proc/loadavg: 1.01 0.99 0.98 2/78 30746 /proc/meminfo: memFree=1387464/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=86912 CPUtime=522.1 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 21114 0 0 0 52187 23 0 0 25 0 1 0 131155083 88997888 19868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 21728 19868 170 317 0 21407 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 86912 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 30746 /proc/meminfo: memFree=1382088/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=91732 CPUtime=582.08 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 22460 0 0 0 58183 25 0 0 25 0 1 0 131155083 93933568 21214 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 22933 21214 170 317 0 22612 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 91732 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.98 2/78 30746 /proc/meminfo: memFree=1378056/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=95628 CPUtime=642.07 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 23488 0 0 0 64180 27 0 0 25 0 1 0 131155083 97923072 22242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 23907 22242 170 317 0 23586 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 95628 ################ # More data... # ################ [startup+882.305 s] /proc/loadavg: 1.00 0.99 0.98 2/78 30746 /proc/meminfo: memFree=1363656/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=108884 CPUtime=881.99 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 27087 0 0 0 88166 33 0 0 25 0 1 0 131155083 111497216 25841 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 27221 25841 170 317 0 26900 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 108884 [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 30746 /proc/meminfo: memFree=1360456/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=111876 CPUtime=941.96 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 27901 0 0 0 94162 34 0 0 25 0 1 0 131155083 114561024 26655 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 27969 26655 170 317 0 27648 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 111876 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 30746 /proc/meminfo: memFree=1357576/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=114604 CPUtime=1001.94 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 28614 0 0 0 100159 35 0 0 25 0 1 0 131155083 117354496 27368 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 28651 27368 170 317 0 28330 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 114604 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 30746 /proc/meminfo: memFree=1354824/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=117068 CPUtime=1061.92 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 29306 0 0 0 106156 36 0 0 25 0 1 0 131155083 119877632 28060 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 29267 28060 170 317 0 28946 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 117068 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 30746 /proc/meminfo: memFree=1351880/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=119520 CPUtime=1121.91 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 30033 0 0 0 112153 38 0 0 25 0 1 0 131155083 122388480 28787 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 29880 28787 170 317 0 29559 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 119520 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 30746 /proc/meminfo: memFree=1349448/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=121980 CPUtime=1181.89 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 30678 0 0 0 118150 39 0 0 25 0 1 0 131155083 124907520 29432 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 30495 29432 170 317 0 30174 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 121980 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 30746 /proc/meminfo: memFree=1346696/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=124444 CPUtime=1241.87 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 31344 0 0 0 124147 40 0 0 25 0 1 0 131155083 127430656 30098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 31111 30098 170 317 0 30790 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 124444 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 30746 /proc/meminfo: memFree=1343880/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=127044 CPUtime=1301.84 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 32077 0 0 0 130144 40 0 0 25 0 1 0 131155083 130093056 30831 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 31761 30831 170 317 0 31440 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 127044 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 30746 /proc/meminfo: memFree=1341320/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=129256 CPUtime=1361.82 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 32716 0 0 0 136141 41 0 0 25 0 1 0 131155083 132358144 31470 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 32314 31470 170 317 0 31993 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 129256 [startup+1422.3 s] /proc/loadavg: 1.08 1.00 0.98 2/84 30920 /proc/meminfo: memFree=1337800/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=131336 CPUtime=1421.71 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 33272 0 0 0 142127 44 0 0 25 0 1 0 131155083 134488064 32026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 32834 32026 170 317 0 32513 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 131336 [startup+1482.3 s] /proc/loadavg: 1.03 1.00 0.98 2/78 30944 /proc/meminfo: memFree=1336648/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=133536 CPUtime=1481.67 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 33882 0 0 0 148122 45 0 0 25 0 1 0 131155083 136740864 32636 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 33384 32636 170 317 0 33063 0 Current children cumulated CPU time (s) 1481.67 Current children cumulated vsize (KiB) 133536 [startup+1542.31 s] /proc/loadavg: 1.01 1.00 0.98 2/78 30944 /proc/meminfo: memFree=1334408/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=135500 CPUtime=1541.65 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 34435 0 0 0 154119 46 0 0 25 0 1 0 131155083 138752000 33189 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 33875 33189 170 317 0 33554 0 Current children cumulated CPU time (s) 1541.65 Current children cumulated vsize (KiB) 135500 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 30944 /proc/meminfo: memFree=1332232/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=137728 CPUtime=1601.63 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 35010 0 0 0 160116 47 0 0 25 0 1 0 131155083 141033472 33764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 34432 33764 170 317 0 34111 0 Current children cumulated CPU time (s) 1601.63 Current children cumulated vsize (KiB) 137728 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 30944 /proc/meminfo: memFree=1330184/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=139544 CPUtime=1661.61 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 35535 0 0 0 166113 48 0 0 25 0 1 0 131155083 142893056 34289 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 34886 34289 170 317 0 34565 0 Current children cumulated CPU time (s) 1661.61 Current children cumulated vsize (KiB) 139544 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 30944 /proc/meminfo: memFree=1328136/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=141548 CPUtime=1721.59 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 36088 0 0 0 172110 49 0 0 25 0 1 0 131155083 144945152 34809 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 35387 34809 170 317 0 35066 0 Current children cumulated CPU time (s) 1721.59 Current children cumulated vsize (KiB) 141548 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 30944 /proc/meminfo: memFree=1323848/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=160980 CPUtime=1781.56 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 40538 0 0 0 178105 51 0 0 25 0 1 0 131155083 164843520 35879 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 40245 35879 170 317 0 39924 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (KiB) 160980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.81 s] /proc/loadavg: 1.00 1.00 0.98 2/78 30944 /proc/meminfo: memFree=1322952/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=161628 CPUtime=1800.07 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 40758 0 0 0 179955 52 0 0 25 0 1 0 131155083 165507072 36099 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 40407 36099 170 317 0 40086 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 161628 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 1.00 1.00 0.98 2/78 30944 /proc/meminfo: memFree=1322952/2055920 swapFree=4159716/4192956 [pid=30745] ppid=30743 vsize=161628 CPUtime=1800.17 /proc/30745/stat : 30745 (oree) R 30743 30745 30643 0 -1 4194304 40759 0 0 0 179965 52 0 0 25 0 1 0 131155083 165507072 36100 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30745/statm: 40407 36100 170 317 0 40086 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 161628 Child status: 0 Real time (s): 1800.97 CPU time (s): 1800.24 CPU user time (s): 1799.69 CPU system time (s): 0.545917 CPU usage (%): 99.9593 Max. virtual memory (cumulated for all children) (KiB): 161628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.69 system time used= 0.545917 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40775 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= 11266 runsolver used 1.9777 second user time and 4.5893 second system time The end
Begin job on node38 on Thu Apr 19 13:38:04 UTC 2007 IDJOB= 357168 IDBENCH= 2214 IDSOLVER= 172 FILE ID= node38/357168-1176989884 PBS_JOBID= 4630435 Free space on /tmp= 66242 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g15x15.opb COMMAND LINE= oree /tmp/evaluation/357168-1176989884/instance-357168-1176989884.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-357168-1176989884 -o ROOT/results/node38/solver-357168-1176989884 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357168-1176989884/instance-357168-1176989884.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 28425c3b4907da9ba10ee31a4de63042 RANDOM SEED= 174841754 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node38.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.263 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.263 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: 1467048 kB Buffers: 46920 kB Cached: 447128 kB SwapCached: 3100 kB Active: 92384 kB Inactive: 430084 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1467048 kB SwapTotal: 4192956 kB SwapFree: 4159716 kB Dirty: 1452 kB Writeback: 0 kB Mapped: 36712 kB Slab: 51628 kB Committed_AS: 1538996 kB PageTables: 2060 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= 66242 MiB End job on node38 on Thu Apr 19 14:08:07 UTC 2007