Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.47 | 1800.98 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=5-P0=17-P1=29-P2=13-P3=37-P4=29-P5=29-P6=11-P7=11-P8=31-P9=17-B.opb |
MD5SUM | d53202099779b6367fc4504546ad6296 |
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.080987 |
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 | 135 |
Total number of constraints | 19 |
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 | 19 |
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) | 225 |
Sum of products size (including duplicates) | 450 |
Number of different products | 225 |
Sum of products size | 450 |
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=360 #constraints=479 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.16 c restart after 401 decisions 0.10/0.19 c nbDecision=500 #constraints=881 0.29/0.33 c restart after 801 decisions 0.39/0.42 c nbDecision=1000 #constraints=1291 0.79/0.82 c nbDecision=1500 #constraints=1749 0.89/0.94 c restart after 1601 decisions 1.29/1.36 c nbDecision=2000 #constraints=2153 2.20/2.26 c nbDecision=2500 #constraints=2607 3.69/3.78 c nbDecision=3000 #constraints=3047 4.49/4.55 c restart after 3201 decisions 5.29/5.36 c nbDecision=3500 #constraints=3485 7.88/7.99 c nbDecision=4000 #constraints=3905 11.00/11.03 c nbDecision=4500 #constraints=4371 13.69/13.73 c nbDecision=5000 #constraints=4816 16.69/16.76 c nbDecision=5500 #constraints=5242 20.68/20.77 c nbDecision=6000 #constraints=5699 23.48/23.59 c restart after 6401 decisions 23.68/23.79 c nbDecision=6500 #constraints=6100 29.28/29.33 c nbDecision=7000 #constraints=6566 36.38/36.44 c nbDecision=7500 #constraints=7040 39.48/39.57 c nbDecision=8000 #constraints=7476 42.68/42.75 c nbDecision=8500 #constraints=7874 46.28/46.38 c nbDecision=9000 #constraints=8308 51.38/51.47 c nbDecision=9500 #constraints=8753 57.37/57.40 c nbDecision=10000 #constraints=9203 64.57/64.63 c nbDecision=10500 #constraints=9664 69.87/69.90 c nbDecision=11000 #constraints=10158 73.87/73.96 c nbDecision=11500 #constraints=10589 78.18/78.25 c nbDecision=12000 #constraints=11019 83.77/83.84 c nbDecision=12500 #constraints=11496 87.66/87.77 c restart after 12801 decisions 88.56/88.66 c nbDecision=13000 #constraints=11927 94.96/95.09 c nbDecision=13500 #constraints=12367 101.56/101.66 c nbDecision=14000 #constraints=12828 105.66/105.75 c nbDecision=14500 #constraints=13257 110.47/110.54 c nbDecision=15000 #constraints=13698 115.96/116.05 c nbDecision=15500 #constraints=14152 122.86/122.99 c nbDecision=16000 #constraints=14605 130.86/130.91 c nbDecision=16500 #constraints=15080 136.85/137.00 c nbDecision=17000 #constraints=15540 141.75/141.82 c nbDecision=17500 #constraints=15994 147.15/147.24 c nbDecision=18000 #constraints=16447 153.55/153.65 c nbDecision=18500 #constraints=16903 160.95/161.08 c nbDecision=19000 #constraints=17383 168.25/168.40 c nbDecision=19500 #constraints=17817 174.44/174.54 c nbDecision=20000 #constraints=18292 179.44/179.56 c nbDecision=20500 #constraints=18715 184.24/184.38 c nbDecision=21000 #constraints=19168 190.25/190.37 c nbDecision=21500 #constraints=19617 197.94/198.08 c nbDecision=22000 #constraints=20103 206.13/206.26 c nbDecision=22500 #constraints=20554 214.83/214.96 c nbDecision=23000 #constraints=20997 223.83/223.98 c nbDecision=23500 #constraints=21436 234.83/234.93 c nbDecision=24000 #constraints=21892 248.12/248.21 c nbDecision=24500 #constraints=22307 262.12/262.22 c nbDecision=25000 #constraints=22704 278.01/278.18 c nbDecision=25500 #constraints=23146 282.11/282.29 c restart after 25601 decisions 292.21/292.34 c nbDecision=26000 #constraints=23570 305.71/305.81 c nbDecision=26500 #constraints=23989 322.30/322.43 c nbDecision=27000 #constraints=24450 343.39/343.50 c nbDecision=27500 #constraints=24823 366.89/367.05 c nbDecision=28000 #constraints=25283 385.18/385.36 c nbDecision=28500 #constraints=25707 402.68/402.81 c nbDecision=29000 #constraints=26126 419.77/419.95 c nbDecision=29500 #constraints=26548 435.87/436.02 c nbDecision=30000 #constraints=26956 454.57/454.70 c nbDecision=30500 #constraints=27407 470.66/470.81 c nbDecision=31000 #constraints=27812 487.85/488.03 c nbDecision=31500 #constraints=28259 505.85/506.08 c nbDecision=32000 #constraints=28699 524.65/524.82 c nbDecision=32500 #constraints=29139 542.84/543.04 c nbDecision=33000 #constraints=29599 558.34/558.57 c nbDecision=33500 #constraints=30006 576.83/577.02 c nbDecision=34000 #constraints=30448 598.03/598.22 c nbDecision=34500 #constraints=30887 617.02/617.21 c nbDecision=35000 #constraints=31265 641.71/641.91 c nbDecision=35500 #constraints=31709 665.51/665.79 c nbDecision=36000 #constraints=32079 689.60/689.89 c nbDecision=36500 #constraints=32460 713.49/713.73 c nbDecision=37000 #constraints=32891 738.38/738.69 c nbDecision=37500 #constraints=33321 760.98/761.24 c nbDecision=38000 #constraints=33709 786.67/786.96 c nbDecision=38500 #constraints=34111 810.37/810.64 c nbDecision=39000 #constraints=34524 835.36/835.65 c nbDecision=39500 #constraints=34979 857.25/857.58 c nbDecision=40000 #constraints=35387 876.95/877.28 c nbDecision=40500 #constraints=35790 901.54/901.85 c nbDecision=41000 #constraints=36192 927.74/928.00 c nbDecision=41500 #constraints=36560 954.42/954.80 c nbDecision=42000 #constraints=36964 984.71/985.04 c nbDecision=42500 #constraints=37370 1015.40/1015.72 c nbDecision=43000 #constraints=37772 1044.71/1045.05 c nbDecision=43500 #constraints=38204 1071.79/1072.15 c nbDecision=44000 #constraints=38637 1098.28/1098.60 c nbDecision=44500 #constraints=39049 1130.27/1130.64 c nbDecision=45000 #constraints=39506 1161.27/1161.62 c nbDecision=45500 #constraints=39952 1200.65/1201.00 c nbDecision=46000 #constraints=40382 1240.15/1240.54 c nbDecision=46500 #constraints=40800 1271.54/1271.97 c nbDecision=47000 #constraints=41219 1301.03/1301.47 c nbDecision=47500 #constraints=41641 1337.52/1337.96 c nbDecision=48000 #constraints=42083 1371.80/1372.28 c nbDecision=48500 #constraints=42507 1405.90/1406.37 c nbDecision=49000 #constraints=42921 1440.09/1440.52 c nbDecision=49500 #constraints=43346 1472.08/1472.52 c nbDecision=50000 #constraints=43755 1503.27/1503.70 c nbDecision=50500 #constraints=44178 1533.66/1534.13 c nbDecision=51000 #constraints=44558 1547.66/1548.11 c restart after 51201 decisions 1566.06/1566.59 c nbDecision=51500 #constraints=44897 1596.74/1597.28 c nbDecision=52000 #constraints=45276 1643.04/1643.55 c nbDecision=52500 #constraints=45715 1683.92/1684.41 c nbDecision=53000 #constraints=46123 1729.50/1730.02 c nbDecision=53500 #constraints=46557 1768.90/1769.45 c nbDecision=54000 #constraints=46971 1800.09/1800.60 Received signal 15 1800.39/1800.95 1800.39/1800.95 s UNKNOWN 1800.39/1800.95 1800.39/1800.95 c user time= 1800.21 s 1800.39/1800.95 c system time= 0.244962 s 1800.39/1800.95 c wall clock time=1800.96
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/430147-1177992116/instance-430147-1177992116.opb mv /tmp/evaluation/430147-1177992116/instance-430147-1177992116.opb.tmp /tmp/evaluation/430147-1177992116/instance-430147-1177992116.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node70/watcher-430147-1177992116 -o ROOT/results/node70/solver-430147-1177992116 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430147-1177992116/instance-430147-1177992116.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.97 0.99 3/64 436 /proc/meminfo: memFree=1792632/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=1468 CPUtime=0 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 238748957 1503232 176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 367 176 132 317 0 46 0 [startup+0.104885 s] /proc/loadavg: 0.92 0.97 0.99 3/64 436 /proc/meminfo: memFree=1792632/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=1992 CPUtime=0.1 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 302 0 0 0 10 0 0 0 18 0 1 0 238748957 2039808 285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 498 285 139 317 0 177 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1992 [startup+0.201895 s] /proc/loadavg: 0.92 0.97 0.99 3/64 436 /proc/meminfo: memFree=1792632/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=2272 CPUtime=0.19 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 390 0 0 0 19 0 0 0 18 0 1 0 238748957 2326528 373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593405 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 568 373 139 317 0 247 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 2272 [startup+0.301904 s] /proc/loadavg: 0.92 0.97 0.99 3/64 436 /proc/meminfo: memFree=1792632/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=2664 CPUtime=0.29 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 474 0 0 0 29 0 0 0 19 0 1 0 238748957 2727936 457 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 666 457 139 317 0 345 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2664 [startup+0.701943 s] /proc/loadavg: 0.92 0.97 0.99 3/64 436 /proc/meminfo: memFree=1792632/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=3588 CPUtime=0.69 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 719 0 0 0 69 0 0 0 22 0 1 0 238748957 3674112 702 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718560 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 897 702 139 317 0 576 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3588 [startup+1.50202 s] /proc/loadavg: 0.92 0.97 0.99 2/65 437 /proc/meminfo: memFree=1789744/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=4640 CPUtime=1.49 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 981 0 0 0 149 0 0 0 25 0 1 0 238748957 4751360 964 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718521 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 1160 964 139 317 0 839 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4640 [startup+3.10119 s] /proc/loadavg: 0.92 0.97 0.99 2/65 437 /proc/meminfo: memFree=1788592/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=5952 CPUtime=3.09 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 1288 0 0 0 309 0 0 0 25 0 1 0 238748957 6094848 1271 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 1488 1271 139 317 0 1167 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5952 [startup+6.3015 s] /proc/loadavg: 0.93 0.97 0.99 2/65 437 /proc/meminfo: memFree=1786880/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=7272 CPUtime=6.29 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 1609 0 0 0 629 0 0 0 25 0 1 0 238748957 7446528 1592 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 1818 1592 139 317 0 1497 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7272 [startup+12.7011 s] /proc/loadavg: 0.93 0.97 0.99 2/65 437 /proc/meminfo: memFree=1785056/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=9216 CPUtime=12.69 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 2106 0 0 0 1268 1 0 0 25 0 1 0 238748957 9437184 2089 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 2304 2089 170 317 0 1983 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9216 [startup+25.5014 s] /proc/loadavg: 0.94 0.97 0.99 2/65 437 /proc/meminfo: memFree=1781984/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=12136 CPUtime=25.49 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 2814 0 0 0 2547 2 0 0 25 0 1 0 238748957 12427264 2797 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 3034 2797 170 317 0 2713 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 12136 [startup+51.102 s] /proc/loadavg: 0.96 0.97 0.99 2/65 437 /proc/meminfo: memFree=1777696/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=16720 CPUtime=51.08 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 3965 0 0 0 5105 3 0 0 25 0 1 0 238748957 17121280 3890 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746912 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 4180 3890 170 317 0 3859 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 16720 [startup+102.301 s] /proc/loadavg: 0.98 0.97 0.99 2/65 437 /proc/meminfo: memFree=1770144/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=24232 CPUtime=102.27 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 5837 0 0 0 10222 5 0 0 25 0 1 0 238748957 24813568 5762 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 6058 5762 170 317 0 5737 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 24232 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 437 /proc/meminfo: memFree=1761952/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=32896 CPUtime=162.25 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 8008 0 0 0 16217 8 0 0 25 0 1 0 238748957 33685504 7819 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 8224 7819 170 317 0 7903 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 32896 [startup+222.304 s] /proc/loadavg: 0.99 0.97 0.99 2/65 437 /proc/meminfo: memFree=1754848/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=40104 CPUtime=222.24 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 9745 0 0 0 22214 10 0 0 25 0 1 0 238748957 41066496 9556 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 10026 9556 170 317 0 9705 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 40104 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 437 /proc/meminfo: memFree=1751648/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=43388 CPUtime=282.21 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 10547 0 0 0 28211 10 0 0 25 0 1 0 238748957 44429312 10358 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 10847 10358 170 317 0 10526 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 43388 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 437 /proc/meminfo: memFree=1748768/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=46272 CPUtime=342.19 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 11263 0 0 0 34208 11 0 0 25 0 1 0 238748957 47382528 11074 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 11568 11074 170 317 0 11247 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 46272 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 437 /proc/meminfo: memFree=1746272/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=48852 CPUtime=402.18 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 11895 0 0 0 40206 12 0 0 25 0 1 0 238748957 50024448 11706 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 12213 11706 170 317 0 11892 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 48852 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 437 /proc/meminfo: memFree=1743456/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=51644 CPUtime=462.16 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 12596 0 0 0 46203 13 0 0 25 0 1 0 238748957 52883456 12407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712504 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 12911 12407 170 317 0 12590 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 51644 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 437 /proc/meminfo: memFree=1740768/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=54460 CPUtime=522.14 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 13273 0 0 0 52200 14 0 0 25 0 1 0 238748957 55767040 13084 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 13615 13084 170 317 0 13294 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 54460 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 437 /proc/meminfo: memFree=1737760/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=58040 CPUtime=582.13 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 14014 0 0 0 58198 15 0 0 25 0 1 0 238748957 59432960 13825 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 14510 13825 170 317 0 14189 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 58040 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 437 /proc/meminfo: memFree=1735712/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=60304 CPUtime=642.11 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 14520 0 0 0 64196 15 0 0 25 0 1 0 238748957 61751296 14331 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 15076 14331 170 317 0 14755 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 60304 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 437 /proc/meminfo: memFree=1726432/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=70268 CPUtime=942.03 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 17056 0 0 0 94185 18 0 0 25 0 1 0 238748957 71954432 16640 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 17567 16640 170 317 0 17246 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 70268 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 437 /proc/meminfo: memFree=1724768/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=71768 CPUtime=1002.01 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 17448 0 0 0 100183 18 0 0 25 0 1 0 238748957 73490432 17032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 17942 17032 170 317 0 17621 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 71768 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 437 /proc/meminfo: memFree=1723040/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=73464 CPUtime=1061.99 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 17878 0 0 0 106180 19 0 0 25 0 1 0 238748957 75227136 17462 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 18366 17462 170 317 0 18045 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 73464 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 437 /proc/meminfo: memFree=1721376/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=74916 CPUtime=1121.97 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 18286 0 0 0 112178 19 0 0 25 0 1 0 238748957 76713984 17870 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 18729 17870 170 317 0 18408 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 74916 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 437 /proc/meminfo: memFree=1720032/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=76248 CPUtime=1181.96 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 18620 0 0 0 118177 19 0 0 25 0 1 0 238748957 78077952 18204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 19062 18204 170 317 0 18741 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 76248 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 437 /proc/meminfo: memFree=1718752/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=78012 CPUtime=1241.95 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 18947 0 0 0 124175 20 0 0 25 0 1 0 238748957 79884288 18531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711484 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 19503 18531 170 317 0 19182 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 78012 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 437 /proc/meminfo: memFree=1717344/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=79380 CPUtime=1301.93 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 19300 0 0 0 130173 20 0 0 25 0 1 0 238748957 81285120 18884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712504 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 19845 18884 170 317 0 19524 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 79380 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 437 /proc/meminfo: memFree=1716000/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=80596 CPUtime=1361.91 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 19630 0 0 0 136171 20 0 0 25 0 1 0 238748957 82530304 19214 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 20149 19214 170 317 0 19828 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 80596 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 437 /proc/meminfo: memFree=1714528/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=83100 CPUtime=1421.9 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 20246 0 0 0 142169 21 0 0 25 0 1 0 238748957 85094400 19566 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718334 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 20775 19566 170 317 0 20454 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 83100 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 437 /proc/meminfo: memFree=1713184/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=84456 CPUtime=1481.87 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 20586 0 0 0 148166 21 0 0 25 0 1 0 238748957 86482944 19906 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 21114 19906 170 317 0 20793 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 84456 [startup+1542.31 s] /proc/loadavg: 0.99 0.97 0.99 2/65 437 /proc/meminfo: memFree=1711776/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=85768 CPUtime=1541.86 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 20924 0 0 0 154164 22 0 0 25 0 1 0 238748957 87826432 20244 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 21442 20244 170 317 0 21121 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 85768 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 437 /proc/meminfo: memFree=1710496/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=87000 CPUtime=1601.84 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 21247 0 0 0 160162 22 0 0 25 0 1 0 238748957 89088000 20567 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 21750 20567 170 317 0 21429 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 87000 [startup+1662.3 s] /proc/loadavg: 1.03 0.99 0.99 2/65 437 /proc/meminfo: memFree=1709344/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=88480 CPUtime=1661.83 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 21530 0 0 0 166160 23 0 0 25 0 1 0 238748957 90603520 20850 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 22120 20850 170 317 0 21799 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 88480 [startup+1722.3 s] /proc/loadavg: 1.20 1.03 1.01 2/65 437 /proc/meminfo: memFree=1708192/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=89652 CPUtime=1721.8 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 21813 0 0 0 172157 23 0 0 25 0 1 0 238748957 91803648 21133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 22413 21133 170 317 0 22092 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 89652 [startup+1782.3 s] /proc/loadavg: 1.15 1.04 1.01 2/65 437 /proc/meminfo: memFree=1706976/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=90884 CPUtime=1781.79 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 22106 0 0 0 178155 24 0 0 25 0 1 0 238748957 93065216 21426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 22721 21426 170 317 0 22400 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 90884 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.18 1.05 1.01 2/65 437 /proc/meminfo: memFree=1706592/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=91144 CPUtime=1800.09 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 22203 0 0 0 179985 24 0 0 25 0 1 0 238748957 93331456 21523 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 22786 21523 170 317 0 22465 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 91144 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.18 1.05 1.01 2/66 438 /proc/meminfo: memFree=1706584/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=91144 CPUtime=1800.2 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 22203 0 0 0 179996 24 0 0 25 0 1 0 238748957 93331456 21523 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 22786 21523 170 317 0 22465 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 91144 [startup+1800.9 s] /proc/loadavg: 1.18 1.05 1.01 2/66 438 /proc/meminfo: memFree=1706584/2055920 swapFree=4183764/4192956 [pid=436] ppid=434 vsize=91144 CPUtime=1800.39 /proc/436/stat : 436 (oree) R 434 436 32350 0 -1 4194304 22203 0 0 0 180015 24 0 0 25 0 1 0 238748957 93331456 21523 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/436/statm: 22786 21523 170 317 0 22465 0 Current children cumulated CPU time (s) 1800.39 Current children cumulated vsize (KiB) 91144 Child status: 0 Real time (s): 1800.98 CPU time (s): 1800.47 CPU user time (s): 1800.21 CPU system time (s): 0.25996 CPU usage (%): 99.972 Max. virtual memory (cumulated for all children) (KiB): 91144 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.21 system time used= 0.25996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22219 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= 2580 runsolver used 1.44278 second user time and 3.48547 second system time The end
Begin job on node70 on Tue May 1 04:01:56 UTC 2007 IDJOB= 430147 IDBENCH= 47959 IDSOLVER= 172 FILE ID= node70/430147-1177992116 PBS_JOBID= 4728218 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=17-P1=29-P2=13-P3=37-P4=29-P5=29-P6=11-P7=11-P8=31-P9=17-B.opb COMMAND LINE= oree /tmp/evaluation/430147-1177992116/instance-430147-1177992116.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node70/convwatcher-430147-1177992116 -o ROOT/results/node70/conversion-430147-1177992116 -C 600 -M 1800 /tmp/evaluation/430147-1177992116/substituteSizeProductKeyword /tmp/evaluation/430147-1177992116/instance-430147-1177992116.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-430147-1177992116 -o ROOT/results/node70/solver-430147-1177992116 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430147-1177992116/instance-430147-1177992116.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= d53202099779b6367fc4504546ad6296 RANDOM SEED= 1285379 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node70.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.218 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.218 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: 1793040 kB Buffers: 25012 kB Cached: 165904 kB SwapCached: 2952 kB Active: 21692 kB Inactive: 178664 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1793040 kB SwapTotal: 4192956 kB SwapFree: 4183764 kB Dirty: 1532 kB Writeback: 0 kB Mapped: 15276 kB Slab: 48472 kB Committed_AS: 4261232 kB PageTables: 1396 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 node70 on Tue May 1 04:31:59 UTC 2007