Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1801.56 | 1802.12 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_25_3.opb |
MD5SUM | 9fd52bec996ed780d55ecea52b6ce11a |
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.14 |
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) | 31444 |
Sum of products size (including duplicates) | 62888 |
Number of different products | 15722 |
Sum of products size | 31444 |
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=16722 #constraints=32947 hasObjective=yes 0.29/0.40 c res. mode=mod 0.29/0.40 c VSIDS like heuristics 0.29/0.40 c complete search running 1.19/1.20 c restart after 401 decisions 1.19/1.28 c nbDecision=500 #constraints=33099 1.89/1.91 c restart after 801 decisions 1.99/2.04 c nbDecision=1000 #constraints=33216 4.29/4.32 c nbDecision=1500 #constraints=33624 4.79/4.87 c restart after 1601 decisions 5.98/6.01 c nbDecision=2000 #constraints=33854 8.70/8.77 c nbDecision=2500 #constraints=34291 11.59/11.67 c nbDecision=3000 #constraints=34720 12.88/12.91 c restart after 3201 decisions 14.58/14.63 c nbDecision=3500 #constraints=34950 16.89/16.94 c nbDecision=4000 #constraints=35217 20.09/20.13 c nbDecision=4500 #constraints=35684 23.29/23.39 c nbDecision=5000 #constraints=36058 26.88/26.93 c nbDecision=5500 #constraints=36432 30.48/30.54 c nbDecision=6000 #constraints=36890 33.28/33.39 c restart after 6401 decisions 35.08/35.18 c nbDecision=6500 #constraints=37248 38.48/38.55 c nbDecision=7000 #constraints=37586 42.58/42.61 c nbDecision=7500 #constraints=37972 46.68/46.74 c nbDecision=8000 #constraints=38383 50.98/51.09 c nbDecision=8500 #constraints=38787 55.28/55.32 c nbDecision=9000 #constraints=39228 59.58/59.64 c nbDecision=9500 #constraints=39680 63.78/63.87 c nbDecision=10000 #constraints=40132 68.37/68.44 c nbDecision=10500 #constraints=40577 73.27/73.33 c nbDecision=11000 #constraints=40987 78.07/78.11 c nbDecision=11500 #constraints=41433 83.07/83.12 c nbDecision=12000 #constraints=41862 89.08/89.15 c nbDecision=12500 #constraints=42225 91.97/92.03 c restart after 12801 decisions 97.06/97.12 c nbDecision=13000 #constraints=42507 102.87/103.00 c nbDecision=13500 #constraints=42859 108.06/108.15 c nbDecision=14000 #constraints=43306 113.56/113.62 c nbDecision=14500 #constraints=43745 119.66/119.73 c nbDecision=15000 #constraints=44151 125.96/126.05 c nbDecision=15500 #constraints=44553 131.46/131.53 c nbDecision=16000 #constraints=45008 138.76/138.86 c nbDecision=16500 #constraints=45374 145.86/145.96 c nbDecision=17000 #constraints=45757 151.55/151.69 c nbDecision=17500 #constraints=46221 158.85/158.90 c nbDecision=18000 #constraints=46611 165.35/165.43 c nbDecision=18500 #constraints=47040 171.85/171.94 c nbDecision=19000 #constraints=47476 179.85/179.93 c nbDecision=19500 #constraints=47858 186.95/187.03 c nbDecision=20000 #constraints=48279 196.34/196.41 c nbDecision=20500 #constraints=48620 204.64/204.77 c nbDecision=21000 #constraints=49003 213.04/213.10 c nbDecision=21500 #constraints=49400 220.44/220.53 c nbDecision=22000 #constraints=49827 227.84/227.95 c nbDecision=22500 #constraints=50258 237.43/237.60 c nbDecision=23000 #constraints=50625 244.33/244.47 c nbDecision=23500 #constraints=51079 258.23/258.39 c nbDecision=24000 #constraints=51318 265.83/265.98 c nbDecision=24500 #constraints=51757 275.32/275.49 c nbDecision=25000 #constraints=52145 282.42/282.58 c nbDecision=25500 #constraints=52606 285.92/286.09 c restart after 25601 decisions 300.41/300.59 c nbDecision=26000 #constraints=52769 307.71/307.82 c nbDecision=26500 #constraints=53214 319.81/320.00 c nbDecision=27000 #constraints=53549 330.71/330.85 c nbDecision=27500 #constraints=53910 339.40/339.53 c nbDecision=28000 #constraints=54340 350.50/350.65 c nbDecision=28500 #constraints=54746 358.70/358.82 c nbDecision=29000 #constraints=55161 369.40/369.53 c nbDecision=29500 #constraints=55549 380.19/380.35 c nbDecision=30000 #constraints=55940 391.19/391.31 c nbDecision=30500 #constraints=56330 403.59/403.79 c nbDecision=31000 #constraints=56687 412.69/412.84 c nbDecision=31500 #constraints=57128 423.28/423.46 c nbDecision=32000 #constraints=57535 433.98/434.19 c nbDecision=32500 #constraints=57949 444.78/444.93 c nbDecision=33000 #constraints=58356 459.87/460.05 c nbDecision=33500 #constraints=58677 471.96/472.11 c nbDecision=34000 #constraints=59064 487.36/487.59 c nbDecision=34500 #constraints=59384 500.27/500.47 c nbDecision=35000 #constraints=59762 513.96/514.14 c nbDecision=35500 #constraints=60126 525.15/525.31 c nbDecision=36000 #constraints=60543 536.55/536.70 c nbDecision=36500 #constraints=60958 552.34/552.50 c nbDecision=37000 #constraints=61291 566.04/566.27 c nbDecision=37500 #constraints=61675 582.24/582.41 c nbDecision=38000 #constraints=62010 595.33/595.55 c nbDecision=38500 #constraints=62404 613.43/613.65 c nbDecision=39000 #constraints=62702 630.03/630.28 c nbDecision=39500 #constraints=63032 649.83/650.08 c nbDecision=40000 #constraints=63315 666.42/666.62 c nbDecision=40500 #constraints=63654 685.51/685.80 c nbDecision=41000 #constraints=63953 707.91/708.10 c nbDecision=41500 #constraints=64202 728.90/729.17 c nbDecision=42000 #constraints=64469 753.30/753.53 c nbDecision=42500 #constraints=64682 772.69/772.94 c nbDecision=43000 #constraints=64982 799.18/799.50 c nbDecision=43500 #constraints=65207 828.18/828.44 c nbDecision=44000 #constraints=65317 840.37/840.62 c nbDecision=44500 #constraints=65751 852.17/852.42 c nbDecision=45000 #constraints=66201 862.77/863.03 c nbDecision=45500 #constraints=66666 877.96/878.24 c nbDecision=46000 #constraints=67057 887.26/887.56 c nbDecision=46500 #constraints=67544 898.56/898.85 c nbDecision=47000 #constraints=68002 915.65/915.98 c nbDecision=47500 #constraints=68374 927.05/927.36 c nbDecision=48000 #constraints=68834 940.84/941.16 c nbDecision=48500 #constraints=69261 951.75/952.06 c nbDecision=49000 #constraints=69731 964.23/964.58 c nbDecision=49500 #constraints=70190 977.74/978.06 c nbDecision=50000 #constraints=70615 996.03/996.34 c nbDecision=50500 #constraints=70984 1005.73/1006.03 c nbDecision=51000 #constraints=71472 1012.52/1012.85 c restart after 51201 decisions 1035.63/1035.94 c nbDecision=51500 #constraints=71679 1045.12/1045.43 c nbDecision=52000 #constraints=72171 1055.62/1055.94 c nbDecision=52500 #constraints=72649 1067.01/1067.39 c nbDecision=53000 #constraints=73117 1080.01/1080.32 c nbDecision=53500 #constraints=73567 1094.01/1094.31 c nbDecision=54000 #constraints=74004 1103.80/1104.14 c nbDecision=54500 #constraints=74497 1117.50/1117.80 c nbDecision=55000 #constraints=74942 1127.99/1128.39 c nbDecision=55500 #constraints=75427 1143.20/1143.58 c nbDecision=56000 #constraints=75857 1154.88/1155.25 c nbDecision=56500 #constraints=76331 1167.48/1167.81 c nbDecision=57000 #constraints=76796 1182.09/1182.49 c nbDecision=57500 #constraints=77236 1196.08/1196.43 c nbDecision=58000 #constraints=77686 1210.68/1211.10 c nbDecision=58500 #constraints=78129 1228.48/1228.85 c nbDecision=59000 #constraints=78543 1247.07/1247.43 c nbDecision=59500 #constraints=78944 1261.96/1262.30 c nbDecision=60000 #constraints=79389 1274.96/1275.33 c nbDecision=60500 #constraints=79857 1288.15/1288.52 c nbDecision=61000 #constraints=80324 1300.86/1301.23 c nbDecision=61500 #constraints=80796 1335.15/1335.56 c nbDecision=62000 #constraints=81032 1353.03/1353.44 c nbDecision=62500 #constraints=81450 1371.94/1372.37 c nbDecision=63000 #constraints=81883 1385.64/1386.09 c nbDecision=63500 #constraints=82323 1405.83/1406.29 c nbDecision=64000 #constraints=82753 1423.71/1424.10 c nbDecision=64500 #constraints=83146 1435.92/1436.35 c nbDecision=65000 #constraints=83630 1449.11/1449.54 c nbDecision=65500 #constraints=84105 1465.82/1466.29 c nbDecision=66000 #constraints=84544 1481.80/1482.28 c nbDecision=66500 #constraints=84992 1501.49/1501.93 c nbDecision=67000 #constraints=85407 1517.60/1518.03 c nbDecision=67500 #constraints=85857 1531.90/1532.38 c nbDecision=68000 #constraints=86327 1548.09/1548.55 c nbDecision=68500 #constraints=86780 1564.28/1564.70 c nbDecision=69000 #constraints=87233 1584.78/1585.23 c nbDecision=69500 #constraints=87647 1603.57/1604.01 c nbDecision=70000 #constraints=88077 1617.67/1618.17 c nbDecision=70500 #constraints=88551 1635.96/1636.43 c nbDecision=71000 #constraints=88990 1655.36/1655.88 c nbDecision=71500 #constraints=89464 1684.55/1685.04 c nbDecision=72000 #constraints=89758 1701.05/1701.52 c nbDecision=72500 #constraints=90216 1720.75/1721.28 c nbDecision=73000 #constraints=90679 1739.44/1739.91 c nbDecision=73500 #constraints=91083 1761.74/1762.29 c nbDecision=74000 #constraints=91493 1778.24/1778.70 c nbDecision=74500 #constraints=91955 1798.32/1798.85 c nbDecision=75000 #constraints=92387 1800.02/1800.50 Received signal 15 1801.23/1801.79 1801.23/1801.79 s UNKNOWN 1801.23/1801.79 1801.23/1801.79 c user time= 1799.53 s 1801.23/1801.79 c system time= 1.80073 s 1801.23/1801.79 c wall clock time=1801.8
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/455615-1178046487/instance-455615-1178046487.opb mv /tmp/evaluation/455615-1178046487/instance-455615-1178046487.opb.tmp /tmp/evaluation/455615-1178046487/instance-455615-1178046487.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node47/watcher-455615-1178046487 -o ROOT/results/node47/solver-455615-1178046487 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455615-1178046487/instance-455615-1178046487.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.84 0.95 0.97 3/77 13550 /proc/meminfo: memFree=1776296/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=1468 CPUtime=0 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 185 0 0 0 0 0 0 0 18 0 1 0 159494095 1503232 168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 367 168 131 317 0 46 0 [startup+0.0509241 s] /proc/loadavg: 0.84 0.95 0.97 3/77 13550 /proc/meminfo: memFree=1776296/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=2392 CPUtime=0.04 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 418 0 0 0 4 0 0 0 18 0 1 0 159494095 2449408 401 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 598 401 131 317 0 277 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2392 [startup+0.102931 s] /proc/loadavg: 0.84 0.95 0.97 3/77 13550 /proc/meminfo: memFree=1776296/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=3324 CPUtime=0.09 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 636 0 0 0 9 0 0 0 18 0 1 0 159494095 3403776 619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 831 619 132 317 0 510 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3324 [startup+0.301952 s] /proc/loadavg: 0.84 0.95 0.97 3/77 13550 /proc/meminfo: memFree=1776296/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=13520 CPUtime=0.29 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 3210 0 0 0 28 1 0 0 19 0 1 0 159494095 13844480 3160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 3380 3160 137 317 0 3059 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13520 [startup+0.702995 s] /proc/loadavg: 0.84 0.95 0.97 3/77 13550 /proc/meminfo: memFree=1776296/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=16400 CPUtime=0.69 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 3917 0 0 0 68 1 0 0 22 0 1 0 159494095 16793600 3641 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 4100 3641 139 317 0 3779 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16400 [startup+1.50108 s] /proc/loadavg: 0.85 0.95 0.97 2/78 13551 /proc/meminfo: memFree=1760672/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=19476 CPUtime=1.49 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 4682 0 0 0 147 2 0 0 25 0 1 0 159494095 19943424 4406 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 4869 4406 139 317 0 4548 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19476 [startup+3.10125 s] /proc/loadavg: 0.85 0.95 0.97 2/78 13551 /proc/meminfo: memFree=1756576/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=25484 CPUtime=3.09 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 6187 0 0 0 306 3 0 0 25 0 1 0 159494095 26095616 5911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 6371 5911 139 317 0 6050 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25484 [startup+6.3016 s] /proc/loadavg: 0.87 0.95 0.97 2/78 13551 /proc/meminfo: memFree=1745120/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=36100 CPUtime=6.28 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 8854 0 0 0 624 4 0 0 25 0 1 0 159494095 36966400 8578 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 9025 8578 139 317 0 8704 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 36100 [startup+12.7013 s] /proc/loadavg: 0.88 0.95 0.97 3/78 13551 /proc/meminfo: memFree=1722728/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=57708 CPUtime=12.68 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 14259 0 0 0 1261 7 0 0 25 0 1 0 159494095 59092992 13983 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 14427 13983 139 317 0 14106 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 57708 [startup+25.5017 s] /proc/loadavg: 0.89 0.95 0.97 2/78 13551 /proc/meminfo: memFree=1688488/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=91080 CPUtime=25.48 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 22500 0 0 0 2537 11 0 0 25 0 1 0 159494095 93265920 22224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 22770 22224 139 317 0 22449 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 91080 [startup+51.1015 s] /proc/loadavg: 0.93 0.96 0.97 2/78 13551 /proc/meminfo: memFree=1631336/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=150928 CPUtime=51.08 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 36662 0 0 0 5091 17 0 0 25 0 1 0 159494095 154550272 36386 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 37732 36386 139 317 0 37411 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 150928 [startup+102.306 s] /proc/loadavg: 0.97 0.96 0.97 2/78 13551 /proc/meminfo: memFree=1536808/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=254900 CPUtime=102.27 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 60200 0 0 0 10199 28 0 0 25 0 1 0 159494095 261017600 59924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 63725 59924 139 317 0 63404 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 254900 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 13553 /proc/meminfo: memFree=1457256/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=326520 CPUtime=162.25 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 79976 0 0 0 16188 37 0 0 25 0 1 0 159494095 334356480 79700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 81630 79700 139 317 0 81309 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 326520 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 13553 /proc/meminfo: memFree=1381736/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=446104 CPUtime=222.24 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 107412 0 0 0 22175 49 0 0 25 0 1 0 159494095 456810496 98490 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 111526 98490 139 317 0 111205 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 446104 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 13553 /proc/meminfo: memFree=1327784/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=493164 CPUtime=282.22 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 121587 0 0 0 28167 55 0 0 25 0 1 0 159494095 504999936 112665 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 123291 112665 139 317 0 122970 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 493164 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 13553 /proc/meminfo: memFree=1286760/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=526504 CPUtime=342.2 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 131117 0 0 0 34161 59 0 0 25 0 1 0 159494095 539140096 122195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711484 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 131626 122195 139 317 0 131305 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 526504 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 13553 /proc/meminfo: memFree=1243112/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=564628 CPUtime=402.18 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 142273 0 0 0 40152 66 0 0 25 0 1 0 159494095 578179072 133351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 141157 133351 139 317 0 140836 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 564628 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 13553 /proc/meminfo: memFree=1197352/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=602984 CPUtime=462.17 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 153455 0 0 0 46144 73 0 0 25 0 1 0 159494095 617455616 144533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 150746 144533 139 317 0 150425 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 602984 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 13553 /proc/meminfo: memFree=1162536/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=631800 CPUtime=522.15 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 162264 0 0 0 52139 76 0 0 25 0 1 0 159494095 646963200 153342 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 157950 153342 139 317 0 157629 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 631800 [startup+582.303 s] /proc/loadavg: 0.99 0.97 0.97 2/78 13553 /proc/meminfo: memFree=1129064/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=659904 CPUtime=582.14 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 170490 0 0 0 58133 81 0 0 25 0 1 0 159494095 675741696 161568 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 164976 161568 139 317 0 164655 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 659904 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 13553 /proc/meminfo: memFree=1105256/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=680392 CPUtime=642.13 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 176434 0 0 0 64129 84 0 0 25 0 1 0 159494095 696721408 167512 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 170098 167512 139 317 0 169777 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 680392 ################ # More data... # ################ [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 13553 /proc/meminfo: memFree=889704/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=981572 CPUtime=1062.02 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 256630 0 0 0 106078 124 0 0 25 0 1 0 159494095 1005129728 221517 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 245393 221517 139 317 0 245072 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 981572 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 13553 /proc/meminfo: memFree=841768/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=1021480 CPUtime=1122 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 268438 0 0 0 112071 129 0 0 25 0 1 0 159494095 1045995520 233325 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 255370 233325 139 317 0 255049 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 1021480 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 13553 /proc/meminfo: memFree=797736/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=1058560 CPUtime=1181.99 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 279554 0 0 0 118063 136 0 0 25 0 1 0 159494095 1083965440 244441 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 264640 244441 139 317 0 264319 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 1058560 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 13553 /proc/meminfo: memFree=760744/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=1089024 CPUtime=1241.96 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 288543 0 0 0 124057 139 0 0 25 0 1 0 159494095 1115160576 253430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 272256 253430 139 317 0 271935 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1089024 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 13553 /proc/meminfo: memFree=719784/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=1122584 CPUtime=1301.96 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 298764 0 0 0 130050 146 0 0 25 0 1 0 159494095 1149526016 263651 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 280646 263651 139 317 0 280325 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1122584 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 13553 /proc/meminfo: memFree=700328/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=1138684 CPUtime=1361.94 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 303705 0 0 0 136045 149 0 0 25 0 1 0 159494095 1166012416 268592 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 284671 268592 139 317 0 284350 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1138684 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/78 13553 /proc/meminfo: memFree=671336/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=1163520 CPUtime=1421.92 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 310839 0 0 0 142038 154 0 0 25 0 1 0 159494095 1191444480 275726 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 290880 275726 139 317 0 290559 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1163520 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 13553 /proc/meminfo: memFree=630632/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=1197520 CPUtime=1481.9 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 321165 0 0 0 148031 159 0 0 25 0 1 0 159494095 1226260480 286052 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 299380 286052 139 317 0 299059 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1197520 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 13553 /proc/meminfo: memFree=596072/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=1225944 CPUtime=1541.89 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 329651 0 0 0 154026 163 0 0 25 0 1 0 159494095 1255366656 294538 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 306486 294538 139 317 0 306165 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1225944 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 13553 /proc/meminfo: memFree=565096/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=1251452 CPUtime=1601.87 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 337417 0 0 0 160020 167 0 0 25 0 1 0 159494095 1281486848 302271 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712546 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 312863 302271 139 317 0 312542 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1251452 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 13553 /proc/meminfo: memFree=532904/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=1278300 CPUtime=1661.86 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 345509 0 0 0 166015 171 0 0 25 0 1 0 159494095 1308979200 310363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 319575 310363 139 317 0 319254 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1278300 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 13553 /proc/meminfo: memFree=508136/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=1298972 CPUtime=1721.85 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 351618 0 0 0 172010 175 0 0 25 0 1 0 159494095 1330147328 316472 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 324743 316472 139 317 0 324422 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1298972 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 13553 /proc/meminfo: memFree=477736/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=1324168 CPUtime=1781.83 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 359287 0 0 0 178004 179 0 0 25 0 1 0 159494095 1355948032 324141 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 331042 324141 139 317 0 330721 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1324168 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.97 2/78 13553 /proc/meminfo: memFree=471592/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=1329932 CPUtime=1800.02 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 360741 0 0 0 179823 179 0 0 25 0 1 0 159494095 1361850368 325595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 332483 325595 139 317 0 332162 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1329932 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 0.99 0.97 0.97 2/79 13554 /proc/meminfo: memFree=471584/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=1329932 CPUtime=1800.93 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 360741 0 0 0 179913 180 0 0 25 0 1 0 159494095 1361850368 325595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 332483 325595 139 317 0 332162 0 Current children cumulated CPU time (s) 1800.93 Current children cumulated vsize (KiB) 1329932 [startup+1801.81 s] /proc/loadavg: 0.99 0.97 0.97 2/79 13554 /proc/meminfo: memFree=471584/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=1329932 CPUtime=1801.33 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 360757 0 0 0 179953 180 0 0 25 0 1 0 159494095 1361850368 325611 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284169 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 332483 325611 155 317 0 332162 0 Current children cumulated CPU time (s) 1801.33 Current children cumulated vsize (KiB) 1329932 [startup+1802 s] /proc/loadavg: 0.99 0.97 0.97 2/79 13554 /proc/meminfo: memFree=471584/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=0 CPUtime=1801.52 /proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194308 360757 0 0 0 179955 197 0 0 25 0 1 0 159494095 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1801.52 Current children cumulated vsize (KiB) 0 [startup+1802.1 s] /proc/loadavg: 0.99 0.97 0.97 2/79 13554 /proc/meminfo: memFree=471584/2055920 swapFree=4157776/4192956 [pid=13550] ppid=13548 vsize=0 CPUtime=1801.55 /proc/13550/stat : 13550 (oree) D 13548 13550 13482 0 -1 4194308 360757 0 0 0 179955 200 0 0 25 0 1 0 159494095 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 18446744072100051646 0 0 17 1 0 0 /proc/13550/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1801.55 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1802.12 CPU time (s): 1801.56 CPU user time (s): 1799.55 CPU system time (s): 2.00769 CPU usage (%): 99.9692 Max. virtual memory (cumulated for all children) (KiB): 1329932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.55 system time used= 2.00769 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 360757 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= 2775 runsolver used 1.75373 second user time and 4.35534 second system time The end
Begin job on node47 on Tue May 1 19:08:07 UTC 2007 IDJOB= 455615 IDBENCH= 48275 IDSOLVER= 172 FILE ID= node47/455615-1178046487 PBS_JOBID= 4728494 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_3.opb COMMAND LINE= oree /tmp/evaluation/455615-1178046487/instance-455615-1178046487.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node47/convwatcher-455615-1178046487 -o ROOT/results/node47/conversion-455615-1178046487 -C 600 -M 1800 /tmp/evaluation/455615-1178046487/substituteSizeProductKeyword /tmp/evaluation/455615-1178046487/instance-455615-1178046487.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-455615-1178046487 -o ROOT/results/node47/solver-455615-1178046487 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455615-1178046487/instance-455615-1178046487.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 9fd52bec996ed780d55ecea52b6ce11a RANDOM SEED= 710011401 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: 1776832 kB Buffers: 77016 kB Cached: 119448 kB SwapCached: 3524 kB Active: 120168 kB Inactive: 100620 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1776832 kB SwapTotal: 4192956 kB SwapFree: 4157776 kB Dirty: 1884 kB Writeback: 0 kB Mapped: 29948 kB Slab: 43840 kB Committed_AS: 5417056 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 19:38:10 UTC 2007