Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.44 | 1800.94 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_60_5.opb |
MD5SUM | c7b55c33bf2dc9c08660966375c6138a |
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 | -71 |
Best CPU time to get the best result obtained on this benchmark | 1800.55 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -71 |
Optimality of the best value was proved | NO |
Number of variables | 2000 |
Total number of constraints | 3001 |
Number of constraints which are clauses | 1000 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2000 |
Number of terms in the objective function | 1000 |
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 | 1000 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2000 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 150576 |
Sum of products size (including duplicates) | 301152 |
Number of different products | 75288 |
Sum of products size | 150576 |
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... 1.19/1.22 c ...done 1.19/1.22 c #vars=77288 #constraints=153579 hasObjective=yes 1.89/1.99 c res. mode=mod 1.89/1.99 c VSIDS like heuristics 1.89/1.99 c complete search running 2.49/2.59 c restart after 401 decisions 2.79/2.83 c nbDecision=500 #constraints=153579 3.20/3.27 c restart after 801 decisions 3.59/3.66 c nbDecision=1000 #constraints=153579 7.29/7.33 c nbDecision=1500 #constraints=153778 8.80/8.87 c restart after 1601 decisions 9.69/9.80 c nbDecision=2000 #constraints=153880 14.39/14.41 c nbDecision=2500 #constraints=154144 22.29/22.37 c nbDecision=3000 #constraints=154585 25.29/25.32 c restart after 3201 decisions 26.58/26.66 c nbDecision=3500 #constraints=154739 33.08/33.11 c nbDecision=4000 #constraints=155038 40.38/40.47 c nbDecision=4500 #constraints=155380 47.28/47.34 c nbDecision=5000 #constraints=155588 51.88/51.98 c nbDecision=5500 #constraints=155772 60.57/60.70 c nbDecision=6000 #constraints=156087 63.57/63.64 c restart after 6401 decisions 65.57/65.64 c nbDecision=6500 #constraints=156153 69.27/69.33 c nbDecision=7000 #constraints=156252 77.67/77.73 c nbDecision=7500 #constraints=156587 87.47/87.56 c nbDecision=8000 #constraints=157071 96.26/96.37 c nbDecision=8500 #constraints=157453 104.06/104.18 c nbDecision=9000 #constraints=157582 112.26/112.31 c nbDecision=9500 #constraints=157944 121.56/121.65 c nbDecision=10000 #constraints=158323 132.16/132.22 c nbDecision=10500 #constraints=158573 138.76/138.84 c nbDecision=11000 #constraints=158804 148.75/148.86 c nbDecision=11500 #constraints=159067 157.75/157.81 c nbDecision=12000 #constraints=159464 167.95/168.00 c nbDecision=12500 #constraints=159560 171.85/171.90 c restart after 12801 decisions 177.35/177.40 c nbDecision=13000 #constraints=159672 184.14/184.23 c nbDecision=13500 #constraints=159871 194.34/194.45 c nbDecision=14000 #constraints=160268 206.74/206.86 c nbDecision=14500 #constraints=160542 216.04/216.13 c nbDecision=15000 #constraints=160543 223.63/223.74 c nbDecision=15500 #constraints=160790 234.23/234.34 c nbDecision=16000 #constraints=161176 245.42/245.59 c nbDecision=16500 #constraints=161521 255.72/255.83 c nbDecision=17000 #constraints=161915 267.82/267.92 c nbDecision=17500 #constraints=162009 277.61/277.75 c nbDecision=18000 #constraints=162294 291.11/291.25 c nbDecision=18500 #constraints=162496 300.41/300.50 c nbDecision=19000 #constraints=162689 315.11/315.23 c nbDecision=19500 #constraints=162982 323.70/323.89 c nbDecision=20000 #constraints=163136 336.40/336.57 c nbDecision=20500 #constraints=163468 346.80/346.96 c nbDecision=21000 #constraints=163893 358.69/358.83 c nbDecision=21500 #constraints=164208 371.19/371.33 c nbDecision=22000 #constraints=164507 383.28/383.47 c nbDecision=22500 #constraints=164916 395.18/395.33 c nbDecision=23000 #constraints=165268 412.18/412.30 c nbDecision=23500 #constraints=165398 421.98/422.19 c nbDecision=24000 #constraints=165709 434.28/434.47 c nbDecision=24500 #constraints=166110 447.37/447.53 c nbDecision=25000 #constraints=166460 460.26/460.48 c nbDecision=25500 #constraints=166834 463.07/463.29 c restart after 25601 decisions 478.06/478.23 c nbDecision=26000 #constraints=166892 489.06/489.28 c nbDecision=26500 #constraints=167291 501.55/501.77 c nbDecision=27000 #constraints=167714 514.45/514.66 c nbDecision=27500 #constraints=168116 527.85/528.04 c nbDecision=28000 #constraints=168501 542.44/542.69 c nbDecision=28500 #constraints=168815 563.04/563.29 c nbDecision=29000 #constraints=169209 577.34/577.57 c nbDecision=29500 #constraints=169210 588.93/589.11 c nbDecision=30000 #constraints=169613 609.12/609.35 c nbDecision=30500 #constraints=169681 622.12/622.34 c nbDecision=31000 #constraints=170054 636.92/637.18 c nbDecision=31500 #constraints=170391 652.61/652.88 c nbDecision=32000 #constraints=170705 667.81/668.05 c nbDecision=32500 #constraints=171092 679.91/680.17 c nbDecision=33000 #constraints=171558 702.30/702.57 c nbDecision=33500 #constraints=171563 716.39/716.64 c nbDecision=34000 #constraints=172026 738.78/739.09 c nbDecision=34500 #constraints=172027 751.88/752.14 c nbDecision=35000 #constraints=172492 764.79/765.06 c nbDecision=35500 #constraints=172946 780.28/780.59 c nbDecision=36000 #constraints=173310 806.18/806.45 c nbDecision=36500 #constraints=173422 818.67/818.91 c nbDecision=37000 #constraints=173760 832.16/832.45 c nbDecision=37500 #constraints=174226 849.76/850.05 c nbDecision=38000 #constraints=174538 867.05/867.30 c nbDecision=38500 #constraints=174876 892.44/892.78 c nbDecision=39000 #constraints=175267 918.63/918.97 c nbDecision=39500 #constraints=175268 932.14/932.49 c nbDecision=40000 #constraints=175411 949.93/950.29 c nbDecision=40500 #constraints=175747 965.33/965.66 c nbDecision=41000 #constraints=176184 993.03/993.33 c nbDecision=41500 #constraints=176185 1007.91/1008.29 c nbDecision=42000 #constraints=176641 1022.72/1023.09 c nbDecision=42500 #constraints=177044 1052.60/1052.91 c nbDecision=43000 #constraints=177098 1065.90/1066.29 c nbDecision=43500 #constraints=177507 1084.60/1084.93 c nbDecision=44000 #constraints=177837 1104.49/1104.83 c nbDecision=44500 #constraints=178140 1123.89/1124.24 c nbDecision=45000 #constraints=178468 1139.38/1139.79 c nbDecision=45500 #constraints=178911 1154.37/1154.71 c nbDecision=46000 #constraints=179359 1171.17/1171.57 c nbDecision=46500 #constraints=179764 1204.27/1204.68 c nbDecision=47000 #constraints=179813 1218.26/1218.64 c nbDecision=47500 #constraints=180225 1239.75/1240.13 c nbDecision=48000 #constraints=180516 1259.95/1260.37 c nbDecision=48500 #constraints=180849 1291.04/1291.49 c nbDecision=49000 #constraints=181156 1312.03/1312.45 c nbDecision=49500 #constraints=181233 1328.53/1328.91 c nbDecision=50000 #constraints=181668 1356.52/1356.96 c nbDecision=50500 #constraints=182048 1372.51/1372.98 c nbDecision=51000 #constraints=182271 1378.22/1378.68 c restart after 51201 decisions 1406.01/1406.46 c nbDecision=51500 #constraints=182473 1428.10/1428.59 c nbDecision=52000 #constraints=182621 1450.69/1451.12 c nbDecision=52500 #constraints=182935 1483.58/1484.04 c nbDecision=53000 #constraints=183377 1502.28/1502.75 c nbDecision=53500 #constraints=183398 1523.78/1524.20 c nbDecision=54000 #constraints=183818 1538.77/1539.26 c nbDecision=54500 #constraints=184211 1564.06/1564.57 c nbDecision=55000 #constraints=184470 1602.75/1603.21 c nbDecision=55500 #constraints=184697 1620.15/1620.67 c nbDecision=56000 #constraints=184885 1659.63/1660.18 c nbDecision=56500 #constraints=185135 1677.83/1678.32 c nbDecision=57000 #constraints=185282 1713.22/1713.72 c nbDecision=57500 #constraints=185571 1736.42/1736.94 c nbDecision=58000 #constraints=185673 1757.11/1757.68 c nbDecision=58500 #constraints=186048 1775.50/1776.04 c nbDecision=59000 #constraints=186479 1795.39/1795.94 c nbDecision=59500 #constraints=186877 1800.10/1800.60 Received signal 15 1800.10/1800.63 1800.10/1800.63 s UNKNOWN 1800.10/1800.63 1800.10/1800.63 c user time= 1798.36 s 1800.10/1800.63 c system time= 1.77973 s 1800.10/1800.63 c wall clock time=1800.63
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/455030-1178035751/instance-455030-1178035751.opb mv /tmp/evaluation/455030-1178035751/instance-455030-1178035751.opb.tmp /tmp/evaluation/455030-1178035751/instance-455030-1178035751.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node60/watcher-455030-1178035751 -o ROOT/results/node60/solver-455030-1178035751 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455030-1178035751/instance-455030-1178035751.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.95 0.98 3/64 28902 /proc/meminfo: memFree=1892048/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=1468 CPUtime=0 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 251485064 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 367 164 131 317 0 46 0 [startup+0.060263 s] /proc/loadavg: 0.91 0.95 0.98 3/64 28902 /proc/meminfo: memFree=1892048/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=2656 CPUtime=0.05 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 461 0 0 0 5 0 0 0 18 0 1 0 251485064 2719744 444 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 664 445 131 317 0 343 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2656 [startup+0.101266 s] /proc/loadavg: 0.91 0.95 0.98 3/64 28902 /proc/meminfo: memFree=1892048/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=3448 CPUtime=0.09 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 665 0 0 0 9 0 0 0 18 0 1 0 251485064 3530752 648 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 862 648 131 317 0 541 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3448 [startup+0.301286 s] /proc/loadavg: 0.91 0.95 0.98 3/64 28902 /proc/meminfo: memFree=1892048/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=7276 CPUtime=0.29 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 1636 0 0 0 29 0 0 0 19 0 1 0 251485064 7450624 1619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 1819 1619 131 317 0 1498 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7276 [startup+0.701325 s] /proc/loadavg: 0.91 0.95 0.98 3/64 28902 /proc/meminfo: memFree=1892048/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=19484 CPUtime=0.69 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 4712 0 0 0 68 1 0 0 22 0 1 0 251485064 19951616 4662 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 4871 4662 132 317 0 4550 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19484 [startup+1.5014 s] /proc/loadavg: 0.91 0.95 0.98 2/65 28903 /proc/meminfo: memFree=1862088/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=58332 CPUtime=1.49 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 14535 0 0 0 143 6 0 0 25 0 1 0 251485064 59731968 14291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 14583 14291 137 317 0 14262 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 58332 [startup+3.10156 s] /proc/loadavg: 0.91 0.95 0.98 2/65 28903 /proc/meminfo: memFree=1830280/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=63348 CPUtime=3.09 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 15787 0 0 0 303 6 0 0 25 0 1 0 251485064 64868352 15543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 15837 15543 138 317 0 15516 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 63348 [startup+6.30188 s] /proc/loadavg: 0.92 0.95 0.98 2/65 28903 /proc/meminfo: memFree=1825992/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=72464 CPUtime=6.29 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 18055 0 0 0 622 7 0 0 25 0 1 0 251485064 74203136 16761 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 18116 16761 139 317 0 17795 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 72464 [startup+12.7015 s] /proc/loadavg: 0.93 0.95 0.98 2/65 28903 /proc/meminfo: memFree=1808264/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=91280 CPUtime=12.69 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 22747 0 0 0 1260 9 0 0 25 0 1 0 251485064 93470720 21453 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 22820 21453 139 317 0 22499 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 91280 [startup+25.5018 s] /proc/loadavg: 0.94 0.96 0.98 2/65 28903 /proc/meminfo: memFree=1775888/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=122932 CPUtime=25.48 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 30433 0 0 0 2536 12 0 0 25 0 1 0 251485064 125882368 29139 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 30733 29139 139 317 0 30412 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 122932 [startup+51.1013 s] /proc/loadavg: 0.96 0.96 0.98 2/65 28903 /proc/meminfo: memFree=1730640/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=174040 CPUtime=51.08 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 41965 0 0 0 5091 17 0 0 25 0 1 0 251485064 178216960 40671 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 43510 40671 139 317 0 43189 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 174040 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.98 2/65 28903 /proc/meminfo: memFree=1657040/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=240128 CPUtime=102.26 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 60009 0 0 0 10201 25 0 0 25 0 1 0 251485064 245891072 58715 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 60032 58715 139 317 0 59711 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 240128 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 28903 /proc/meminfo: memFree=1561680/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=342324 CPUtime=162.25 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 83797 0 0 0 16191 34 0 0 25 0 1 0 251485064 350539776 82503 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 85581 82503 139 317 0 85260 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 342324 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 28903 /proc/meminfo: memFree=1515472/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=383652 CPUtime=222.23 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 95419 0 0 0 22183 40 0 0 25 0 1 0 251485064 392859648 94125 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 95913 94125 139 317 0 95592 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 383652 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 28903 /proc/meminfo: memFree=1416464/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=512660 CPUtime=282.22 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 120303 0 0 0 28173 49 0 0 25 0 1 0 251485064 524963840 119009 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 128165 119009 139 317 0 127844 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 512660 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 28903 /proc/meminfo: memFree=1368976/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=555128 CPUtime=342.2 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 131982 0 0 0 34165 55 0 0 25 0 1 0 251485064 568451072 130688 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 138782 130688 139 317 0 138461 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 555128 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 28903 /proc/meminfo: memFree=1299088/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=615864 CPUtime=402.18 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 149289 0 0 0 40156 62 0 0 25 0 1 0 251485064 630644736 147995 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 153966 147995 139 317 0 153645 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 615864 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 28903 /proc/meminfo: memFree=1243600/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=667308 CPUtime=462.16 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 163254 0 0 0 46149 67 0 0 25 0 1 0 251485064 683323392 161960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 166827 161960 139 317 0 166506 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 667308 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 28903 /proc/meminfo: memFree=1186320/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=717868 CPUtime=522.15 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 177414 0 0 0 52142 73 0 0 25 0 1 0 251485064 735096832 176120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715649 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 179467 176120 139 317 0 179146 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 717868 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 28903 /proc/meminfo: memFree=1144912/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=755720 CPUtime=582.13 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 187943 0 0 0 58135 78 0 0 25 0 1 0 251485064 773857280 186649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 188930 186649 139 317 0 188609 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 755720 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 28903 /proc/meminfo: memFree=1062928/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=929460 CPUtime=642.12 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 225419 0 0 0 64121 91 0 0 25 0 1 0 251485064 951767040 206833 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714781 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 232365 206833 139 317 0 232044 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 929460 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 28903 /proc/meminfo: memFree=848528/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=1111816 CPUtime=942.03 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 278902 0 0 0 94090 113 0 0 25 0 1 0 251485064 1138499584 260316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 277954 260316 139 317 0 277633 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 1111816 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 28903 /proc/meminfo: memFree=817552/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=1139880 CPUtime=1002.01 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 286716 0 0 0 100085 116 0 0 25 0 1 0 251485064 1167237120 268130 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 284970 268130 139 317 0 284649 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 1139880 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 28903 /proc/meminfo: memFree=782096/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=1169916 CPUtime=1062 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 295783 0 0 0 106080 120 0 0 25 0 1 0 251485064 1197993984 277197 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 292479 277197 139 317 0 292158 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 1169916 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 28903 /proc/meminfo: memFree=735312/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=1209048 CPUtime=1121.98 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 307146 0 0 0 112074 124 0 0 25 0 1 0 251485064 1238065152 288560 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 302262 288560 139 317 0 301941 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 1209048 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 28903 /proc/meminfo: memFree=677584/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=1257284 CPUtime=1181.97 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 321550 0 0 0 118069 128 0 0 25 0 1 0 251485064 1287458816 302964 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 314321 302964 139 317 0 314000 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 1257284 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 28903 /proc/meminfo: memFree=647120/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=1285060 CPUtime=1241.95 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 329313 0 0 0 124064 131 0 0 25 0 1 0 251485064 1315901440 310727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562768 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 321265 310727 139 317 0 320944 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1285060 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 28903 /proc/meminfo: memFree=623248/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=1305072 CPUtime=1301.93 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 335094 0 0 0 130060 133 0 0 25 0 1 0 251485064 1336393728 316508 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711134 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 326268 316508 139 317 0 325947 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1305072 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 28903 /proc/meminfo: memFree=585168/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=1336844 CPUtime=1361.92 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 344603 0 0 0 136055 137 0 0 25 0 1 0 251485064 1368928256 326017 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 334211 326017 139 317 0 333890 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1336844 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/65 28903 /proc/meminfo: memFree=566096/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=1352656 CPUtime=1421.91 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 349350 0 0 0 142052 139 0 0 25 0 1 0 251485064 1385119744 330764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715674 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 338164 330764 139 317 0 337843 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1352656 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 28903 /proc/meminfo: memFree=528208/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=1384244 CPUtime=1481.89 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 358805 0 0 0 148046 143 0 0 25 0 1 0 251485064 1417465856 340219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 346061 340219 139 317 0 345740 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1384244 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 28903 /proc/meminfo: memFree=493584/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=1415584 CPUtime=1541.87 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 367450 0 0 0 154040 147 0 0 25 0 1 0 251485064 1449558016 348864 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 353896 348864 139 317 0 353575 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1415584 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 28903 /proc/meminfo: memFree=474704/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=1431276 CPUtime=1601.85 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 372152 0 0 0 160036 149 0 0 25 0 1 0 251485064 1465626624 353566 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 357819 353566 139 317 0 357498 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1431276 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 28903 /proc/meminfo: memFree=455952/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=1446872 CPUtime=1661.83 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 376839 0 0 0 166032 151 0 0 25 0 1 0 251485064 1481596928 358253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 361718 358253 139 317 0 361397 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1446872 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 28903 /proc/meminfo: memFree=437264/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=1462460 CPUtime=1721.82 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 381513 0 0 0 172028 154 0 0 25 0 1 0 251485064 1497559040 362927 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 365615 362927 139 317 0 365294 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1462460 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 28903 /proc/meminfo: memFree=366928/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=1758092 CPUtime=1781.8 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 450042 0 0 0 178004 176 0 0 25 0 1 0 251485064 1800286208 380496 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 439523 380496 139 317 0 439202 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 1758092 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.98 2/65 28903 /proc/meminfo: memFree=350928/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=1770016 CPUtime=1800.1 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194304 453932 0 0 0 179833 177 0 0 25 0 1 0 251485064 1812496384 384386 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 442504 384386 139 317 0 442183 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 1770016 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.98 2/65 28903 /proc/meminfo: memFree=350928/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=0 CPUtime=1800.29 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194308 453948 0 0 0 179840 189 0 0 25 0 1 0 251485064 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (KiB) 0 [startup+1800.9 s] /proc/loadavg: 0.99 0.97 0.98 2/65 28903 /proc/meminfo: memFree=350928/2055920 swapFree=4183252/4192956 [pid=28902] ppid=28900 vsize=0 CPUtime=1800.39 /proc/28902/stat : 28902 (oree) R 28900 28902 28579 0 -1 4194308 453948 0 0 0 179840 199 0 0 25 0 1 0 251485064 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28902/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.39 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.94 CPU time (s): 1800.44 CPU user time (s): 1798.41 CPU system time (s): 2.02969 CPU usage (%): 99.9724 Max. virtual memory (cumulated for all children) (KiB): 1770016 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.41 system time used= 2.02969 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 453948 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= 2488 runsolver used 1.13283 second user time and 3.80042 second system time The end
Begin job on node60 on Tue May 1 16:09:11 UTC 2007 IDJOB= 455030 IDBENCH= 48236 IDSOLVER= 172 FILE ID= node60/455030-1178035751 PBS_JOBID= 4728442 Free space on /tmp= 66561 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_60_5.opb COMMAND LINE= oree /tmp/evaluation/455030-1178035751/instance-455030-1178035751.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node60/convwatcher-455030-1178035751 -o ROOT/results/node60/conversion-455030-1178035751 -C 600 -M 1800 /tmp/evaluation/455030-1178035751/substituteSizeProductKeyword /tmp/evaluation/455030-1178035751/instance-455030-1178035751.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-455030-1178035751 -o ROOT/results/node60/solver-455030-1178035751 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455030-1178035751/instance-455030-1178035751.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= c7b55c33bf2dc9c08660966375c6138a RANDOM SEED= 735260943 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node60.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.214 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.214 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: 1892456 kB Buffers: 32960 kB Cached: 61580 kB SwapCached: 3244 kB Active: 63792 kB Inactive: 40256 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1892456 kB SwapTotal: 4192956 kB SwapFree: 4183252 kB Dirty: 3412 kB Writeback: 0 kB Mapped: 15424 kB Slab: 45388 kB Committed_AS: 4307820 kB PageTables: 1464 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= 66561 MiB End job on node60 on Tue May 1 16:39:14 UTC 2007