Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.35 | 1800.92 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=11-P1=71-P2=127-P3=19-P4=89-P5=17-B.opb |
MD5SUM | d6d70da0465b3d9bf91bd0d1a6292c9e |
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.084986 |
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 | 105 |
Total number of constraints | 11 |
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 | 11 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 32512 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 245 |
Sum of products size (including duplicates) | 490 |
Number of different products | 245 |
Sum of products size | 490 |
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=350 #constraints=507 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.39/0.42 c restart after 401 decisions 0.49/0.51 c nbDecision=500 #constraints=947 0.79/0.89 c restart after 801 decisions 1.09/1.14 c nbDecision=1000 #constraints=1389 1.59/1.69 c nbDecision=1500 #constraints=1850 1.79/1.86 c restart after 1601 decisions 2.49/2.51 c nbDecision=2000 #constraints=2290 3.49/3.56 c nbDecision=2500 #constraints=2750 5.49/5.51 c nbDecision=3000 #constraints=3244 6.19/6.21 c restart after 3201 decisions 7.09/7.18 c nbDecision=3500 #constraints=3693 10.38/10.48 c nbDecision=4000 #constraints=4177 14.39/14.50 c nbDecision=4500 #constraints=4643 18.49/18.52 c nbDecision=5000 #constraints=5109 24.18/24.25 c nbDecision=5500 #constraints=5590 31.58/31.65 c nbDecision=6000 #constraints=6041 35.78/35.81 c restart after 6401 decisions 36.08/36.15 c nbDecision=6500 #constraints=6449 40.59/40.66 c nbDecision=7000 #constraints=6930 52.48/52.58 c nbDecision=7500 #constraints=7413 64.88/64.93 c nbDecision=8000 #constraints=7886 77.87/77.94 c nbDecision=8500 #constraints=8345 91.67/91.72 c nbDecision=9000 #constraints=8809 107.86/107.95 c nbDecision=9500 #constraints=9266 128.66/128.76 c nbDecision=10000 #constraints=9761 144.95/145.02 c nbDecision=10500 #constraints=10210 160.45/160.54 c nbDecision=11000 #constraints=10686 180.04/180.17 c nbDecision=11500 #constraints=11145 201.03/201.16 c nbDecision=12000 #constraints=11617 235.83/235.97 c nbDecision=12500 #constraints=12110 255.73/255.81 c restart after 12801 decisions 262.12/262.21 c nbDecision=13000 #constraints=12556 294.11/294.22 c nbDecision=13500 #constraints=13050 328.60/328.73 c nbDecision=14000 #constraints=13533 359.40/359.54 c nbDecision=14500 #constraints=14004 398.59/398.76 c nbDecision=15000 #constraints=14486 435.17/435.38 c nbDecision=15500 #constraints=14939 472.07/472.21 c nbDecision=16000 #constraints=15391 506.76/506.98 c nbDecision=16500 #constraints=15844 557.65/557.88 c nbDecision=17000 #constraints=16343 601.83/602.01 c nbDecision=17500 #constraints=16820 654.23/654.42 c nbDecision=18000 #constraints=17297 709.00/709.24 c nbDecision=18500 #constraints=17779 763.07/763.35 c nbDecision=19000 #constraints=18268 841.77/842.18 c nbDecision=19500 #constraints=18748 924.66/925.05 c nbDecision=20000 #constraints=19246 989.24/989.63 c nbDecision=20500 #constraints=19734 996.33/996.74 c nbDecision=21000 #constraints=20230 1075.01/1075.46 c nbDecision=21500 #constraints=20731 1145.89/1146.36 c nbDecision=22000 #constraints=21225 1226.88/1227.39 c nbDecision=22500 #constraints=21714 1311.26/1311.73 c nbDecision=23000 #constraints=22206 1395.63/1396.13 c nbDecision=23500 #constraints=22691 1465.61/1466.12 c nbDecision=24000 #constraints=23146 1552.19/1552.70 c nbDecision=24500 #constraints=23634 1633.66/1634.28 c nbDecision=25000 #constraints=24122 1719.44/1720.04 c nbDecision=25500 #constraints=24607 1735.44/1736.04 c restart after 25601 decisions 1786.53/1787.13 c nbDecision=26000 #constraints=25068 1800.04/1800.60 Received signal 15 1800.23/1800.89 1800.23/1800.89 s UNKNOWN 1800.23/1800.89 1800.23/1800.89 c user time= 1800.12 s 1800.23/1800.89 c system time= 0.211967 s 1800.23/1800.89 c wall clock time=1800.9
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/431043-1178002102/instance-431043-1178002102.opb mv /tmp/evaluation/431043-1178002102/instance-431043-1178002102.opb.tmp /tmp/evaluation/431043-1178002102/instance-431043-1178002102.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node63/watcher-431043-1178002102 -o ROOT/results/node63/solver-431043-1178002102 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/431043-1178002102/instance-431043-1178002102.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.98 0.99 3/64 20428 /proc/meminfo: memFree=1803196/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=1468 CPUtime=0 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 191 0 0 0 0 0 0 0 18 0 1 0 276200125 1503232 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 367 174 132 317 0 46 0 [startup+0.0519679 s] /proc/loadavg: 0.92 0.98 0.99 3/64 20428 /proc/meminfo: memFree=1803196/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=1732 CPUtime=0.05 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 255 0 0 0 5 0 0 0 18 0 1 0 276200125 1773568 238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712473 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 433 238 139 317 0 112 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1732 [startup+0.101972 s] /proc/loadavg: 0.92 0.98 0.99 3/64 20428 /proc/meminfo: memFree=1803196/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=1864 CPUtime=0.1 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 281 0 0 0 10 0 0 0 18 0 1 0 276200125 1908736 264 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284208 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 466 264 139 317 0 145 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1864 [startup+0.301993 s] /proc/loadavg: 0.92 0.98 0.99 3/64 20428 /proc/meminfo: memFree=1803196/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=2404 CPUtime=0.29 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 405 0 0 0 29 0 0 0 19 0 1 0 276200125 2461696 388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710752 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 601 388 139 317 0 280 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2404 [startup+0.701036 s] /proc/loadavg: 0.92 0.98 0.99 3/64 20428 /proc/meminfo: memFree=1803196/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=3064 CPUtime=0.69 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 598 0 0 0 69 0 0 0 22 0 1 0 276200125 3137536 581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 766 581 139 317 0 445 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3064 [startup+1.50112 s] /proc/loadavg: 0.92 0.98 0.99 2/65 20429 /proc/meminfo: memFree=1800756/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=4808 CPUtime=1.49 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 1011 0 0 0 149 0 0 0 25 0 1 0 276200125 4923392 994 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 1202 994 139 317 0 881 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4808 [startup+3.10129 s] /proc/loadavg: 0.92 0.98 0.99 2/65 20429 /proc/meminfo: memFree=1798516/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=7248 CPUtime=3.09 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 1612 0 0 0 308 1 0 0 25 0 1 0 276200125 7421952 1595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563659 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 1812 1595 139 317 0 1491 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7248 [startup+6.30163 s] /proc/loadavg: 0.93 0.98 0.99 2/65 20429 /proc/meminfo: memFree=1795444/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=9492 CPUtime=6.29 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 2176 0 0 0 628 1 0 0 25 0 1 0 276200125 9719808 2159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134717156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 2373 2159 139 317 0 2052 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9492 [startup+12.7013 s] /proc/loadavg: 0.93 0.98 0.99 2/65 20429 /proc/meminfo: memFree=1792116/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=12392 CPUtime=12.68 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 2873 0 0 0 1267 1 0 0 25 0 1 0 276200125 12689408 2856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 3098 2856 139 317 0 2777 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 12392 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/65 20429 /proc/meminfo: memFree=1789108/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=15896 CPUtime=25.48 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 3691 0 0 0 2546 2 0 0 25 0 1 0 276200125 16277504 3674 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711106 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 3974 3674 139 317 0 3653 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15896 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.99 2/65 20429 /proc/meminfo: memFree=1784628/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=20284 CPUtime=51.08 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 4790 0 0 0 5104 4 0 0 25 0 1 0 276200125 20770816 4773 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 5071 4773 170 317 0 4750 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 20284 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/65 20429 /proc/meminfo: memFree=1779956/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=25016 CPUtime=102.27 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 5989 0 0 0 10222 5 0 0 25 0 1 0 276200125 25616384 5914 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 6254 5914 170 317 0 5933 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 25016 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20429 /proc/meminfo: memFree=1775476/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=29964 CPUtime=162.25 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 7117 0 0 0 16219 6 0 0 25 0 1 0 276200125 30683136 7042 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 7491 7042 170 317 0 7170 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 29964 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20429 /proc/meminfo: memFree=1772148/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=33300 CPUtime=222.24 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 7929 0 0 0 22217 7 0 0 25 0 1 0 276200125 34099200 7854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 8325 7854 170 317 0 8004 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 33300 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20429 /proc/meminfo: memFree=1769780/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=36028 CPUtime=282.22 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 8537 0 0 0 28215 7 0 0 25 0 1 0 276200125 36892672 8462 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 9007 8462 170 317 0 8686 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 36028 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20429 /proc/meminfo: memFree=1767412/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=38484 CPUtime=342.2 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 9121 0 0 0 34212 8 0 0 25 0 1 0 276200125 39407616 9046 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 9621 9046 170 317 0 9300 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 38484 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20429 /proc/meminfo: memFree=1765236/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=40440 CPUtime=402.18 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 9664 0 0 0 40210 8 0 0 25 0 1 0 276200125 41410560 9589 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 10110 9589 170 317 0 9789 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 40440 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20429 /proc/meminfo: memFree=1763252/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=42600 CPUtime=462.17 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 10153 0 0 0 46208 9 0 0 25 0 1 0 276200125 43622400 10078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 10650 10078 170 317 0 10329 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 42600 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20429 /proc/meminfo: memFree=1761332/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=44616 CPUtime=522.16 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 10635 0 0 0 52206 10 0 0 25 0 1 0 276200125 45686784 10560 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 11154 10560 170 317 0 10833 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 44616 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20429 /proc/meminfo: memFree=1759732/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=46220 CPUtime=582.14 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 11028 0 0 0 58204 10 0 0 25 0 1 0 276200125 47329280 10953 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 11555 10953 170 317 0 11234 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 46220 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20429 /proc/meminfo: memFree=1758132/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=48116 CPUtime=642.13 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 11537 0 0 0 64202 11 0 0 25 0 1 0 276200125 49270784 11347 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 12029 11347 170 317 0 11708 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 48116 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20627 /proc/meminfo: memFree=1751860/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=55016 CPUtime=941.95 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 13022 0 0 0 94181 14 0 0 25 0 1 0 276200125 56336384 12832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 13754 12832 170 317 0 13433 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 55016 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20627 /proc/meminfo: memFree=1749364/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=57548 CPUtime=1001.93 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 13639 0 0 0 100179 14 0 0 25 0 1 0 276200125 58929152 13449 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715606 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 14387 13449 170 317 0 14066 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 57548 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20627 /proc/meminfo: memFree=1748340/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=58684 CPUtime=1061.92 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 13908 0 0 0 106177 15 0 0 25 0 1 0 276200125 60092416 13718 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 14671 13718 170 317 0 14350 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 58684 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20627 /proc/meminfo: memFree=1747188/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=59636 CPUtime=1121.9 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 14175 0 0 0 112175 15 0 0 25 0 1 0 276200125 61067264 13985 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 14909 13985 170 317 0 14588 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 59636 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20627 /proc/meminfo: memFree=1746036/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=60812 CPUtime=1181.89 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 14466 0 0 0 118173 16 0 0 25 0 1 0 276200125 62271488 14276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 15203 14276 170 317 0 14882 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 60812 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20627 /proc/meminfo: memFree=1745204/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=62040 CPUtime=1241.87 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 14732 0 0 0 124171 16 0 0 25 0 1 0 276200125 63528960 14509 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 15510 14509 170 317 0 15189 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 62040 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20627 /proc/meminfo: memFree=1744308/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=62956 CPUtime=1301.85 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 14967 0 0 0 130169 16 0 0 25 0 1 0 276200125 64466944 14711 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 15739 14711 170 317 0 15418 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 62956 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20627 /proc/meminfo: memFree=1743412/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=63876 CPUtime=1361.84 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 15199 0 0 0 136167 17 0 0 25 0 1 0 276200125 65409024 14943 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 15969 14943 170 317 0 15648 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 63876 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20627 /proc/meminfo: memFree=1742452/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=64656 CPUtime=1421.82 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 15425 0 0 0 142165 17 0 0 25 0 1 0 276200125 66207744 15169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 16164 15169 170 317 0 15843 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 64656 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20627 /proc/meminfo: memFree=1740660/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=67108 CPUtime=1481.81 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 15883 0 0 0 148163 18 0 0 25 0 1 0 276200125 68718592 15627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712538 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 16777 15627 170 317 0 16456 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 67108 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20627 /proc/meminfo: memFree=1739700/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=68060 CPUtime=1541.8 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 16145 0 0 0 154161 19 0 0 25 0 1 0 276200125 69693440 15856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 17015 15856 170 317 0 16694 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 68060 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20627 /proc/meminfo: memFree=1738932/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=68836 CPUtime=1601.77 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 16352 0 0 0 160158 19 0 0 25 0 1 0 276200125 70488064 16063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 17209 16063 170 317 0 16888 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 68836 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20627 /proc/meminfo: memFree=1737908/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=69772 CPUtime=1661.77 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 16598 0 0 0 166157 20 0 0 25 0 1 0 276200125 71446528 16309 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 17443 16309 170 317 0 17122 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 69772 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20627 /proc/meminfo: memFree=1737076/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=70420 CPUtime=1721.74 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 16812 0 0 0 172154 20 0 0 25 0 1 0 276200125 72110080 16523 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712497 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 17605 16523 170 317 0 17284 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 70420 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20627 /proc/meminfo: memFree=1735988/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=71732 CPUtime=1781.73 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 17103 0 0 0 178152 21 0 0 25 0 1 0 276200125 73453568 16781 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 17933 16781 170 317 0 17612 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 71732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20627 /proc/meminfo: memFree=1735476/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=72384 CPUtime=1800.04 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 17235 0 0 0 179983 21 0 0 25 0 1 0 276200125 74121216 16880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 18096 16880 170 317 0 17775 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 72384 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: 0.99 0.98 0.99 2/65 20627 /proc/meminfo: memFree=1735476/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=72384 CPUtime=1800.23 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 17235 0 0 0 180002 21 0 0 25 0 1 0 276200125 74121216 16880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712504 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 18096 16880 170 317 0 17775 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 72384 [startup+1800.9 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20627 /proc/meminfo: memFree=1735476/2055920 swapFree=4182900/4192956 [pid=20428] ppid=20426 vsize=71468 CPUtime=1800.33 /proc/20428/stat : 20428 (oree) R 20426 20428 19027 0 -1 4194304 17251 0 0 0 180012 21 0 0 25 0 1 0 276200125 73183232 16723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20428/statm: 17867 16723 186 317 0 17546 0 Current children cumulated CPU time (s) 1800.33 Current children cumulated vsize (KiB) 71468 Child status: 0 Real time (s): 1800.92 CPU time (s): 1800.35 CPU user time (s): 1800.13 CPU system time (s): 0.223965 CPU usage (%): 99.9686 Max. virtual memory (cumulated for all children) (KiB): 72384 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.13 system time used= 0.223965 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17251 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= 2618 runsolver used 1.45478 second user time and 3.51946 second system time The end
Begin job on node63 on Tue May 1 06:48:22 UTC 2007 IDJOB= 431043 IDBENCH= 48023 IDSOLVER= 172 FILE ID= node63/431043-1178002102 PBS_JOBID= 4728232 Free space on /tmp= 66563 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=11-P1=71-P2=127-P3=19-P4=89-P5=17-B.opb COMMAND LINE= oree /tmp/evaluation/431043-1178002102/instance-431043-1178002102.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node63/convwatcher-431043-1178002102 -o ROOT/results/node63/conversion-431043-1178002102 -C 600 -M 1800 /tmp/evaluation/431043-1178002102/substituteSizeProductKeyword /tmp/evaluation/431043-1178002102/instance-431043-1178002102.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-431043-1178002102 -o ROOT/results/node63/solver-431043-1178002102 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/431043-1178002102/instance-431043-1178002102.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= d6d70da0465b3d9bf91bd0d1a6292c9e RANDOM SEED= 93624112 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node63.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.232 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.232 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: 1803604 kB Buffers: 16756 kB Cached: 159108 kB SwapCached: 3860 kB Active: 49132 kB Inactive: 136840 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1803604 kB SwapTotal: 4192956 kB SwapFree: 4182900 kB Dirty: 1308 kB Writeback: 0 kB Mapped: 16100 kB Slab: 52388 kB Committed_AS: 2408772 kB PageTables: 1460 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 node63 on Tue May 1 07:18:25 UTC 2007