Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1802.14 | 1802.7 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran6x43.opb |
MD5SUM | 6ddbc05dc60ac3abba60700f70e1bd54 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 5.97409 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 7998 |
Total number of constraints | 307 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 307 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 1290 |
Number of terms in the objective function | 7998 |
Biggest coefficient in the objective function | 1795 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 530626 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 530626 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
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.07/0.09 c ...done 0.07/0.09 c #vars=7998 #constraints=357 hasObjective=yes 0.09/0.19 c res. mode=mod 0.09/0.19 c VSIDS like heuristics 0.09/0.19 c complete search running 0.19/0.23 c restart after 401 decisions 0.19/0.24 c nbDecision=500 #constraints=357 0.19/0.26 c restart after 801 decisions 0.19/0.27 c nbDecision=1000 #constraints=357 0.29/0.31 c nbDecision=1500 #constraints=357 0.29/0.31 c restart after 1601 decisions 0.29/0.34 c nbDecision=2000 #constraints=357 0.29/0.38 c nbDecision=2500 #constraints=357 0.39/0.41 c nbDecision=3000 #constraints=357 0.39/0.42 c restart after 3201 decisions 0.39/0.44 c nbDecision=3500 #constraints=357 0.39/0.48 c nbDecision=4000 #constraints=357 0.49/0.50 c nbDecision=4500 #constraints=357 0.49/0.53 c nbDecision=5000 #constraints=357 0.49/0.55 c nbDecision=5500 #constraints=357 0.49/0.57 c nbDecision=6000 #constraints=357 1.00/1.09 c restart after 6401 decisions 1.00/1.10 c nbDecision=6500 #constraints=513 1.10/1.14 c nbDecision=7000 #constraints=513 1.10/1.16 c nbDecision=7500 #constraints=513 1.10/1.19 c nbDecision=8000 #constraints=513 1.19/1.22 c nbDecision=8500 #constraints=513 1.19/1.24 c nbDecision=9000 #constraints=513 1.29/1.30 c nbDecision=9500 #constraints=526 1.89/1.90 c nbDecision=10000 #constraints=670 2.49/2.55 c nbDecision=10500 #constraints=826 2.79/2.85 c nbDecision=11000 #constraints=893 4.99/5.08 c nbDecision=11500 #constraints=1149 5.59/5.62 c nbDecision=12000 #constraints=1191 6.49/6.56 c nbDecision=12500 #constraints=1360 11.89/11.97 c restart after 12801 decisions 11.99/12.04 c nbDecision=13000 #constraints=1620 11.99/12.09 c nbDecision=13500 #constraints=1620 12.09/12.15 c nbDecision=14000 #constraints=1620 12.09/12.19 c nbDecision=14500 #constraints=1620 12.19/12.21 c nbDecision=15000 #constraints=1620 12.78/12.86 c nbDecision=15500 #constraints=1647 16.89/16.91 c nbDecision=16000 #constraints=1956 25.39/25.45 c nbDecision=16500 #constraints=2232 28.58/28.68 c nbDecision=17000 #constraints=2359 34.28/34.30 c nbDecision=17500 #constraints=2597 41.48/41.50 c nbDecision=18000 #constraints=2856 44.68/44.72 c nbDecision=18500 #constraints=3002 53.18/53.24 c nbDecision=19000 #constraints=3207 69.08/69.16 c nbDecision=19500 #constraints=3467 73.37/73.49 c nbDecision=20000 #constraints=3610 77.78/77.82 c nbDecision=20500 #constraints=3805 80.77/80.84 c nbDecision=21000 #constraints=3935 84.67/84.71 c nbDecision=21500 #constraints=4064 87.97/88.06 c nbDecision=22000 #constraints=4220 113.66/113.72 c nbDecision=22500 #constraints=4486 142.66/142.75 c nbDecision=23000 #constraints=4766 147.15/147.22 c nbDecision=23500 #constraints=4806 147.15/147.30 c nbDecision=24000 #constraints=4806 151.55/151.66 c nbDecision=24500 #constraints=4974 153.15/153.21 c nbDecision=25000 #constraints=5030 156.65/156.78 c nbDecision=25500 #constraints=5156 157.15/157.21 c restart after 25601 decisions 157.95/158.01 c nbDecision=26000 #constraints=5170 158.05/158.19 c nbDecision=26500 #constraints=5170 158.25/158.38 c nbDecision=27000 #constraints=5170 158.35/158.49 c nbDecision=27500 #constraints=5170 158.55/158.68 c nbDecision=28000 #constraints=5170 163.65/163.71 c nbDecision=28500 #constraints=5338 165.25/165.33 c nbDecision=29000 #constraints=5430 174.85/174.91 c nbDecision=29500 #constraints=5689 177.25/177.33 c nbDecision=30000 #constraints=5731 190.24/190.31 c nbDecision=30500 #constraints=6045 214.84/214.99 c nbDecision=31000 #constraints=6350 239.13/239.23 c nbDecision=31500 #constraints=6615 252.23/252.36 c nbDecision=32000 #constraints=6720 252.33/252.47 c nbDecision=32500 #constraints=6720 259.22/259.31 c nbDecision=33000 #constraints=6888 262.22/262.31 c nbDecision=33500 #constraints=6958 267.63/267.79 c nbDecision=34000 #constraints=7084 275.12/275.28 c nbDecision=34500 #constraints=7252 278.92/279.03 c nbDecision=35000 #constraints=7396 293.92/294.06 c nbDecision=35500 #constraints=7631 295.92/296.01 c nbDecision=36000 #constraints=7673 318.71/318.80 c nbDecision=36500 #constraints=8002 353.60/353.73 c nbDecision=37000 #constraints=8305 385.59/385.75 c nbDecision=37500 #constraints=8555 400.78/400.97 c nbDecision=38000 #constraints=8634 406.38/406.58 c nbDecision=38500 #constraints=8814 406.89/407.07 c nbDecision=39000 #constraints=8829 412.59/412.78 c nbDecision=39500 #constraints=9009 417.89/418.01 c nbDecision=40000 #constraints=9174 419.58/419.70 c nbDecision=40500 #constraints=9219 430.78/430.92 c nbDecision=41000 #constraints=9474 441.38/441.56 c nbDecision=41500 #constraints=9573 445.68/445.81 c nbDecision=42000 #constraints=9741 493.67/493.83 c nbDecision=42500 #constraints=10093 535.35/535.55 c nbDecision=43000 #constraints=10366 568.15/568.37 c nbDecision=43500 #constraints=10562 577.44/577.65 c nbDecision=44000 #constraints=10703 580.44/580.61 c nbDecision=44500 #constraints=10746 591.84/592.09 c nbDecision=45000 #constraints=10914 630.03/630.21 c nbDecision=45500 #constraints=11164 665.52/665.77 c nbDecision=46000 #constraints=11461 685.12/685.35 c nbDecision=46500 #constraints=11532 690.21/690.48 c nbDecision=47000 #constraints=11700 756.10/756.34 c nbDecision=47500 #constraints=12081 807.98/808.25 c nbDecision=48000 #constraints=12351 844.98/845.21 c nbDecision=48500 #constraints=12522 858.17/858.49 c nbDecision=49000 #constraints=12690 859.47/859.79 c nbDecision=49500 #constraints=12705 873.26/873.55 c nbDecision=50000 #constraints=12873 923.76/924.09 c nbDecision=50500 #constraints=13150 968.45/968.72 c nbDecision=51000 #constraints=13447 988.14/988.43 c restart after 51201 decisions 990.14/990.47 c nbDecision=51500 #constraints=13492 990.64/990.93 c nbDecision=52000 #constraints=13492 990.94/991.28 c nbDecision=52500 #constraints=13492 991.44/991.76 c nbDecision=53000 #constraints=13492 992.24/992.59 c nbDecision=53500 #constraints=13492 998.34/998.63 c nbDecision=54000 #constraints=13660 1073.02/1073.32 c nbDecision=54500 #constraints=14012 1136.30/1136.62 c nbDecision=55000 #constraints=14285 1184.99/1185.40 c nbDecision=55500 #constraints=14481 1196.88/1197.23 c nbDecision=56000 #constraints=14608 1202.29/1202.68 c nbDecision=56500 #constraints=14665 1218.27/1218.70 c nbDecision=57000 #constraints=14833 1269.07/1269.45 c nbDecision=57500 #constraints=15056 1321.86/1322.26 c nbDecision=58000 #constraints=15353 1356.44/1356.86 c nbDecision=58500 #constraints=15453 1363.45/1363.83 c nbDecision=59000 #constraints=15621 1457.81/1458.35 c nbDecision=59500 #constraints=16002 1528.51/1529.09 c nbDecision=60000 #constraints=16259 1582.88/1583.43 c nbDecision=60500 #constraints=16443 1600.69/1601.27 c nbDecision=61000 #constraints=16611 1602.48/1603.00 c nbDecision=61500 #constraints=16626 1620.78/1621.31 c nbDecision=62000 #constraints=16794 1689.86/1690.47 c nbDecision=62500 #constraints=17071 1746.64/1747.28 c nbDecision=63000 #constraints=17341 1781.53/1782.12 c nbDecision=63500 #constraints=17415 1797.83/1798.43 c nbDecision=64000 #constraints=17624 1800.03/1800.60 Received signal 15 1801.93/1802.59 1801.93/1802.59 s UNKNOWN 1801.93/1802.59 1801.93/1802.59 c user time= 1801.21 s 1801.93/1802.59 c system time= 0.828873 s 1801.93/1802.59 c wall clock time=1802.6
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node44/watcher-362314-1176845863 -o ROOT/results/node44/solver-362314-1176845863 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362314-1176845863/instance-362314-1176845863.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 20290 /proc/meminfo: memFree=1680832/2055920 swapFree=4143524/4192956 [pid=20290] ppid=20288 vsize=1620 CPUtime=0 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 132498002 1658880 174 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135271347 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 405 174 126 317 0 84 0 [startup+0.0756151 s] /proc/loadavg: 0.92 0.98 0.99 3/77 20290 /proc/meminfo: memFree=1680832/2055920 swapFree=4143524/4192956 [pid=20290] ppid=20288 vsize=2996 CPUtime=0.07 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 544 0 0 0 7 0 0 0 18 0 1 0 132498002 3067904 526 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 749 526 131 317 0 428 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2996 [startup+0.101618 s] /proc/loadavg: 0.92 0.98 0.99 3/77 20290 /proc/meminfo: memFree=1680832/2055920 swapFree=4143524/4192956 [pid=20290] ppid=20288 vsize=4144 CPUtime=0.09 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 825 0 0 0 9 0 0 0 18 0 1 0 132498002 4243456 807 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712891 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 1036 807 137 317 0 715 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4144 [startup+0.301639 s] /proc/loadavg: 0.92 0.98 0.99 3/77 20290 /proc/meminfo: memFree=1680832/2055920 swapFree=4143524/4192956 [pid=20290] ppid=20288 vsize=4408 CPUtime=0.29 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 911 0 0 0 29 0 0 0 19 0 1 0 132498002 4513792 893 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 1102 893 138 317 0 781 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4408 [startup+0.70168 s] /proc/loadavg: 0.92 0.98 0.99 3/77 20290 /proc/meminfo: memFree=1680832/2055920 swapFree=4143524/4192956 [pid=20290] ppid=20288 vsize=5224 CPUtime=0.69 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 1091 0 0 0 69 0 0 0 23 0 1 0 132498002 5349376 1073 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 1306 1073 139 317 0 985 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5224 [startup+1.50176 s] /proc/loadavg: 0.92 0.98 0.99 2/78 20291 /proc/meminfo: memFree=1675384/2055920 swapFree=4143524/4192956 [pid=20290] ppid=20288 vsize=8708 CPUtime=1.49 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 1966 0 0 0 149 0 0 0 25 0 1 0 132498002 8916992 1948 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135271379 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 2177 1948 139 317 0 1856 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8708 [startup+3.10193 s] /proc/loadavg: 0.93 0.98 0.99 2/78 20291 /proc/meminfo: memFree=1670072/2055920 swapFree=4143524/4192956 [pid=20290] ppid=20288 vsize=17012 CPUtime=3.09 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 4032 0 0 0 308 1 0 0 25 0 1 0 132498002 17420288 4014 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135272561 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 4253 4014 139 317 0 3932 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17012 [startup+6.30125 s] /proc/loadavg: 0.93 0.98 0.99 2/78 20291 /proc/meminfo: memFree=1658616/2055920 swapFree=4143524/4192956 [pid=20290] ppid=20288 vsize=27068 CPUtime=6.28 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 6454 0 0 0 627 1 0 0 25 0 1 0 132498002 27717632 6436 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 6767 6436 139 317 0 6446 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 27068 [startup+12.7019 s] /proc/loadavg: 0.94 0.98 0.99 2/78 20291 /proc/meminfo: memFree=1643192/2055920 swapFree=4143524/4192956 [pid=20290] ppid=20288 vsize=40036 CPUtime=12.69 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 9627 0 0 0 1267 2 0 0 25 0 1 0 132498002 40996864 9609 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712891 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 10009 9609 139 317 0 9688 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40036 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.99 2/78 20291 /proc/meminfo: memFree=1622968/2055920 swapFree=4143524/4192956 [pid=20290] ppid=20288 vsize=59964 CPUtime=25.49 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 14561 0 0 0 2544 5 0 0 25 0 1 0 132498002 61403136 14543 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 14991 14543 139 317 0 14670 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 59964 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.99 2/78 20291 /proc/meminfo: memFree=1584824/2055920 swapFree=4143524/4192956 [pid=20290] ppid=20288 vsize=98752 CPUtime=51.08 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 24086 0 0 0 5099 9 0 0 25 0 1 0 132498002 101122048 24068 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 24688 24068 139 317 0 24367 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 98752 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 20293 /proc/meminfo: memFree=1539256/2055920 swapFree=4143524/4192956 [pid=20290] ppid=20288 vsize=147560 CPUtime=102.27 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 35413 0 0 0 10213 14 0 0 25 0 1 0 132498002 151101440 35395 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716132 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 36890 35395 139 317 0 36569 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 147560 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20293 /proc/meminfo: memFree=1509112/2055920 swapFree=4143524/4192956 [pid=20290] ppid=20288 vsize=180412 CPUtime=162.25 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 43003 0 0 0 16206 19 0 0 25 0 1 0 132498002 184741888 42985 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 45103 42985 139 317 0 44782 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 180412 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20293 /proc/meminfo: memFree=1474360/2055920 swapFree=4143524/4192956 [pid=20290] ppid=20288 vsize=215596 CPUtime=222.23 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 51586 0 0 0 22199 24 0 0 25 0 1 0 132498002 220770304 51568 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 53899 51568 139 317 0 53578 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 215596 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20293 /proc/meminfo: memFree=1451832/2055920 swapFree=4143524/4192956 [pid=20290] ppid=20288 vsize=236584 CPUtime=282.22 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 57255 0 0 0 28194 28 0 0 25 0 1 0 132498002 242262016 57237 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 59146 57237 139 317 0 58825 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 236584 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20293 /proc/meminfo: memFree=1428280/2055920 swapFree=4143524/4192956 [pid=20290] ppid=20288 vsize=260976 CPUtime=342.2 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 63066 0 0 0 34189 31 0 0 25 0 1 0 132498002 267239424 63048 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 65244 63048 139 317 0 64923 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 260976 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20293 /proc/meminfo: memFree=1403768/2055920 swapFree=4143524/4192956 [pid=20290] ppid=20288 vsize=295352 CPUtime=402.19 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 69333 0 0 0 40185 34 0 0 25 0 1 0 132498002 302440448 69258 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 73838 69258 139 317 0 73517 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 295352 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20293 /proc/meminfo: memFree=1373624/2055920 swapFree=4143524/4192956 [pid=20290] ppid=20288 vsize=327300 CPUtime=462.17 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 76767 0 0 0 46179 38 0 0 25 0 1 0 132498002 335155200 76692 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 81825 76692 139 317 0 81504 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 327300 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20293 /proc/meminfo: memFree=1356088/2055920 swapFree=4143524/4192956 [pid=20290] ppid=20288 vsize=343328 CPUtime=522.15 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 81165 0 0 0 52175 40 0 0 25 0 1 0 132498002 351567872 81090 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 85832 81090 139 317 0 85511 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 343328 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20293 /proc/meminfo: memFree=1343608/2055920 swapFree=4143524/4192956 [pid=20290] ppid=20288 vsize=355580 CPUtime=582.14 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 84255 0 0 0 58172 42 0 0 25 0 1 0 132498002 364113920 84180 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712505 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 88895 84180 139 317 0 88574 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 355580 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20293 /proc/meminfo: memFree=1327480/2055920 swapFree=4143524/4192956 [pid=20290] ppid=20288 vsize=369780 CPUtime=642.13 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 88255 0 0 0 64168 45 0 0 25 0 1 0 132498002 378654720 88180 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 92445 88180 139 317 0 92124 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 369780 ################ # More data... # ################ /proc/meminfo: memFree=1245240/2055920 swapFree=4143524/4192956 [pid=20290] ppid=20288 vsize=453124 CPUtime=1002.04 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 108812 0 0 0 100146 58 0 0 25 0 1 0 132498002 463998976 108737 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 113281 108737 139 317 0 112960 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 453124 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20293 /proc/meminfo: memFree=1229496/2055920 swapFree=4143524/4192956 [pid=20290] ppid=20288 vsize=472640 CPUtime=1062.02 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 112750 0 0 0 106141 61 0 0 25 0 1 0 132498002 483983360 112675 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 118160 112675 139 317 0 117839 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 472640 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20293 /proc/meminfo: memFree=1218488/2055920 swapFree=4143524/4192956 [pid=20290] ppid=20288 vsize=482640 CPUtime=1122.01 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 115482 0 0 0 112138 63 0 0 25 0 1 0 132498002 494223360 115407 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 120660 115407 139 317 0 120339 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 482640 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 3/78 20293 /proc/meminfo: memFree=1209720/2055920 swapFree=4143524/4192956 [pid=20290] ppid=20288 vsize=490484 CPUtime=1181.99 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 117640 0 0 0 118135 64 0 0 25 0 1 0 132498002 502255616 117565 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 122621 117565 139 317 0 122300 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 490484 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20293 /proc/meminfo: memFree=1199864/2055920 swapFree=4143524/4192956 [pid=20290] ppid=20288 vsize=499788 CPUtime=1241.97 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 120115 0 0 0 124131 66 0 0 25 0 1 0 132498002 511782912 120040 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 124947 120040 139 317 0 124626 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 499788 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20293 /proc/meminfo: memFree=1189112/2055920 swapFree=4143524/4192956 [pid=20290] ppid=20288 vsize=510060 CPUtime=1301.96 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 122789 0 0 0 130128 68 0 0 25 0 1 0 132498002 522301440 122714 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 127515 122714 139 317 0 127194 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 510060 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20293 /proc/meminfo: memFree=1175160/2055920 swapFree=4143528/4192956 [pid=20290] ppid=20288 vsize=528996 CPUtime=1361.95 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 126340 0 0 0 136124 71 0 0 25 0 1 0 132498002 541691904 126265 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134595759 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 132249 126265 139 317 0 131928 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 528996 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/84 20431 /proc/meminfo: memFree=1163776/2055920 swapFree=4143528/4192956 [pid=20290] ppid=20288 vsize=538076 CPUtime=1421.86 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 128778 0 0 0 142114 72 0 0 25 0 1 0 132498002 550989824 128703 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 134519 128703 139 317 0 134198 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 538076 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20491 /proc/meminfo: memFree=1156344/2055920 swapFree=4143528/4192956 [pid=20290] ppid=20288 vsize=546536 CPUtime=1481.81 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 130949 0 0 0 148108 73 0 0 25 0 1 0 132498002 559652864 130874 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 136634 130874 139 317 0 136313 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 546536 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20491 /proc/meminfo: memFree=1145208/2055920 swapFree=4143528/4192956 [pid=20290] ppid=20288 vsize=559068 CPUtime=1541.79 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 133709 0 0 0 154105 74 0 0 25 0 1 0 132498002 572485632 133634 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 139767 133634 139 317 0 139446 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 559068 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20491 /proc/meminfo: memFree=1138040/2055920 swapFree=4143528/4192956 [pid=20290] ppid=20288 vsize=567612 CPUtime=1601.78 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 135649 0 0 0 160102 76 0 0 25 0 1 0 132498002 581234688 135460 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 141903 135460 139 317 0 141582 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 567612 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20491 /proc/meminfo: memFree=1124152/2055920 swapFree=4143528/4192956 [pid=20290] ppid=20288 vsize=585696 CPUtime=1661.77 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 139096 0 0 0 166099 78 0 0 25 0 1 0 132498002 599752704 138907 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134711207 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 146424 138907 139 317 0 146103 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 585696 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20491 /proc/meminfo: memFree=1114552/2055920 swapFree=4143528/4192956 [pid=20290] ppid=20288 vsize=594660 CPUtime=1721.75 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 141524 0 0 0 172095 80 0 0 25 0 1 0 132498002 608931840 141335 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 148665 141335 139 317 0 148344 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 594660 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20491 /proc/meminfo: memFree=1107768/2055920 swapFree=4143528/4192956 [pid=20290] ppid=20288 vsize=601148 CPUtime=1781.73 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 143180 0 0 0 178092 81 0 0 25 0 1 0 132498002 615575552 142991 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 150287 142991 139 317 0 149966 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 601148 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20491 /proc/meminfo: memFree=1098936/2055920 swapFree=4143528/4192956 [pid=20290] ppid=20288 vsize=614236 CPUtime=1800.03 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 145371 0 0 0 179921 82 0 0 25 0 1 0 132498002 628977664 145182 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 153559 145182 139 317 0 153238 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 614236 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20491 /proc/meminfo: memFree=1098936/2055920 swapFree=4143528/4192956 [pid=20290] ppid=20288 vsize=614236 CPUtime=1800.83 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 145390 0 0 0 180001 82 0 0 25 0 1 0 132498002 628977664 145201 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 153559 145201 139 317 0 153238 0 Current children cumulated CPU time (s) 1800.83 Current children cumulated vsize (KiB) 614236 [startup+1802.2 s] /proc/loadavg: 0.99 0.98 0.99 2/79 20492 /proc/meminfo: memFree=1098800/2055920 swapFree=4143528/4192956 [pid=20290] ppid=20288 vsize=614364 CPUtime=1801.63 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 145416 0 0 0 180081 82 0 0 25 0 1 0 132498002 629108736 145227 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 153591 145227 139 317 0 153270 0 Current children cumulated CPU time (s) 1801.63 Current children cumulated vsize (KiB) 614364 [startup+1802.6 s] /proc/loadavg: 0.99 0.98 0.99 2/79 20492 /proc/meminfo: memFree=1098800/2055920 swapFree=4143528/4192956 [pid=20290] ppid=20288 vsize=600784 CPUtime=1802.03 /proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 145440 0 0 0 180120 83 0 0 25 0 1 0 132498002 615202816 143004 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20290/statm: 150196 143004 155 317 0 149875 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 600784 Child status: 0 Real time (s): 1802.7 CPU time (s): 1802.14 CPU user time (s): 1801.21 CPU system time (s): 0.926859 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (KiB): 614364 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1801.21 system time used= 0.926859 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 145440 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= 2444 runsolver used 2.07368 second user time and 4.47532 second system time The end
Begin job on node44 on Tue Apr 17 21:37:43 UTC 2007 IDJOB= 362314 IDBENCH= 1548 IDSOLVER= 172 FILE ID= node44/362314-1176845863 PBS_JOBID= 4590145 Free space on /tmp= 66431 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran6x43.opb COMMAND LINE= oree /tmp/evaluation/362314-1176845863/instance-362314-1176845863.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-362314-1176845863 -o ROOT/results/node44/solver-362314-1176845863 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362314-1176845863/instance-362314-1176845863.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 6ddbc05dc60ac3abba60700f70e1bd54 RANDOM SEED= 572659672 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node44.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.234 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.234 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: 1681304 kB Buffers: 38924 kB Cached: 253556 kB SwapCached: 27460 kB Active: 217896 kB Inactive: 112628 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1681304 kB SwapTotal: 4192956 kB SwapFree: 4143524 kB Dirty: 1628 kB Writeback: 0 kB Mapped: 32424 kB Slab: 29616 kB Committed_AS: 430372 kB PageTables: 1736 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= 66431 MiB End job on node44 on Tue Apr 17 22:07:46 UTC 2007