Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1802.16 | 1802.74 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_4.opb |
MD5SUM | 95bfca9fba26d7f8c875796701522876 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -139 |
Best CPU time to get the best result obtained on this benchmark | 1800.11 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -139 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 12652 |
Sum of products size (including duplicates) | 25304 |
Number of different products | 6326 |
Sum of products size | 12652 |
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.09/0.11 c ...done 0.09/0.11 c #vars=7326 #constraints=14155 hasObjective=yes 0.09/0.17 c res. mode=mod 0.09/0.17 c VSIDS like heuristics 0.09/0.17 c complete search running 0.69/0.71 c restart after 401 decisions 0.69/0.76 c nbDecision=500 #constraints=14307 1.09/1.15 c restart after 801 decisions 1.19/1.20 c nbDecision=1000 #constraints=14407 2.20/2.21 c nbDecision=1500 #constraints=14637 2.29/2.37 c restart after 1601 decisions 2.99/3.09 c nbDecision=2000 #constraints=14809 4.69/4.76 c nbDecision=2500 #constraints=15161 6.08/6.15 c nbDecision=3000 #constraints=15410 6.60/6.64 c restart after 3201 decisions 7.19/7.27 c nbDecision=3500 #constraints=15546 9.39/9.40 c nbDecision=4000 #constraints=15905 11.09/11.20 c nbDecision=4500 #constraints=16151 13.29/13.30 c nbDecision=5000 #constraints=16396 15.19/15.28 c nbDecision=5500 #constraints=16728 17.79/17.89 c nbDecision=6000 #constraints=16982 20.09/20.19 c restart after 6401 decisions 21.29/21.33 c nbDecision=6500 #constraints=17167 23.98/24.10 c nbDecision=7000 #constraints=17366 27.88/27.96 c nbDecision=7500 #constraints=17658 30.98/31.08 c nbDecision=8000 #constraints=17673 34.38/34.47 c nbDecision=8500 #constraints=17941 37.98/38.03 c nbDecision=9000 #constraints=18212 42.38/42.49 c nbDecision=9500 #constraints=18511 46.38/46.43 c nbDecision=10000 #constraints=18650 50.28/50.30 c nbDecision=10500 #constraints=18937 56.08/56.12 c nbDecision=11000 #constraints=19157 60.57/60.67 c nbDecision=11500 #constraints=19225 65.38/65.47 c nbDecision=12000 #constraints=19480 71.48/71.55 c nbDecision=12500 #constraints=19529 74.87/74.97 c restart after 12801 decisions 76.88/76.94 c nbDecision=13000 #constraints=19736 83.66/83.76 c nbDecision=13500 #constraints=19895 87.67/87.72 c nbDecision=14000 #constraints=20143 94.14/94.23 c nbDecision=14500 #constraints=20258 101.22/101.38 c nbDecision=15000 #constraints=20507 105.01/105.10 c nbDecision=15500 #constraints=20754 110.30/110.49 c nbDecision=16000 #constraints=21018 115.68/115.85 c nbDecision=16500 #constraints=21299 120.97/121.17 c nbDecision=17000 #constraints=21595 126.77/126.91 c nbDecision=17500 #constraints=21870 132.47/132.69 c nbDecision=18000 #constraints=22153 140.67/140.89 c nbDecision=18500 #constraints=22395 147.45/147.62 c nbDecision=19000 #constraints=22560 156.94/157.16 c nbDecision=19500 #constraints=22637 163.34/163.52 c nbDecision=20000 #constraints=22891 171.04/171.25 c nbDecision=20500 #constraints=23143 177.24/177.44 c nbDecision=21000 #constraints=23430 184.14/184.30 c nbDecision=21500 #constraints=23707 192.34/192.58 c nbDecision=22000 #constraints=23925 199.04/199.28 c nbDecision=22500 #constraints=24228 206.53/206.78 c nbDecision=23000 #constraints=24494 215.44/215.63 c nbDecision=23500 #constraints=24758 223.33/223.51 c nbDecision=24000 #constraints=24994 228.63/228.83 c nbDecision=24500 #constraints=25376 236.73/236.90 c nbDecision=25000 #constraints=25648 245.22/245.46 c nbDecision=25500 #constraints=25906 247.23/247.41 c restart after 25601 decisions 255.12/255.38 c nbDecision=26000 #constraints=26102 264.02/264.22 c nbDecision=26500 #constraints=26360 276.01/276.27 c nbDecision=27000 #constraints=26618 285.42/285.68 c nbDecision=27500 #constraints=26846 294.51/294.79 c nbDecision=28000 #constraints=27073 304.42/304.64 c nbDecision=28500 #constraints=27299 312.11/312.34 c nbDecision=29000 #constraints=27586 321.31/321.56 c nbDecision=29500 #constraints=27870 331.10/331.36 c nbDecision=30000 #constraints=28137 341.10/341.35 c nbDecision=30500 #constraints=28402 354.10/354.38 c nbDecision=31000 #constraints=28634 362.59/362.85 c nbDecision=31500 #constraints=28883 372.79/373.06 c nbDecision=32000 #constraints=29155 383.60/383.88 c nbDecision=32500 #constraints=29409 394.68/394.96 c nbDecision=33000 #constraints=29719 400.38/400.68 c nbDecision=33500 #constraints=30114 415.08/415.36 c nbDecision=34000 #constraints=30358 426.27/426.50 c nbDecision=34500 #constraints=30567 438.47/438.75 c nbDecision=35000 #constraints=30775 450.17/450.48 c nbDecision=35500 #constraints=31030 461.46/461.78 c nbDecision=36000 #constraints=31308 470.07/470.38 c nbDecision=36500 #constraints=31682 481.86/482.19 c nbDecision=37000 #constraints=31997 489.66/489.93 c nbDecision=37500 #constraints=32367 507.65/507.92 c nbDecision=38000 #constraints=32594 521.36/521.60 c nbDecision=38500 #constraints=32791 535.25/535.53 c nbDecision=39000 #constraints=32987 549.35/549.67 c nbDecision=39500 #constraints=33182 558.84/559.12 c nbDecision=40000 #constraints=33569 571.74/572.01 c nbDecision=40500 #constraints=33952 580.84/581.19 c nbDecision=41000 #constraints=34216 600.53/600.87 c nbDecision=41500 #constraints=34445 623.63/623.99 c nbDecision=42000 #constraints=34488 633.82/634.14 c nbDecision=42500 #constraints=34718 647.12/647.49 c nbDecision=43000 #constraints=35049 661.31/661.67 c nbDecision=43500 #constraints=35279 683.51/683.88 c nbDecision=44000 #constraints=35420 699.10/699.45 c nbDecision=44500 #constraints=35674 712.30/712.68 c nbDecision=45000 #constraints=35956 726.29/726.65 c nbDecision=45500 #constraints=36246 746.39/746.74 c nbDecision=46000 #constraints=36515 764.49/764.88 c nbDecision=46500 #constraints=36655 789.28/789.64 c nbDecision=47000 #constraints=36740 804.18/804.56 c nbDecision=47500 #constraints=36985 811.28/811.61 c nbDecision=48000 #constraints=37438 833.37/833.76 c nbDecision=48500 #constraints=37669 851.86/852.29 c nbDecision=49000 #constraints=37853 876.16/876.55 c nbDecision=49500 #constraints=37923 892.55/892.90 c nbDecision=50000 #constraints=38207 908.05/908.42 c nbDecision=50500 #constraints=38534 933.94/934.37 c nbDecision=51000 #constraints=38670 946.24/946.64 c restart after 51201 decisions 957.94/958.38 c nbDecision=51500 #constraints=38723 972.44/972.87 c nbDecision=52000 #constraints=39131 992.93/993.32 c nbDecision=52500 #constraints=39298 1019.53/1019.97 c nbDecision=53000 #constraints=39469 1036.82/1037.22 c nbDecision=53500 #constraints=39640 1053.12/1053.56 c nbDecision=54000 #constraints=39930 1075.80/1076.28 c nbDecision=54500 #constraints=40214 1095.30/1095.71 c nbDecision=55000 #constraints=40443 1114.69/1115.18 c nbDecision=55500 #constraints=40627 1135.09/1135.53 c nbDecision=56000 #constraints=40820 1163.09/1163.53 c nbDecision=56500 #constraints=41072 1192.67/1193.17 c nbDecision=57000 #constraints=41089 1211.78/1212.21 c nbDecision=57500 #constraints=41346 1228.07/1228.58 c nbDecision=58000 #constraints=41601 1248.17/1248.68 c nbDecision=58500 #constraints=41835 1268.05/1268.55 c nbDecision=59000 #constraints=42075 1287.35/1287.86 c nbDecision=59500 #constraints=42392 1325.44/1325.98 c nbDecision=60000 #constraints=42425 1341.94/1342.43 c nbDecision=60500 #constraints=42702 1373.53/1374.02 c nbDecision=61000 #constraints=42759 1392.03/1392.53 c nbDecision=61500 #constraints=43046 1403.03/1403.53 c nbDecision=62000 #constraints=43491 1423.31/1423.89 c nbDecision=62500 #constraints=43739 1443.91/1444.44 c nbDecision=63000 #constraints=43998 1464.81/1465.30 c nbDecision=63500 #constraints=44255 1475.30/1475.86 c nbDecision=64000 #constraints=44701 1495.40/1495.97 c nbDecision=64500 #constraints=44981 1513.29/1513.84 c nbDecision=65000 #constraints=45415 1534.59/1535.15 c nbDecision=65500 #constraints=45651 1556.88/1557.46 c nbDecision=66000 #constraints=45872 1578.57/1579.11 c nbDecision=66500 #constraints=46106 1600.97/1601.52 c nbDecision=67000 #constraints=46363 1630.46/1631.08 c nbDecision=67500 #constraints=46563 1654.36/1654.92 c nbDecision=68000 #constraints=46820 1677.95/1678.56 c nbDecision=68500 #constraints=47028 1694.55/1695.18 c nbDecision=69000 #constraints=47385 1719.54/1720.10 c nbDecision=69500 #constraints=47682 1743.03/1743.64 c nbDecision=70000 #constraints=47934 1763.93/1764.51 c nbDecision=70500 #constraints=48181 1783.82/1784.46 c nbDecision=71000 #constraints=48500 1800.03/1800.60 Received signal 15
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/455000-1178035173/instance-455000-1178035173.opb mv /tmp/evaluation/455000-1178035173/instance-455000-1178035173.opb.tmp /tmp/evaluation/455000-1178035173/instance-455000-1178035173.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node47/watcher-455000-1178035173 -o ROOT/results/node47/solver-455000-1178035173 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455000-1178035173/instance-455000-1178035173.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.91 0.95 0.98 3/77 12003 /proc/meminfo: memFree=1778432/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=1468 CPUtime=0 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 158362726 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 367 166 131 317 0 46 0 [startup+0.0574969 s] /proc/loadavg: 0.91 0.95 0.98 3/77 12003 /proc/meminfo: memFree=1778432/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=2524 CPUtime=0.05 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 456 0 0 0 5 0 0 0 18 0 1 0 158362726 2584576 439 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 631 440 132 317 0 310 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2524 [startup+0.101501 s] /proc/loadavg: 0.91 0.95 0.98 3/77 12003 /proc/meminfo: memFree=1778432/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=4292 CPUtime=0.09 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 889 0 0 0 9 0 0 0 18 0 1 0 158362726 4395008 872 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 1073 872 132 317 0 752 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4292 [startup+0.301521 s] /proc/loadavg: 0.91 0.95 0.98 3/77 12003 /proc/meminfo: memFree=1778432/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=7916 CPUtime=0.29 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 1792 0 0 0 29 0 0 0 19 0 1 0 158362726 8105984 1678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 1979 1678 139 317 0 1658 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7916 [startup+0.701564 s] /proc/loadavg: 0.91 0.95 0.98 3/77 12003 /proc/meminfo: memFree=1778432/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=10848 CPUtime=0.69 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 2515 0 0 0 69 0 0 0 23 0 1 0 158362726 11108352 2401 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134538144 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 2712 2401 139 317 0 2391 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10848 [startup+1.50165 s] /proc/loadavg: 0.91 0.95 0.98 2/78 12004 /proc/meminfo: memFree=1767992/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=14600 CPUtime=1.49 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 3457 0 0 0 149 0 0 0 25 0 1 0 158362726 14950400 3343 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 3650 3343 139 317 0 3329 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14600 [startup+3.10283 s] /proc/loadavg: 0.91 0.95 0.98 2/78 12004 /proc/meminfo: memFree=1762680/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=22804 CPUtime=3.09 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 5534 0 0 0 308 1 0 0 25 0 1 0 158362726 23351296 5420 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 5701 5420 139 317 0 5380 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22804 [startup+6.30117 s] /proc/loadavg: 0.92 0.95 0.98 2/78 12004 /proc/meminfo: memFree=1745528/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=37636 CPUtime=6.28 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 8990 0 0 0 626 2 0 0 25 0 1 0 158362726 38539264 8876 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 9409 8876 139 317 0 9088 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 37636 [startup+12.7019 s] /proc/loadavg: 0.93 0.95 0.98 2/78 12004 /proc/meminfo: memFree=1722168/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=63172 CPUtime=12.69 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 14839 0 0 0 1263 6 0 0 25 0 1 0 158362726 64688128 14725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 15793 14725 139 317 0 15472 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 63172 [startup+25.5012 s] /proc/loadavg: 0.94 0.96 0.98 2/78 12004 /proc/meminfo: memFree=1696760/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=83704 CPUtime=25.48 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 20554 0 0 0 2540 8 0 0 25 0 1 0 158362726 85712896 20440 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 20926 20440 139 317 0 20605 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 83704 [startup+51.102 s] /proc/loadavg: 0.96 0.96 0.98 2/78 12004 /proc/meminfo: memFree=1659832/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=125152 CPUtime=51.08 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 29762 0 0 0 5095 13 0 0 25 0 1 0 158362726 128155648 29648 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 31288 29648 139 317 0 30967 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 125152 [startup+102.307 s] /proc/loadavg: 0.98 0.96 0.98 2/84 12086 /proc/meminfo: memFree=1627904/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=152456 CPUtime=102.23 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 37369 0 0 0 10204 19 0 0 25 0 1 0 158362726 156114944 37255 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 38114 37255 139 317 0 37793 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 152456 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 12202 /proc/meminfo: memFree=1567480/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=227740 CPUtime=162.14 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 52734 0 0 0 16187 27 0 0 25 0 1 0 158362726 233205760 52620 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716183 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 56935 52620 139 317 0 56614 0 Current children cumulated CPU time (s) 162.14 Current children cumulated vsize (KiB) 227740 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 12202 /proc/meminfo: memFree=1524792/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=265420 CPUtime=222.13 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 63366 0 0 0 22180 33 0 0 25 0 1 0 158362726 271790080 63252 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 66355 63252 139 317 0 66034 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 265420 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 12202 /proc/meminfo: memFree=1488376/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=298748 CPUtime=282.12 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 72468 0 0 0 28174 38 0 0 25 0 1 0 158362726 305917952 72354 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 74687 72354 139 317 0 74366 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 298748 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 12202 /proc/meminfo: memFree=1457016/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=327576 CPUtime=342.1 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 80476 0 0 0 34167 43 0 0 25 0 1 0 158362726 335437824 80168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 81894 80168 139 317 0 81573 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 327576 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 12202 /proc/meminfo: memFree=1421752/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=358616 CPUtime=402.09 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 89279 0 0 0 40161 48 0 0 25 0 1 0 158362726 367222784 88971 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134533526 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 89654 88971 139 317 0 89333 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 358616 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 12202 /proc/meminfo: memFree=1383992/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=444004 CPUtime=462.06 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 107457 0 0 0 46150 56 0 0 25 0 1 0 158362726 454660096 98602 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 111001 98602 139 317 0 110680 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 444004 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 12202 /proc/meminfo: memFree=1352952/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=469776 CPUtime=522.05 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 115034 0 0 0 52144 61 0 0 25 0 1 0 158362726 481050624 106146 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 117444 106146 139 317 0 117123 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 469776 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 12202 /proc/meminfo: memFree=1321656/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=497316 CPUtime=582.04 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 123087 0 0 0 58139 65 0 0 25 0 1 0 158362726 509251584 114199 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 124329 114199 139 317 0 124008 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 497316 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 12202 /proc/meminfo: memFree=1306360/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=510076 CPUtime=642.03 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 126685 0 0 0 64136 67 0 0 25 0 1 0 158362726 522317824 117797 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 127519 117797 139 317 0 127198 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 510076 ################ # More data... # ################ /proc/meminfo: memFree=1202488/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=598292 CPUtime=1061.91 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 152593 0 0 0 106108 83 0 0 25 0 1 0 158362726 612651008 143705 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 149573 143705 139 317 0 149252 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 598292 [startup+1122.3 s] /proc/loadavg: 1.07 0.99 0.98 2/78 12204 /proc/meminfo: memFree=1186040/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=613160 CPUtime=1121.9 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 156696 0 0 0 112105 85 0 0 25 0 1 0 158362726 627875840 147808 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 153290 147808 139 317 0 152969 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 613160 [startup+1182.3 s] /proc/loadavg: 1.02 0.99 0.98 2/78 12204 /proc/meminfo: memFree=1179320/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=618392 CPUtime=1181.88 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 158385 0 0 0 118102 86 0 0 25 0 1 0 158362726 633233408 149497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 154598 149497 139 317 0 154277 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 618392 [startup+1242.3 s] /proc/loadavg: 1.01 0.99 0.98 2/78 12204 /proc/meminfo: memFree=1164344/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=631772 CPUtime=1241.87 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 162120 0 0 0 124098 89 0 0 25 0 1 0 158362726 646934528 153232 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 157943 153232 139 317 0 157622 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 631772 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 12204 /proc/meminfo: memFree=1152504/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=641944 CPUtime=1301.85 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 165063 0 0 0 130095 90 0 0 25 0 1 0 158362726 657350656 156175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 160486 156175 139 317 0 160165 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 641944 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 12204 /proc/meminfo: memFree=1144888/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=648080 CPUtime=1361.83 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 166971 0 0 0 136091 92 0 0 25 0 1 0 158362726 663633920 158083 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 162020 158083 139 317 0 161699 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 648080 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.98 2/78 12204 /proc/meminfo: memFree=1124088/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=665820 CPUtime=1421.82 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 172175 0 0 0 142087 95 0 0 25 0 1 0 158362726 681799680 163287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 166455 163287 139 317 0 166134 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 665820 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 12204 /proc/meminfo: memFree=1099320/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=687504 CPUtime=1481.8 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 178353 0 0 0 148081 99 0 0 25 0 1 0 158362726 704004096 169465 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134533520 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 171876 169465 139 317 0 171555 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 687504 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 12204 /proc/meminfo: memFree=1081656/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=702300 CPUtime=1541.78 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 182806 0 0 0 154077 101 0 0 25 0 1 0 158362726 719155200 173918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 175575 173918 139 317 0 175254 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 702300 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 12204 /proc/meminfo: memFree=1069112/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=714004 CPUtime=1601.77 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 186130 0 0 0 160074 103 0 0 25 0 1 0 158362726 731140096 177242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 178501 177242 139 317 0 178180 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 714004 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 12204 /proc/meminfo: memFree=1056824/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=724156 CPUtime=1661.75 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 189045 0 0 0 166070 105 0 0 25 0 1 0 158362726 741535744 180157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 181039 180157 139 317 0 180718 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 724156 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 12204 /proc/meminfo: memFree=1028280/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=861012 CPUtime=1721.74 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 220659 0 0 0 172058 116 0 0 25 0 1 0 158362726 881676288 187136 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 215253 187136 139 317 0 214932 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 861012 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 12204 /proc/meminfo: memFree=1013176/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=874308 CPUtime=1781.72 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 224424 0 0 0 178054 118 0 0 25 0 1 0 158362726 895291392 190901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 218577 190901 139 317 0 218256 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 874308 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.99 0.98 2/78 12204 /proc/meminfo: memFree=1002872/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=882756 CPUtime=1800.03 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 227001 0 0 0 179883 120 0 0 25 0 1 0 158362726 903942144 193478 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712551 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 220689 193478 139 317 0 220368 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 882756 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 0.99 0.98 2/78 12204 /proc/meminfo: memFree=1002872/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=882756 CPUtime=1800.82 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 227001 0 0 0 179962 120 0 0 25 0 1 0 158362726 903942144 193478 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 220689 193478 139 317 0 220368 0 Current children cumulated CPU time (s) 1800.82 Current children cumulated vsize (KiB) 882756 [startup+1802.2 s] /proc/loadavg: 1.00 0.99 0.98 2/79 12205 /proc/meminfo: memFree=1002864/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=882756 CPUtime=1801.62 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 227001 0 0 0 180042 120 0 0 25 0 1 0 158362726 903942144 193478 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 220689 193478 139 317 0 220368 0 Current children cumulated CPU time (s) 1801.62 Current children cumulated vsize (KiB) 882756 [startup+1802.6 s] /proc/loadavg: 1.00 0.99 0.98 2/79 12205 /proc/meminfo: memFree=1002864/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=882756 CPUtime=1802.02 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 227001 0 0 0 180082 120 0 0 25 0 1 0 158362726 903942144 193478 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 220689 193478 139 317 0 220368 0 Current children cumulated CPU time (s) 1802.02 Current children cumulated vsize (KiB) 882756 [startup+1802.7 s] /proc/loadavg: 1.00 0.99 0.98 2/79 12205 /proc/meminfo: memFree=1002864/2055920 swapFree=4157776/4192956 [pid=12003] ppid=12001 vsize=0 CPUtime=1802.12 /proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4195332 227001 0 0 0 180083 129 0 0 25 0 1 0 158362726 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12003/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.12 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.74 CPU time (s): 1802.16 CPU user time (s): 1800.83 CPU system time (s): 1.3288 CPU usage (%): 99.9681 Max. virtual memory (cumulated for all children) (KiB): 882756 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.83 system time used= 1.3288 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 227001 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= 37637 runsolver used 1.61475 second user time and 4.42633 second system time The end
Begin job on node47 on Tue May 1 15:59:33 UTC 2007 IDJOB= 455000 IDBENCH= 48234 IDSOLVER= 172 FILE ID= node47/455000-1178035173 PBS_JOBID= 4728425 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/manquinho/bsg/normalized-bsg_500_10_4.opb COMMAND LINE= oree /tmp/evaluation/455000-1178035173/instance-455000-1178035173.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node47/convwatcher-455000-1178035173 -o ROOT/results/node47/conversion-455000-1178035173 -C 600 -M 1800 /tmp/evaluation/455000-1178035173/substituteSizeProductKeyword /tmp/evaluation/455000-1178035173/instance-455000-1178035173.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-455000-1178035173 -o ROOT/results/node47/solver-455000-1178035173 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455000-1178035173/instance-455000-1178035173.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 95bfca9fba26d7f8c875796701522876 RANDOM SEED= 284682762 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node47.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.221 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.221 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: 1778840 kB Buffers: 75672 kB Cached: 118548 kB SwapCached: 3524 kB Active: 114688 kB Inactive: 104332 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1778840 kB SwapTotal: 4192956 kB SwapFree: 4157776 kB Dirty: 1580 kB Writeback: 0 kB Mapped: 30408 kB Slab: 43552 kB Committed_AS: 5410028 kB PageTables: 1776 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 node47 on Tue May 1 16:29:37 UTC 2007