Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.42 | 1800.93 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=47-P1=23-P2=47-P3=53-P4=59-P5=23-P6=37-P7=61-B.opb |
MD5SUM | 9967eb2b89437d51526bdf8efb5c6065 |
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.19/0.28 c restart after 401 decisions 0.29/0.35 c nbDecision=500 #constraints=964 0.49/0.57 c restart after 801 decisions 0.69/0.75 c nbDecision=1000 #constraints=1397 1.09/1.19 c nbDecision=1500 #constraints=1864 1.29/1.30 c restart after 1601 decisions 1.69/1.77 c nbDecision=2000 #constraints=2307 2.49/2.54 c nbDecision=2500 #constraints=2772 3.59/3.64 c nbDecision=3000 #constraints=3220 4.29/4.31 c restart after 3201 decisions 4.69/4.74 c nbDecision=3500 #constraints=3658 6.89/6.93 c nbDecision=4000 #constraints=4119 10.08/10.16 c nbDecision=4500 #constraints=4571 13.89/13.97 c nbDecision=5000 #constraints=5043 18.99/19.00 c nbDecision=5500 #constraints=5524 25.48/25.58 c nbDecision=6000 #constraints=5961 31.79/31.82 c restart after 6401 decisions 32.09/32.12 c nbDecision=6500 #constraints=6400 38.68/38.71 c nbDecision=7000 #constraints=6857 48.58/48.65 c nbDecision=7500 #constraints=7316 62.77/62.88 c nbDecision=8000 #constraints=7779 77.17/77.20 c nbDecision=8500 #constraints=8238 92.77/92.80 c nbDecision=9000 #constraints=8657 110.56/110.61 c nbDecision=9500 #constraints=9110 130.86/130.91 c nbDecision=10000 #constraints=9556 151.55/151.63 c nbDecision=10500 #constraints=10042 171.64/171.76 c nbDecision=11000 #constraints=10522 193.44/193.57 c nbDecision=11500 #constraints=10981 219.03/219.17 c nbDecision=12000 #constraints=11447 247.42/247.51 c nbDecision=12500 #constraints=11933 262.31/262.42 c restart after 12801 decisions 263.32/263.43 c nbDecision=13000 #constraints=12397 284.31/284.49 c nbDecision=13500 #constraints=12868 313.91/314.09 c nbDecision=14000 #constraints=13349 342.49/342.64 c nbDecision=14500 #constraints=13812 373.69/373.86 c nbDecision=15000 #constraints=14304 406.28/406.46 c nbDecision=15500 #constraints=14761 444.67/444.83 c nbDecision=16000 #constraints=15228 473.46/473.61 c nbDecision=16500 #constraints=15706 513.85/514.07 c nbDecision=17000 #constraints=16175 558.84/559.09 c nbDecision=17500 #constraints=16668 600.82/601.08 c nbDecision=18000 #constraints=17151 650.81/651.02 c nbDecision=18500 #constraints=17634 699.80/700.03 c nbDecision=19000 #constraints=18104 747.28/747.58 c nbDecision=19500 #constraints=18579 792.67/792.96 c nbDecision=20000 #constraints=19017 842.96/843.27 c nbDecision=20500 #constraints=19450 896.44/896.75 c nbDecision=21000 #constraints=19921 950.23/950.54 c nbDecision=21500 #constraints=20379 1012.51/1012.88 c nbDecision=22000 #constraints=20860 1075.69/1076.04 c nbDecision=22500 #constraints=21338 1146.26/1146.62 c nbDecision=23000 #constraints=21832 1210.95/1211.40 c nbDecision=23500 #constraints=22304 1277.83/1278.24 c nbDecision=24000 #constraints=22785 1329.31/1329.78 c nbDecision=24500 #constraints=23266 1360.81/1361.27 c nbDecision=25000 #constraints=23734 1378.30/1378.74 c nbDecision=25500 #constraints=24188 1382.49/1382.95 c restart after 25601 decisions 1390.00/1390.41 c nbDecision=26000 #constraints=24642 1413.79/1414.21 c nbDecision=26500 #constraints=25105 1434.59/1435.00 c nbDecision=27000 #constraints=25584 1458.68/1459.17 c nbDecision=27500 #constraints=26052 1486.67/1487.17 c nbDecision=28000 #constraints=26509 1519.46/1519.97 c nbDecision=28500 #constraints=26965 1545.65/1546.13 c nbDecision=29000 #constraints=27433 1576.74/1577.22 c nbDecision=29500 #constraints=27895 1604.93/1605.43 c nbDecision=30000 #constraints=28342 1636.83/1637.38 c nbDecision=30500 #constraints=28838 1672.53/1673.07 c nbDecision=31000 #constraints=29314 1702.61/1703.12 c nbDecision=31500 #constraints=29746 1736.60/1737.19 c nbDecision=32000 #constraints=30228 1772.59/1773.11 c nbDecision=32500 #constraints=30673 1800.09/1800.60 Received signal 15 1800.39/1800.91 1800.39/1800.91 s UNKNOWN 1800.39/1800.91 1800.39/1800.91 c user time= 1800.08 s 1800.39/1800.91 c system time= 0.321951 s 1800.39/1800.91 c wall clock time=1800.91
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/429517-1177986242/instance-429517-1177986242.opb mv /tmp/evaluation/429517-1177986242/instance-429517-1177986242.opb.tmp /tmp/evaluation/429517-1177986242/instance-429517-1177986242.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node45/watcher-429517-1177986242 -o ROOT/results/node45/solver-429517-1177986242 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/429517-1177986242/instance-429517-1177986242.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.90 1.04 1.03 3/77 7087 /proc/meminfo: memFree=1778264/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=1468 CPUtime=0 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 153469792 1503232 177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 367 177 132 317 0 46 0 [startup+0.023559 s] /proc/loadavg: 0.90 1.04 1.03 3/77 7087 /proc/meminfo: memFree=1778264/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=1736 CPUtime=0.02 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 243 0 0 0 2 0 0 0 18 0 1 0 153469792 1777664 226 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 434 226 139 317 0 113 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1736 [startup+0.10151 s] /proc/loadavg: 0.90 1.04 1.03 3/77 7087 /proc/meminfo: memFree=1778264/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=1868 CPUtime=0.09 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 297 0 0 0 9 0 0 0 18 0 1 0 153469792 1912832 280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 467 280 139 317 0 146 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1868 [startup+0.30153 s] /proc/loadavg: 0.90 1.04 1.03 3/77 7087 /proc/meminfo: memFree=1778264/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=2516 CPUtime=0.29 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 434 0 0 0 29 0 0 0 19 0 1 0 153469792 2576384 417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270569 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 629 417 139 317 0 308 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2516 [startup+0.701571 s] /proc/loadavg: 0.90 1.04 1.03 3/77 7087 /proc/meminfo: memFree=1778264/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=3436 CPUtime=0.69 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 687 0 0 0 69 0 0 0 23 0 1 0 153469792 3518464 670 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 859 670 139 317 0 538 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3436 [startup+1.50165 s] /proc/loadavg: 0.90 1.04 1.03 2/78 7088 /proc/meminfo: memFree=1775376/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=5312 CPUtime=1.49 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 1166 0 0 0 149 0 0 0 25 0 1 0 153469792 5439488 1149 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271382 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 1328 1149 170 317 0 1007 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5312 [startup+3.10181 s] /proc/loadavg: 0.90 1.04 1.03 2/78 7088 /proc/meminfo: memFree=1773264/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=7280 CPUtime=3.09 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 1672 0 0 0 308 1 0 0 25 0 1 0 153469792 7454720 1655 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 1820 1655 170 317 0 1499 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7280 [startup+6.30114 s] /proc/loadavg: 0.91 1.04 1.03 2/78 7088 /proc/meminfo: memFree=1770192/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=9516 CPUtime=6.29 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 2228 0 0 0 627 2 0 0 25 0 1 0 153469792 9744384 2211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 2379 2211 170 317 0 2058 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9516 [startup+12.7018 s] /proc/loadavg: 0.91 1.03 1.03 2/78 7088 /proc/meminfo: memFree=1767952/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=11600 CPUtime=12.68 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 2715 0 0 0 1266 2 0 0 25 0 1 0 153469792 11878400 2698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 2900 2698 170 317 0 2579 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 11600 [startup+25.5011 s] /proc/loadavg: 0.93 1.03 1.03 2/78 7088 /proc/meminfo: memFree=1765264/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=14248 CPUtime=25.48 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 3375 0 0 0 2545 3 0 0 25 0 1 0 153469792 14589952 3358 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 3562 3358 170 317 0 3241 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14248 [startup+51.1017 s] /proc/loadavg: 0.95 1.03 1.02 2/78 7088 /proc/meminfo: memFree=1761808/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=17896 CPUtime=51.08 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 4223 0 0 0 5103 5 0 0 25 0 1 0 153469792 18325504 4206 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604370 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 4474 4206 170 317 0 4153 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 17896 [startup+102.305 s] /proc/loadavg: 0.98 1.02 1.02 2/78 7088 /proc/meminfo: memFree=1758224/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=21724 CPUtime=102.27 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 5147 0 0 0 10221 6 0 0 25 0 1 0 153469792 22245376 5073 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 5431 5073 170 317 0 5110 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 21724 [startup+162.302 s] /proc/loadavg: 0.99 1.02 1.01 2/78 7088 /proc/meminfo: memFree=1754896/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=25172 CPUtime=162.25 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 5976 0 0 0 16218 7 0 0 25 0 1 0 153469792 25776128 5902 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 6293 5902 170 317 0 5972 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 25172 [startup+222.301 s] /proc/loadavg: 0.99 1.01 1.01 2/78 7088 /proc/meminfo: memFree=1752144/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=27784 CPUtime=222.23 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 6646 0 0 0 22215 8 0 0 25 0 1 0 153469792 28450816 6572 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 6946 6572 170 317 0 6625 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 27784 [startup+282.301 s] /proc/loadavg: 0.99 1.01 1.00 2/78 7088 /proc/meminfo: memFree=1749200/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=30732 CPUtime=282.21 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 7390 0 0 0 28212 9 0 0 25 0 1 0 153469792 31469568 7316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 7683 7316 170 317 0 7362 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 30732 [startup+342.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 7088 /proc/meminfo: memFree=1746832/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=33180 CPUtime=342.19 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 7958 0 0 0 34209 10 0 0 25 0 1 0 153469792 33976320 7884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 8295 7884 170 317 0 7974 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 33180 [startup+402.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 7088 /proc/meminfo: memFree=1744912/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=35312 CPUtime=402.18 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 8447 0 0 0 40207 11 0 0 25 0 1 0 153469792 36159488 8373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 8828 8373 170 317 0 8507 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 35312 [startup+462.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 7088 /proc/meminfo: memFree=1742864/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=37244 CPUtime=462.16 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 8953 0 0 0 46204 12 0 0 25 0 1 0 153469792 38137856 8879 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 9311 8879 170 317 0 8990 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 37244 [startup+522.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 7088 /proc/meminfo: memFree=1741136/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=38892 CPUtime=522.15 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 9364 0 0 0 52202 13 0 0 25 0 1 0 153469792 39825408 9290 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 9723 9290 170 317 0 9402 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 38892 [startup+582.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 7088 /proc/meminfo: memFree=1739664/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=41096 CPUtime=582.13 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 9852 0 0 0 58199 14 0 0 25 0 1 0 153469792 42082304 9665 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 10274 9665 170 317 0 9953 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 41096 [startup+642.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 7088 /proc/meminfo: memFree=1737872/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=43068 CPUtime=642.11 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 10274 0 0 0 64197 14 0 0 25 0 1 0 153469792 44101632 10087 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 10767 10087 170 317 0 10446 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 43068 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 7088 /proc/meminfo: memFree=1731728/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=49572 CPUtime=942.03 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 11796 0 0 0 94185 18 0 0 25 0 1 0 153469792 50761728 11609 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712567 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 12393 11609 170 317 0 12072 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 49572 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 7088 /proc/meminfo: memFree=1730576/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=50504 CPUtime=1002.01 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 12081 0 0 0 100183 18 0 0 25 0 1 0 153469792 51716096 11894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 12626 11894 170 317 0 12305 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 50504 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 7088 /proc/meminfo: memFree=1729424/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=51824 CPUtime=1061.99 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 12380 0 0 0 106180 19 0 0 25 0 1 0 153469792 53067776 12160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563778 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 12956 12160 170 317 0 12635 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 51824 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 7094 /proc/meminfo: memFree=1728336/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=53132 CPUtime=1121.97 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 12659 0 0 0 112177 20 0 0 25 0 1 0 153469792 54407168 12439 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 13283 12439 170 317 0 12962 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 53132 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 7094 /proc/meminfo: memFree=1727568/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=53916 CPUtime=1181.96 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 12864 0 0 0 118175 21 0 0 25 0 1 0 153469792 55209984 12644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 13479 12644 170 317 0 13158 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 53916 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 7094 /proc/meminfo: memFree=1726544/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=54828 CPUtime=1241.94 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 13144 0 0 0 124172 22 0 0 25 0 1 0 153469792 56143872 12891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 13707 12891 170 317 0 13386 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 54828 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 7094 /proc/meminfo: memFree=1725520/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=56140 CPUtime=1301.93 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 13423 0 0 0 130170 23 0 0 25 0 1 0 153469792 57487360 13137 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 14035 13137 170 317 0 13714 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 56140 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 7094 /proc/meminfo: memFree=1723600/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=57980 CPUtime=1361.91 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 13901 0 0 0 136167 24 0 0 25 0 1 0 153469792 59371520 13615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 14495 13615 170 317 0 14174 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 57980 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 1.00 2/78 7094 /proc/meminfo: memFree=1720144/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=61512 CPUtime=1421.89 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 14773 0 0 0 142164 25 0 0 25 0 1 0 153469792 62988288 14487 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 15378 14487 170 317 0 15057 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 61512 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 7094 /proc/meminfo: memFree=1717392/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=64196 CPUtime=1481.87 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 15441 0 0 0 148161 26 0 0 25 0 1 0 153469792 65736704 15155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 16049 15155 170 317 0 15728 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 64196 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 7094 /proc/meminfo: memFree=1715280/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=66464 CPUtime=1541.85 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 15971 0 0 0 154158 27 0 0 25 0 1 0 153469792 68059136 15685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 16616 15685 170 317 0 16295 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 66464 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 7094 /proc/meminfo: memFree=1713232/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=68688 CPUtime=1601.83 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 16513 0 0 0 160155 28 0 0 25 0 1 0 153469792 70336512 16227 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 17172 16227 170 317 0 16851 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 68688 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 7094 /proc/meminfo: memFree=1711056/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=70896 CPUtime=1661.82 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 17030 0 0 0 166153 29 0 0 25 0 1 0 153469792 72597504 16744 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 17724 16744 170 317 0 17403 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 70896 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 7094 /proc/meminfo: memFree=1709072/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=72756 CPUtime=1721.8 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 17508 0 0 0 172150 30 0 0 25 0 1 0 153469792 74502144 17222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 18189 17222 170 317 0 17868 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 72756 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 7094 /proc/meminfo: memFree=1707280/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=74660 CPUtime=1781.78 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 17974 0 0 0 178147 31 0 0 25 0 1 0 153469792 76451840 17688 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 18665 17688 170 317 0 18344 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 74660 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 1.00 1.00 2/78 7094 /proc/meminfo: memFree=1706704/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=75056 CPUtime=1800.09 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 18102 0 0 0 179977 32 0 0 25 0 1 0 153469792 76857344 17816 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 18764 17816 170 317 0 18443 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 75056 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 0.99 1.00 1.00 2/78 7094 /proc/meminfo: memFree=1706704/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=75056 CPUtime=1800.29 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 18102 0 0 0 179997 32 0 0 25 0 1 0 153469792 76857344 17816 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 18764 17816 170 317 0 18443 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (KiB) 75056 [startup+1800.9 s] /proc/loadavg: 0.99 1.00 1.00 2/78 7094 /proc/meminfo: memFree=1706704/2055920 swapFree=4157808/4192956 [pid=7087] ppid=7085 vsize=75056 CPUtime=1800.39 /proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 18102 0 0 0 180007 32 0 0 25 0 1 0 153469792 76857344 17816 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7087/statm: 18764 17816 170 317 0 18443 0 Current children cumulated CPU time (s) 1800.39 Current children cumulated vsize (KiB) 75056 Child status: 0 Real time (s): 1800.93 CPU time (s): 1800.42 CPU user time (s): 1800.08 CPU system time (s): 0.333949 CPU usage (%): 99.9716 Max. virtual memory (cumulated for all children) (KiB): 75056 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.08 system time used= 0.333949 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18118 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= 36564 runsolver used 1.49377 second user time and 4.09938 second system time The end
Begin job on node45 on Tue May 1 02:24:02 UTC 2007 IDJOB= 429517 IDBENCH= 47914 IDSOLVER= 172 FILE ID= node45/429517-1177986242 PBS_JOBID= 4727950 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=47-P1=23-P2=47-P3=53-P4=59-P5=23-P6=37-P7=61-B.opb COMMAND LINE= oree /tmp/evaluation/429517-1177986242/instance-429517-1177986242.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node45/convwatcher-429517-1177986242 -o ROOT/results/node45/conversion-429517-1177986242 -C 600 -M 1800 /tmp/evaluation/429517-1177986242/substituteSizeProductKeyword /tmp/evaluation/429517-1177986242/instance-429517-1177986242.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-429517-1177986242 -o ROOT/results/node45/solver-429517-1177986242 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/429517-1177986242/instance-429517-1177986242.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 9967eb2b89437d51526bdf8efb5c6065 RANDOM SEED= 249771780 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: 1778672 kB Buffers: 33436 kB Cached: 159000 kB SwapCached: 14284 kB Active: 77988 kB Inactive: 137904 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1778672 kB SwapTotal: 4192956 kB SwapFree: 4157808 kB Dirty: 1400 kB Writeback: 0 kB Mapped: 30516 kB Slab: 46928 kB Committed_AS: 1468200 kB PageTables: 1736 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 02:54:04 UTC 2007