Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.16 | 1800.74 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-adlittle.opb |
MD5SUM | 952cd1c498d347dda37d376c7740481e |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 2910 |
Total number of constraints | 56 |
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 | 56 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 810 |
Number of terms in the objective function | 2460 |
Biggest coefficient in the objective function | 88852135936000 |
Number of bits for the biggest coefficient in the objective function | 47 |
Sum of the numbers in the objective function | 3689448844530141 |
Number of bits of the sum of numbers in the objective function | 52 |
Biggest number in a constraint | 359703511040000 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 6054438712178314 |
Number of bits of the biggest sum of numbers | 53 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.00/0.05 c ...done 0.00/0.05 c #vars=2910 #constraints=72 hasObjective=yes 0.00/0.08 c res. mode=mod 0.00/0.08 c VSIDS like heuristics 0.00/0.08 c complete search running 0.09/0.15 c restart after 401 decisions 0.09/0.16 c nbDecision=500 #constraints=143 0.29/0.30 c restart after 801 decisions 0.29/0.32 c nbDecision=1000 #constraints=232 0.29/0.38 c nbDecision=1500 #constraints=280 0.29/0.39 c restart after 1601 decisions 0.49/0.51 c nbDecision=2000 #constraints=341 0.49/0.56 c nbDecision=2500 #constraints=366 4.59/4.60 c nbDecision=3000 #constraints=773 7.19/7.28 c restart after 3201 decisions 7.29/7.37 c nbDecision=3500 #constraints=1017 7.39/7.43 c nbDecision=4000 #constraints=1056 9.29/9.38 c nbDecision=4500 #constraints=1244 17.58/17.60 c nbDecision=5000 #constraints=1746 27.18/27.26 c nbDecision=5500 #constraints=2245 38.78/38.87 c nbDecision=6000 #constraints=2744 49.48/49.57 c restart after 6401 decisions 49.88/49.90 c nbDecision=6500 #constraints=3149 50.07/50.15 c nbDecision=7000 #constraints=3189 50.17/50.25 c nbDecision=7500 #constraints=3223 57.77/57.82 c nbDecision=8000 #constraints=3537 73.07/73.12 c nbDecision=8500 #constraints=4032 90.36/90.49 c nbDecision=9000 #constraints=4514 109.75/109.90 c nbDecision=9500 #constraints=5008 129.85/129.94 c nbDecision=10000 #constraints=5506 149.25/149.33 c nbDecision=10500 #constraints=6001 173.74/173.81 c nbDecision=11000 #constraints=6496 205.23/205.31 c nbDecision=11500 #constraints=6991 228.42/228.50 c nbDecision=12000 #constraints=7488 258.11/258.27 c nbDecision=12500 #constraints=7986 280.80/280.97 c restart after 12801 decisions 282.20/282.38 c nbDecision=13000 #constraints=8288 282.40/282.51 c nbDecision=13500 #constraints=8318 308.29/308.46 c nbDecision=14000 #constraints=8625 351.27/351.41 c nbDecision=14500 #constraints=9126 393.57/393.74 c nbDecision=15000 #constraints=9624 440.85/441.09 c nbDecision=15500 #constraints=10123 488.94/489.13 c nbDecision=16000 #constraints=10623 536.22/536.49 c nbDecision=16500 #constraints=11117 581.80/582.01 c nbDecision=17000 #constraints=11618 639.18/639.42 c nbDecision=17500 #constraints=12115 697.27/697.52 c nbDecision=18000 #constraints=12616 755.65/755.97 c nbDecision=18500 #constraints=13114 809.83/810.16 c nbDecision=19000 #constraints=13614 870.51/870.86 c nbDecision=19500 #constraints=14115 927.09/927.47 c nbDecision=20000 #constraints=14616 989.58/989.98 c nbDecision=20500 #constraints=15115 1043.36/1043.73 c nbDecision=21000 #constraints=15616 1113.33/1113.70 c nbDecision=21500 #constraints=16114 1188.90/1189.33 c nbDecision=22000 #constraints=16616 1264.08/1264.59 c nbDecision=22500 #constraints=17115 1341.06/1341.53 c nbDecision=23000 #constraints=17614 1418.13/1418.63 c nbDecision=23500 #constraints=18113 1502.40/1502.95 c nbDecision=24000 #constraints=18615 1580.78/1581.31 c nbDecision=24500 #constraints=19112 1656.25/1656.87 c nbDecision=25000 #constraints=19615 1736.73/1737.40 c nbDecision=25500 #constraints=20112 1755.03/1755.64 c restart after 25601 decisions 1758.62/1759.23 c nbDecision=26000 #constraints=20244 1800.02/1800.60 Received signal 15 1800.02/1800.62 1800.02/1800.62 s UNKNOWN 1800.02/1800.62 1800.02/1800.62 c user time= 1799.17 s 1800.02/1800.62 c system time= 0.876866 s 1800.02/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/node25/watcher-357348-1176995321 -o ROOT/results/node25/solver-357348-1176995321 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357348-1176995321/instance-357348-1176995321.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 1.00 1.00 2/64 30377 /proc/meminfo: memFree=1835144/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=1468 CPUtime=0 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 147449181 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 367 160 127 317 0 46 0 [startup+0.0905261 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30377 /proc/meminfo: memFree=1835144/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=2664 CPUtime=0.08 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 470 0 0 0 8 0 0 0 18 0 1 0 147449181 2727936 452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 666 452 139 317 0 345 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2664 [startup+0.101528 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30377 /proc/meminfo: memFree=1835144/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=2664 CPUtime=0.09 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 486 0 0 0 9 0 0 0 18 0 1 0 147449181 2727936 468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 666 468 139 317 0 345 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2664 [startup+0.301562 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30377 /proc/meminfo: memFree=1835144/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=4232 CPUtime=0.29 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 911 0 0 0 29 0 0 0 19 0 1 0 147449181 4333568 893 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 1058 893 170 317 0 737 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4232 [startup+0.701631 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30377 /proc/meminfo: memFree=1835144/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=6980 CPUtime=0.69 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 1563 0 0 0 69 0 0 0 23 0 1 0 147449181 7147520 1545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 1745 1545 170 317 0 1424 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6980 [startup+1.50177 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30378 /proc/meminfo: memFree=1828352/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=10028 CPUtime=1.49 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 2313 0 0 0 149 0 0 0 25 0 1 0 147449181 10268672 2295 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713818 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 2507 2295 170 317 0 2186 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10028 [startup+3.10204 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30378 /proc/meminfo: memFree=1824000/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=15976 CPUtime=3.09 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 3778 0 0 0 308 1 0 0 25 0 1 0 147449181 16359424 3760 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 3994 3760 170 317 0 3673 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15976 [startup+6.30159 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30378 /proc/meminfo: memFree=1814464/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=26120 CPUtime=6.29 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 6163 0 0 0 628 1 0 0 25 0 1 0 147449181 26746880 6145 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 6530 6145 170 317 0 6209 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26120 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30378 /proc/meminfo: memFree=1796616/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=42552 CPUtime=12.69 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 10097 0 0 0 1265 4 0 0 25 0 1 0 147449181 43573248 10079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134717255 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 10638 10079 170 317 0 10317 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 42552 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30378 /proc/meminfo: memFree=1770696/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=67680 CPUtime=25.49 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 16335 0 0 0 2542 7 0 0 25 0 1 0 147449181 69304320 16317 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134559639 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 16920 16317 170 317 0 16599 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 67680 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30378 /proc/meminfo: memFree=1732552/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=109204 CPUtime=51.07 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 25923 0 0 0 5096 11 0 0 25 0 1 0 147449181 111824896 25905 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604210 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 27301 25905 170 317 0 26980 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 109204 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30378 /proc/meminfo: memFree=1673160/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=175432 CPUtime=102.27 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 40546 0 0 0 10208 19 0 0 25 0 1 0 147449181 179642368 40528 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 43858 40528 170 317 0 43537 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 175432 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30378 /proc/meminfo: memFree=1625736/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=221156 CPUtime=162.23 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 52470 0 0 0 16199 24 0 0 25 0 1 0 147449181 226463744 52452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 55289 52452 170 317 0 54968 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 221156 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30378 /proc/meminfo: memFree=1592456/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=252276 CPUtime=222.21 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 60696 0 0 0 22192 29 0 0 25 0 1 0 147449181 258330624 60678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 63069 60678 170 317 0 62748 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 252276 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30378 /proc/meminfo: memFree=1563144/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=280040 CPUtime=282.2 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 67981 0 0 0 28187 33 0 0 25 0 1 0 147449181 286760960 67963 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 70010 67963 170 317 0 69689 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 280040 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30378 /proc/meminfo: memFree=1523208/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=341592 CPUtime=342.18 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 78010 0 0 0 34181 37 0 0 25 0 1 0 147449181 349790208 77935 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 85398 77935 170 317 0 85077 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 341592 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30378 /proc/meminfo: memFree=1502984/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=361796 CPUtime=402.16 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 83101 0 0 0 40177 39 0 0 25 0 1 0 147449181 370479104 83026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 90449 83026 170 317 0 90128 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 361796 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30378 /proc/meminfo: memFree=1482952/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=380684 CPUtime=462.14 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 88065 0 0 0 46172 42 0 0 25 0 1 0 147449181 389820416 87990 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 95171 87990 170 317 0 94850 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 380684 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30378 /proc/meminfo: memFree=1464072/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=399400 CPUtime=522.12 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 92824 0 0 0 52168 44 0 0 25 0 1 0 147449181 408985600 92749 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 99850 92749 170 317 0 99529 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 399400 [startup+582.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30378 /proc/meminfo: memFree=1444552/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=418348 CPUtime=582.1 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 97645 0 0 0 58164 46 0 0 25 0 1 0 147449181 428388352 97570 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 104587 97570 170 317 0 104266 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 418348 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30378 /proc/meminfo: memFree=1428296/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=433520 CPUtime=642.08 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 101658 0 0 0 64160 48 0 0 25 0 1 0 147449181 443924480 101583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284169 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 108380 101583 170 317 0 108059 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 433520 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30378 /proc/meminfo: memFree=1365640/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=493624 CPUtime=882.01 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 117304 0 0 0 88146 55 0 0 25 0 1 0 147449181 505470976 117229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 123406 117229 170 317 0 123085 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 493624 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30378 /proc/meminfo: memFree=1349448/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=509564 CPUtime=941.98 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 121356 0 0 0 94141 57 0 0 25 0 1 0 147449181 521793536 121281 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 127391 121281 170 317 0 127070 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 509564 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30378 /proc/meminfo: memFree=1335240/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=522872 CPUtime=1001.97 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 124891 0 0 0 100137 60 0 0 25 0 1 0 147449181 535420928 124816 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 130718 124816 170 317 0 130397 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 522872 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30378 /proc/meminfo: memFree=1317960/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=539596 CPUtime=1061.94 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 129231 0 0 0 106131 63 0 0 25 0 1 0 147449181 552546304 129156 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 134899 129156 170 317 0 134578 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 539596 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30378 /proc/meminfo: memFree=1305608/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=550916 CPUtime=1121.93 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 132279 0 0 0 112128 65 0 0 25 0 1 0 147449181 564137984 132204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 137729 132204 170 317 0 137408 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 550916 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30378 /proc/meminfo: memFree=1293192/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=563704 CPUtime=1181.91 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 135533 0 0 0 118125 66 0 0 25 0 1 0 147449181 577232896 135345 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 140926 135345 170 317 0 140605 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 563704 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30378 /proc/meminfo: memFree=1266632/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=634728 CPUtime=1241.89 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 150014 0 0 0 124118 71 0 0 25 0 1 0 147449181 649961472 141840 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272585 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 158682 141840 170 317 0 158361 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 634728 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30378 /proc/meminfo: memFree=1250696/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=666276 CPUtime=1301.87 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 156786 0 0 0 130114 73 0 0 25 0 1 0 147449181 682266624 145840 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 166569 145840 170 317 0 166248 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 666276 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30378 /proc/meminfo: memFree=1238280/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=677500 CPUtime=1361.85 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 159911 0 0 0 136111 74 0 0 25 0 1 0 147449181 693760000 148965 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 169375 148965 170 317 0 169054 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 677500 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30378 /proc/meminfo: memFree=1225544/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=688932 CPUtime=1421.83 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 163098 0 0 0 142108 75 0 0 25 0 1 0 147449181 705466368 152119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711009 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 172233 152119 170 317 0 171912 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 688932 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30378 /proc/meminfo: memFree=1214472/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=700040 CPUtime=1481.81 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 166022 0 0 0 148104 77 0 0 25 0 1 0 147449181 716840960 154911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 175010 154911 170 317 0 174689 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 700040 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30378 /proc/meminfo: memFree=1202632/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=710976 CPUtime=1541.8 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 169017 0 0 0 154100 80 0 0 25 0 1 0 147449181 728039424 157840 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 177744 157840 170 317 0 177423 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 710976 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30378 /proc/meminfo: memFree=1190216/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=722092 CPUtime=1601.77 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 172196 0 0 0 160096 81 0 0 25 0 1 0 147449181 739422208 160953 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 180523 160953 170 317 0 180202 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 722092 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30378 /proc/meminfo: memFree=1177352/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=734240 CPUtime=1661.76 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 175478 0 0 0 166092 84 0 0 25 0 1 0 147449181 751861760 164169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 183560 164169 170 317 0 183239 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 734240 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30378 /proc/meminfo: memFree=1166856/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=745052 CPUtime=1721.74 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 178168 0 0 0 172088 86 0 0 25 0 1 0 147449181 762933248 166793 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 186263 166793 170 317 0 185942 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 745052 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30380 /proc/meminfo: memFree=1154184/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=756104 CPUtime=1781.72 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 181344 0 0 0 178085 87 0 0 25 0 1 0 147449181 774250496 169936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 189026 169936 170 317 0 188705 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 756104 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30380 /proc/meminfo: memFree=1151432/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=758956 CPUtime=1800.02 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194304 182010 0 0 0 179915 87 0 0 25 0 1 0 147449181 777170944 170602 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 189739 170602 170 317 0 189418 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 758956 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30380 /proc/meminfo: memFree=1151432/2055920 swapFree=4182972/4192956 [pid=30377] ppid=30375 vsize=0 CPUtime=1800.12 /proc/30377/stat : 30377 (oree) R 30375 30377 29324 0 -1 4194308 182026 0 0 0 179917 95 0 0 25 0 1 0 147449181 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30377/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.74 CPU time (s): 1800.16 CPU user time (s): 1799.17 CPU system time (s): 0.987849 CPU usage (%): 99.9676 Max. virtual memory (cumulated for all children) (KiB): 758956 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.17 system time used= 0.987849 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 182026 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= 1859 runsolver used 1.40978 second user time and 3.52646 second system time The end
Begin job on node25 on Thu Apr 19 15:08:41 UTC 2007 IDJOB= 357348 IDBENCH= 2454 IDSOLVER= 172 FILE ID= node25/357348-1176995321 PBS_JOBID= 4630422 Free space on /tmp= 66368 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-adlittle.opb COMMAND LINE= oree /tmp/evaluation/357348-1176995321/instance-357348-1176995321.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-357348-1176995321 -o ROOT/results/node25/solver-357348-1176995321 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357348-1176995321/instance-357348-1176995321.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 952cd1c498d347dda37d376c7740481e RANDOM SEED= 28336093 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node25.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.261 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.261 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: 1835616 kB Buffers: 26940 kB Cached: 145836 kB SwapCached: 3684 kB Active: 75760 kB Inactive: 106988 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1835616 kB SwapTotal: 4192956 kB SwapFree: 4182972 kB Dirty: 1500 kB Writeback: 0 kB Mapped: 15988 kB Slab: 23596 kB Committed_AS: 2176360 kB PageTables: 1472 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= 66368 MiB End job on node25 on Thu Apr 19 15:38:44 UTC 2007