Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.16 | 1800.88 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=6-P0=47-P1=17-P2=17-P3=31-B.opb |
MD5SUM | 12f8da63a7438023e75727c225236c48 |
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.037993 |
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 | 54 |
Total number of constraints | 7 |
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 | 7 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 6 |
Biggest coefficient in the objective function | 32 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 63 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 2048 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 8064 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 108 |
Sum of products size (including duplicates) | 216 |
Number of different products | 108 |
Sum of products size | 216 |
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=162 #constraints=227 hasObjective=yes 0.00/0.00 c res. mode=mod 0.00/0.00 c VSIDS like heuristics 0.00/0.00 c complete search running 0.19/0.25 c restart after 401 decisions 0.29/0.30 c nbDecision=500 #constraints=658 0.49/0.59 c restart after 801 decisions 0.79/0.83 c nbDecision=1000 #constraints=1101 1.49/1.56 c nbDecision=1500 #constraints=1553 1.69/1.77 c restart after 1601 decisions 2.59/2.62 c nbDecision=2000 #constraints=1987 4.08/4.15 c nbDecision=2500 #constraints=2406 6.99/7.02 c nbDecision=3000 #constraints=2837 8.59/8.62 c restart after 3201 decisions 11.28/11.34 c nbDecision=3500 #constraints=3283 16.89/16.91 c nbDecision=4000 #constraints=3753 23.68/23.78 c nbDecision=4500 #constraints=4229 31.58/31.60 c nbDecision=5000 #constraints=4698 40.37/40.45 c nbDecision=5500 #constraints=5151 50.58/50.64 c nbDecision=6000 #constraints=5568 62.07/62.16 c restart after 6401 decisions 62.97/63.08 c nbDecision=6500 #constraints=6005 79.57/79.64 c nbDecision=7000 #constraints=6470 96.26/96.38 c nbDecision=7500 #constraints=6930 114.45/114.52 c nbDecision=8000 #constraints=7401 133.95/134.07 c nbDecision=8500 #constraints=7853 155.64/155.79 c nbDecision=9000 #constraints=8295 183.23/183.32 c nbDecision=9500 #constraints=8790 207.02/207.15 c nbDecision=10000 #constraints=9262 227.12/227.23 c nbDecision=10500 #constraints=9740 251.11/251.23 c nbDecision=11000 #constraints=10207 282.29/282.40 c nbDecision=11500 #constraints=10688 317.48/317.66 c nbDecision=12000 #constraints=11136 355.37/355.54 c nbDecision=12500 #constraints=11617 377.66/377.80 c restart after 12801 decisions 390.85/391.08 c nbDecision=13000 #constraints=12089 422.45/422.68 c nbDecision=13500 #constraints=12571 456.13/456.36 c nbDecision=14000 #constraints=13051 494.12/494.35 c nbDecision=14500 #constraints=13526 538.11/538.37 c nbDecision=15000 #constraints=13997 584.49/584.72 c nbDecision=15500 #constraints=14486 628.57/628.83 c nbDecision=16000 #constraints=14964 678.76/679.05 c nbDecision=16500 #constraints=15444 725.24/725.54 c nbDecision=17000 #constraints=15904 777.92/778.25 c nbDecision=17500 #constraints=16369 833.10/833.47 c nbDecision=18000 #constraints=16860 889.68/890.07 c nbDecision=18500 #constraints=17352 949.27/949.65 c nbDecision=19000 #constraints=17838 1015.74/1016.16 c nbDecision=19500 #constraints=18331 1083.02/1083.49 c nbDecision=20000 #constraints=18816 1156.10/1156.55 c nbDecision=20500 #constraints=19312 1212.38/1212.85 c nbDecision=21000 #constraints=19747 1255.67/1256.17 c nbDecision=21500 #constraints=20154 1309.04/1309.50 c nbDecision=22000 #constraints=20585 1371.72/1372.21 c nbDecision=22500 #constraints=20966 1444.90/1445.45 c nbDecision=23000 #constraints=21393 1518.47/1519.01 c nbDecision=23500 #constraints=21809 1583.07/1583.76 c nbDecision=24000 #constraints=22222 1654.02/1654.78 c nbDecision=24500 #constraints=22637 1725.00/1725.80 c nbDecision=25000 #constraints=23044 1800.07/1800.80 Received signal 15 1800.07/1800.86 1800.07/1800.86 s UNKNOWN 1800.07/1800.86 1800.07/1800.86 c user time= 1799.96 s 1800.07/1800.86 c system time= 0.187971 s 1800.07/1800.86 c wall clock time=1800.87
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/430679-1177997707/instance-430679-1177997707.opb mv /tmp/evaluation/430679-1177997707/instance-430679-1177997707.opb.tmp /tmp/evaluation/430679-1177997707/instance-430679-1177997707.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node59/watcher-430679-1177997707 -o ROOT/results/node59/solver-430679-1177997707 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430679-1177997707/instance-430679-1177997707.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.91 0.95 0.91 3/64 3926 /proc/meminfo: memFree=1767656/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=1600 CPUtime=0 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 202 0 0 0 0 0 0 0 18 0 1 0 247680322 1638400 185 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 400 185 139 317 0 79 0 [startup+0.060789 s] /proc/loadavg: 0.91 0.95 0.91 3/64 3926 /proc/meminfo: memFree=1767656/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=1728 CPUtime=0.05 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 285 0 0 0 5 0 0 0 18 0 1 0 247680322 1769472 268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266231 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 432 268 170 317 0 111 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1728 [startup+0.101795 s] /proc/loadavg: 0.91 0.95 0.91 3/64 3926 /proc/meminfo: memFree=1767656/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=1860 CPUtime=0.09 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 322 0 0 0 9 0 0 0 18 0 1 0 247680322 1904640 305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 465 305 170 317 0 144 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1860 [startup+0.301834 s] /proc/loadavg: 0.91 0.95 0.91 3/64 3926 /proc/meminfo: memFree=1767656/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=2512 CPUtime=0.29 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 479 0 0 0 29 0 0 0 19 0 1 0 247680322 2572288 462 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272624 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 628 462 170 317 0 307 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2512 [startup+0.70191 s] /proc/loadavg: 0.91 0.95 0.91 3/64 3926 /proc/meminfo: memFree=1767656/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=3308 CPUtime=0.69 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 685 0 0 0 69 0 0 0 22 0 1 0 247680322 3387392 668 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 827 668 170 317 0 506 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3308 [startup+1.50106 s] /proc/loadavg: 0.92 0.95 0.91 2/65 3927 /proc/meminfo: memFree=1765152/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=4484 CPUtime=1.49 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 967 0 0 0 149 0 0 0 25 0 1 0 247680322 4591616 950 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 1121 950 170 317 0 800 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4484 [startup+3.10237 s] /proc/loadavg: 0.92 0.95 0.91 2/65 3927 /proc/meminfo: memFree=1763744/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=6072 CPUtime=3.09 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 1355 0 0 0 309 0 0 0 25 0 1 0 247680322 6217728 1338 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712518 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 1518 1338 170 317 0 1197 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6072 [startup+6.30197 s] /proc/loadavg: 0.92 0.95 0.91 2/65 3927 /proc/meminfo: memFree=1761648/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=7648 CPUtime=6.29 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 1725 0 0 0 628 1 0 0 25 0 1 0 247680322 7831552 1708 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 1912 1708 170 317 0 1591 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7648 [startup+12.7012 s] /proc/loadavg: 0.93 0.96 0.91 2/65 3927 /proc/meminfo: memFree=1759744/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=9400 CPUtime=12.69 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 2158 0 0 0 1267 2 0 0 25 0 1 0 247680322 9625600 2141 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711135 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 2350 2141 170 317 0 2029 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9400 [startup+25.5016 s] /proc/loadavg: 0.94 0.96 0.91 2/65 3927 /proc/meminfo: memFree=1757504/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=12028 CPUtime=25.48 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 2765 0 0 0 2546 2 0 0 25 0 1 0 247680322 12316672 2748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 3007 2748 170 317 0 2686 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 12028 [startup+51.1015 s] /proc/loadavg: 0.96 0.96 0.91 2/65 3927 /proc/meminfo: memFree=1754688/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=14720 CPUtime=51.08 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 3427 0 0 0 5105 3 0 0 25 0 1 0 247680322 15073280 3410 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 3680 3410 170 317 0 3359 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 14720 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.91 2/65 3927 /proc/meminfo: memFree=1751104/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=18288 CPUtime=102.26 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 4292 0 0 0 10222 4 0 0 25 0 1 0 247680322 18726912 4275 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 4572 4275 170 317 0 4251 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 18288 [startup+162.302 s] /proc/loadavg: 1.07 0.99 0.92 2/65 3927 /proc/meminfo: memFree=1748096/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=21564 CPUtime=162.24 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 5047 0 0 0 16219 5 0 0 25 0 1 0 247680322 22081536 5030 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 5391 5030 170 317 0 5070 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 21564 [startup+222.302 s] /proc/loadavg: 1.09 1.00 0.93 2/65 3927 /proc/meminfo: memFree=1745152/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=24500 CPUtime=222.21 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 5827 0 0 0 22216 5 0 0 25 0 1 0 247680322 25088000 5752 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 6125 5752 170 317 0 5804 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 24500 [startup+282.301 s] /proc/loadavg: 1.09 1.01 0.93 2/65 3927 /proc/meminfo: memFree=1742912/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=26920 CPUtime=282.19 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 6399 0 0 0 28213 6 0 0 25 0 1 0 247680322 27566080 6324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 6730 6324 170 317 0 6409 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 26920 [startup+342.302 s] /proc/loadavg: 1.08 1.03 0.94 2/65 3927 /proc/meminfo: memFree=1741120/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=28788 CPUtime=342.17 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 6827 0 0 0 34210 7 0 0 25 0 1 0 247680322 29478912 6752 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 7197 6752 170 317 0 6876 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 28788 [startup+402.301 s] /proc/loadavg: 1.08 1.03 0.94 2/65 3927 /proc/meminfo: memFree=1739136/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=31132 CPUtime=402.16 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 7346 0 0 0 40208 8 0 0 25 0 1 0 247680322 31879168 7271 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604251 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 7783 7271 170 317 0 7462 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 31132 [startup+462.302 s] /proc/loadavg: 1.07 1.04 0.95 2/65 3929 /proc/meminfo: memFree=1737152/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=33152 CPUtime=462.13 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 7837 0 0 0 46205 8 0 0 25 0 1 0 247680322 33947648 7762 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 8288 7762 170 317 0 7967 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 33152 [startup+522.302 s] /proc/loadavg: 1.11 1.06 0.96 2/65 3929 /proc/meminfo: memFree=1735552/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=34620 CPUtime=522.11 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 8234 0 0 0 52203 8 0 0 25 0 1 0 247680322 35450880 8159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 8655 8159 170 317 0 8334 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 34620 [startup+582.302 s] /proc/loadavg: 1.08 1.06 0.96 2/65 3929 /proc/meminfo: memFree=1734080/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=36208 CPUtime=582.09 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 8597 0 0 0 58200 9 0 0 25 0 1 0 247680322 37076992 8522 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712551 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 9052 8522 170 317 0 8731 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 36208 [startup+642.302 s] /proc/loadavg: 1.06 1.06 0.97 2/65 3929 /proc/meminfo: memFree=1732544/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=37924 CPUtime=642.07 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 8975 0 0 0 64198 9 0 0 25 0 1 0 247680322 38834176 8900 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712567 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 9481 8900 170 317 0 9160 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 37924 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.03 0.97 2/65 3929 /proc/meminfo: memFree=1728320/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=42580 CPUtime=822.01 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 10094 0 0 0 82190 11 0 0 25 0 1 0 247680322 43601920 9905 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 10645 9905 170 317 0 10324 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 42580 [startup+882.301 s] /proc/loadavg: 1.00 1.03 0.97 2/65 3929 /proc/meminfo: memFree=1727616/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=43492 CPUtime=881.99 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 10303 0 0 0 88188 11 0 0 25 0 1 0 247680322 44535808 10114 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 10873 10114 170 317 0 10552 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 43492 [startup+942.302 s] /proc/loadavg: 1.00 1.02 0.97 2/65 3929 /proc/meminfo: memFree=1726528/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=44536 CPUtime=941.97 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 10574 0 0 0 94185 12 0 0 25 0 1 0 247680322 45604864 10385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 11134 10385 170 317 0 10813 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 44536 [startup+1002.3 s] /proc/loadavg: 1.00 1.01 0.97 2/65 3929 /proc/meminfo: memFree=1725440/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=45724 CPUtime=1001.95 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 10841 0 0 0 100183 12 0 0 25 0 1 0 247680322 46821376 10652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 11431 10652 170 317 0 11110 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 45724 [startup+1062.3 s] /proc/loadavg: 1.00 1.01 0.97 2/65 3929 /proc/meminfo: memFree=1724480/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=46688 CPUtime=1061.92 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 11088 0 0 0 106180 12 0 0 25 0 1 0 247680322 47808512 10899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 11672 10899 170 317 0 11351 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 46688 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 3929 /proc/meminfo: memFree=1723456/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=47768 CPUtime=1121.91 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 11358 0 0 0 112178 13 0 0 25 0 1 0 247680322 48914432 11136 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718332 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 11942 11136 170 317 0 11621 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 47768 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 3929 /proc/meminfo: memFree=1722560/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=48612 CPUtime=1181.88 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 11594 0 0 0 118175 13 0 0 25 0 1 0 247680322 49778688 11372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 12153 11372 170 317 0 11832 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 48612 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 3929 /proc/meminfo: memFree=1721344/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=49788 CPUtime=1241.87 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 11880 0 0 0 124173 14 0 0 25 0 1 0 247680322 50982912 11658 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 12447 11658 170 317 0 12126 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 49788 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 3929 /proc/meminfo: memFree=1720064/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=51132 CPUtime=1301.85 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 12202 0 0 0 130171 14 0 0 25 0 1 0 247680322 52359168 11980 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 12783 11980 170 317 0 12462 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 51132 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 3929 /proc/meminfo: memFree=1719104/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=52188 CPUtime=1361.82 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 12483 0 0 0 136168 14 0 0 25 0 1 0 247680322 53440512 12228 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 13047 12228 170 317 0 12726 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 52188 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.97 2/65 3929 /proc/meminfo: memFree=1718208/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=53108 CPUtime=1421.8 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 12707 0 0 0 142166 14 0 0 25 0 1 0 247680322 54382592 12452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 13277 12452 170 317 0 12956 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 53108 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 3929 /proc/meminfo: memFree=1717312/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=54152 CPUtime=1481.78 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 12957 0 0 0 148163 15 0 0 25 0 1 0 247680322 55451648 12669 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711029 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 13538 12669 170 317 0 13217 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 54152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 3929 /proc/meminfo: memFree=1716096/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=55692 CPUtime=1541.76 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 13257 0 0 0 154161 15 0 0 25 0 1 0 247680322 57028608 12969 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 13923 12969 170 317 0 13602 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 55692 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.97 2/71 4103 /proc/meminfo: memFree=1713848/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=56608 CPUtime=1601.65 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 13509 0 0 0 160149 16 0 0 25 0 1 0 247680322 57966592 13188 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 14152 13188 170 317 0 13831 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 56608 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4127 /proc/meminfo: memFree=1714176/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=57384 CPUtime=1661.61 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 13719 0 0 0 166144 17 0 0 25 0 1 0 247680322 58761216 13398 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 14346 13398 170 317 0 14025 0 Current children cumulated CPU time (s) 1661.61 Current children cumulated vsize (KiB) 57384 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4127 /proc/meminfo: memFree=1713408/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=58172 CPUtime=1721.6 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 13917 0 0 0 172142 18 0 0 25 0 1 0 247680322 59568128 13596 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 14543 13596 170 317 0 14222 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 58172 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4127 /proc/meminfo: memFree=1712576/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=58956 CPUtime=1781.57 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 14119 0 0 0 178139 18 0 0 25 0 1 0 247680322 60370944 13798 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563446 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 14739 13798 170 317 0 14418 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (KiB) 58956 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4127 /proc/meminfo: memFree=1712192/2055920 swapFree=4184616/4192956 [pid=3926] ppid=3924 vsize=59220 CPUtime=1800.07 /proc/3926/stat : 3926 (oree) R 3924 3926 2901 0 -1 4194304 14210 0 0 0 179989 18 0 0 25 0 1 0 247680322 60641280 13889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3926/statm: 14805 13889 170 317 0 14484 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 59220 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.88 CPU time (s): 1800.16 CPU user time (s): 1799.96 CPU system time (s): 0.197969 CPU usage (%): 99.9598 Max. virtual memory (cumulated for all children) (KiB): 59220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.96 system time used= 0.197969 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14232 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= 2022 runsolver used 1.46678 second user time and 3.51147 second system time The end
Begin job on node59 on Tue May 1 05:35:07 UTC 2007 IDJOB= 430679 IDBENCH= 47997 IDSOLVER= 172 FILE ID= node59/430679-1177997707 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=6-P0=47-P1=17-P2=17-P3=31-B.opb COMMAND LINE= oree /tmp/evaluation/430679-1177997707/instance-430679-1177997707.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node59/convwatcher-430679-1177997707 -o ROOT/results/node59/conversion-430679-1177997707 -C 600 -M 1800 /tmp/evaluation/430679-1177997707/substituteSizeProductKeyword /tmp/evaluation/430679-1177997707/instance-430679-1177997707.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-430679-1177997707 -o ROOT/results/node59/solver-430679-1177997707 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430679-1177997707/instance-430679-1177997707.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 12f8da63a7438023e75727c225236c48 RANDOM SEED= 711784245 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: 1768128 kB Buffers: 26636 kB Cached: 182140 kB SwapCached: 2364 kB Active: 59324 kB Inactive: 159596 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1768128 kB SwapTotal: 4192956 kB SwapFree: 4184616 kB Dirty: 1484 kB Writeback: 0 kB Mapped: 16948 kB Slab: 54860 kB Committed_AS: 3241460 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 06:05:10 UTC 2007