Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.11 | 1800.78 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mas76.opb |
MD5SUM | 1a1687e6de95bc6822d45f4331f81d44 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 209715197291 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 143487941105 |
Optimality of the best value was proved | NO |
Number of variables | 240 |
Total number of constraints | 13 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 12 |
Minimum length of a constraint | 90 |
Maximum length of a constraint | 239 |
Number of terms in the objective function | 240 |
Biggest coefficient in the objective function | 1934281311383406679529881600000 |
Number of bits for the biggest coefficient in the objective function | 101 |
Sum of the numbers in the objective function | 3868562622766813359059763201675 |
Number of bits of the sum of numbers in the objective function | 102 |
Biggest number in a constraint | 1208925819614629174706176000000000 |
Number of bits of the biggest number in a constraint | 110 |
Biggest sum of numbers in a constraint | 2417851639229258350907097073774043 |
Number of bits of the biggest sum of numbers | 111 |
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.00/0.01 c ...done 0.00/0.01 c #vars=240 #constraints=14 hasObjective=yes 0.00/0.01 c res. mode=mod 0.00/0.01 c VSIDS like heuristics 0.00/0.01 c complete search running 0.69/0.76 c restart after 401 decisions 0.69/0.77 c nbDecision=500 #constraints=252 1.49/1.57 c restart after 801 decisions 1.69/1.72 c nbDecision=1000 #constraints=526 3.59/3.67 c nbDecision=1500 #constraints=1019 4.09/4.13 c restart after 1601 decisions 5.29/5.33 c nbDecision=2000 #constraints=1353 8.39/8.48 c nbDecision=2500 #constraints=1842 12.49/12.51 c nbDecision=3000 #constraints=2312 14.18/14.27 c restart after 3201 decisions 15.89/15.91 c nbDecision=3500 #constraints=2640 21.39/21.41 c nbDecision=4000 #constraints=3136 27.28/27.35 c nbDecision=4500 #constraints=3635 34.58/34.67 c nbDecision=5000 #constraints=4130 43.17/43.23 c nbDecision=5500 #constraints=4624 51.87/51.96 c nbDecision=6000 #constraints=5112 59.77/59.88 c restart after 6401 decisions 60.67/60.71 c nbDecision=6500 #constraints=5475 69.87/69.96 c nbDecision=7000 #constraints=5869 80.66/80.71 c nbDecision=7500 #constraints=6331 93.86/93.93 c nbDecision=8000 #constraints=6775 108.25/108.32 c nbDecision=8500 #constraints=7222 122.05/122.12 c nbDecision=9000 #constraints=7695 138.73/138.86 c nbDecision=9500 #constraints=8147 154.53/154.68 c nbDecision=10000 #constraints=8619 169.53/169.62 c nbDecision=10500 #constraints=9103 185.63/185.75 c nbDecision=11000 #constraints=9598 200.71/200.85 c nbDecision=11500 #constraints=10094 217.61/217.77 c nbDecision=12000 #constraints=10591 236.00/236.12 c nbDecision=12500 #constraints=11085 247.60/247.74 c restart after 12801 decisions 251.30/251.45 c nbDecision=13000 #constraints=11415 269.40/269.51 c nbDecision=13500 #constraints=11914 289.19/289.38 c nbDecision=14000 #constraints=12402 312.28/312.42 c nbDecision=14500 #constraints=12902 333.47/333.64 c nbDecision=15000 #constraints=13401 356.26/356.44 c nbDecision=15500 #constraints=13899 382.45/382.66 c nbDecision=16000 #constraints=14402 405.74/405.94 c nbDecision=16500 #constraints=14900 432.33/432.59 c nbDecision=17000 #constraints=15399 458.43/458.65 c nbDecision=17500 #constraints=15898 482.62/482.88 c nbDecision=18000 #constraints=16399 513.40/513.67 c nbDecision=18500 #constraints=16898 541.59/541.88 c nbDecision=19000 #constraints=17399 570.98/571.28 c nbDecision=19500 #constraints=17899 602.77/603.06 c nbDecision=20000 #constraints=18398 631.76/632.09 c nbDecision=20500 #constraints=18898 659.14/659.42 c nbDecision=21000 #constraints=19398 688.84/689.14 c nbDecision=21500 #constraints=19901 726.43/726.80 c nbDecision=22000 #constraints=20398 760.21/760.52 c nbDecision=22500 #constraints=20898 796.60/796.98 c nbDecision=23000 #constraints=21398 836.78/837.19 c nbDecision=23500 #constraints=21896 873.77/874.11 c nbDecision=24000 #constraints=22398 911.25/911.67 c nbDecision=24500 #constraints=22896 951.74/952.10 c nbDecision=25000 #constraints=23391 991.93/992.35 c nbDecision=25500 #constraints=23892 999.92/1000.33 c restart after 25601 decisions 1022.92/1023.36 c nbDecision=26000 #constraints=24231 1063.89/1064.33 c nbDecision=26500 #constraints=24729 1105.48/1105.92 c nbDecision=27000 #constraints=25230 1143.47/1144.00 c nbDecision=27500 #constraints=25729 1183.95/1184.47 c nbDecision=28000 #constraints=26230 1234.24/1234.72 c nbDecision=28500 #constraints=26729 1278.82/1279.37 c nbDecision=29000 #constraints=27231 1322.60/1323.12 c nbDecision=29500 #constraints=27730 1370.48/1371.04 c nbDecision=30000 #constraints=28229 1417.27/1417.87 c nbDecision=30500 #constraints=28725 1463.65/1464.20 c nbDecision=31000 #constraints=29228 1507.13/1507.70 c nbDecision=31500 #constraints=29728 1557.92/1558.59 c nbDecision=32000 #constraints=30230 1612.59/1613.26 c nbDecision=32500 #constraints=30728 1663.28/1663.91 c nbDecision=33000 #constraints=31228 1714.66/1715.31 c nbDecision=33500 #constraints=31728 1769.04/1769.73 c nbDecision=34000 #constraints=32180 1800.03/1800.70 Received signal 15 1800.03/1800.71 1800.03/1800.71 s UNKNOWN 1800.03/1800.71 1800.03/1800.71 c user time= 1799.33 s 1800.03/1800.71 c system time= 0.727889 s 1800.03/1800.71 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/node42/watcher-357389-1176996476 -o ROOT/results/node42/solver-357389-1176996476 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357389-1176996476/instance-357389-1176996476.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 0.99 0.98 3/77 8299 /proc/meminfo: memFree=1535528/2055920 swapFree=4134572/4192956 [pid=8299] ppid=8297 vsize=1468 CPUtime=0 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 175 0 0 0 0 0 0 0 18 0 1 0 147559474 1503232 157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715285 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 367 157 131 317 0 46 0 [startup+0.0966431 s] /proc/loadavg: 1.00 0.99 0.98 3/77 8299 /proc/meminfo: memFree=1535528/2055920 swapFree=4134572/4192956 [pid=8299] ppid=8297 vsize=1868 CPUtime=0.09 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 275 0 0 0 9 0 0 0 18 0 1 0 147559474 1912832 257 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713905 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 467 257 139 317 0 146 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1868 [startup+0.102644 s] /proc/loadavg: 1.00 0.99 0.98 3/77 8299 /proc/meminfo: memFree=1535528/2055920 swapFree=4134572/4192956 [pid=8299] ppid=8297 vsize=1868 CPUtime=0.09 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 292 0 0 0 9 0 0 0 18 0 1 0 147559474 1912832 274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272561 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 467 274 139 317 0 146 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1868 [startup+0.302682 s] /proc/loadavg: 1.00 0.99 0.98 3/77 8299 /proc/meminfo: memFree=1535528/2055920 swapFree=4134572/4192956 [pid=8299] ppid=8297 vsize=2524 CPUtime=0.29 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 448 0 0 0 29 0 0 0 19 0 1 0 147559474 2584576 430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 631 430 139 317 0 310 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2524 [startup+0.701758 s] /proc/loadavg: 1.00 0.99 0.98 3/77 8299 /proc/meminfo: memFree=1535528/2055920 swapFree=4134572/4192956 [pid=8299] ppid=8297 vsize=3824 CPUtime=0.69 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 764 0 0 0 69 0 0 0 22 0 1 0 147559474 3915776 746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134717261 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 956 746 139 317 0 635 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3824 [startup+1.50191 s] /proc/loadavg: 1.00 0.99 0.98 3/78 8300 /proc/meminfo: memFree=1531872/2055920 swapFree=4134572/4192956 [pid=8299] ppid=8297 vsize=6196 CPUtime=1.49 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 1397 0 0 0 149 0 0 0 25 0 1 0 147559474 6344704 1379 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 1549 1379 170 317 0 1228 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6196 [startup+3.10122 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8300 /proc/meminfo: memFree=1528288/2055920 swapFree=4134572/4192956 [pid=8299] ppid=8297 vsize=10556 CPUtime=3.08 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 2479 0 0 0 308 0 0 0 25 0 1 0 147559474 10809344 2461 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 2639 2461 170 317 0 2318 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 10556 [startup+6.30182 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8300 /proc/meminfo: memFree=1520928/2055920 swapFree=4134572/4192956 [pid=8299] ppid=8297 vsize=17592 CPUtime=6.29 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 4224 0 0 0 627 2 0 0 25 0 1 0 147559474 18014208 4206 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 4398 4206 170 317 0 4077 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17592 [startup+12.701 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8300 /proc/meminfo: memFree=1510696/2055920 swapFree=4134572/4192956 [pid=8299] ppid=8297 vsize=27336 CPUtime=12.68 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 6458 0 0 0 1265 3 0 0 25 0 1 0 147559474 27992064 6440 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718425 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 6834 6440 170 317 0 6513 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 27336 [startup+25.5015 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8300 /proc/meminfo: memFree=1499752/2055920 swapFree=4134572/4192956 [pid=8299] ppid=8297 vsize=37132 CPUtime=25.48 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 9108 0 0 0 2543 5 0 0 25 0 1 0 147559474 38023168 9090 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 9283 9090 170 317 0 8962 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 37132 [startup+51.1023 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8300 /proc/meminfo: memFree=1482856/2055920 swapFree=4134628/4192956 [pid=8299] ppid=8297 vsize=56328 CPUtime=51.07 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 13339 0 0 0 5098 9 0 0 25 0 1 0 147559474 57679872 13321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 14082 13321 170 317 0 13761 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 56328 [startup+102.305 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8300 /proc/meminfo: memFree=1464424/2055920 swapFree=4134628/4192956 [pid=8299] ppid=8297 vsize=73108 CPUtime=102.25 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 17880 0 0 0 10212 13 0 0 25 0 1 0 147559474 74862592 17862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 18277 17862 170 317 0 17956 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 73108 [startup+162.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8300 /proc/meminfo: memFree=1442280/2055920 swapFree=4134628/4192956 [pid=8299] ppid=8297 vsize=100944 CPUtime=162.23 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 23489 0 0 0 16207 16 0 0 25 0 1 0 147559474 103366656 23414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 25236 23414 170 317 0 24915 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 100944 [startup+222.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8300 /proc/meminfo: memFree=1425192/2055920 swapFree=4134628/4192956 [pid=8299] ppid=8297 vsize=116900 CPUtime=222.21 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 27711 0 0 0 22201 20 0 0 25 0 1 0 147559474 119705600 27636 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 29225 27636 170 317 0 28904 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 116900 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8300 /proc/meminfo: memFree=1411240/2055920 swapFree=4134688/4192956 [pid=8299] ppid=8297 vsize=130172 CPUtime=282.18 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 31222 0 0 0 28196 22 0 0 25 0 1 0 147559474 133296128 31147 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 32543 31147 170 317 0 32222 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 130172 [startup+342.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8300 /proc/meminfo: memFree=1398504/2055920 swapFree=4134736/4192956 [pid=8299] ppid=8297 vsize=141524 CPUtime=342.16 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 34383 0 0 0 34191 25 0 0 25 0 1 0 147559474 144920576 34308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 35381 34308 170 317 0 35060 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 141524 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.98 3/78 8300 /proc/meminfo: memFree=1387112/2055920 swapFree=4134736/4192956 [pid=8299] ppid=8297 vsize=152080 CPUtime=402.14 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 37242 0 0 0 40186 28 0 0 25 0 1 0 147559474 155729920 37167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 38020 37167 170 317 0 37699 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 152080 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8300 /proc/meminfo: memFree=1375976/2055920 swapFree=4134736/4192956 [pid=8299] ppid=8297 vsize=161956 CPUtime=462.12 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 39975 0 0 0 46182 30 0 0 25 0 1 0 147559474 165842944 39900 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 40489 39900 170 317 0 40168 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 161956 [startup+522.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8300 /proc/meminfo: memFree=1360872/2055920 swapFree=4134796/4192956 [pid=8299] ppid=8297 vsize=194444 CPUtime=522.1 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 46860 0 0 0 52176 34 0 0 25 0 1 0 147559474 199110656 43669 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 48611 43669 170 317 0 48290 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 194444 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8300 /proc/meminfo: memFree=1351080/2055920 swapFree=4134856/4192956 [pid=8299] ppid=8297 vsize=204024 CPUtime=582.07 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 49480 0 0 0 58172 35 0 0 25 0 1 0 147559474 208920576 46091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712497 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 51006 46091 170 317 0 50685 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 204024 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8300 /proc/meminfo: memFree=1341224/2055920 swapFree=4134856/4192956 [pid=8299] ppid=8297 vsize=212768 CPUtime=642.06 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 51976 0 0 0 64168 38 0 0 25 0 1 0 147559474 217874432 48587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 53192 48587 170 317 0 52871 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 212768 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 8302 /proc/meminfo: memFree=1308520/2055920 swapFree=4134976/4192956 [pid=8299] ppid=8297 vsize=242336 CPUtime=881.97 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 60326 0 0 0 88149 48 0 0 25 0 1 0 147559474 248152064 56706 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 60584 56706 170 317 0 60263 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 242336 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 8302 /proc/meminfo: memFree=1300904/2055920 swapFree=4135036/4192956 [pid=8299] ppid=8297 vsize=249028 CPUtime=941.94 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 62313 0 0 0 94145 49 0 0 25 0 1 0 147559474 255004672 58627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 62257 58627 170 317 0 61936 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 249028 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 8302 /proc/meminfo: memFree=1294312/2055920 swapFree=4135036/4192956 [pid=8299] ppid=8297 vsize=255076 CPUtime=1001.92 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 64001 0 0 0 100141 51 0 0 25 0 1 0 147559474 261197824 60282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718425 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 63769 60282 170 317 0 63448 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 255076 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 8302 /proc/meminfo: memFree=1287144/2055920 swapFree=4135036/4192956 [pid=8299] ppid=8297 vsize=260996 CPUtime=1061.9 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 65796 0 0 0 106138 52 0 0 25 0 1 0 147559474 267259904 62077 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 65249 62077 170 317 0 64928 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 260996 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 8302 /proc/meminfo: memFree=1280424/2055920 swapFree=4135092/4192956 [pid=8299] ppid=8297 vsize=267296 CPUtime=1121.88 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 67578 0 0 0 112134 54 0 0 25 0 1 0 147559474 273711104 63760 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 66824 63760 170 317 0 66503 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 267296 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 8302 /proc/meminfo: memFree=1272616/2055920 swapFree=4135092/4192956 [pid=8299] ppid=8297 vsize=274008 CPUtime=1181.86 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 69555 0 0 0 118130 56 0 0 25 0 1 0 147559474 280584192 65704 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 68502 65704 170 317 0 68181 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 274008 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 8302 /proc/meminfo: memFree=1266792/2055920 swapFree=4135092/4192956 [pid=8299] ppid=8297 vsize=279264 CPUtime=1241.83 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 71055 0 0 0 124126 57 0 0 25 0 1 0 147559474 285966336 67138 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 69816 67138 170 317 0 69495 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 279264 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 8302 /proc/meminfo: memFree=1260264/2055920 swapFree=4135148/4192956 [pid=8299] ppid=8297 vsize=284924 CPUtime=1301.81 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 72653 0 0 0 130123 58 0 0 25 0 1 0 147559474 291762176 68736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 71231 68736 170 317 0 70910 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 284924 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 8302 /proc/meminfo: memFree=1254248/2055920 swapFree=4135148/4192956 [pid=8299] ppid=8297 vsize=290180 CPUtime=1361.79 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 74158 0 0 0 136119 60 0 0 25 0 1 0 147559474 297144320 70241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 72545 70241 170 317 0 72224 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 290180 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/78 8302 /proc/meminfo: memFree=1247720/2055920 swapFree=4135148/4192956 [pid=8299] ppid=8297 vsize=295428 CPUtime=1421.77 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 75774 0 0 0 142115 62 0 0 25 0 1 0 147559474 302518272 71857 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 73857 71857 170 317 0 73536 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 295428 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 8302 /proc/meminfo: memFree=1241448/2055920 swapFree=4135204/4192956 [pid=8299] ppid=8297 vsize=301340 CPUtime=1481.74 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 77421 0 0 0 148111 63 0 0 25 0 1 0 147559474 308572160 73438 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 75335 73438 170 317 0 75014 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 301340 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 8302 /proc/meminfo: memFree=1235176/2055920 swapFree=4135204/4192956 [pid=8299] ppid=8297 vsize=306972 CPUtime=1541.72 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 79020 0 0 0 154107 65 0 0 25 0 1 0 147559474 314339328 74971 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718425 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 76743 74971 170 317 0 76422 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 306972 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 8302 /proc/meminfo: memFree=1230440/2055920 swapFree=4135264/4192956 [pid=8299] ppid=8297 vsize=311164 CPUtime=1601.7 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 80245 0 0 0 160103 67 0 0 25 0 1 0 147559474 318631936 76196 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 77791 76196 170 317 0 77470 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 311164 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 8302 /proc/meminfo: memFree=1224680/2055920 swapFree=4135264/4192956 [pid=8299] ppid=8297 vsize=316280 CPUtime=1661.68 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 81690 0 0 0 166099 69 0 0 25 0 1 0 147559474 323870720 77608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 79070 77608 170 317 0 78749 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 316280 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 8302 /proc/meminfo: memFree=1218728/2055920 swapFree=4135264/4192956 [pid=8299] ppid=8297 vsize=321276 CPUtime=1721.65 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 83222 0 0 0 172095 70 0 0 25 0 1 0 147559474 328986624 79107 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 80319 79107 170 317 0 79998 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 321276 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 8302 /proc/meminfo: memFree=1213992/2055920 swapFree=4135320/4192956 [pid=8299] ppid=8297 vsize=325212 CPUtime=1781.64 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 84406 0 0 0 178092 72 0 0 25 0 1 0 147559474 333017088 80291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 81303 80291 170 317 0 80982 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 325212 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.99 2/78 8302 /proc/meminfo: memFree=1212456/2055920 swapFree=4135320/4192956 [pid=8299] ppid=8297 vsize=326788 CPUtime=1800.03 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 84805 0 0 0 179931 72 0 0 25 0 1 0 147559474 334630912 80657 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 81697 80657 170 317 0 81376 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 326788 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 1.00 0.99 2/78 8302 /proc/meminfo: memFree=1212456/2055920 swapFree=4135320/4192956 [pid=8299] ppid=8297 vsize=326788 CPUtime=1800.03 /proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 84805 0 0 0 179931 72 0 0 25 0 1 0 147559474 334630912 80657 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8299/statm: 81697 80657 170 317 0 81376 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 326788 Child status: 0 Real time (s): 1800.78 CPU time (s): 1800.11 CPU user time (s): 1799.33 CPU system time (s): 0.778881 CPU usage (%): 99.9631 Max. virtual memory (cumulated for all children) (KiB): 326788 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.33 system time used= 0.778881 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 84821 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= 2504 runsolver used 1.9587 second user time and 4.6063 second system time The end
Begin job on node42 on Thu Apr 19 15:27:56 UTC 2007 IDJOB= 357389 IDBENCH= 2510 IDSOLVER= 172 FILE ID= node42/357389-1176996476 PBS_JOBID= 4630465 Free space on /tmp= 66448 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mas76.opb COMMAND LINE= oree /tmp/evaluation/357389-1176996476/instance-357389-1176996476.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-357389-1176996476 -o ROOT/results/node42/solver-357389-1176996476 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357389-1176996476/instance-357389-1176996476.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 1a1687e6de95bc6822d45f4331f81d44 RANDOM SEED= 356242518 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node42.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.277 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.277 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: 1536000 kB Buffers: 36800 kB Cached: 394156 kB SwapCached: 18184 kB Active: 98752 kB Inactive: 364080 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1536000 kB SwapTotal: 4192956 kB SwapFree: 4134572 kB Dirty: 1388 kB Writeback: 0 kB Mapped: 39040 kB Slab: 42460 kB Committed_AS: 2994880 kB PageTables: 1912 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= 66448 MiB End job on node42 on Thu Apr 19 15:57:59 UTC 2007