Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.4 | 1801 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=71-P1=131-P2=37-P3=29-P4=71-P5=79-P6=47-P7=41-B.opb |
MD5SUM | 3dcbc29326e863fba53ed8c8a10116ce |
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.12598 |
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 | 147 |
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 | 7 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 32512 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 343 |
Sum of products size (including duplicates) | 686 |
Number of different products | 343 |
Sum of products size | 686 |
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=490 #constraints=709 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.39/0.43 c restart after 401 decisions 0.49/0.50 c nbDecision=500 #constraints=1118 0.69/0.75 c restart after 801 decisions 0.89/0.95 c nbDecision=1000 #constraints=1525 1.49/1.57 c nbDecision=1500 #constraints=1992 1.69/1.70 c restart after 1601 decisions 2.19/2.29 c nbDecision=2000 #constraints=2425 3.19/3.27 c nbDecision=2500 #constraints=2876 4.69/4.70 c nbDecision=3000 #constraints=3361 5.40/5.50 c restart after 3201 decisions 6.69/6.72 c nbDecision=3500 #constraints=3775 9.89/9.96 c nbDecision=4000 #constraints=4251 13.58/13.61 c nbDecision=4500 #constraints=4701 18.09/18.17 c nbDecision=5000 #constraints=5161 23.78/23.88 c nbDecision=5500 #constraints=5617 29.78/29.84 c nbDecision=6000 #constraints=6072 35.88/35.90 c restart after 6401 decisions 36.18/36.20 c nbDecision=6500 #constraints=6523 47.37/47.46 c nbDecision=7000 #constraints=6977 58.97/59.01 c nbDecision=7500 #constraints=7447 70.37/70.43 c nbDecision=8000 #constraints=7913 85.56/85.62 c nbDecision=8500 #constraints=8391 100.76/100.86 c nbDecision=9000 #constraints=8869 119.15/119.20 c nbDecision=9500 #constraints=9337 134.54/134.61 c nbDecision=10000 #constraints=9783 154.44/154.53 c nbDecision=10500 #constraints=10249 176.63/176.77 c nbDecision=11000 #constraints=10705 194.72/194.86 c nbDecision=11500 #constraints=11146 226.51/226.62 c nbDecision=12000 #constraints=11645 257.21/257.38 c nbDecision=12500 #constraints=12132 277.80/277.93 c restart after 12801 decisions 289.79/289.93 c nbDecision=13000 #constraints=12570 321.08/321.23 c nbDecision=13500 #constraints=13059 355.37/355.52 c nbDecision=14000 #constraints=13529 383.96/384.19 c nbDecision=14500 #constraints=13981 426.35/426.51 c nbDecision=15000 #constraints=14475 464.63/464.85 c nbDecision=15500 #constraints=14953 511.12/511.32 c nbDecision=16000 #constraints=15439 560.01/560.24 c nbDecision=16500 #constraints=15935 610.78/611.06 c nbDecision=17000 #constraints=16422 652.47/652.71 c nbDecision=17500 #constraints=16890 705.85/706.15 c nbDecision=18000 #constraints=17388 756.23/756.57 c nbDecision=18500 #constraints=17868 805.02/805.33 c nbDecision=19000 #constraints=18347 854.20/854.50 c nbDecision=19500 #constraints=18828 911.38/911.75 c nbDecision=20000 #constraints=19312 963.27/963.61 c nbDecision=20500 #constraints=19783 1028.44/1028.88 c nbDecision=21000 #constraints=20269 1085.92/1086.33 c nbDecision=21500 #constraints=20754 1156.20/1156.63 c nbDecision=22000 #constraints=21244 1225.28/1225.75 c nbDecision=22500 #constraints=21741 1293.95/1294.42 c nbDecision=23000 #constraints=22235 1370.83/1371.30 c nbDecision=23500 #constraints=22719 1469.39/1469.91 c nbDecision=24000 #constraints=23211 1565.86/1566.41 c nbDecision=24500 #constraints=23678 1643.84/1644.46 c nbDecision=25000 #constraints=24125 1744.80/1745.40 c nbDecision=25500 #constraints=24623 1763.89/1764.50 c restart after 25601 decisions 1800.10/1800.70 Received signal 15 1800.29/1800.98 1800.29/1800.98 s UNKNOWN 1800.29/1800.98 1800.29/1800.98 c user time= 1800.22 s 1800.29/1800.98 c system time= 0.161975 s 1800.29/1800.98 c wall clock time=1800.98
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/432163-1178014443/instance-432163-1178014443.opb mv /tmp/evaluation/432163-1178014443/instance-432163-1178014443.opb.tmp /tmp/evaluation/432163-1178014443/instance-432163-1178014443.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node67/watcher-432163-1178014443 -o ROOT/results/node67/solver-432163-1178014443 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/432163-1178014443/instance-432163-1178014443.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.99 0.97 0.98 3/64 9021 /proc/meminfo: memFree=1813232/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=1468 CPUtime=0 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 189 0 0 0 0 0 0 0 18 0 1 0 277433839 1503232 172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 367 172 132 317 0 46 0 [startup+0.0810071 s] /proc/loadavg: 0.99 0.97 0.98 3/64 9021 /proc/meminfo: memFree=1813232/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=1864 CPUtime=0.07 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 290 0 0 0 7 0 0 0 18 0 1 0 277433839 1908736 273 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710870 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 466 274 139 317 0 145 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1864 [startup+0.10201 s] /proc/loadavg: 0.99 0.97 0.98 3/64 9021 /proc/meminfo: memFree=1813232/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=1992 CPUtime=0.09 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 302 0 0 0 9 0 0 0 18 0 1 0 277433839 2039808 285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 498 285 139 317 0 177 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1992 [startup+0.301046 s] /proc/loadavg: 0.99 0.97 0.98 3/64 9021 /proc/meminfo: memFree=1813232/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=2384 CPUtime=0.29 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 402 0 0 0 29 0 0 0 19 0 1 0 277433839 2441216 385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279015 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 596 385 139 317 0 275 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2384 [startup+0.70112 s] /proc/loadavg: 0.99 0.97 0.98 3/64 9021 /proc/meminfo: memFree=1813232/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=3316 CPUtime=0.69 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 648 0 0 0 69 0 0 0 22 0 1 0 277433839 3395584 631 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541612 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 829 631 139 317 0 508 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3316 [startup+1.50127 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9022 /proc/meminfo: memFree=1810600/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=5024 CPUtime=1.49 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 1060 0 0 0 149 0 0 0 25 0 1 0 277433839 5144576 1043 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 1256 1043 139 317 0 935 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5024 [startup+3.10156 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9022 /proc/meminfo: memFree=1808424/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=7468 CPUtime=3.09 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 1702 0 0 0 309 0 0 0 25 0 1 0 277433839 7647232 1685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 1867 1685 170 317 0 1546 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7468 [startup+6.30115 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9022 /proc/meminfo: memFree=1804968/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=9848 CPUtime=6.29 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 2306 0 0 0 628 1 0 0 25 0 1 0 277433839 10084352 2289 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 2462 2289 170 317 0 2141 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9848 [startup+12.7013 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9022 /proc/meminfo: memFree=1802344/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=12360 CPUtime=12.68 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 2886 0 0 0 1267 1 0 0 25 0 1 0 277433839 12656640 2869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 3090 2869 170 317 0 2769 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 12360 [startup+25.5027 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9022 /proc/meminfo: memFree=1799016/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=15632 CPUtime=25.48 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 3676 0 0 0 2546 2 0 0 25 0 1 0 277433839 16007168 3659 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563776 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 3908 3659 170 317 0 3587 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15632 [startup+51.1014 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9022 /proc/meminfo: memFree=1795496/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=19304 CPUtime=51.07 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 4571 0 0 0 5104 3 0 0 25 0 1 0 277433839 19767296 4554 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 4826 4554 170 317 0 4505 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 19304 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9022 /proc/meminfo: memFree=1790824/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=24112 CPUtime=102.26 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 5777 0 0 0 10221 5 0 0 25 0 1 0 277433839 24690688 5702 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 6028 5702 170 317 0 5707 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 24112 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9022 /proc/meminfo: memFree=1786472/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=28912 CPUtime=162.24 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 6867 0 0 0 16218 6 0 0 25 0 1 0 277433839 29605888 6792 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 7228 6792 170 317 0 6907 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 28912 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9022 /proc/meminfo: memFree=1783336/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=32240 CPUtime=222.21 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 7629 0 0 0 22215 6 0 0 25 0 1 0 277433839 33013760 7554 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 8060 7554 170 317 0 7739 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 32240 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9022 /proc/meminfo: memFree=1780968/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=34724 CPUtime=282.2 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 8213 0 0 0 28213 7 0 0 25 0 1 0 277433839 35557376 8138 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 8681 8138 170 317 0 8360 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 34724 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9022 /proc/meminfo: memFree=1778536/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=37072 CPUtime=342.17 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 8817 0 0 0 34210 7 0 0 25 0 1 0 277433839 37961728 8742 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 9268 8742 170 317 0 8947 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 37072 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9022 /proc/meminfo: memFree=1776168/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=39536 CPUtime=402.15 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 9411 0 0 0 40207 8 0 0 25 0 1 0 277433839 40484864 9336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 9884 9336 170 317 0 9563 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 39536 [startup+462.303 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9022 /proc/meminfo: memFree=1774248/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=41436 CPUtime=462.13 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 9891 0 0 0 46204 9 0 0 25 0 1 0 277433839 42430464 9816 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 10359 9816 170 317 0 10038 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 41436 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9022 /proc/meminfo: memFree=1772648/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=43068 CPUtime=522.11 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 10283 0 0 0 52202 9 0 0 25 0 1 0 277433839 44101632 10208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 10767 10208 170 317 0 10446 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 43068 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9022 /proc/meminfo: memFree=1771048/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=44640 CPUtime=582.1 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 10671 0 0 0 58200 10 0 0 25 0 1 0 277433839 45711360 10596 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715606 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 11160 10596 170 317 0 10839 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 44640 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9022 /proc/meminfo: memFree=1768808/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=47052 CPUtime=642.08 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 11281 0 0 0 64198 10 0 0 25 0 1 0 277433839 48181248 11092 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563389 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 11763 11092 170 317 0 11442 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 47052 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9022 /proc/meminfo: memFree=1763176/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=53704 CPUtime=881.99 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 12737 0 0 0 88188 11 0 0 25 0 1 0 277433839 54992896 12548 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 13426 12548 170 317 0 13105 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 53704 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9022 /proc/meminfo: memFree=1761832/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=55144 CPUtime=941.97 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 13062 0 0 0 94186 11 0 0 25 0 1 0 277433839 56467456 12873 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 13786 12873 170 317 0 13465 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 55144 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9022 /proc/meminfo: memFree=1760296/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=56584 CPUtime=1001.95 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 13436 0 0 0 100183 12 0 0 25 0 1 0 277433839 57942016 13247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 14146 13247 170 317 0 13825 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 56584 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9022 /proc/meminfo: memFree=1759144/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=58092 CPUtime=1061.93 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 13714 0 0 0 106181 12 0 0 25 0 1 0 277433839 59486208 13525 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 14523 13525 170 317 0 14202 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 58092 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9022 /proc/meminfo: memFree=1757928/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=59308 CPUtime=1121.92 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 14016 0 0 0 112179 13 0 0 25 0 1 0 277433839 60731392 13827 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 14827 13827 170 317 0 14506 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 59308 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9022 /proc/meminfo: memFree=1756904/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=60124 CPUtime=1181.9 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 14275 0 0 0 118177 13 0 0 25 0 1 0 277433839 61566976 14086 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 15031 14086 170 317 0 14710 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 60124 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9022 /proc/meminfo: memFree=1755624/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=61572 CPUtime=1241.87 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 14617 0 0 0 124174 13 0 0 25 0 1 0 277433839 63049728 14395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 15393 14395 170 317 0 15072 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 61572 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9022 /proc/meminfo: memFree=1754600/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=62528 CPUtime=1301.85 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 14884 0 0 0 130172 13 0 0 25 0 1 0 277433839 64028672 14662 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 15632 14662 170 317 0 15311 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 62528 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9022 /proc/meminfo: memFree=1753512/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=63568 CPUtime=1361.83 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 15195 0 0 0 136169 14 0 0 25 0 1 0 277433839 65093632 14940 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 15892 14940 170 317 0 15571 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 63568 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9022 /proc/meminfo: memFree=1752936/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=64356 CPUtime=1421.82 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 15368 0 0 0 142168 14 0 0 25 0 1 0 277433839 65900544 15113 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 16089 15113 170 317 0 15768 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 64356 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9022 /proc/meminfo: memFree=1752104/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=65144 CPUtime=1481.79 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 15575 0 0 0 148165 14 0 0 25 0 1 0 277433839 66707456 15320 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 16286 15320 170 317 0 15965 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 65144 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9022 /proc/meminfo: memFree=1751272/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=65932 CPUtime=1541.77 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 15762 0 0 0 154163 14 0 0 25 0 1 0 277433839 67514368 15507 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 16483 15507 170 317 0 16162 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 65932 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9022 /proc/meminfo: memFree=1750440/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=66980 CPUtime=1601.76 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 16002 0 0 0 160161 15 0 0 25 0 1 0 277433839 68587520 15714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 16745 15714 170 317 0 16424 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 66980 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9022 /proc/meminfo: memFree=1749352/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=68152 CPUtime=1661.73 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 16281 0 0 0 166158 15 0 0 25 0 1 0 277433839 69787648 15960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604197 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 17038 15960 170 317 0 16717 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 68152 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9024 /proc/meminfo: memFree=1748648/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=68856 CPUtime=1721.71 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 16498 0 0 0 172156 15 0 0 25 0 1 0 277433839 70508544 16144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 17214 16144 170 317 0 16893 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 68856 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9024 /proc/meminfo: memFree=1747560/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=70032 CPUtime=1781.7 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 16799 0 0 0 178154 16 0 0 25 0 1 0 277433839 71712768 16412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 17508 16412 170 317 0 17187 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 70032 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9024 /proc/meminfo: memFree=1747304/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=70296 CPUtime=1800.1 /proc/9021/stat : 9021 (oree) R 9019 9021 7198 0 -1 4194304 16847 0 0 0 179994 16 0 0 25 0 1 0 277433839 71983104 16460 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9021/statm: 17574 16460 170 317 0 17253 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 70296 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 0.99 0.97 0.98 2/65 9024 /proc/meminfo: memFree=1747304/2055920 swapFree=4183044/4192956 [pid=9021] ppid=9019 vsize=0 CPUtime=1800.39 /proc/9021/stat : 9021 (oree) D 9019 9021 7198 0 -1 4194308 16864 0 0 0 180022 17 0 0 24 0 1 0 277433839 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 18446744072100051646 0 0 17 0 0 0 /proc/9021/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.39 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801 CPU time (s): 1800.4 CPU user time (s): 1800.22 CPU system time (s): 0.173973 CPU usage (%): 99.9663 Max. virtual memory (cumulated for all children) (KiB): 70296 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.22 system time used= 0.173973 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16864 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= 1790 runsolver used 1.35879 second user time and 3.56646 second system time The end
Begin job on node67 on Tue May 1 10:14:03 UTC 2007 IDJOB= 432163 IDBENCH= 48103 IDSOLVER= 172 FILE ID= node67/432163-1178014443 PBS_JOBID= 4728287 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=7-P0=71-P1=131-P2=37-P3=29-P4=71-P5=79-P6=47-P7=41-B.opb COMMAND LINE= oree /tmp/evaluation/432163-1178014443/instance-432163-1178014443.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node67/convwatcher-432163-1178014443 -o ROOT/results/node67/conversion-432163-1178014443 -C 600 -M 1800 /tmp/evaluation/432163-1178014443/substituteSizeProductKeyword /tmp/evaluation/432163-1178014443/instance-432163-1178014443.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-432163-1178014443 -o ROOT/results/node67/solver-432163-1178014443 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/432163-1178014443/instance-432163-1178014443.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 3dcbc29326e863fba53ed8c8a10116ce RANDOM SEED= 269977924 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node67.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.263 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.263 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: 1813704 kB Buffers: 19316 kB Cached: 154560 kB SwapCached: 3808 kB Active: 46168 kB Inactive: 137820 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1813704 kB SwapTotal: 4192956 kB SwapFree: 4183044 kB Dirty: 1316 kB Writeback: 0 kB Mapped: 16056 kB Slab: 44272 kB Committed_AS: 1342280 kB PageTables: 1456 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 node67 on Tue May 1 10:44:06 UTC 2007