Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.39 | 1800.95 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=5-P0=29-P1=19-P2=29-P3=5-P4=17-P5=5-P6=5-P7=13-P8=31-B.opb |
MD5SUM | 1a5734774d9497f5914e33a08764abe1 |
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.066989 |
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 | 120 |
Total number of constraints | 17 |
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 | 17 |
Minimum length of a constraint | 5 |
Maximum length of a constraint | 35 |
Number of terms in the objective function | 5 |
Biggest coefficient in the objective function | 16 |
Number of bits for the biggest coefficient in the objective function | 5 |
Sum of the numbers in the objective function | 31 |
Number of bits of the sum of numbers in the objective function | 5 |
Biggest number in a constraint | 512 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 1984 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 200 |
Sum of products size (including duplicates) | 400 |
Number of different products | 200 |
Sum of products size | 400 |
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=320 #constraints=426 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.10/0.18 c restart after 401 decisions 0.20/0.23 c nbDecision=500 #constraints=865 0.30/0.36 c restart after 801 decisions 0.40/0.45 c nbDecision=1000 #constraints=1284 0.79/0.80 c nbDecision=1500 #constraints=1756 0.89/0.90 c restart after 1601 decisions 1.19/1.29 c nbDecision=2000 #constraints=2168 2.09/2.16 c nbDecision=2500 #constraints=2640 3.29/3.30 c nbDecision=3000 #constraints=3057 3.99/4.01 c restart after 3201 decisions 4.69/4.75 c nbDecision=3500 #constraints=3482 6.89/6.92 c nbDecision=4000 #constraints=3935 9.99/10.04 c nbDecision=4500 #constraints=4395 13.59/13.65 c nbDecision=5000 #constraints=4865 16.79/16.83 c nbDecision=5500 #constraints=5316 21.09/21.12 c nbDecision=6000 #constraints=5784 25.48/25.51 c restart after 6401 decisions 25.79/25.85 c nbDecision=6500 #constraints=6234 31.28/31.34 c nbDecision=7000 #constraints=6664 35.58/35.60 c nbDecision=7500 #constraints=7120 40.58/40.64 c nbDecision=8000 #constraints=7603 44.58/44.65 c nbDecision=8500 #constraints=8071 48.77/48.81 c nbDecision=9000 #constraints=8516 53.88/53.96 c nbDecision=9500 #constraints=8978 60.28/60.33 c nbDecision=10000 #constraints=9449 67.87/67.97 c nbDecision=10500 #constraints=9932 71.87/71.97 c nbDecision=11000 #constraints=10353 75.97/76.06 c nbDecision=11500 #constraints=10777 80.07/80.11 c nbDecision=12000 #constraints=11192 86.07/86.15 c nbDecision=12500 #constraints=11642 89.77/89.88 c restart after 12801 decisions 92.07/92.19 c nbDecision=13000 #constraints=12070 99.86/99.94 c nbDecision=13500 #constraints=12541 106.26/106.31 c nbDecision=14000 #constraints=12990 110.96/111.03 c nbDecision=14500 #constraints=13454 115.86/115.99 c nbDecision=15000 #constraints=13893 121.66/121.77 c nbDecision=15500 #constraints=14342 129.15/129.26 c nbDecision=16000 #constraints=14828 137.46/137.59 c nbDecision=16500 #constraints=15297 142.96/143.09 c nbDecision=17000 #constraints=15747 148.15/148.28 c nbDecision=17500 #constraints=16173 154.35/154.42 c nbDecision=18000 #constraints=16639 160.95/161.06 c nbDecision=18500 #constraints=17085 168.85/168.95 c nbDecision=19000 #constraints=17568 176.24/176.37 c nbDecision=19500 #constraints=17990 185.24/185.30 c nbDecision=20000 #constraints=18436 194.94/195.03 c nbDecision=20500 #constraints=18855 205.34/205.49 c nbDecision=21000 #constraints=19289 219.94/220.05 c nbDecision=21500 #constraints=19711 235.63/235.72 c nbDecision=22000 #constraints=20146 251.82/251.99 c nbDecision=22500 #constraints=20583 268.42/268.56 c nbDecision=23000 #constraints=21020 283.22/283.31 c nbDecision=23500 #constraints=21427 301.22/301.36 c nbDecision=24000 #constraints=21912 317.41/317.53 c nbDecision=24500 #constraints=22323 333.50/333.62 c nbDecision=25000 #constraints=22766 351.10/351.27 c nbDecision=25500 #constraints=23231 354.30/354.47 c restart after 25601 decisions 364.90/365.07 c nbDecision=26000 #constraints=23653 380.80/380.91 c nbDecision=26500 #constraints=24062 398.69/398.81 c nbDecision=27000 #constraints=24511 421.48/421.67 c nbDecision=27500 #constraints=24954 443.77/443.96 c nbDecision=28000 #constraints=25349 467.27/467.47 c nbDecision=28500 #constraints=25773 490.96/491.13 c nbDecision=29000 #constraints=26197 513.57/513.76 c nbDecision=29500 #constraints=26624 536.56/536.79 c nbDecision=30000 #constraints=27026 559.45/559.69 c nbDecision=30500 #constraints=27421 579.85/580.07 c nbDecision=31000 #constraints=27850 600.34/600.53 c nbDecision=31500 #constraints=28295 616.33/616.51 c nbDecision=32000 #constraints=28710 633.83/634.01 c nbDecision=32500 #constraints=29134 656.43/656.68 c nbDecision=33000 #constraints=29553 679.72/679.93 c nbDecision=33500 #constraints=30015 706.02/706.23 c nbDecision=34000 #constraints=30463 734.71/734.94 c nbDecision=34500 #constraints=30913 764.80/765.09 c nbDecision=35000 #constraints=31290 794.79/795.01 c nbDecision=35500 #constraints=31719 827.28/827.57 c nbDecision=36000 #constraints=32156 855.17/855.43 c nbDecision=36500 #constraints=32556 883.27/883.50 c nbDecision=37000 #constraints=32992 908.56/908.85 c nbDecision=37500 #constraints=33414 934.25/934.54 c nbDecision=38000 #constraints=33860 963.14/963.44 c nbDecision=38500 #constraints=34294 991.74/992.07 c nbDecision=39000 #constraints=34722 1019.23/1019.55 c nbDecision=39500 #constraints=35167 1044.23/1044.53 c nbDecision=40000 #constraints=35579 1073.72/1074.02 c nbDecision=40500 #constraints=36040 1103.51/1103.82 c nbDecision=41000 #constraints=36431 1143.81/1144.18 c nbDecision=41500 #constraints=36858 1176.20/1176.52 c nbDecision=42000 #constraints=37267 1214.58/1214.95 c nbDecision=42500 #constraints=37707 1252.28/1252.67 c nbDecision=43000 #constraints=38143 1284.12/1284.59 c nbDecision=43500 #constraints=38553 1318.87/1319.33 c nbDecision=44000 #constraints=39006 1351.36/1351.82 c nbDecision=44500 #constraints=39457 1380.04/1380.53 c nbDecision=45000 #constraints=39872 1411.33/1411.83 c nbDecision=45500 #constraints=40315 1448.62/1449.15 c nbDecision=46000 #constraints=40733 1492.82/1493.33 c nbDecision=46500 #constraints=41145 1534.20/1534.72 c nbDecision=47000 #constraints=41582 1578.00/1578.59 c nbDecision=47500 #constraints=42006 1615.79/1616.39 c nbDecision=48000 #constraints=42400 1655.77/1656.37 c nbDecision=48500 #constraints=42854 1687.36/1687.95 c nbDecision=49000 #constraints=43288 1726.86/1727.47 c nbDecision=49500 #constraints=43735 1761.14/1761.79 c nbDecision=50000 #constraints=44142 1798.64/1799.27 c nbDecision=50500 #constraints=44546 1800.05/1800.61 Received signal 15 1800.34/1800.92 1800.34/1800.92 s UNKNOWN 1800.34/1800.92 1800.34/1800.92 c user time= 1800.05 s 1800.34/1800.92 c system time= 0.320951 s 1800.34/1800.92 c wall clock time=1800.93
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/430021-1177990794/instance-430021-1177990794.opb mv /tmp/evaluation/430021-1177990794/instance-430021-1177990794.opb.tmp /tmp/evaluation/430021-1177990794/instance-430021-1177990794.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node18/watcher-430021-1177990794 -o ROOT/results/node18/solver-430021-1177990794 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430021-1177990794/instance-430021-1177990794.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: 1.00 1.00 1.00 3/77 13054 /proc/meminfo: memFree=1816008/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=1608 CPUtime=0 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 203 0 0 0 0 0 0 0 18 0 1 0 246996775 1646592 186 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 402 190 136 317 0 81 0 [startup+0.0591869 s] /proc/loadavg: 1.00 1.00 1.00 3/77 13054 /proc/meminfo: memFree=1816008/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=1736 CPUtime=0.05 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 257 0 0 0 5 0 0 0 18 0 1 0 246996775 1777664 240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 434 240 139 317 0 113 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1736 [startup+0.102191 s] /proc/loadavg: 1.00 1.00 1.00 3/77 13054 /proc/meminfo: memFree=1816008/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=1868 CPUtime=0.1 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 286 0 0 0 10 0 0 0 18 0 1 0 246996775 1912832 269 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134549916 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 467 269 139 317 0 146 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1868 [startup+0.30221 s] /proc/loadavg: 1.00 1.00 1.00 3/77 13054 /proc/meminfo: memFree=1816008/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=2396 CPUtime=0.3 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 432 0 0 0 30 0 0 0 19 0 1 0 246996775 2453504 415 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 599 415 139 317 0 278 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 2396 [startup+0.70125 s] /proc/loadavg: 1.00 1.00 1.00 3/77 13054 /proc/meminfo: memFree=1816008/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=3588 CPUtime=0.69 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 746 0 0 0 69 0 0 0 22 0 1 0 246996775 3674112 729 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134717847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 897 729 170 317 0 576 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3588 [startup+1.50133 s] /proc/loadavg: 1.00 1.00 1.00 3/78 13055 /proc/meminfo: memFree=1813120/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=4836 CPUtime=1.49 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 1048 0 0 0 149 0 0 0 25 0 1 0 246996775 4952064 1031 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710769 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 1209 1031 170 317 0 888 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4836 [startup+3.10148 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13055 /proc/meminfo: memFree=1811776/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=6152 CPUtime=3.09 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 1377 0 0 0 309 0 0 0 25 0 1 0 246996775 6299648 1360 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 1538 1360 170 317 0 1217 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6152 [startup+6.30179 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13055 /proc/meminfo: memFree=1809792/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=7616 CPUtime=6.29 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 1748 0 0 0 629 0 0 0 25 0 1 0 246996775 7798784 1731 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278989 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 1904 1731 170 317 0 1583 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7616 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13055 /proc/meminfo: memFree=1807936/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=9328 CPUtime=12.69 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 2143 0 0 0 1268 1 0 0 25 0 1 0 246996775 9551872 2126 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 2332 2126 170 317 0 2011 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9328 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13057 /proc/meminfo: memFree=1805184/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=12112 CPUtime=25.48 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 2820 0 0 0 2546 2 0 0 25 0 1 0 246996775 12402688 2803 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 3028 2803 170 317 0 2707 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 12112 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13057 /proc/meminfo: memFree=1800768/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=16704 CPUtime=51.08 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 4002 0 0 0 5104 4 0 0 25 0 1 0 246996775 17104896 3927 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711130 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 4176 3927 170 317 0 3855 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 16704 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13057 /proc/meminfo: memFree=1793408/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=23972 CPUtime=102.26 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 5794 0 0 0 10221 5 0 0 25 0 1 0 246996775 24547328 5719 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 5993 5719 170 317 0 5672 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 23972 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13057 /proc/meminfo: memFree=1785408/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=32500 CPUtime=162.25 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 7921 0 0 0 16217 8 0 0 25 0 1 0 246996775 33280000 7732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 8125 7732 170 317 0 7804 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 32500 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13057 /proc/meminfo: memFree=1780608/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=37488 CPUtime=222.23 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 9095 0 0 0 22214 9 0 0 25 0 1 0 246996775 38387712 8906 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 9372 8906 170 317 0 9051 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 37488 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13057 /proc/meminfo: memFree=1777792/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=40492 CPUtime=282.22 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 9834 0 0 0 28212 10 0 0 25 0 1 0 246996775 41463808 9645 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 10123 9645 170 317 0 9802 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 40492 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13057 /proc/meminfo: memFree=1774912/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=43476 CPUtime=342.2 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 10545 0 0 0 34209 11 0 0 25 0 1 0 246996775 44519424 10356 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 10869 10356 170 317 0 10548 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 43476 [startup+402.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13057 /proc/meminfo: memFree=1772032/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=46392 CPUtime=402.19 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 11271 0 0 0 40207 12 0 0 25 0 1 0 246996775 47505408 11082 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 11598 11082 170 317 0 11277 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 46392 [startup+462.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13057 /proc/meminfo: memFree=1769856/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=48452 CPUtime=462.18 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 11787 0 0 0 46205 13 0 0 25 0 1 0 246996775 49614848 11598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718534 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 12113 11598 170 317 0 11792 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 48452 [startup+522.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13057 /proc/meminfo: memFree=1767936/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=50476 CPUtime=522.16 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 12275 0 0 0 52202 14 0 0 25 0 1 0 246996775 51687424 12086 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 12619 12086 170 317 0 12298 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 50476 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13057 /proc/meminfo: memFree=1765632/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=53352 CPUtime=582.15 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 12849 0 0 0 58200 15 0 0 25 0 1 0 246996775 54632448 12660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 13338 12660 170 317 0 13017 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 53352 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13057 /proc/meminfo: memFree=1763200/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=55936 CPUtime=642.14 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 13474 0 0 0 64198 16 0 0 25 0 1 0 246996775 57278464 13285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563878 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 13984 13285 170 317 0 13663 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 55936 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13057 /proc/meminfo: memFree=1754752/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=65216 CPUtime=942.05 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 15825 0 0 0 94186 19 0 0 25 0 1 0 246996775 66781184 15376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 16304 15376 170 317 0 15983 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 65216 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13057 /proc/meminfo: memFree=1753024/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=66820 CPUtime=1002.04 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 16268 0 0 0 100184 20 0 0 25 0 1 0 246996775 68423680 15819 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711114 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 16705 15819 170 317 0 16384 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 66820 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13057 /proc/meminfo: memFree=1751360/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=68448 CPUtime=1062.03 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 16690 0 0 0 106182 21 0 0 25 0 1 0 246996775 70090752 16241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 17112 16241 170 317 0 16791 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 68448 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13057 /proc/meminfo: memFree=1749824/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=70324 CPUtime=1122.01 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 17073 0 0 0 112180 21 0 0 25 0 1 0 246996775 72011776 16624 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 17581 16624 170 317 0 17260 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 70324 [startup+1182.3 s] /proc/loadavg: 1.11 1.04 1.01 2/78 13057 /proc/meminfo: memFree=1748672/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=71444 CPUtime=1181.99 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 17347 0 0 0 118177 22 0 0 25 0 1 0 246996775 73158656 16898 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 17861 16898 170 317 0 17540 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 71444 [startup+1242.3 s] /proc/loadavg: 1.08 1.05 1.01 2/78 13057 /proc/meminfo: memFree=1747392/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=72748 CPUtime=1241.98 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 17666 0 0 0 124175 23 0 0 25 0 1 0 246996775 74493952 17217 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 18187 17217 170 317 0 17866 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 72748 [startup+1302.3 s] /proc/loadavg: 1.06 1.05 1.01 2/84 13223 /proc/meminfo: memFree=1744712/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=73972 CPUtime=1301.89 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 17974 0 0 0 130164 25 0 0 25 0 1 0 246996775 75747328 17525 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 18493 17525 170 317 0 18172 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 73972 [startup+1362.3 s] /proc/loadavg: 1.02 1.04 1.00 2/78 13255 /proc/meminfo: memFree=1744384/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=75312 CPUtime=1361.85 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 18331 0 0 0 136159 26 0 0 25 0 1 0 246996775 77119488 17882 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718671 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 18828 17882 170 317 0 18507 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 75312 [startup+1422.31 s] /proc/loadavg: 1.01 1.03 1.00 2/78 13255 /proc/meminfo: memFree=1742848/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=78000 CPUtime=1421.83 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 18993 0 0 0 142156 27 0 0 25 0 1 0 246996775 79872000 18280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 19500 18280 170 317 0 19179 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 78000 [startup+1482.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 13255 /proc/meminfo: memFree=1741760/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=79076 CPUtime=1481.82 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 19275 0 0 0 148154 28 0 0 25 0 1 0 246996775 80973824 18562 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 19769 18562 170 317 0 19448 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 79076 [startup+1542.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 13255 /proc/meminfo: memFree=1740480/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=80308 CPUtime=1541.81 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 19581 0 0 0 154152 29 0 0 25 0 1 0 246996775 82235392 18868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 20077 18868 170 317 0 19756 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 80308 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 13255 /proc/meminfo: memFree=1739456/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=81712 CPUtime=1601.78 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 19841 0 0 0 160149 29 0 0 25 0 1 0 246996775 83673088 19128 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 20428 19128 170 317 0 20107 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 81712 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13255 /proc/meminfo: memFree=1738112/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=83112 CPUtime=1661.77 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 20169 0 0 0 166147 30 0 0 25 0 1 0 246996775 85106688 19456 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 20778 19456 170 317 0 20457 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 83112 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13255 /proc/meminfo: memFree=1736896/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=84312 CPUtime=1721.76 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 20489 0 0 0 172145 31 0 0 25 0 1 0 246996775 86335488 19776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 21078 19776 170 317 0 20757 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 84312 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13255 /proc/meminfo: memFree=1735680/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=85344 CPUtime=1781.74 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 20768 0 0 0 178143 31 0 0 25 0 1 0 246996775 87392256 20055 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 21336 20055 170 317 0 21015 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 85344 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 3/78 13255 /proc/meminfo: memFree=1735552/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=85608 CPUtime=1800.05 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 20839 0 0 0 179973 32 0 0 25 0 1 0 246996775 87662592 20126 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 21402 20126 170 317 0 21081 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 85608 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 3/78 13255 /proc/meminfo: memFree=1735552/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=85608 CPUtime=1800.24 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 20841 0 0 0 179992 32 0 0 25 0 1 0 246996775 87662592 20128 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 21402 20128 170 317 0 21081 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 85608 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 3/78 13255 /proc/meminfo: memFree=1735552/2055920 swapFree=4147196/4192956 [pid=13054] ppid=13052 vsize=85608 CPUtime=1800.34 /proc/13054/stat : 13054 (oree) R 13052 13054 7160 0 -1 4194304 20841 0 0 0 180002 32 0 0 25 0 1 0 246996775 87662592 20128 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13054/statm: 21402 20128 170 317 0 21081 0 Current children cumulated CPU time (s) 1800.34 Current children cumulated vsize (KiB) 85608 Child status: 0 Real time (s): 1800.95 CPU time (s): 1800.39 CPU user time (s): 1800.06 CPU system time (s): 0.335948 CPU usage (%): 99.969 Max. virtual memory (cumulated for all children) (KiB): 85608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.06 system time used= 0.335948 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20857 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= 1730 runsolver used 1.53177 second user time and 3.9564 second system time The end
Begin job on node18 on Tue May 1 03:39:54 UTC 2007 IDJOB= 430021 IDBENCH= 47950 IDSOLVER= 172 FILE ID= node18/430021-1177990794 PBS_JOBID= 4728021 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=5-P0=29-P1=19-P2=29-P3=5-P4=17-P5=5-P6=5-P7=13-P8=31-B.opb COMMAND LINE= oree /tmp/evaluation/430021-1177990794/instance-430021-1177990794.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node18/convwatcher-430021-1177990794 -o ROOT/results/node18/conversion-430021-1177990794 -C 600 -M 1800 /tmp/evaluation/430021-1177990794/substituteSizeProductKeyword /tmp/evaluation/430021-1177990794/instance-430021-1177990794.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-430021-1177990794 -o ROOT/results/node18/solver-430021-1177990794 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430021-1177990794/instance-430021-1177990794.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 1a5734774d9497f5914e33a08764abe1 RANDOM SEED= 151268581 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node18.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1816352 kB Buffers: 41088 kB Cached: 104564 kB SwapCached: 14420 kB Active: 100332 kB Inactive: 71960 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1816352 kB SwapTotal: 4192956 kB SwapFree: 4147196 kB Dirty: 1400 kB Writeback: 0 kB Mapped: 33652 kB Slab: 52720 kB Committed_AS: 6461536 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 node18 on Tue May 1 04:09:57 UTC 2007