Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.29 | 1800.8 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=383-P1=149-P2=409-P3=307-P4=127-P5=191-P6=227-P7=281-P8=211-B.opb |
MD5SUM | 1d88cb7e119c66203d260e6c8e2ab364 |
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.463929 |
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 | 216 |
Total number of constraints | 17 |
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 | 17 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 648 |
Sum of products size (including duplicates) | 1296 |
Number of different products | 648 |
Sum of products size | 1296 |
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.01 c ...done 0.00/0.01 c #vars=864 #constraints=1322 hasObjective=yes 0.00/0.01 c res. mode=mod 0.00/0.01 c VSIDS like heuristics 0.00/0.01 c complete search running 0.79/0.89 c restart after 401 decisions 1.09/1.16 c nbDecision=500 #constraints=1786 2.09/2.13 c restart after 801 decisions 3.00/3.02 c nbDecision=1000 #constraints=2258 5.99/6.07 c nbDecision=1500 #constraints=2757 6.99/7.02 c restart after 1601 decisions 8.49/8.52 c nbDecision=2000 #constraints=3228 9.79/9.86 c nbDecision=2500 #constraints=3719 12.19/12.22 c nbDecision=3000 #constraints=4220 13.49/13.57 c restart after 3201 decisions 16.49/16.55 c nbDecision=3500 #constraints=4704 19.79/19.80 c nbDecision=4000 #constraints=5194 23.09/23.11 c nbDecision=4500 #constraints=5692 25.59/25.62 c nbDecision=5000 #constraints=6169 27.49/27.52 c nbDecision=5500 #constraints=6669 30.38/30.43 c nbDecision=6000 #constraints=7158 31.38/31.40 c restart after 6401 decisions 32.68/32.78 c nbDecision=6500 #constraints=7628 39.88/39.95 c nbDecision=7000 #constraints=8090 44.29/44.39 c nbDecision=7500 #constraints=8581 46.08/46.17 c nbDecision=8000 #constraints=9069 48.18/48.27 c nbDecision=8500 #constraints=9562 49.68/49.74 c nbDecision=9000 #constraints=10055 51.28/51.36 c nbDecision=9500 #constraints=10537 54.77/54.82 c nbDecision=10000 #constraints=11035 57.28/57.30 c nbDecision=10500 #constraints=11493 63.07/63.15 c nbDecision=11000 #constraints=11975 69.57/69.68 c nbDecision=11500 #constraints=12453 77.08/77.20 c nbDecision=12000 #constraints=12878 88.57/88.62 c nbDecision=12500 #constraints=13380 95.58/95.65 c restart after 12801 decisions 99.67/99.79 c nbDecision=13000 #constraints=13864 107.67/107.75 c nbDecision=13500 #constraints=14340 114.46/114.56 c nbDecision=14000 #constraints=14843 119.37/119.42 c nbDecision=14500 #constraints=15320 123.07/123.18 c nbDecision=15000 #constraints=15820 127.66/127.79 c nbDecision=15500 #constraints=16308 148.46/148.58 c nbDecision=16000 #constraints=16788 166.25/166.32 c nbDecision=16500 #constraints=17253 189.05/189.18 c nbDecision=17000 #constraints=17737 202.95/203.04 c nbDecision=17500 #constraints=18222 218.64/218.79 c nbDecision=18000 #constraints=18726 240.54/240.65 c nbDecision=18500 #constraints=19201 263.72/263.89 c nbDecision=19000 #constraints=19698 291.62/291.76 c nbDecision=19500 #constraints=20183 337.51/337.66 c nbDecision=20000 #constraints=20683 371.80/371.92 c nbDecision=20500 #constraints=21166 407.90/408.05 c nbDecision=21000 #constraints=21667 431.89/432.08 c nbDecision=21500 #constraints=22122 464.59/464.75 c nbDecision=22000 #constraints=22618 497.77/497.99 c nbDecision=22500 #constraints=23114 522.96/523.13 c nbDecision=23000 #constraints=23609 559.56/559.74 c nbDecision=23500 #constraints=24082 611.05/611.28 c nbDecision=24000 #constraints=24568 645.44/645.67 c nbDecision=24500 #constraints=25045 691.63/691.86 c nbDecision=25000 #constraints=25508 727.32/727.55 c nbDecision=25500 #constraints=25998 738.72/738.95 c restart after 25601 decisions 747.81/748.08 c nbDecision=26000 #constraints=26469 758.82/759.05 c nbDecision=26500 #constraints=26958 768.61/768.83 c nbDecision=27000 #constraints=27449 777.61/777.87 c nbDecision=27500 #constraints=27936 785.11/785.35 c nbDecision=28000 #constraints=28426 819.20/819.45 c nbDecision=28500 #constraints=28912 873.38/873.65 c nbDecision=29000 #constraints=29415 944.57/944.81 c nbDecision=29500 #constraints=29916 1011.55/1011.86 c nbDecision=30000 #constraints=30412 1081.23/1081.56 c nbDecision=30500 #constraints=30913 1153.22/1153.58 c nbDecision=31000 #constraints=31415 1220.80/1221.14 c nbDecision=31500 #constraints=31885 1276.89/1277.24 c nbDecision=32000 #constraints=32371 1340.07/1340.46 c nbDecision=32500 #constraints=32847 1407.78/1408.29 c nbDecision=33000 #constraints=33334 1488.35/1488.82 c nbDecision=33500 #constraints=33825 1559.44/1559.92 c nbDecision=34000 #constraints=34294 1646.82/1647.34 c nbDecision=34500 #constraints=34794 1719.00/1719.55 c nbDecision=35000 #constraints=35277 1796.58/1797.16 c nbDecision=35500 #constraints=35764 1800.09/1800.61 Received signal 15 1800.19/1800.76 1800.19/1800.76 s UNKNOWN 1800.19/1800.76 1800.19/1800.76 c user time= 1799.86 s 1800.19/1800.76 c system time= 0.394939 s 1800.19/1800.76 c wall clock time=1800.77
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/430371-1177994319/instance-430371-1177994319.opb mv /tmp/evaluation/430371-1177994319/instance-430371-1177994319.opb.tmp /tmp/evaluation/430371-1177994319/instance-430371-1177994319.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node57/watcher-430371-1177994319 -o ROOT/results/node57/solver-430371-1177994319 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430371-1177994319/instance-430371-1177994319.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.98 3/64 25938 /proc/meminfo: memFree=1793808/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=1468 CPUtime=0 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 240567840 1503232 167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 367 167 131 317 0 46 0 [startup+0.0513079 s] /proc/loadavg: 0.92 0.98 0.98 3/64 25938 /proc/meminfo: memFree=1793808/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=2128 CPUtime=0.04 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 336 0 0 0 4 0 0 0 18 0 1 0 240567840 2179072 319 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 532 319 139 317 0 211 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2128 [startup+0.101312 s] /proc/loadavg: 0.92 0.98 0.98 3/64 25938 /proc/meminfo: memFree=1793808/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=2260 CPUtime=0.09 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 364 0 0 0 9 0 0 0 18 0 1 0 240567840 2314240 347 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 565 347 139 317 0 244 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2260 [startup+0.301329 s] /proc/loadavg: 0.92 0.98 0.98 3/64 25938 /proc/meminfo: memFree=1793808/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=2656 CPUtime=0.29 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 473 0 0 0 29 0 0 0 19 0 1 0 240567840 2719744 456 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593405 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 664 456 139 317 0 343 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2656 [startup+0.701364 s] /proc/loadavg: 0.92 0.98 0.98 3/64 25938 /proc/meminfo: memFree=1793808/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=3436 CPUtime=0.69 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 658 0 0 0 69 0 0 0 22 0 1 0 240567840 3518464 641 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 859 641 139 317 0 538 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3436 [startup+1.50143 s] /proc/loadavg: 0.92 0.98 0.98 2/65 25939 /proc/meminfo: memFree=1791240/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=4472 CPUtime=1.49 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 929 0 0 0 149 0 0 0 25 0 1 0 240567840 4579328 912 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713823 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 1118 912 139 317 0 797 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4472 [startup+3.10157 s] /proc/loadavg: 0.92 0.98 0.98 2/65 25939 /proc/meminfo: memFree=1789640/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=6064 CPUtime=3.1 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 1341 0 0 0 309 1 0 0 25 0 1 0 240567840 6209536 1324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 1516 1324 139 317 0 1195 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 6064 [startup+6.30185 s] /proc/loadavg: 0.93 0.98 0.98 2/65 25939 /proc/meminfo: memFree=1787016/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=8440 CPUtime=6.29 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 1910 0 0 0 628 1 0 0 25 0 1 0 240567840 8642560 1893 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 2110 1893 139 317 0 1789 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8440 [startup+12.7014 s] /proc/loadavg: 0.93 0.98 0.98 2/65 25939 /proc/meminfo: memFree=1780168/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=15392 CPUtime=12.69 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 3628 0 0 0 1266 3 0 0 25 0 1 0 240567840 15761408 3611 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713872 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 3848 3611 139 317 0 3527 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15392 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 0.98 2/65 25939 /proc/meminfo: memFree=1771912/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=23856 CPUtime=25.49 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 5716 0 0 0 2545 4 0 0 25 0 1 0 240567840 24428544 5663 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541588 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 5964 5663 139 317 0 5643 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 23856 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.98 2/65 25939 /proc/meminfo: memFree=1751816/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=44008 CPUtime=51.08 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 10754 0 0 0 5099 9 0 0 25 0 1 0 240567840 45064192 10630 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272635 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 11002 10630 139 317 0 10681 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 44008 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.98 2/65 25939 /proc/meminfo: memFree=1735816/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=60124 CPUtime=102.27 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 14718 0 0 0 10214 13 0 0 25 0 1 0 240567840 61566976 14594 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 15031 14594 170 317 0 14710 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 60124 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.98 2/65 25939 /proc/meminfo: memFree=1721864/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=74508 CPUtime=162.25 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 18189 0 0 0 16208 17 0 0 25 0 1 0 240567840 76296192 18065 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 18627 18065 170 317 0 18306 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 74508 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.98 2/65 25939 /proc/meminfo: memFree=1714184/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=82208 CPUtime=222.24 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 20110 0 0 0 22206 18 0 0 25 0 1 0 240567840 84180992 19986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 20552 19986 170 317 0 20231 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 82208 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.98 2/65 25939 /proc/meminfo: memFree=1708488/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=88112 CPUtime=282.23 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 21526 0 0 0 28203 20 0 0 25 0 1 0 240567840 90226688 21402 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 22028 21402 170 317 0 21707 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 88112 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.98 2/65 25939 /proc/meminfo: memFree=1705544/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=91388 CPUtime=342.21 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 22373 0 0 0 34201 20 0 0 25 0 1 0 240567840 93581312 22108 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 22847 22108 170 317 0 22526 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 91388 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.98 2/65 25939 /proc/meminfo: memFree=1702024/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=95828 CPUtime=402.19 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 23290 0 0 0 40198 21 0 0 25 0 1 0 240567840 98127872 23025 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 23957 23025 170 317 0 23636 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 95828 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.98 2/65 25939 /proc/meminfo: memFree=1697736/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=100160 CPUtime=462.19 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 24352 0 0 0 46196 23 0 0 25 0 1 0 240567840 102563840 24087 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 25040 24087 170 317 0 24719 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 100160 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.98 2/65 25939 /proc/meminfo: memFree=1692808/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=105844 CPUtime=522.16 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 25578 0 0 0 52193 23 0 0 25 0 1 0 240567840 108384256 25313 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 26461 25313 170 317 0 26140 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 105844 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.98 2/65 25939 /proc/meminfo: memFree=1689928/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=108752 CPUtime=582.15 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 26297 0 0 0 58191 24 0 0 25 0 1 0 240567840 111362048 26032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 27188 26032 170 317 0 26867 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 108752 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.98 2/65 25939 /proc/meminfo: memFree=1687368/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=111004 CPUtime=642.15 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 26933 0 0 0 64190 25 0 0 25 0 1 0 240567840 113668096 26668 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 27751 26668 170 317 0 27430 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 111004 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.98 2/65 25939 /proc/meminfo: memFree=1667976/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=130460 CPUtime=882.08 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 31737 0 0 0 88178 30 0 0 25 0 1 0 240567840 133591040 31472 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 32615 31472 170 317 0 32294 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 130460 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.98 2/65 25939 /proc/meminfo: memFree=1666120/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=132292 CPUtime=942.06 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 32190 0 0 0 94176 30 0 0 25 0 1 0 240567840 135467008 31925 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 33073 31925 170 317 0 32752 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 132292 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 25939 /proc/meminfo: memFree=1664072/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=134724 CPUtime=1002.06 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 32691 0 0 0 100175 31 0 0 25 0 1 0 240567840 137957376 32426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 33681 32426 170 317 0 33360 0 Current children cumulated CPU time (s) 1002.06 Current children cumulated vsize (KiB) 134724 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 25939 /proc/meminfo: memFree=1662280/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=136848 CPUtime=1062.04 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 33143 0 0 0 106173 31 0 0 25 0 1 0 240567840 140132352 32878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 34212 32878 170 317 0 33891 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 136848 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 25939 /proc/meminfo: memFree=1660424/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=138876 CPUtime=1122.02 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 33610 0 0 0 112171 31 0 0 25 0 1 0 240567840 142209024 33345 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 34719 33345 170 317 0 34398 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 138876 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 25939 /proc/meminfo: memFree=1658312/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=140936 CPUtime=1182.01 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 34141 0 0 0 118169 32 0 0 25 0 1 0 240567840 144318464 33876 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 35234 33876 170 317 0 34913 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 140936 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 25939 /proc/meminfo: memFree=1656200/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=143164 CPUtime=1241.99 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 34645 0 0 0 124167 32 0 0 25 0 1 0 240567840 146599936 34380 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 35791 34380 170 317 0 35470 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 143164 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 25939 /proc/meminfo: memFree=1654600/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=145036 CPUtime=1301.99 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 35074 0 0 0 130166 33 0 0 25 0 1 0 240567840 148516864 34776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 36259 34776 170 317 0 35938 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 145036 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.98 2/71 26055 /proc/meminfo: memFree=1650768/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=147396 CPUtime=1361.92 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 35667 0 0 0 136157 35 0 0 25 0 1 0 240567840 150933504 35336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 36849 35336 170 317 0 36528 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 147396 [startup+1422.31 s] /proc/loadavg: 1.10 1.03 0.99 2/65 26137 /proc/meminfo: memFree=1650184/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=149092 CPUtime=1421.88 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 36131 0 0 0 142152 36 0 0 25 0 1 0 240567840 152670208 35800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 37273 35800 170 317 0 36952 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 149092 [startup+1482.3 s] /proc/loadavg: 1.04 1.02 0.99 2/65 26137 /proc/meminfo: memFree=1648648/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=151076 CPUtime=1481.85 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 36619 0 0 0 148149 36 0 0 25 0 1 0 240567840 154701824 36189 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 37769 36189 170 317 0 37448 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 151076 [startup+1542.3 s] /proc/loadavg: 1.01 1.01 0.99 2/65 26137 /proc/meminfo: memFree=1646792/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=153032 CPUtime=1541.84 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 37105 0 0 0 154147 37 0 0 25 0 1 0 240567840 156704768 36642 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 38258 36642 170 317 0 37937 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 153032 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 0.99 2/65 26137 /proc/meminfo: memFree=1645128/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=154996 CPUtime=1601.82 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 37571 0 0 0 160145 37 0 0 25 0 1 0 240567840 158715904 37075 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 38749 37075 170 317 0 38428 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 154996 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 26137 /proc/meminfo: memFree=1643848/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=156304 CPUtime=1661.82 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 37937 0 0 0 166144 38 0 0 25 0 1 0 240567840 160055296 37408 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 39076 37408 170 317 0 38755 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 156304 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 26137 /proc/meminfo: memFree=1641992/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=158220 CPUtime=1721.8 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 38405 0 0 0 172142 38 0 0 25 0 1 0 240567840 162017280 37876 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 39555 37876 170 317 0 39234 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 158220 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 26137 /proc/meminfo: memFree=1640328/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=159964 CPUtime=1781.79 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 38813 0 0 0 178140 39 0 0 25 0 1 0 240567840 163803136 38284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 39991 38284 170 317 0 39670 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 159964 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.99 2/65 26137 /proc/meminfo: memFree=1639752/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=160360 CPUtime=1800.09 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 38949 0 0 0 179970 39 0 0 25 0 1 0 240567840 164208640 38420 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 40090 38420 170 317 0 39769 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 160360 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.99 2/65 26137 /proc/meminfo: memFree=1639752/2055920 swapFree=4183136/4192956 [pid=25938] ppid=25936 vsize=160360 CPUtime=1800.19 /proc/25938/stat : 25938 (oree) R 25936 25938 25802 0 -1 4194304 38949 0 0 0 179980 39 0 0 25 0 1 0 240567840 164208640 38420 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25938/statm: 40090 38420 170 317 0 39769 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 160360 Child status: 0 Real time (s): 1800.8 CPU time (s): 1800.29 CPU user time (s): 1799.87 CPU system time (s): 0.420936 CPU usage (%): 99.9715 Max. virtual memory (cumulated for all children) (KiB): 160360 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.87 system time used= 0.420936 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38965 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= 2097 runsolver used 1.44978 second user time and 3.53046 second system time The end
Begin job on node57 on Tue May 1 04:38:39 UTC 2007 IDJOB= 430371 IDBENCH= 47975 IDSOLVER= 172 FILE ID= node57/430371-1177994319 PBS_JOBID= 4728230 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=9-P0=383-P1=149-P2=409-P3=307-P4=127-P5=191-P6=227-P7=281-P8=211-B.opb COMMAND LINE= oree /tmp/evaluation/430371-1177994319/instance-430371-1177994319.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node57/convwatcher-430371-1177994319 -o ROOT/results/node57/conversion-430371-1177994319 -C 600 -M 1800 /tmp/evaluation/430371-1177994319/substituteSizeProductKeyword /tmp/evaluation/430371-1177994319/instance-430371-1177994319.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node57/watcher-430371-1177994319 -o ROOT/results/node57/solver-430371-1177994319 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430371-1177994319/instance-430371-1177994319.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 1d88cb7e119c66203d260e6c8e2ab364 RANDOM SEED= 548021337 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node57.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.239 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.239 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: 1794216 kB Buffers: 20364 kB Cached: 171916 kB SwapCached: 3628 kB Active: 37720 kB Inactive: 165100 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1794216 kB SwapTotal: 4192956 kB SwapFree: 4183136 kB Dirty: 1308 kB Writeback: 0 kB Mapped: 15880 kB Slab: 45024 kB Committed_AS: 3702308 kB PageTables: 1408 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 node57 on Tue May 1 05:08:42 UTC 2007