Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.15 | 1800.66 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=6-P0=53-P1=13-P2=23-P3=47-P4=2-B.opb |
MD5SUM | 708c7e8a0dab689362d9aec992b2b233 |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 0.050991 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2 |
Optimality of the best value was proved | YES |
Number of variables | 72 |
Total number of constraints | 9 |
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 | 9 |
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) | 144 |
Sum of products size (including duplicates) | 288 |
Number of different products | 144 |
Sum of products size | 288 |
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=216 #constraints=302 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.19/0.26 c restart after 401 decisions 0.29/0.35 c nbDecision=500 #constraints=725 0.49/0.59 c restart after 801 decisions 0.69/0.79 c nbDecision=1000 #constraints=1139 1.49/1.54 c nbDecision=1500 #constraints=1612 1.59/1.69 c restart after 1601 decisions 2.39/2.47 c nbDecision=2000 #constraints=2036 3.49/3.53 c nbDecision=2500 #constraints=2432 5.79/5.84 c nbDecision=3000 #constraints=2890 7.09/7.18 c restart after 3201 decisions 9.09/9.14 c nbDecision=3500 #constraints=3338 13.49/13.57 c nbDecision=4000 #constraints=3767 19.29/19.38 c nbDecision=4500 #constraints=4238 25.88/25.93 c nbDecision=5000 #constraints=4672 33.38/33.49 c nbDecision=5500 #constraints=5138 42.08/42.11 c nbDecision=6000 #constraints=5570 50.38/50.50 c restart after 6401 decisions 52.58/52.68 c nbDecision=6500 #constraints=5995 67.47/67.53 c nbDecision=7000 #constraints=6408 80.57/80.60 c nbDecision=7500 #constraints=6831 93.26/93.34 c nbDecision=8000 #constraints=7238 107.96/108.00 c nbDecision=8500 #constraints=7670 122.46/122.50 c nbDecision=9000 #constraints=8111 138.26/138.38 c nbDecision=9500 #constraints=8540 159.04/159.18 c nbDecision=10000 #constraints=9010 183.55/183.66 c nbDecision=10500 #constraints=9477 208.33/208.41 c nbDecision=11000 #constraints=9912 235.12/235.25 c nbDecision=11500 #constraints=10365 262.02/262.12 c nbDecision=12000 #constraints=10796 286.81/286.90 c nbDecision=12500 #constraints=11244 306.51/306.67 c restart after 12801 decisions 316.80/316.94 c nbDecision=13000 #constraints=11661 347.39/347.55 c nbDecision=13500 #constraints=12048 381.88/382.02 c nbDecision=14000 #constraints=12476 415.98/416.18 c nbDecision=14500 #constraints=12909 446.86/447.02 c nbDecision=15000 #constraints=13270 485.86/486.09 c nbDecision=15500 #constraints=13725 513.55/513.71 c nbDecision=16000 #constraints=14134 535.34/535.54 c nbDecision=16500 #constraints=14518 550.54/550.72 c nbDecision=17000 #constraints=14948 571.53/571.73 c nbDecision=17500 #constraints=15355 586.62/586.85 c nbDecision=18000 #constraints=15824 603.02/603.23 c nbDecision=18500 #constraints=16271 621.61/621.88 c nbDecision=19000 #constraints=16716 645.81/646.01 c nbDecision=19500 #constraints=17173 667.30/667.55 c nbDecision=20000 #constraints=17602 692.10/692.35 c nbDecision=20500 #constraints=18052 714.79/715.03 c nbDecision=21000 #constraints=18490 738.89/739.19 c nbDecision=21500 #constraints=18930 765.47/765.78 c nbDecision=22000 #constraints=19373 796.27/796.54 c nbDecision=22500 #constraints=19786 824.46/824.71 c nbDecision=23000 #constraints=20226 857.35/857.69 c nbDecision=23500 #constraints=20664 896.25/896.50 c nbDecision=24000 #constraints=21137 931.93/932.27 c nbDecision=24500 #constraints=21580 962.32/962.67 c nbDecision=25000 #constraints=22005 999.11/999.45 c nbDecision=25500 #constraints=22451 1007.70/1008.01 c restart after 25601 decisions 1039.00/1039.33 c nbDecision=26000 #constraints=22897 1081.49/1081.84 c nbDecision=26500 #constraints=23373 1127.38/1127.78 c nbDecision=27000 #constraints=23822 1165.86/1166.22 c nbDecision=27500 #constraints=24220 1211.95/1212.39 c nbDecision=28000 #constraints=24672 1257.04/1257.44 c nbDecision=28500 #constraints=25101 1311.92/1312.36 c nbDecision=29000 #constraints=25562 1372.01/1372.49 c nbDecision=29500 #constraints=26017 1434.89/1435.38 c nbDecision=30000 #constraints=26508 1491.78/1492.21 c nbDecision=30500 #constraints=26979 1551.76/1552.25 c nbDecision=31000 #constraints=27453 1590.24/1590.78 c nbDecision=31500 #constraints=27900 1626.43/1626.97 c nbDecision=32000 #constraints=28349 1668.82/1669.39 c nbDecision=32500 #constraints=28803 1722.61/1723.18 c nbDecision=33000 #constraints=29240 1785.39/1785.90 c nbDecision=33500 #constraints=29716 1800.10/1800.60 Received signal 15 1800.10/1800.63 1800.10/1800.63 s UNKNOWN 1800.10/1800.63 1800.10/1800.63 c user time= 1799.79 s 1800.10/1800.63 c system time= 0.341948 s 1800.10/1800.63 c wall clock time=1800.64
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/430595-1177996767/instance-430595-1177996767.opb mv /tmp/evaluation/430595-1177996767/instance-430595-1177996767.opb.tmp /tmp/evaluation/430595-1177996767/instance-430595-1177996767.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node2/watcher-430595-1177996767 -o ROOT/results/node2/solver-430595-1177996767 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430595-1177996767/instance-430595-1177996767.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.91 0.95 0.98 3/77 32411 /proc/meminfo: memFree=1826480/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=1600 CPUtime=0 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 204 0 0 0 0 0 0 0 18 0 1 0 275714548 1638400 187 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134594896 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 400 187 139 317 0 79 0 [startup+0.0903461 s] /proc/loadavg: 0.91 0.95 0.98 3/77 32411 /proc/meminfo: memFree=1826480/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=1864 CPUtime=0.08 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 275 0 0 0 8 0 0 0 18 0 1 0 275714548 1908736 258 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 466 258 139 317 0 145 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1864 [startup+0.101347 s] /proc/loadavg: 0.91 0.95 0.98 3/77 32411 /proc/meminfo: memFree=1826480/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=1864 CPUtime=0.09 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 281 0 0 0 9 0 0 0 18 0 1 0 275714548 1908736 264 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 466 264 139 317 0 145 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1864 [startup+0.301368 s] /proc/loadavg: 0.91 0.95 0.98 3/77 32411 /proc/meminfo: memFree=1826480/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=2392 CPUtime=0.29 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 430 0 0 0 29 0 0 0 19 0 1 0 275714548 2449408 413 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710946 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 598 414 139 317 0 277 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2392 [startup+0.701409 s] /proc/loadavg: 0.91 0.95 0.98 3/77 32411 /proc/meminfo: memFree=1826480/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=3308 CPUtime=0.69 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 642 0 0 0 69 0 0 0 22 0 1 0 275714548 3387392 625 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 827 625 139 317 0 506 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3308 [startup+1.50149 s] /proc/loadavg: 0.91 0.95 0.98 2/78 32412 /proc/meminfo: memFree=1823848/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=4508 CPUtime=1.49 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 985 0 0 0 149 0 0 0 25 0 1 0 275714548 4616192 968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278915 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 1127 968 170 317 0 806 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4508 [startup+3.10166 s] /proc/loadavg: 0.91 0.95 0.98 2/78 32412 /proc/meminfo: memFree=1822376/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=6220 CPUtime=3.09 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 1402 0 0 0 308 1 0 0 25 0 1 0 275714548 6369280 1385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 1555 1385 170 317 0 1234 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6220 [startup+6.30199 s] /proc/loadavg: 0.92 0.95 0.98 2/78 32412 /proc/meminfo: memFree=1820136/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=8064 CPUtime=6.29 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 1839 0 0 0 628 1 0 0 25 0 1 0 275714548 8257536 1822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 2016 1822 170 317 0 1695 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8064 [startup+12.7017 s] /proc/loadavg: 0.93 0.95 0.98 2/78 32412 /proc/meminfo: memFree=1817960/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=9924 CPUtime=12.69 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 2280 0 0 0 1267 2 0 0 25 0 1 0 275714548 10162176 2263 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715712 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 2481 2263 170 317 0 2160 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9924 [startup+25.502 s] /proc/loadavg: 0.94 0.96 0.98 2/78 32412 /proc/meminfo: memFree=1815464/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=12396 CPUtime=25.49 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 2886 0 0 0 2546 3 0 0 25 0 1 0 275714548 12693504 2869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 3099 2869 170 317 0 2778 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 12396 [startup+51.1016 s] /proc/loadavg: 0.96 0.96 0.98 2/78 32412 /proc/meminfo: memFree=1812392/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=15512 CPUtime=51.08 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 3648 0 0 0 5104 4 0 0 25 0 1 0 275714548 15884288 3631 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 3878 3631 170 317 0 3557 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 15512 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.98 2/78 32412 /proc/meminfo: memFree=1808168/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=20036 CPUtime=102.27 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 4676 0 0 0 10221 6 0 0 25 0 1 0 275714548 20516864 4659 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 5009 4659 170 317 0 4688 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 20036 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32412 /proc/meminfo: memFree=1804456/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=24084 CPUtime=162.24 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 5671 0 0 0 16217 7 0 0 25 0 1 0 275714548 24662016 5597 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 6021 5597 170 317 0 5700 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 24084 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32412 /proc/meminfo: memFree=1801768/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=26648 CPUtime=222.23 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 6329 0 0 0 22215 8 0 0 25 0 1 0 275714548 27287552 6255 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 6662 6255 170 317 0 6341 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 26648 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32412 /proc/meminfo: memFree=1799208/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=29092 CPUtime=282.21 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 6964 0 0 0 28212 9 0 0 25 0 1 0 275714548 29790208 6890 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 7273 6890 170 317 0 6952 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 29092 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32412 /proc/meminfo: memFree=1796968/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=31412 CPUtime=342.19 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 7522 0 0 0 34209 10 0 0 25 0 1 0 275714548 32165888 7448 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 7853 7448 170 317 0 7532 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 31412 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32412 /proc/meminfo: memFree=1795048/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=33528 CPUtime=402.17 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 7989 0 0 0 40206 11 0 0 25 0 1 0 275714548 34332672 7915 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 8382 7915 170 317 0 8061 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 33528 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32412 /proc/meminfo: memFree=1793192/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=35252 CPUtime=462.17 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 8462 0 0 0 46204 13 0 0 25 0 1 0 275714548 36098048 8388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 8813 8388 170 317 0 8492 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 35252 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32412 /proc/meminfo: memFree=1791016/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=37512 CPUtime=522.15 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 9015 0 0 0 52201 14 0 0 25 0 1 0 275714548 38412288 8941 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 9378 8941 170 317 0 9057 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 37512 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32412 /proc/meminfo: memFree=1786984/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=42076 CPUtime=582.12 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 10024 0 0 0 58197 15 0 0 25 0 1 0 275714548 43085824 9950 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 10519 9950 170 317 0 10198 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 42076 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32412 /proc/meminfo: memFree=1783208/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=46220 CPUtime=642.12 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 11053 0 0 0 64195 17 0 0 25 0 1 0 275714548 47329280 10866 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 11555 10866 170 317 0 11234 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 46220 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32412 /proc/meminfo: memFree=1775912/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=54156 CPUtime=822.06 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 12906 0 0 0 82185 21 0 0 25 0 1 0 275714548 55455744 12719 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 13539 12719 170 317 0 13218 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 54156 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32412 /proc/meminfo: memFree=1773992/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=55936 CPUtime=882.04 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 13377 0 0 0 88182 22 0 0 25 0 1 0 275714548 57278464 13190 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 13984 13190 170 317 0 13663 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 55936 [startup+942.301 s] /proc/loadavg: 1.06 0.99 0.99 2/78 32414 /proc/meminfo: memFree=1772072/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=57776 CPUtime=942.03 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 13855 0 0 0 94180 23 0 0 25 0 1 0 275714548 59162624 13668 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 14444 13668 170 317 0 14123 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 57776 [startup+1002.3 s] /proc/loadavg: 1.15 1.02 1.00 2/78 32414 /proc/meminfo: memFree=1770344/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=59292 CPUtime=1002.01 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 14281 0 0 0 100178 23 0 0 25 0 1 0 275714548 60715008 14094 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 14823 14094 170 317 0 14502 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 59292 [startup+1062.3 s] /proc/loadavg: 1.11 1.03 1.00 2/78 32414 /proc/meminfo: memFree=1768808/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=61272 CPUtime=1062 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 14673 0 0 0 106175 25 0 0 25 0 1 0 275714548 62742528 14486 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 15318 14486 170 317 0 14997 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 61272 [startup+1122.3 s] /proc/loadavg: 1.09 1.04 1.00 2/78 32414 /proc/meminfo: memFree=1767336/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=62580 CPUtime=1121.97 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 15028 0 0 0 112172 25 0 0 25 0 1 0 275714548 64081920 14841 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 15645 14841 170 317 0 15324 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 62580 [startup+1182.3 s] /proc/loadavg: 1.13 1.06 1.01 2/78 32414 /proc/meminfo: memFree=1765992/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=64080 CPUtime=1181.96 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 15380 0 0 0 118170 26 0 0 25 0 1 0 275714548 65617920 15193 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 16020 15193 170 317 0 15699 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 64080 [startup+1242.3 s] /proc/loadavg: 1.09 1.06 1.01 2/78 32414 /proc/meminfo: memFree=1764456/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=65676 CPUtime=1241.95 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 15753 0 0 0 124168 27 0 0 25 0 1 0 275714548 67252224 15566 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 16419 15566 170 317 0 16098 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 65676 [startup+1302.3 s] /proc/loadavg: 1.03 1.05 1.00 2/78 32414 /proc/meminfo: memFree=1763176/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=67008 CPUtime=1301.93 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 16063 0 0 0 130166 27 0 0 25 0 1 0 275714548 68616192 15876 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 16752 15876 170 317 0 16431 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 67008 [startup+1362.3 s] /proc/loadavg: 1.01 1.03 1.00 2/78 32414 /proc/meminfo: memFree=1762024/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=68244 CPUtime=1361.91 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 16342 0 0 0 136163 28 0 0 25 0 1 0 275714548 69881856 16155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 17061 16155 170 317 0 16740 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 68244 [startup+1422.31 s] /proc/loadavg: 1.00 1.03 1.00 2/78 32414 /proc/meminfo: memFree=1760808/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=69280 CPUtime=1421.9 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 16634 0 0 0 142161 29 0 0 25 0 1 0 275714548 70942720 16447 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 17320 16447 170 317 0 16999 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 69280 [startup+1482.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 32414 /proc/meminfo: memFree=1759656/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=70772 CPUtime=1481.88 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 16917 0 0 0 148158 30 0 0 25 0 1 0 275714548 72470528 16730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 17693 16730 170 317 0 17372 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 70772 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 1.00 3/78 32414 /proc/meminfo: memFree=1758504/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=71820 CPUtime=1541.86 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 17212 0 0 0 154155 31 0 0 25 0 1 0 275714548 73543680 17025 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711009 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 17955 17025 170 317 0 17634 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 71820 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 32414 /proc/meminfo: memFree=1757096/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=73328 CPUtime=1601.84 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 17576 0 0 0 160153 31 0 0 25 0 1 0 275714548 75087872 17389 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 18332 17389 170 317 0 18011 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 73328 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32414 /proc/meminfo: memFree=1755304/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=74952 CPUtime=1661.82 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 18001 0 0 0 166150 32 0 0 25 0 1 0 275714548 76750848 17814 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 18738 17814 170 317 0 18417 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 74952 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32414 /proc/meminfo: memFree=1754216/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=76424 CPUtime=1721.81 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 18290 0 0 0 172148 33 0 0 25 0 1 0 275714548 78258176 18103 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 19106 18103 170 317 0 18785 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 76424 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32414 /proc/meminfo: memFree=1753064/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=77648 CPUtime=1781.8 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 18566 0 0 0 178146 34 0 0 25 0 1 0 275714548 79511552 18379 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 19412 18379 170 317 0 19091 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 77648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32414 /proc/meminfo: memFree=1752744/2055920 swapFree=4148836/4192956 [pid=32411] ppid=32409 vsize=77912 CPUtime=1800.1 /proc/32411/stat : 32411 (oree) R 32409 32411 31962 0 -1 4194304 18641 0 0 0 179976 34 0 0 25 0 1 0 275714548 79781888 18454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32411/statm: 19478 18454 170 317 0 19157 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 77912 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.66 CPU time (s): 1800.15 CPU user time (s): 1799.8 CPU system time (s): 0.355945 CPU usage (%): 99.9719 Max. virtual memory (cumulated for all children) (KiB): 77912 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.8 system time used= 0.355945 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18657 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= 1558 runsolver used 1.40479 second user time and 4.03739 second system time The end
Begin job on node2 on Tue May 1 05:19:28 UTC 2007 IDJOB= 430595 IDBENCH= 47991 IDSOLVER= 172 FILE ID= node2/430595-1177996767 PBS_JOBID= 4728254 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=6-P0=53-P1=13-P2=23-P3=47-P4=2-B.opb COMMAND LINE= oree /tmp/evaluation/430595-1177996767/instance-430595-1177996767.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node2/convwatcher-430595-1177996767 -o ROOT/results/node2/conversion-430595-1177996767 -C 600 -M 1800 /tmp/evaluation/430595-1177996767/substituteSizeProductKeyword /tmp/evaluation/430595-1177996767/instance-430595-1177996767.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-430595-1177996767 -o ROOT/results/node2/solver-430595-1177996767 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430595-1177996767/instance-430595-1177996767.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 708c7e8a0dab689362d9aec992b2b233 RANDOM SEED= 520694418 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node2.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1826952 kB Buffers: 36268 kB Cached: 101828 kB SwapCached: 12320 kB Active: 92972 kB Inactive: 68640 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1826952 kB SwapTotal: 4192956 kB SwapFree: 4148836 kB Dirty: 1340 kB Writeback: 0 kB Mapped: 30532 kB Slab: 52816 kB Committed_AS: 8431400 kB PageTables: 1864 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 node2 on Tue May 1 05:49:30 UTC 2007