Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.34 | 1801.1 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=109-P1=191-P2=263-P3=37-P4=317-P5=89-P6=131-B.opb |
MD5SUM | d6ad4e57f9bd4d3660efa4691d3e45da |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.25396 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 162 |
Total number of constraints | 13 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 13 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 486 |
Sum of products size (including duplicates) | 972 |
Number of different products | 486 |
Sum of products size | 972 |
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=648 #constraints=992 hasObjective=yes 0.00/0.01 c res. mode=mod 0.00/0.01 c VSIDS like heuristics 0.00/0.01 c complete search running 0.79/0.82 c restart after 401 decisions 1.00/1.00 c nbDecision=500 #constraints=1414 1.99/2.03 c restart after 801 decisions 2.49/2.58 c nbDecision=1000 #constraints=1871 3.98/4.03 c nbDecision=1500 #constraints=2366 4.19/4.27 c restart after 1601 decisions 6.39/6.47 c nbDecision=2000 #constraints=2833 10.09/10.11 c nbDecision=2500 #constraints=3322 11.88/11.93 c nbDecision=3000 #constraints=3813 12.69/12.72 c restart after 3201 decisions 14.59/14.63 c nbDecision=3500 #constraints=4271 18.28/18.36 c nbDecision=4000 #constraints=4760 21.78/21.87 c nbDecision=4500 #constraints=5260 27.18/27.23 c nbDecision=5000 #constraints=5758 29.98/30.02 c nbDecision=5500 #constraints=6247 31.28/31.33 c nbDecision=6000 #constraints=6730 33.17/33.27 c restart after 6401 decisions 34.28/34.34 c nbDecision=6500 #constraints=7180 40.47/40.58 c nbDecision=7000 #constraints=7661 43.88/43.93 c nbDecision=7500 #constraints=8143 48.37/48.47 c nbDecision=8000 #constraints=8637 52.07/52.15 c nbDecision=8500 #constraints=9089 58.67/58.79 c nbDecision=9000 #constraints=9568 70.66/70.73 c nbDecision=9500 #constraints=10068 83.66/83.74 c nbDecision=10000 #constraints=10565 94.96/95.10 c nbDecision=10500 #constraints=11057 111.35/111.46 c nbDecision=11000 #constraints=11551 132.25/132.31 c nbDecision=11500 #constraints=12027 155.73/155.83 c nbDecision=12000 #constraints=12525 183.73/183.83 c nbDecision=12500 #constraints=13029 194.22/194.35 c restart after 12801 decisions 196.51/196.62 c nbDecision=13000 #constraints=13485 204.22/204.32 c nbDecision=13500 #constraints=13960 218.91/219.07 c nbDecision=14000 #constraints=14464 249.80/249.93 c nbDecision=14500 #constraints=14949 288.28/288.46 c nbDecision=15000 #constraints=15444 318.78/318.91 c nbDecision=15500 #constraints=15924 365.76/365.93 c nbDecision=16000 #constraints=16425 401.85/402.00 c nbDecision=16500 #constraints=16881 446.72/446.97 c nbDecision=17000 #constraints=17365 491.61/491.87 c nbDecision=17500 #constraints=17841 525.40/525.69 c nbDecision=18000 #constraints=18279 572.98/573.27 c nbDecision=18500 #constraints=18779 623.66/623.97 c nbDecision=19000 #constraints=19276 672.95/673.30 c nbDecision=19500 #constraints=19776 717.83/718.19 c nbDecision=20000 #constraints=20252 764.81/765.10 c nbDecision=20500 #constraints=20740 820.41/820.87 c nbDecision=21000 #constraints=21238 852.48/852.91 c nbDecision=21500 #constraints=21701 881.67/882.14 c nbDecision=22000 #constraints=22161 951.84/952.31 c nbDecision=22500 #constraints=22643 1022.52/1023.06 c nbDecision=23000 #constraints=23144 1081.60/1082.17 c nbDecision=23500 #constraints=23636 1129.09/1129.66 c nbDecision=24000 #constraints=24084 1199.25/1199.81 c nbDecision=24500 #constraints=24582 1269.42/1270.05 c nbDecision=25000 #constraints=25081 1334.00/1334.65 c nbDecision=25500 #constraints=25571 1344.50/1345.18 c restart after 25601 decisions 1357.29/1357.99 c nbDecision=26000 #constraints=26003 1418.67/1419.35 c nbDecision=26500 #constraints=26443 1560.02/1560.79 c nbDecision=27000 #constraints=26922 1672.88/1673.64 c nbDecision=27500 #constraints=27394 1709.47/1710.20 c nbDecision=28000 #constraints=27886 1794.84/1795.67 c nbDecision=28500 #constraints=28389 1800.04/1800.80 Received signal 15 1800.24/1801.07 1800.24/1801.07 s UNKNOWN 1800.24/1801.07 1800.24/1801.07 c user time= 1799.91 s 1800.24/1801.07 c system time= 0.403938 s 1800.24/1801.07 c wall clock time=1801.07
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/431393-1178005688/instance-431393-1178005688.opb mv /tmp/evaluation/431393-1178005688/instance-431393-1178005688.opb.tmp /tmp/evaluation/431393-1178005688/instance-431393-1178005688.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node40/watcher-431393-1178005688 -o ROOT/results/node40/solver-431393-1178005688 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/431393-1178005688/instance-431393-1178005688.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.84 0.99 0.99 3/77 20207 /proc/meminfo: memFree=1807072/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=1468 CPUtime=0 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 189 0 0 0 0 0 0 0 18 0 1 0 129448361 1503232 172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 367 172 132 317 0 46 0 [startup+0.067647 s] /proc/loadavg: 0.84 0.99 0.99 3/77 20207 /proc/meminfo: memFree=1807072/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=1996 CPUtime=0.06 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 312 0 0 0 6 0 0 0 18 0 1 0 129448361 2043904 295 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 499 295 139 317 0 178 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1996 [startup+0.101653 s] /proc/loadavg: 0.84 0.99 0.99 3/77 20207 /proc/meminfo: memFree=1807072/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=1996 CPUtime=0.09 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 328 0 0 0 9 0 0 0 18 0 1 0 129448361 2043904 311 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 499 311 139 317 0 178 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1996 [startup+0.301695 s] /proc/loadavg: 0.84 0.99 0.99 3/77 20207 /proc/meminfo: memFree=1807072/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=2516 CPUtime=0.29 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 429 0 0 0 29 0 0 0 19 0 1 0 129448361 2576384 412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 629 412 139 317 0 308 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2516 [startup+0.701779 s] /proc/loadavg: 0.84 0.99 0.99 3/77 20207 /proc/meminfo: memFree=1807072/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=3308 CPUtime=0.69 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 630 0 0 0 69 0 0 0 23 0 1 0 129448361 3387392 613 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135277232 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 827 613 139 317 0 506 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3308 [startup+1.50195 s] /proc/loadavg: 0.84 0.99 0.99 2/78 20208 /proc/meminfo: memFree=1804568/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=4492 CPUtime=1.49 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 942 0 0 0 149 0 0 0 25 0 1 0 129448361 4599808 925 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 1123 925 139 317 0 802 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4492 [startup+3.10128 s] /proc/loadavg: 0.86 0.99 0.99 2/78 20208 /proc/meminfo: memFree=1802968/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=6876 CPUtime=3.09 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 1513 0 0 0 309 0 0 0 25 0 1 0 129448361 7041024 1496 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278980 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 1719 1496 139 317 0 1398 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6876 [startup+6.30195 s] /proc/loadavg: 0.86 0.99 0.99 2/78 20208 /proc/meminfo: memFree=1798680/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=10280 CPUtime=6.29 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 2368 0 0 0 628 1 0 0 25 0 1 0 129448361 10526720 2351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 2570 2351 139 317 0 2249 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10280 [startup+12.7013 s] /proc/loadavg: 0.87 0.99 0.99 2/78 20208 /proc/meminfo: memFree=1793320/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=15712 CPUtime=12.69 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 3715 0 0 0 1266 3 0 0 25 0 1 0 129448361 16089088 3698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 3928 3698 139 317 0 3607 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15712 [startup+25.502 s] /proc/loadavg: 0.90 0.99 0.99 2/78 20208 /proc/meminfo: memFree=1785128/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=23200 CPUtime=25.48 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 5579 0 0 0 2544 4 0 0 25 0 1 0 129448361 23756800 5562 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 5800 5562 139 317 0 5479 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 23200 [startup+51.1013 s] /proc/loadavg: 0.93 0.99 0.99 2/78 20208 /proc/meminfo: memFree=1770024/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=38852 CPUtime=51.07 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 9456 0 0 0 5099 8 0 0 25 0 1 0 129448361 39784448 9395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716163 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 9713 9395 170 317 0 9392 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 38852 [startup+102.306 s] /proc/loadavg: 0.97 0.99 0.99 2/78 20208 /proc/meminfo: memFree=1759592/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=49416 CPUtime=102.26 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 12014 0 0 0 10215 11 0 0 25 0 1 0 129448361 50601984 11953 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 12354 11953 170 317 0 12033 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 49416 [startup+162.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 20208 /proc/meminfo: memFree=1753000/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=56420 CPUtime=162.23 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 13695 0 0 0 16211 12 0 0 25 0 1 0 129448361 57774080 13548 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 14105 13548 170 317 0 13784 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 56420 [startup+222.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 20208 /proc/meminfo: memFree=1745000/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=65020 CPUtime=222.21 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 15718 0 0 0 22206 15 0 0 25 0 1 0 129448361 66580480 15571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 16255 15571 170 317 0 15934 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 65020 [startup+282.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 20208 /proc/meminfo: memFree=1741928/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=68508 CPUtime=282.19 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 16510 0 0 0 28203 16 0 0 25 0 1 0 129448361 70152192 16363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 17127 16363 170 317 0 16806 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 68508 [startup+342.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 20208 /proc/meminfo: memFree=1737832/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=72760 CPUtime=342.16 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 17508 0 0 0 34199 17 0 0 25 0 1 0 129448361 74506240 17361 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 18190 17361 170 317 0 17869 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 72760 [startup+402.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 20208 /proc/meminfo: memFree=1734696/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=75856 CPUtime=402.15 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 18272 0 0 0 40196 19 0 0 25 0 1 0 129448361 77676544 18125 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 18964 18125 170 317 0 18643 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 75856 [startup+462.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 20208 /proc/meminfo: memFree=1731688/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=78976 CPUtime=462.12 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 19027 0 0 0 46192 20 0 0 25 0 1 0 129448361 80871424 18880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718926 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 19744 18880 170 317 0 19423 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 78976 [startup+522.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 20208 /proc/meminfo: memFree=1728872/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=81832 CPUtime=522.1 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 19742 0 0 0 52190 20 0 0 25 0 1 0 129448361 83795968 19595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 20458 19595 170 317 0 20137 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 81832 [startup+582.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 20208 /proc/meminfo: memFree=1726056/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=84688 CPUtime=582.08 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 20431 0 0 0 58186 22 0 0 25 0 1 0 129448361 86720512 20284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 21172 20284 170 317 0 20851 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 84688 [startup+642.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 20208 /proc/meminfo: memFree=1723432/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=87444 CPUtime=642.06 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 21095 0 0 0 64184 22 0 0 25 0 1 0 129448361 89542656 20948 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 21861 20948 170 317 0 21540 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 87444 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 20406 /proc/meminfo: memFree=1710568/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=100880 CPUtime=881.87 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 24222 0 0 0 88159 28 0 0 25 0 1 0 129448361 103301120 24075 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 25220 24075 170 317 0 24899 0 Current children cumulated CPU time (s) 881.87 Current children cumulated vsize (KiB) 100880 [startup+942.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 20406 /proc/meminfo: memFree=1708840/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=102844 CPUtime=941.85 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 24668 0 0 0 94156 29 0 0 25 0 1 0 129448361 105312256 24521 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 25711 24521 170 317 0 25390 0 Current children cumulated CPU time (s) 941.85 Current children cumulated vsize (KiB) 102844 [startup+1002.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 20406 /proc/meminfo: memFree=1706856/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=104812 CPUtime=1001.83 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 25137 0 0 0 100153 30 0 0 25 0 1 0 129448361 107327488 24990 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 26203 24990 170 317 0 25882 0 Current children cumulated CPU time (s) 1001.83 Current children cumulated vsize (KiB) 104812 [startup+1062.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 20406 /proc/meminfo: memFree=1705064/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=106976 CPUtime=1061.8 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 25580 0 0 0 106150 30 0 0 25 0 1 0 129448361 109543424 25433 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 26744 25433 170 317 0 26423 0 Current children cumulated CPU time (s) 1061.8 Current children cumulated vsize (KiB) 106976 [startup+1122.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 20406 /proc/meminfo: memFree=1702376/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=109980 CPUtime=1121.78 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 26373 0 0 0 112147 31 0 0 25 0 1 0 129448361 112619520 26127 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 27495 26127 170 317 0 27174 0 Current children cumulated CPU time (s) 1121.78 Current children cumulated vsize (KiB) 109980 [startup+1182.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 20406 /proc/meminfo: memFree=1700392/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=112128 CPUtime=1181.76 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 26890 0 0 0 118144 32 0 0 25 0 1 0 129448361 114819072 26611 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 28032 26611 170 317 0 27711 0 Current children cumulated CPU time (s) 1181.76 Current children cumulated vsize (KiB) 112128 [startup+1242.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 20406 /proc/meminfo: memFree=1698600/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=113784 CPUtime=1241.74 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 27326 0 0 0 124141 33 0 0 25 0 1 0 129448361 116514816 27047 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 28446 27047 170 317 0 28125 0 Current children cumulated CPU time (s) 1241.74 Current children cumulated vsize (KiB) 113784 [startup+1302.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 20406 /proc/meminfo: memFree=1696744/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=116552 CPUtime=1301.72 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 28015 0 0 0 130138 34 0 0 25 0 1 0 129448361 119349248 27532 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 29138 27532 170 317 0 28817 0 Current children cumulated CPU time (s) 1301.72 Current children cumulated vsize (KiB) 116552 [startup+1362.3 s] /proc/loadavg: 1.04 1.00 0.99 2/78 20406 /proc/meminfo: memFree=1693352/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=120164 CPUtime=1361.69 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 28877 0 0 0 136134 35 0 0 25 0 1 0 129448361 123047936 28394 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 30041 28394 170 317 0 29720 0 Current children cumulated CPU time (s) 1361.69 Current children cumulated vsize (KiB) 120164 [startup+1422.31 s] /proc/loadavg: 1.05 1.01 1.00 2/78 20406 /proc/meminfo: memFree=1691688/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=121744 CPUtime=1421.67 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 29269 0 0 0 142132 35 0 0 25 0 1 0 129448361 124665856 28786 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 30436 28786 170 317 0 30115 0 Current children cumulated CPU time (s) 1421.67 Current children cumulated vsize (KiB) 121744 [startup+1482.3 s] /proc/loadavg: 1.06 1.02 1.00 2/78 20406 /proc/meminfo: memFree=1690920/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=122528 CPUtime=1481.65 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 29447 0 0 0 148129 36 0 0 25 0 1 0 129448361 125468672 28964 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 30632 28964 170 317 0 30311 0 Current children cumulated CPU time (s) 1481.65 Current children cumulated vsize (KiB) 122528 [startup+1542.3 s] /proc/loadavg: 1.05 1.03 1.00 2/78 20406 /proc/meminfo: memFree=1690152/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=123572 CPUtime=1541.63 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 29695 0 0 0 154126 37 0 0 25 0 1 0 129448361 126537728 29179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 30893 29179 170 317 0 30572 0 Current children cumulated CPU time (s) 1541.63 Current children cumulated vsize (KiB) 123572 [startup+1602.3 s] /proc/loadavg: 1.13 1.05 1.01 2/78 20406 /proc/meminfo: memFree=1689064/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=124548 CPUtime=1601.61 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 29935 0 0 0 160124 37 0 0 25 0 1 0 129448361 127537152 29419 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 31137 29419 170 317 0 30816 0 Current children cumulated CPU time (s) 1601.61 Current children cumulated vsize (KiB) 124548 [startup+1662.3 s] /proc/loadavg: 1.05 1.04 1.00 2/78 20406 /proc/meminfo: memFree=1688104/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=125596 CPUtime=1661.59 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 30192 0 0 0 166121 38 0 0 25 0 1 0 129448361 128610304 29676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 31399 29676 170 317 0 31078 0 Current children cumulated CPU time (s) 1661.59 Current children cumulated vsize (KiB) 125596 [startup+1722.3 s] /proc/loadavg: 1.02 1.03 1.00 2/78 20406 /proc/meminfo: memFree=1685544/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=127796 CPUtime=1721.56 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 30827 0 0 0 172117 39 0 0 25 0 1 0 129448361 130863104 30311 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 31949 30311 170 317 0 31628 0 Current children cumulated CPU time (s) 1721.56 Current children cumulated vsize (KiB) 127796 [startup+1782.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 20406 /proc/meminfo: memFree=1684072/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=129168 CPUtime=1781.55 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 31173 0 0 0 178115 40 0 0 25 0 1 0 129448361 132268032 30657 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 32292 30657 170 317 0 31971 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (KiB) 129168 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.02 1.00 2/78 20408 /proc/meminfo: memFree=1683624/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=129560 CPUtime=1800.04 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 31278 0 0 0 179964 40 0 0 25 0 1 0 129448361 132669440 30762 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 32390 30762 170 317 0 32069 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 129560 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 1.02 1.00 2/78 20408 /proc/meminfo: memFree=1683624/2055920 swapFree=4157412/4192956 [pid=20207] ppid=20205 vsize=129560 CPUtime=1800.24 /proc/20207/stat : 20207 (oree) R 20205 20207 20139 0 -1 4194304 31280 0 0 0 179984 40 0 0 25 0 1 0 129448361 132669440 30764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20207/statm: 32390 30764 170 317 0 32069 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 129560 Child status: 0 Real time (s): 1801.1 CPU time (s): 1800.34 CPU user time (s): 1799.92 CPU system time (s): 0.424935 CPU usage (%): 99.9579 Max. virtual memory (cumulated for all children) (KiB): 129560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.92 system time used= 0.424935 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31297 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= 37028 runsolver used 1.39979 second user time and 4.02539 second system time The end
Begin job on node40 on Tue May 1 07:48:08 UTC 2007 IDJOB= 431393 IDBENCH= 48048 IDSOLVER= 172 FILE ID= node40/431393-1178005688 PBS_JOBID= 4728292 Free space on /tmp= 66543 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=109-P1=191-P2=263-P3=37-P4=317-P5=89-P6=131-B.opb COMMAND LINE= oree /tmp/evaluation/431393-1178005688/instance-431393-1178005688.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node40/convwatcher-431393-1178005688 -o ROOT/results/node40/conversion-431393-1178005688 -C 600 -M 1800 /tmp/evaluation/431393-1178005688/substituteSizeProductKeyword /tmp/evaluation/431393-1178005688/instance-431393-1178005688.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-431393-1178005688 -o ROOT/results/node40/solver-431393-1178005688 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/431393-1178005688/instance-431393-1178005688.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= d6ad4e57f9bd4d3660efa4691d3e45da RANDOM SEED= 722902256 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node40.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.283 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.283 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: 1807480 kB Buffers: 28748 kB Cached: 132416 kB SwapCached: 15024 kB Active: 56884 kB Inactive: 126944 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1807480 kB SwapTotal: 4192956 kB SwapFree: 4157412 kB Dirty: 1548 kB Writeback: 0 kB Mapped: 29544 kB Slab: 49948 kB Committed_AS: 1191796 kB PageTables: 1932 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= 66543 MiB End job on node40 on Tue May 1 08:18:11 UTC 2007