Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.32 | 1800.78 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=149-P1=79-P2=59-P3=73-P4=211-B.opb |
MD5SUM | 74c00e33b4232d137ad873ae982593f6 |
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.097984 |
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 | 96 |
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 | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 256 |
Sum of products size (including duplicates) | 512 |
Number of different products | 256 |
Sum of products size | 512 |
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=352 #constraints=526 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.59/0.70 c restart after 401 decisions 0.79/0.88 c nbDecision=500 #constraints=976 1.39/1.44 c restart after 801 decisions 1.89/1.92 c nbDecision=1000 #constraints=1425 2.59/2.69 c nbDecision=1500 #constraints=1893 2.89/2.99 c restart after 1601 decisions 3.89/3.99 c nbDecision=2000 #constraints=2338 6.09/6.18 c nbDecision=2500 #constraints=2821 9.69/9.73 c nbDecision=3000 #constraints=3299 11.58/11.64 c restart after 3201 decisions 14.09/14.11 c nbDecision=3500 #constraints=3757 17.89/17.99 c nbDecision=4000 #constraints=4221 21.88/21.95 c nbDecision=4500 #constraints=4678 28.58/28.62 c nbDecision=5000 #constraints=5161 37.28/37.32 c nbDecision=5500 #constraints=5639 46.28/46.32 c nbDecision=6000 #constraints=6096 53.88/53.98 c restart after 6401 decisions 54.47/54.52 c nbDecision=6500 #constraints=6543 72.47/72.53 c nbDecision=7000 #constraints=7042 90.36/90.45 c nbDecision=7500 #constraints=7540 109.76/109.90 c nbDecision=8000 #constraints=8041 128.96/129.07 c nbDecision=8500 #constraints=8520 150.55/150.64 c nbDecision=9000 #constraints=9011 168.36/168.49 c nbDecision=9500 #constraints=9475 189.74/189.82 c nbDecision=10000 #constraints=9934 218.24/218.34 c nbDecision=10500 #constraints=10419 246.43/246.59 c nbDecision=11000 #constraints=10885 273.83/273.96 c nbDecision=11500 #constraints=11370 299.21/299.30 c nbDecision=12000 #constraints=11851 334.61/334.74 c nbDecision=12500 #constraints=12347 357.50/357.61 c restart after 12801 decisions 377.09/377.27 c nbDecision=13000 #constraints=12810 423.98/424.12 c nbDecision=13500 #constraints=13300 466.87/467.06 c nbDecision=14000 #constraints=13774 494.67/494.81 c nbDecision=14500 #constraints=14235 548.35/548.53 c nbDecision=15000 #constraints=14724 593.44/593.63 c nbDecision=15500 #constraints=15203 637.13/637.31 c nbDecision=16000 #constraints=15650 671.42/671.64 c nbDecision=16500 #constraints=16082 713.21/713.44 c nbDecision=17000 #constraints=16550 762.20/762.46 c nbDecision=17500 #constraints=17041 803.79/804.09 c nbDecision=18000 #constraints=17513 836.18/836.44 c nbDecision=18500 #constraints=17980 878.67/878.99 c nbDecision=19000 #constraints=18448 942.75/943.04 c nbDecision=19500 #constraints=18914 1009.03/1009.33 c nbDecision=20000 #constraints=19401 1065.72/1066.04 c nbDecision=20500 #constraints=19881 1132.10/1132.48 c nbDecision=21000 #constraints=20341 1187.89/1188.25 c nbDecision=21500 #constraints=20810 1222.78/1223.18 c nbDecision=22000 #constraints=21244 1282.76/1283.18 c nbDecision=22500 #constraints=21714 1333.96/1334.33 c nbDecision=23000 #constraints=22189 1368.74/1369.13 c nbDecision=23500 #constraints=22639 1426.63/1427.02 c nbDecision=24000 #constraints=23111 1465.82/1466.30 c nbDecision=24500 #constraints=23564 1554.20/1554.67 c nbDecision=25000 #constraints=24054 1632.08/1632.53 c nbDecision=25500 #constraints=24535 1643.27/1643.74 c restart after 25601 decisions 1708.26/1708.77 c nbDecision=26000 #constraints=24972 1795.04/1795.54 c nbDecision=26500 #constraints=25454 1800.04/1800.50 Received signal 15 1800.24/1800.75 1800.24/1800.75 s UNKNOWN 1800.24/1800.75 1800.24/1800.75 c user time= 1799.96 s 1800.24/1800.75 c system time= 0.340948 s 1800.24/1800.75 c wall clock time=1800.76
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/431477-1178006780/instance-431477-1178006780.opb mv /tmp/evaluation/431477-1178006780/instance-431477-1178006780.opb.tmp /tmp/evaluation/431477-1178006780/instance-431477-1178006780.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node45/watcher-431477-1178006780 -o ROOT/results/node45/solver-431477-1178006780 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/431477-1178006780/instance-431477-1178006780.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.99 3/77 10873 /proc/meminfo: memFree=1785744/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=1468 CPUtime=0 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 155523610 1503232 176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 367 176 132 317 0 46 0 [startup+0.101115 s] /proc/loadavg: 1.00 1.00 0.99 3/77 10873 /proc/meminfo: memFree=1785744/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=1872 CPUtime=0.09 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 290 0 0 0 9 0 0 0 18 0 1 0 155523610 1916928 273 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 468 273 139 317 0 147 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1872 [startup+0.201124 s] /proc/loadavg: 1.00 1.00 0.99 3/77 10873 /proc/meminfo: memFree=1785744/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=2132 CPUtime=0.19 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 351 0 0 0 19 0 0 0 18 0 1 0 155523610 2183168 334 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134558841 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 533 334 139 317 0 212 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 2132 [startup+0.301135 s] /proc/loadavg: 1.00 1.00 0.99 3/77 10873 /proc/meminfo: memFree=1785744/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=2396 CPUtime=0.29 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 414 0 0 0 29 0 0 0 19 0 1 0 155523610 2453504 397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272619 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 599 397 139 317 0 278 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2396 [startup+0.701175 s] /proc/loadavg: 1.00 1.00 0.99 3/77 10873 /proc/meminfo: memFree=1785744/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=3172 CPUtime=0.69 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 617 0 0 0 69 0 0 0 23 0 1 0 155523610 3248128 600 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 793 600 139 317 0 472 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3172 [startup+1.50126 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10874 /proc/meminfo: memFree=1783176/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=4744 CPUtime=1.49 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 992 0 0 0 149 0 0 0 25 0 1 0 155523610 4857856 975 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 1186 975 139 317 0 865 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4744 [startup+3.10142 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10874 /proc/meminfo: memFree=1780808/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=7744 CPUtime=3.09 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 1762 0 0 0 309 0 0 0 25 0 1 0 155523610 7929856 1745 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 1936 1745 139 317 0 1615 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7744 [startup+6.30174 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10874 /proc/meminfo: memFree=1776328/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=11132 CPUtime=6.29 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 2597 0 0 0 628 1 0 0 25 0 1 0 155523610 11399168 2580 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 2783 2580 139 317 0 2462 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11132 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10874 /proc/meminfo: memFree=1772488/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=14572 CPUtime=12.68 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 3405 0 0 0 1267 1 0 0 25 0 1 0 155523610 14921728 3388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718437 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 3643 3388 139 317 0 3322 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14572 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10874 /proc/meminfo: memFree=1767432/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=19596 CPUtime=25.48 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 4683 0 0 0 2546 2 0 0 25 0 1 0 155523610 20066304 4666 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 4899 4666 170 317 0 4578 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19596 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10874 /proc/meminfo: memFree=1761864/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=25284 CPUtime=51.08 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 6088 0 0 0 5104 4 0 0 25 0 1 0 155523610 25890816 6071 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 6321 6071 170 317 0 6000 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 25284 [startup+102.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10874 /proc/meminfo: memFree=1755720/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=31692 CPUtime=102.27 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 7604 0 0 0 10221 6 0 0 25 0 1 0 155523610 32452608 7587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 7923 7587 170 317 0 7602 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 31692 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10874 /proc/meminfo: memFree=1750216/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=37692 CPUtime=162.24 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 9060 0 0 0 16217 7 0 0 25 0 1 0 155523610 38596608 8986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 9423 8986 170 317 0 9102 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 37692 [startup+222.306 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10874 /proc/meminfo: memFree=1745608/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=42472 CPUtime=222.24 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 10169 0 0 0 22215 9 0 0 25 0 1 0 155523610 43491328 10095 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 10618 10095 170 317 0 10297 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 42472 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10876 /proc/meminfo: memFree=1740680/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=47984 CPUtime=282.22 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 11424 0 0 0 28212 10 0 0 25 0 1 0 155523610 49135616 11350 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 11996 11350 170 317 0 11675 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 47984 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10876 /proc/meminfo: memFree=1737288/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=51212 CPUtime=342.2 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 12239 0 0 0 34209 11 0 0 25 0 1 0 155523610 52441088 12165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 12803 12165 170 317 0 12482 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 51212 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10876 /proc/meminfo: memFree=1734600/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=53984 CPUtime=402.19 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 12905 0 0 0 40207 12 0 0 25 0 1 0 155523610 55279616 12831 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 13496 12831 170 317 0 13175 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 53984 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10876 /proc/meminfo: memFree=1732296/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=56124 CPUtime=462.17 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 13477 0 0 0 46204 13 0 0 25 0 1 0 155523610 57470976 13403 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 14031 13403 170 317 0 13710 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 56124 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10876 /proc/meminfo: memFree=1729480/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=59048 CPUtime=522.16 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 14184 0 0 0 52202 14 0 0 25 0 1 0 155523610 60465152 14110 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 14762 14110 170 317 0 14441 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 59048 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10876 /proc/meminfo: memFree=1726856/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=61744 CPUtime=582.14 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 14837 0 0 0 58199 15 0 0 25 0 1 0 155523610 63225856 14763 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 15436 14763 170 317 0 15115 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 61744 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10876 /proc/meminfo: memFree=1724360/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=64140 CPUtime=642.13 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 15458 0 0 0 64197 16 0 0 25 0 1 0 155523610 65679360 15384 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266094 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 16035 15384 170 317 0 15714 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 64140 ################ # More data... # ################ [startup+882.306 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10876 /proc/meminfo: memFree=1713352/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=76600 CPUtime=882.07 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 18307 0 0 0 88187 20 0 0 25 0 1 0 155523610 78438400 18120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 19150 18120 170 317 0 18829 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 76600 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10876 /proc/meminfo: memFree=1711752/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=78420 CPUtime=942.05 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 18715 0 0 0 94184 21 0 0 25 0 1 0 155523610 80302080 18528 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 19605 18528 170 317 0 19284 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 78420 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10876 /proc/meminfo: memFree=1710280/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=80136 CPUtime=1002.03 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 19092 0 0 0 100181 22 0 0 25 0 1 0 155523610 82059264 18905 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 20034 18905 170 317 0 19713 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 80136 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10876 /proc/meminfo: memFree=1708296/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=82048 CPUtime=1062.02 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 19592 0 0 0 106179 23 0 0 25 0 1 0 155523610 84017152 19405 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 20512 19405 170 317 0 20191 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 82048 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10876 /proc/meminfo: memFree=1706696/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=83756 CPUtime=1122 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 19976 0 0 0 112176 24 0 0 25 0 1 0 155523610 85766144 19789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 20939 19789 170 317 0 20618 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 83756 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10876 /proc/meminfo: memFree=1704904/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=85320 CPUtime=1181.99 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 20439 0 0 0 118174 25 0 0 25 0 1 0 155523610 87367680 20252 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 21330 20252 170 317 0 21009 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 85320 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10876 /proc/meminfo: memFree=1701320/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=89888 CPUtime=1241.98 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 21312 0 0 0 124172 26 0 0 25 0 1 0 155523610 92045312 21125 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 22472 21125 170 317 0 22151 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 89888 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10876 /proc/meminfo: memFree=1699400/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=91752 CPUtime=1301.96 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 21797 0 0 0 130169 27 0 0 25 0 1 0 155523610 93954048 21610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 22938 21610 170 317 0 22617 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 91752 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10876 /proc/meminfo: memFree=1697160/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=94004 CPUtime=1361.94 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 22379 0 0 0 136166 28 0 0 25 0 1 0 155523610 96260096 22192 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716198 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 23501 22192 170 317 0 23180 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 94004 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10876 /proc/meminfo: memFree=1694984/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=96272 CPUtime=1421.93 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 22993 0 0 0 142164 29 0 0 25 0 1 0 155523610 98582528 22707 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 24068 22707 170 317 0 23747 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 96272 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10876 /proc/meminfo: memFree=1692680/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=98768 CPUtime=1481.91 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 23639 0 0 0 148161 30 0 0 25 0 1 0 155523610 101138432 23287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 24692 23287 170 317 0 24371 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 98768 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10876 /proc/meminfo: memFree=1691400/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=99964 CPUtime=1541.9 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 23962 0 0 0 154159 31 0 0 25 0 1 0 155523610 102363136 23610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 24991 23610 170 317 0 24670 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 99964 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10876 /proc/meminfo: memFree=1689928/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=101716 CPUtime=1601.88 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 24312 0 0 0 160157 31 0 0 25 0 1 0 155523610 104157184 23960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 25429 23960 170 317 0 25108 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 101716 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10876 /proc/meminfo: memFree=1688648/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=103336 CPUtime=1661.86 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 24677 0 0 0 166154 32 0 0 25 0 1 0 155523610 105816064 24325 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 25834 24325 170 317 0 25513 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 103336 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10876 /proc/meminfo: memFree=1687368/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=104500 CPUtime=1721.85 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 24982 0 0 0 172152 33 0 0 25 0 1 0 155523610 107008000 24630 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 26125 24630 170 317 0 25804 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 104500 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10876 /proc/meminfo: memFree=1686216/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=105536 CPUtime=1781.83 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 25261 0 0 0 178150 33 0 0 25 0 1 0 155523610 108068864 24909 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 26384 24909 170 317 0 26063 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 105536 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10876 /proc/meminfo: memFree=1685768/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=105800 CPUtime=1800.04 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 25360 0 0 0 179970 34 0 0 25 0 1 0 155523610 108339200 25008 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 26450 25008 170 317 0 26129 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 105800 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 1.00 1.00 0.99 2/79 10877 /proc/meminfo: memFree=1685760/2055920 swapFree=4157808/4192956 [pid=10873] ppid=10871 vsize=105800 CPUtime=1800.24 /proc/10873/stat : 10873 (oree) R 10871 10873 10431 0 -1 4194304 25361 0 0 0 179990 34 0 0 25 0 1 0 155523610 108339200 25009 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10873/statm: 26450 25009 170 317 0 26129 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 105800 Child status: 0 Real time (s): 1800.78 CPU time (s): 1800.32 CPU user time (s): 1799.96 CPU system time (s): 0.357945 CPU usage (%): 99.9745 Max. virtual memory (cumulated for all children) (KiB): 105800 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.96 system time used= 0.357945 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25377 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= 36134 runsolver used 1.56776 second user time and 4.19436 second system time The end
Begin job on node45 on Tue May 1 08:06:20 UTC 2007 IDJOB= 431477 IDBENCH= 48054 IDSOLVER= 172 FILE ID= node45/431477-1178006780 PBS_JOBID= 4728265 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=8-P0=149-P1=79-P2=59-P3=73-P4=211-B.opb COMMAND LINE= oree /tmp/evaluation/431477-1178006780/instance-431477-1178006780.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node45/convwatcher-431477-1178006780 -o ROOT/results/node45/conversion-431477-1178006780 -C 600 -M 1800 /tmp/evaluation/431477-1178006780/substituteSizeProductKeyword /tmp/evaluation/431477-1178006780/instance-431477-1178006780.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-431477-1178006780 -o ROOT/results/node45/solver-431477-1178006780 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/431477-1178006780/instance-431477-1178006780.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 74c00e33b4232d137ad873ae982593f6 RANDOM SEED= 157790329 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node45.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1786152 kB Buffers: 38700 kB Cached: 146596 kB SwapCached: 14284 kB Active: 78824 kB Inactive: 129484 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1786152 kB SwapTotal: 4192956 kB SwapFree: 4157808 kB Dirty: 1332 kB Writeback: 0 kB Mapped: 30032 kB Slab: 46972 kB Committed_AS: 1487880 kB PageTables: 1732 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 node45 on Tue May 1 08:36:22 UTC 2007