Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.41 | 1801.13 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=17-P1=11-P2=61-P3=5-P4=53-P5=7-P6=37-P7=7-B.opb |
MD5SUM | 4c4368f6ede6fe3469b61db6ee1d3ae2 |
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.089986 |
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 | 126 |
Total number of constraints | 15 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 15 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 6 |
Biggest coefficient in the objective function | 32 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 63 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 2048 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 8064 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 252 |
Sum of products size (including duplicates) | 504 |
Number of different products | 252 |
Sum of products size | 504 |
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=378 #constraints=527 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.20/0.26 c restart after 401 decisions 0.29/0.31 c nbDecision=500 #constraints=939 0.49/0.53 c restart after 801 decisions 0.59/0.69 c nbDecision=1000 #constraints=1382 0.99/1.09 c nbDecision=1500 #constraints=1833 1.09/1.17 c restart after 1601 decisions 1.58/1.65 c nbDecision=2000 #constraints=2274 2.20/2.28 c nbDecision=2500 #constraints=2726 3.29/3.36 c nbDecision=3000 #constraints=3168 3.99/4.05 c restart after 3201 decisions 4.39/4.50 c nbDecision=3500 #constraints=3611 6.78/6.84 c nbDecision=4000 #constraints=4069 10.29/10.37 c nbDecision=4500 #constraints=4536 15.58/15.66 c nbDecision=5000 #constraints=5004 21.58/21.66 c nbDecision=5500 #constraints=5463 28.88/28.93 c nbDecision=6000 #constraints=5922 37.08/37.17 c restart after 6401 decisions 37.88/37.96 c nbDecision=6500 #constraints=6357 48.97/49.04 c nbDecision=7000 #constraints=6844 62.87/62.90 c nbDecision=7500 #constraints=7289 78.07/78.17 c nbDecision=8000 #constraints=7726 96.16/96.26 c nbDecision=8500 #constraints=8174 114.55/114.69 c nbDecision=9000 #constraints=8600 128.95/129.06 c nbDecision=9500 #constraints=9054 151.54/151.68 c nbDecision=10000 #constraints=9543 176.13/176.27 c nbDecision=10500 #constraints=10024 199.52/199.64 c nbDecision=11000 #constraints=10489 221.62/221.77 c nbDecision=11500 #constraints=10933 247.11/247.25 c nbDecision=12000 #constraints=11417 279.10/279.20 c nbDecision=12500 #constraints=11897 297.99/298.17 c restart after 12801 decisions 304.99/305.15 c nbDecision=13000 #constraints=12301 333.18/333.39 c nbDecision=13500 #constraints=12779 369.06/369.28 c nbDecision=14000 #constraints=13248 402.73/402.91 c nbDecision=14500 #constraints=13722 439.65/439.99 c nbDecision=15000 #constraints=14205 482.02/482.38 c nbDecision=15500 #constraints=14690 525.91/526.26 c nbDecision=16000 #constraints=15142 570.90/571.27 c nbDecision=16500 #constraints=15621 616.67/617.06 c nbDecision=17000 #constraints=16084 657.86/658.22 c nbDecision=17500 #constraints=16546 704.76/705.11 c nbDecision=18000 #constraints=17020 754.83/755.27 c nbDecision=18500 #constraints=17505 810.71/811.14 c nbDecision=19000 #constraints=17974 867.59/868.08 c nbDecision=19500 #constraints=18440 922.97/923.42 c nbDecision=20000 #constraints=18894 962.36/962.85 c nbDecision=20500 #constraints=19295 1021.95/1022.41 c nbDecision=21000 #constraints=19774 1078.93/1079.48 c nbDecision=21500 #constraints=20258 1142.10/1142.60 c nbDecision=22000 #constraints=20737 1212.67/1213.27 c nbDecision=22500 #constraints=21219 1244.57/1245.15 c nbDecision=23000 #constraints=21702 1294.25/1294.83 c nbDecision=23500 #constraints=22172 1335.63/1336.26 c nbDecision=24000 #constraints=22649 1352.23/1352.89 c nbDecision=24500 #constraints=23117 1376.73/1377.36 c nbDecision=25000 #constraints=23555 1398.51/1399.13 c nbDecision=25500 #constraints=24033 1402.11/1402.71 c restart after 25601 decisions 1416.31/1416.94 c nbDecision=26000 #constraints=24480 1437.00/1437.66 c nbDecision=26500 #constraints=24945 1459.59/1460.21 c nbDecision=27000 #constraints=25419 1482.89/1483.53 c nbDecision=27500 #constraints=25870 1512.68/1513.30 c nbDecision=28000 #constraints=26362 1546.46/1547.18 c nbDecision=28500 #constraints=26827 1571.56/1572.24 c nbDecision=29000 #constraints=27289 1606.04/1606.77 c nbDecision=29500 #constraints=27732 1640.54/1641.26 c nbDecision=30000 #constraints=28156 1674.72/1675.43 c nbDecision=30500 #constraints=28643 1712.21/1712.94 c nbDecision=31000 #constraints=29127 1752.40/1753.18 c nbDecision=31500 #constraints=29589 1788.78/1789.51 c nbDecision=32000 #constraints=30063 1800.09/1800.80 Received signal 15 1800.38/1801.10 1800.38/1801.10 s UNKNOWN 1800.38/1801.10 1800.38/1801.10 c user time= 1800.09 s 1800.38/1801.10 c system time= 0.296954 s 1800.38/1801.10 c wall clock time=1801.1
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/430791-1177998862/instance-430791-1177998862.opb mv /tmp/evaluation/430791-1177998862/instance-430791-1177998862.opb.tmp /tmp/evaluation/430791-1177998862/instance-430791-1177998862.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node46/watcher-430791-1177998862 -o ROOT/results/node46/solver-430791-1177998862 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430791-1177998862/instance-430791-1177998862.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.34 1.13 1.03 3/78 22903 /proc/meminfo: memFree=1825784/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=1468 CPUtime=0 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 154569229 1503232 177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 400 178 132 317 0 79 0 [startup+0.103938 s] /proc/loadavg: 1.34 1.13 1.03 3/78 22903 /proc/meminfo: memFree=1825784/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=1868 CPUtime=0.1 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 297 0 0 0 10 0 0 0 18 0 1 0 154569229 1912832 280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 467 280 139 317 0 146 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1868 [startup+0.202955 s] /proc/loadavg: 1.34 1.13 1.03 3/78 22903 /proc/meminfo: memFree=1825784/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=2264 CPUtime=0.2 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 369 0 0 0 20 0 0 0 18 0 1 0 154569229 2318336 352 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 566 352 139 317 0 245 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 2264 [startup+0.301977 s] /proc/loadavg: 1.34 1.13 1.03 3/78 22903 /proc/meminfo: memFree=1825784/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=2528 CPUtime=0.29 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 448 0 0 0 29 0 0 0 19 0 1 0 154569229 2588672 431 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 632 431 139 317 0 311 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2528 [startup+0.701046 s] /proc/loadavg: 1.34 1.13 1.03 3/78 22903 /proc/meminfo: memFree=1825784/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=3568 CPUtime=0.69 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 720 0 0 0 69 0 0 0 22 0 1 0 154569229 3653632 703 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284237 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 892 703 139 317 0 571 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3568 [startup+1.5012 s] /proc/loadavg: 1.34 1.13 1.03 2/79 22904 /proc/meminfo: memFree=1822320/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=5440 CPUtime=1.48 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 1186 0 0 0 148 0 0 0 25 0 1 0 154569229 5570560 1169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 1360 1169 170 317 0 1039 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 5440 [startup+3.10149 s] /proc/loadavg: 1.34 1.13 1.03 2/79 22904 /proc/meminfo: memFree=1820336/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=7664 CPUtime=3.09 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 1748 0 0 0 308 1 0 0 25 0 1 0 154569229 7847936 1731 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593475 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 1916 1731 170 317 0 1595 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7664 [startup+6.30108 s] /proc/loadavg: 1.31 1.12 1.03 2/79 22904 /proc/meminfo: memFree=1817584/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=9644 CPUtime=6.29 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 2244 0 0 0 628 1 0 0 25 0 1 0 154569229 9875456 2227 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 2411 2227 170 317 0 2090 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9644 [startup+12.7013 s] /proc/loadavg: 1.29 1.12 1.03 2/79 22904 /proc/meminfo: memFree=1815536/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=11620 CPUtime=12.68 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 2697 0 0 0 1267 1 0 0 25 0 1 0 154569229 11898880 2680 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716163 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 2905 2680 170 317 0 2584 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 11620 [startup+25.5026 s] /proc/loadavg: 1.22 1.11 1.02 2/79 22904 /proc/meminfo: memFree=1813104/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=14008 CPUtime=25.48 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 3290 0 0 0 2546 2 0 0 25 0 1 0 154569229 14344192 3273 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 3502 3274 170 317 0 3181 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14008 [startup+51.1024 s] /proc/loadavg: 1.14 1.10 1.02 2/79 22904 /proc/meminfo: memFree=1810224/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=17004 CPUtime=51.07 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 3999 0 0 0 5104 3 0 0 25 0 1 0 154569229 17412096 3982 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 4251 3982 170 317 0 3930 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 17004 [startup+102.302 s] /proc/loadavg: 1.06 1.09 1.02 2/79 22904 /proc/meminfo: memFree=1806704/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=20672 CPUtime=102.26 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 4887 0 0 0 10222 4 0 0 25 0 1 0 154569229 21168128 4813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 5168 4813 170 317 0 4847 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 20672 [startup+162.302 s] /proc/loadavg: 1.02 1.07 1.01 2/79 22904 /proc/meminfo: memFree=1803568/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=23972 CPUtime=162.23 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 5699 0 0 0 16218 5 0 0 25 0 1 0 154569229 24547328 5625 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 5993 5625 170 317 0 5672 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 23972 [startup+222.305 s] /proc/loadavg: 1.01 1.05 1.01 2/79 22904 /proc/meminfo: memFree=1800752/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=26892 CPUtime=222.22 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 6391 0 0 0 22216 6 0 0 25 0 1 0 154569229 27537408 6317 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 6723 6317 170 317 0 6402 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 26892 [startup+282.301 s] /proc/loadavg: 1.00 1.04 1.00 2/79 22904 /proc/meminfo: memFree=1798704/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=29020 CPUtime=282.19 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 6914 0 0 0 28212 7 0 0 25 0 1 0 154569229 29716480 6840 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 7255 6840 170 317 0 6934 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 29020 [startup+342.301 s] /proc/loadavg: 1.00 1.03 1.00 2/79 22904 /proc/meminfo: memFree=1796400/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=31292 CPUtime=342.18 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 7478 0 0 0 34209 9 0 0 25 0 1 0 154569229 32043008 7404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 7823 7404 170 317 0 7502 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 31292 [startup+402.301 s] /proc/loadavg: 1.00 1.02 1.00 2/85 22930 /proc/meminfo: memFree=1793408/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=33252 CPUtime=402.13 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 7930 0 0 0 40203 10 0 0 25 0 1 0 154569229 34050048 7856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 8313 7856 170 317 0 7992 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 33252 [startup+462.303 s] /proc/loadavg: 1.00 1.02 1.00 2/79 23102 /proc/meminfo: memFree=1792232/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=35444 CPUtime=462.04 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 8439 0 0 0 46193 11 0 0 25 0 1 0 154569229 36294656 8365 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 8861 8365 170 317 0 8540 0 Current children cumulated CPU time (s) 462.04 Current children cumulated vsize (KiB) 35444 [startup+522.302 s] /proc/loadavg: 1.00 1.01 1.00 2/79 23102 /proc/meminfo: memFree=1790696/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=37048 CPUtime=522.01 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 8815 0 0 0 52190 11 0 0 25 0 1 0 154569229 37937152 8741 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 9262 8741 170 317 0 8941 0 Current children cumulated CPU time (s) 522.01 Current children cumulated vsize (KiB) 37048 [startup+582.302 s] /proc/loadavg: 1.00 1.01 1.00 2/79 23102 /proc/meminfo: memFree=1789352/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=38216 CPUtime=581.99 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 9157 0 0 0 58187 12 0 0 25 0 1 0 154569229 39133184 9083 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 9554 9083 170 317 0 9233 0 Current children cumulated CPU time (s) 581.99 Current children cumulated vsize (KiB) 38216 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 23102 /proc/meminfo: memFree=1787880/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=39972 CPUtime=641.97 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 9517 0 0 0 64184 13 0 0 25 0 1 0 154569229 40931328 9443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 9993 9443 170 317 0 9672 0 Current children cumulated CPU time (s) 641.97 Current children cumulated vsize (KiB) 39972 ################ # More data... # ################ [startup+882.305 s] /proc/loadavg: 1.00 1.00 1.00 2/79 23102 /proc/meminfo: memFree=1782832/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=45888 CPUtime=881.9 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 10901 0 0 0 88174 16 0 0 25 0 1 0 154569229 46989312 10714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 11472 10714 170 317 0 11151 0 Current children cumulated CPU time (s) 881.9 Current children cumulated vsize (KiB) 45888 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 23102 /proc/meminfo: memFree=1781680/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=46924 CPUtime=941.86 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 11190 0 0 0 94170 16 0 0 25 0 1 0 154569229 48050176 11003 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 11731 11003 170 317 0 11410 0 Current children cumulated CPU time (s) 941.86 Current children cumulated vsize (KiB) 46924 [startup+1002.3 s] /proc/loadavg: 1.04 1.01 1.00 2/79 23102 /proc/meminfo: memFree=1780464/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=48236 CPUtime=1001.84 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 11514 0 0 0 100167 17 0 0 25 0 1 0 154569229 49393664 11327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 12059 11327 170 317 0 11738 0 Current children cumulated CPU time (s) 1001.84 Current children cumulated vsize (KiB) 48236 [startup+1062.3 s] /proc/loadavg: 1.06 1.02 1.00 2/79 23102 /proc/meminfo: memFree=1779312/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=49416 CPUtime=1061.83 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 11790 0 0 0 106165 18 0 0 25 0 1 0 154569229 50601984 11603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 12354 11603 170 317 0 12033 0 Current children cumulated CPU time (s) 1061.83 Current children cumulated vsize (KiB) 49416 [startup+1122.3 s] /proc/loadavg: 1.06 1.03 1.00 2/79 23102 /proc/meminfo: memFree=1778160/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=50724 CPUtime=1121.8 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 12116 0 0 0 112162 18 0 0 25 0 1 0 154569229 51941376 11896 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 12681 11896 170 317 0 12360 0 Current children cumulated CPU time (s) 1121.8 Current children cumulated vsize (KiB) 50724 [startup+1182.3 s] /proc/loadavg: 1.05 1.04 1.00 2/79 23102 /proc/meminfo: memFree=1777264/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=51708 CPUtime=1181.79 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 12341 0 0 0 118160 19 0 0 25 0 1 0 154569229 52948992 12121 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 12927 12121 170 317 0 12606 0 Current children cumulated CPU time (s) 1181.79 Current children cumulated vsize (KiB) 51708 [startup+1242.3 s] /proc/loadavg: 1.13 1.06 1.01 2/79 23102 /proc/meminfo: memFree=1775728/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=53212 CPUtime=1241.77 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 12701 0 0 0 124157 20 0 0 25 0 1 0 154569229 54489088 12481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 13303 12481 170 317 0 12982 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 53212 [startup+1302.3 s] /proc/loadavg: 1.19 1.09 1.02 2/79 23102 /proc/meminfo: memFree=1774192/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=54656 CPUtime=1301.74 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 13072 0 0 0 130154 20 0 0 25 0 1 0 154569229 55967744 12819 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 13664 12819 170 317 0 13343 0 Current children cumulated CPU time (s) 1301.74 Current children cumulated vsize (KiB) 54656 [startup+1362.3 s] /proc/loadavg: 1.07 1.07 1.01 2/79 23102 /proc/meminfo: memFree=1771824/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=57100 CPUtime=1361.73 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 13698 0 0 0 136151 22 0 0 25 0 1 0 154569229 58470400 13445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 14275 13445 170 317 0 13954 0 Current children cumulated CPU time (s) 1361.73 Current children cumulated vsize (KiB) 57100 [startup+1422.3 s] /proc/loadavg: 1.02 1.06 1.00 2/79 23102 /proc/meminfo: memFree=1768624/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=60280 CPUtime=1421.71 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 14484 0 0 0 142149 22 0 0 25 0 1 0 154569229 61726720 14231 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 15070 14231 170 317 0 14749 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 60280 [startup+1482.3 s] /proc/loadavg: 1.01 1.04 1.00 2/79 23102 /proc/meminfo: memFree=1765808/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=63240 CPUtime=1481.69 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 15202 0 0 0 148145 24 0 0 25 0 1 0 154569229 64757760 14949 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 15810 14949 170 317 0 15489 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 63240 [startup+1542.31 s] /proc/loadavg: 1.00 1.03 1.00 2/79 23102 /proc/meminfo: memFree=1763504/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=65476 CPUtime=1541.67 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 15763 0 0 0 154142 25 0 0 25 0 1 0 154569229 67047424 15510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 16369 15510 170 317 0 16048 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 65476 [startup+1602.3 s] /proc/loadavg: 1.00 1.02 1.00 2/79 23102 /proc/meminfo: memFree=1761456/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=67676 CPUtime=1601.64 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 16279 0 0 0 160138 26 0 0 25 0 1 0 154569229 69300224 16026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 16919 16026 170 317 0 16598 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 67676 [startup+1662.3 s] /proc/loadavg: 1.00 1.02 1.00 2/79 23102 /proc/meminfo: memFree=1759536/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=69592 CPUtime=1661.62 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 16751 0 0 0 166135 27 0 0 25 0 1 0 154569229 71262208 16498 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716132 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 17398 16498 170 317 0 17077 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 69592 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/79 23102 /proc/meminfo: memFree=1757872/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=71392 CPUtime=1721.6 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 17173 0 0 0 172132 28 0 0 25 0 1 0 154569229 73105408 16920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 17848 16920 170 317 0 17527 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 71392 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.00 2/79 23102 /proc/meminfo: memFree=1755952/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=73016 CPUtime=1781.58 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 17607 0 0 0 178129 29 0 0 25 0 1 0 154569229 74768384 17354 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711195 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 18254 17354 170 317 0 17933 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (KiB) 73016 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/79 23102 /proc/meminfo: memFree=1755568/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=73408 CPUtime=1800.09 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 17715 0 0 0 179980 29 0 0 25 0 1 0 154569229 75169792 17462 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 18352 17462 170 317 0 18031 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 73408 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.1 s] /proc/loadavg: 1.00 1.00 1.00 2/79 23102 /proc/meminfo: memFree=1755568/2055920 swapFree=4159404/4192956 [pid=22903] ppid=22901 vsize=73408 CPUtime=1800.38 /proc/22903/stat : 22903 (oree) R 22901 22903 21416 0 -1 4194304 17717 0 0 0 180009 29 0 0 25 0 1 0 154569229 75169792 17464 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22903/statm: 18352 17464 170 317 0 18031 0 Current children cumulated CPU time (s) 1800.38 Current children cumulated vsize (KiB) 73408 Child status: 0 Real time (s): 1801.13 CPU time (s): 1800.41 CPU user time (s): 1800.1 CPU system time (s): 0.307953 CPU usage (%): 99.9599 Max. virtual memory (cumulated for all children) (KiB): 73408 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.1 system time used= 0.307953 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17733 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= 28209 runsolver used 1.70574 second user time and 4.83926 second system time The end
Begin job on node46 on Tue May 1 05:54:22 UTC 2007 IDJOB= 430791 IDBENCH= 48005 IDSOLVER= 172 FILE ID= node46/430791-1177998862 PBS_JOBID= 4728209 Free space on /tmp= 66219 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=6-P0=17-P1=11-P2=61-P3=5-P4=53-P5=7-P6=37-P7=7-B.opb COMMAND LINE= oree /tmp/evaluation/430791-1177998862/instance-430791-1177998862.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node46/convwatcher-430791-1177998862 -o ROOT/results/node46/conversion-430791-1177998862 -C 600 -M 1800 /tmp/evaluation/430791-1177998862/substituteSizeProductKeyword /tmp/evaluation/430791-1177998862/instance-430791-1177998862.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node46/watcher-430791-1177998862 -o ROOT/results/node46/solver-430791-1177998862 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430791-1177998862/instance-430791-1177998862.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 4c4368f6ede6fe3469b61db6ee1d3ae2 RANDOM SEED= 647250715 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node46.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.268 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 : 5931.00 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.268 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: 1826128 kB Buffers: 30144 kB Cached: 112540 kB SwapCached: 2768 kB Active: 65600 kB Inactive: 100992 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1826128 kB SwapTotal: 4192956 kB SwapFree: 4159404 kB Dirty: 1328 kB Writeback: 0 kB Mapped: 31596 kB Slab: 48520 kB Committed_AS: 3591112 kB PageTables: 1996 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= 66219 MiB End job on node46 on Tue May 1 06:24:25 UTC 2007