Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.36 | 1800.88 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=6-P0=31-P1=31-P2=37-P3=37-B.opb |
MD5SUM | 1faefeca557086bb8f2ad91e3f4c80d3 |
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.036993 |
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 | 54 |
Total number of constraints | 7 |
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 | 7 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 6 |
Biggest coefficient in the objective function | 32 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 63 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 2048 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 8064 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 108 |
Sum of products size (including duplicates) | 216 |
Number of different products | 108 |
Sum of products size | 216 |
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=162 #constraints=227 hasObjective=yes 0.00/0.00 c res. mode=mod 0.00/0.00 c VSIDS like heuristics 0.00/0.00 c complete search running 0.19/0.25 c restart after 401 decisions 0.29/0.33 c nbDecision=500 #constraints=663 0.59/0.60 c restart after 801 decisions 0.79/0.80 c nbDecision=1000 #constraints=1115 1.49/1.52 c nbDecision=1500 #constraints=1557 1.69/1.78 c restart after 1601 decisions 2.89/2.97 c nbDecision=2000 #constraints=2008 4.89/4.91 c nbDecision=2500 #constraints=2464 7.49/7.60 c nbDecision=3000 #constraints=2919 9.39/9.43 c restart after 3201 decisions 12.59/12.62 c nbDecision=3500 #constraints=3396 18.19/18.28 c nbDecision=4000 #constraints=3870 24.89/24.91 c nbDecision=4500 #constraints=4296 34.58/34.62 c nbDecision=5000 #constraints=4789 42.88/42.94 c nbDecision=5500 #constraints=5280 53.57/53.64 c nbDecision=6000 #constraints=5724 62.47/62.54 c restart after 6401 decisions 64.97/65.04 c nbDecision=6500 #constraints=6172 79.47/79.59 c nbDecision=7000 #constraints=6640 93.07/93.14 c nbDecision=7500 #constraints=7091 111.37/111.49 c nbDecision=8000 #constraints=7550 131.86/131.97 c nbDecision=8500 #constraints=8023 153.96/154.01 c nbDecision=9000 #constraints=8466 179.65/179.70 c nbDecision=9500 #constraints=8934 204.84/204.94 c nbDecision=10000 #constraints=9419 230.94/231.08 c nbDecision=10500 #constraints=9880 257.93/258.08 c nbDecision=11000 #constraints=10347 285.32/285.44 c nbDecision=11500 #constraints=10804 316.91/317.10 c nbDecision=12000 #constraints=11284 350.61/350.79 c nbDecision=12500 #constraints=11749 369.31/369.43 c restart after 12801 decisions 382.50/382.61 c nbDecision=13000 #constraints=12222 422.39/422.50 c nbDecision=13500 #constraints=12688 459.58/459.73 c nbDecision=14000 #constraints=13177 502.17/502.38 c nbDecision=14500 #constraints=13632 547.26/547.48 c nbDecision=15000 #constraints=14098 590.25/590.45 c nbDecision=15500 #constraints=14550 634.44/634.66 c nbDecision=16000 #constraints=15017 680.53/680.75 c nbDecision=16500 #constraints=15473 723.32/723.52 c nbDecision=17000 #constraints=15917 779.41/779.67 c nbDecision=17500 #constraints=16405 842.47/842.74 c nbDecision=18000 #constraints=16890 901.18/901.51 c nbDecision=18500 #constraints=17385 959.77/960.13 c nbDecision=19000 #constraints=17853 1024.66/1025.07 c nbDecision=19500 #constraints=18345 1092.74/1093.14 c nbDecision=20000 #constraints=18835 1158.42/1158.84 c nbDecision=20500 #constraints=19301 1228.01/1228.45 c nbDecision=21000 #constraints=19790 1297.29/1297.74 c nbDecision=21500 #constraints=20272 1338.68/1339.17 c nbDecision=22000 #constraints=20676 1385.87/1386.30 c nbDecision=22500 #constraints=21090 1455.65/1456.17 c nbDecision=23000 #constraints=21486 1533.54/1534.03 c nbDecision=23500 #constraints=21899 1625.32/1625.84 c nbDecision=24000 #constraints=22376 1705.29/1705.89 c nbDecision=24500 #constraints=22819 1784.48/1785.02 c nbDecision=25000 #constraints=23205 1800.08/1800.61 Received signal 15 1800.27/1800.86 1800.27/1800.86 s UNKNOWN 1800.27/1800.86 1800.27/1800.86 c user time= 1800.06 s 1800.27/1800.86 c system time= 0.283956 s 1800.27/1800.86 c wall clock time=1800.86
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/430063-1177991229/instance-430063-1177991229.opb mv /tmp/evaluation/430063-1177991229/instance-430063-1177991229.opb.tmp /tmp/evaluation/430063-1177991229/instance-430063-1177991229.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node43/watcher-430063-1177991229 -o ROOT/results/node43/solver-430063-1177991229 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430063-1177991229/instance-430063-1177991229.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.96 1.00 0.99 3/77 6808 /proc/meminfo: memFree=1636536/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=1600 CPUtime=0 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 202 0 0 0 0 0 0 0 18 0 1 0 247034745 1638400 185 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278995 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 400 185 139 317 0 79 0 [startup+0.026369 s] /proc/loadavg: 0.96 1.00 0.99 3/77 6808 /proc/meminfo: memFree=1636536/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=1600 CPUtime=0.02 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 216 0 0 0 2 0 0 0 18 0 1 0 247034745 1638400 199 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134550092 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 400 199 139 317 0 79 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1600 [startup+0.101375 s] /proc/loadavg: 0.96 1.00 0.99 3/77 6808 /proc/meminfo: memFree=1636536/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=1864 CPUtime=0.09 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 279 0 0 0 9 0 0 0 18 0 1 0 247034745 1908736 262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134549870 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 466 262 139 317 0 145 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1864 [startup+0.301392 s] /proc/loadavg: 0.96 1.00 0.99 3/77 6808 /proc/meminfo: memFree=1636536/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=2392 CPUtime=0.29 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 429 0 0 0 29 0 0 0 19 0 1 0 247034745 2449408 412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278989 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 598 412 139 317 0 277 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2392 [startup+0.701426 s] /proc/loadavg: 0.96 1.00 0.99 3/77 6808 /proc/meminfo: memFree=1636536/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=3472 CPUtime=0.69 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 675 0 0 0 69 0 0 0 23 0 1 0 247034745 3555328 658 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 868 658 139 317 0 547 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3472 [startup+1.5015 s] /proc/loadavg: 0.96 1.00 0.99 2/78 6809 /proc/meminfo: memFree=1633904/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=4576 CPUtime=1.49 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 962 0 0 0 149 0 0 0 25 0 1 0 247034745 4685824 945 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 1144 945 139 317 0 823 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4576 [startup+3.10163 s] /proc/loadavg: 0.96 1.00 0.99 2/78 6809 /proc/meminfo: memFree=1632560/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=5896 CPUtime=3.09 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 1283 0 0 0 309 0 0 0 25 0 1 0 247034745 6037504 1266 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 1474 1266 139 317 0 1153 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5896 [startup+6.30192 s] /proc/loadavg: 0.96 1.00 0.99 2/78 6809 /proc/meminfo: memFree=1630640/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=7544 CPUtime=6.29 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 1686 0 0 0 628 1 0 0 25 0 1 0 247034745 7725056 1669 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 1886 1669 139 317 0 1565 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7544 [startup+12.7015 s] /proc/loadavg: 0.96 1.00 0.99 2/78 6809 /proc/meminfo: memFree=1628544/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=9548 CPUtime=12.68 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 2143 0 0 0 1267 1 0 0 25 0 1 0 247034745 9777152 2126 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563922 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 2387 2126 139 317 0 2066 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 9548 [startup+25.5016 s] /proc/loadavg: 0.97 1.00 0.99 2/78 6809 /proc/meminfo: memFree=1626368/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=11672 CPUtime=25.49 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 2668 0 0 0 2547 2 0 0 25 0 1 0 247034745 11952128 2651 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 2918 2651 139 317 0 2597 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 11672 [startup+51.1018 s] /proc/loadavg: 0.98 1.00 0.99 2/78 6809 /proc/meminfo: memFree=1623424/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=14816 CPUtime=51.08 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 3435 0 0 0 5105 3 0 0 25 0 1 0 247034745 15171584 3418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134742677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 3704 3418 139 317 0 3383 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 14816 [startup+102.304 s] /proc/loadavg: 0.99 1.00 0.99 2/78 6809 /proc/meminfo: memFree=1619520/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=18764 CPUtime=102.27 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 4403 0 0 0 10222 5 0 0 25 0 1 0 247034745 19214336 4386 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718570 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 4691 4386 170 317 0 4370 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 18764 [startup+162.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 6809 /proc/meminfo: memFree=1616448/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=22120 CPUtime=162.25 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 5208 0 0 0 16219 6 0 0 25 0 1 0 247034745 22650880 5133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 5530 5133 170 317 0 5209 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 22120 [startup+222.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 6809 /proc/meminfo: memFree=1613824/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=24672 CPUtime=222.24 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 5850 0 0 0 22217 7 0 0 25 0 1 0 247034745 25264128 5775 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 6168 5775 170 317 0 5847 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 24672 [startup+282.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 6809 /proc/meminfo: memFree=1611520/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=26952 CPUtime=282.23 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 6409 0 0 0 28215 8 0 0 25 0 1 0 247034745 27598848 6334 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 6738 6334 170 317 0 6417 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 26952 [startup+342.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 6809 /proc/meminfo: memFree=1609408/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=29204 CPUtime=342.21 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 6920 0 0 0 34213 8 0 0 25 0 1 0 247034745 29904896 6845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 7301 6845 170 317 0 6980 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 29204 [startup+402.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 6809 /proc/meminfo: memFree=1607616/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=31032 CPUtime=402.2 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 7356 0 0 0 40211 9 0 0 25 0 1 0 247034745 31776768 7281 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 7758 7281 170 317 0 7437 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 31032 [startup+462.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 6809 /proc/meminfo: memFree=1605760/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=32868 CPUtime=462.18 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 7802 0 0 0 46208 10 0 0 25 0 1 0 247034745 33656832 7727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711207 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 8217 7727 170 317 0 7896 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 32868 [startup+522.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 6809 /proc/meminfo: memFree=1604096/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=34604 CPUtime=522.17 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 8205 0 0 0 52206 11 0 0 25 0 1 0 247034745 35434496 8130 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 8651 8130 170 317 0 8330 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 34604 [startup+582.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 6809 /proc/meminfo: memFree=1602624/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=36044 CPUtime=582.16 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 8555 0 0 0 58204 12 0 0 25 0 1 0 247034745 36909056 8480 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 9011 8480 170 317 0 8690 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 36044 [startup+642.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 6809 /proc/meminfo: memFree=1601088/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=37680 CPUtime=642.14 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 8905 0 0 0 64202 12 0 0 25 0 1 0 247034745 38584320 8830 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 9420 8830 170 317 0 9099 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 37680 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 1.00 0.99 2/84 6985 /proc/meminfo: memFree=1594640/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=42928 CPUtime=882 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 10230 0 0 0 88182 18 0 0 25 0 1 0 247034745 43958272 10041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 10732 10041 170 317 0 10411 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 42928 [startup+942.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 7007 /proc/meminfo: memFree=1594560/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=44240 CPUtime=941.98 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 10498 0 0 0 94179 19 0 0 25 0 1 0 247034745 45301760 10309 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 11060 10309 170 317 0 10739 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 44240 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 7007 /proc/meminfo: memFree=1593408/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=45460 CPUtime=1001.96 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 10783 0 0 0 100177 19 0 0 25 0 1 0 247034745 46551040 10594 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563509 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 11365 10594 170 317 0 11044 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 45460 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 7007 /proc/meminfo: memFree=1592384/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=46508 CPUtime=1061.95 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 11035 0 0 0 106175 20 0 0 25 0 1 0 247034745 47624192 10846 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 11627 10846 170 317 0 11306 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 46508 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 7007 /proc/meminfo: memFree=1591360/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=47680 CPUtime=1121.94 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 11309 0 0 0 112173 21 0 0 25 0 1 0 247034745 48824320 11087 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 11920 11087 170 317 0 11599 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 47680 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 7007 /proc/meminfo: memFree=1590400/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=48592 CPUtime=1181.92 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 11537 0 0 0 118171 21 0 0 25 0 1 0 247034745 49758208 11315 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 12148 11315 170 317 0 11827 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 48592 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 7007 /proc/meminfo: memFree=1589440/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=49640 CPUtime=1241.91 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 11803 0 0 0 124169 22 0 0 25 0 1 0 247034745 50831360 11548 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 12410 11548 170 317 0 12089 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 49640 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 7007 /proc/meminfo: memFree=1588416/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=50552 CPUtime=1301.89 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 12047 0 0 0 130167 22 0 0 25 0 1 0 247034745 51765248 11792 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 12638 11792 170 317 0 12317 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 50552 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 7007 /proc/meminfo: memFree=1587008/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=52148 CPUtime=1361.87 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 12411 0 0 0 136164 23 0 0 25 0 1 0 247034745 53399552 12156 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 13037 12156 170 317 0 12716 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 52148 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 0.99 2/78 7007 /proc/meminfo: memFree=1585920/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=53112 CPUtime=1421.87 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 12662 0 0 0 142163 24 0 0 25 0 1 0 247034745 54386688 12407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 13278 12407 170 317 0 12957 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 53112 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 7007 /proc/meminfo: memFree=1585088/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=53896 CPUtime=1481.84 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 12869 0 0 0 148160 24 0 0 25 0 1 0 247034745 55189504 12614 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 13474 12614 170 317 0 13153 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 53896 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 7007 /proc/meminfo: memFree=1584256/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=54692 CPUtime=1541.83 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 13090 0 0 0 154158 25 0 0 25 0 1 0 247034745 56004608 12802 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 13673 12802 170 317 0 13352 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 54692 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 7007 /proc/meminfo: memFree=1583488/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=55480 CPUtime=1601.82 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 13281 0 0 0 160157 25 0 0 25 0 1 0 247034745 56811520 12993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 13870 12993 170 317 0 13549 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 55480 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 7007 /proc/meminfo: memFree=1582656/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=56268 CPUtime=1661.81 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 13483 0 0 0 166155 26 0 0 25 0 1 0 247034745 57618432 13195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 14067 13195 170 317 0 13746 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 56268 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 7007 /proc/meminfo: memFree=1581568/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=57728 CPUtime=1721.79 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 13758 0 0 0 172152 27 0 0 25 0 1 0 247034745 59113472 13470 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 14432 13470 170 317 0 14111 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 57728 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 7007 /proc/meminfo: memFree=1580608/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=58368 CPUtime=1781.78 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 13963 0 0 0 178150 28 0 0 25 0 1 0 247034745 59768832 13675 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 14592 13675 170 317 0 14271 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 58368 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 1.00 0.99 2/78 7007 /proc/meminfo: memFree=1580352/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=58628 CPUtime=1800.08 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 14021 0 0 0 179980 28 0 0 25 0 1 0 247034745 60035072 13733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 14657 13733 170 317 0 14336 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 58628 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 1.00 0.99 2/78 7007 /proc/meminfo: memFree=1580352/2055920 swapFree=4158588/4192956 [pid=6808] ppid=6806 vsize=58628 CPUtime=1800.27 /proc/6808/stat : 6808 (oree) R 6806 6808 2433 0 -1 4194304 14021 0 0 0 179999 28 0 0 25 0 1 0 247034745 60035072 13733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6808/statm: 14657 13733 170 317 0 14336 0 Current children cumulated CPU time (s) 1800.27 Current children cumulated vsize (KiB) 58628 Child status: 0 Real time (s): 1800.88 CPU time (s): 1800.36 CPU user time (s): 1800.06 CPU system time (s): 0.293955 CPU usage (%): 99.9711 Max. virtual memory (cumulated for all children) (KiB): 58628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.06 system time used= 0.293955 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14037 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= 36884 runsolver used 1.38479 second user time and 3.97439 second system time The end
Begin job on node43 on Tue May 1 03:47:09 UTC 2007 IDJOB= 430063 IDBENCH= 47953 IDSOLVER= 172 FILE ID= node43/430063-1177991229 PBS_JOBID= 4728179 Free space on /tmp= 66563 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=6-P0=31-P1=31-P2=37-P3=37-B.opb COMMAND LINE= oree /tmp/evaluation/430063-1177991229/instance-430063-1177991229.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node43/convwatcher-430063-1177991229 -o ROOT/results/node43/conversion-430063-1177991229 -C 600 -M 1800 /tmp/evaluation/430063-1177991229/substituteSizeProductKeyword /tmp/evaluation/430063-1177991229/instance-430063-1177991229.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-430063-1177991229 -o ROOT/results/node43/solver-430063-1177991229 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430063-1177991229/instance-430063-1177991229.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 1faefeca557086bb8f2ad91e3f4c80d3 RANDOM SEED= 650749952 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node43.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: 1637008 kB Buffers: 27440 kB Cached: 298512 kB SwapCached: 2624 kB Active: 87676 kB Inactive: 262608 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1637008 kB SwapTotal: 4192956 kB SwapFree: 4158588 kB Dirty: 1500 kB Writeback: 0 kB Mapped: 32348 kB Slab: 54040 kB Committed_AS: 2846028 kB PageTables: 1900 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 node43 on Tue May 1 04:17:12 UTC 2007