Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.16 | 1800.63 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=103-P1=277-P2=401-P3=67-P4=337-P5=17-P6=499-P7=23-B.opb |
MD5SUM | 9de8f37e65dc0eaf693e157cab5aa725 |
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.217966 |
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 | 189 |
Total number of constraints | 15 |
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 | 15 |
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) | 567 |
Sum of products size (including duplicates) | 1134 |
Number of different products | 567 |
Sum of products size | 1134 |
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.01 c ...done 0.00/0.01 c #vars=756 #constraints=1157 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.88 c restart after 401 decisions 1.00/1.07 c nbDecision=500 #constraints=1610 1.89/1.95 c restart after 801 decisions 2.39/2.49 c nbDecision=1000 #constraints=2085 4.49/4.57 c nbDecision=1500 #constraints=2588 5.09/5.14 c restart after 1601 decisions 7.89/7.92 c nbDecision=2000 #constraints=3057 9.39/9.43 c nbDecision=2500 #constraints=3529 10.59/10.65 c nbDecision=3000 #constraints=4022 11.19/11.22 c restart after 3201 decisions 13.09/13.19 c nbDecision=3500 #constraints=4481 15.39/15.46 c nbDecision=4000 #constraints=4968 17.49/17.53 c nbDecision=4500 #constraints=5460 19.89/19.99 c nbDecision=5000 #constraints=5961 23.78/23.80 c nbDecision=5500 #constraints=6449 25.09/25.13 c nbDecision=6000 #constraints=6955 25.98/26.02 c restart after 6401 decisions 26.58/26.68 c nbDecision=6500 #constraints=7398 30.28/30.31 c nbDecision=7000 #constraints=7889 33.68/33.77 c nbDecision=7500 #constraints=8362 35.48/35.57 c nbDecision=8000 #constraints=8842 39.18/39.24 c nbDecision=8500 #constraints=9335 43.77/43.90 c nbDecision=9000 #constraints=9801 51.88/51.90 c nbDecision=9500 #constraints=10305 62.07/62.13 c nbDecision=10000 #constraints=10803 71.47/71.53 c nbDecision=10500 #constraints=11277 85.97/86.06 c nbDecision=11000 #constraints=11769 100.76/100.81 c nbDecision=11500 #constraints=12260 116.35/116.44 c nbDecision=12000 #constraints=12752 140.66/140.74 c nbDecision=12500 #constraints=13234 154.15/154.29 c restart after 12801 decisions 156.55/156.70 c nbDecision=13000 #constraints=13689 162.55/162.65 c nbDecision=13500 #constraints=14177 169.55/169.67 c nbDecision=14000 #constraints=14675 177.84/177.99 c nbDecision=14500 #constraints=15162 184.64/184.74 c nbDecision=15000 #constraints=15663 194.93/195.09 c nbDecision=15500 #constraints=16139 224.93/225.09 c nbDecision=16000 #constraints=16613 252.33/252.49 c nbDecision=16500 #constraints=17091 286.72/286.88 c nbDecision=17000 #constraints=17573 323.80/323.90 c nbDecision=17500 #constraints=18074 362.29/362.43 c nbDecision=18000 #constraints=18575 398.68/398.86 c nbDecision=18500 #constraints=19075 436.08/436.20 c nbDecision=19000 #constraints=19542 492.86/493.09 c nbDecision=19500 #constraints=20040 546.14/546.31 c nbDecision=20000 #constraints=20541 593.13/593.32 c nbDecision=20500 #constraints=21039 634.32/634.52 c nbDecision=21000 #constraints=21523 672.11/672.30 c nbDecision=21500 #constraints=22004 702.61/702.86 c nbDecision=22000 #constraints=22497 744.50/744.79 c nbDecision=22500 #constraints=22989 804.38/804.66 c nbDecision=23000 #constraints=23494 854.17/854.44 c nbDecision=23500 #constraints=23965 902.06/902.37 c nbDecision=24000 #constraints=24444 963.54/963.89 c nbDecision=24500 #constraints=24939 1010.82/1011.10 c nbDecision=25000 #constraints=25404 1063.01/1063.37 c nbDecision=25500 #constraints=25888 1070.51/1070.88 c restart after 25601 decisions 1078.50/1078.89 c nbDecision=26000 #constraints=26351 1089.51/1089.85 c nbDecision=26500 #constraints=26851 1102.90/1103.24 c nbDecision=27000 #constraints=27339 1118.90/1119.26 c nbDecision=27500 #constraints=27839 1132.79/1133.19 c nbDecision=28000 #constraints=28315 1144.19/1144.50 c nbDecision=28500 #constraints=28817 1157.08/1157.49 c nbDecision=29000 #constraints=29319 1247.76/1248.13 c nbDecision=29500 #constraints=29785 1368.23/1368.64 c nbDecision=30000 #constraints=30267 1477.50/1477.90 c nbDecision=30500 #constraints=30724 1603.38/1603.86 c nbDecision=31000 #constraints=31182 1735.94/1736.48 c nbDecision=31500 #constraints=31661 1780.33/1780.88 c nbDecision=32000 #constraints=32141 1800.02/1800.50 Received signal 15 1800.02/1800.59 1800.02/1800.59 s UNKNOWN 1800.02/1800.59 1800.02/1800.59 c user time= 1799.71 s 1800.02/1800.59 c system time= 0.418936 s 1800.02/1800.59 c wall clock time=1800.6
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/430903-1178000378/instance-430903-1178000378.opb mv /tmp/evaluation/430903-1178000378/instance-430903-1178000378.opb.tmp /tmp/evaluation/430903-1178000378/instance-430903-1178000378.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node19/watcher-430903-1178000378 -o ROOT/results/node19/solver-430903-1178000378 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430903-1178000378/instance-430903-1178000378.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 1.00 1.00 3/77 16252 /proc/meminfo: memFree=1801864/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=1468 CPUtime=0 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 186 0 0 0 0 0 0 0 18 0 1 0 247955194 1503232 169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 367 169 132 317 0 46 0 [startup+0.0331541 s] /proc/loadavg: 0.99 1.00 1.00 3/77 16252 /proc/meminfo: memFree=1801864/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=2048 CPUtime=0.03 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 314 0 0 0 3 0 0 0 18 0 1 0 247955194 2097152 297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 512 297 139 317 0 191 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2048 [startup+0.101161 s] /proc/loadavg: 0.99 1.00 1.00 3/77 16252 /proc/meminfo: memFree=1801864/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=2180 CPUtime=0.09 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 347 0 0 0 9 0 0 0 18 0 1 0 247955194 2232320 330 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 545 330 139 317 0 224 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2180 [startup+0.301187 s] /proc/loadavg: 0.99 1.00 1.00 3/77 16252 /proc/meminfo: memFree=1801864/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=2436 CPUtime=0.29 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 436 0 0 0 29 0 0 0 19 0 1 0 247955194 2494464 419 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 609 419 139 317 0 288 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2436 [startup+0.701226 s] /proc/loadavg: 0.99 1.00 1.00 3/77 16252 /proc/meminfo: memFree=1801864/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=3228 CPUtime=0.69 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 637 0 0 0 69 0 0 0 22 0 1 0 247955194 3305472 620 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718449 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 807 620 139 317 0 486 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3228 [startup+1.50131 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16253 /proc/meminfo: memFree=1799360/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=4660 CPUtime=1.49 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 969 0 0 0 149 0 0 0 25 0 1 0 247955194 4771840 952 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284117 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 1165 952 139 317 0 844 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4660 [startup+3.10249 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16253 /proc/meminfo: memFree=1797632/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=6908 CPUtime=3.09 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 1541 0 0 0 309 0 0 0 25 0 1 0 247955194 7073792 1524 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270612 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 1727 1524 139 317 0 1406 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6908 [startup+6.30184 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16253 /proc/meminfo: memFree=1793920/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=9516 CPUtime=6.29 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 2176 0 0 0 628 1 0 0 25 0 1 0 247955194 9744384 2159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279003 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 2379 2159 139 317 0 2058 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9516 [startup+12.7015 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16253 /proc/meminfo: memFree=1786752/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=16548 CPUtime=12.69 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 3922 0 0 0 1267 2 0 0 25 0 1 0 247955194 16945152 3905 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 4137 3905 139 317 0 3816 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16548 [startup+25.5019 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16253 /proc/meminfo: memFree=1774656/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=28812 CPUtime=25.49 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 6961 0 0 0 2544 5 0 0 25 0 1 0 247955194 29503488 6944 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 7203 6944 139 317 0 6882 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 28812 [startup+51.1017 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16253 /proc/meminfo: memFree=1759360/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=44360 CPUtime=51.08 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 10806 0 0 0 5100 8 0 0 25 0 1 0 247955194 45424640 10731 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 11090 10731 170 317 0 10769 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 44360 [startup+102.305 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16253 /proc/meminfo: memFree=1750208/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=53772 CPUtime=102.26 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 13040 0 0 0 10216 10 0 0 25 0 1 0 247955194 55062528 12965 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 13443 12965 170 317 0 13122 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 53772 [startup+162.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16253 /proc/meminfo: memFree=1742208/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=62084 CPUtime=162.25 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 15086 0 0 0 16213 12 0 0 25 0 1 0 247955194 63574016 15011 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 15521 15011 170 317 0 15200 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 62084 [startup+222.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16253 /proc/meminfo: memFree=1730112/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=74304 CPUtime=222.23 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 18103 0 0 0 22208 15 0 0 25 0 1 0 247955194 76087296 17914 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 18576 17914 170 317 0 18255 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 74304 [startup+282.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16253 /proc/meminfo: memFree=1726848/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=78120 CPUtime=282.22 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 18970 0 0 0 28205 17 0 0 25 0 1 0 247955194 79994880 18781 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715798 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 19530 18781 170 317 0 19209 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 78120 [startup+342.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16253 /proc/meminfo: memFree=1723264/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=82032 CPUtime=342.2 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 19857 0 0 0 34202 18 0 0 25 0 1 0 247955194 84000768 19668 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 20508 19668 170 317 0 20187 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 82032 [startup+402.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16253 /proc/meminfo: memFree=1719680/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=85948 CPUtime=402.18 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 20743 0 0 0 40199 19 0 0 25 0 1 0 247955194 88010752 20554 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 21487 20554 170 317 0 21166 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 85948 [startup+462.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16253 /proc/meminfo: memFree=1716800/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=88828 CPUtime=462.17 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 21447 0 0 0 46196 21 0 0 25 0 1 0 247955194 90959872 21258 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 22207 21258 170 317 0 21886 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 88828 [startup+522.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16253 /proc/meminfo: memFree=1714560/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=91104 CPUtime=522.16 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 22013 0 0 0 52194 22 0 0 25 0 1 0 247955194 93290496 21824 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 22776 21824 170 317 0 22455 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 91104 [startup+582.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16253 /proc/meminfo: memFree=1711680/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=94128 CPUtime=582.14 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 22720 0 0 0 58191 23 0 0 25 0 1 0 247955194 96387072 22531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 23532 22531 170 317 0 23211 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 94128 [startup+642.302 s] /proc/loadavg: 0.99 1.00 1.00 3/78 16253 /proc/meminfo: memFree=1708352/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=97356 CPUtime=642.12 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 23532 0 0 0 64188 24 0 0 25 0 1 0 247955194 99692544 23343 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 24339 23343 170 317 0 24018 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 97356 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16253 /proc/meminfo: memFree=1696320/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=110176 CPUtime=882.05 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 26494 0 0 0 88178 27 0 0 25 0 1 0 247955194 112820224 26305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 27544 26305 170 317 0 27223 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 110176 [startup+942.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16253 /proc/meminfo: memFree=1694016/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=112664 CPUtime=942.04 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 27060 0 0 0 94176 28 0 0 25 0 1 0 247955194 115367936 26871 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 28166 26871 170 317 0 27845 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 112664 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16253 /proc/meminfo: memFree=1692096/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=114968 CPUtime=1002.03 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 27546 0 0 0 100174 29 0 0 25 0 1 0 247955194 117727232 27357 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 28742 27357 170 317 0 28421 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 114968 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16253 /proc/meminfo: memFree=1689216/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=117900 CPUtime=1062.01 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 28270 0 0 0 106171 30 0 0 25 0 1 0 247955194 120729600 28081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 29475 28081 170 317 0 29154 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 117900 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16253 /proc/meminfo: memFree=1680128/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=126988 CPUtime=1122 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 30521 0 0 0 112168 32 0 0 25 0 1 0 247955194 130035712 30332 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 31747 30332 170 317 0 31426 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 126988 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16253 /proc/meminfo: memFree=1672896/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=134360 CPUtime=1181.99 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 32318 0 0 0 118165 34 0 0 25 0 1 0 247955194 137584640 32096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 33590 32096 170 317 0 33269 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 134360 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16253 /proc/meminfo: memFree=1671872/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=135560 CPUtime=1241.96 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 32592 0 0 0 124162 34 0 0 25 0 1 0 247955194 138813440 32337 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 33890 32337 170 317 0 33569 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 135560 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16255 /proc/meminfo: memFree=1670976/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=136356 CPUtime=1301.95 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 32843 0 0 0 130160 35 0 0 25 0 1 0 247955194 139628544 32555 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 34089 32555 170 317 0 33768 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 136356 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16255 /proc/meminfo: memFree=1669824/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=137800 CPUtime=1361.94 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 33170 0 0 0 136158 36 0 0 25 0 1 0 247955194 141107200 32849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 34450 32849 170 317 0 34129 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 137800 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16255 /proc/meminfo: memFree=1668736/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=138768 CPUtime=1421.92 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 33432 0 0 0 142156 36 0 0 25 0 1 0 247955194 142098432 33111 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 34692 33111 170 317 0 34371 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 138768 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16255 /proc/meminfo: memFree=1667584/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=140080 CPUtime=1481.9 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 33746 0 0 0 148153 37 0 0 25 0 1 0 247955194 143441920 33392 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 35020 33392 170 317 0 34699 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 140080 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16255 /proc/meminfo: memFree=1666752/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=140760 CPUtime=1541.89 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 33949 0 0 0 154151 38 0 0 25 0 1 0 247955194 144138240 33595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 35190 33595 170 317 0 34869 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 140760 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16255 /proc/meminfo: memFree=1665792/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=141808 CPUtime=1601.87 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 34214 0 0 0 160148 39 0 0 25 0 1 0 247955194 145211392 33827 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 35452 33827 170 317 0 35131 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 141808 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16255 /proc/meminfo: memFree=1664896/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=142724 CPUtime=1661.85 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 34454 0 0 0 166146 39 0 0 25 0 1 0 247955194 146149376 34034 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718520 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 35681 34034 170 317 0 35360 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 142724 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16255 /proc/meminfo: memFree=1664192/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=143772 CPUtime=1721.84 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 34636 0 0 0 172144 40 0 0 25 0 1 0 247955194 147222528 34216 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 35943 34216 170 317 0 35622 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 143772 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16255 /proc/meminfo: memFree=1661568/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=146408 CPUtime=1781.82 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 35304 0 0 0 178141 41 0 0 25 0 1 0 247955194 149921792 34851 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 36602 34851 170 317 0 36281 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 146408 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16255 /proc/meminfo: memFree=1660992/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=146976 CPUtime=1800.02 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 35452 0 0 0 179961 41 0 0 25 0 1 0 247955194 150503424 34999 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 36744 34999 170 317 0 36423 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 146976 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 0.99 1.00 1.00 2/79 16256 /proc/meminfo: memFree=1662904/2055920 swapFree=4153644/4192956 [pid=16252] ppid=16250 vsize=0 CPUtime=1800.13 /proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194308 35468 0 0 0 179971 42 0 0 25 0 1 0 247955194 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16252/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.63 CPU time (s): 1800.16 CPU user time (s): 1799.72 CPU system time (s): 0.441932 CPU usage (%): 99.9736 Max. virtual memory (cumulated for all children) (KiB): 146976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.72 system time used= 0.441932 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35468 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= 1404 runsolver used 1.49077 second user time and 4.07438 second system time The end
Begin job on node19 on Tue May 1 06:19:38 UTC 2007 IDJOB= 430903 IDBENCH= 48013 IDSOLVER= 172 FILE ID= node19/430903-1178000378 PBS_JOBID= 4728207 Free space on /tmp= 66563 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=103-P1=277-P2=401-P3=67-P4=337-P5=17-P6=499-P7=23-B.opb COMMAND LINE= oree /tmp/evaluation/430903-1178000378/instance-430903-1178000378.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node19/convwatcher-430903-1178000378 -o ROOT/results/node19/conversion-430903-1178000378 -C 600 -M 1800 /tmp/evaluation/430903-1178000378/substituteSizeProductKeyword /tmp/evaluation/430903-1178000378/instance-430903-1178000378.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-430903-1178000378 -o ROOT/results/node19/solver-430903-1178000378 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430903-1178000378/instance-430903-1178000378.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 9de8f37e65dc0eaf693e157cab5aa725 RANDOM SEED= 309712985 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node19.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.213 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.213 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: 1802272 kB Buffers: 48056 kB Cached: 115396 kB SwapCached: 7976 kB Active: 31676 kB Inactive: 159280 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1802272 kB SwapTotal: 4192956 kB SwapFree: 4153644 kB Dirty: 1340 kB Writeback: 0 kB Mapped: 30380 kB Slab: 48152 kB Committed_AS: 5650680 kB PageTables: 1788 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= 66563 MiB End job on node19 on Tue May 1 06:49:41 UTC 2007