Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.22 | 1800.67 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=53-P1=17-P2=109-P3=2-P4=191-P5=191-P6=47-P7=101-P8=97-B.opb |
MD5SUM | 10ec6ab90ad015d6fa7b4d2290470901 |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 0.197969 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2 |
Optimality of the best value was proved | YES |
Number of variables | 192 |
Total number of constraints | 17 |
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 | 17 |
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) | 512 |
Sum of products size (including duplicates) | 1024 |
Number of different products | 512 |
Sum of products size | 1024 |
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=704 #constraints=1050 hasObjective=yes 0.00/0.01 c res. mode=mod 0.00/0.01 c VSIDS like heuristics 0.00/0.01 c complete search running 0.59/0.63 c restart after 401 decisions 0.69/0.74 c nbDecision=500 #constraints=1474 1.39/1.43 c restart after 801 decisions 1.89/1.93 c nbDecision=1000 #constraints=1936 2.79/2.88 c nbDecision=1500 #constraints=2417 2.99/3.04 c restart after 1601 decisions 4.50/4.51 c nbDecision=2000 #constraints=2868 5.99/6.04 c nbDecision=2500 #constraints=3358 7.29/7.32 c nbDecision=3000 #constraints=3835 7.59/7.70 c restart after 3201 decisions 9.39/9.47 c nbDecision=3500 #constraints=4301 12.19/12.20 c nbDecision=4000 #constraints=4766 13.09/13.15 c nbDecision=4500 #constraints=5251 14.09/14.15 c nbDecision=5000 #constraints=5726 15.79/15.86 c nbDecision=5500 #constraints=6219 18.38/18.45 c nbDecision=6000 #constraints=6691 20.79/20.85 c restart after 6401 decisions 21.18/21.24 c nbDecision=6500 #constraints=7128 25.49/25.54 c nbDecision=7000 #constraints=7601 27.59/27.67 c nbDecision=7500 #constraints=8091 31.18/31.29 c nbDecision=8000 #constraints=8560 35.09/35.13 c nbDecision=8500 #constraints=9019 40.58/40.69 c nbDecision=9000 #constraints=9495 48.48/48.56 c nbDecision=9500 #constraints=9987 55.08/55.19 c nbDecision=10000 #constraints=10445 67.68/67.71 c nbDecision=10500 #constraints=10929 77.47/77.54 c nbDecision=11000 #constraints=11370 89.67/89.79 c nbDecision=11500 #constraints=11811 103.27/103.34 c nbDecision=12000 #constraints=12267 122.77/122.86 c nbDecision=12500 #constraints=12731 130.76/130.82 c restart after 12801 decisions 132.66/132.73 c nbDecision=13000 #constraints=13166 136.76/136.84 c nbDecision=13500 #constraints=13646 169.25/169.32 c nbDecision=14000 #constraints=14130 193.65/193.72 c nbDecision=14500 #constraints=14602 220.63/220.75 c nbDecision=15000 #constraints=15076 239.73/239.85 c nbDecision=15500 #constraints=15556 263.73/263.86 c nbDecision=16000 #constraints=16043 289.82/289.91 c nbDecision=16500 #constraints=16530 322.51/322.68 c nbDecision=17000 #constraints=17026 355.70/355.84 c nbDecision=17500 #constraints=17489 390.49/390.64 c nbDecision=18000 #constraints=17973 414.79/414.96 c nbDecision=18500 #constraints=18436 437.08/437.27 c nbDecision=19000 #constraints=18900 467.97/468.13 c nbDecision=19500 #constraints=19361 506.97/507.14 c nbDecision=20000 #constraints=19815 546.25/546.47 c nbDecision=20500 #constraints=20293 590.34/590.54 c nbDecision=21000 #constraints=20755 620.44/620.66 c nbDecision=21500 #constraints=21207 650.83/651.07 c nbDecision=22000 #constraints=21677 698.41/698.65 c nbDecision=22500 #constraints=22151 746.90/747.13 c nbDecision=23000 #constraints=22644 783.59/783.88 c nbDecision=23500 #constraints=23106 825.58/825.89 c nbDecision=24000 #constraints=23579 867.67/867.90 c nbDecision=24500 #constraints=24034 909.96/910.21 c nbDecision=25000 #constraints=24513 934.85/935.19 c nbDecision=25500 #constraints=24975 951.76/952.01 c restart after 25601 decisions 957.15/957.47 c nbDecision=26000 #constraints=25416 963.65/963.90 c nbDecision=26500 #constraints=25905 1043.02/1043.36 c nbDecision=27000 #constraints=26396 1113.01/1113.31 c nbDecision=27500 #constraints=26882 1186.50/1186.87 c nbDecision=28000 #constraints=27370 1245.28/1245.63 c nbDecision=28500 #constraints=27841 1302.96/1303.36 c nbDecision=29000 #constraints=28294 1372.95/1373.32 c nbDecision=29500 #constraints=28746 1455.72/1456.17 c nbDecision=30000 #constraints=29230 1528.71/1529.18 c nbDecision=30500 #constraints=29713 1600.19/1600.61 c nbDecision=31000 #constraints=30192 1687.97/1688.48 c nbDecision=31500 #constraints=30683 1771.44/1771.92 c nbDecision=32000 #constraints=31172 1800.05/1800.50 Received signal 15 1800.15/1800.64 1800.15/1800.64 s UNKNOWN 1800.15/1800.64 1800.15/1800.64 c user time= 1799.86 s 1800.15/1800.64 c system time= 0.331949 s 1800.15/1800.64 c wall clock time=1800.64
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/431547-1178007341/instance-431547-1178007341.opb mv /tmp/evaluation/431547-1178007341/instance-431547-1178007341.opb.tmp /tmp/evaluation/431547-1178007341/instance-431547-1178007341.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node70/watcher-431547-1178007341 -o ROOT/results/node70/solver-431547-1178007341 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/431547-1178007341/instance-431547-1178007341.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.98 3/64 2924 /proc/meminfo: memFree=1802536/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=1468 CPUtime=0 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 186 0 0 0 0 0 0 0 18 0 1 0 240271419 1503232 169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 367 169 132 317 0 46 0 [startup+0.024226 s] /proc/loadavg: 1.00 1.00 0.98 3/64 2924 /proc/meminfo: memFree=1802536/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=1996 CPUtime=0.02 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 303 0 0 0 2 0 0 0 18 0 1 0 240271419 2043904 286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284244 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 499 286 139 317 0 178 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1996 [startup+0.101233 s] /proc/loadavg: 1.00 1.00 0.98 3/64 2924 /proc/meminfo: memFree=1802536/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=2128 CPUtime=0.09 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 341 0 0 0 9 0 0 0 18 0 1 0 240271419 2179072 324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284169 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 532 324 139 317 0 211 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2128 [startup+0.301253 s] /proc/loadavg: 1.00 1.00 0.98 3/64 2924 /proc/meminfo: memFree=1802536/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=2520 CPUtime=0.29 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 459 0 0 0 29 0 0 0 19 0 1 0 240271419 2580480 442 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272552 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 630 442 139 317 0 309 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2520 [startup+0.701293 s] /proc/loadavg: 1.00 1.00 0.98 3/64 2924 /proc/meminfo: memFree=1802536/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=3568 CPUtime=0.69 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 695 0 0 0 69 0 0 0 22 0 1 0 240271419 3653632 678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712551 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 892 678 139 317 0 571 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3568 [startup+1.50137 s] /proc/loadavg: 1.00 1.00 0.98 2/65 2925 /proc/meminfo: memFree=1799712/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=5000 CPUtime=1.49 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 1052 0 0 0 149 0 0 0 25 0 1 0 240271419 5120000 1035 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135459514 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 1250 1035 139 317 0 929 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5000 [startup+3.10153 s] /proc/loadavg: 1.00 1.00 0.98 2/65 2925 /proc/meminfo: memFree=1797984/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=7964 CPUtime=3.1 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 1785 0 0 0 308 2 0 0 25 0 1 0 240271419 8155136 1768 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 1991 1768 139 317 0 1670 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 7964 [startup+6.30185 s] /proc/loadavg: 1.00 1.00 0.98 2/65 2925 /proc/meminfo: memFree=1793056/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=11516 CPUtime=6.29 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 2691 0 0 0 627 2 0 0 25 0 1 0 240271419 11792384 2674 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716120 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 2879 2674 139 317 0 2558 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11516 [startup+12.7025 s] /proc/loadavg: 1.00 1.00 0.98 2/65 2925 /proc/meminfo: memFree=1786800/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=18184 CPUtime=12.69 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 4301 0 0 0 1266 3 0 0 25 0 1 0 240271419 18620416 4284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272675 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 4546 4284 139 317 0 4225 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18184 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 0.98 2/65 2925 /proc/meminfo: memFree=1775088/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=28772 CPUtime=25.49 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 7007 0 0 0 2544 5 0 0 25 0 1 0 240271419 29462528 6990 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 7193 6990 170 317 0 6872 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 28772 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 0.98 2/65 2925 /proc/meminfo: memFree=1765104/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=39236 CPUtime=51.08 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 9564 0 0 0 5101 7 0 0 25 0 1 0 240271419 40177664 9490 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 9809 9490 170 317 0 9488 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 39236 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.98 2/65 2925 /proc/meminfo: memFree=1756208/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=48372 CPUtime=102.27 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 11755 0 0 0 10218 9 0 0 25 0 1 0 240271419 49532928 11681 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 12093 11681 170 317 0 11772 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 48372 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 2925 /proc/meminfo: memFree=1749296/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=55076 CPUtime=162.25 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 13486 0 0 0 16214 11 0 0 25 0 1 0 240271419 56397824 13412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 13769 13412 170 317 0 13448 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 55076 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 2925 /proc/meminfo: memFree=1745072/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=59660 CPUtime=222.23 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 14528 0 0 0 22211 12 0 0 25 0 1 0 240271419 61091840 14454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 14915 14454 170 317 0 14594 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 59660 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 2925 /proc/meminfo: memFree=1739440/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=66024 CPUtime=282.23 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 15936 0 0 0 28209 14 0 0 25 0 1 0 240271419 67608576 15862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 16506 15862 170 317 0 16185 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 66024 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 2925 /proc/meminfo: memFree=1735600/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=70548 CPUtime=342.21 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 16996 0 0 0 34206 15 0 0 25 0 1 0 240271419 72241152 16809 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 17637 16809 170 317 0 17316 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 70548 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 2925 /proc/meminfo: memFree=1732208/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=73932 CPUtime=402.19 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 17855 0 0 0 40203 16 0 0 25 0 1 0 240271419 75706368 17668 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 18483 17668 170 317 0 18162 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 73932 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 2925 /proc/meminfo: memFree=1727856/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=78292 CPUtime=462.18 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 18938 0 0 0 46201 17 0 0 25 0 1 0 240271419 80171008 18751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 19573 18751 170 317 0 19252 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 78292 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 2925 /proc/meminfo: memFree=1725488/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=80504 CPUtime=522.16 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 19535 0 0 0 52199 17 0 0 25 0 1 0 240271419 82436096 19348 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 20126 19348 170 317 0 19805 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 80504 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 2925 /proc/meminfo: memFree=1722928/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=83008 CPUtime=582.15 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 20178 0 0 0 58197 18 0 0 25 0 1 0 240271419 85000192 19991 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 20752 19991 170 317 0 20431 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 83008 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 2925 /proc/meminfo: memFree=1719408/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=86280 CPUtime=642.14 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 21048 0 0 0 64194 20 0 0 25 0 1 0 240271419 88350720 20861 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 21570 20861 170 317 0 21249 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 86280 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 2925 /proc/meminfo: memFree=1708720/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=98688 CPUtime=882.07 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 23710 0 0 0 88184 23 0 0 25 0 1 0 240271419 101056512 23523 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 24672 23523 170 317 0 24351 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 98688 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 2925 /proc/meminfo: memFree=1705456/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=102016 CPUtime=942.06 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 24526 0 0 0 94182 24 0 0 25 0 1 0 240271419 104464384 24339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 25504 24339 170 317 0 25183 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 102016 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 2925 /proc/meminfo: memFree=1700976/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=106468 CPUtime=1002.04 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 25639 0 0 0 100179 25 0 0 25 0 1 0 240271419 109023232 25452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 26617 25452 170 317 0 26296 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 106468 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 2925 /proc/meminfo: memFree=1699440/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=108204 CPUtime=1062.02 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 26033 0 0 0 106176 26 0 0 25 0 1 0 240271419 110800896 25846 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 27051 25846 170 317 0 26730 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 108204 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 2925 /proc/meminfo: memFree=1697840/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=110040 CPUtime=1122.01 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 26423 0 0 0 112174 27 0 0 25 0 1 0 240271419 112680960 26236 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 27510 26236 170 317 0 27189 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 110040 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 2925 /proc/meminfo: memFree=1696304/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=111464 CPUtime=1181.99 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 26803 0 0 0 118172 27 0 0 25 0 1 0 240271419 114139136 26616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 27866 26616 170 317 0 27545 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 111464 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 2925 /proc/meminfo: memFree=1694448/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=113312 CPUtime=1241.98 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 27253 0 0 0 124170 28 0 0 25 0 1 0 240271419 116031488 27066 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 28328 27066 170 317 0 28007 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 113312 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 2925 /proc/meminfo: memFree=1692528/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=115328 CPUtime=1301.97 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 27728 0 0 0 130169 28 0 0 25 0 1 0 240271419 118095872 27541 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 28832 27541 170 317 0 28511 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 115328 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 2925 /proc/meminfo: memFree=1691056/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=117024 CPUtime=1361.95 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 28169 0 0 0 136166 29 0 0 25 0 1 0 240271419 119832576 27916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563315 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 29256 27916 170 317 0 28935 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 117024 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.98 2/65 2925 /proc/meminfo: memFree=1689648/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=118764 CPUtime=1421.93 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 28582 0 0 0 142164 29 0 0 25 0 1 0 240271419 121614336 28263 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718318 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 29691 28263 170 317 0 29370 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 118764 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 2925 /proc/meminfo: memFree=1688048/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=120380 CPUtime=1481.92 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 29007 0 0 0 148162 30 0 0 25 0 1 0 240271419 123269120 28655 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 30095 28655 170 317 0 29774 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 120380 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 2925 /proc/meminfo: memFree=1686640/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=121900 CPUtime=1541.9 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 29375 0 0 0 154160 30 0 0 25 0 1 0 240271419 124825600 29023 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 30475 29023 170 317 0 30154 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 121900 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 2925 /proc/meminfo: memFree=1684976/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=123496 CPUtime=1601.89 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 29778 0 0 0 160158 31 0 0 25 0 1 0 240271419 126459904 29426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712518 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 30874 29426 170 317 0 30553 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 123496 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 2925 /proc/meminfo: memFree=1683568/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=124808 CPUtime=1661.87 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 30134 0 0 0 166156 31 0 0 25 0 1 0 240271419 127803392 29782 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 31202 29782 170 317 0 30881 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 124808 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 2925 /proc/meminfo: memFree=1682352/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=126124 CPUtime=1721.86 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 30438 0 0 0 172154 32 0 0 25 0 1 0 240271419 129150976 30086 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 31531 30086 170 317 0 31210 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 126124 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 2925 /proc/meminfo: memFree=1680816/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=127552 CPUtime=1781.85 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 30783 0 0 0 178152 33 0 0 25 0 1 0 240271419 130613248 30431 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 31888 30431 170 317 0 31567 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 127552 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.98 2/65 2925 /proc/meminfo: memFree=1680240/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=128096 CPUtime=1800.05 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 30930 0 0 0 179972 33 0 0 25 0 1 0 240271419 131170304 30578 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 32024 30578 170 317 0 31703 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 128096 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 0.98 2/66 2926 /proc/meminfo: memFree=1680232/2055920 swapFree=4183764/4192956 [pid=2924] ppid=2922 vsize=128096 CPUtime=1800.15 /proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 30931 0 0 0 179982 33 0 0 25 0 1 0 240271419 131170304 30579 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2924/statm: 32024 30579 170 317 0 31703 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 128096 Child status: 0 Real time (s): 1800.67 CPU time (s): 1800.22 CPU user time (s): 1799.86 CPU system time (s): 0.350946 CPU usage (%): 99.9748 Max. virtual memory (cumulated for all children) (KiB): 128096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.86 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= 30947 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= 3208 runsolver used 1.43478 second user time and 3.49147 second system time The end
Begin job on node70 on Tue May 1 08:15:41 UTC 2007 IDJOB= 431547 IDBENCH= 48059 IDSOLVER= 172 FILE ID= node70/431547-1178007341 PBS_JOBID= 4728283 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=53-P1=17-P2=109-P3=2-P4=191-P5=191-P6=47-P7=101-P8=97-B.opb COMMAND LINE= oree /tmp/evaluation/431547-1178007341/instance-431547-1178007341.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node70/convwatcher-431547-1178007341 -o ROOT/results/node70/conversion-431547-1178007341 -C 600 -M 1800 /tmp/evaluation/431547-1178007341/substituteSizeProductKeyword /tmp/evaluation/431547-1178007341/instance-431547-1178007341.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-431547-1178007341 -o ROOT/results/node70/solver-431547-1178007341 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/431547-1178007341/instance-431547-1178007341.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 10ec6ab90ad015d6fa7b4d2290470901 RANDOM SEED= 525220625 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node70.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.218 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.218 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: 1803008 kB Buffers: 29040 kB Cached: 152288 kB SwapCached: 2952 kB Active: 45208 kB Inactive: 145692 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1803008 kB SwapTotal: 4192956 kB SwapFree: 4183764 kB Dirty: 1312 kB Writeback: 0 kB Mapped: 15432 kB Slab: 48120 kB Committed_AS: 4298536 kB PageTables: 1396 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 node70 on Tue May 1 08:45:43 UTC 2007