Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.11 | 1800.58 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_5.opb |
MD5SUM | 1a8c058c181490cb899ec7074b22bfb3 |
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 | -16 |
Best CPU time to get the best result obtained on this benchmark | 1800.05 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -16 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 301 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6124 |
Sum of products size (including duplicates) | 12248 |
Number of different products | 3062 |
Sum of products size | 6124 |
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.02/0.05 c ...done 0.02/0.05 c #vars=3262 #constraints=6427 hasObjective=yes 0.02/0.07 c res. mode=mod 0.02/0.07 c VSIDS like heuristics 0.02/0.07 c complete search running 0.29/0.38 c restart after 401 decisions 0.39/0.44 c nbDecision=500 #constraints=6769 0.69/0.74 c restart after 801 decisions 0.89/0.93 c nbDecision=1000 #constraints=7169 1.50/1.52 c nbDecision=1500 #constraints=7581 1.60/1.65 c restart after 1601 decisions 2.20/2.22 c nbDecision=2000 #constraints=7889 2.99/3.08 c nbDecision=2500 #constraints=8299 4.19/4.21 c nbDecision=3000 #constraints=8728 4.59/4.69 c restart after 3201 decisions 5.40/5.48 c nbDecision=3500 #constraints=9123 6.99/7.01 c nbDecision=4000 #constraints=9503 8.70/8.75 c nbDecision=4500 #constraints=9872 10.79/10.82 c nbDecision=5000 #constraints=10215 12.89/12.94 c nbDecision=5500 #constraints=10622 15.18/15.21 c nbDecision=6000 #constraints=11034 17.19/17.28 c restart after 6401 decisions 17.89/18.00 c nbDecision=6500 #constraints=11397 20.99/21.10 c nbDecision=7000 #constraints=11747 24.68/24.79 c nbDecision=7500 #constraints=12039 28.58/28.66 c nbDecision=8000 #constraints=12380 32.68/32.74 c nbDecision=8500 #constraints=12714 36.38/36.49 c nbDecision=9000 #constraints=13100 40.38/40.45 c nbDecision=9500 #constraints=13477 45.78/45.88 c nbDecision=10000 #constraints=13729 51.88/51.92 c nbDecision=10500 #constraints=14007 56.78/56.85 c nbDecision=11000 #constraints=14375 62.47/62.51 c nbDecision=11500 #constraints=14702 67.58/67.64 c nbDecision=12000 #constraints=15060 74.17/74.26 c nbDecision=12500 #constraints=15373 78.87/78.91 c restart after 12801 decisions 82.47/82.56 c nbDecision=13000 #constraints=15613 88.97/89.04 c nbDecision=13500 #constraints=15984 94.67/94.76 c nbDecision=14000 #constraints=16392 101.76/101.87 c nbDecision=14500 #constraints=16729 109.67/109.70 c nbDecision=15000 #constraints=17057 118.06/118.16 c nbDecision=15500 #constraints=17369 129.16/129.26 c nbDecision=16000 #constraints=17591 137.26/137.31 c nbDecision=16500 #constraints=17932 144.66/144.74 c nbDecision=17000 #constraints=18334 154.75/154.88 c nbDecision=17500 #constraints=18664 165.15/165.23 c nbDecision=18000 #constraints=18919 176.95/177.08 c nbDecision=18500 #constraints=19161 187.35/187.43 c nbDecision=19000 #constraints=19429 200.04/200.12 c nbDecision=19500 #constraints=19731 212.04/212.13 c nbDecision=20000 #constraints=20041 219.94/220.03 c nbDecision=20500 #constraints=20476 230.93/231.01 c nbDecision=21000 #constraints=20839 243.33/243.48 c nbDecision=21500 #constraints=21088 255.73/255.80 c nbDecision=22000 #constraints=21383 269.52/269.62 c nbDecision=22500 #constraints=21722 279.22/279.33 c nbDecision=23000 #constraints=22148 290.51/290.60 c nbDecision=23500 #constraints=22553 304.01/304.18 c nbDecision=24000 #constraints=22868 322.61/322.77 c nbDecision=24500 #constraints=23079 337.30/337.47 c nbDecision=25000 #constraints=23373 348.60/348.73 c nbDecision=25500 #constraints=23788 351.60/351.76 c restart after 25601 decisions 364.59/364.72 c nbDecision=26000 #constraints=24110 383.59/383.76 c nbDecision=26500 #constraints=24356 399.79/399.97 c nbDecision=27000 #constraints=24722 413.88/414.08 c nbDecision=27500 #constraints=25133 428.98/429.14 c nbDecision=28000 #constraints=25516 446.98/447.11 c nbDecision=28500 #constraints=25819 469.17/469.32 c nbDecision=29000 #constraints=26096 487.27/487.47 c nbDecision=29500 #constraints=26471 506.97/507.16 c nbDecision=30000 #constraints=26851 527.76/527.98 c nbDecision=30500 #constraints=27213 551.95/552.11 c nbDecision=31000 #constraints=27548 578.34/578.59 c nbDecision=31500 #constraints=27803 602.64/602.81 c nbDecision=32000 #constraints=28137 622.23/622.45 c nbDecision=32500 #constraints=28534 646.73/646.94 c nbDecision=33000 #constraints=28847 666.21/666.42 c nbDecision=33500 #constraints=29245 682.11/682.33 c nbDecision=34000 #constraints=29687 706.30/706.55 c nbDecision=34500 #constraints=30039 730.80/731.02 c nbDecision=35000 #constraints=30361 752.40/752.66 c nbDecision=35500 #constraints=30770 773.59/773.88 c nbDecision=36000 #constraints=31181 804.79/805.02 c nbDecision=36500 #constraints=31483 830.18/830.40 c nbDecision=37000 #constraints=31902 856.17/856.41 c nbDecision=37500 #constraints=32261 877.47/877.78 c nbDecision=38000 #constraints=32695 905.45/905.77 c nbDecision=38500 #constraints=33079 936.75/937.03 c nbDecision=39000 #constraints=33476 966.44/966.77 c nbDecision=39500 #constraints=33864 995.63/995.96 c nbDecision=40000 #constraints=34206 1020.43/1020.75 c nbDecision=40500 #constraints=34625 1048.81/1049.14 c nbDecision=41000 #constraints=35036 1089.21/1089.57 c nbDecision=41500 #constraints=35330 1117.91/1118.27 c nbDecision=42000 #constraints=35733 1146.59/1146.90 c nbDecision=42500 #constraints=36155 1177.58/1177.94 c nbDecision=43000 #constraints=36517 1212.88/1213.23 c nbDecision=43500 #constraints=36878 1254.56/1254.96 c nbDecision=44000 #constraints=37195 1293.66/1294.02 c nbDecision=44500 #constraints=37566 1332.15/1332.53 c nbDecision=45000 #constraints=37898 1363.93/1364.31 c nbDecision=45500 #constraints=38290 1400.83/1401.26 c nbDecision=46000 #constraints=38640 1443.52/1443.90 c nbDecision=46500 #constraints=38953 1476.00/1476.42 c nbDecision=47000 #constraints=39377 1511.20/1511.69 c nbDecision=47500 #constraints=39768 1552.48/1552.95 c nbDecision=48000 #constraints=40142 1587.18/1587.65 c nbDecision=48500 #constraints=40552 1627.37/1627.81 c nbDecision=49000 #constraints=40945 1662.77/1663.21 c nbDecision=49500 #constraints=41371 1702.55/1703.09 c nbDecision=50000 #constraints=41773 1751.34/1751.82 c nbDecision=50500 #constraints=42084 1794.23/1794.78 c nbDecision=51000 #constraints=42485 1800.03/1800.50 Received signal 15 1800.03/1800.53 1800.03/1800.53 s UNKNOWN 1800.03/1800.53 1800.03/1800.53 c user time= 1799.65 s 1800.03/1800.53 c system time= 0.415936 s 1800.03/1800.53 c wall clock time=1800.54
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/455045-1178036131/instance-455045-1178036131.opb mv /tmp/evaluation/455045-1178036131/instance-455045-1178036131.opb.tmp /tmp/evaluation/455045-1178036131/instance-455045-1178036131.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node65/watcher-455045-1178036131 -o ROOT/results/node65/solver-455045-1178036131 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455045-1178036131/instance-455045-1178036131.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.78 0.94 0.98 3/64 30081 /proc/meminfo: memFree=1898016/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=1468 CPUtime=0 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 279602751 1503232 167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 367 167 131 317 0 46 0 [startup+0.029198 s] /proc/loadavg: 0.78 0.94 0.98 3/64 30081 /proc/meminfo: memFree=1898016/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=2128 CPUtime=0.02 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 343 0 0 0 2 0 0 0 18 0 1 0 279602751 2179072 326 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 532 326 132 317 0 211 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2128 [startup+0.101202 s] /proc/loadavg: 0.78 0.94 0.98 3/64 30081 /proc/meminfo: memFree=1898016/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=4244 CPUtime=0.09 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 896 0 0 0 9 0 0 0 18 0 1 0 279602751 4345856 835 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 1061 835 139 317 0 740 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4244 [startup+0.301219 s] /proc/loadavg: 0.78 0.94 0.98 3/64 30081 /proc/meminfo: memFree=1898016/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=5168 CPUtime=0.29 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 1102 0 0 0 29 0 0 0 19 0 1 0 279602751 5292032 1041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 1292 1041 139 317 0 971 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5168 [startup+0.701252 s] /proc/loadavg: 0.78 0.94 0.98 3/64 30081 /proc/meminfo: memFree=1898016/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=7028 CPUtime=0.69 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 1592 0 0 0 69 0 0 0 22 0 1 0 279602751 7196672 1531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 1757 1531 139 317 0 1436 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7028 [startup+1.50132 s] /proc/loadavg: 0.78 0.94 0.98 2/65 30082 /proc/meminfo: memFree=1891544/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=10008 CPUtime=1.5 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 2281 0 0 0 149 1 0 0 25 0 1 0 279602751 10248192 2220 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 2502 2220 139 317 0 2181 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 10008 [startup+3.10157 s] /proc/loadavg: 0.78 0.94 0.98 2/65 30082 /proc/meminfo: memFree=1888216/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=12804 CPUtime=3.09 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 3039 0 0 0 308 1 0 0 25 0 1 0 279602751 13111296 2978 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 3201 2978 139 317 0 2880 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12804 [startup+6.30171 s] /proc/loadavg: 0.80 0.94 0.98 2/65 30082 /proc/meminfo: memFree=1882264/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=18420 CPUtime=6.29 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 4375 0 0 0 627 2 0 0 25 0 1 0 279602751 18862080 4314 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 4605 4314 139 317 0 4284 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18420 [startup+12.7012 s] /proc/loadavg: 0.81 0.94 0.98 2/65 30082 /proc/meminfo: memFree=1876456/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=23140 CPUtime=12.69 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 5613 0 0 0 1266 3 0 0 25 0 1 0 279602751 23695360 5552 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 5785 5552 139 317 0 5464 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23140 [startup+25.5013 s] /proc/loadavg: 0.85 0.94 0.98 2/65 30082 /proc/meminfo: memFree=1868392/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=31656 CPUtime=25.48 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 7529 0 0 0 2544 4 0 0 25 0 1 0 279602751 32415744 7468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 7914 7468 139 317 0 7593 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 31656 [startup+51.1014 s] /proc/loadavg: 0.90 0.94 0.98 2/65 30082 /proc/meminfo: memFree=1860968/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=39104 CPUtime=51.08 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 9572 0 0 0 5101 7 0 0 25 0 1 0 279602751 40042496 9423 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 9776 9423 139 317 0 9455 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 39104 [startup+102.306 s] /proc/loadavg: 0.96 0.95 0.98 2/65 30082 /proc/meminfo: memFree=1846312/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=56084 CPUtime=102.27 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 13134 0 0 0 10218 9 0 0 25 0 1 0 279602751 57430016 12985 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 14021 12985 139 317 0 13700 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 56084 [startup+162.302 s] /proc/loadavg: 0.98 0.96 0.98 2/65 30082 /proc/meminfo: memFree=1837544/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=64000 CPUtime=162.25 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 15317 0 0 0 16214 11 0 0 25 0 1 0 279602751 65536000 15168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 16000 15168 139 317 0 15679 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 64000 [startup+222.302 s] /proc/loadavg: 0.99 0.96 0.98 2/65 30082 /proc/meminfo: memFree=1829992/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=70852 CPUtime=222.24 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 17201 0 0 0 22211 13 0 0 25 0 1 0 279602751 72552448 17052 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 17713 17052 139 317 0 17392 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 70852 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 30082 /proc/meminfo: memFree=1822632/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=77676 CPUtime=282.22 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 19032 0 0 0 28208 14 0 0 25 0 1 0 279602751 79540224 18883 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711106 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 19419 18883 139 317 0 19098 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 77676 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 30082 /proc/meminfo: memFree=1816936/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=82944 CPUtime=342.2 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 20429 0 0 0 34204 16 0 0 25 0 1 0 279602751 84934656 20280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 20736 20280 139 317 0 20415 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 82944 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 30082 /proc/meminfo: memFree=1810216/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=97992 CPUtime=402.19 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 23628 0 0 0 40202 17 0 0 25 0 1 0 279602751 100343808 21994 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 24498 21994 139 317 0 24177 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 97992 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 30082 /proc/meminfo: memFree=1804904/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=103172 CPUtime=462.17 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 25098 0 0 0 46199 18 0 0 25 0 1 0 279602751 105648128 23288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 25793 23288 139 317 0 25472 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 103172 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 30082 /proc/meminfo: memFree=1799400/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=107928 CPUtime=522.15 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 26475 0 0 0 52196 19 0 0 25 0 1 0 279602751 110518272 24665 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 26982 24665 139 317 0 26661 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 107928 [startup+582.301 s] /proc/loadavg: 1.05 0.99 0.98 2/65 30082 /proc/meminfo: memFree=1796392/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=110984 CPUtime=582.14 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 27211 0 0 0 58194 20 0 0 25 0 1 0 279602751 113647616 25401 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 27746 25401 139 317 0 27425 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 110984 [startup+642.301 s] /proc/loadavg: 1.07 1.00 0.99 2/65 30082 /proc/meminfo: memFree=1791848/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=115156 CPUtime=642.13 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 28333 0 0 0 64191 22 0 0 25 0 1 0 279602751 117919744 26523 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 28789 26523 139 317 0 28468 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 115156 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 30082 /proc/meminfo: memFree=1773736/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=131740 CPUtime=882.06 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 32897 0 0 0 88179 27 0 0 25 0 1 0 279602751 134901760 31054 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 32935 31054 139 317 0 32614 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 131740 [startup+942.301 s] /proc/loadavg: 1.08 1.02 0.99 2/65 30082 /proc/meminfo: memFree=1770408/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=134820 CPUtime=942.05 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 33742 0 0 0 94176 29 0 0 25 0 1 0 279602751 138055680 31899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 33705 31899 139 317 0 33384 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 134820 [startup+1002.3 s] /proc/loadavg: 1.03 1.01 0.99 2/65 30082 /proc/meminfo: memFree=1766696/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=138016 CPUtime=1002.03 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 34654 0 0 0 100173 30 0 0 25 0 1 0 279602751 141328384 32811 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 34504 32811 139 317 0 34183 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 138016 [startup+1062.3 s] /proc/loadavg: 1.01 1.00 0.99 2/65 30082 /proc/meminfo: memFree=1763112/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=141560 CPUtime=1062.02 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 35610 0 0 0 106171 31 0 0 25 0 1 0 279602751 144957440 33701 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 35390 33701 139 317 0 35069 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 141560 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 30082 /proc/meminfo: memFree=1759912/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=144192 CPUtime=1122 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 36401 0 0 0 112168 32 0 0 25 0 1 0 279602751 147652608 34492 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 36048 34492 139 317 0 35727 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 144192 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 30082 /proc/meminfo: memFree=1756456/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=147352 CPUtime=1181.99 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 37266 0 0 0 118165 34 0 0 25 0 1 0 279602751 150888448 35357 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 36838 35357 139 317 0 36517 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 147352 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 30082 /proc/meminfo: memFree=1754024/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=149460 CPUtime=1241.97 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 37858 0 0 0 124163 34 0 0 25 0 1 0 279602751 153047040 35949 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 37365 35949 139 317 0 37044 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 149460 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 30082 /proc/meminfo: memFree=1751400/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=151968 CPUtime=1301.96 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 38509 0 0 0 130161 35 0 0 25 0 1 0 279602751 155615232 36600 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 37992 36600 139 317 0 37671 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 151968 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 30082 /proc/meminfo: memFree=1748648/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=154868 CPUtime=1361.94 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 39202 0 0 0 136159 35 0 0 25 0 1 0 279602751 158584832 37293 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 38717 37293 139 317 0 38396 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 154868 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/65 30082 /proc/meminfo: memFree=1745960/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=157236 CPUtime=1421.93 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 39858 0 0 0 142157 36 0 0 25 0 1 0 279602751 161009664 37949 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 39309 37949 139 317 0 38988 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 157236 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 30082 /proc/meminfo: memFree=1743272/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=160140 CPUtime=1481.9 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 40537 0 0 0 148154 36 0 0 25 0 1 0 279602751 163983360 38628 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 40035 38628 139 317 0 39714 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 160140 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 30082 /proc/meminfo: memFree=1740328/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=163044 CPUtime=1541.89 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 41277 0 0 0 154152 37 0 0 25 0 1 0 279602751 166957056 39368 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562669 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 40761 39368 139 317 0 40440 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 163044 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 30084 /proc/meminfo: memFree=1737448/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=165676 CPUtime=1601.87 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 41989 0 0 0 160149 38 0 0 25 0 1 0 279602751 169652224 40080 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 41419 40080 139 317 0 41098 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 165676 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 30084 /proc/meminfo: memFree=1734120/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=168580 CPUtime=1661.86 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 42799 0 0 0 166147 39 0 0 25 0 1 0 279602751 172625920 40890 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563369 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 42145 40890 139 317 0 41824 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 168580 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 30084 /proc/meminfo: memFree=1729896/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=188636 CPUtime=1721.85 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 47269 0 0 0 172144 41 0 0 25 0 1 0 279602751 193163264 41915 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 47159 41915 139 317 0 46838 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 188636 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 30084 /proc/meminfo: memFree=1729000/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=189680 CPUtime=1781.83 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 47594 0 0 0 178142 41 0 0 25 0 1 0 279602751 194232320 42175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 47420 42175 139 317 0 47099 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 189680 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.99 2/65 30084 /proc/meminfo: memFree=1728296/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=190340 CPUtime=1800.03 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 47759 0 0 0 179962 41 0 0 25 0 1 0 279602751 194908160 42340 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 47585 42340 139 317 0 47264 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 190340 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.99 2/65 30084 /proc/meminfo: memFree=1728296/2055920 swapFree=4184032/4192956 [pid=30081] ppid=30079 vsize=190340 CPUtime=1800.03 /proc/30081/stat : 30081 (oree) R 30079 30081 30013 0 -1 4194304 47759 0 0 0 179962 41 0 0 25 0 1 0 279602751 194908160 42340 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30081/statm: 47585 42340 139 317 0 47264 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 190340 Child status: 0 Real time (s): 1800.58 CPU time (s): 1800.11 CPU user time (s): 1799.66 CPU system time (s): 0.444932 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 190340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.66 system time used= 0.444932 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 47776 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= 2787 runsolver used 1.35179 second user time and 3.57845 second system time The end
Begin job on node65 on Tue May 1 16:15:31 UTC 2007 IDJOB= 455045 IDBENCH= 48237 IDSOLVER= 172 FILE ID= node65/455045-1178036131 PBS_JOBID= 4728452 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_100_25_5.opb COMMAND LINE= oree /tmp/evaluation/455045-1178036131/instance-455045-1178036131.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node65/convwatcher-455045-1178036131 -o ROOT/results/node65/conversion-455045-1178036131 -C 600 -M 1800 /tmp/evaluation/455045-1178036131/substituteSizeProductKeyword /tmp/evaluation/455045-1178036131/instance-455045-1178036131.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-455045-1178036131 -o ROOT/results/node65/solver-455045-1178036131 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455045-1178036131/instance-455045-1178036131.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 1a8c058c181490cb899ec7074b22bfb3 RANDOM SEED= 276599116 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node65.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.245 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.245 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: 1898488 kB Buffers: 38012 kB Cached: 53012 kB SwapCached: 3020 kB Active: 63692 kB Inactive: 38276 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1898488 kB SwapTotal: 4192956 kB SwapFree: 4184032 kB Dirty: 1580 kB Writeback: 0 kB Mapped: 15232 kB Slab: 41508 kB Committed_AS: 5234960 kB PageTables: 1456 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 node65 on Tue May 1 16:45:34 UTC 2007