Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.12 | 1800.66 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-sierra.opb |
MD5SUM | 0561d3f4e5e0de350a6eb18bc6dcbee9 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 38715 |
Total number of constraints | 3263 |
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 | 3263 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 498 |
Number of terms in the objective function | 36989 |
Biggest coefficient in the objective function | 40063152947200 |
Number of bits for the biggest coefficient in the objective function | 46 |
Sum of the numbers in the objective function | 712861332680300 |
Number of bits of the sum of numbers in the objective function | 50 |
Biggest number in a constraint | 40063152947200 |
Number of bits of the biggest number in a constraint | 46 |
Biggest sum of numbers in a constraint | 712861332680300 |
Number of bits of the biggest sum of numbers | 50 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.69/0.77 c ...done 0.69/0.77 c #vars=38715 #constraints=3792 hasObjective=yes 1.29/1.34 c res. mode=mod 1.29/1.34 c VSIDS like heuristics 1.29/1.34 c complete search running 17.39/17.49 c restart after 401 decisions 17.50/17.53 c nbDecision=500 #constraints=3934 27.29/27.32 c restart after 801 decisions 27.39/27.41 c nbDecision=1000 #constraints=4018 52.78/52.81 c nbDecision=1500 #constraints=4353 59.47/59.58 c restart after 1601 decisions 67.97/68.07 c nbDecision=2000 #constraints=4576 101.46/101.58 c nbDecision=2500 #constraints=5076 138.25/138.30 c nbDecision=3000 #constraints=5566 153.66/153.72 c restart after 3201 decisions 156.06/156.13 c nbDecision=3500 #constraints=5789 193.04/193.13 c nbDecision=4000 #constraints=6283 235.23/235.36 c nbDecision=4500 #constraints=6777 276.03/276.17 c nbDecision=5000 #constraints=7260 318.51/318.60 c nbDecision=5500 #constraints=7752 361.90/362.08 c nbDecision=6000 #constraints=8245 397.50/397.63 c restart after 6401 decisions 398.10/398.20 c nbDecision=6500 #constraints=8644 429.88/430.01 c nbDecision=7000 #constraints=8973 473.77/473.90 c nbDecision=7500 #constraints=9472 519.06/519.26 c nbDecision=8000 #constraints=9965 567.95/568.11 c nbDecision=8500 #constraints=10464 625.86/626.17 c nbDecision=9000 #constraints=10963 682.12/682.41 c nbDecision=9500 #constraints=11461 738.41/738.75 c nbDecision=10000 #constraints=11951 795.20/795.55 c nbDecision=10500 #constraints=12451 852.58/852.98 c nbDecision=11000 #constraints=12951 910.37/910.71 c nbDecision=11500 #constraints=13450 975.45/975.81 c nbDecision=12000 #constraints=13947 1039.23/1039.62 c nbDecision=12500 #constraints=14445 1076.73/1077.17 c restart after 12801 decisions 1078.03/1078.45 c nbDecision=13000 #constraints=14746 1132.31/1132.74 c nbDecision=13500 #constraints=15181 1198.00/1198.42 c nbDecision=14000 #constraints=15676 1261.98/1262.47 c nbDecision=14500 #constraints=16173 1323.97/1324.44 c nbDecision=15000 #constraints=16672 1384.25/1384.70 c nbDecision=15500 #constraints=17172 1451.73/1452.27 c nbDecision=16000 #constraints=17649 1548.31/1548.81 c nbDecision=16500 #constraints=18135 1651.78/1652.31 c nbDecision=17000 #constraints=18630 1753.87/1754.47 c nbDecision=17500 #constraints=19126 1800.05/1800.61 Received signal 15 1800.05/1800.62 1800.05/1800.62 s UNKNOWN 1800.05/1800.62 1800.05/1800.62 c user time= 1799.65 s 1800.05/1800.62 c system time= 0.427934 s 1800.05/1800.62 c wall clock time=1800.62
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node72/watcher-365460-1176994263 -o ROOT/results/node72/solver-365460-1176994263 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365460-1176994263/instance-365460-1176994263.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.85 0.97 0.99 3/77 658 /proc/meminfo: memFree=1754216/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=1468 CPUtime=0 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 175464746 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 367 161 127 317 0 46 0 [startup+0.0944099 s] /proc/loadavg: 0.85 0.97 0.99 3/77 658 /proc/meminfo: memFree=1754216/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=3956 CPUtime=0.08 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 772 0 0 0 8 0 0 0 18 0 1 0 175464746 4050944 656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710753 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 989 656 127 317 0 668 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3956 [startup+0.10141 s] /proc/loadavg: 0.85 0.97 0.99 3/77 658 /proc/meminfo: memFree=1754216/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=3440 CPUtime=0.09 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 782 0 0 0 9 0 0 0 18 0 1 0 175464746 3522560 537 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135290291 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 860 537 127 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301429 s] /proc/loadavg: 0.85 0.97 0.99 3/77 658 /proc/meminfo: memFree=1754216/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=5420 CPUtime=0.29 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 1289 0 0 0 28 1 0 0 19 0 1 0 175464746 5550080 1044 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 1355 1044 131 317 0 1034 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5420 [startup+0.701466 s] /proc/loadavg: 0.85 0.97 0.99 3/77 658 /proc/meminfo: memFree=1754216/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=13104 CPUtime=0.69 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 3217 0 0 0 67 2 0 0 22 0 1 0 175464746 13418496 2972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271349 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 3276 2972 131 317 0 2955 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13104 [startup+1.50154 s] /proc/loadavg: 0.85 0.97 0.99 2/78 659 /proc/meminfo: memFree=1736416/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=20820 CPUtime=1.49 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 5123 0 0 0 146 3 0 0 25 0 1 0 175464746 21319680 4878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 5205 4878 139 317 0 4884 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20820 [startup+3.10168 s] /proc/loadavg: 0.85 0.97 0.99 2/78 659 /proc/meminfo: memFree=1735008/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=20820 CPUtime=3.09 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 5123 0 0 0 306 3 0 0 25 0 1 0 175464746 21319680 4878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 5205 4878 139 317 0 4884 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20820 [startup+6.30198 s] /proc/loadavg: 0.86 0.97 0.99 2/78 659 /proc/meminfo: memFree=1735008/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=20820 CPUtime=6.29 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 5123 0 0 0 626 3 0 0 25 0 1 0 175464746 21319680 4878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 5205 4878 139 317 0 4884 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20820 [startup+12.7016 s] /proc/loadavg: 0.87 0.97 0.99 2/78 659 /proc/meminfo: memFree=1734888/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=21076 CPUtime=12.68 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 5172 0 0 0 1265 3 0 0 25 0 1 0 175464746 21581824 4927 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 5269 4927 139 317 0 4948 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 21076 [startup+25.5017 s] /proc/loadavg: 0.90 0.97 0.99 2/78 659 /proc/meminfo: memFree=1734568/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=21464 CPUtime=25.49 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 5285 0 0 0 2545 4 0 0 25 0 1 0 175464746 21979136 5040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 5366 5040 139 317 0 5045 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 21464 [startup+51.1011 s] /proc/loadavg: 0.93 0.97 0.99 2/78 659 /proc/meminfo: memFree=1731560/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=24596 CPUtime=51.07 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 6077 0 0 0 5103 4 0 0 25 0 1 0 175464746 25186304 5832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 6149 5832 170 317 0 5828 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 24596 [startup+102.306 s] /proc/loadavg: 0.97 0.97 0.99 2/78 659 /proc/meminfo: memFree=1724392/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=31844 CPUtime=102.27 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 7835 0 0 0 10221 6 0 0 25 0 1 0 175464746 32608256 7590 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 7961 7590 170 317 0 7640 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 31844 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 659 /proc/meminfo: memFree=1717736/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=38504 CPUtime=162.25 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 9504 0 0 0 16217 8 0 0 25 0 1 0 175464746 39428096 9259 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 9626 9259 170 317 0 9305 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 38504 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 659 /proc/meminfo: memFree=1710632/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=45884 CPUtime=222.23 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 11255 0 0 0 22214 9 0 0 25 0 1 0 175464746 46985216 11010 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 11471 11010 170 317 0 11150 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 45884 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 659 /proc/meminfo: memFree=1704680/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=51184 CPUtime=282.22 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 12741 0 0 0 28211 11 0 0 25 0 1 0 175464746 52412416 12496 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 12796 12496 170 317 0 12475 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 51184 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 659 /proc/meminfo: memFree=1698664/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=58232 CPUtime=342.21 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 14286 0 0 0 34208 13 0 0 25 0 1 0 175464746 59629568 13990 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 14558 13990 170 317 0 14237 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 58232 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 659 /proc/meminfo: memFree=1691752/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=66308 CPUtime=402.19 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 16005 0 0 0 40204 15 0 0 25 0 1 0 175464746 67899392 15709 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 16577 15709 170 317 0 16256 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 66308 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 659 /proc/meminfo: memFree=1686248/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=71304 CPUtime=462.18 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 17362 0 0 0 46202 16 0 0 25 0 1 0 175464746 73015296 17066 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 17826 17066 170 317 0 17505 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 71304 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 659 /proc/meminfo: memFree=1680808/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=76248 CPUtime=522.16 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 18721 0 0 0 52198 18 0 0 25 0 1 0 175464746 78077952 18425 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 19062 18425 170 317 0 18741 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 76248 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 659 /proc/meminfo: memFree=1676008/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=80648 CPUtime=582.14 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 19912 0 0 0 58195 19 0 0 25 0 1 0 175464746 82583552 19616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 20162 19616 170 317 0 19841 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 80648 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/84 831 /proc/meminfo: memFree=1670512/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=84384 CPUtime=642.06 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 20950 0 0 0 64185 21 0 0 25 0 1 0 175464746 86409216 20654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 21096 20654 170 317 0 20775 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 84384 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 861 /proc/meminfo: memFree=1654952/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=106088 CPUtime=821.99 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 25118 0 0 0 82174 25 0 0 25 0 1 0 175464746 108634112 24822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 26522 24822 170 317 0 26201 0 Current children cumulated CPU time (s) 821.99 Current children cumulated vsize (KiB) 106088 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 861 /proc/meminfo: memFree=1650792/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=109996 CPUtime=881.97 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 26159 0 0 0 88171 26 0 0 25 0 1 0 175464746 112635904 25863 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 27499 25863 170 317 0 27178 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 109996 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 861 /proc/meminfo: memFree=1646760/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=113784 CPUtime=941.96 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 27164 0 0 0 94169 27 0 0 25 0 1 0 175464746 116514816 26868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 28446 26868 170 317 0 28125 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 113784 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 861 /proc/meminfo: memFree=1643176/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=117180 CPUtime=1001.94 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 28082 0 0 0 100166 28 0 0 25 0 1 0 175464746 119992320 27786 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602744 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 29295 27786 170 317 0 28974 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 117180 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 861 /proc/meminfo: memFree=1638824/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=121328 CPUtime=1061.92 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 29200 0 0 0 106163 29 0 0 25 0 1 0 175464746 124239872 28804 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 30332 28804 170 317 0 30011 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 121328 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 861 /proc/meminfo: memFree=1635368/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=124592 CPUtime=1121.91 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 30108 0 0 0 112161 30 0 0 25 0 1 0 175464746 127582208 29712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 31148 29712 170 317 0 30827 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 124592 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 861 /proc/meminfo: memFree=1631720/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=128108 CPUtime=1181.9 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 31026 0 0 0 118158 32 0 0 25 0 1 0 175464746 131182592 30630 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602749 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 32027 30630 170 317 0 31706 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 128108 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 861 /proc/meminfo: memFree=1627880/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=131440 CPUtime=1241.88 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 31970 0 0 0 124155 33 0 0 25 0 1 0 175464746 134594560 31574 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 32860 31574 170 317 0 32539 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 131440 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 861 /proc/meminfo: memFree=1623912/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=135120 CPUtime=1301.87 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 32937 0 0 0 130153 34 0 0 25 0 1 0 175464746 138362880 32541 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 33780 32541 170 317 0 33459 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 135120 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 861 /proc/meminfo: memFree=1619944/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=138620 CPUtime=1361.85 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 33940 0 0 0 136150 35 0 0 25 0 1 0 175464746 141946880 33544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 34655 33544 170 317 0 34334 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 138620 [startup+1422.31 s] /proc/loadavg: 1.03 0.99 0.99 2/78 861 /proc/meminfo: memFree=1615848/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=142268 CPUtime=1421.84 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 34945 0 0 0 142148 36 0 0 25 0 1 0 175464746 145682432 34549 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 35567 34549 170 317 0 35246 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 142268 [startup+1482.3 s] /proc/loadavg: 1.05 1.00 1.00 2/78 861 /proc/meminfo: memFree=1613224/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=144736 CPUtime=1481.82 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 35602 0 0 0 148145 37 0 0 25 0 1 0 175464746 148209664 35206 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 36184 35206 170 317 0 35863 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 144736 [startup+1542.3 s] /proc/loadavg: 1.02 1.00 1.00 2/78 861 /proc/meminfo: memFree=1610664/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=147072 CPUtime=1541.81 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 36235 0 0 0 154143 38 0 0 25 0 1 0 175464746 150601728 35839 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 36768 35839 170 317 0 36447 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 147072 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 861 /proc/meminfo: memFree=1608296/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=149272 CPUtime=1601.8 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 36852 0 0 0 160141 39 0 0 25 0 1 0 175464746 152854528 36456 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 37318 36456 170 317 0 36997 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 149272 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 861 /proc/meminfo: memFree=1605800/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=151604 CPUtime=1661.78 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 37446 0 0 0 166138 40 0 0 25 0 1 0 175464746 155242496 37050 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 37901 37050 170 317 0 37580 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 151604 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 861 /proc/meminfo: memFree=1603368/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=153952 CPUtime=1721.77 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 38072 0 0 0 172136 41 0 0 25 0 1 0 175464746 157646848 37676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 38488 37676 170 317 0 38167 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 153952 [startup+1782.3 s] /proc/loadavg: 1.06 1.01 1.00 2/78 861 /proc/meminfo: memFree=1601064/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=156044 CPUtime=1781.75 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 38631 0 0 0 178133 42 0 0 25 0 1 0 175464746 159789056 38235 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718454 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 39011 38235 170 317 0 38690 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 156044 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.04 1.01 1.00 2/78 861 /proc/meminfo: memFree=1600488/2055920 swapFree=4157116/4192956 [pid=658] ppid=656 vsize=156692 CPUtime=1800.05 /proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 38790 0 0 0 179963 42 0 0 25 0 1 0 175464746 160452608 38394 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/658/statm: 39173 38394 170 317 0 38852 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 156692 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.66 CPU time (s): 1800.12 CPU user time (s): 1799.66 CPU system time (s): 0.45393 CPU usage (%): 99.9699 Max. virtual memory (cumulated for all children) (KiB): 156692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.66 system time used= 0.45393 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38806 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= 25043 runsolver used 2.06868 second user time and 4.47932 second system time The end
Begin job on node72 on Thu Apr 19 14:51:03 UTC 2007 IDJOB= 365460 IDBENCH= 2393 IDSOLVER= 172 FILE ID= node72/365460-1176994263 PBS_JOBID= 4630418 Free space on /tmp= 66404 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sierra.opb COMMAND LINE= oree /tmp/evaluation/365460-1176994263/instance-365460-1176994263.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-365460-1176994263 -o ROOT/results/node72/solver-365460-1176994263 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365460-1176994263/instance-365460-1176994263.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 0561d3f4e5e0de350a6eb18bc6dcbee9 RANDOM SEED= 515473530 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node72.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.222 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 : 5931.00 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.222 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: 1754632 kB Buffers: 30572 kB Cached: 195820 kB SwapCached: 16912 kB Active: 92092 kB Inactive: 158244 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1754632 kB SwapTotal: 4192956 kB SwapFree: 4157116 kB Dirty: 4240 kB Writeback: 0 kB Mapped: 30980 kB Slab: 36484 kB Committed_AS: 2770932 kB PageTables: 1796 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= 66404 MiB End job on node72 on Thu Apr 19 15:21:06 UTC 2007