Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1802.1 | 1802.54 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-egout.opb |
MD5SUM | d6a4c3ac1d0b6ea0e8794ac4dcbcb530 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 162 |
Best CPU time to get the best result obtained on this benchmark | 1800.29 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 152 |
Optimality of the best value was proved | NO |
Number of variables | 1705 |
Total number of constraints | 98 |
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 | 98 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 420 |
Number of terms in the objective function | 1615 |
Biggest coefficient in the objective function | 18850 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 525584 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 525584 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.01/0.02 c ...done 0.01/0.02 c #vars=1705 #constraints=142 hasObjective=yes 0.01/0.04 c res. mode=mod 0.01/0.04 c VSIDS like heuristics 0.01/0.04 c complete search running 0.01/0.05 c restart after 401 decisions 0.01/0.05 c nbDecision=500 #constraints=148 0.01/0.05 c restart after 801 decisions 0.01/0.06 c nbDecision=1000 #constraints=158 0.09/0.18 c nbDecision=1500 #constraints=395 0.19/0.25 c restart after 1601 decisions 0.19/0.25 c nbDecision=2000 #constraints=502 0.49/0.52 c nbDecision=2500 #constraints=960 0.99/1.01 c nbDecision=3000 #constraints=1460 1.19/1.25 c restart after 3201 decisions 1.19/1.26 c nbDecision=3500 #constraints=1662 1.49/1.58 c nbDecision=4000 #constraints=2006 2.20/2.27 c nbDecision=4500 #constraints=2503 3.39/3.46 c nbDecision=5000 #constraints=3004 5.20/5.22 c nbDecision=5500 #constraints=3505 7.39/7.46 c nbDecision=6000 #constraints=4002 9.99/10.05 c restart after 6401 decisions 9.99/10.09 c nbDecision=6500 #constraints=4406 10.89/10.93 c nbDecision=7000 #constraints=4541 13.99/14.01 c nbDecision=7500 #constraints=5038 14.29/14.38 c nbDecision=8000 #constraints=5498 15.09/15.13 c nbDecision=8500 #constraints=5999 16.68/16.70 c nbDecision=9000 #constraints=6497 18.69/18.76 c nbDecision=9500 #constraints=6996 21.19/21.26 c nbDecision=10000 #constraints=7496 24.19/24.27 c nbDecision=10500 #constraints=7996 27.88/27.90 c nbDecision=11000 #constraints=8497 31.98/32.08 c nbDecision=11500 #constraints=8996 37.28/37.34 c nbDecision=12000 #constraints=9497 43.68/43.77 c nbDecision=12500 #constraints=9997 48.08/48.15 c restart after 12801 decisions 48.28/48.33 c nbDecision=13000 #constraints=10300 50.68/50.70 c nbDecision=13500 #constraints=10536 56.38/56.45 c nbDecision=14000 #constraints=10991 64.17/64.23 c nbDecision=14500 #constraints=11490 72.78/72.90 c nbDecision=15000 #constraints=11990 82.48/82.55 c nbDecision=15500 #constraints=12490 93.17/93.21 c nbDecision=16000 #constraints=12990 104.26/104.39 c nbDecision=16500 #constraints=13495 116.27/116.30 c nbDecision=17000 #constraints=13991 129.76/129.86 c nbDecision=17500 #constraints=14492 145.26/145.30 c nbDecision=18000 #constraints=14988 159.25/159.38 c nbDecision=18500 #constraints=15499 176.15/176.23 c nbDecision=19000 #constraints=15990 193.24/193.31 c nbDecision=19500 #constraints=16496 210.84/211.00 c nbDecision=20000 #constraints=16990 230.74/230.83 c nbDecision=20500 #constraints=17497 250.04/250.15 c nbDecision=21000 #constraints=17990 271.33/271.42 c nbDecision=21500 #constraints=18500 293.03/293.14 c nbDecision=22000 #constraints=18987 309.32/309.44 c nbDecision=22500 #constraints=19488 319.92/320.05 c nbDecision=23000 #constraints=19988 330.92/331.07 c nbDecision=23500 #constraints=20490 353.51/353.62 c nbDecision=24000 #constraints=20991 377.80/377.99 c nbDecision=24500 #constraints=21491 399.80/399.96 c nbDecision=25000 #constraints=21988 421.29/421.42 c nbDecision=25500 #constraints=22489 425.59/425.77 c restart after 25601 decisions 426.09/426.23 c nbDecision=26000 #constraints=22590 431.89/432.06 c nbDecision=26500 #constraints=23055 438.18/438.33 c nbDecision=27000 #constraints=23554 444.79/444.91 c nbDecision=27500 #constraints=24053 451.89/452.04 c nbDecision=28000 #constraints=24555 459.59/459.79 c nbDecision=28500 #constraints=25053 467.98/468.12 c nbDecision=29000 #constraints=25558 476.98/477.18 c nbDecision=29500 #constraints=26054 486.68/486.82 c nbDecision=30000 #constraints=26559 497.17/497.32 c nbDecision=30500 #constraints=27054 508.17/508.37 c nbDecision=31000 #constraints=27556 520.07/520.27 c nbDecision=31500 #constraints=28060 532.37/532.57 c nbDecision=32000 #constraints=28554 545.47/545.69 c nbDecision=32500 #constraints=29059 559.56/559.71 c nbDecision=33000 #constraints=29561 573.56/573.78 c nbDecision=33500 #constraints=30057 588.95/589.18 c nbDecision=34000 #constraints=30559 604.85/605.02 c nbDecision=34500 #constraints=31062 621.04/621.21 c nbDecision=35000 #constraints=31555 638.24/638.41 c nbDecision=35500 #constraints=32059 655.84/656.03 c nbDecision=36000 #constraints=32562 706.03/706.21 c nbDecision=36500 #constraints=33059 808.30/808.55 c nbDecision=37000 #constraints=33563 910.28/910.58 c nbDecision=37500 #constraints=34060 1014.25/1014.51 c nbDecision=38000 #constraints=34560 1120.53/1120.85 c nbDecision=38500 #constraints=35064 1227.60/1227.97 c nbDecision=39000 #constraints=35566 1334.58/1334.92 c nbDecision=39500 #constraints=36061 1444.95/1445.37 c nbDecision=40000 #constraints=36565 1556.22/1556.60 c nbDecision=40500 #constraints=37067 1667.00/1667.46 c nbDecision=41000 #constraints=37562 1784.56/1785.00 c nbDecision=41500 #constraints=38078 1800.06/1800.50 Received signal 15
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node57/watcher-357000-1176851015 -o ROOT/results/node57/solver-357000-1176851015 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357000-1176851015/instance-357000-1176851015.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.94 3/64 5965 /proc/meminfo: memFree=1599672/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=1468 CPUtime=0 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 126237486 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 367 162 127 317 0 46 0 [startup+0.017337 s] /proc/loadavg: 0.91 0.95 0.94 3/64 5965 /proc/meminfo: memFree=1599672/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=1732 CPUtime=0.01 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 248 0 0 0 1 0 0 0 18 0 1 0 126237486 1773568 230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 433 231 131 317 0 112 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1732 [startup+0.101344 s] /proc/loadavg: 0.91 0.95 0.94 3/64 5965 /proc/meminfo: memFree=1599672/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=2388 CPUtime=0.09 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 408 0 0 0 9 0 0 0 18 0 1 0 126237486 2445312 390 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593405 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 597 390 139 317 0 276 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2388 [startup+0.301361 s] /proc/loadavg: 0.91 0.95 0.94 3/64 5965 /proc/meminfo: memFree=1599672/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=3568 CPUtime=0.29 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 703 0 0 0 29 0 0 0 19 0 1 0 126237486 3653632 685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715794 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 892 685 139 317 0 571 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3568 [startup+0.701395 s] /proc/loadavg: 0.91 0.95 0.94 3/64 5965 /proc/meminfo: memFree=1599672/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=4880 CPUtime=0.69 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 1037 0 0 0 69 0 0 0 23 0 1 0 126237486 4997120 1019 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 1220 1019 139 317 0 899 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4880 [startup+1.50146 s] /proc/loadavg: 0.91 0.95 0.94 2/65 5966 /proc/meminfo: memFree=1595312/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=6856 CPUtime=1.49 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 1520 0 0 0 149 0 0 0 25 0 1 0 126237486 7020544 1502 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 1714 1502 139 317 0 1393 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6856 [startup+3.1016 s] /proc/loadavg: 0.91 0.95 0.94 2/65 5966 /proc/meminfo: memFree=1592624/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=9544 CPUtime=3.09 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 2179 0 0 0 308 1 0 0 25 0 1 0 126237486 9773056 2161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 2386 2161 139 317 0 2065 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9544 [startup+6.30188 s] /proc/loadavg: 0.92 0.95 0.94 2/65 5966 /proc/meminfo: memFree=1589168/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=12348 CPUtime=6.29 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 2831 0 0 0 627 2 0 0 25 0 1 0 126237486 12644352 2813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 3087 2813 139 317 0 2766 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12348 [startup+12.7014 s] /proc/loadavg: 0.93 0.95 0.94 2/65 5966 /proc/meminfo: memFree=1585968/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=15248 CPUtime=12.68 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 3579 0 0 0 1266 2 0 0 25 0 1 0 126237486 15613952 3561 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563781 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 3812 3561 139 317 0 3491 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 15248 [startup+25.5016 s] /proc/loadavg: 0.94 0.96 0.94 2/65 5966 /proc/meminfo: memFree=1570224/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=30844 CPUtime=25.48 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 7468 0 0 0 2542 6 0 0 25 0 1 0 126237486 31584256 7450 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 7711 7450 139 317 0 7390 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 30844 [startup+51.1018 s] /proc/loadavg: 0.96 0.96 0.94 2/65 5966 /proc/meminfo: memFree=1559344/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=42784 CPUtime=51.08 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 10239 0 0 0 5100 8 0 0 25 0 1 0 126237486 43810816 10163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 10696 10163 139 317 0 10375 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 42784 [startup+102.304 s] /proc/loadavg: 0.98 0.96 0.94 2/65 5966 /proc/meminfo: memFree=1546992/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=54852 CPUtime=102.27 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 13276 0 0 0 10216 11 0 0 25 0 1 0 126237486 56168448 13200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 13713 13200 139 317 0 13392 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 54852 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 5966 /proc/meminfo: memFree=1536816/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=67208 CPUtime=162.25 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 15839 0 0 0 16212 13 0 0 25 0 1 0 126237486 68820992 15763 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 16802 15763 139 317 0 16481 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 67208 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 5966 /proc/meminfo: memFree=1529840/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=74224 CPUtime=222.24 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 17677 0 0 0 22209 15 0 0 25 0 1 0 126237486 76005376 17487 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 18556 17487 139 317 0 18235 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 74224 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 5966 /proc/meminfo: memFree=1523952/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=79884 CPUtime=282.22 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 19159 0 0 0 28206 16 0 0 25 0 1 0 126237486 81801216 18969 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 19971 18969 139 317 0 19650 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 79884 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 5966 /proc/meminfo: memFree=1515184/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=87796 CPUtime=342.21 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 21333 0 0 0 34203 18 0 0 25 0 1 0 126237486 89903104 21143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 21949 21143 139 317 0 21628 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 87796 [startup+402.301 s] /proc/loadavg: 1.06 0.99 0.95 2/65 5966 /proc/meminfo: memFree=1509552/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=92924 CPUtime=402.2 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 22757 0 0 0 40200 20 0 0 25 0 1 0 126237486 95154176 22567 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 23231 22567 139 317 0 22910 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 92924 [startup+462.302 s] /proc/loadavg: 1.02 0.99 0.95 2/65 5966 /proc/meminfo: memFree=1500400/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=107696 CPUtime=462.18 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 26087 0 0 0 46196 22 0 0 25 0 1 0 126237486 110280704 24841 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 26924 24841 139 317 0 26603 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 107696 [startup+522.302 s] /proc/loadavg: 1.01 0.99 0.95 2/65 5966 /proc/meminfo: memFree=1493808/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=114584 CPUtime=522.17 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 27731 0 0 0 52194 23 0 0 25 0 1 0 126237486 117334016 26485 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 28646 26485 139 317 0 28325 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 114584 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.95 2/65 5966 /proc/meminfo: memFree=1488432/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=120632 CPUtime=582.16 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 29071 0 0 0 58191 25 0 0 25 0 1 0 126237486 123527168 27825 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 30158 27825 139 317 0 29837 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 120632 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.95 2/65 5966 /proc/meminfo: memFree=1484336/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=124392 CPUtime=642.14 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 30069 0 0 0 64189 25 0 0 25 0 1 0 126237486 127377408 28823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 31098 28823 139 317 0 30777 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 124392 ################ # More data... # ################ /proc/meminfo: memFree=1465520/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=143724 CPUtime=1062.04 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 35019 0 0 0 106175 29 0 0 25 0 1 0 126237486 147173376 33514 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 35931 33514 139 317 0 35610 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 143724 [startup+1122.3 s] /proc/loadavg: 1.04 1.00 0.95 2/65 5966 /proc/meminfo: memFree=1463216/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=145964 CPUtime=1122.03 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 35575 0 0 0 112173 30 0 0 25 0 1 0 126237486 149467136 34070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 36491 34070 139 317 0 36170 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 145964 [startup+1182.3 s] /proc/loadavg: 1.01 1.00 0.95 2/65 5966 /proc/meminfo: memFree=1460400/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=148868 CPUtime=1182 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 36296 0 0 0 118170 30 0 0 25 0 1 0 126237486 152440832 34791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 37217 34791 139 317 0 36896 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 148868 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 5966 /proc/meminfo: memFree=1457968/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=151076 CPUtime=1242 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 36885 0 0 0 124169 31 0 0 25 0 1 0 126237486 154701824 35380 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 37769 35380 139 317 0 37448 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 151076 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 5966 /proc/meminfo: memFree=1455600/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=153336 CPUtime=1301.98 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 37466 0 0 0 130167 31 0 0 25 0 1 0 126237486 157016064 35961 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 38334 35961 139 317 0 38013 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 153336 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 5966 /proc/meminfo: memFree=1453104/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=155908 CPUtime=1361.97 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 38081 0 0 0 136165 32 0 0 25 0 1 0 126237486 159649792 36576 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711114 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 38977 36576 139 317 0 38656 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 155908 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.95 2/65 5966 /proc/meminfo: memFree=1450864/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=157976 CPUtime=1421.95 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 38638 0 0 0 142163 32 0 0 25 0 1 0 126237486 161767424 37133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604259 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 39494 37133 139 317 0 39173 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 157976 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 5968 /proc/meminfo: memFree=1447280/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=163232 CPUtime=1481.94 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 39531 0 0 0 148161 33 0 0 25 0 1 0 126237486 167149568 38026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 40808 38026 139 317 0 40487 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 163232 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 5968 /proc/meminfo: memFree=1444912/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=165332 CPUtime=1541.92 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 40108 0 0 0 154159 33 0 0 25 0 1 0 126237486 169299968 38603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 41333 38603 139 317 0 41012 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 165332 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 5968 /proc/meminfo: memFree=1442672/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=167540 CPUtime=1601.9 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 40674 0 0 0 160157 33 0 0 25 0 1 0 126237486 171560960 39169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 41885 39169 139 317 0 41564 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 167540 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 5968 /proc/meminfo: memFree=1440496/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=169572 CPUtime=1661.9 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 41206 0 0 0 166156 34 0 0 25 0 1 0 126237486 173641728 39701 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 42393 39701 139 317 0 42072 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 169572 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 5968 /proc/meminfo: memFree=1437360/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=173192 CPUtime=1721.88 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 42001 0 0 0 172154 34 0 0 25 0 1 0 126237486 177348608 40496 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 43298 40496 139 317 0 42977 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 173192 [startup+1782.3 s] /proc/loadavg: 1.07 1.02 0.96 2/65 5968 /proc/meminfo: memFree=1435248/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=175404 CPUtime=1781.86 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 42545 0 0 0 178152 34 0 0 25 0 1 0 126237486 179613696 41007 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 43851 41007 139 317 0 43530 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 175404 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.05 1.01 0.96 2/65 5968 /proc/meminfo: memFree=1434544/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=176168 CPUtime=1800.06 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 42786 0 0 0 179972 34 0 0 25 0 1 0 126237486 180396032 41182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 44042 41182 139 317 0 43721 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 176168 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.05 1.01 0.96 2/66 5969 /proc/meminfo: memFree=1434536/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=176556 CPUtime=1800.96 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 42864 0 0 0 180062 34 0 0 25 0 1 0 126237486 180793344 41194 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711049 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 44139 41194 139 317 0 43818 0 Current children cumulated CPU time (s) 1800.96 Current children cumulated vsize (KiB) 176556 [startup+1802.2 s] /proc/loadavg: 1.05 1.01 0.96 2/66 5969 /proc/meminfo: memFree=1434344/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=176816 CPUtime=1801.76 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 42898 0 0 0 180142 34 0 0 25 0 1 0 126237486 181059584 41228 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604263 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 44204 41228 139 317 0 43883 0 Current children cumulated CPU time (s) 1801.76 Current children cumulated vsize (KiB) 176816 [startup+1802.4 s] /proc/loadavg: 1.05 1.01 0.96 2/66 5969 /proc/meminfo: memFree=1434344/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=176944 CPUtime=1801.97 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 42932 0 0 0 180162 35 0 0 25 0 1 0 126237486 181190656 41229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 44236 41229 139 317 0 43915 0 Current children cumulated CPU time (s) 1801.97 Current children cumulated vsize (KiB) 176944 [startup+1802.5 s] /proc/loadavg: 1.05 1.01 0.96 2/66 5969 /proc/meminfo: memFree=1434344/2055920 swapFree=4174180/4192956 [pid=5965] ppid=5963 vsize=177072 CPUtime=1802.07 /proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 42971 0 0 0 180172 35 0 0 25 0 1 0 126237486 181321728 41235 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5965/statm: 44268 41235 139 317 0 43947 0 Current children cumulated CPU time (s) 1802.07 Current children cumulated vsize (KiB) 177072 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.54 CPU time (s): 1802.1 CPU user time (s): 1801.73 CPU system time (s): 0.375942 CPU usage (%): 99.9761 Max. virtual memory (cumulated for all children) (KiB): 177072 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1801.73 system time used= 0.375942 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42971 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= 1003 runsolver used 1.3058 second user time and 3.64345 second system time The end
Begin job on node57 on Tue Apr 17 23:03:35 UTC 2007 IDJOB= 357000 IDBENCH= 1761 IDSOLVER= 172 FILE ID= node57/357000-1176851015 PBS_JOBID= 4590226 Free space on /tmp= 66511 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-egout.opb COMMAND LINE= oree /tmp/evaluation/357000-1176851015/instance-357000-1176851015.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node57/watcher-357000-1176851015 -o ROOT/results/node57/solver-357000-1176851015 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357000-1176851015/instance-357000-1176851015.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= d6a4c3ac1d0b6ea0e8794ac4dcbcb530 RANDOM SEED= 599464442 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node57.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.239 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.239 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: 1600016 kB Buffers: 26460 kB Cached: 368828 kB SwapCached: 13052 kB Active: 303384 kB Inactive: 110872 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1600016 kB SwapTotal: 4192956 kB SwapFree: 4174180 kB Dirty: 1364 kB Writeback: 0 kB Mapped: 15468 kB Slab: 27700 kB Committed_AS: 838088 kB PageTables: 1408 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= 66511 MiB End job on node57 on Tue Apr 17 23:33:38 UTC 2007