Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.11 | 1800.87 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=47-P1=47-P2=67-P3=3-P4=41-P5=53-P6=31-P7=3-P8=41-P9=23-B.opb |
MD5SUM | 015e1ad727429fbf28fe61f3a93025c8 |
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.113982 |
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 | 162 |
Total number of constraints | 19 |
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 | 19 |
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) | 324 |
Sum of products size (including duplicates) | 648 |
Number of different products | 324 |
Sum of products size | 648 |
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=486 #constraints=677 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.28 c restart after 401 decisions 0.29/0.34 c nbDecision=500 #constraints=1107 0.49/0.58 c restart after 801 decisions 0.69/0.72 c nbDecision=1000 #constraints=1512 1.09/1.12 c nbDecision=1500 #constraints=1971 1.19/1.23 c restart after 1601 decisions 1.49/1.58 c nbDecision=2000 #constraints=2397 2.19/2.20 c nbDecision=2500 #constraints=2847 3.09/3.14 c nbDecision=3000 #constraints=3297 3.59/3.68 c restart after 3201 decisions 3.99/4.05 c nbDecision=3500 #constraints=3728 6.19/6.25 c nbDecision=4000 #constraints=4176 9.09/9.19 c nbDecision=4500 #constraints=4593 13.09/13.19 c nbDecision=5000 #constraints=5056 18.38/18.47 c nbDecision=5500 #constraints=5487 25.48/25.55 c nbDecision=6000 #constraints=5936 33.58/33.62 c restart after 6401 decisions 33.78/33.88 c nbDecision=6500 #constraints=6376 40.58/40.65 c nbDecision=7000 #constraints=6846 51.67/51.77 c nbDecision=7500 #constraints=7312 64.37/64.48 c nbDecision=8000 #constraints=7733 77.57/77.67 c nbDecision=8500 #constraints=8181 92.06/92.18 c nbDecision=9000 #constraints=8649 108.55/108.65 c nbDecision=9500 #constraints=9136 126.75/126.88 c nbDecision=10000 #constraints=9604 145.24/145.36 c nbDecision=10500 #constraints=10047 165.83/165.99 c nbDecision=11000 #constraints=10497 189.63/189.73 c nbDecision=11500 #constraints=10973 213.02/213.17 c nbDecision=12000 #constraints=11427 239.20/239.33 c nbDecision=12500 #constraints=11885 255.80/255.90 c restart after 12801 decisions 256.60/256.77 c nbDecision=13000 #constraints=12310 288.88/289.06 c nbDecision=13500 #constraints=12775 307.98/308.10 c nbDecision=14000 #constraints=13253 341.17/341.34 c nbDecision=14500 #constraints=13710 373.26/373.42 c nbDecision=15000 #constraints=14171 413.15/413.34 c nbDecision=15500 #constraints=14662 452.23/452.48 c nbDecision=16000 #constraints=15135 492.42/492.69 c nbDecision=16500 #constraints=15570 529.71/529.92 c nbDecision=17000 #constraints=16030 573.38/573.64 c nbDecision=17500 #constraints=16511 620.87/621.18 c nbDecision=18000 #constraints=17005 668.46/668.73 c nbDecision=18500 #constraints=17487 721.53/721.85 c nbDecision=19000 #constraints=17946 773.92/774.26 c nbDecision=19500 #constraints=18434 830.30/830.61 c nbDecision=20000 #constraints=18894 888.28/888.67 c nbDecision=20500 #constraints=19383 942.26/942.66 c nbDecision=21000 #constraints=19825 1000.04/1000.44 c nbDecision=21500 #constraints=20290 1061.61/1062.05 c nbDecision=22000 #constraints=20747 1128.40/1128.83 c nbDecision=22500 #constraints=21238 1197.07/1197.52 c nbDecision=23000 #constraints=21723 1256.05/1256.58 c nbDecision=23500 #constraints=22216 1267.04/1267.59 c nbDecision=24000 #constraints=22658 1288.14/1288.62 c nbDecision=24500 #constraints=23100 1302.13/1302.67 c nbDecision=25000 #constraints=23581 1322.62/1323.17 c nbDecision=25500 #constraints=24074 1325.92/1326.41 c restart after 25601 decisions 1330.62/1331.12 c nbDecision=26000 #constraints=24509 1348.22/1348.76 c nbDecision=26500 #constraints=24973 1369.30/1369.80 c nbDecision=27000 #constraints=25414 1397.10/1397.62 c nbDecision=27500 #constraints=25863 1421.38/1421.96 c nbDecision=28000 #constraints=26296 1448.19/1448.73 c nbDecision=28500 #constraints=26767 1482.87/1483.46 c nbDecision=29000 #constraints=27253 1510.56/1511.13 c nbDecision=29500 #constraints=27736 1540.15/1540.76 c nbDecision=30000 #constraints=28185 1569.64/1570.24 c nbDecision=30500 #constraints=28610 1599.53/1600.12 c nbDecision=31000 #constraints=29093 1636.42/1637.01 c nbDecision=31500 #constraints=29565 1674.71/1675.35 c nbDecision=32000 #constraints=30033 1708.70/1709.40 c nbDecision=32500 #constraints=30515 1751.44/1752.14 c nbDecision=33000 #constraints=30984 1800.03/1800.80 Received signal 15 1800.03/1800.84 1800.03/1800.84 s UNKNOWN 1800.03/1800.84 1800.03/1800.84 c user time= 1799.75 s 1800.03/1800.84 c system time= 0.336948 s 1800.03/1800.84 c wall clock time=1800.85
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/429321-1177983116/instance-429321-1177983116.opb mv /tmp/evaluation/429321-1177983116/instance-429321-1177983116.opb.tmp /tmp/evaluation/429321-1177983116/instance-429321-1177983116.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-429321-1177983116 -o ROOT/results/node20/solver-429321-1177983116 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/429321-1177983116/instance-429321-1177983116.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: 1.00 1.00 0.91 3/77 6002 /proc/meminfo: memFree=1822448/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=1468 CPUtime=0 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 191 0 0 0 0 0 0 0 18 0 1 0 246228957 1503232 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 367 174 132 317 0 46 0 [startup+0.0301961 s] /proc/loadavg: 1.00 1.00 0.91 3/77 6002 /proc/meminfo: memFree=1822448/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=1732 CPUtime=0.02 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 261 0 0 0 2 0 0 0 18 0 1 0 246228957 1773568 244 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 433 244 139 317 0 112 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1732 [startup+0.10121 s] /proc/loadavg: 1.00 1.00 0.91 3/77 6002 /proc/meminfo: memFree=1822448/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=1996 CPUtime=0.09 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 311 0 0 0 9 0 0 0 18 0 1 0 246228957 2043904 294 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 499 294 139 317 0 178 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1996 [startup+0.301249 s] /proc/loadavg: 1.00 1.00 0.91 3/77 6002 /proc/meminfo: memFree=1822448/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=2512 CPUtime=0.29 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 452 0 0 0 29 0 0 0 19 0 1 0 246228957 2572288 435 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278945 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 628 435 139 317 0 307 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2512 [startup+0.70133 s] /proc/loadavg: 1.00 1.00 0.91 3/77 6002 /proc/meminfo: memFree=1822448/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=3492 CPUtime=0.69 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 695 0 0 0 69 0 0 0 23 0 1 0 246228957 3575808 678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 873 678 139 317 0 552 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3492 [startup+1.50149 s] /proc/loadavg: 1.00 1.00 0.91 2/78 6003 /proc/meminfo: memFree=1819368/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=5488 CPUtime=1.49 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 1199 0 0 0 149 0 0 0 25 0 1 0 246228957 5619712 1182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 1372 1182 170 317 0 1051 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5488 [startup+3.10181 s] /proc/loadavg: 1.00 1.00 0.91 2/78 6003 /proc/meminfo: memFree=1817064/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=7868 CPUtime=3.09 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 1791 0 0 0 308 1 0 0 25 0 1 0 246228957 8056832 1774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 1967 1774 170 317 0 1646 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7868 [startup+6.30145 s] /proc/loadavg: 1.00 1.00 0.91 2/78 6003 /proc/meminfo: memFree=1813992/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=9868 CPUtime=6.29 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 2300 0 0 0 628 1 0 0 25 0 1 0 246228957 10104832 2283 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 2467 2283 170 317 0 2146 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9868 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 0.91 2/78 6003 /proc/meminfo: memFree=1811880/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=11932 CPUtime=12.69 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 2801 0 0 0 1267 2 0 0 25 0 1 0 246228957 12218368 2784 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 2983 2784 170 317 0 2662 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11932 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 0.91 2/78 6003 /proc/meminfo: memFree=1809320/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=14364 CPUtime=25.48 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 3392 0 0 0 2545 3 0 0 25 0 1 0 246228957 14708736 3375 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 3591 3375 170 317 0 3270 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14364 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 0.91 2/78 6003 /proc/meminfo: memFree=1806184/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=17696 CPUtime=51.07 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 4170 0 0 0 5104 3 0 0 25 0 1 0 246228957 18120704 4153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718329 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 4424 4153 170 317 0 4103 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 17696 [startup+102.306 s] /proc/loadavg: 1.00 1.00 0.91 2/78 6003 /proc/meminfo: memFree=1802216/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=21824 CPUtime=102.26 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 5208 0 0 0 10221 5 0 0 25 0 1 0 246228957 22347776 5133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 5456 5133 170 317 0 5135 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 21824 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.91 2/78 6003 /proc/meminfo: memFree=1798952/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=25224 CPUtime=162.23 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 6014 0 0 0 16217 6 0 0 25 0 1 0 246228957 25829376 5939 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 6306 5939 170 317 0 5985 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 25224 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.91 2/78 6003 /proc/meminfo: memFree=1796264/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=27952 CPUtime=222.21 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 6685 0 0 0 22214 7 0 0 25 0 1 0 246228957 28622848 6610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 6988 6610 170 317 0 6667 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 27952 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.91 2/78 6003 /proc/meminfo: memFree=1793832/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=30492 CPUtime=282.19 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 7290 0 0 0 28211 8 0 0 25 0 1 0 246228957 31223808 7215 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 7623 7215 170 317 0 7302 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 30492 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.91 2/78 6003 /proc/meminfo: memFree=1791400/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=32848 CPUtime=342.17 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 7882 0 0 0 34208 9 0 0 25 0 1 0 246228957 33636352 7807 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 8212 7807 170 317 0 7891 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 32848 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.91 2/78 6003 /proc/meminfo: memFree=1789608/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=34752 CPUtime=402.15 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 8343 0 0 0 40204 11 0 0 25 0 1 0 246228957 35586048 8268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 8688 8268 170 317 0 8367 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 34752 [startup+462.302 s] /proc/loadavg: 1.05 1.01 0.92 2/78 6003 /proc/meminfo: memFree=1787560/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=37108 CPUtime=462.12 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 8849 0 0 0 46201 11 0 0 25 0 1 0 246228957 37998592 8774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 9277 8774 170 317 0 8956 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 37108 [startup+522.302 s] /proc/loadavg: 1.02 1.01 0.92 2/78 6003 /proc/meminfo: memFree=1786024/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=38596 CPUtime=522.1 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 9223 0 0 0 52198 12 0 0 25 0 1 0 246228957 39522304 9148 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 9649 9148 170 317 0 9328 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 38596 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6005 /proc/meminfo: memFree=1784424/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=40088 CPUtime=582.08 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 9601 0 0 0 58195 13 0 0 25 0 1 0 246228957 41050112 9526 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 10022 9526 170 317 0 9701 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 40088 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6005 /proc/meminfo: memFree=1782888/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=42252 CPUtime=642.07 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 10103 0 0 0 64193 14 0 0 25 0 1 0 246228957 43266048 9914 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 10563 9914 170 317 0 10242 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 42252 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6005 /proc/meminfo: memFree=1778984/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=46340 CPUtime=822 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 11080 0 0 0 82183 17 0 0 25 0 1 0 246228957 47452160 10891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604197 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 11585 10891 170 317 0 11264 0 Current children cumulated CPU time (s) 822 Current children cumulated vsize (KiB) 46340 [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6005 /proc/meminfo: memFree=1777832/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=47520 CPUtime=881.98 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 11369 0 0 0 88180 18 0 0 25 0 1 0 246228957 48660480 11180 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 11880 11180 170 317 0 11559 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 47520 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6005 /proc/meminfo: memFree=1776680/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=48872 CPUtime=941.96 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 11668 0 0 0 94178 18 0 0 25 0 1 0 246228957 50044928 11479 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 12218 11479 170 317 0 11897 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 48872 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6005 /proc/meminfo: memFree=1775592/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=49928 CPUtime=1001.94 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 11953 0 0 0 100175 19 0 0 25 0 1 0 246228957 51126272 11764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 12482 11764 170 317 0 12161 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 49928 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6005 /proc/meminfo: memFree=1774568/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=50976 CPUtime=1061.91 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 12219 0 0 0 106172 19 0 0 25 0 1 0 246228957 52199424 12030 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 12744 12030 170 317 0 12423 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 50976 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6005 /proc/meminfo: memFree=1773480/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=52064 CPUtime=1121.89 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 12488 0 0 0 112169 20 0 0 25 0 1 0 246228957 53313536 12299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 13016 12299 170 317 0 12695 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 52064 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6005 /proc/meminfo: memFree=1772456/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=53260 CPUtime=1181.87 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 12767 0 0 0 118166 21 0 0 25 0 1 0 246228957 54538240 12545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715680 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 13315 12545 170 317 0 12994 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 53260 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6005 /proc/meminfo: memFree=1771368/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=54168 CPUtime=1241.85 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 13015 0 0 0 124163 22 0 0 25 0 1 0 246228957 55468032 12793 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 13542 12793 170 317 0 13221 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 54168 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6005 /proc/meminfo: memFree=1767720/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=57984 CPUtime=1301.83 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 13927 0 0 0 130160 23 0 0 25 0 1 0 246228957 59375616 13705 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 14496 13705 170 317 0 14175 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 57984 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6005 /proc/meminfo: memFree=1763816/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=61984 CPUtime=1361.81 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 14898 0 0 0 136156 25 0 0 25 0 1 0 246228957 63471616 14676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 15496 14676 170 317 0 15175 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 61984 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6005 /proc/meminfo: memFree=1761320/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=64396 CPUtime=1421.8 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 15517 0 0 0 142153 27 0 0 25 0 1 0 246228957 65941504 15295 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 16099 15295 170 317 0 15778 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 64396 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6005 /proc/meminfo: memFree=1759144/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=66752 CPUtime=1481.77 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 16070 0 0 0 148150 27 0 0 25 0 1 0 246228957 68354048 15848 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 16688 15848 170 317 0 16367 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 66752 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6005 /proc/meminfo: memFree=1756840/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=69252 CPUtime=1541.75 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 16664 0 0 0 154147 28 0 0 25 0 1 0 246228957 70914048 16409 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 17313 16409 170 317 0 16992 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 69252 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6005 /proc/meminfo: memFree=1754344/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=72356 CPUtime=1601.73 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 17304 0 0 0 160144 29 0 0 25 0 1 0 246228957 74092544 17049 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 18089 17049 170 317 0 17768 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 72356 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6005 /proc/meminfo: memFree=1752552/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=74088 CPUtime=1661.71 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 17748 0 0 0 166141 30 0 0 25 0 1 0 246228957 75866112 17493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 18522 17493 170 317 0 18201 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 74088 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6005 /proc/meminfo: memFree=1750824/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=75684 CPUtime=1721.69 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 18174 0 0 0 172138 31 0 0 25 0 1 0 246228957 77500416 17919 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 18921 17919 170 317 0 18600 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 75684 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.92 2/84 6173 /proc/meminfo: memFree=1747944/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=77152 CPUtime=1781.57 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 18525 0 0 0 178124 33 0 0 25 0 1 0 246228957 79003648 18270 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 19288 18270 170 317 0 18967 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (KiB) 77152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6203 /proc/meminfo: memFree=1748632/2055920 swapFree=4154876/4192956 [pid=6002] ppid=6000 vsize=77548 CPUtime=1800.03 /proc/6002/stat : 6002 (oree) R 6000 6002 32348 0 -1 4194304 18629 0 0 0 179970 33 0 0 25 0 1 0 246228957 79409152 18374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562768 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6002/statm: 19387 18374 170 317 0 19066 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 77548 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.87 CPU time (s): 1800.11 CPU user time (s): 1799.75 CPU system time (s): 0.350946 CPU usage (%): 99.9578 Max. virtual memory (cumulated for all children) (KiB): 77548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.75 system time used= 0.350946 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18645 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= 37386 runsolver used 1.36679 second user time and 4.00839 second system time The end
Begin job on node20 on Tue May 1 01:31:56 UTC 2007 IDJOB= 429321 IDBENCH= 47900 IDSOLVER= 172 FILE ID= node20/429321-1177983116 PBS_JOBID= 4728191 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=47-P2=67-P3=3-P4=41-P5=53-P6=31-P7=3-P8=41-P9=23-B.opb COMMAND LINE= oree /tmp/evaluation/429321-1177983116/instance-429321-1177983116.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node20/convwatcher-429321-1177983116 -o ROOT/results/node20/conversion-429321-1177983116 -C 600 -M 1800 /tmp/evaluation/429321-1177983116/substituteSizeProductKeyword /tmp/evaluation/429321-1177983116/instance-429321-1177983116.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-429321-1177983116 -o ROOT/results/node20/solver-429321-1177983116 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/429321-1177983116/instance-429321-1177983116.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 015e1ad727429fbf28fe61f3a93025c8 RANDOM SEED= 406268455 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node20.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.265 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.265 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: 1822792 kB Buffers: 44920 kB Cached: 96188 kB SwapCached: 16448 kB Active: 94076 kB Inactive: 74216 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1822792 kB SwapTotal: 4192956 kB SwapFree: 4154876 kB Dirty: 1408 kB Writeback: 0 kB Mapped: 34092 kB Slab: 50336 kB Committed_AS: 2324316 kB PageTables: 1756 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 node20 on Tue May 1 02:01:59 UTC 2007