Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.36 | 1800.9 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=191-P1=151-P2=41-P3=257-P4=191-B.opb |
MD5SUM | e04f59e7146720276551350f74bab120 |
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.100984 |
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 | 96 |
Total number of constraints | 9 |
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 | 9 |
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) | 256 |
Sum of products size (including duplicates) | 512 |
Number of different products | 256 |
Sum of products size | 512 |
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=352 #constraints=526 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.59/0.66 c restart after 401 decisions 0.79/0.80 c nbDecision=500 #constraints=967 1.59/1.60 c restart after 801 decisions 1.99/2.08 c nbDecision=1000 #constraints=1433 2.69/2.71 c nbDecision=1500 #constraints=1895 2.69/2.80 c restart after 1601 decisions 3.59/3.63 c nbDecision=2000 #constraints=2356 4.79/4.84 c nbDecision=2500 #constraints=2824 6.69/6.70 c nbDecision=3000 #constraints=3282 7.39/7.47 c restart after 3201 decisions 8.99/9.09 c nbDecision=3500 #constraints=3732 12.79/12.88 c nbDecision=4000 #constraints=4225 17.39/17.41 c nbDecision=4500 #constraints=4713 22.28/22.31 c nbDecision=5000 #constraints=5200 28.98/29.01 c nbDecision=5500 #constraints=5664 36.89/36.92 c nbDecision=6000 #constraints=6137 44.68/44.76 c restart after 6401 decisions 45.38/45.42 c nbDecision=6500 #constraints=6606 60.97/61.00 c nbDecision=7000 #constraints=7086 77.67/77.71 c nbDecision=7500 #constraints=7588 95.37/95.42 c nbDecision=8000 #constraints=8075 120.96/121.03 c nbDecision=8500 #constraints=8575 134.26/134.39 c nbDecision=9000 #constraints=9039 155.45/155.57 c nbDecision=9500 #constraints=9513 176.25/176.32 c nbDecision=10000 #constraints=9965 203.35/203.42 c nbDecision=10500 #constraints=10449 227.93/228.02 c nbDecision=11000 #constraints=10916 249.03/249.16 c nbDecision=11500 #constraints=11359 273.62/273.79 c nbDecision=12000 #constraints=11835 296.83/296.92 c nbDecision=12500 #constraints=12306 319.02/319.12 c restart after 12801 decisions 320.51/320.62 c nbDecision=13000 #constraints=12766 356.01/356.19 c nbDecision=13500 #constraints=13251 398.79/398.99 c nbDecision=14000 #constraints=13739 437.69/437.89 c nbDecision=14500 #constraints=14203 476.07/476.26 c nbDecision=15000 #constraints=14687 520.37/520.55 c nbDecision=15500 #constraints=15168 565.85/566.07 c nbDecision=16000 #constraints=15659 600.14/600.36 c nbDecision=16500 #constraints=16111 647.13/647.30 c nbDecision=17000 #constraints=16603 694.22/694.48 c nbDecision=17500 #constraints=17088 743.42/743.65 c nbDecision=18000 #constraints=17577 784.00/784.29 c nbDecision=18500 #constraints=18048 833.09/833.34 c nbDecision=19000 #constraints=18536 864.29/864.58 c nbDecision=19500 #constraints=18974 897.87/898.17 c nbDecision=20000 #constraints=19431 944.36/944.62 c nbDecision=20500 #constraints=19927 986.35/986.69 c nbDecision=21000 #constraints=20367 1060.14/1060.48 c nbDecision=21500 #constraints=20867 1126.32/1126.63 c nbDecision=22000 #constraints=21364 1190.20/1190.55 c nbDecision=22500 #constraints=21840 1239.09/1239.46 c nbDecision=23000 #constraints=22315 1276.38/1276.74 c nbDecision=23500 #constraints=22738 1333.67/1334.00 c nbDecision=24000 #constraints=23226 1394.15/1394.53 c nbDecision=24500 #constraints=23692 1445.34/1445.73 c nbDecision=25000 #constraints=24166 1479.14/1479.56 c nbDecision=25500 #constraints=24639 1492.13/1492.51 c restart after 25601 decisions 1551.42/1551.87 c nbDecision=26000 #constraints=25089 1657.49/1657.94 c nbDecision=26500 #constraints=25581 1762.68/1763.25 c nbDecision=27000 #constraints=26072 1800.06/1800.61 Received signal 15 1800.25/1800.87 1800.25/1800.87 s UNKNOWN 1800.25/1800.87 1800.25/1800.87 c user time= 1800.08 s 1800.25/1800.87 c system time= 0.25996 s 1800.25/1800.87 c wall clock time=1800.87
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/430343-1177993934/instance-430343-1177993934.opb mv /tmp/evaluation/430343-1177993934/instance-430343-1177993934.opb.tmp /tmp/evaluation/430343-1177993934/instance-430343-1177993934.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node68/watcher-430343-1177993934 -o ROOT/results/node68/solver-430343-1177993934 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430343-1177993934/instance-430343-1177993934.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 1.00 3/64 1544 /proc/meminfo: memFree=1790152/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=1468 CPUtime=0 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 275382961 1503232 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 367 176 132 317 0 46 0 [startup+0.050431 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1544 /proc/meminfo: memFree=1790152/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=1740 CPUtime=0.04 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 260 0 0 0 4 0 0 0 18 0 1 0 275382961 1781760 243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 435 243 139 317 0 114 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1740 [startup+0.102434 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1544 /proc/meminfo: memFree=1790152/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=1868 CPUtime=0.09 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 289 0 0 0 9 0 0 0 18 0 1 0 275382961 1912832 272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272611 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 467 272 139 317 0 146 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1868 [startup+0.302452 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1544 /proc/meminfo: memFree=1790152/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=2388 CPUtime=0.29 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 417 0 0 0 29 0 0 0 19 0 1 0 275382961 2445312 400 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 597 400 139 317 0 276 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2388 [startup+0.702488 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1544 /proc/meminfo: memFree=1790152/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=3296 CPUtime=0.69 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 626 0 0 0 69 0 0 0 22 0 1 0 275382961 3375104 609 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272561 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 824 609 139 317 0 503 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3296 [startup+1.50156 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1545 /proc/meminfo: memFree=1787712/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=4608 CPUtime=1.49 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 956 0 0 0 149 0 0 0 25 0 1 0 275382961 4718592 939 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 1152 939 139 317 0 831 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4608 [startup+3.10171 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1545 /proc/meminfo: memFree=1786048/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=8288 CPUtime=3.09 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 1876 0 0 0 309 0 0 0 25 0 1 0 275382961 8486912 1859 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266187 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 2072 1859 139 317 0 1751 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8288 [startup+6.30199 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1545 /proc/meminfo: memFree=1779648/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=12592 CPUtime=6.29 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 2972 0 0 0 628 1 0 0 25 0 1 0 275382961 12894208 2955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 3148 2955 170 317 0 2827 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12592 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1545 /proc/meminfo: memFree=1774472/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=17164 CPUtime=12.69 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 4057 0 0 0 1267 2 0 0 25 0 1 0 275382961 17575936 4040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564092 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 4291 4040 170 317 0 3970 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17164 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1545 /proc/meminfo: memFree=1770120/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=21512 CPUtime=25.49 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 5132 0 0 0 2546 3 0 0 25 0 1 0 275382961 22028288 5115 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 5378 5115 170 317 0 5057 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 21512 [startup+51.101 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1545 /proc/meminfo: memFree=1764808/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=27256 CPUtime=51.08 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 6468 0 0 0 5104 4 0 0 25 0 1 0 275382961 27910144 6451 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 6814 6451 170 317 0 6493 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 27256 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1545 /proc/meminfo: memFree=1758856/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=33092 CPUtime=102.27 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 7917 0 0 0 10222 5 0 0 25 0 1 0 275382961 33886208 7900 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 8273 7900 170 317 0 7952 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 33092 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1545 /proc/meminfo: memFree=1753352/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=38596 CPUtime=162.25 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 9342 0 0 0 16219 6 0 0 25 0 1 0 275382961 39522304 9268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 9649 9268 170 317 0 9328 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 38596 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1545 /proc/meminfo: memFree=1749064/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=43212 CPUtime=222.23 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 10409 0 0 0 22216 7 0 0 25 0 1 0 275382961 44249088 10335 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 10803 10335 170 317 0 10482 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 43212 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1545 /proc/meminfo: memFree=1743944/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=49308 CPUtime=282.22 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 11694 0 0 0 28214 8 0 0 25 0 1 0 275382961 50491392 11620 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 12327 11620 170 317 0 12006 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 49308 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1545 /proc/meminfo: memFree=1739720/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=53416 CPUtime=342.2 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 12732 0 0 0 34211 9 0 0 25 0 1 0 275382961 54697984 12658 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 13354 12658 170 317 0 13033 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 53416 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1545 /proc/meminfo: memFree=1736904/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=56356 CPUtime=402.19 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 13441 0 0 0 40209 10 0 0 25 0 1 0 275382961 57708544 13367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 14089 13367 170 317 0 13768 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 56356 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1545 /proc/meminfo: memFree=1733960/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=59324 CPUtime=462.18 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 14174 0 0 0 46207 11 0 0 25 0 1 0 275382961 60747776 14100 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 14831 14100 170 317 0 14510 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 59324 [startup+522.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1545 /proc/meminfo: memFree=1731336/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=61928 CPUtime=522.17 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 14823 0 0 0 52204 13 0 0 25 0 1 0 275382961 63414272 14749 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 15482 14749 170 317 0 15161 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 61928 [startup+582.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1547 /proc/meminfo: memFree=1728200/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=64684 CPUtime=582.15 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 15564 0 0 0 58202 13 0 0 25 0 1 0 275382961 66236416 15490 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 16171 15490 170 317 0 15850 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 64684 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1547 /proc/meminfo: memFree=1725256/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=67952 CPUtime=642.14 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 16355 0 0 0 64200 14 0 0 25 0 1 0 275382961 69582848 16168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 16988 16168 170 317 0 16667 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 67952 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1547 /proc/meminfo: memFree=1714952/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=79416 CPUtime=882.07 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 18990 0 0 0 88191 16 0 0 25 0 1 0 275382961 81321984 18803 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 19854 18803 170 317 0 19533 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 79416 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1547 /proc/meminfo: memFree=1712392/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=81888 CPUtime=942.06 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 19615 0 0 0 94189 17 0 0 25 0 1 0 275382961 83853312 19428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 20472 19428 170 317 0 20151 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 81888 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1547 /proc/meminfo: memFree=1710216/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=84240 CPUtime=1002.05 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 20159 0 0 0 100187 18 0 0 25 0 1 0 275382961 86261760 19972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 21060 19972 170 317 0 20739 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 84240 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1547 /proc/meminfo: memFree=1708616/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=85852 CPUtime=1062.04 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 20550 0 0 0 106186 18 0 0 25 0 1 0 275382961 87912448 20363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 21463 20363 170 317 0 21142 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 85852 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1547 /proc/meminfo: memFree=1707144/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=87488 CPUtime=1122.02 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 20920 0 0 0 112183 19 0 0 25 0 1 0 275382961 89587712 20733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563935 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 21872 20733 170 317 0 21551 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 87488 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1547 /proc/meminfo: memFree=1704392/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=91292 CPUtime=1182 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 21611 0 0 0 118181 19 0 0 25 0 1 0 275382961 93483008 21424 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604492 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 22823 21424 170 317 0 22502 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 91292 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1547 /proc/meminfo: memFree=1702024/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=93720 CPUtime=1241.99 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 22180 0 0 0 124179 20 0 0 25 0 1 0 275382961 95969280 21993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 23430 21993 170 317 0 23109 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 93720 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1547 /proc/meminfo: memFree=1699400/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=96464 CPUtime=1301.97 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 22897 0 0 0 130177 20 0 0 25 0 1 0 275382961 98779136 22644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 24116 22644 170 317 0 23795 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 96464 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1547 /proc/meminfo: memFree=1697800/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=98312 CPUtime=1361.96 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 23321 0 0 0 136175 21 0 0 25 0 1 0 275382961 100671488 23035 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 24578 23035 170 317 0 24257 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 98312 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1547 /proc/meminfo: memFree=1695816/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=100152 CPUtime=1421.95 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 23844 0 0 0 142174 21 0 0 25 0 1 0 275382961 102555648 23525 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 25038 23525 170 317 0 24717 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 100152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1547 /proc/meminfo: memFree=1692936/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=102800 CPUtime=1481.93 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 24568 0 0 0 148171 22 0 0 25 0 1 0 275382961 105267200 24249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 25700 24249 170 317 0 25379 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 102800 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1547 /proc/meminfo: memFree=1691400/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=104368 CPUtime=1541.92 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 24942 0 0 0 154169 23 0 0 25 0 1 0 275382961 106872832 24623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710946 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 26092 24623 170 317 0 25771 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 104368 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1547 /proc/meminfo: memFree=1690376/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=105404 CPUtime=1601.9 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 25194 0 0 0 160167 23 0 0 25 0 1 0 275382961 107933696 24875 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712518 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 26351 24875 170 317 0 26030 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 105404 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1547 /proc/meminfo: memFree=1689224/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=106704 CPUtime=1661.88 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 25473 0 0 0 166165 23 0 0 25 0 1 0 275382961 109264896 25154 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 26676 25154 170 317 0 26355 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 106704 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1547 /proc/meminfo: memFree=1688136/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=107736 CPUtime=1721.88 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 25745 0 0 0 172164 24 0 0 25 0 1 0 275382961 110321664 25426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 26934 25426 170 317 0 26613 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 107736 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1750 /proc/meminfo: memFree=1686520/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=108640 CPUtime=1781.75 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 25992 0 0 0 178150 25 0 0 25 0 1 0 275382961 111247360 25673 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 27160 25673 170 317 0 26839 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 108640 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1750 /proc/meminfo: memFree=1686280/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=109068 CPUtime=1800.06 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 26108 0 0 0 179981 25 0 0 25 0 1 0 275382961 111685632 25789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 27267 25789 170 317 0 26946 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 109068 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1750 /proc/meminfo: memFree=1686280/2055920 swapFree=4183864/4192956 [pid=1544] ppid=1542 vsize=109068 CPUtime=1800.25 /proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 26109 0 0 0 180000 25 0 0 25 0 1 0 275382961 111685632 25790 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1544/statm: 27267 25790 170 317 0 26946 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 109068 Child status: 0 Real time (s): 1800.9 CPU time (s): 1800.36 CPU user time (s): 1800.08 CPU system time (s): 0.277957 CPU usage (%): 99.97 Max. virtual memory (cumulated for all children) (KiB): 109068 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.08 system time used= 0.277957 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26125 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= 2226 runsolver used 1.48477 second user time and 3.49347 second system time The end
Begin job on node68 on Tue May 1 04:32:14 UTC 2007 IDJOB= 430343 IDBENCH= 47973 IDSOLVER= 172 FILE ID= node68/430343-1177993934 PBS_JOBID= 4728231 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=191-P1=151-P2=41-P3=257-P4=191-B.opb COMMAND LINE= oree /tmp/evaluation/430343-1177993934/instance-430343-1177993934.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node68/convwatcher-430343-1177993934 -o ROOT/results/node68/conversion-430343-1177993934 -C 600 -M 1800 /tmp/evaluation/430343-1177993934/substituteSizeProductKeyword /tmp/evaluation/430343-1177993934/instance-430343-1177993934.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-430343-1177993934 -o ROOT/results/node68/solver-430343-1177993934 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430343-1177993934/instance-430343-1177993934.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= e04f59e7146720276551350f74bab120 RANDOM SEED= 522168337 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node68.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.216 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.216 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: 1790560 kB Buffers: 12032 kB Cached: 181464 kB SwapCached: 2888 kB Active: 63028 kB Inactive: 139868 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1790560 kB SwapTotal: 4192956 kB SwapFree: 4183864 kB Dirty: 1308 kB Writeback: 0 kB Mapped: 15392 kB Slab: 48564 kB Committed_AS: 3056376 kB PageTables: 1380 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 node68 on Tue May 1 05:02:17 UTC 2007