Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.35 | 1800.86 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=89-P1=13-P2=37-P3=97-P4=101-P5=107-P6=37-P7=19-P8=47-P9=127-B.opb |
MD5SUM | b3aade8de77ac68c9aa967132edd1f5e |
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.159975 |
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 | 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 | 7 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 32512 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 441 |
Sum of products size (including duplicates) | 882 |
Number of different products | 441 |
Sum of products size | 882 |
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=630 #constraints=911 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.39/0.42 c restart after 401 decisions 0.49/0.52 c nbDecision=500 #constraints=1340 0.89/0.91 c restart after 801 decisions 1.09/1.15 c nbDecision=1000 #constraints=1785 1.59/1.67 c nbDecision=1500 #constraints=2239 1.69/1.76 c restart after 1601 decisions 2.20/2.27 c nbDecision=2000 #constraints=2665 2.89/2.95 c nbDecision=2500 #constraints=3157 3.79/3.81 c nbDecision=3000 #constraints=3641 4.19/4.23 c restart after 3201 decisions 4.79/4.88 c nbDecision=3500 #constraints=4089 6.09/6.12 c nbDecision=4000 #constraints=4541 7.70/7.78 c nbDecision=4500 #constraints=5010 9.59/9.69 c nbDecision=5000 #constraints=5475 12.79/12.80 c nbDecision=5500 #constraints=5934 16.59/16.66 c nbDecision=6000 #constraints=6413 19.99/20.10 c restart after 6401 decisions 20.39/20.44 c nbDecision=6500 #constraints=6842 22.19/22.24 c nbDecision=7000 #constraints=7332 23.88/23.96 c nbDecision=7500 #constraints=7791 30.58/30.68 c nbDecision=8000 #constraints=8251 38.08/38.15 c nbDecision=8500 #constraints=8726 46.88/46.96 c nbDecision=9000 #constraints=9192 53.98/54.05 c nbDecision=9500 #constraints=9640 66.17/66.20 c nbDecision=10000 #constraints=10119 81.16/81.24 c nbDecision=10500 #constraints=10606 95.17/95.29 c nbDecision=11000 #constraints=11061 110.76/110.83 c nbDecision=11500 #constraints=11505 127.75/127.87 c nbDecision=12000 #constraints=11975 144.55/144.61 c nbDecision=12500 #constraints=12446 159.45/159.53 c restart after 12801 decisions 160.65/160.77 c nbDecision=13000 #constraints=12890 180.05/180.16 c nbDecision=13500 #constraints=13360 205.83/205.90 c nbDecision=14000 #constraints=13855 232.72/232.83 c nbDecision=14500 #constraints=14338 261.51/261.65 c nbDecision=15000 #constraints=14825 293.11/293.21 c nbDecision=15500 #constraints=15288 327.00/327.17 c nbDecision=16000 #constraints=15760 358.69/358.86 c nbDecision=16500 #constraints=16221 401.38/401.56 c nbDecision=17000 #constraints=16706 444.37/444.53 c nbDecision=17500 #constraints=17192 481.46/481.68 c nbDecision=18000 #constraints=17660 523.55/523.79 c nbDecision=18500 #constraints=18148 570.13/570.37 c nbDecision=19000 #constraints=18630 621.01/621.22 c nbDecision=19500 #constraints=19106 673.40/673.69 c nbDecision=20000 #constraints=19583 723.49/723.73 c nbDecision=20500 #constraints=20032 782.07/782.33 c nbDecision=21000 #constraints=20507 843.35/843.69 c nbDecision=21500 #constraints=21000 902.44/902.77 c nbDecision=22000 #constraints=21480 964.53/964.81 c nbDecision=22500 #constraints=21947 1024.41/1024.75 c nbDecision=23000 #constraints=22404 1094.29/1094.64 c nbDecision=23500 #constraints=22876 1177.36/1177.71 c nbDecision=24000 #constraints=23359 1257.63/1258.05 c nbDecision=24500 #constraints=23832 1316.33/1316.79 c nbDecision=25000 #constraints=24292 1391.40/1391.87 c nbDecision=25500 #constraints=24787 1403.79/1404.28 c restart after 25601 decisions 1407.29/1407.78 c nbDecision=26000 #constraints=25233 1490.57/1491.05 c nbDecision=26500 #constraints=25715 1582.35/1582.85 c nbDecision=27000 #constraints=26184 1652.23/1652.76 c nbDecision=27500 #constraints=26615 1719.60/1720.16 c nbDecision=28000 #constraints=27105 1790.48/1791.07 c nbDecision=28500 #constraints=27600 1800.08/1800.60 Received signal 15 1800.28/1800.84 1800.28/1800.84 s UNKNOWN 1800.28/1800.84 1800.28/1800.84 c user time= 1800.04 s 1800.28/1800.84 c system time= 0.296954 s 1800.28/1800.84 c wall clock time=1800.84
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/429237-1177982512/instance-429237-1177982512.opb mv /tmp/evaluation/429237-1177982512/instance-429237-1177982512.opb.tmp /tmp/evaluation/429237-1177982512/instance-429237-1177982512.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node17/watcher-429237-1177982512 -o ROOT/results/node17/solver-429237-1177982512 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/429237-1177982512/instance-429237-1177982512.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.98 0.90 3/77 8652 /proc/meminfo: memFree=1852648/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=1468 CPUtime=0 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 246168758 1503232 170 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 367 170 132 317 0 46 0 [startup+0.105351 s] /proc/loadavg: 0.92 0.98 0.90 3/77 8652 /proc/meminfo: memFree=1852648/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=2040 CPUtime=0.1 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 319 0 0 0 10 0 0 0 18 0 1 0 246168758 2088960 302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 510 302 139 317 0 189 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2040 [startup+0.201361 s] /proc/loadavg: 0.92 0.98 0.90 3/77 8652 /proc/meminfo: memFree=1852648/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=2308 CPUtime=0.19 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 376 0 0 0 19 0 0 0 18 0 1 0 246168758 2363392 359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266195 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 577 359 139 317 0 256 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 2308 [startup+0.301371 s] /proc/loadavg: 0.92 0.98 0.90 3/77 8652 /proc/meminfo: memFree=1852648/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=2436 CPUtime=0.29 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 429 0 0 0 29 0 0 0 19 0 1 0 246168758 2494464 412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 609 412 139 317 0 288 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2436 [startup+0.701413 s] /proc/loadavg: 0.92 0.98 0.90 3/77 8652 /proc/meminfo: memFree=1852648/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=3224 CPUtime=0.69 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 629 0 0 0 69 0 0 0 22 0 1 0 246168758 3301376 612 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 806 612 139 317 0 485 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3224 [startup+1.50149 s] /proc/loadavg: 0.92 0.98 0.90 2/78 8653 /proc/meminfo: memFree=1849952/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=4880 CPUtime=1.5 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 1018 0 0 0 149 1 0 0 25 0 1 0 246168758 4997120 1001 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714696 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 1220 1001 139 317 0 899 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 4880 [startup+3.10166 s] /proc/loadavg: 0.93 0.98 0.90 2/78 8653 /proc/meminfo: memFree=1847520/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=8200 CPUtime=3.09 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 1837 0 0 0 308 1 0 0 25 0 1 0 246168758 8396800 1820 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 2050 1820 139 317 0 1729 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8200 [startup+6.30199 s] /proc/loadavg: 0.93 0.98 0.90 2/78 8653 /proc/meminfo: memFree=1842784/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=11624 CPUtime=6.29 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 2729 0 0 0 628 1 0 0 25 0 1 0 246168758 11902976 2712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 2906 2712 170 317 0 2585 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11624 [startup+12.7016 s] /proc/loadavg: 0.94 0.98 0.91 2/78 8653 /proc/meminfo: memFree=1838776/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=15216 CPUtime=12.69 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 3611 0 0 0 1267 2 0 0 25 0 1 0 246168758 15581184 3594 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 3804 3594 170 317 0 3483 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15216 [startup+25.503 s] /proc/loadavg: 0.95 0.98 0.91 2/78 8653 /proc/meminfo: memFree=1833656/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=20240 CPUtime=25.49 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 4900 0 0 0 2546 3 0 0 25 0 1 0 246168758 20725760 4839 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 5060 4839 170 317 0 4739 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 20240 [startup+51.1026 s] /proc/loadavg: 0.96 0.98 0.91 2/78 8653 /proc/meminfo: memFree=1829624/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=24612 CPUtime=51.08 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 5903 0 0 0 5104 4 0 0 25 0 1 0 246168758 25202688 5842 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 6153 5842 170 317 0 5832 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 24612 [startup+102.303 s] /proc/loadavg: 0.98 0.98 0.91 2/78 8653 /proc/meminfo: memFree=1824568/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=29584 CPUtime=102.27 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 7164 0 0 0 10221 6 0 0 25 0 1 0 246168758 30294016 7103 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 7396 7103 170 317 0 7075 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 29584 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.91 2/78 8653 /proc/meminfo: memFree=1819384/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=35280 CPUtime=162.24 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 8535 0 0 0 16217 7 0 0 25 0 1 0 246168758 36126720 8388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 8820 8388 170 317 0 8499 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 35280 [startup+222.305 s] /proc/loadavg: 0.99 0.98 0.91 2/78 8653 /proc/meminfo: memFree=1816504/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=38540 CPUtime=222.23 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 9222 0 0 0 22215 8 0 0 25 0 1 0 246168758 39464960 9075 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 9635 9075 170 317 0 9314 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 38540 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.91 2/78 8653 /proc/meminfo: memFree=1813880/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=41276 CPUtime=282.21 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 9878 0 0 0 28211 10 0 0 25 0 1 0 246168758 42266624 9731 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 10319 9731 170 317 0 9998 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 41276 [startup+342.303 s] /proc/loadavg: 0.99 0.98 0.91 2/78 8653 /proc/meminfo: memFree=1811256/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=43780 CPUtime=342.19 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 10515 0 0 0 34208 11 0 0 25 0 1 0 246168758 44830720 10368 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 10945 10368 170 317 0 10624 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 43780 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.91 2/78 8653 /proc/meminfo: memFree=1809336/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=45536 CPUtime=402.18 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 10985 0 0 0 40206 12 0 0 25 0 1 0 246168758 46628864 10838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 11384 10838 170 317 0 11063 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 45536 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.91 2/78 8653 /proc/meminfo: memFree=1807544/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=47448 CPUtime=462.17 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 11441 0 0 0 46204 13 0 0 25 0 1 0 246168758 48586752 11294 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 11862 11294 170 317 0 11541 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 47448 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.91 2/78 8653 /proc/meminfo: memFree=1805496/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=49428 CPUtime=522.15 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 11947 0 0 0 52201 14 0 0 25 0 1 0 246168758 50614272 11800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 12357 11800 170 317 0 12036 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 49428 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.91 2/78 8653 /proc/meminfo: memFree=1803832/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=51140 CPUtime=582.13 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 12347 0 0 0 58198 15 0 0 25 0 1 0 246168758 52367360 12200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 12785 12200 170 317 0 12464 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 51140 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.91 2/78 8653 /proc/meminfo: memFree=1802360/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=52532 CPUtime=642.11 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 12701 0 0 0 64195 16 0 0 25 0 1 0 246168758 53792768 12554 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 13133 12554 170 317 0 12812 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 52532 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.91 2/78 8653 /proc/meminfo: memFree=1795448/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=60072 CPUtime=942.02 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 14362 0 0 0 94183 19 0 0 25 0 1 0 246168758 61513728 14215 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 15018 14215 170 317 0 14697 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 60072 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 8653 /proc/meminfo: memFree=1794360/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=61312 CPUtime=1002.01 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 14670 0 0 0 100181 20 0 0 25 0 1 0 246168758 62783488 14523 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 15328 14523 170 317 0 15007 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 61312 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 8653 /proc/meminfo: memFree=1793144/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=62804 CPUtime=1061.99 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 14976 0 0 0 106178 21 0 0 25 0 1 0 246168758 64311296 14829 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 15701 14829 170 317 0 15380 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 62804 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 8655 /proc/meminfo: memFree=1792248/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=63716 CPUtime=1121.98 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 15200 0 0 0 112176 22 0 0 25 0 1 0 246168758 65245184 15053 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 15929 15053 170 317 0 15608 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 63716 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 8655 /proc/meminfo: memFree=1791288/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=64504 CPUtime=1181.95 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 15426 0 0 0 118173 22 0 0 25 0 1 0 246168758 66052096 15279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 16126 15279 170 317 0 15805 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 64504 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 8655 /proc/meminfo: memFree=1790200/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=65836 CPUtime=1241.94 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 15730 0 0 0 124171 23 0 0 25 0 1 0 246168758 67416064 15517 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 16459 15517 170 317 0 16138 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 65836 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 8655 /proc/meminfo: memFree=1788856/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=67276 CPUtime=1301.92 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 16100 0 0 0 130169 23 0 0 25 0 1 0 246168758 68890624 15854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 16819 15854 170 317 0 16498 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 67276 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 8655 /proc/meminfo: memFree=1787832/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=68096 CPUtime=1361.91 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 16330 0 0 0 136167 24 0 0 25 0 1 0 246168758 69730304 16084 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563527 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 17024 16084 170 317 0 16703 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 68096 [startup+1422.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 8655 /proc/meminfo: memFree=1785720/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=70788 CPUtime=1421.89 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 17014 0 0 0 142164 25 0 0 25 0 1 0 246168758 72486912 16598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 17697 16598 170 317 0 17376 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 70788 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 8655 /proc/meminfo: memFree=1784952/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=71572 CPUtime=1481.87 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 17207 0 0 0 148161 26 0 0 25 0 1 0 246168758 73289728 16791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 17893 16791 170 317 0 17572 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 71572 [startup+1542.31 s] /proc/loadavg: 0.99 0.98 0.91 2/78 8655 /proc/meminfo: memFree=1784120/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=72356 CPUtime=1541.86 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 17394 0 0 0 154160 26 0 0 25 0 1 0 246168758 74092544 16978 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 18089 16978 170 317 0 17768 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 72356 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 8655 /proc/meminfo: memFree=1783288/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=73136 CPUtime=1601.84 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 17605 0 0 0 160157 27 0 0 25 0 1 0 246168758 74891264 17189 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563455 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 18284 17189 170 317 0 17963 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 73136 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 8655 /proc/meminfo: memFree=1781944/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=74308 CPUtime=1661.82 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 17929 0 0 0 166154 28 0 0 25 0 1 0 246168758 76091392 17513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 18577 17513 170 317 0 18256 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 74308 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 8655 /proc/meminfo: memFree=1780984/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=75744 CPUtime=1721.8 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 18242 0 0 0 172152 28 0 0 25 0 1 0 246168758 77561856 17760 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604218 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 18936 17760 170 317 0 18615 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 75744 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 8655 /proc/meminfo: memFree=1779832/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=77000 CPUtime=1781.79 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 18539 0 0 0 178150 29 0 0 25 0 1 0 246168758 78848000 18024 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 19250 18024 170 317 0 18929 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 77000 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.91 2/78 8655 /proc/meminfo: memFree=1779384/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=77524 CPUtime=1800.08 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 18680 0 0 0 179979 29 0 0 25 0 1 0 246168758 79384576 18132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 19381 18132 170 317 0 19060 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 77524 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: 0.99 0.98 0.91 2/79 8656 /proc/meminfo: memFree=1779376/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=77524 CPUtime=1800.19 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 18680 0 0 0 179990 29 0 0 25 0 1 0 246168758 79384576 18132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 19381 18132 170 317 0 19060 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 77524 [startup+1800.81 s] /proc/loadavg: 0.99 0.98 0.91 2/79 8656 /proc/meminfo: memFree=1779376/2055920 swapFree=4140032/4192956 [pid=8652] ppid=8650 vsize=77524 CPUtime=1800.28 /proc/8652/stat : 8652 (oree) R 8650 8652 7829 0 -1 4194304 18680 0 0 0 179999 29 0 0 25 0 1 0 246168758 79384576 18132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8652/statm: 19381 18132 170 317 0 19060 0 Current children cumulated CPU time (s) 1800.28 Current children cumulated vsize (KiB) 77524 Child status: 0 Real time (s): 1800.86 CPU time (s): 1800.35 CPU user time (s): 1800.04 CPU system time (s): 0.310952 CPU usage (%): 99.9717 Max. virtual memory (cumulated for all children) (KiB): 77524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.04 system time used= 0.310952 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18696 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= 3134 runsolver used 1.41978 second user time and 4.08538 second system time The end
Begin job on node17 on Tue May 1 01:21:52 UTC 2007 IDJOB= 429237 IDBENCH= 47894 IDSOLVER= 172 FILE ID= node17/429237-1177982512 PBS_JOBID= 4728022 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=7-P0=89-P1=13-P2=37-P3=97-P4=101-P5=107-P6=37-P7=19-P8=47-P9=127-B.opb COMMAND LINE= oree /tmp/evaluation/429237-1177982512/instance-429237-1177982512.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node17/convwatcher-429237-1177982512 -o ROOT/results/node17/conversion-429237-1177982512 -C 600 -M 1800 /tmp/evaluation/429237-1177982512/substituteSizeProductKeyword /tmp/evaluation/429237-1177982512/instance-429237-1177982512.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-429237-1177982512 -o ROOT/results/node17/solver-429237-1177982512 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/429237-1177982512/instance-429237-1177982512.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= b3aade8de77ac68c9aa967132edd1f5e RANDOM SEED= 577466927 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node17.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.240 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.240 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: 1853120 kB Buffers: 23728 kB Cached: 97348 kB SwapCached: 15196 kB Active: 102572 kB Inactive: 41588 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1853120 kB SwapTotal: 4192956 kB SwapFree: 4140032 kB Dirty: 1396 kB Writeback: 0 kB Mapped: 30000 kB Slab: 44212 kB Committed_AS: 7392024 kB PageTables: 1796 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 node17 on Tue May 1 01:51:55 UTC 2007