Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.57 | 1801.16 |
Name | normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome12.opb |
MD5SUM | 489d5377e587a4ab41c94f06db936b0a |
Bench Category | OPT-MEDINT (optimisation, medium 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 | 320 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 1253788 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 1253788 |
Number of bits of the biggest sum of numbers | 21 |
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... 16.09/16.15 c ...done 16.09/16.15 c #vars=1466812 #constraints=48621 hasObjective=yes 28.87/28.99 c res. mode=mod 28.87/28.99 c VSIDS like heuristics 28.87/28.99 c complete search running 49.47/49.54 c restart after 401 decisions 53.56/53.67 c nbDecision=500 #constraints=48733 66.26/66.39 c restart after 801 decisions 74.35/74.48 c nbDecision=1000 #constraints=48811 95.15/95.29 c nbDecision=1500 #constraints=48876 99.44/99.56 c restart after 1601 decisions 115.64/115.77 c nbDecision=2000 #constraints=48914 136.63/136.80 c nbDecision=2500 #constraints=48978 157.02/157.20 c nbDecision=3000 #constraints=49015 165.63/165.76 c restart after 3201 decisions 177.93/178.06 c nbDecision=3500 #constraints=49079 199.02/199.17 c nbDecision=4000 #constraints=49150 219.91/220.03 c nbDecision=4500 #constraints=49202 240.60/240.76 c nbDecision=5000 #constraints=49264 261.39/261.55 c nbDecision=5500 #constraints=49313 282.29/282.44 c nbDecision=6000 #constraints=49366 299.39/299.53 c restart after 6401 decisions 303.39/303.57 c nbDecision=6500 #constraints=49451 324.48/324.63 c nbDecision=7000 #constraints=49517 344.87/345.00 c nbDecision=7500 #constraints=49552 365.46/365.68 c nbDecision=8000 #constraints=49589 386.75/386.99 c nbDecision=8500 #constraints=49673 407.55/407.76 c nbDecision=9000 #constraints=49729 428.24/428.44 c nbDecision=9500 #constraints=49769 448.73/448.97 c nbDecision=10000 #constraints=49797 469.63/469.81 c nbDecision=10500 #constraints=49845 490.42/490.67 c nbDecision=11000 #constraints=49893 511.12/511.37 c nbDecision=11500 #constraints=49932 532.01/532.20 c nbDecision=12000 #constraints=49980 552.60/552.87 c nbDecision=12500 #constraints=50017 565.10/565.34 c restart after 12801 decisions 573.09/573.36 c nbDecision=13000 #constraints=50054 593.80/594.01 c nbDecision=13500 #constraints=50089 614.59/614.89 c nbDecision=14000 #constraints=50139 635.68/635.93 c nbDecision=14500 #constraints=50199 656.27/656.54 c nbDecision=15000 #constraints=50231 676.96/677.25 c nbDecision=15500 #constraints=50271 697.65/697.96 c nbDecision=16000 #constraints=50310 718.35/718.62 c nbDecision=16500 #constraints=50345 738.95/739.20 c nbDecision=17000 #constraints=50373 759.53/759.85 c nbDecision=17500 #constraints=50408 780.83/781.18 c nbDecision=18000 #constraints=50487 801.43/801.75 c nbDecision=18500 #constraints=50514 822.12/822.42 c nbDecision=19000 #constraints=50549 842.61/842.91 c nbDecision=19500 #constraints=50573 863.00/863.37 c nbDecision=20000 #constraints=50594 883.89/884.25 c nbDecision=20500 #constraints=50641 904.49/904.82 c nbDecision=21000 #constraints=50667 925.29/925.63 c nbDecision=21500 #constraints=50712 945.78/946.10 c nbDecision=22000 #constraints=50733 966.77/967.10 c nbDecision=22500 #constraints=50788 987.06/987.45 c nbDecision=23000 #constraints=50801 1007.65/1008.04 c nbDecision=23500 #constraints=50829 1028.35/1028.75 c nbDecision=24000 #constraints=50863 1048.95/1049.33 c nbDecision=24500 #constraints=50888 1069.54/1069.96 c nbDecision=25000 #constraints=50917 1090.03/1090.49 c nbDecision=25500 #constraints=50940 1094.33/1094.74 c restart after 25601 decisions 1110.42/1110.89 c nbDecision=26000 #constraints=50968 1131.22/1131.64 c nbDecision=26500 #constraints=51004 1151.91/1152.36 c nbDecision=27000 #constraints=51037 1172.70/1173.14 c nbDecision=27500 #constraints=51075 1193.40/1193.89 c nbDecision=28000 #constraints=51111 1213.99/1214.49 c nbDecision=28500 #constraints=51138 1234.69/1235.20 c nbDecision=29000 #constraints=51171 1255.48/1255.95 c nbDecision=29500 #constraints=51209 1276.07/1276.51 c nbDecision=30000 #constraints=51235 1296.47/1296.95 c nbDecision=30500 #constraints=51251 1317.05/1317.57 c nbDecision=31000 #constraints=51279 1337.75/1338.28 c nbDecision=31500 #constraints=51314 1358.55/1359.02 c nbDecision=32000 #constraints=51351 1379.04/1379.58 c nbDecision=32500 #constraints=51373 1399.63/1400.17 c nbDecision=33000 #constraints=51399 1419.92/1420.47 c nbDecision=33500 #constraints=51407 1440.52/1441.04 c nbDecision=34000 #constraints=51432 1461.12/1461.63 c nbDecision=34500 #constraints=51458 1481.51/1482.02 c nbDecision=35000 #constraints=51471 1501.80/1502.37 c nbDecision=35500 #constraints=51483 1522.69/1523.25 c nbDecision=36000 #constraints=51529 1542.98/1543.54 c nbDecision=36500 #constraints=51537 1563.39/1563.96 c nbDecision=37000 #constraints=51555 1584.08/1584.62 c nbDecision=37500 #constraints=51582 1604.57/1605.15 c nbDecision=38000 #constraints=51604 1625.06/1625.66 c nbDecision=38500 #constraints=51623 1645.85/1646.45 c nbDecision=39000 #constraints=51665 1666.65/1667.22 c nbDecision=39500 #constraints=51699 1688.44/1689.00 c nbDecision=40000 #constraints=51790 1709.33/1709.98 c nbDecision=40500 #constraints=51844 1730.03/1730.65 c nbDecision=41000 #constraints=51894 1750.62/1751.22 c nbDecision=41500 #constraints=51922 1771.72/1772.32 c nbDecision=42000 #constraints=51986 1792.51/1793.12 c nbDecision=42500 #constraints=52030 1800.02/1800.60 Received signal 15 1800.02/1800.63 1800.02/1800.63 s UNKNOWN 1800.02/1800.63 1800.02/1800.63 c user time= 1799.19 s 1800.02/1800.63 c system time= 0.85287 s 1800.02/1800.63 c wall clock time=1800.63
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node3/watcher-356844-1176845156 -o ROOT/results/node3/solver-356844-1176845156 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356844-1176845156/instance-356844-1176845156.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.05 1.02 1.00 3/77 30263 /proc/meminfo: memFree=1656032/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=1620 CPUtime=0 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 160554138 1658880 175 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 405 175 126 317 0 84 0 [startup+0.020288 s] /proc/loadavg: 1.05 1.02 1.00 3/77 30263 /proc/meminfo: memFree=1656032/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=1880 CPUtime=0.01 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 304 0 0 0 1 0 0 0 18 0 1 0 160554138 1925120 253 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 470 253 126 317 0 149 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1880 [startup+0.101301 s] /proc/loadavg: 1.05 1.02 1.00 3/77 30263 /proc/meminfo: memFree=1656032/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=3440 CPUtime=0.09 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 898 0 0 0 9 0 0 0 18 0 1 0 160554138 3522560 653 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 860 653 126 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301332 s] /proc/loadavg: 1.05 1.02 1.00 3/77 30263 /proc/meminfo: memFree=1656032/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=9548 CPUtime=0.29 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 2900 0 0 0 28 1 0 0 19 0 1 0 160554138 9777152 1885 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 2387 1885 126 317 0 2066 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9548 [startup+0.701397 s] /proc/loadavg: 1.05 1.02 1.00 3/77 30263 /proc/meminfo: memFree=1656032/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=17736 CPUtime=0.69 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 5936 0 0 0 66 3 0 0 23 0 1 0 160554138 18161664 3896 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 4434 3896 126 317 0 4113 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17736 [startup+1.50153 s] /proc/loadavg: 1.05 1.02 1.00 2/78 30264 /proc/meminfo: memFree=1629912/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=34244 CPUtime=1.49 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 11250 0 0 0 143 6 0 0 25 0 1 0 160554138 35065856 7161 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712497 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 8561 7161 127 317 0 8240 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34244 [startup+3.10179 s] /proc/loadavg: 1.05 1.02 1.00 2/78 30264 /proc/meminfo: memFree=1619032/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=68352 CPUtime=3.09 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 19606 0 0 0 299 10 0 0 25 0 1 0 160554138 69992448 15517 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 17088 15517 131 317 0 16767 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 68352 [startup+6.30131 s] /proc/loadavg: 1.05 1.02 1.00 2/78 30264 /proc/meminfo: memFree=1537880/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=148008 CPUtime=6.29 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 39213 0 0 0 609 20 0 0 25 0 1 0 160554138 151560192 35124 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 37002 35124 131 317 0 36681 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 148008 [startup+12.7013 s] /proc/loadavg: 1.04 1.02 1.00 2/78 30264 /proc/meminfo: memFree=1377688/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=305652 CPUtime=12.68 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 78037 0 0 0 1229 39 0 0 25 0 1 0 160554138 312987648 73915 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 76413 73915 131 317 0 76092 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 305652 [startup+25.5014 s] /proc/loadavg: 1.03 1.02 1.00 2/78 30264 /proc/meminfo: memFree=1122200/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=546372 CPUtime=25.48 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 137927 0 0 0 2486 62 0 0 25 0 1 0 160554138 559484928 133805 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134602388 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30263/statm: 136593 133805 137 317 0 136272 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 546372 [startup+51.1016 s] /proc/loadavg: 1.09 1.03 1.00 2/78 30264 /proc/meminfo: memFree=1067544/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=600896 CPUtime=51.06 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 151536 0 0 0 5037 69 0 0 25 0 1 0 160554138 615317504 147081 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 150224 147081 139 317 0 149903 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 600896 [startup+102.306 s] /proc/loadavg: 1.04 1.03 1.00 2/78 30264 /proc/meminfo: memFree=1067544/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=600896 CPUtime=102.25 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 151537 0 0 0 10156 69 0 0 25 0 1 0 160554138 615317504 147082 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 150224 147082 139 317 0 149903 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 600896 [startup+162.302 s] /proc/loadavg: 1.01 1.02 1.00 2/78 30264 /proc/meminfo: memFree=1067544/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=600896 CPUtime=162.22 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 151537 0 0 0 16153 69 0 0 25 0 1 0 160554138 615317504 147082 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 150224 147082 139 317 0 149903 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 600896 [startup+222.302 s] /proc/loadavg: 1.00 1.02 1.00 2/78 30264 /proc/meminfo: memFree=1067032/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=601424 CPUtime=222.21 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 151682 0 0 0 22151 70 0 0 25 0 1 0 160554138 615858176 147227 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 150356 147227 139 317 0 150035 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 601424 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 30266 /proc/meminfo: memFree=1066200/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=602344 CPUtime=282.19 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 151928 0 0 0 28148 71 0 0 25 0 1 0 160554138 616800256 147473 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 150586 147473 170 317 0 150265 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 602344 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30266 /proc/meminfo: memFree=1065496/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=603004 CPUtime=342.17 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 152096 0 0 0 34146 71 0 0 25 0 1 0 160554138 617476096 147641 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 150751 147641 170 317 0 150430 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 603004 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30266 /proc/meminfo: memFree=1064728/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=603664 CPUtime=402.15 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 152280 0 0 0 40143 72 0 0 25 0 1 0 160554138 618151936 147825 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135194616 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 150916 147825 170 317 0 150595 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 603664 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30266 /proc/meminfo: memFree=1063896/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=604476 CPUtime=462.13 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 152489 0 0 0 46141 72 0 0 25 0 1 0 160554138 618983424 148034 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135384501 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 151119 148034 170 317 0 150798 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 604476 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30266 /proc/meminfo: memFree=1062552/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=605932 CPUtime=522.12 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 152823 0 0 0 52139 73 0 0 25 0 1 0 160554138 620474368 148368 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 151483 148368 170 317 0 151162 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 605932 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30266 /proc/meminfo: memFree=1062104/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=606312 CPUtime=582.09 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 152950 0 0 0 58136 73 0 0 25 0 1 0 160554138 620863488 148495 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135385188 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 151578 148495 170 317 0 151257 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 606312 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30266 /proc/meminfo: memFree=1060632/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=607764 CPUtime=642.08 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 153298 0 0 0 64134 74 0 0 25 0 1 0 160554138 622350336 148843 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 151941 148843 170 317 0 151620 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 607764 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30266 /proc/meminfo: memFree=1055768/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=612544 CPUtime=941.98 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 154511 0 0 0 94121 77 0 0 25 0 1 0 160554138 627245056 150056 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606886 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 153136 150056 170 317 0 152815 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 612544 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30266 /proc/meminfo: memFree=1054680/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=613684 CPUtime=1001.96 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 154775 0 0 0 100119 77 0 0 25 0 1 0 160554138 628412416 150320 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135384537 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 153421 150320 170 317 0 153100 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 613684 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30266 /proc/meminfo: memFree=1053656/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=614732 CPUtime=1061.94 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 155044 0 0 0 106116 78 0 0 25 0 1 0 160554138 629485568 150589 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 153683 150589 170 317 0 153362 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 614732 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30266 /proc/meminfo: memFree=1053016/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=615376 CPUtime=1121.92 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 155201 0 0 0 112113 79 0 0 25 0 1 0 160554138 630145024 150746 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 153844 150746 170 317 0 153523 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 615376 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30266 /proc/meminfo: memFree=1051864/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=616572 CPUtime=1181.9 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 155491 0 0 0 118111 79 0 0 25 0 1 0 160554138 631369728 151036 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 154143 151036 170 317 0 153822 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 616572 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30266 /proc/meminfo: memFree=1050712/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=617628 CPUtime=1241.89 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 155784 0 0 0 124109 80 0 0 25 0 1 0 160554138 632451072 151329 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135384524 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 154407 151329 170 317 0 154086 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 617628 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30266 /proc/meminfo: memFree=1049752/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=618564 CPUtime=1301.86 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 156006 0 0 0 130106 80 0 0 25 0 1 0 160554138 633409536 151551 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 154641 151551 170 317 0 154320 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 618564 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30266 /proc/meminfo: memFree=1048728/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=619488 CPUtime=1361.85 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 156251 0 0 0 136104 81 0 0 25 0 1 0 160554138 634355712 151796 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 154872 151796 170 317 0 154551 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 619488 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30266 /proc/meminfo: memFree=1048088/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=620144 CPUtime=1421.83 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 156402 0 0 0 142102 81 0 0 25 0 1 0 160554138 635027456 151947 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 155036 151947 170 317 0 154715 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 620144 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30266 /proc/meminfo: memFree=1046040/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=622628 CPUtime=1481.81 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 156914 0 0 0 148099 82 0 0 25 0 1 0 160554138 637571072 152459 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 155657 152459 170 317 0 155336 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 622628 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30266 /proc/meminfo: memFree=1045336/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=623296 CPUtime=1541.78 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 157093 0 0 0 154096 82 0 0 25 0 1 0 160554138 638255104 152638 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 155824 152638 170 317 0 155503 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 623296 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30266 /proc/meminfo: memFree=1043992/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=624784 CPUtime=1601.77 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 157433 0 0 0 160094 83 0 0 25 0 1 0 160554138 639778816 152978 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 156196 152978 170 317 0 155875 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 624784 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30266 /proc/meminfo: memFree=1043288/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=625572 CPUtime=1661.74 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 157622 0 0 0 166091 83 0 0 25 0 1 0 160554138 640585728 153167 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135385255 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 156393 153167 170 317 0 156072 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 625572 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30266 /proc/meminfo: memFree=1040984/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=627704 CPUtime=1721.73 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 158176 0 0 0 172089 84 0 0 25 0 1 0 160554138 642768896 153721 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 156926 153721 170 317 0 156605 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 627704 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30266 /proc/meminfo: memFree=1039576/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=629188 CPUtime=1781.71 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 158527 0 0 0 178086 85 0 0 25 0 1 0 160554138 644288512 154072 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 157297 154072 170 317 0 156976 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 629188 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30266 /proc/meminfo: memFree=1039448/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=629320 CPUtime=1800.02 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 158563 0 0 0 179917 85 0 0 25 0 1 0 160554138 644423680 154108 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135385221 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 157330 154108 170 317 0 157009 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 629320 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 30266 /proc/meminfo: memFree=1039448/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=597644 CPUtime=1800.4 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194304 158579 0 0 0 179955 85 0 0 25 0 1 0 160554138 611987456 146513 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 149411 146513 186 317 0 149090 0 Current children cumulated CPU time (s) 1800.4 Current children cumulated vsize (KiB) 597644 [startup+1801.1 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30266 /proc/meminfo: memFree=1039448/2055920 swapFree=4132104/4192956 [pid=30263] ppid=30261 vsize=0 CPUtime=1800.5 /proc/30263/stat : 30263 (oree) R 30261 30263 29519 0 -1 4194308 158579 0 0 0 179961 89 0 0 25 0 1 0 160554138 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30263/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.5 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.16 CPU time (s): 1800.57 CPU user time (s): 1799.62 CPU system time (s): 0.950855 CPU usage (%): 99.9674 Max. virtual memory (cumulated for all children) (KiB): 629320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.62 system time used= 0.950855 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 158579 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= 37441 runsolver used 2.08068 second user time and 4.47232 second system time The end
Begin job on node3 on Tue Apr 17 21:26:04 UTC 2007 IDJOB= 356844 IDBENCH= 1502 IDSOLVER= 172 FILE ID= node3/356844-1176845156 PBS_JOBID= 4590132 Free space on /tmp= 66374 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome12.opb COMMAND LINE= oree /tmp/evaluation/356844-1176845156/instance-356844-1176845156.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-356844-1176845156 -o ROOT/results/node3/solver-356844-1176845156 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356844-1176845156/instance-356844-1176845156.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 489d5377e587a4ab41c94f06db936b0a RANDOM SEED= 508378675 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node3.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.270 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.270 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: 1656440 kB Buffers: 33960 kB Cached: 289304 kB SwapCached: 23876 kB Active: 149596 kB Inactive: 205800 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1656440 kB SwapTotal: 4192956 kB SwapFree: 4132104 kB Dirty: 60872 kB Writeback: 0 kB Mapped: 30448 kB Slab: 29548 kB Committed_AS: 5186440 kB PageTables: 1780 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= 66374 MiB End job on node3 on Tue Apr 17 21:56:07 UTC 2007