Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.4 | 1800.89 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=233-P1=223-P2=251-P3=181-P4=197-P5=127-P6=89-P7=149-B.opb |
MD5SUM | 8a882d07e0fbb307eb9e9c234ecc464c |
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.162974 |
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 | 168 |
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 | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 448 |
Sum of products size (including duplicates) | 896 |
Number of different products | 448 |
Sum of products size | 896 |
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=616 #constraints=919 hasObjective=yes 0.00/0.01 c res. mode=mod 0.00/0.01 c VSIDS like heuristics 0.00/0.01 c complete search running 0.59/0.68 c restart after 401 decisions 0.79/0.82 c nbDecision=500 #constraints=1362 1.39/1.44 c restart after 801 decisions 1.79/1.84 c nbDecision=1000 #constraints=1830 2.79/2.89 c nbDecision=1500 #constraints=2332 3.20/3.21 c restart after 1601 decisions 4.39/4.47 c nbDecision=2000 #constraints=2797 5.99/6.06 c nbDecision=2500 #constraints=3278 6.99/7.06 c nbDecision=3000 #constraints=3780 7.70/7.71 c restart after 3201 decisions 9.29/9.30 c nbDecision=3500 #constraints=4244 11.18/11.27 c nbDecision=4000 #constraints=4721 12.29/12.31 c nbDecision=4500 #constraints=5215 13.49/13.57 c nbDecision=5000 #constraints=5694 14.79/14.86 c nbDecision=5500 #constraints=6173 16.79/16.83 c nbDecision=6000 #constraints=6642 18.89/18.98 c restart after 6401 decisions 19.39/19.47 c nbDecision=6500 #constraints=7088 23.78/23.85 c nbDecision=7000 #constraints=7589 28.49/28.54 c nbDecision=7500 #constraints=8077 31.69/31.74 c nbDecision=8000 #constraints=8555 37.48/37.52 c nbDecision=8500 #constraints=9057 42.58/42.65 c nbDecision=9000 #constraints=9499 48.87/48.91 c nbDecision=9500 #constraints=9962 56.88/56.94 c nbDecision=10000 #constraints=10424 63.47/63.58 c nbDecision=10500 #constraints=10874 75.27/75.31 c nbDecision=11000 #constraints=11361 87.47/87.58 c nbDecision=11500 #constraints=11837 100.26/100.39 c nbDecision=12000 #constraints=12298 115.96/116.07 c nbDecision=12500 #constraints=12771 125.66/125.80 c restart after 12801 decisions 127.46/127.53 c nbDecision=13000 #constraints=13206 132.45/132.50 c nbDecision=13500 #constraints=13688 147.05/147.10 c nbDecision=14000 #constraints=14166 174.04/174.17 c nbDecision=14500 #constraints=14652 199.04/199.13 c nbDecision=15000 #constraints=15104 225.63/225.79 c nbDecision=15500 #constraints=15581 253.82/253.98 c nbDecision=16000 #constraints=16067 276.41/276.58 c nbDecision=16500 #constraints=16531 295.41/295.53 c nbDecision=17000 #constraints=16970 328.91/329.06 c nbDecision=17500 #constraints=17449 362.19/362.30 c nbDecision=18000 #constraints=17939 392.99/393.18 c nbDecision=18500 #constraints=18400 424.58/424.71 c nbDecision=19000 #constraints=18882 453.87/454.02 c nbDecision=19500 #constraints=19360 476.86/477.09 c nbDecision=20000 #constraints=19812 512.85/513.09 c nbDecision=20500 #constraints=20302 547.04/547.27 c nbDecision=21000 #constraints=20786 572.63/572.86 c nbDecision=21500 #constraints=21238 626.72/626.98 c nbDecision=22000 #constraints=21700 668.52/668.71 c nbDecision=22500 #constraints=22161 720.39/720.64 c nbDecision=23000 #constraints=22650 764.98/765.26 c nbDecision=23500 #constraints=23119 812.17/812.48 c nbDecision=24000 #constraints=23603 865.86/866.15 c nbDecision=24500 #constraints=24090 900.75/901.01 c nbDecision=25000 #constraints=24548 939.94/940.29 c nbDecision=25500 #constraints=25031 945.23/945.58 c restart after 25601 decisions 951.84/952.15 c nbDecision=26000 #constraints=25490 959.23/959.53 c nbDecision=26500 #constraints=25971 1017.72/1018.01 c nbDecision=27000 #constraints=26446 1089.40/1089.77 c nbDecision=27500 #constraints=26944 1169.78/1170.15 c nbDecision=28000 #constraints=27444 1243.85/1244.26 c nbDecision=28500 #constraints=27926 1317.54/1317.99 c nbDecision=29000 #constraints=28407 1397.22/1397.61 c nbDecision=29500 #constraints=28899 1455.00/1455.40 c nbDecision=30000 #constraints=29355 1533.77/1534.27 c nbDecision=30500 #constraints=29831 1596.66/1597.18 c nbDecision=31000 #constraints=30294 1660.04/1660.54 c nbDecision=31500 #constraints=30752 1741.22/1741.72 c nbDecision=32000 #constraints=31215 1800.01/1800.50 Received signal 15 1800.30/1800.86 1800.30/1800.86 s UNKNOWN 1800.30/1800.86 1800.30/1800.86 c user time= 1799.98 s 1800.30/1800.86 c system time= 0.397939 s 1800.30/1800.86 c wall clock time=1800.86
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/430861-1177999795/instance-430861-1177999795.opb mv /tmp/evaluation/430861-1177999795/instance-430861-1177999795.opb.tmp /tmp/evaluation/430861-1177999795/instance-430861-1177999795.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node1/watcher-430861-1177999795 -o ROOT/results/node1/solver-430861-1177999795 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430861-1177999795/instance-430861-1177999795.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.97 0.98 3/77 24177 /proc/meminfo: memFree=1840240/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=1468 CPUtime=0 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 189 0 0 0 0 0 0 0 18 0 1 0 276017362 1503232 172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 367 172 132 317 0 46 0 [startup+0.00714991 s] /proc/loadavg: 0.92 0.97 0.98 3/77 24177 /proc/meminfo: memFree=1840240/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=1600 CPUtime=0 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 212 0 0 0 0 0 0 0 18 0 1 0 276017362 1638400 195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 400 196 132 317 0 79 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1600 [startup+0.101161 s] /proc/loadavg: 0.92 0.97 0.98 3/77 24177 /proc/meminfo: memFree=1840240/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=2056 CPUtime=0.09 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 332 0 0 0 9 0 0 0 18 0 1 0 276017362 2105344 315 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 514 315 139 317 0 193 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2056 [startup+0.301184 s] /proc/loadavg: 0.92 0.97 0.98 3/77 24177 /proc/meminfo: memFree=1840240/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=2452 CPUtime=0.29 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 438 0 0 0 29 0 0 0 19 0 1 0 276017362 2510848 421 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278901 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 613 421 139 317 0 292 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2452 [startup+0.701231 s] /proc/loadavg: 0.92 0.97 0.98 3/77 24177 /proc/meminfo: memFree=1840240/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=3244 CPUtime=0.69 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 632 0 0 0 69 0 0 0 23 0 1 0 276017362 3321856 615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713884 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 811 615 139 317 0 490 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3244 [startup+1.50233 s] /proc/loadavg: 0.92 0.97 0.98 2/78 24178 /proc/meminfo: memFree=1837608/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=4820 CPUtime=1.49 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 1023 0 0 0 149 0 0 0 25 0 1 0 276017362 4935680 1006 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134550109 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 1205 1006 139 317 0 884 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4820 [startup+3.10151 s] /proc/loadavg: 0.93 0.97 0.98 2/78 24178 /proc/meminfo: memFree=1835432/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=7836 CPUtime=3.09 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 1752 0 0 0 308 1 0 0 25 0 1 0 276017362 8024064 1735 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 1959 1735 139 317 0 1638 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7836 [startup+6.30189 s] /proc/loadavg: 0.93 0.97 0.98 2/78 24178 /proc/meminfo: memFree=1831016/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=11944 CPUtime=6.29 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 2782 0 0 0 627 2 0 0 25 0 1 0 276017362 12230656 2765 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 2986 2765 139 317 0 2665 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11944 [startup+12.7016 s] /proc/loadavg: 0.93 0.97 0.98 2/78 24178 /proc/meminfo: memFree=1822576/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=20192 CPUtime=12.69 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 4828 0 0 0 1265 4 0 0 25 0 1 0 276017362 20676608 4811 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 5048 4812 139 317 0 4727 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20192 [startup+25.5011 s] /proc/loadavg: 0.95 0.97 0.98 2/78 24178 /proc/meminfo: memFree=1811952/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=29864 CPUtime=25.48 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 7235 0 0 0 2543 5 0 0 25 0 1 0 276017362 30580736 7174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 7466 7174 170 317 0 7145 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 29864 [startup+51.1011 s] /proc/loadavg: 0.96 0.97 0.98 2/78 24178 /proc/meminfo: memFree=1802992/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=39404 CPUtime=51.08 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 9601 0 0 0 5100 8 0 0 25 0 1 0 276017362 40349696 9540 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 9851 9540 170 317 0 9530 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 39404 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.98 2/78 24178 /proc/meminfo: memFree=1793840/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=48240 CPUtime=102.27 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 11732 0 0 0 10217 10 0 0 25 0 1 0 276017362 49397760 11671 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 12060 11671 170 317 0 11739 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 48240 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24178 /proc/meminfo: memFree=1785648/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=56752 CPUtime=162.25 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 13871 0 0 0 16213 12 0 0 25 0 1 0 276017362 58114048 13724 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 14188 13724 170 317 0 13867 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 56752 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24178 /proc/meminfo: memFree=1780656/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=62176 CPUtime=222.23 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 15086 0 0 0 22209 14 0 0 25 0 1 0 276017362 63668224 14939 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 15544 14939 170 317 0 15223 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 62176 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24178 /proc/meminfo: memFree=1776240/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=66948 CPUtime=282.22 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 16205 0 0 0 28206 16 0 0 25 0 1 0 276017362 68554752 16058 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 16737 16058 170 317 0 16416 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 66948 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24178 /proc/meminfo: memFree=1772272/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=71148 CPUtime=342.2 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 17174 0 0 0 34203 17 0 0 25 0 1 0 276017362 72855552 17027 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 17787 17027 170 317 0 17466 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 71148 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24178 /proc/meminfo: memFree=1768880/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=74532 CPUtime=402.18 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 18030 0 0 0 40200 18 0 0 25 0 1 0 276017362 76320768 17883 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 18633 17883 170 317 0 18312 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 74532 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24178 /proc/meminfo: memFree=1764784/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=78324 CPUtime=462.16 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 19018 0 0 0 46197 19 0 0 25 0 1 0 276017362 80203776 18871 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 19581 18871 170 317 0 19260 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 78324 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24178 /proc/meminfo: memFree=1761200/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=81892 CPUtime=522.14 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 19920 0 0 0 52194 20 0 0 25 0 1 0 276017362 83857408 19773 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 20473 19773 170 317 0 20152 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 81892 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24178 /proc/meminfo: memFree=1757616/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=85296 CPUtime=582.13 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 20801 0 0 0 58191 22 0 0 25 0 1 0 276017362 87343104 20654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 21324 20654 170 317 0 21003 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 85296 [startup+642.301 s] /proc/loadavg: 1.14 1.00 0.99 2/78 24178 /proc/meminfo: memFree=1755376/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=87532 CPUtime=642.12 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 21336 0 0 0 64189 23 0 0 25 0 1 0 276017362 89632768 21189 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 21883 21189 170 317 0 21562 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 87532 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 24178 /proc/meminfo: memFree=1742320/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=103200 CPUtime=942.04 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 24730 0 0 0 94176 28 0 0 25 0 1 0 276017362 105676800 24413 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 25800 24413 170 317 0 25479 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 103200 [startup+1002.3 s] /proc/loadavg: 1.10 1.03 1.00 2/78 24178 /proc/meminfo: memFree=1737200/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=108324 CPUtime=1002.02 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 26031 0 0 0 100172 30 0 0 25 0 1 0 276017362 110923776 25714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 27081 25714 170 317 0 26760 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 108324 [startup+1062.3 s] /proc/loadavg: 1.04 1.02 1.00 2/78 24178 /proc/meminfo: memFree=1735536/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=110152 CPUtime=1062.01 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 26430 0 0 0 106170 31 0 0 25 0 1 0 276017362 112795648 26113 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 27538 26113 170 317 0 27217 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 110152 [startup+1122.3 s] /proc/loadavg: 1.01 1.02 1.00 2/78 24178 /proc/meminfo: memFree=1734000/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=112048 CPUtime=1121.99 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 26805 0 0 0 112168 31 0 0 25 0 1 0 276017362 114737152 26488 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 28012 26488 170 317 0 27691 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 112048 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 24178 /proc/meminfo: memFree=1732592/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=113536 CPUtime=1181.98 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 27163 0 0 0 118166 32 0 0 25 0 1 0 276017362 116260864 26846 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 28384 26846 170 317 0 28063 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 113536 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 24178 /proc/meminfo: memFree=1731056/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=114848 CPUtime=1241.95 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 27541 0 0 0 124163 32 0 0 25 0 1 0 276017362 117604352 27224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 28712 27224 170 317 0 28391 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 114848 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24178 /proc/meminfo: memFree=1729456/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=116304 CPUtime=1301.94 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 27929 0 0 0 130161 33 0 0 25 0 1 0 276017362 119095296 27612 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 29076 27612 170 317 0 28755 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 116304 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24178 /proc/meminfo: memFree=1727920/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=118120 CPUtime=1361.92 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 28374 0 0 0 136158 34 0 0 25 0 1 0 276017362 120954880 27991 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 29530 27991 170 317 0 29209 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 118120 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24178 /proc/meminfo: memFree=1726448/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=119816 CPUtime=1421.91 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 28763 0 0 0 142156 35 0 0 25 0 1 0 276017362 122691584 28347 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 29954 28347 170 317 0 29633 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 119816 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24178 /proc/meminfo: memFree=1724528/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=121692 CPUtime=1481.89 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 29267 0 0 0 148154 35 0 0 25 0 1 0 276017362 124612608 28818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 30423 28818 170 317 0 30102 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 121692 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24180 /proc/meminfo: memFree=1722800/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=123116 CPUtime=1541.87 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 29646 0 0 0 154151 36 0 0 25 0 1 0 276017362 126070784 29197 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 30779 29197 170 317 0 30458 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 123116 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24180 /proc/meminfo: memFree=1721264/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=124556 CPUtime=1601.86 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 30039 0 0 0 160149 37 0 0 25 0 1 0 276017362 127545344 29590 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 31139 29590 170 317 0 30818 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 124556 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24180 /proc/meminfo: memFree=1719472/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=126400 CPUtime=1661.84 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 30512 0 0 0 166146 38 0 0 25 0 1 0 276017362 129433600 30030 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 31600 30030 170 317 0 31279 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 126400 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24180 /proc/meminfo: memFree=1718064/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=127696 CPUtime=1721.82 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 30859 0 0 0 172144 38 0 0 25 0 1 0 276017362 130760704 30377 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 31924 30377 170 317 0 31603 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 127696 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24180 /proc/meminfo: memFree=1716784/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=128864 CPUtime=1781.81 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 31159 0 0 0 178142 39 0 0 25 0 1 0 276017362 131956736 30677 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 32216 30677 170 317 0 31895 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 128864 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24180 /proc/meminfo: memFree=1716400/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=129260 CPUtime=1800.01 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 31249 0 0 0 179962 39 0 0 25 0 1 0 276017362 132362240 30767 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 32315 30767 170 317 0 31994 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 129260 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24181 /proc/meminfo: memFree=1716392/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=129260 CPUtime=1800.11 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 31249 0 0 0 179972 39 0 0 25 0 1 0 276017362 132362240 30767 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 32315 30767 170 317 0 31994 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 129260 [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24181 /proc/meminfo: memFree=1716392/2055920 swapFree=4145736/4192956 [pid=24177] ppid=24175 vsize=129260 CPUtime=1800.3 /proc/24177/stat : 24177 (oree) R 24175 24177 23141 0 -1 4194304 31249 0 0 0 179991 39 0 0 25 0 1 0 276017362 132362240 30767 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24177/statm: 32315 30767 170 317 0 31994 0 Current children cumulated CPU time (s) 1800.3 Current children cumulated vsize (KiB) 129260 Child status: 0 Real time (s): 1800.89 CPU time (s): 1800.4 CPU user time (s): 1799.98 CPU system time (s): 0.419936 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (KiB): 129260 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.98 system time used= 0.419936 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31265 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= 1439 runsolver used 1.38879 second user time and 4.01739 second system time The end
Begin job on node1 on Tue May 1 06:09:55 UTC 2007 IDJOB= 430861 IDBENCH= 48010 IDSOLVER= 172 FILE ID= node1/430861-1177999795 PBS_JOBID= 4728234 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=8-P0=233-P1=223-P2=251-P3=181-P4=197-P5=127-P6=89-P7=149-B.opb COMMAND LINE= oree /tmp/evaluation/430861-1177999795/instance-430861-1177999795.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node1/convwatcher-430861-1177999795 -o ROOT/results/node1/conversion-430861-1177999795 -C 600 -M 1800 /tmp/evaluation/430861-1177999795/substituteSizeProductKeyword /tmp/evaluation/430861-1177999795/instance-430861-1177999795.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-430861-1177999795 -o ROOT/results/node1/solver-430861-1177999795 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430861-1177999795/instance-430861-1177999795.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 8a882d07e0fbb307eb9e9c234ecc464c RANDOM SEED= 342911117 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node1.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.234 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.234 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: 1840648 kB Buffers: 31240 kB Cached: 97044 kB SwapCached: 14516 kB Active: 89188 kB Inactive: 62600 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1840648 kB SwapTotal: 4192956 kB SwapFree: 4145736 kB Dirty: 1420 kB Writeback: 0 kB Mapped: 30348 kB Slab: 48952 kB Committed_AS: 5743632 kB PageTables: 1832 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 node1 on Tue May 1 06:39:58 UTC 2007