Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.24 | 1800.88 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb |
MD5SUM | 6eba7367ef128fb0872fe815e4ef2398 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1207959552 |
Best CPU time to get the best result obtained on this benchmark | 1800.19 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1207959552 |
Optimality of the best value was proved | NO |
Number of variables | 6651 |
Total number of constraints | 721 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 331 |
Number of constraints which are nor clauses,nor cardinality constraints | 390 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 6651 |
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 | 1073741824 |
Number of bits of the biggest number in a constraint | 31 |
Biggest sum of numbers in a constraint | 26715880447 |
Number of bits of the biggest sum of numbers | 35 |
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.49/0.51 c ...done 0.49/0.51 c #vars=6651 #constraints=722 hasObjective=yes 0.49/0.56 c res. mode=mod 0.49/0.56 c VSIDS like heuristics 0.49/0.56 c complete search running 11.59/11.61 c restart after 401 decisions 12.19/12.29 c nbDecision=500 #constraints=1024 15.09/15.11 c restart after 801 decisions 16.19/16.26 c nbDecision=1000 #constraints=1424 28.28/28.37 c nbDecision=1500 #constraints=1923 31.38/31.45 c restart after 1601 decisions 34.57/34.65 c nbDecision=2000 #constraints=2327 52.27/52.33 c nbDecision=2500 #constraints=2826 56.88/56.91 c nbDecision=3000 #constraints=3326 61.37/61.45 c restart after 3201 decisions 63.77/63.88 c nbDecision=3500 #constraints=3731 81.46/81.52 c nbDecision=4000 #constraints=4230 92.56/92.63 c nbDecision=4500 #constraints=4729 111.26/111.34 c nbDecision=5000 #constraints=5229 126.35/126.42 c nbDecision=5500 #constraints=5729 138.35/138.47 c nbDecision=6000 #constraints=6228 143.35/143.40 c restart after 6401 decisions 144.25/144.37 c nbDecision=6500 #constraints=6630 158.75/158.89 c nbDecision=7000 #constraints=7128 176.44/176.55 c nbDecision=7500 #constraints=7626 182.13/182.26 c nbDecision=8000 #constraints=8126 187.83/187.96 c nbDecision=8500 #constraints=8626 192.93/193.09 c nbDecision=9000 #constraints=9126 199.73/199.80 c nbDecision=9500 #constraints=9626 205.63/205.71 c nbDecision=10000 #constraints=10126 211.43/211.51 c nbDecision=10500 #constraints=10626 216.92/217.03 c nbDecision=11000 #constraints=11126 222.72/222.85 c nbDecision=11500 #constraints=11626 228.82/228.95 c nbDecision=12000 #constraints=12126 235.62/235.73 c nbDecision=12500 #constraints=12626 242.82/242.91 c restart after 12801 decisions 249.01/249.14 c nbDecision=13000 #constraints=13032 255.31/255.48 c nbDecision=13500 #constraints=13532 273.20/273.33 c nbDecision=14000 #constraints=14031 306.40/306.55 c nbDecision=14500 #constraints=14530 313.40/313.50 c nbDecision=15000 #constraints=15030 320.30/320.46 c nbDecision=15500 #constraints=15530 328.80/328.92 c nbDecision=16000 #constraints=16030 335.69/335.84 c nbDecision=16500 #constraints=16531 343.69/343.88 c nbDecision=17000 #constraints=17030 353.09/353.22 c nbDecision=17500 #constraints=17530 359.89/360.01 c nbDecision=18000 #constraints=18030 368.78/368.92 c nbDecision=18500 #constraints=18530 376.18/376.32 c nbDecision=19000 #constraints=19030 383.78/384.00 c nbDecision=19500 #constraints=19530 391.57/391.80 c nbDecision=20000 #constraints=20030 401.07/401.28 c nbDecision=20500 #constraints=20530 414.36/414.55 c nbDecision=21000 #constraints=21030 422.06/422.23 c nbDecision=21500 #constraints=21530 431.36/431.51 c nbDecision=22000 #constraints=22030 439.36/439.56 c nbDecision=22500 #constraints=22530 448.16/448.36 c nbDecision=23000 #constraints=23030 457.36/457.53 c nbDecision=23500 #constraints=23530 467.06/467.28 c nbDecision=24000 #constraints=24030 476.95/477.15 c nbDecision=24500 #constraints=24530 486.85/487.05 c nbDecision=25000 #constraints=25030 500.74/500.97 c nbDecision=25500 #constraints=25530 504.95/505.20 c restart after 25601 decisions 517.44/517.66 c nbDecision=26000 #constraints=25931 530.83/531.10 c nbDecision=26500 #constraints=26431 541.04/541.25 c nbDecision=27000 #constraints=26931 553.03/553.25 c nbDecision=27500 #constraints=27431 563.73/563.93 c nbDecision=28000 #constraints=27931 577.02/577.29 c nbDecision=28500 #constraints=28431 588.62/588.82 c nbDecision=29000 #constraints=28931 600.22/600.42 c nbDecision=29500 #constraints=29431 609.91/610.14 c nbDecision=30000 #constraints=29931 621.71/621.99 c nbDecision=30500 #constraints=30431 633.21/633.40 c nbDecision=31000 #constraints=30931 650.70/650.97 c nbDecision=31500 #constraints=31432 664.70/664.99 c nbDecision=32000 #constraints=31931 676.70/676.95 c nbDecision=32500 #constraints=32431 687.69/687.92 c nbDecision=33000 #constraints=32931 699.98/700.28 c nbDecision=33500 #constraints=33431 712.68/712.95 c nbDecision=34000 #constraints=33931 724.68/724.99 c nbDecision=34500 #constraints=34431 737.27/737.56 c nbDecision=35000 #constraints=34931 750.48/750.70 c nbDecision=35500 #constraints=35431 767.96/768.25 c nbDecision=36000 #constraints=35931 788.66/788.90 c nbDecision=36500 #constraints=36431 815.35/815.64 c nbDecision=37000 #constraints=36932 897.03/897.32 c nbDecision=37500 #constraints=37432 998.29/998.65 c nbDecision=38000 #constraints=37932 1028.19/1028.52 c nbDecision=38500 #constraints=38431 1043.68/1044.06 c nbDecision=39000 #constraints=38931 1058.08/1058.44 c nbDecision=39500 #constraints=39431 1073.67/1074.05 c nbDecision=40000 #constraints=39931 1090.47/1090.86 c nbDecision=40500 #constraints=40431 1105.26/1105.60 c nbDecision=41000 #constraints=40931 1119.06/1119.48 c nbDecision=41500 #constraints=41431 1133.06/1133.47 c nbDecision=42000 #constraints=41931 1148.35/1148.74 c nbDecision=42500 #constraints=42431 1162.75/1163.13 c nbDecision=43000 #constraints=42931 1179.85/1180.23 c nbDecision=43500 #constraints=43431 1203.44/1203.88 c nbDecision=44000 #constraints=43931 1217.13/1217.59 c nbDecision=44500 #constraints=44431 1233.53/1233.95 c nbDecision=45000 #constraints=44931 1247.02/1247.46 c nbDecision=45500 #constraints=45431 1263.12/1263.52 c nbDecision=46000 #constraints=45931 1277.42/1277.89 c nbDecision=46500 #constraints=46431 1293.81/1294.21 c nbDecision=47000 #constraints=46931 1311.01/1311.46 c nbDecision=47500 #constraints=47431 1327.50/1327.90 c nbDecision=48000 #constraints=47931 1351.79/1352.21 c nbDecision=48500 #constraints=48431 1381.29/1381.72 c nbDecision=49000 #constraints=48931 1410.42/1410.98 c nbDecision=49500 #constraints=49432 1476.85/1477.47 c nbDecision=50000 #constraints=49932 1554.02/1554.69 c nbDecision=50500 #constraints=50432 1573.32/1573.91 c nbDecision=51000 #constraints=50931 1580.62/1581.27 c restart after 51201 decisions 1598.11/1598.75 c nbDecision=51500 #constraints=51334 1700.78/1701.47 c nbDecision=52000 #constraints=51834 1800.06/1800.71 Received signal 15 1800.06/1800.78 1800.06/1800.78 s UNKNOWN 1800.06/1800.78 1800.06/1800.78 c user time= 1799.18 s 1800.06/1800.78 c system time= 0.967852 s 1800.06/1800.78 c wall clock time=1800.79
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node5/watcher-357404-1176997066 -o ROOT/results/node5/solver-357404-1176997066 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357404-1176997066/instance-357404-1176997066.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.97 3/77 32336 /proc/meminfo: memFree=1691712/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=1468 CPUtime=0 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 175744241 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 367 162 128 317 0 46 0 [startup+0.0415781 s] /proc/loadavg: 1.00 0.99 0.97 3/77 32336 /proc/meminfo: memFree=1691712/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=2020 CPUtime=0.03 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 307 0 0 0 3 0 0 0 18 0 1 0 175744241 2068480 289 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 505 290 131 317 0 184 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2020 [startup+0.101585 s] /proc/loadavg: 1.00 0.99 0.97 3/77 32336 /proc/meminfo: memFree=1691712/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=3084 CPUtime=0.09 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 563 0 0 0 9 0 0 0 18 0 1 0 175744241 3158016 545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 771 545 131 317 0 450 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3084 [startup+0.301607 s] /proc/loadavg: 1.00 0.99 0.97 3/77 32336 /proc/meminfo: memFree=1691712/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=6604 CPUtime=0.29 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 1414 0 0 0 29 0 0 0 19 0 1 0 175744241 6762496 1396 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 1651 1396 131 317 0 1330 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6604 [startup+0.701653 s] /proc/loadavg: 1.00 0.99 0.97 3/77 32336 /proc/meminfo: memFree=1691712/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=13748 CPUtime=0.69 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 3128 0 0 0 68 1 0 0 22 0 1 0 175744241 14077952 3110 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 3437 3110 138 317 0 3116 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13748 [startup+1.50174 s] /proc/loadavg: 1.00 0.99 0.97 2/78 32337 /proc/meminfo: memFree=1679736/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=13748 CPUtime=1.49 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 3140 0 0 0 148 1 0 0 25 0 1 0 175744241 14077952 3122 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 3437 3122 139 317 0 3116 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13748 [startup+3.10192 s] /proc/loadavg: 1.00 0.99 0.97 2/78 32337 /proc/meminfo: memFree=1679608/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=14012 CPUtime=3.09 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 3206 0 0 0 308 1 0 0 25 0 1 0 175744241 14348288 3188 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 3503 3188 139 317 0 3182 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14012 [startup+6.30129 s] /proc/loadavg: 1.00 0.99 0.97 2/78 32337 /proc/meminfo: memFree=1678648/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=14796 CPUtime=6.29 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 3402 0 0 0 628 1 0 0 25 0 1 0 175744241 15151104 3384 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 3699 3384 139 317 0 3378 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14796 [startup+12.702 s] /proc/loadavg: 1.00 0.99 0.97 2/78 32337 /proc/meminfo: memFree=1676664/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=16504 CPUtime=12.69 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 3826 0 0 0 1267 2 0 0 25 0 1 0 175744241 16900096 3808 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 4126 3808 139 317 0 3805 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16504 [startup+25.5015 s] /proc/loadavg: 1.00 0.99 0.97 2/78 32337 /proc/meminfo: memFree=1669624/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=24108 CPUtime=25.49 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 5662 0 0 0 2546 3 0 0 25 0 1 0 175744241 24686592 5644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 6027 5644 139 317 0 5706 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 24108 [startup+51.1014 s] /proc/loadavg: 1.00 0.99 0.97 2/78 32337 /proc/meminfo: memFree=1661560/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=32836 CPUtime=51.07 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 7739 0 0 0 5103 4 0 0 25 0 1 0 175744241 33624064 7721 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 8242 7722 139 317 0 7921 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 32836 [startup+102.305 s] /proc/loadavg: 1.00 0.99 0.97 2/78 32337 /proc/meminfo: memFree=1642104/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=52736 CPUtime=102.26 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 12475 0 0 0 10219 7 0 0 25 0 1 0 175744241 54001664 12457 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 13184 12457 139 317 0 12863 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 52736 [startup+162.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 32337 /proc/meminfo: memFree=1623608/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=70800 CPUtime=162.25 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 17102 0 0 0 16214 11 0 0 25 0 1 0 175744241 72499200 17084 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 17700 17084 139 317 0 17379 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 70800 [startup+222.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 32337 /proc/meminfo: memFree=1584632/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=112628 CPUtime=222.22 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 26873 0 0 0 22205 17 0 0 25 0 1 0 175744241 115331072 26797 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 28157 26797 139 317 0 27836 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 112628 [startup+282.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 32337 /proc/meminfo: memFree=1563704/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=132532 CPUtime=282.21 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 32090 0 0 0 28198 23 0 0 25 0 1 0 175744241 135712768 32014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 33133 32014 139 317 0 32812 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 132532 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.97 2/78 32337 /proc/meminfo: memFree=1540216/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=155460 CPUtime=342.19 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 38075 0 0 0 34191 28 0 0 25 0 1 0 175744241 159191040 37885 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 38865 37885 139 317 0 38544 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 155460 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.97 2/78 32337 /proc/meminfo: memFree=1506168/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=198688 CPUtime=402.17 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 48770 0 0 0 40184 33 0 0 25 0 1 0 175744241 203456512 46435 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 49672 46435 139 317 0 49351 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 198688 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 32337 /proc/meminfo: memFree=1477176/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=226368 CPUtime=462.15 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 56320 0 0 0 46176 39 0 0 25 0 1 0 175744241 231800832 53655 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 56592 53655 139 317 0 56271 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 226368 [startup+522.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 32337 /proc/meminfo: memFree=1454968/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=247684 CPUtime=522.14 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 62130 0 0 0 52171 43 0 0 25 0 1 0 175744241 253628416 59201 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 61921 59201 139 317 0 61600 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 247684 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.97 2/78 32337 /proc/meminfo: memFree=1432632/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=268768 CPUtime=582.12 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 67738 0 0 0 58164 48 0 0 25 0 1 0 175744241 275218432 64743 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 67192 64743 139 317 0 66871 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 268768 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.97 2/78 32337 /proc/meminfo: memFree=1411000/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=288440 CPUtime=642.11 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 73075 0 0 0 64160 51 0 0 25 0 1 0 175744241 295362560 70080 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 72110 70080 139 317 0 71789 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 288440 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 0.99 0.97 2/78 32337 /proc/meminfo: memFree=1357496/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=362240 CPUtime=882.04 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 92537 0 0 0 88140 64 0 0 25 0 1 0 175744241 370933760 83425 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 90560 83425 139 317 0 90239 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 362240 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.97 2/78 32337 /proc/meminfo: memFree=1355000/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=364592 CPUtime=942.02 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 93237 0 0 0 94137 65 0 0 25 0 1 0 175744241 373342208 84060 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 91148 84060 139 317 0 90827 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 364592 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 32337 /proc/meminfo: memFree=1352696/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=366796 CPUtime=1001.99 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 93842 0 0 0 100134 65 0 0 25 0 1 0 175744241 375599104 84632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718667 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 91699 84632 139 317 0 91378 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 366796 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 32337 /proc/meminfo: memFree=1339384/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=378864 CPUtime=1061.97 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 97264 0 0 0 106128 69 0 0 25 0 1 0 175744241 387956736 87922 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 94716 87922 139 317 0 94395 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 378864 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 32337 /proc/meminfo: memFree=1322616/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=396212 CPUtime=1121.96 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 102094 0 0 0 112122 74 0 0 25 0 1 0 175744241 405721088 92165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 99053 92165 139 317 0 98732 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 396212 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 32337 /proc/meminfo: memFree=1305528/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=414040 CPUtime=1181.94 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 106971 0 0 0 118116 78 0 0 25 0 1 0 175744241 423976960 96484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 103510 96484 139 317 0 103189 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 414040 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 32337 /proc/meminfo: memFree=1290488/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=426928 CPUtime=1241.92 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 110690 0 0 0 124111 81 0 0 25 0 1 0 175744241 437174272 100138 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 106732 100138 139 317 0 106411 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 426928 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 32337 /proc/meminfo: memFree=1274104/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=441376 CPUtime=1301.91 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 114857 0 0 0 130106 85 0 0 25 0 1 0 175744241 451969024 104240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 110344 104240 139 317 0 110023 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 441376 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 32337 /proc/meminfo: memFree=1261112/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=453476 CPUtime=1361.9 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 118347 0 0 0 136102 88 0 0 25 0 1 0 175744241 464359424 107470 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 113369 107470 139 317 0 113048 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 453476 [startup+1422.31 s] /proc/loadavg: 1.10 1.02 0.98 2/84 32475 /proc/meminfo: memFree=1250568/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=461756 CPUtime=1421.81 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 120746 0 0 0 142091 90 0 0 25 0 1 0 175744241 472838144 109804 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 115439 109804 139 317 0 115118 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 461756 [startup+1482.3 s] /proc/loadavg: 1.04 1.01 0.98 2/78 32535 /proc/meminfo: memFree=1249464/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=463592 CPUtime=1481.75 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 121297 0 0 0 148084 91 0 0 25 0 1 0 175744241 474718208 110355 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 115898 110355 139 317 0 115577 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 463592 [startup+1542.3 s] /proc/loadavg: 1.01 1.01 0.98 2/78 32535 /proc/meminfo: memFree=1247736/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=465156 CPUtime=1541.73 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 121713 0 0 0 154081 92 0 0 25 0 1 0 175744241 476319744 110771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 116289 110771 139 317 0 115968 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 465156 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 32535 /proc/meminfo: memFree=1236792/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=475528 CPUtime=1601.71 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 124704 0 0 0 160077 94 0 0 25 0 1 0 175744241 486940672 113502 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718428 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 118882 113502 139 317 0 118561 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 475528 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 32535 /proc/meminfo: memFree=1234936/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=477376 CPUtime=1661.69 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 125174 0 0 0 166074 95 0 0 25 0 1 0 175744241 488833024 113972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 119344 113972 139 317 0 119023 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 477376 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 32535 /proc/meminfo: memFree=1233272/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=478932 CPUtime=1721.67 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 125595 0 0 0 172072 95 0 0 25 0 1 0 175744241 490426368 114393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 119733 114393 139 317 0 119412 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 478932 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 32535 /proc/meminfo: memFree=1231160/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=480756 CPUtime=1781.66 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 126142 0 0 0 178070 96 0 0 25 0 1 0 175744241 492294144 114907 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 120189 114907 139 317 0 119868 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 480756 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.98 2/78 32535 /proc/meminfo: memFree=1230520/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=481416 CPUtime=1800.06 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 126288 0 0 0 179910 96 0 0 25 0 1 0 175744241 492969984 115053 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 120354 115053 139 317 0 120033 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 481416 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 0.98 2/78 32535 /proc/meminfo: memFree=1230520/2055920 swapFree=4151632/4192956 [pid=32336] ppid=32334 vsize=433516 CPUtime=1800.16 /proc/32336/stat : 32336 (oree) R 32334 32336 31536 0 -1 4194304 126304 0 0 0 179919 97 0 0 25 0 1 0 175744241 443920384 105798 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32336/statm: 108314 105758 181 317 0 107993 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 433516 Child status: 0 Real time (s): 1800.88 CPU time (s): 1800.24 CPU user time (s): 1799.19 CPU system time (s): 1.04284 CPU usage (%): 99.9645 Max. virtual memory (cumulated for all children) (KiB): 481416 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.19 system time used= 1.04284 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 126304 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= 2980 runsolver used 2.14267 second user time and 4.40333 second system time The end
Begin job on node5 on Thu Apr 19 15:37:46 UTC 2007 IDJOB= 357404 IDBENCH= 2527 IDSOLVER= 172 FILE ID= node5/357404-1176997066 PBS_JOBID= 4630432 Free space on /tmp= 66354 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-nsrand-ipx.opb COMMAND LINE= oree /tmp/evaluation/357404-1176997066/instance-357404-1176997066.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-357404-1176997066 -o ROOT/results/node5/solver-357404-1176997066 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357404-1176997066/instance-357404-1176997066.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 6eba7367ef128fb0872fe815e4ef2398 RANDOM SEED= 151740059 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node5.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.232 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.232 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: 1692120 kB Buffers: 32020 kB Cached: 268380 kB SwapCached: 9408 kB Active: 63300 kB Inactive: 260080 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1692120 kB SwapTotal: 4192956 kB SwapFree: 4151632 kB Dirty: 3412 kB Writeback: 0 kB Mapped: 29940 kB Slab: 26004 kB Committed_AS: 8663896 kB PageTables: 1720 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= 66354 MiB End job on node5 on Thu Apr 19 16:07:49 UTC 2007