Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.31 | 1800.76 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_25_1.opb |
MD5SUM | fdd11e948ae8a5c2828dd3ba6f1a1add |
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 | -85 |
Best CPU time to get the best result obtained on this benchmark | 1800.22 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -85 |
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) | 31432 |
Sum of products size (including duplicates) | 62864 |
Number of different products | 15716 |
Sum of products size | 31432 |
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.19/0.26 c ...done 0.19/0.26 c #vars=16716 #constraints=32935 hasObjective=yes 0.39/0.40 c res. mode=mod 0.39/0.40 c VSIDS like heuristics 0.39/0.40 c complete search running 1.19/1.22 c restart after 401 decisions 1.19/1.29 c nbDecision=500 #constraints=33087 1.79/1.87 c restart after 801 decisions 1.99/2.00 c nbDecision=1000 #constraints=33189 4.29/4.35 c nbDecision=1500 #constraints=33608 4.89/4.91 c restart after 1601 decisions 5.99/6.07 c nbDecision=2000 #constraints=33842 8.59/8.69 c nbDecision=2500 #constraints=34231 11.59/11.69 c nbDecision=3000 #constraints=34690 12.79/12.80 c restart after 3201 decisions 13.99/14.09 c nbDecision=3500 #constraints=34906 17.18/17.20 c nbDecision=4000 #constraints=35368 20.38/20.41 c nbDecision=4500 #constraints=35788 23.78/23.87 c nbDecision=5000 #constraints=36158 27.29/27.36 c nbDecision=5500 #constraints=36638 30.78/30.89 c nbDecision=6000 #constraints=37081 33.98/34.01 c restart after 6401 decisions 35.79/35.85 c nbDecision=6500 #constraints=37401 39.38/39.42 c nbDecision=7000 #constraints=37692 43.28/43.33 c nbDecision=7500 #constraints=38134 47.19/47.27 c nbDecision=8000 #constraints=38596 51.28/51.38 c nbDecision=8500 #constraints=39046 55.58/55.62 c nbDecision=9000 #constraints=39491 60.08/60.14 c nbDecision=9500 #constraints=39918 64.78/64.80 c nbDecision=10000 #constraints=40346 69.38/69.49 c nbDecision=10500 #constraints=40779 74.57/74.64 c nbDecision=11000 #constraints=41182 79.67/79.75 c nbDecision=11500 #constraints=41598 84.47/84.50 c nbDecision=12000 #constraints=42057 90.17/90.29 c nbDecision=12500 #constraints=42447 93.47/93.56 c restart after 12801 decisions 98.67/98.73 c nbDecision=13000 #constraints=42702 104.46/104.50 c nbDecision=13500 #constraints=43069 109.66/109.72 c nbDecision=14000 #constraints=43521 114.96/115.06 c nbDecision=14500 #constraints=43969 120.66/120.72 c nbDecision=15000 #constraints=44408 126.56/126.69 c nbDecision=15500 #constraints=44836 132.76/132.87 c nbDecision=16000 #constraints=45260 139.15/139.21 c nbDecision=16500 #constraints=45680 144.76/144.83 c nbDecision=17000 #constraints=46143 150.85/150.97 c nbDecision=17500 #constraints=46587 157.15/157.29 c nbDecision=18000 #constraints=47027 164.05/164.14 c nbDecision=18500 #constraints=47450 170.15/170.25 c nbDecision=19000 #constraints=47910 177.15/177.26 c nbDecision=19500 #constraints=48336 183.35/183.44 c nbDecision=20000 #constraints=48799 190.84/190.92 c nbDecision=20500 #constraints=49221 203.24/203.36 c nbDecision=21000 #constraints=49565 210.54/210.61 c nbDecision=21500 #constraints=49909 217.04/217.12 c nbDecision=22000 #constraints=50373 225.24/225.39 c nbDecision=22500 #constraints=50783 234.63/234.76 c nbDecision=23000 #constraints=51163 241.84/241.90 c nbDecision=23500 #constraints=51615 249.43/249.50 c nbDecision=24000 #constraints=52059 258.83/258.92 c nbDecision=24500 #constraints=52452 266.33/266.47 c nbDecision=25000 #constraints=52902 275.02/275.15 c nbDecision=25500 #constraints=53324 277.02/277.15 c restart after 25601 decisions 290.82/290.99 c nbDecision=26000 #constraints=53551 299.52/299.62 c nbDecision=26500 #constraints=53979 309.81/309.93 c nbDecision=27000 #constraints=54368 320.21/320.39 c nbDecision=27500 #constraints=54755 328.61/328.73 c nbDecision=28000 #constraints=55200 336.41/336.50 c nbDecision=28500 #constraints=55662 345.60/345.70 c nbDecision=29000 #constraints=56093 358.70/358.88 c nbDecision=29500 #constraints=56432 365.00/365.17 c nbDecision=30000 #constraints=56926 374.79/374.99 c nbDecision=30500 #constraints=57343 384.30/384.44 c nbDecision=31000 #constraints=57770 394.20/394.38 c nbDecision=31500 #constraints=58190 401.19/401.35 c nbDecision=32000 #constraints=58674 410.09/410.25 c nbDecision=32500 #constraints=59122 420.68/420.85 c nbDecision=33000 #constraints=59536 427.89/428.05 c nbDecision=33500 #constraints=60021 436.08/436.25 c nbDecision=34000 #constraints=60489 445.18/445.38 c nbDecision=34500 #constraints=60941 456.28/456.49 c nbDecision=35000 #constraints=61358 466.68/466.83 c nbDecision=35500 #constraints=61790 476.87/477.03 c nbDecision=36000 #constraints=62228 487.27/487.45 c nbDecision=36500 #constraints=62665 501.66/501.84 c nbDecision=37000 #constraints=63041 516.77/516.99 c nbDecision=37500 #constraints=63390 528.76/528.95 c nbDecision=38000 #constraints=63806 543.95/544.13 c nbDecision=38500 #constraints=64169 560.05/560.29 c nbDecision=39000 #constraints=64518 579.05/579.25 c nbDecision=39500 #constraints=64825 598.04/598.26 c nbDecision=40000 #constraints=65132 619.73/619.98 c nbDecision=40500 #constraints=65408 634.53/634.78 c nbDecision=41000 #constraints=65806 652.83/653.06 c nbDecision=41500 #constraints=66196 680.12/680.35 c nbDecision=42000 #constraints=66355 693.12/693.34 c nbDecision=42500 #constraints=66778 703.21/703.43 c nbDecision=43000 #constraints=67254 712.81/713.07 c nbDecision=43500 #constraints=67739 724.11/724.39 c nbDecision=44000 #constraints=68196 742.21/742.49 c nbDecision=44500 #constraints=68557 755.50/755.77 c nbDecision=45000 #constraints=68984 768.60/768.89 c nbDecision=45500 #constraints=69420 779.00/779.20 c nbDecision=46000 #constraints=69897 790.29/790.60 c nbDecision=46500 #constraints=70364 800.78/801.02 c nbDecision=47000 #constraints=70845 815.49/815.71 c nbDecision=47500 #constraints=71268 830.28/830.51 c nbDecision=48000 #constraints=71726 848.58/848.81 c nbDecision=48500 #constraints=72097 863.07/863.36 c nbDecision=49000 #constraints=72528 876.17/876.49 c nbDecision=49500 #constraints=72981 890.26/890.50 c nbDecision=50000 #constraints=73417 904.36/904.68 c nbDecision=50500 #constraints=73857 927.15/927.50 c nbDecision=51000 #constraints=74191 935.85/936.11 c restart after 51201 decisions 961.65/961.94 c nbDecision=51500 #constraints=74382 976.15/976.47 c nbDecision=52000 #constraints=74820 989.14/989.45 c nbDecision=52500 #constraints=75279 1003.54/1003.86 c nbDecision=53000 #constraints=75723 1017.24/1017.52 c nbDecision=53500 #constraints=76177 1034.53/1034.80 c nbDecision=54000 #constraints=76589 1050.93/1051.28 c nbDecision=54500 #constraints=77012 1066.53/1066.86 c nbDecision=55000 #constraints=77447 1080.52/1080.88 c nbDecision=55500 #constraints=77902 1097.21/1097.55 c nbDecision=56000 #constraints=78328 1115.51/1115.82 c nbDecision=56500 #constraints=78735 1138.21/1138.60 c nbDecision=57000 #constraints=79093 1152.60/1152.97 c nbDecision=57500 #constraints=79549 1170.59/1170.95 c nbDecision=58000 #constraints=79968 1189.59/1189.96 c nbDecision=58500 #constraints=80373 1204.88/1205.29 c nbDecision=59000 #constraints=80822 1230.88/1231.23 c nbDecision=59500 #constraints=81193 1262.37/1262.77 c nbDecision=60000 #constraints=81479 1278.76/1279.13 c nbDecision=60500 #constraints=81942 1301.06/1301.47 c nbDecision=61000 #constraints=82295 1321.25/1321.64 c nbDecision=61500 #constraints=82699 1337.06/1337.40 c nbDecision=62000 #constraints=83150 1355.75/1356.18 c nbDecision=62500 #constraints=83572 1375.54/1375.93 c nbDecision=63000 #constraints=83984 1395.74/1396.18 c nbDecision=63500 #constraints=84392 1414.33/1414.74 c nbDecision=64000 #constraints=84829 1439.43/1439.82 c nbDecision=64500 #constraints=85200 1458.82/1459.22 c nbDecision=65000 #constraints=85619 1474.12/1474.54 c nbDecision=65500 #constraints=86080 1489.02/1489.46 c nbDecision=66000 #constraints=86542 1502.01/1502.47 c nbDecision=66500 #constraints=87023 1517.10/1517.50 c nbDecision=67000 #constraints=87488 1531.20/1531.67 c nbDecision=67500 #constraints=87962 1550.50/1550.95 c nbDecision=68000 #constraints=88390 1573.19/1573.61 c nbDecision=68500 #constraints=88786 1604.69/1605.17 c nbDecision=69000 #constraints=89104 1619.68/1620.15 c nbDecision=69500 #constraints=89572 1638.18/1638.66 c nbDecision=70000 #constraints=90011 1660.68/1661.18 c nbDecision=70500 #constraints=90435 1682.27/1682.75 c nbDecision=71000 #constraints=90850 1707.16/1707.62 c nbDecision=71500 #constraints=91250 1733.35/1733.88 c nbDecision=72000 #constraints=91618 1748.25/1748.79 c nbDecision=72500 #constraints=92092 1771.25/1771.73 c nbDecision=73000 #constraints=92496 1793.34/1793.82 c nbDecision=73500 #constraints=92911 1800.04/1800.50 Received signal 15 1800.04/1800.52 1800.04/1800.52 s UNKNOWN 1800.04/1800.52 1800.04/1800.52 c user time= 1798.28 s 1800.04/1800.52 c system time= 1.79273 s 1800.04/1800.52 c wall clock time=1800.53
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/454850-1178032429/instance-454850-1178032429.opb mv /tmp/evaluation/454850-1178032429/instance-454850-1178032429.opb.tmp /tmp/evaluation/454850-1178032429/instance-454850-1178032429.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node12/watcher-454850-1178032429 -o ROOT/results/node12/solver-454850-1178032429 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454850-1178032429/instance-454850-1178032429.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 22977 /proc/meminfo: memFree=1792216/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=1468 CPUtime=0 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 185 0 0 0 0 0 0 0 18 0 1 0 279280305 1503232 168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 367 168 131 317 0 46 0 [startup+0.0135729 s] /proc/loadavg: 0.92 0.98 0.99 3/77 22977 /proc/meminfo: memFree=1792216/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=1732 CPUtime=0.01 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 231 0 0 0 1 0 0 0 18 0 1 0 279280305 1773568 214 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 433 214 131 317 0 112 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1732 [startup+0.101575 s] /proc/loadavg: 0.92 0.98 0.99 3/77 22977 /proc/meminfo: memFree=1792216/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=3328 CPUtime=0.09 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 627 0 0 0 9 0 0 0 18 0 1 0 279280305 3407872 610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 832 610 131 317 0 511 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3328 [startup+0.301591 s] /proc/loadavg: 0.92 0.98 0.99 3/77 22977 /proc/meminfo: memFree=1792216/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=13520 CPUtime=0.29 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 3210 0 0 0 29 0 0 0 19 0 1 0 279280305 13844480 3160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 3380 3160 137 317 0 3059 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13520 [startup+0.701631 s] /proc/loadavg: 0.92 0.98 0.99 3/77 22977 /proc/meminfo: memFree=1792216/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=16400 CPUtime=0.69 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 3913 0 0 0 68 1 0 0 23 0 1 0 279280305 16793600 3637 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 4100 3637 139 317 0 3779 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16400 [startup+1.50171 s] /proc/loadavg: 0.92 0.98 0.99 2/78 22978 /proc/meminfo: memFree=1776528/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=19348 CPUtime=1.49 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 4662 0 0 0 148 1 0 0 25 0 1 0 279280305 19812352 4386 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 4837 4386 139 317 0 4516 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19348 [startup+3.10187 s] /proc/loadavg: 0.92 0.98 0.99 2/78 22978 /proc/meminfo: memFree=1772496/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=25256 CPUtime=3.09 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 6141 0 0 0 307 2 0 0 25 0 1 0 279280305 25862144 5865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 6314 5865 139 317 0 5993 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25256 [startup+6.30119 s] /proc/loadavg: 0.93 0.98 0.99 2/78 22978 /proc/meminfo: memFree=1761048/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=35884 CPUtime=6.29 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 8806 0 0 0 626 3 0 0 25 0 1 0 279280305 36745216 8530 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 8971 8530 139 317 0 8650 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35884 [startup+12.7018 s] /proc/loadavg: 0.93 0.98 0.99 2/78 22978 /proc/meminfo: memFree=1739096/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=57060 CPUtime=12.69 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 14099 0 0 0 1263 6 0 0 25 0 1 0 279280305 58429440 13823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 14265 13823 139 317 0 13944 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 57060 [startup+25.5021 s] /proc/loadavg: 0.95 0.98 0.99 2/78 22978 /proc/meminfo: memFree=1702424/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=92768 CPUtime=25.48 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 22950 0 0 0 2539 9 0 0 25 0 1 0 279280305 94994432 22674 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 23192 22674 139 317 0 22871 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 92768 [startup+51.1027 s] /proc/loadavg: 0.96 0.98 0.99 2/78 22978 /proc/meminfo: memFree=1642328/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=155064 CPUtime=51.08 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 37829 0 0 0 5091 17 0 0 25 0 1 0 279280305 158785536 37553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 38766 37553 139 317 0 38445 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 155064 [startup+102.306 s] /proc/loadavg: 1.02 1.00 1.00 2/78 22978 /proc/meminfo: memFree=1549400/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=257988 CPUtime=102.27 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 60949 0 0 0 10198 29 0 0 25 0 1 0 279280305 264179712 60673 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 64497 60673 139 317 0 64176 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 257988 [startup+162.303 s] /proc/loadavg: 1.01 1.00 1.00 2/78 22978 /proc/meminfo: memFree=1461144/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=336676 CPUtime=162.26 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 82913 0 0 0 16186 40 0 0 25 0 1 0 279280305 344756224 82637 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 84169 82637 139 317 0 83848 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 336676 [startup+222.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22978 /proc/meminfo: memFree=1381656/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=458336 CPUtime=222.23 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 111452 0 0 0 22173 50 0 0 25 0 1 0 279280305 469336064 102431 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 114584 102431 139 317 0 114263 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 458336 [startup+282.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22978 /proc/meminfo: memFree=1323928/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=508028 CPUtime=282.22 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 125852 0 0 0 28164 58 0 0 25 0 1 0 279280305 520220672 116831 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 127007 116831 139 317 0 126686 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 508028 [startup+342.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22978 /proc/meminfo: memFree=1271704/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=552608 CPUtime=342.21 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 138996 0 0 0 34157 64 0 0 25 0 1 0 279280305 565870592 129975 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 138152 129975 139 317 0 137831 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 552608 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22978 /proc/meminfo: memFree=1214040/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=602900 CPUtime=402.19 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 153582 0 0 0 40147 72 0 0 25 0 1 0 279280305 617369600 144561 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 150725 144561 139 317 0 150404 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 602900 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22978 /proc/meminfo: memFree=1152472/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=654008 CPUtime=462.17 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 168736 0 0 0 46139 78 0 0 25 0 1 0 279280305 669704192 159715 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 163502 159715 139 317 0 163181 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 654008 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22978 /proc/meminfo: memFree=1111704/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=689020 CPUtime=522.16 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 179077 0 0 0 52132 84 0 0 25 0 1 0 279280305 705556480 170056 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 172255 170056 139 317 0 171934 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 689020 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22978 /proc/meminfo: memFree=1084696/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=711808 CPUtime=582.14 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 185568 0 0 0 58126 88 0 0 25 0 1 0 279280305 728891392 176547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 177952 176547 139 317 0 177631 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 711808 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22978 /proc/meminfo: memFree=1061848/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=733496 CPUtime=642.13 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 191794 0 0 0 64122 91 0 0 25 0 1 0 279280305 751099904 182257 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713818 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 183374 182257 139 317 0 183053 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 733496 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22978 /proc/meminfo: memFree=871448/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=1008452 CPUtime=942.05 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 264868 0 0 0 94081 124 0 0 25 0 1 0 279280305 1032654848 229721 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 252113 229721 139 317 0 251792 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 1008452 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22978 /proc/meminfo: memFree=844120/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=1032276 CPUtime=1002.04 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 271740 0 0 0 100076 128 0 0 25 0 1 0 279280305 1057050624 236593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 258069 236593 139 317 0 257748 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 1032276 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22978 /proc/meminfo: memFree=808536/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=1062132 CPUtime=1062.03 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 280565 0 0 0 106069 134 0 0 25 0 1 0 279280305 1087623168 245418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710943 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 265533 245418 139 317 0 265212 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 1062132 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22978 /proc/meminfo: memFree=777880/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=1087320 CPUtime=1122 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 288224 0 0 0 112062 138 0 0 25 0 1 0 279280305 1113415680 253077 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 271830 253077 139 317 0 271509 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 1087320 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22978 /proc/meminfo: memFree=748056/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=1111648 CPUtime=1181.99 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 295675 0 0 0 118057 142 0 0 25 0 1 0 279280305 1138327552 260528 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 277912 260528 139 317 0 277591 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 1111648 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22980 /proc/meminfo: memFree=723736/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=1132664 CPUtime=1241.98 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 301851 0 0 0 124052 146 0 0 25 0 1 0 279280305 1159847936 266704 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 283166 266704 139 317 0 282845 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 1132664 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22980 /proc/meminfo: memFree=702232/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=1149960 CPUtime=1301.97 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 307095 0 0 0 130049 148 0 0 25 0 1 0 279280305 1177559040 271948 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 287490 271948 139 317 0 287169 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 1149960 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22980 /proc/meminfo: memFree=670680/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=1176616 CPUtime=1361.95 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 315104 0 0 0 136042 153 0 0 25 0 1 0 279280305 1204854784 279957 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 294154 279957 139 317 0 293833 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1176616 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22980 /proc/meminfo: memFree=646104/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=1196856 CPUtime=1421.94 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 321101 0 0 0 142038 156 0 0 25 0 1 0 279280305 1225580544 285954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 299214 285954 139 317 0 298893 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1196856 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22980 /proc/meminfo: memFree=615256/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=1222800 CPUtime=1481.92 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 328952 0 0 0 148032 160 0 0 25 0 1 0 279280305 1252147200 293805 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 305700 293805 139 317 0 305379 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 1222800 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22980 /proc/meminfo: memFree=576472/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=1255392 CPUtime=1541.9 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 338486 0 0 0 154026 164 0 0 25 0 1 0 279280305 1285521408 303339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 313848 303339 139 317 0 313527 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1255392 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22980 /proc/meminfo: memFree=557400/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=1270772 CPUtime=1601.89 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 343245 0 0 0 160023 166 0 0 25 0 1 0 279280305 1301270528 308098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 317693 308098 139 317 0 317372 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 1270772 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22980 /proc/meminfo: memFree=527256/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=1295472 CPUtime=1661.87 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 350779 0 0 0 166016 171 0 0 25 0 1 0 279280305 1326563328 315632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 323868 315632 139 317 0 323547 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 1295472 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22980 /proc/meminfo: memFree=505304/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=1313660 CPUtime=1721.86 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 356242 0 0 0 172012 174 0 0 25 0 1 0 279280305 1345187840 321095 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716198 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 328415 321095 139 317 0 328094 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 1313660 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22980 /proc/meminfo: memFree=480792/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=1334492 CPUtime=1781.84 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 362356 0 0 0 178007 177 0 0 25 0 1 0 279280305 1366519808 327209 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 333623 327209 139 317 0 333302 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 1334492 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22980 /proc/meminfo: memFree=471640/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=1341840 CPUtime=1800.04 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 364644 0 0 0 179825 179 0 0 25 0 1 0 279280305 1374044160 329497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 335460 329497 139 317 0 335139 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1341840 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 1.00 2/79 22981 /proc/meminfo: memFree=792080/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=0 CPUtime=1800.14 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194308 364660 0 0 0 179830 184 0 0 25 0 1 0 279280305 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/79 22981 /proc/meminfo: memFree=792080/2055920 swapFree=4160052/4192956 [pid=22977] ppid=22975 vsize=0 CPUtime=1800.24 /proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194308 364660 0 0 0 179830 194 0 0 25 0 1 0 279280305 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22977/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.76 CPU time (s): 1800.31 CPU user time (s): 1798.31 CPU system time (s): 2.00269 CPU usage (%): 99.9748 Max. virtual memory (cumulated for all children) (KiB): 1341840 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.31 system time used= 2.0027 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 364660 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= 36300 runsolver used 1.44078 second user time and 4.08138 second system time The end
Begin job on node12 on Tue May 1 15:13:49 UTC 2007 IDJOB= 454850 IDBENCH= 48224 IDSOLVER= 172 FILE ID= node12/454850-1178032429 PBS_JOBID= 4728383 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_25_1.opb COMMAND LINE= oree /tmp/evaluation/454850-1178032429/instance-454850-1178032429.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node12/convwatcher-454850-1178032429 -o ROOT/results/node12/conversion-454850-1178032429 -C 600 -M 1800 /tmp/evaluation/454850-1178032429/substituteSizeProductKeyword /tmp/evaluation/454850-1178032429/instance-454850-1178032429.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-454850-1178032429 -o ROOT/results/node12/solver-454850-1178032429 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454850-1178032429/instance-454850-1178032429.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= fdd11e948ae8a5c2828dd3ba6f1a1add RANDOM SEED= 914652662 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node12.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.239 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.239 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: 1792560 kB Buffers: 74388 kB Cached: 96320 kB SwapCached: 11532 kB Active: 135040 kB Inactive: 64848 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1792560 kB SwapTotal: 4192956 kB SwapFree: 4160052 kB Dirty: 1728 kB Writeback: 0 kB Mapped: 35060 kB Slab: 48956 kB Committed_AS: 9749068 kB PageTables: 1804 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 node12 on Tue May 1 15:43:52 UTC 2007