Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.63 | 1801.25 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome12.opb |
MD5SUM | d6efb238990ec55ca510b102fead8acf |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 1466812 |
Total number of constraints | 24336 |
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 | 24336 |
Minimum length of a constraint | 13 |
Maximum length of a constraint | 6840 |
Number of terms in the objective function | 748132 |
Biggest coefficient in the objective function | 2150851580428025856 |
Number of bits for the biggest coefficient in the objective function | 61 |
Sum of the numbers in the objective function | 3531010623397850041104 |
Number of bits of the sum of numbers in the objective function | 72 |
Biggest number in a constraint | 53687091200000000000 |
Number of bits of the biggest number in a constraint | 66 |
Biggest sum of numbers in a constraint | 4277072243466308763648 |
Number of bits of the biggest sum of numbers | 72 |
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... 20.89/20.91 c ...done 20.89/20.91 c #vars=1466812 #constraints=48621 hasObjective=yes 33.77/33.82 c res. mode=mod 33.77/33.82 c VSIDS like heuristics 33.77/33.82 c complete search running 54.66/54.79 c restart after 401 decisions 58.46/58.57 c nbDecision=500 #constraints=48636 70.56/70.60 c restart after 801 decisions 78.25/78.33 c nbDecision=1000 #constraints=48654 97.85/97.94 c nbDecision=1500 #constraints=48660 101.84/101.93 c restart after 1601 decisions 117.44/117.55 c nbDecision=2000 #constraints=48663 137.03/137.14 c nbDecision=2500 #constraints=48667 156.83/157.00 c nbDecision=3000 #constraints=48691 164.83/164.91 c restart after 3201 decisions 176.52/176.60 c nbDecision=3500 #constraints=48695 196.01/196.16 c nbDecision=4000 #constraints=48697 215.71/215.89 c nbDecision=4500 #constraints=48702 235.80/235.92 c nbDecision=5000 #constraints=48736 255.49/255.63 c nbDecision=5500 #constraints=48743 275.18/275.33 c nbDecision=6000 #constraints=48745 290.98/291.14 c restart after 6401 decisions 294.78/294.94 c nbDecision=6500 #constraints=48748 314.47/314.62 c nbDecision=7000 #constraints=48748 334.27/334.43 c nbDecision=7500 #constraints=48766 353.86/354.05 c nbDecision=8000 #constraints=48766 373.55/373.70 c nbDecision=8500 #constraints=48774 393.55/393.75 c nbDecision=9000 #constraints=48800 413.53/413.75 c nbDecision=9500 #constraints=48820 433.54/433.72 c nbDecision=10000 #constraints=48841 453.63/453.90 c nbDecision=10500 #constraints=48871 473.72/473.91 c nbDecision=11000 #constraints=48894 493.62/493.85 c nbDecision=11500 #constraints=48913 513.51/513.72 c nbDecision=12000 #constraints=48927 533.50/533.76 c nbDecision=12500 #constraints=48950 545.49/545.75 c restart after 12801 decisions 553.29/553.52 c nbDecision=13000 #constraints=48958 572.98/573.22 c nbDecision=13500 #constraints=48958 592.77/593.06 c nbDecision=14000 #constraints=48972 612.67/612.91 c nbDecision=14500 #constraints=48986 632.26/632.55 c nbDecision=15000 #constraints=48991 651.86/652.20 c nbDecision=15500 #constraints=48991 671.86/672.14 c nbDecision=16000 #constraints=49015 691.45/691.75 c nbDecision=16500 #constraints=49018 711.04/711.39 c nbDecision=17000 #constraints=49019 731.03/731.32 c nbDecision=17500 #constraints=49038 750.63/750.98 c nbDecision=18000 #constraints=49040 770.42/770.71 c nbDecision=18500 #constraints=49050 790.31/790.62 c nbDecision=19000 #constraints=49075 809.91/810.26 c nbDecision=19500 #constraints=49076 829.50/829.88 c nbDecision=20000 #constraints=49076 849.39/849.75 c nbDecision=20500 #constraints=49097 869.18/869.55 c nbDecision=21000 #constraints=49114 888.88/889.25 c nbDecision=21500 #constraints=49120 908.77/909.11 c nbDecision=22000 #constraints=49147 928.36/928.79 c nbDecision=22500 #constraints=49147 948.05/948.40 c nbDecision=23000 #constraints=49148 968.05/968.45 c nbDecision=23500 #constraints=49164 987.65/988.06 c nbDecision=24000 #constraints=49165 1007.44/1007.81 c nbDecision=24500 #constraints=49176 1027.43/1027.81 c nbDecision=25000 #constraints=49202 1046.93/1047.37 c nbDecision=25500 #constraints=49204 1050.93/1051.38 c restart after 25601 decisions 1066.52/1066.95 c nbDecision=26000 #constraints=49204 1086.21/1086.62 c nbDecision=26500 #constraints=49204 1105.91/1106.33 c nbDecision=27000 #constraints=49208 1125.50/1125.99 c nbDecision=27500 #constraints=49209 1145.69/1146.15 c nbDecision=28000 #constraints=49231 1165.28/1165.76 c nbDecision=28500 #constraints=49231 1184.97/1185.44 c nbDecision=29000 #constraints=49240 1204.77/1205.28 c nbDecision=29500 #constraints=49245 1224.36/1224.86 c nbDecision=30000 #constraints=49248 1244.06/1244.54 c nbDecision=30500 #constraints=49250 1263.66/1264.12 c nbDecision=31000 #constraints=49250 1283.25/1283.74 c nbDecision=31500 #constraints=49256 1302.84/1303.31 c nbDecision=32000 #constraints=49257 1322.74/1323.28 c nbDecision=32500 #constraints=49285 1342.53/1343.07 c nbDecision=33000 #constraints=49288 1362.12/1362.64 c nbDecision=33500 #constraints=49288 1381.71/1382.25 c nbDecision=34000 #constraints=49290 1401.21/1401.77 c nbDecision=34500 #constraints=49294 1420.90/1421.48 c nbDecision=35000 #constraints=49295 1440.79/1441.35 c nbDecision=35500 #constraints=49309 1460.88/1461.44 c nbDecision=36000 #constraints=49338 1480.58/1481.14 c nbDecision=36500 #constraints=49347 1500.37/1500.91 c nbDecision=37000 #constraints=49363 1519.96/1520.57 c nbDecision=37500 #constraints=49365 1539.66/1540.26 c nbDecision=38000 #constraints=49374 1559.25/1559.85 c nbDecision=38500 #constraints=49382 1578.95/1579.55 c nbDecision=39000 #constraints=49383 1598.53/1599.12 c nbDecision=39500 #constraints=49383 1618.13/1618.77 c nbDecision=40000 #constraints=49387 1637.83/1638.49 c nbDecision=40500 #constraints=49400 1657.52/1658.15 c nbDecision=41000 #constraints=49403 1677.12/1677.77 c nbDecision=41500 #constraints=49404 1696.71/1697.33 c nbDecision=42000 #constraints=49406 1716.30/1716.96 c nbDecision=42500 #constraints=49408 1735.89/1736.57 c nbDecision=43000 #constraints=49410 1755.89/1756.55 c nbDecision=43500 #constraints=49438 1775.48/1776.17 c nbDecision=44000 #constraints=49439 1795.07/1795.74 c nbDecision=44500 #constraints=49440 1800.08/1800.70 Received signal 15 1800.08/1800.72 1800.08/1800.72 s UNKNOWN 1800.08/1800.72 1800.08/1800.72 c user time= 1799.36 s 1800.08/1800.72 c system time= 0.743886 s 1800.08/1800.72 c wall clock time=1800.72
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node67/watcher-357218-1176991589 -o ROOT/results/node67/solver-357218-1176991589 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357218-1176991589/instance-357218-1176991589.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/64 10285 /proc/meminfo: memFree=1690088/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=1468 CPUtime=0 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 175148917 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 367 160 127 317 0 46 0 [startup+0.0649701 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10285 /proc/meminfo: memFree=1690088/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=2400 CPUtime=0.06 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 469 0 0 0 6 0 0 0 18 0 1 0 175148917 2457600 353 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 600 353 127 317 0 279 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2400 [startup+0.103101 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10285 /proc/meminfo: memFree=1690088/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=3440 CPUtime=0.1 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 772 0 0 0 10 0 0 0 18 0 1 0 175148917 3522560 527 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134828760 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 860 527 127 317 0 539 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3440 [startup+0.302013 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10285 /proc/meminfo: memFree=1690088/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=5520 CPUtime=0.29 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 1548 0 0 0 29 0 0 0 19 0 1 0 175148917 5652480 1046 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 1380 1046 127 317 0 1059 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5520 [startup+0.702087 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10285 /proc/meminfo: memFree=1690088/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=9548 CPUtime=0.69 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 3102 0 0 0 68 1 0 0 23 0 1 0 175148917 9777152 2087 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134709460 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 2387 2087 127 317 0 2066 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9548 [startup+1.50123 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10286 /proc/meminfo: memFree=1677664/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=17736 CPUtime=1.49 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 6201 0 0 0 146 3 0 0 25 0 1 0 175148917 18161664 4161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 4434 4161 127 317 0 4113 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17736 [startup+3.10153 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10286 /proc/meminfo: memFree=1663840/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=34244 CPUtime=3.09 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 11251 0 0 0 304 5 0 0 25 0 1 0 175148917 35065856 7162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 8561 7162 128 317 0 8240 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34244 [startup+6.30111 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10286 /proc/meminfo: memFree=1636200/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=80808 CPUtime=6.29 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 22714 0 0 0 618 11 0 0 25 0 1 0 175148917 82747392 18625 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 20202 18625 131 317 0 19881 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 80808 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10286 /proc/meminfo: memFree=1498472/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=216392 CPUtime=12.69 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 56055 0 0 0 1241 28 0 0 25 0 1 0 175148917 221585408 51966 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 54098 51966 131 317 0 53777 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 216392 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10286 /proc/meminfo: memFree=1165480/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=541220 CPUtime=25.48 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 136613 0 0 0 2486 62 0 0 25 0 1 0 175148917 554209280 132491 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 135305 132491 137 317 0 134984 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 541220 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10286 /proc/meminfo: memFree=1102184/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=601440 CPUtime=51.06 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 151679 0 0 0 5037 69 0 0 25 0 1 0 175148917 615874560 147224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 150360 147224 139 317 0 150039 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 601440 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10286 /proc/meminfo: memFree=1102248/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=601440 CPUtime=102.25 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 151679 0 0 0 10156 69 0 0 25 0 1 0 175148917 615874560 147224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 150360 147224 139 317 0 150039 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 601440 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10286 /proc/meminfo: memFree=1102248/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=601440 CPUtime=162.22 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 151679 0 0 0 16153 69 0 0 25 0 1 0 175148917 615874560 147224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 150360 147224 139 317 0 150039 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 601440 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10286 /proc/meminfo: memFree=1102312/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=601440 CPUtime=222.2 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 151679 0 0 0 22151 69 0 0 25 0 1 0 175148917 615874560 147224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 150360 147224 139 317 0 150039 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 601440 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10286 /proc/meminfo: memFree=1102312/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=601440 CPUtime=282.18 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 151679 0 0 0 28149 69 0 0 25 0 1 0 175148917 615874560 147224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 150360 147224 139 317 0 150039 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 601440 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10286 /proc/meminfo: memFree=1102312/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=601440 CPUtime=342.16 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 151679 0 0 0 34147 69 0 0 25 0 1 0 175148917 615874560 147224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 150360 147224 139 317 0 150039 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 601440 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10286 /proc/meminfo: memFree=1102312/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=601572 CPUtime=402.14 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 151722 0 0 0 40145 69 0 0 25 0 1 0 175148917 616009728 147267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384501 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 150393 147267 170 317 0 150072 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 601572 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10286 /proc/meminfo: memFree=1100840/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=602976 CPUtime=462.13 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 152080 0 0 0 46143 70 0 0 25 0 1 0 175148917 617447424 147625 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 150744 147625 170 317 0 150423 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 602976 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10286 /proc/meminfo: memFree=1099496/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=604220 CPUtime=522.1 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 152414 0 0 0 52140 70 0 0 25 0 1 0 175148917 618721280 147959 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 151055 147959 170 317 0 150734 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 604220 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10286 /proc/meminfo: memFree=1098984/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=604752 CPUtime=582.08 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 152548 0 0 0 58138 70 0 0 25 0 1 0 175148917 619266048 148093 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 151188 148093 170 317 0 150867 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 604752 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10286 /proc/meminfo: memFree=1098664/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=605132 CPUtime=642.06 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 152617 0 0 0 64136 70 0 0 25 0 1 0 175148917 619655168 148162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 151283 148162 170 317 0 150962 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 605132 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10286 /proc/meminfo: memFree=1097192/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=606452 CPUtime=941.96 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 152962 0 0 0 94125 71 0 0 25 0 1 0 175148917 621006848 148507 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384559 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 151613 148507 170 317 0 151292 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 606452 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10286 /proc/meminfo: memFree=1096296/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=607576 CPUtime=1001.94 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 153191 0 0 0 100122 72 0 0 25 0 1 0 175148917 622157824 148736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 151894 148736 170 317 0 151573 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 607576 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10286 /proc/meminfo: memFree=1095464/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=608336 CPUtime=1061.92 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 153391 0 0 0 106120 72 0 0 25 0 1 0 175148917 622936064 148936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 152084 148936 170 317 0 151763 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 608336 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10286 /proc/meminfo: memFree=1095272/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=608608 CPUtime=1121.9 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 153449 0 0 0 112118 72 0 0 25 0 1 0 175148917 623214592 148994 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 152152 148994 170 317 0 151831 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 608608 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10286 /proc/meminfo: memFree=1094120/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=609792 CPUtime=1181.88 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 153736 0 0 0 118116 72 0 0 25 0 1 0 175148917 624427008 149281 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 152448 149281 170 317 0 152127 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 609792 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10286 /proc/meminfo: memFree=1093608/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=610376 CPUtime=1241.85 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 153853 0 0 0 124113 72 0 0 25 0 1 0 175148917 625025024 149398 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 152594 149398 170 317 0 152273 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 610376 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10286 /proc/meminfo: memFree=1093544/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=610376 CPUtime=1301.85 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 153855 0 0 0 130112 73 0 0 25 0 1 0 175148917 625025024 149400 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 152594 149400 170 317 0 152273 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 610376 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10286 /proc/meminfo: memFree=1093416/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=610644 CPUtime=1361.82 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 153909 0 0 0 136109 73 0 0 25 0 1 0 175148917 625299456 149454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 152661 149454 170 317 0 152340 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 610644 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10286 /proc/meminfo: memFree=1093288/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=610800 CPUtime=1421.8 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 153966 0 0 0 142107 73 0 0 25 0 1 0 175148917 625459200 149511 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 152700 149511 170 317 0 152379 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 610800 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10286 /proc/meminfo: memFree=1091944/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=612584 CPUtime=1481.77 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 154390 0 0 0 148104 73 0 0 25 0 1 0 175148917 627286016 149935 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 153146 149935 170 317 0 152825 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 612584 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10286 /proc/meminfo: memFree=1091048/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=612848 CPUtime=1541.75 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 154484 0 0 0 154102 73 0 0 25 0 1 0 175148917 627556352 150029 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 153212 150029 170 317 0 152891 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 612848 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10286 /proc/meminfo: memFree=1090856/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=613084 CPUtime=1601.73 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 154542 0 0 0 160100 73 0 0 25 0 1 0 175148917 627798016 150087 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385273 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 153271 150087 170 317 0 152950 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 613084 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10286 /proc/meminfo: memFree=1090472/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=613480 CPUtime=1661.72 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 154620 0 0 0 166098 74 0 0 25 0 1 0 175148917 628203520 150165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 153370 150165 170 317 0 153049 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 613480 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10286 /proc/meminfo: memFree=1090472/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=613480 CPUtime=1721.7 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 154629 0 0 0 172096 74 0 0 25 0 1 0 175148917 628203520 150174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 153370 150174 170 317 0 153049 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 613480 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10286 /proc/meminfo: memFree=1089960/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=613952 CPUtime=1781.68 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 154749 0 0 0 178094 74 0 0 25 0 1 0 175148917 628686848 150294 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606871 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 153488 150294 170 317 0 153167 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 613952 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10286 /proc/meminfo: memFree=1089896/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=614088 CPUtime=1800.08 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 154765 0 0 0 179934 74 0 0 25 0 1 0 175148917 628826112 150310 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 153522 150310 170 317 0 153201 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 614088 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/65 10286 /proc/meminfo: memFree=1089896/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=582412 CPUtime=1800.37 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 154781 0 0 0 179963 74 0 0 25 0 1 0 175148917 596389888 142732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266198 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 145603 142732 186 317 0 145282 0 Current children cumulated CPU time (s) 1800.37 Current children cumulated vsize (KiB) 582412 [startup+1801.2 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10286 /proc/meminfo: memFree=1089896/2055920 swapFree=4179676/4192956 [pid=10285] ppid=10283 vsize=0 CPUtime=1800.57 /proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194308 154781 0 0 0 179978 79 0 0 25 0 1 0 175148917 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10285/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.57 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.25 CPU time (s): 1800.63 CPU user time (s): 1799.79 CPU system time (s): 0.837872 CPU usage (%): 99.9655 Max. virtual memory (cumulated for all children) (KiB): 614088 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.79 system time used= 0.837872 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 154781 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= 9 involuntary context switches= 1882 runsolver used 1.19982 second user time and 3.73743 second system time The end
Begin job on node67 on Thu Apr 19 14:06:34 UTC 2007 IDJOB= 357218 IDBENCH= 2279 IDSOLVER= 172 FILE ID= node67/357218-1176991589 PBS_JOBID= 4630411 Free space on /tmp= 66377 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome12.opb COMMAND LINE= oree /tmp/evaluation/357218-1176991589/instance-357218-1176991589.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-357218-1176991589 -o ROOT/results/node67/solver-357218-1176991589 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357218-1176991589/instance-357218-1176991589.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= d6efb238990ec55ca510b102fead8acf RANDOM SEED= 991937218 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node67.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.263 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.263 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: 1690304 kB Buffers: 26068 kB Cached: 281968 kB SwapCached: 7008 kB Active: 160804 kB Inactive: 160624 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1690304 kB SwapTotal: 4192956 kB SwapFree: 4179676 kB Dirty: 81120 kB Writeback: 0 kB Mapped: 16016 kB Slab: 30144 kB Committed_AS: 281288 kB PageTables: 1452 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= 66377 MiB End job on node67 on Thu Apr 19 14:36:37 UTC 2007