Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.32 | 1801.08 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_60_1.opb |
MD5SUM | 6c6505c4760e09c43f48167716751a54 |
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 | -44 |
Best CPU time to get the best result obtained on this benchmark | 1800.28 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -44 |
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) | 74732 |
Sum of products size (including duplicates) | 149464 |
Number of different products | 37366 |
Sum of products size | 74732 |
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.59/0.60 c ...done 0.59/0.60 c #vars=38366 #constraints=76235 hasObjective=yes 0.89/0.97 c res. mode=mod 0.89/0.97 c VSIDS like heuristics 0.89/0.97 c complete search running 2.39/2.42 c restart after 401 decisions 2.49/2.59 c nbDecision=500 #constraints=76387 3.48/3.56 c restart after 801 decisions 3.78/3.84 c nbDecision=1000 #constraints=76487 5.89/5.98 c nbDecision=1500 #constraints=76690 6.49/6.56 c restart after 1601 decisions 8.18/8.20 c nbDecision=2000 #constraints=76876 10.09/10.16 c nbDecision=2500 #constraints=76993 12.98/13.09 c nbDecision=3000 #constraints=77243 13.58/13.69 c restart after 3201 decisions 14.68/14.73 c nbDecision=3500 #constraints=77293 19.19/19.22 c nbDecision=4000 #constraints=77743 22.59/22.66 c nbDecision=4500 #constraints=77990 25.88/25.92 c nbDecision=5000 #constraints=78207 29.38/29.44 c nbDecision=5500 #constraints=78415 33.98/34.09 c nbDecision=6000 #constraints=78728 36.77/36.85 c restart after 6401 decisions 37.97/38.02 c nbDecision=6500 #constraints=78894 41.87/41.91 c nbDecision=7000 #constraints=79174 46.77/46.81 c nbDecision=7500 #constraints=79457 50.97/51.01 c nbDecision=8000 #constraints=79626 55.77/55.83 c nbDecision=8500 #constraints=79834 61.66/61.71 c nbDecision=9000 #constraints=80178 66.77/66.86 c nbDecision=9500 #constraints=80415 71.47/71.57 c nbDecision=10000 #constraints=80654 77.67/77.77 c nbDecision=10500 #constraints=80889 82.66/82.78 c nbDecision=11000 #constraints=81229 88.16/88.21 c nbDecision=11500 #constraints=81677 95.26/95.33 c nbDecision=12000 #constraints=82053 100.55/100.62 c nbDecision=12500 #constraints=82289 105.36/105.48 c restart after 12801 decisions 107.66/107.77 c nbDecision=13000 #constraints=82512 113.45/113.51 c nbDecision=13500 #constraints=82889 119.54/119.68 c nbDecision=14000 #constraints=83296 127.04/127.12 c nbDecision=14500 #constraints=83524 135.75/135.81 c nbDecision=15000 #constraints=83865 141.64/141.80 c nbDecision=15500 #constraints=84092 148.04/148.10 c nbDecision=16000 #constraints=84528 156.53/156.63 c nbDecision=16500 #constraints=84747 163.13/163.22 c nbDecision=17000 #constraints=85183 170.03/170.10 c nbDecision=17500 #constraints=85566 178.82/178.98 c nbDecision=18000 #constraints=85808 188.82/188.99 c nbDecision=18500 #constraints=86040 196.52/196.62 c nbDecision=19000 #constraints=86338 207.12/207.29 c nbDecision=19500 #constraints=86674 214.81/214.99 c nbDecision=20000 #constraints=86883 223.12/223.23 c nbDecision=20500 #constraints=87298 230.00/230.10 c nbDecision=21000 #constraints=87685 239.10/239.20 c nbDecision=21500 #constraints=88009 249.70/249.82 c nbDecision=22000 #constraints=88243 260.60/260.79 c nbDecision=22500 #constraints=88468 272.49/272.64 c nbDecision=23000 #constraints=88718 283.48/283.65 c nbDecision=23500 #constraints=88891 295.08/295.27 c nbDecision=24000 #constraints=89101 307.18/307.30 c nbDecision=24500 #constraints=89298 317.17/317.39 c nbDecision=25000 #constraints=89610 332.97/333.18 c nbDecision=25500 #constraints=89704 334.67/334.88 c restart after 25601 decisions 344.76/344.92 c nbDecision=26000 #constraints=89871 356.56/356.73 c nbDecision=26500 #constraints=90110 368.66/368.81 c nbDecision=27000 #constraints=90345 378.26/378.40 c nbDecision=27500 #constraints=90708 391.84/392.07 c nbDecision=28000 #constraints=90889 400.45/400.61 c nbDecision=28500 #constraints=91311 415.34/415.57 c nbDecision=29000 #constraints=91598 428.84/429.03 c nbDecision=29500 #constraints=91782 441.83/442.07 c nbDecision=30000 #constraints=91919 453.83/454.03 c nbDecision=30500 #constraints=92211 466.72/466.99 c nbDecision=31000 #constraints=92508 476.92/477.19 c nbDecision=31500 #constraints=92865 495.81/496.02 c nbDecision=32000 #constraints=93043 509.91/510.13 c nbDecision=32500 #constraints=93218 520.21/520.45 c nbDecision=33000 #constraints=93517 536.20/536.49 c nbDecision=33500 #constraints=93740 547.40/547.62 c nbDecision=34000 #constraints=94050 563.19/563.44 c nbDecision=34500 #constraints=94253 575.58/575.89 c nbDecision=35000 #constraints=94590 595.88/596.11 c nbDecision=35500 #constraints=94757 609.47/609.77 c nbDecision=36000 #constraints=94924 626.15/626.47 c nbDecision=36500 #constraints=95116 639.82/640.19 c nbDecision=37000 #constraints=95416 655.27/655.62 c nbDecision=37500 #constraints=95658 674.05/674.45 c nbDecision=38000 #constraints=95898 685.24/685.69 c nbDecision=38500 #constraints=96186 703.33/703.74 c nbDecision=39000 #constraints=96373 720.02/720.47 c nbDecision=39500 #constraints=96594 737.02/737.41 c nbDecision=40000 #constraints=96837 750.61/751.01 c nbDecision=40500 #constraints=97144 770.21/770.60 c nbDecision=41000 #constraints=97303 786.20/786.65 c nbDecision=41500 #constraints=97565 809.49/809.96 c nbDecision=42000 #constraints=97740 822.98/823.44 c nbDecision=42500 #constraints=97970 841.68/842.11 c nbDecision=43000 #constraints=98171 862.77/863.24 c nbDecision=43500 #constraints=98465 882.46/882.97 c nbDecision=44000 #constraints=98495 896.16/896.65 c nbDecision=44500 #constraints=98841 916.25/916.72 c nbDecision=45000 #constraints=99027 937.04/937.50 c nbDecision=45500 #constraints=99302 956.45/956.95 c nbDecision=46000 #constraints=99399 982.22/982.73 c nbDecision=46500 #constraints=99574 994.72/995.21 c nbDecision=47000 #constraints=99835 1023.22/1023.78 c nbDecision=47500 #constraints=99973 1036.71/1037.24 c nbDecision=48000 #constraints=100193 1059.10/1059.63 c nbDecision=48500 #constraints=100490 1081.59/1082.19 c nbDecision=49000 #constraints=100618 1096.79/1097.39 c nbDecision=49500 #constraints=100834 1119.28/1119.84 c nbDecision=50000 #constraints=101115 1141.07/1141.70 c nbDecision=50500 #constraints=101237 1163.66/1164.22 c nbDecision=51000 #constraints=101359 1169.07/1169.68 c restart after 51201 decisions 1184.86/1185.41 c nbDecision=51500 #constraints=101555 1203.65/1204.21 c nbDecision=52000 #constraints=101832 1225.94/1226.53 c nbDecision=52500 #constraints=102003 1255.33/1255.99 c nbDecision=53000 #constraints=102177 1279.62/1280.20 c nbDecision=53500 #constraints=102291 1302.72/1303.34 c nbDecision=54000 #constraints=102403 1323.90/1324.54 c nbDecision=54500 #constraints=102574 1346.00/1346.60 c nbDecision=55000 #constraints=102776 1376.89/1377.50 c nbDecision=55500 #constraints=102948 1392.38/1393.08 c nbDecision=56000 #constraints=103158 1422.08/1422.72 c nbDecision=56500 #constraints=103263 1444.26/1444.95 c nbDecision=57000 #constraints=103403 1469.35/1470.02 c nbDecision=57500 #constraints=103569 1494.54/1495.25 c nbDecision=58000 #constraints=103767 1519.24/1519.93 c nbDecision=58500 #constraints=103879 1542.63/1543.30 c nbDecision=59000 #constraints=104153 1567.42/1568.17 c nbDecision=59500 #constraints=104247 1592.11/1592.89 c nbDecision=60000 #constraints=104432 1615.00/1615.74 c nbDecision=60500 #constraints=104790 1634.29/1635.02 c nbDecision=61000 #constraints=104933 1667.18/1667.91 c nbDecision=61500 #constraints=105049 1686.28/1687.08 c nbDecision=62000 #constraints=105255 1714.37/1715.16 c nbDecision=62500 #constraints=105537 1740.06/1740.88 c nbDecision=63000 #constraints=105557 1767.54/1768.32 c nbDecision=63500 #constraints=105700 1800.04/1800.80 Received signal 15 1800.14/1800.94 1800.14/1800.94 s UNKNOWN 1800.14/1800.94 1800.14/1800.94 c user time= 1799.24 s 1800.14/1800.94 c system time= 0.946856 s 1800.14/1800.94 c wall clock time=1800.94
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/455150-1178038236/instance-455150-1178038236.opb mv /tmp/evaluation/455150-1178038236/instance-455150-1178038236.opb.tmp /tmp/evaluation/455150-1178038236/instance-455150-1178038236.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-455150-1178038236 -o ROOT/results/node20/solver-455150-1178038236 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455150-1178038236/instance-455150-1178038236.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: 1.00 1.00 1.00 3/77 26202 /proc/meminfo: memFree=1752360/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=1468 CPUtime=0 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 251740922 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 367 166 131 317 0 46 0 [startup+0.0758029 s] /proc/loadavg: 1.00 1.00 1.00 3/77 26202 /proc/meminfo: memFree=1752360/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=2920 CPUtime=0.07 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 543 0 0 0 7 0 0 0 18 0 1 0 251740922 2990080 526 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 730 527 131 317 0 409 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2920 [startup+0.102807 s] /proc/loadavg: 1.00 1.00 1.00 3/77 26202 /proc/meminfo: memFree=1752360/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=3448 CPUtime=0.09 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 679 0 0 0 9 0 0 0 18 0 1 0 251740922 3530752 662 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 862 662 131 317 0 541 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3448 [startup+0.301847 s] /proc/loadavg: 1.00 1.00 1.00 3/77 26202 /proc/meminfo: memFree=1752360/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=8788 CPUtime=0.29 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 1983 0 0 0 28 1 0 0 20 0 1 0 251740922 8998912 1966 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 2197 1966 132 317 0 1876 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8788 [startup+0.701927 s] /proc/loadavg: 1.00 1.00 1.00 3/77 26202 /proc/meminfo: memFree=1752360/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=29772 CPUtime=0.69 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 7287 0 0 0 66 3 0 0 24 0 1 0 251740922 30486528 7172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602744 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 7443 7172 137 317 0 7122 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29772 [startup+1.50109 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26203 /proc/meminfo: memFree=1721632/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=36208 CPUtime=1.49 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 8917 0 0 0 145 4 0 0 25 0 1 0 251740922 37076992 8280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 9052 8280 139 317 0 8731 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36208 [startup+3.10141 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26203 /proc/meminfo: memFree=1719328/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=39008 CPUtime=3.09 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 9602 0 0 0 305 4 0 0 25 0 1 0 251740922 39944192 8965 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 9752 8965 139 317 0 9431 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39008 [startup+6.30105 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26203 /proc/meminfo: memFree=1713440/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=46256 CPUtime=6.29 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 11417 0 0 0 624 5 0 0 25 0 1 0 251740922 47366144 10780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 11564 10780 139 317 0 11243 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 46256 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26203 /proc/meminfo: memFree=1700576/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=59316 CPUtime=12.68 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 14404 0 0 0 1262 6 0 0 25 0 1 0 251740922 60739584 13767 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 14829 13767 139 317 0 14508 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 59316 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26203 /proc/meminfo: memFree=1680416/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=75768 CPUtime=25.48 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 18809 0 0 0 2539 9 0 0 25 0 1 0 251740922 77586432 18172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 18942 18172 139 317 0 18621 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 75768 [startup+51.103 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26203 /proc/meminfo: memFree=1647392/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=109880 CPUtime=51.07 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 27238 0 0 0 5094 13 0 0 25 0 1 0 251740922 112517120 26601 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 27470 26601 139 317 0 27149 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 109880 [startup+102.304 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26203 /proc/meminfo: memFree=1582240/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=175872 CPUtime=102.25 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 43182 0 0 0 10205 20 0 0 25 0 1 0 251740922 180092928 42545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 43968 42546 139 317 0 43647 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 175872 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26203 /proc/meminfo: memFree=1515296/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=256852 CPUtime=162.23 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 60095 0 0 0 16195 28 0 0 25 0 1 0 251740922 263016448 59458 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602736 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 64213 59458 139 317 0 63892 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 256852 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26203 /proc/meminfo: memFree=1471456/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=295036 CPUtime=222.21 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 70752 0 0 0 22187 34 0 0 25 0 1 0 251740922 302116864 70115 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 73759 70115 139 317 0 73438 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 295036 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26203 /proc/meminfo: memFree=1442848/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=321448 CPUtime=282.19 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 78173 0 0 0 28182 37 0 0 25 0 1 0 251740922 329162752 77536 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 80362 77536 139 317 0 80041 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 321448 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26203 /proc/meminfo: memFree=1422752/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=338224 CPUtime=342.17 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 82909 0 0 0 34177 40 0 0 25 0 1 0 251740922 346341376 82272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 84556 82272 139 317 0 84235 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 338224 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26203 /proc/meminfo: memFree=1389920/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=368500 CPUtime=402.15 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 91289 0 0 0 40170 45 0 0 25 0 1 0 251740922 377344000 90652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 92125 90652 139 317 0 91804 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 368500 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26203 /proc/meminfo: memFree=1367584/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=387936 CPUtime=462.13 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 96696 0 0 0 46165 48 0 0 25 0 1 0 251740922 397246464 96059 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 96984 96059 139 317 0 96663 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 387936 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26203 /proc/meminfo: memFree=1332640/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=470680 CPUtime=522.11 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 114244 0 0 0 52157 54 0 0 25 0 1 0 251740922 481976320 104730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563315 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 117670 104730 139 317 0 117349 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 470680 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26203 /proc/meminfo: memFree=1311200/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=488796 CPUtime=582.08 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 119585 0 0 0 58151 57 0 0 25 0 1 0 251740922 500527104 110071 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 122199 110071 139 317 0 121878 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 488796 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/84 26311 /proc/meminfo: memFree=1289632/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=505916 CPUtime=642 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 124654 0 0 0 64139 61 0 0 25 0 1 0 251740922 518057984 115140 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 126479 115140 139 317 0 126158 0 Current children cumulated CPU time (s) 642 Current children cumulated vsize (KiB) 505916 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26401 /proc/meminfo: memFree=1229600/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=557548 CPUtime=881.86 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 139969 0 0 0 88118 68 0 0 25 0 1 0 251740922 570929152 130455 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 139387 130455 139 317 0 139066 0 Current children cumulated CPU time (s) 881.86 Current children cumulated vsize (KiB) 557548 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26401 /proc/meminfo: memFree=1213088/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=572448 CPUtime=941.84 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 144076 0 0 0 94114 70 0 0 25 0 1 0 251740922 586186752 134562 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 143112 134562 139 317 0 142791 0 Current children cumulated CPU time (s) 941.84 Current children cumulated vsize (KiB) 572448 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26401 /proc/meminfo: memFree=1201952/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=581844 CPUtime=1001.82 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 146858 0 0 0 100110 72 0 0 25 0 1 0 251740922 595808256 137344 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 145461 137344 139 317 0 145140 0 Current children cumulated CPU time (s) 1001.82 Current children cumulated vsize (KiB) 581844 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26401 /proc/meminfo: memFree=1187232/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=593352 CPUtime=1061.8 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 150534 0 0 0 106105 75 0 0 25 0 1 0 251740922 607592448 141020 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 148338 141020 139 317 0 148017 0 Current children cumulated CPU time (s) 1061.8 Current children cumulated vsize (KiB) 593352 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26401 /proc/meminfo: memFree=1174688/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=604476 CPUtime=1121.77 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 153696 0 0 0 112100 77 0 0 25 0 1 0 251740922 618983424 144182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 151119 144182 139 317 0 150798 0 Current children cumulated CPU time (s) 1121.77 Current children cumulated vsize (KiB) 604476 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26401 /proc/meminfo: memFree=1167072/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=611324 CPUtime=1181.76 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 155585 0 0 0 118097 79 0 0 25 0 1 0 251740922 625995776 146071 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 152831 146071 139 317 0 152510 0 Current children cumulated CPU time (s) 1181.76 Current children cumulated vsize (KiB) 611324 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26401 /proc/meminfo: memFree=1154592/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=621268 CPUtime=1241.73 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 158687 0 0 0 124093 80 0 0 25 0 1 0 251740922 636178432 149173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 155317 149173 139 317 0 154996 0 Current children cumulated CPU time (s) 1241.73 Current children cumulated vsize (KiB) 621268 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26401 /proc/meminfo: memFree=1148576/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=627176 CPUtime=1301.72 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 160185 0 0 0 130090 82 0 0 25 0 1 0 251740922 642228224 150671 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 156794 150671 139 317 0 156473 0 Current children cumulated CPU time (s) 1301.72 Current children cumulated vsize (KiB) 627176 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26401 /proc/meminfo: memFree=1139232/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=634972 CPUtime=1361.69 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 162518 0 0 0 136086 83 0 0 25 0 1 0 251740922 650211328 153004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 158743 153004 139 317 0 158422 0 Current children cumulated CPU time (s) 1361.69 Current children cumulated vsize (KiB) 634972 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26401 /proc/meminfo: memFree=1130208/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=642360 CPUtime=1421.68 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 164780 0 0 0 142083 85 0 0 25 0 1 0 251740922 657776640 155266 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 160590 155266 139 317 0 160269 0 Current children cumulated CPU time (s) 1421.68 Current children cumulated vsize (KiB) 642360 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26401 /proc/meminfo: memFree=1120608/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=651068 CPUtime=1481.65 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 167371 0 0 0 148079 86 0 0 25 0 1 0 251740922 666693632 157857 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 162767 157857 139 317 0 162446 0 Current children cumulated CPU time (s) 1481.65 Current children cumulated vsize (KiB) 651068 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26401 /proc/meminfo: memFree=1111264/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=658048 CPUtime=1541.63 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 169504 0 0 0 154076 87 0 0 25 0 1 0 251740922 673841152 159990 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 164512 159990 139 317 0 164191 0 Current children cumulated CPU time (s) 1541.63 Current children cumulated vsize (KiB) 658048 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26401 /proc/meminfo: memFree=1101088/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=667548 CPUtime=1601.61 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 172288 0 0 0 160072 89 0 0 25 0 1 0 251740922 683569152 162774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 166887 162774 139 317 0 166566 0 Current children cumulated CPU time (s) 1601.61 Current children cumulated vsize (KiB) 667548 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26401 /proc/meminfo: memFree=1093856/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=673844 CPUtime=1661.59 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 173842 0 0 0 166068 91 0 0 25 0 1 0 251740922 690016256 164328 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 168461 164328 139 317 0 168140 0 Current children cumulated CPU time (s) 1661.59 Current children cumulated vsize (KiB) 673844 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26401 /proc/meminfo: memFree=1083680/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=682444 CPUtime=1721.57 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 176390 0 0 0 172064 93 0 0 25 0 1 0 251740922 698822656 166876 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 170611 166876 139 317 0 170290 0 Current children cumulated CPU time (s) 1721.57 Current children cumulated vsize (KiB) 682444 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26401 /proc/meminfo: memFree=1078048/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=686356 CPUtime=1781.54 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 177797 0 0 0 178060 94 0 0 25 0 1 0 251740922 702828544 168283 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 171589 168283 139 317 0 171268 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (KiB) 686356 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26401 /proc/meminfo: memFree=1076704/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=687692 CPUtime=1800.04 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 178128 0 0 0 179910 94 0 0 25 0 1 0 251740922 704196608 168614 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 171923 168614 139 317 0 171602 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 687692 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26401 /proc/meminfo: memFree=1076704/2055920 swapFree=4154876/4192956 [pid=26202] ppid=26200 vsize=0 CPUtime=1800.23 /proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194308 178144 0 0 0 179926 97 0 0 25 0 1 0 251740922 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26202/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.08 CPU time (s): 1800.32 CPU user time (s): 1799.26 CPU system time (s): 1.05684 CPU usage (%): 99.9578 Max. virtual memory (cumulated for all children) (KiB): 687692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.26 system time used= 1.05684 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 178144 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= 37815 runsolver used 1.3138 second user time and 4.10637 second system time The end
Begin job on node20 on Tue May 1 16:50:36 UTC 2007 IDJOB= 455150 IDBENCH= 48244 IDSOLVER= 172 FILE ID= node20/455150-1178038236 PBS_JOBID= 4728447 Free space on /tmp= 66562 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_60_1.opb COMMAND LINE= oree /tmp/evaluation/455150-1178038236/instance-455150-1178038236.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node20/convwatcher-455150-1178038236 -o ROOT/results/node20/conversion-455150-1178038236 -C 600 -M 1800 /tmp/evaluation/455150-1178038236/substituteSizeProductKeyword /tmp/evaluation/455150-1178038236/instance-455150-1178038236.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-455150-1178038236 -o ROOT/results/node20/solver-455150-1178038236 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455150-1178038236/instance-455150-1178038236.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 6c6505c4760e09c43f48167716751a54 RANDOM SEED= 641753873 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node20.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.265 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.265 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: 1752768 kB Buffers: 89220 kB Cached: 123560 kB SwapCached: 16448 kB Active: 154268 kB Inactive: 82776 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1752768 kB SwapTotal: 4192956 kB SwapFree: 4154876 kB Dirty: 2292 kB Writeback: 0 kB Mapped: 30008 kB Slab: 51692 kB Committed_AS: 4590312 kB PageTables: 1744 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= 66562 MiB End job on node20 on Tue May 1 17:20:39 UTC 2007