Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.14 | 1800.78 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-blp-ic98.opb |
MD5SUM | cbbc019f11b539634b02edfceafed9db |
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 | 15501 |
Total number of constraints | 763 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 627 |
Number of constraints which are nor clauses,nor cardinality constraints | 136 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 13581 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 83886080000000 |
Number of bits of the biggest number in a constraint | 47 |
Biggest sum of numbers in a constraint | 783292842349555 |
Number of bits of the biggest sum of numbers | 50 |
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.79/0.87 c ...done 0.79/0.87 c #vars=15501 #constraints=854 hasObjective=yes 0.89/0.97 c res. mode=mod 0.89/0.97 c VSIDS like heuristics 0.89/0.97 c complete search running 13.49/13.55 c restart after 401 decisions 20.29/20.37 c nbDecision=500 #constraints=991 26.09/26.17 c restart after 801 decisions 34.58/34.60 c nbDecision=1000 #constraints=1096 42.97/43.01 c nbDecision=1500 #constraints=1168 43.87/43.92 c restart after 1601 decisions 56.77/56.80 c nbDecision=2000 #constraints=1273 63.37/63.45 c nbDecision=2500 #constraints=1345 68.27/68.33 c nbDecision=3000 #constraints=1418 70.17/70.22 c restart after 3201 decisions 80.76/80.87 c nbDecision=3500 #constraints=1519 88.76/88.80 c nbDecision=4000 #constraints=1590 93.66/93.71 c nbDecision=4500 #constraints=1666 98.15/98.21 c nbDecision=5000 #constraints=1730 100.36/100.43 c nbDecision=5500 #constraints=1797 103.16/103.21 c nbDecision=6000 #constraints=1883 104.86/104.94 c restart after 6401 decisions 113.16/113.25 c nbDecision=6500 #constraints=1978 122.25/122.34 c nbDecision=7000 #constraints=2051 129.15/129.26 c nbDecision=7500 #constraints=2122 134.05/134.14 c nbDecision=8000 #constraints=2192 137.25/137.38 c nbDecision=8500 #constraints=2261 139.65/139.75 c nbDecision=9000 #constraints=2338 141.94/142.00 c nbDecision=9500 #constraints=2399 144.25/144.32 c nbDecision=10000 #constraints=2453 150.14/150.24 c nbDecision=10500 #constraints=2556 155.65/155.74 c nbDecision=11000 #constraints=2666 161.24/161.30 c nbDecision=11500 #constraints=2791 166.84/166.96 c nbDecision=12000 #constraints=2872 172.74/172.80 c nbDecision=12500 #constraints=2983 175.84/175.98 c restart after 12801 decisions 189.33/189.48 c nbDecision=13000 #constraints=3098 201.73/201.82 c nbDecision=13500 #constraints=3170 208.22/208.32 c nbDecision=14000 #constraints=3240 213.62/213.77 c nbDecision=14500 #constraints=3304 217.52/217.64 c nbDecision=15000 #constraints=3372 221.13/221.27 c nbDecision=15500 #constraints=3453 223.73/223.81 c nbDecision=16000 #constraints=3511 226.82/226.98 c nbDecision=16500 #constraints=3558 234.01/234.18 c nbDecision=17000 #constraints=3671 239.72/239.81 c nbDecision=17500 #constraints=3780 245.31/245.47 c nbDecision=18000 #constraints=3886 253.31/253.43 c nbDecision=18500 #constraints=3988 259.61/259.75 c nbDecision=19000 #constraints=4100 265.61/265.79 c nbDecision=19500 #constraints=4198 285.80/285.99 c nbDecision=20000 #constraints=4304 301.40/301.58 c nbDecision=20500 #constraints=4375 310.20/310.37 c nbDecision=21000 #constraints=4444 316.69/316.89 c nbDecision=21500 #constraints=4505 321.59/321.71 c nbDecision=22000 #constraints=4567 326.19/326.33 c nbDecision=22500 #constraints=4648 329.49/329.63 c nbDecision=23000 #constraints=4711 333.69/333.85 c nbDecision=23500 #constraints=4753 343.49/343.67 c nbDecision=24000 #constraints=4850 349.68/349.87 c nbDecision=24500 #constraints=4939 356.08/356.22 c nbDecision=25000 #constraints=5021 364.28/364.44 c nbDecision=25500 #constraints=5116 366.18/366.38 c restart after 25601 decisions 407.77/407.99 c nbDecision=26000 #constraints=5239 425.16/425.31 c nbDecision=26500 #constraints=5310 435.36/435.59 c nbDecision=27000 #constraints=5380 442.65/442.84 c nbDecision=27500 #constraints=5443 446.95/447.11 c nbDecision=28000 #constraints=5504 452.26/452.43 c nbDecision=28500 #constraints=5585 455.65/455.82 c nbDecision=29000 #constraints=5639 462.65/462.86 c nbDecision=29500 #constraints=5693 473.35/473.58 c nbDecision=30000 #constraints=5826 481.15/481.32 c nbDecision=30500 #constraints=5947 486.45/486.68 c nbDecision=31000 #constraints=6023 498.64/498.81 c nbDecision=31500 #constraints=6172 506.54/506.70 c nbDecision=32000 #constraints=6273 513.84/514.00 c nbDecision=32500 #constraints=6363 531.14/531.34 c nbDecision=33000 #constraints=6488 571.32/571.57 c nbDecision=33500 #constraints=6571 591.12/591.34 c nbDecision=34000 #constraints=6643 602.11/602.33 c nbDecision=34500 #constraints=6710 609.61/609.80 c nbDecision=35000 #constraints=6772 616.40/616.63 c nbDecision=35500 #constraints=6845 621.40/621.69 c nbDecision=36000 #constraints=6906 626.60/626.80 c nbDecision=36500 #constraints=6954 639.40/639.61 c nbDecision=37000 #constraints=7044 651.09/651.35 c nbDecision=37500 #constraints=7162 657.20/657.46 c nbDecision=38000 #constraints=7226 671.29/671.53 c nbDecision=38500 #constraints=7359 679.49/679.78 c nbDecision=39000 #constraints=7454 687.08/687.32 c nbDecision=39500 #constraints=7532 693.99/694.25 c nbDecision=40000 #constraints=7629 757.86/758.16 c nbDecision=40500 #constraints=7732 782.46/782.72 c nbDecision=41000 #constraints=7803 796.06/796.31 c nbDecision=41500 #constraints=7871 805.55/805.86 c nbDecision=42000 #constraints=7929 814.75/815.01 c nbDecision=42500 #constraints=8006 820.95/821.28 c nbDecision=43000 #constraints=8067 827.25/827.53 c nbDecision=43500 #constraints=8114 844.14/844.40 c nbDecision=44000 #constraints=8203 855.23/855.56 c nbDecision=44500 #constraints=8288 864.73/865.00 c nbDecision=45000 #constraints=8371 878.23/878.59 c nbDecision=45500 #constraints=8480 891.02/891.38 c nbDecision=46000 #constraints=8615 899.32/899.62 c nbDecision=46500 #constraints=8697 927.02/927.31 c nbDecision=47000 #constraints=8797 983.50/983.85 c nbDecision=47500 #constraints=8874 1013.09/1013.47 c nbDecision=48000 #constraints=8946 1028.88/1029.21 c nbDecision=48500 #constraints=9012 1040.78/1041.16 c nbDecision=49000 #constraints=9077 1050.28/1050.70 c nbDecision=49500 #constraints=9146 1057.88/1058.28 c nbDecision=50000 #constraints=9207 1065.28/1065.61 c nbDecision=50500 #constraints=9255 1084.42/1084.80 c nbDecision=51000 #constraints=9345 1091.41/1091.80 c restart after 51201 decisions 1161.04/1161.50 c nbDecision=51500 #constraints=9469 1206.53/1207.07 c nbDecision=52000 #constraints=9540 1228.72/1229.27 c nbDecision=52500 #constraints=9613 1244.62/1245.18 c nbDecision=53000 #constraints=9675 1253.52/1254.07 c nbDecision=53500 #constraints=9731 1265.32/1265.86 c nbDecision=54000 #constraints=9820 1272.01/1272.54 c nbDecision=54500 #constraints=9868 1281.60/1282.15 c nbDecision=55000 #constraints=9920 1304.20/1304.79 c nbDecision=55500 #constraints=10030 1311.70/1312.20 c nbDecision=56000 #constraints=10080 1326.99/1327.52 c nbDecision=56500 #constraints=10195 1341.79/1342.37 c nbDecision=57000 #constraints=10320 1350.19/1350.79 c nbDecision=57500 #constraints=10387 1361.38/1361.93 c nbDecision=58000 #constraints=10493 1453.66/1454.20 c nbDecision=58500 #constraints=10595 1487.44/1488.05 c nbDecision=59000 #constraints=10666 1508.84/1509.42 c nbDecision=59500 #constraints=10735 1522.93/1523.52 c nbDecision=60000 #constraints=10796 1535.63/1536.25 c nbDecision=60500 #constraints=10870 1544.73/1545.34 c nbDecision=61000 #constraints=10931 1553.73/1554.31 c nbDecision=61500 #constraints=10975 1575.52/1576.16 c nbDecision=62000 #constraints=11065 1591.12/1591.76 c nbDecision=62500 #constraints=11146 1603.01/1603.68 c nbDecision=63000 #constraints=11229 1620.01/1620.68 c nbDecision=63500 #constraints=11330 1633.20/1633.82 c nbDecision=64000 #constraints=11435 1649.40/1650.02 c nbDecision=64500 #constraints=11558 1701.88/1702.51 c nbDecision=65000 #constraints=11660 1769.56/1770.20 c nbDecision=65500 #constraints=11731 1800.06/1800.71 Received signal 15 1800.06/1800.71 1800.06/1800.71 s UNKNOWN 1800.06/1800.71 1800.06/1800.71 c user time= 1799.54 s 1800.06/1800.71 c system time= 0.537918 s 1800.06/1800.71 c wall clock time=1800.71
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node1/watcher-357302-1176993793 -o ROOT/results/node1/solver-357302-1176993793 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357302-1176993793/instance-357302-1176993793.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.95 0.90 2/77 4961 /proc/meminfo: memFree=1623488/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=1468 CPUtime=0 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 175417115 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 367 164 131 317 0 46 0 [startup+0.0427721 s] /proc/loadavg: 0.91 0.95 0.90 2/77 4961 /proc/meminfo: memFree=1623488/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=2472 CPUtime=0.03 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 402 0 0 0 3 0 0 0 18 0 1 0 175417115 2531328 384 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 618 384 131 317 0 297 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2472 [startup+0.101779 s] /proc/loadavg: 0.91 0.95 0.90 2/77 4961 /proc/meminfo: memFree=1623488/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=3524 CPUtime=0.09 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 624 0 0 0 9 0 0 0 18 0 1 0 175417115 3608576 606 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 881 606 131 317 0 560 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3524 [startup+0.301803 s] /proc/loadavg: 0.91 0.95 0.90 2/77 4961 /proc/meminfo: memFree=1623488/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=7268 CPUtime=0.29 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 1463 0 0 0 29 0 0 0 19 0 1 0 175417115 7442432 1445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134531119 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 1817 1445 131 317 0 1496 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7268 [startup+0.701849 s] /proc/loadavg: 0.91 0.95 0.90 2/77 4961 /proc/meminfo: memFree=1623488/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=14008 CPUtime=0.69 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 3013 0 0 0 68 1 0 0 23 0 1 0 175417115 14344192 2929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 3502 2929 131 317 0 3181 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14008 [startup+1.50194 s] /proc/loadavg: 0.91 0.95 0.90 3/78 4962 /proc/meminfo: memFree=1603896/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=22768 CPUtime=1.49 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 5134 0 0 0 147 2 0 0 25 0 1 0 175417115 23314432 5050 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270603 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 5692 5050 139 317 0 5371 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22768 [startup+3.10113 s] /proc/loadavg: 0.91 0.95 0.90 2/78 4962 /proc/meminfo: memFree=1603576/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=23080 CPUtime=3.09 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 5194 0 0 0 307 2 0 0 25 0 1 0 175417115 23633920 5110 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134558551 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 5770 5110 139 317 0 5449 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23080 [startup+6.3015 s] /proc/loadavg: 0.92 0.95 0.90 2/78 4962 /proc/meminfo: memFree=1602808/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=23752 CPUtime=6.29 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 5346 0 0 0 627 2 0 0 25 0 1 0 175417115 24322048 5262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 5938 5262 139 317 0 5617 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23752 [startup+12.7013 s] /proc/loadavg: 0.93 0.95 0.90 2/78 4962 /proc/meminfo: memFree=1601528/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=24956 CPUtime=12.68 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 5657 0 0 0 1266 2 0 0 25 0 1 0 175417115 25554944 5573 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135277158 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 6239 5573 139 317 0 5918 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 24956 [startup+25.5018 s] /proc/loadavg: 0.94 0.96 0.91 2/78 4962 /proc/meminfo: memFree=1599352/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=27152 CPUtime=25.49 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 6209 0 0 0 2546 3 0 0 25 0 1 0 175417115 27803648 6125 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 6788 6125 139 317 0 6467 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 27152 [startup+51.1017 s] /proc/loadavg: 0.96 0.96 0.91 2/78 4962 /proc/meminfo: memFree=1595320/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=31188 CPUtime=51.08 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 7230 0 0 0 5104 4 0 0 25 0 1 0 175417115 31936512 7146 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715809 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 7797 7146 139 317 0 7476 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 31188 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.91 2/78 4962 /proc/meminfo: memFree=1577848/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=48576 CPUtime=102.26 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 11561 0 0 0 10220 6 0 0 25 0 1 0 175417115 49741824 11477 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 12144 11477 139 317 0 11823 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 48576 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4962 /proc/meminfo: memFree=1552376/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=75584 CPUtime=162.24 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 17974 0 0 0 16215 9 0 0 25 0 1 0 175417115 77398016 17890 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715604 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 18896 17890 139 317 0 18575 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 75584 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4962 /proc/meminfo: memFree=1534200/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=92272 CPUtime=222.23 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 22448 0 0 0 22212 11 0 0 25 0 1 0 175417115 94486528 22364 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 23068 22364 139 317 0 22747 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 92272 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4962 /proc/meminfo: memFree=1506552/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=124208 CPUtime=282.2 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 29351 0 0 0 28206 14 0 0 25 0 1 0 175417115 127188992 29267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554570 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 31052 29267 139 317 0 30731 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 124208 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4962 /proc/meminfo: memFree=1492152/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=137996 CPUtime=342.19 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 32937 0 0 0 34203 16 0 0 25 0 1 0 175417115 141307904 32853 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 34499 32853 139 317 0 34178 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 137996 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4962 /proc/meminfo: memFree=1479928/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=149328 CPUtime=402.17 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 35988 0 0 0 40199 18 0 0 25 0 1 0 175417115 152911872 35904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713872 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 37332 35904 139 317 0 37011 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 149328 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4962 /proc/meminfo: memFree=1469304/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=159220 CPUtime=462.15 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 38654 0 0 0 46195 20 0 0 25 0 1 0 175417115 163041280 38570 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712551 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 39805 38570 139 317 0 39484 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 159220 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4962 /proc/meminfo: memFree=1446776/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=180028 CPUtime=522.14 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 44277 0 0 0 52191 23 0 0 25 0 1 0 175417115 184348672 44150 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 45007 44150 139 317 0 44686 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 180028 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4962 /proc/meminfo: memFree=1444408/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=182316 CPUtime=582.11 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 44878 0 0 0 58188 23 0 0 25 0 1 0 175417115 186691584 44751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 45579 44751 139 317 0 45258 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 182316 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4962 /proc/meminfo: memFree=1420024/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=215884 CPUtime=642.1 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 50954 0 0 0 64184 26 0 0 25 0 1 0 175417115 221065216 50827 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 53971 50827 139 317 0 53650 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 215884 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.04 0.99 0.91 2/78 4962 /proc/meminfo: memFree=1375224/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=260872 CPUtime=882.03 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 62116 0 0 0 88170 33 0 0 25 0 1 0 175417115 267132928 61989 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 65218 61989 139 317 0 64897 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 260872 [startup+942.301 s] /proc/loadavg: 1.01 0.99 0.91 2/78 4962 /proc/meminfo: memFree=1365624/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=269476 CPUtime=942.01 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 64505 0 0 0 94167 34 0 0 25 0 1 0 175417115 275943424 64378 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 67369 64378 139 317 0 67048 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 269476 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 4962 /proc/meminfo: memFree=1363576/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=271260 CPUtime=1001.99 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 65026 0 0 0 100164 35 0 0 25 0 1 0 175417115 277770240 64899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563366 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 67815 64899 139 317 0 67494 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 271260 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 4962 /proc/meminfo: memFree=1356408/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=278368 CPUtime=1061.98 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 66897 0 0 0 106161 37 0 0 25 0 1 0 175417115 285048832 66770 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 69592 66770 139 317 0 69271 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 278368 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.91 2/84 5140 /proc/meminfo: memFree=1348728/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=283748 CPUtime=1121.86 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 68414 0 0 0 112147 39 0 0 25 0 1 0 175417115 290557952 68287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0 /proc/4961/statm: 70937 68287 139 317 0 70616 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 283748 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 5160 /proc/meminfo: memFree=1348272/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=285116 CPUtime=1181.84 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 68810 0 0 0 118144 40 0 0 25 0 1 0 175417115 291958784 68683 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 71279 68683 139 317 0 70958 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 285116 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.91 3/78 5160 /proc/meminfo: memFree=1344368/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=288448 CPUtime=1241.82 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 69786 0 0 0 124141 41 0 0 25 0 1 0 175417115 295370752 69659 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718322 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 72112 69659 139 317 0 71791 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 288448 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 5160 /proc/meminfo: memFree=1334576/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=297596 CPUtime=1301.8 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 72193 0 0 0 130138 42 0 0 25 0 1 0 175417115 304738304 72066 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271382 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 74399 72066 139 317 0 74078 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 297596 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 5160 /proc/meminfo: memFree=1317872/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=312556 CPUtime=1361.78 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 76349 0 0 0 136133 45 0 0 25 0 1 0 175417115 320057344 76222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 78139 76222 139 317 0 77818 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 312556 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.91 2/78 5160 /proc/meminfo: memFree=1316848/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=313544 CPUtime=1421.77 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 76616 0 0 0 142131 46 0 0 25 0 1 0 175417115 321069056 76489 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 78386 76489 139 317 0 78065 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 313544 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.91 3/78 5160 /proc/meminfo: memFree=1315000/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=315256 CPUtime=1481.74 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 77091 0 0 0 148128 46 0 0 25 0 1 0 175417115 322822144 76964 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 78814 76964 139 317 0 78493 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 315256 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 5160 /proc/meminfo: memFree=1308536/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=320824 CPUtime=1541.73 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 78701 0 0 0 154125 48 0 0 25 0 1 0 175417115 328523776 78574 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 80206 78574 139 317 0 79885 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 320824 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 5160 /proc/meminfo: memFree=1298744/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=329736 CPUtime=1601.71 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 81189 0 0 0 160121 50 0 0 25 0 1 0 175417115 337649664 81062 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134549858 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 82434 81062 139 317 0 82113 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 329736 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 5160 /proc/meminfo: memFree=1285240/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=342280 CPUtime=1661.7 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 84538 0 0 0 166118 52 0 0 25 0 1 0 175417115 350494720 84411 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 85570 84411 139 317 0 85249 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 342280 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 5160 /proc/meminfo: memFree=1284280/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=343244 CPUtime=1721.67 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 84784 0 0 0 172115 52 0 0 25 0 1 0 175417115 351481856 84657 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 85811 84657 139 317 0 85490 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 343244 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 5160 /proc/meminfo: memFree=1282936/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=344556 CPUtime=1781.66 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 85131 0 0 0 178113 53 0 0 25 0 1 0 175417115 352825344 85004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 86139 85004 139 317 0 85818 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 344556 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 0.99 0.91 2/78 5160 /proc/meminfo: memFree=1282168/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=345360 CPUtime=1800.06 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 85322 0 0 0 179953 53 0 0 25 0 1 0 175417115 353648640 85195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 86340 85195 139 317 0 86019 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 345360 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 0.99 0.91 2/78 5160 /proc/meminfo: memFree=1282168/2055920 swapFree=4145780/4192956 [pid=4961] ppid=4959 vsize=345360 CPUtime=1800.06 /proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 85322 0 0 0 179953 53 0 0 25 0 1 0 175417115 353648640 85195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4961/statm: 86340 85195 139 317 0 86019 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 345360 Child status: 0 Real time (s): 1800.78 CPU time (s): 1800.14 CPU user time (s): 1799.55 CPU system time (s): 0.592909 CPU usage (%): 99.9645 Max. virtual memory (cumulated for all children) (KiB): 345360 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.55 system time used= 0.592909 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 85338 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= 2326 runsolver used 2.12268 second user time and 4.31034 second system time The end
Begin job on node1 on Thu Apr 19 14:43:13 UTC 2007 IDJOB= 357302 IDBENCH= 2366 IDSOLVER= 172 FILE ID= node1/357302-1176993793 PBS_JOBID= 4630451 Free space on /tmp= 66355 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/unibo/normalized-mps-v2-20-10-blp-ic98.opb COMMAND LINE= oree /tmp/evaluation/357302-1176993793/instance-357302-1176993793.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-357302-1176993793 -o ROOT/results/node1/solver-357302-1176993793 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357302-1176993793/instance-357302-1176993793.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= cbbc019f11b539634b02edfceafed9db RANDOM SEED= 894895344 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node1.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: 1623960 kB Buffers: 35496 kB Cached: 317228 kB SwapCached: 14340 kB Active: 233952 kB Inactive: 141404 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1623960 kB SwapTotal: 4192956 kB SwapFree: 4145780 kB Dirty: 3784 kB Writeback: 0 kB Mapped: 29472 kB Slab: 42144 kB Committed_AS: 5012996 kB PageTables: 1832 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= 66355 MiB End job on node1 on Thu Apr 19 15:13:16 UTC 2007