Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.26 | 1800.96 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ roussel/factor-mod-B/factor-mod-size=7-P0=23-P1=29-P2=43-B.opb |
MD5SUM | 6b89f4f008f41d9515b4e0d45a9d302b |
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.038993 |
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 | 42 |
Total number of constraints | 5 |
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 | 5 |
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) | 98 |
Sum of products size (including duplicates) | 196 |
Number of different products | 98 |
Sum of products size | 196 |
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=140 #constraints=204 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.30/0.31 c restart after 401 decisions 0.39/0.42 c nbDecision=500 #constraints=607 0.79/0.84 c restart after 801 decisions 1.19/1.21 c nbDecision=1000 #constraints=1075 2.20/2.27 c nbDecision=1500 #constraints=1542 2.59/2.61 c restart after 1601 decisions 3.69/3.71 c nbDecision=2000 #constraints=2002 5.29/5.36 c nbDecision=2500 #constraints=2458 8.59/8.63 c nbDecision=3000 #constraints=2935 9.69/9.74 c restart after 3201 decisions 11.69/11.79 c nbDecision=3500 #constraints=3388 15.48/15.54 c nbDecision=4000 #constraints=3849 19.89/19.91 c nbDecision=4500 #constraints=4296 27.68/27.73 c nbDecision=5000 #constraints=4778 35.08/35.12 c nbDecision=5500 #constraints=5223 42.88/42.91 c nbDecision=6000 #constraints=5667 50.58/50.66 c restart after 6401 decisions 52.97/53.06 c nbDecision=6500 #constraints=6122 63.97/64.02 c nbDecision=7000 #constraints=6570 76.86/76.97 c nbDecision=7500 #constraints=7054 87.76/87.86 c nbDecision=8000 #constraints=7453 98.96/99.09 c nbDecision=8500 #constraints=7860 110.55/110.69 c nbDecision=9000 #constraints=8287 125.55/125.69 c nbDecision=9500 #constraints=8700 144.05/144.17 c nbDecision=10000 #constraints=9131 164.23/164.39 c nbDecision=10500 #constraints=9591 182.23/182.33 c nbDecision=11000 #constraints=10010 199.12/199.29 c nbDecision=11500 #constraints=10447 217.62/217.75 c nbDecision=12000 #constraints=10872 240.10/240.25 c nbDecision=12500 #constraints=11325 254.01/254.18 c restart after 12801 decisions 263.20/263.35 c nbDecision=13000 #constraints=11743 290.19/290.37 c nbDecision=13500 #constraints=12188 321.38/321.55 c nbDecision=14000 #constraints=12643 344.47/344.68 c nbDecision=14500 #constraints=13045 367.06/367.21 c nbDecision=15000 #constraints=13447 391.65/391.82 c nbDecision=15500 #constraints=13837 422.45/422.60 c nbDecision=16000 #constraints=14253 452.44/452.62 c nbDecision=16500 #constraints=14664 482.02/482.25 c nbDecision=17000 #constraints=15081 512.81/513.03 c nbDecision=17500 #constraints=15522 549.40/549.64 c nbDecision=18000 #constraints=15944 584.49/584.73 c nbDecision=18500 #constraints=16368 625.68/625.93 c nbDecision=19000 #constraints=16813 668.66/668.90 c nbDecision=19500 #constraints=17268 707.45/707.74 c nbDecision=20000 #constraints=17664 744.84/745.15 c nbDecision=20500 #constraints=18072 782.62/782.91 c nbDecision=21000 #constraints=18501 825.31/825.63 c nbDecision=21500 #constraints=18923 873.99/874.33 c nbDecision=22000 #constraints=19353 922.07/922.42 c nbDecision=22500 #constraints=19798 971.85/972.28 c nbDecision=23000 #constraints=20216 1027.84/1028.26 c nbDecision=23500 #constraints=20656 1082.82/1083.20 c nbDecision=24000 #constraints=21090 1148.20/1148.67 c nbDecision=24500 #constraints=21520 1223.88/1224.39 c nbDecision=25000 #constraints=21977 1296.25/1296.74 c nbDecision=25500 #constraints=22417 1310.64/1311.14 c restart after 25601 decisions 1344.23/1344.79 c nbDecision=26000 #constraints=22765 1397.01/1397.55 c nbDecision=26500 #constraints=23179 1445.90/1446.41 c nbDecision=27000 #constraints=23578 1495.78/1496.39 c nbDecision=27500 #constraints=23996 1548.99/1549.68 c nbDecision=28000 #constraints=24408 1612.05/1612.79 c nbDecision=28500 #constraints=24843 1680.23/1680.94 c nbDecision=29000 #constraints=25280 1749.70/1750.42 c nbDecision=29500 #constraints=25716 1800.00/1800.70 Received signal 15 1800.19/1800.94 1800.19/1800.94 s UNKNOWN 1800.19/1800.94 1800.19/1800.94 c user time= 1800.04 s 1800.19/1800.94 c system time= 0.200969 s 1800.19/1800.94 c wall clock time=1800.95
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/430973-1178001347/instance-430973-1178001347.opb mv /tmp/evaluation/430973-1178001347/instance-430973-1178001347.opb.tmp /tmp/evaluation/430973-1178001347/instance-430973-1178001347.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node59/watcher-430973-1178001347 -o ROOT/results/node59/solver-430973-1178001347 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430973-1178001347/instance-430973-1178001347.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.87 0.97 0.96 3/64 4433 /proc/meminfo: memFree=1767200/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=1468 CPUtime=0 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 199 0 0 0 0 0 0 0 18 0 1 0 248044320 1503232 182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266181 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 367 182 139 317 0 46 0 [startup+0.039481 s] /proc/loadavg: 0.87 0.97 0.96 3/64 4433 /proc/meminfo: memFree=1767200/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=1732 CPUtime=0.03 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 235 0 0 0 3 0 0 0 18 0 1 0 248044320 1773568 218 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134546652 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 433 218 139 317 0 112 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1732 [startup+0.102493 s] /proc/loadavg: 0.87 0.97 0.96 3/64 4433 /proc/meminfo: memFree=1767200/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=1864 CPUtime=0.1 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 316 0 0 0 10 0 0 0 18 0 1 0 248044320 1908736 299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 466 299 170 317 0 145 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1864 [startup+0.302531 s] /proc/loadavg: 0.87 0.97 0.96 3/64 4433 /proc/meminfo: memFree=1767200/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=2276 CPUtime=0.3 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 430 0 0 0 30 0 0 0 19 0 1 0 248044320 2330624 413 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 569 413 170 317 0 248 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 2276 [startup+0.701607 s] /proc/loadavg: 0.87 0.97 0.96 3/64 4433 /proc/meminfo: memFree=1767200/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=3076 CPUtime=0.69 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 606 0 0 0 69 0 0 0 22 0 1 0 248044320 3149824 589 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 769 589 170 317 0 448 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3076 [startup+1.50176 s] /proc/loadavg: 0.88 0.97 0.96 2/65 4434 /proc/meminfo: memFree=1765016/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=4128 CPUtime=1.49 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 877 0 0 0 149 0 0 0 25 0 1 0 248044320 4227072 860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 1032 860 170 317 0 711 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4128 [startup+3.10106 s] /proc/loadavg: 0.88 0.97 0.96 2/65 4434 /proc/meminfo: memFree=1763480/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=5728 CPUtime=3.09 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 1267 0 0 0 309 0 0 0 25 0 1 0 248044320 5865472 1250 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284171 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 1432 1250 170 317 0 1111 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5728 [startup+6.30167 s] /proc/loadavg: 0.88 0.97 0.96 2/65 4434 /proc/meminfo: memFree=1760856/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=7936 CPUtime=6.29 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 1797 0 0 0 629 0 0 0 25 0 1 0 248044320 8126464 1780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134530385 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 1984 1780 170 317 0 1663 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7936 [startup+12.7019 s] /proc/loadavg: 0.90 0.97 0.96 2/65 4434 /proc/meminfo: memFree=1758656/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=9924 CPUtime=12.69 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 2306 0 0 0 1268 1 0 0 25 0 1 0 248044320 10162176 2289 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 2481 2289 170 317 0 2160 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9924 [startup+25.5023 s] /proc/loadavg: 0.91 0.97 0.96 2/65 4434 /proc/meminfo: memFree=1755584/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=12960 CPUtime=25.48 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 3052 0 0 0 2546 2 0 0 25 0 1 0 248044320 13271040 3035 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 3240 3035 170 317 0 2919 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 12960 [startup+51.1022 s] /proc/loadavg: 1.02 0.99 0.97 2/65 4434 /proc/meminfo: memFree=1752192/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=16740 CPUtime=51.08 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 3907 0 0 0 5105 3 0 0 25 0 1 0 248044320 17141760 3890 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712518 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 4185 3890 170 317 0 3864 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 16740 [startup+102.305 s] /proc/loadavg: 1.08 1.00 0.97 2/65 4434 /proc/meminfo: memFree=1746624/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=22348 CPUtime=102.25 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 5301 0 0 0 10221 4 0 0 25 0 1 0 248044320 22884352 5284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 5587 5284 170 317 0 5266 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 22348 [startup+162.301 s] /proc/loadavg: 1.10 1.02 0.98 2/65 4434 /proc/meminfo: memFree=1741888/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=27748 CPUtime=162.23 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 6534 0 0 0 16218 5 0 0 25 0 1 0 248044320 28413952 6459 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 6937 6459 170 317 0 6616 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 27748 [startup+222.302 s] /proc/loadavg: 1.10 1.03 0.98 2/65 4434 /proc/meminfo: memFree=1738240/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=31044 CPUtime=222.21 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 7421 0 0 0 22215 6 0 0 25 0 1 0 248044320 31789056 7346 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 7761 7346 170 317 0 7440 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 31044 [startup+282.301 s] /proc/loadavg: 1.03 1.02 0.98 2/65 4434 /proc/meminfo: memFree=1735488/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=33600 CPUtime=282.19 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 8119 0 0 0 28212 7 0 0 25 0 1 0 248044320 34406400 8044 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 8400 8044 170 317 0 8079 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 33600 [startup+342.302 s] /proc/loadavg: 1.01 1.01 0.98 2/65 4434 /proc/meminfo: memFree=1732928/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=36188 CPUtime=342.17 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 8750 0 0 0 34209 8 0 0 25 0 1 0 248044320 37056512 8675 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563818 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 9047 8675 170 317 0 8726 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 36188 [startup+402.302 s] /proc/loadavg: 1.04 1.02 0.99 2/65 4436 /proc/meminfo: memFree=1729664/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=40848 CPUtime=402.16 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 9589 0 0 0 40207 9 0 0 25 0 1 0 248044320 41828352 9514 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718428 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 10212 9514 170 317 0 9891 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 40848 [startup+462.301 s] /proc/loadavg: 1.01 1.02 0.99 2/65 4436 /proc/meminfo: memFree=1727424/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=42984 CPUtime=462.13 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 10140 0 0 0 46204 9 0 0 25 0 1 0 248044320 44015616 10065 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 10746 10065 170 317 0 10425 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 42984 [startup+522.302 s] /proc/loadavg: 1.00 1.01 0.99 2/65 4436 /proc/meminfo: memFree=1725248/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=44992 CPUtime=522.11 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 10688 0 0 0 52202 9 0 0 25 0 1 0 248044320 46071808 10613 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 11248 10613 170 317 0 10927 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 44992 [startup+582.301 s] /proc/loadavg: 1.00 1.01 0.99 2/65 4436 /proc/meminfo: memFree=1723456/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=46860 CPUtime=582.09 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 11120 0 0 0 58199 10 0 0 25 0 1 0 248044320 47984640 11045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 11715 11045 170 317 0 11394 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 46860 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4436 /proc/meminfo: memFree=1721728/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=49028 CPUtime=642.07 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 11657 0 0 0 64197 10 0 0 25 0 1 0 248044320 50204672 11468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 12257 11468 170 317 0 11936 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 49028 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4436 /proc/meminfo: memFree=1713856/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=56984 CPUtime=941.97 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 13606 0 0 0 94185 12 0 0 25 0 1 0 248044320 58351616 13417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 14246 13417 170 317 0 13925 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 56984 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4436 /proc/meminfo: memFree=1712640/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=58180 CPUtime=1001.95 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 13914 0 0 0 100182 13 0 0 25 0 1 0 248044320 59576320 13725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 14545 13725 170 317 0 14224 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 58180 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4436 /proc/meminfo: memFree=1711488/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=59292 CPUtime=1061.92 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 14195 0 0 0 106179 13 0 0 25 0 1 0 248044320 60715008 14006 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 14823 14006 170 317 0 14502 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 59292 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4436 /proc/meminfo: memFree=1710400/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=60336 CPUtime=1121.91 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 14465 0 0 0 112177 14 0 0 25 0 1 0 248044320 61784064 14276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 15084 14276 170 317 0 14763 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 60336 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4436 /proc/meminfo: memFree=1709504/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=60988 CPUtime=1181.88 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 14682 0 0 0 118174 14 0 0 25 0 1 0 248044320 62451712 14493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 15247 14493 170 317 0 14926 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 60988 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4436 /proc/meminfo: memFree=1708480/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=61908 CPUtime=1241.87 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 14934 0 0 0 124172 15 0 0 25 0 1 0 248044320 63393792 14745 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 15477 14745 170 317 0 15156 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 61908 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4436 /proc/meminfo: memFree=1707520/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=62888 CPUtime=1301.85 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 15161 0 0 0 130170 15 0 0 25 0 1 0 248044320 64397312 14972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 15722 14972 170 317 0 15401 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 62888 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4436 /proc/meminfo: memFree=1705856/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=67024 CPUtime=1361.83 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 15970 0 0 0 136167 16 0 0 25 0 1 0 248044320 68632576 15385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 16756 15385 170 317 0 16435 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 67024 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4436 /proc/meminfo: memFree=1704512/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=68976 CPUtime=1421.81 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 16417 0 0 0 142165 16 0 0 25 0 1 0 248044320 70631424 15700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 17244 15700 170 317 0 16923 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 68976 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4436 /proc/meminfo: memFree=1703104/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=70556 CPUtime=1481.78 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 16816 0 0 0 148162 16 0 0 25 0 1 0 248044320 72249344 16033 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 17639 16033 170 317 0 17318 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 70556 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/71 4592 /proc/meminfo: memFree=1700664/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=71612 CPUtime=1541.7 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 17122 0 0 0 154152 18 0 0 25 0 1 0 248044320 73330688 16339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 17903 16339 170 317 0 17582 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 71612 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4634 /proc/meminfo: memFree=1700800/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=72796 CPUtime=1601.65 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 17384 0 0 0 160147 18 0 0 25 0 1 0 248044320 74543104 16601 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 18199 16601 170 317 0 17878 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 72796 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4634 /proc/meminfo: memFree=1699712/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=73760 CPUtime=1661.64 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 17650 0 0 0 166145 19 0 0 25 0 1 0 248044320 75530240 16867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 18440 16867 170 317 0 18119 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 73760 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4634 /proc/meminfo: memFree=1698624/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=74544 CPUtime=1721.62 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 17914 0 0 0 172143 19 0 0 25 0 1 0 248044320 76333056 17131 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 18636 17131 170 317 0 18315 0 Current children cumulated CPU time (s) 1721.62 Current children cumulated vsize (KiB) 74544 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4634 /proc/meminfo: memFree=1697472/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=75628 CPUtime=1781.59 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 18204 0 0 0 178140 19 0 0 25 0 1 0 248044320 77443072 17421 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 18907 17421 170 317 0 18586 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 75628 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4634 /proc/meminfo: memFree=1697152/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=76028 CPUtime=1800 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 18282 0 0 0 179980 20 0 0 25 0 1 0 248044320 77852672 17499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 19007 17499 170 317 0 18686 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 76028 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4634 /proc/meminfo: memFree=1697152/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=76028 CPUtime=1800.1 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 18282 0 0 0 179990 20 0 0 25 0 1 0 248044320 77852672 17499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 19007 17499 170 317 0 18686 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 76028 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4634 /proc/meminfo: memFree=1697152/2055920 swapFree=4184616/4192956 [pid=4433] ppid=4431 vsize=76028 CPUtime=1800.19 /proc/4433/stat : 4433 (oree) R 4431 4433 2901 0 -1 4194304 18283 0 0 0 179999 20 0 0 25 0 1 0 248044320 77852672 17500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4433/statm: 19007 17500 170 317 0 18686 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 76028 Child status: 0 Real time (s): 1800.96 CPU time (s): 1800.26 CPU user time (s): 1800.05 CPU system time (s): 0.213967 CPU usage (%): 99.9609 Max. virtual memory (cumulated for all children) (KiB): 76028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.05 system time used= 0.213967 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18299 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= 1940 runsolver used 1.40079 second user time and 3.57346 second system time The end
Begin job on node59 on Tue May 1 06:35:47 UTC 2007 IDJOB= 430973 IDBENCH= 48018 IDSOLVER= 172 FILE ID= node59/430973-1178001347 PBS_JOBID= 4728223 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=23-P1=29-P2=43-B.opb COMMAND LINE= oree /tmp/evaluation/430973-1178001347/instance-430973-1178001347.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node59/convwatcher-430973-1178001347 -o ROOT/results/node59/conversion-430973-1178001347 -C 600 -M 1800 /tmp/evaluation/430973-1178001347/substituteSizeProductKeyword /tmp/evaluation/430973-1178001347/instance-430973-1178001347.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-430973-1178001347 -o ROOT/results/node59/solver-430973-1178001347 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430973-1178001347/instance-430973-1178001347.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 6b89f4f008f41d9515b4e0d45a9d302b RANDOM SEED= 864517952 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node59.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.268 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.268 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: 1767608 kB Buffers: 26996 kB Cached: 182256 kB SwapCached: 2364 kB Active: 65320 kB Inactive: 154088 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1767608 kB SwapTotal: 4192956 kB SwapFree: 4184616 kB Dirty: 1488 kB Writeback: 0 kB Mapped: 16948 kB Slab: 54860 kB Committed_AS: 3242132 kB PageTables: 1476 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 node59 on Tue May 1 07:05:50 UTC 2007