Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.2 | 1800.95 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-fit2p.opb |
MD5SUM | ea34bf390bf77663918ceca8ccc177b4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1059 |
Best CPU time to get the best result obtained on this benchmark | 1800.25 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1059 |
Optimality of the best value was proved | NO |
Number of variables | 293602 |
Total number of constraints | 10500 |
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 | 10500 |
Minimum length of a constraint | 13 |
Maximum length of a constraint | 612 |
Number of terms in the objective function | 246163 |
Biggest coefficient in the objective function | 130 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 748663 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261428 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 748663 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 6.39/6.45 c ...done 6.39/6.45 c #vars=293602 #constraints=13501 hasObjective=yes 8.38/8.45 c res. mode=mod 8.38/8.45 c VSIDS like heuristics 8.38/8.45 c complete search running 29.47/29.50 c restart after 401 decisions 40.36/40.43 c nbDecision=500 #constraints=13796 52.56/52.63 c restart after 801 decisions 70.85/70.95 c nbDecision=1000 #constraints=14175 93.25/93.35 c nbDecision=1500 #constraints=14675 98.15/98.25 c restart after 1601 decisions 120.33/120.43 c nbDecision=2000 #constraints=15061 144.33/144.46 c nbDecision=2500 #constraints=15515 169.42/169.59 c nbDecision=3000 #constraints=15971 183.01/183.19 c restart after 3201 decisions 211.30/211.46 c nbDecision=3500 #constraints=16364 246.79/246.98 c nbDecision=4000 #constraints=16853 276.48/276.67 c nbDecision=4500 #constraints=17329 311.37/311.54 c nbDecision=5000 #constraints=17795 345.23/345.45 c nbDecision=5500 #constraints=18274 391.74/392.04 c nbDecision=6000 #constraints=18769 419.03/419.30 c restart after 6401 decisions 434.13/434.43 c nbDecision=6500 #constraints=19183 472.31/472.67 c nbDecision=7000 #constraints=19670 501.80/502.11 c nbDecision=7500 #constraints=20152 528.29/528.66 c nbDecision=8000 #constraints=20621 563.88/564.30 c nbDecision=8500 #constraints=21113 593.68/594.00 c nbDecision=9000 #constraints=21607 623.15/623.53 c nbDecision=9500 #constraints=22096 661.75/662.10 c nbDecision=10000 #constraints=22584 692.13/692.55 c nbDecision=10500 #constraints=23075 729.32/729.71 c nbDecision=11000 #constraints=23558 758.62/759.00 c nbDecision=11500 #constraints=24035 785.70/786.11 c nbDecision=12000 #constraints=24515 820.89/821.39 c nbDecision=12500 #constraints=25009 839.28/839.74 c restart after 12801 decisions 859.47/859.99 c nbDecision=13000 #constraints=25398 885.86/886.33 c nbDecision=13500 #constraints=25851 916.45/916.97 c nbDecision=14000 #constraints=26312 942.74/943.20 c nbDecision=14500 #constraints=26762 973.43/973.91 c nbDecision=15000 #constraints=27220 1004.22/1004.70 c nbDecision=15500 #constraints=27664 1036.31/1036.89 c nbDecision=16000 #constraints=28130 1067.70/1068.26 c nbDecision=16500 #constraints=28569 1098.89/1099.49 c nbDecision=17000 #constraints=29005 1131.18/1131.76 c nbDecision=17500 #constraints=29454 1165.76/1166.36 c nbDecision=18000 #constraints=29898 1199.26/1199.89 c nbDecision=18500 #constraints=30326 1233.84/1234.48 c nbDecision=19000 #constraints=30758 1270.43/1271.02 c nbDecision=19500 #constraints=31219 1313.61/1314.28 c nbDecision=20000 #constraints=31694 1376.70/1377.33 c nbDecision=20500 #constraints=32179 1409.78/1410.46 c nbDecision=21000 #constraints=32622 1444.57/1445.29 c nbDecision=21500 #constraints=33066 1478.25/1478.90 c nbDecision=22000 #constraints=33507 1517.04/1517.79 c nbDecision=22500 #constraints=33967 1555.83/1556.53 c nbDecision=23000 #constraints=34402 1594.71/1595.43 c nbDecision=23500 #constraints=34854 1633.50/1634.25 c nbDecision=24000 #constraints=35308 1671.19/1671.91 c nbDecision=24500 #constraints=35764 1712.77/1713.52 c nbDecision=25000 #constraints=36226 1753.15/1753.92 c nbDecision=25500 #constraints=36689 1760.55/1761.37 c restart after 25601 decisions 1800.05/1800.80 Received signal 15 1800.05/1800.82 1800.05/1800.82 s UNKNOWN 1800.05/1800.82 1800.05/1800.82 c user time= 1799.45 s 1800.05/1800.82 c system time= 0.620905 s 1800.05/1800.82 c wall clock time=1800.82
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node66/watcher-356981-1176850526 -o ROOT/results/node66/solver-356981-1176850526 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356981-1176850526/instance-356981-1176850526.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.92 0.97 0.92 3/64 10614 /proc/meminfo: memFree=1823416/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=1620 CPUtime=0 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 161042360 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 405 175 126 317 0 84 0 [startup+0.101201 s] /proc/loadavg: 0.92 0.97 0.92 3/64 10614 /proc/meminfo: memFree=1823416/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=3440 CPUtime=0.09 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 896 0 0 0 9 0 0 0 18 0 1 0 161042360 3522560 651 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 860 652 126 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.201221 s] /proc/loadavg: 0.92 0.97 0.92 3/64 10614 /proc/meminfo: memFree=1823416/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=5520 CPUtime=0.19 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 1660 0 0 0 19 0 0 0 18 0 1 0 161042360 5652480 1158 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 1380 1158 126 317 0 1059 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5520 [startup+0.301242 s] /proc/loadavg: 0.92 0.97 0.92 3/64 10614 /proc/meminfo: memFree=1823416/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=9548 CPUtime=0.29 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 2905 0 0 0 28 1 0 0 19 0 1 0 161042360 9777152 1890 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 2387 1890 126 317 0 2066 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9548 [startup+0.701321 s] /proc/loadavg: 0.92 0.97 0.92 3/64 10614 /proc/meminfo: memFree=1823416/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=10512 CPUtime=0.69 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 3388 0 0 0 67 2 0 0 22 0 1 0 161042360 10764288 2373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 2628 2373 131 317 0 2307 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10512 [startup+1.50148 s] /proc/loadavg: 0.92 0.97 0.92 2/65 10615 /proc/meminfo: memFree=1808432/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=25484 CPUtime=1.49 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 6966 0 0 0 145 4 0 0 25 0 1 0 161042360 26095616 5951 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 6371 5951 131 317 0 6050 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25484 [startup+3.1018 s] /proc/loadavg: 1.01 0.99 0.93 2/65 10615 /proc/meminfo: memFree=1785584/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=60224 CPUtime=3.09 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 15209 0 0 0 301 8 0 0 25 0 1 0 161042360 61669376 14194 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 15056 14194 131 317 0 14735 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 60224 [startup+6.30144 s] /proc/loadavg: 1.01 0.99 0.93 2/65 10615 /proc/meminfo: memFree=1718064/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=129600 CPUtime=6.29 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 31572 0 0 0 614 15 0 0 25 0 1 0 161042360 132710400 30557 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 32400 30557 131 317 0 32079 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 129600 [startup+12.7017 s] /proc/loadavg: 1.00 0.99 0.93 2/65 10615 /proc/meminfo: memFree=1638512/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=194704 CPUtime=12.69 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 47348 0 0 0 1247 22 0 0 25 0 1 0 161042360 199376896 46240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718428 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 48676 46240 139 317 0 48355 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 194704 [startup+25.5013 s] /proc/loadavg: 1.00 0.99 0.93 2/65 10615 /proc/meminfo: memFree=1638256/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=195092 CPUtime=25.49 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 47476 0 0 0 2527 22 0 0 25 0 1 0 161042360 199774208 46368 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 48773 46368 139 317 0 48452 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 195092 [startup+51.1014 s] /proc/loadavg: 1.00 0.99 0.93 2/65 10615 /proc/meminfo: memFree=1636400/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=197272 CPUtime=51.06 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 47975 0 0 0 5084 22 0 0 25 0 1 0 161042360 202006528 46867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 49318 46867 139 317 0 48997 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 197272 [startup+102.302 s] /proc/loadavg: 1.00 0.99 0.93 2/65 10615 /proc/meminfo: memFree=1631216/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=203156 CPUtime=102.25 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 49295 0 0 0 10202 23 0 0 25 0 1 0 161042360 208031744 48187 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 50789 48187 170 317 0 50468 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 203156 [startup+162.302 s] /proc/loadavg: 1.00 0.99 0.93 2/65 10615 /proc/meminfo: memFree=1622576/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=211916 CPUtime=162.22 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 51471 0 0 0 16197 25 0 0 25 0 1 0 161042360 217001984 50363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 52979 50363 170 317 0 52658 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 211916 [startup+222.305 s] /proc/loadavg: 1.00 0.99 0.93 2/65 10615 /proc/meminfo: memFree=1616624/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=218336 CPUtime=222.2 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 52921 0 0 0 22195 25 0 0 25 0 1 0 161042360 223576064 51813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 54584 51813 170 317 0 54263 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 218336 [startup+282.302 s] /proc/loadavg: 1.00 0.99 0.93 2/65 10615 /proc/meminfo: memFree=1609584/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=224656 CPUtime=282.18 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 54679 0 0 0 28191 27 0 0 25 0 1 0 161042360 230047744 53571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 56164 53571 170 317 0 55843 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 224656 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.93 2/71 10687 /proc/meminfo: memFree=1601792/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=230952 CPUtime=342.13 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 56313 0 0 0 34184 29 0 0 25 0 1 0 161042360 236494848 55205 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 57738 55205 170 317 0 57417 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 230952 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.93 2/65 10813 /proc/meminfo: memFree=1595824/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=239404 CPUtime=402.03 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 58044 0 0 0 40173 30 0 0 25 0 1 0 161042360 245149696 56936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 59851 56936 170 317 0 59530 0 Current children cumulated CPU time (s) 402.03 Current children cumulated vsize (KiB) 239404 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.93 2/65 10813 /proc/meminfo: memFree=1590320/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=245936 CPUtime=462.02 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 59423 0 0 0 46170 32 0 0 25 0 1 0 161042360 251838464 58315 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711055 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 61484 58315 170 317 0 61163 0 Current children cumulated CPU time (s) 462.02 Current children cumulated vsize (KiB) 245936 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.93 2/65 10813 /proc/meminfo: memFree=1582640/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=256292 CPUtime=521.99 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 61651 0 0 0 52166 33 0 0 25 0 1 0 161042360 262443008 60543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 64073 60543 170 317 0 63752 0 Current children cumulated CPU time (s) 521.99 Current children cumulated vsize (KiB) 256292 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.93 2/65 10813 /proc/meminfo: memFree=1575088/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=262052 CPUtime=581.98 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 63206 0 0 0 58163 35 0 0 25 0 1 0 161042360 268341248 62098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 65513 62098 170 317 0 65192 0 Current children cumulated CPU time (s) 581.98 Current children cumulated vsize (KiB) 262052 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.93 2/65 10813 /proc/meminfo: memFree=1568048/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=268620 CPUtime=641.95 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 64974 0 0 0 64158 37 0 0 25 0 1 0 161042360 275066880 63866 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 67155 63866 170 317 0 66834 0 Current children cumulated CPU time (s) 641.95 Current children cumulated vsize (KiB) 268620 ################ # More data... # ################ [startup+882.304 s] /proc/loadavg: 1.00 0.99 0.93 2/65 10813 /proc/meminfo: memFree=1541424/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=293656 CPUtime=881.87 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 71625 0 0 0 88145 42 0 0 25 0 1 0 161042360 300703744 70517 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 73414 70517 170 317 0 73093 0 Current children cumulated CPU time (s) 881.87 Current children cumulated vsize (KiB) 293656 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.93 2/65 10813 /proc/meminfo: memFree=1533616/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=301024 CPUtime=941.84 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 73587 0 0 0 94140 44 0 0 25 0 1 0 161042360 308248576 72479 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 75256 72479 170 317 0 74935 0 Current children cumulated CPU time (s) 941.84 Current children cumulated vsize (KiB) 301024 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.93 2/65 10813 /proc/meminfo: memFree=1524528/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=318144 CPUtime=1001.82 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 77500 0 0 0 100136 46 0 0 25 0 1 0 161042360 325779456 74723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 79536 74723 170 317 0 79215 0 Current children cumulated CPU time (s) 1001.82 Current children cumulated vsize (KiB) 318144 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.93 2/65 10813 /proc/meminfo: memFree=1517168/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=325828 CPUtime=1061.8 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 79573 0 0 0 106132 48 0 0 25 0 1 0 161042360 333647872 76565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711484 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 81457 76565 170 317 0 81136 0 Current children cumulated CPU time (s) 1061.8 Current children cumulated vsize (KiB) 325828 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.93 2/65 10813 /proc/meminfo: memFree=1508912/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=337812 CPUtime=1121.78 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 82307 0 0 0 112128 50 0 0 25 0 1 0 161042360 345919488 78606 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 84453 78606 170 317 0 84132 0 Current children cumulated CPU time (s) 1121.78 Current children cumulated vsize (KiB) 337812 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.93 2/65 10813 /proc/meminfo: memFree=1502256/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=343796 CPUtime=1181.76 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 84006 0 0 0 118125 51 0 0 25 0 1 0 161042360 352047104 80272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 85949 80272 170 317 0 85628 0 Current children cumulated CPU time (s) 1181.76 Current children cumulated vsize (KiB) 343796 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.93 2/65 10813 /proc/meminfo: memFree=1495792/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=349432 CPUtime=1241.73 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 85603 0 0 0 124121 52 0 0 25 0 1 0 161042360 357818368 81869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 87358 81869 170 317 0 87037 0 Current children cumulated CPU time (s) 1241.73 Current children cumulated vsize (KiB) 349432 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.93 2/65 10813 /proc/meminfo: memFree=1489648/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=355156 CPUtime=1301.72 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 87165 0 0 0 130119 53 0 0 25 0 1 0 161042360 363679744 83431 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 88789 83431 170 317 0 88468 0 Current children cumulated CPU time (s) 1301.72 Current children cumulated vsize (KiB) 355156 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.93 2/65 10813 /proc/meminfo: memFree=1485872/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=358624 CPUtime=1361.7 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 88078 0 0 0 136116 54 0 0 25 0 1 0 161042360 367230976 84344 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 89656 84344 170 317 0 89335 0 Current children cumulated CPU time (s) 1361.7 Current children cumulated vsize (KiB) 358624 [startup+1422.3 s] /proc/loadavg: 1.00 0.99 0.93 2/65 10813 /proc/meminfo: memFree=1479344/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=364608 CPUtime=1421.68 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 89738 0 0 0 142113 55 0 0 25 0 1 0 161042360 373358592 85938 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 91152 85938 170 317 0 90831 0 Current children cumulated CPU time (s) 1421.68 Current children cumulated vsize (KiB) 364608 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.93 2/65 10813 /proc/meminfo: memFree=1473008/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=370596 CPUtime=1481.65 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 91369 0 0 0 148109 56 0 0 25 0 1 0 161042360 379490304 87569 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 92649 87569 170 317 0 92328 0 Current children cumulated CPU time (s) 1481.65 Current children cumulated vsize (KiB) 370596 [startup+1542.31 s] /proc/loadavg: 1.00 0.99 0.93 2/65 10813 /proc/meminfo: memFree=1466672/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=376844 CPUtime=1541.64 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 93087 0 0 0 154106 58 0 0 25 0 1 0 161042360 385888256 89122 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 94211 89122 170 317 0 93890 0 Current children cumulated CPU time (s) 1541.64 Current children cumulated vsize (KiB) 376844 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.93 2/65 10813 /proc/meminfo: memFree=1460848/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=382496 CPUtime=1601.62 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 94690 0 0 0 160103 59 0 0 25 0 1 0 161042360 391675904 90593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 95624 90593 170 317 0 95303 0 Current children cumulated CPU time (s) 1601.62 Current children cumulated vsize (KiB) 382496 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.93 2/65 10813 /proc/meminfo: memFree=1454768/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=387820 CPUtime=1661.59 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 96188 0 0 0 166100 59 0 0 25 0 1 0 161042360 397127680 92091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 96955 92091 170 317 0 96634 0 Current children cumulated CPU time (s) 1661.59 Current children cumulated vsize (KiB) 387820 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.93 2/65 10813 /proc/meminfo: memFree=1449072/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=392876 CPUtime=1721.57 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 97656 0 0 0 172096 61 0 0 25 0 1 0 161042360 402305024 93526 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 98219 93526 170 317 0 97898 0 Current children cumulated CPU time (s) 1721.57 Current children cumulated vsize (KiB) 392876 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.93 2/65 10813 /proc/meminfo: memFree=1444720/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=396592 CPUtime=1781.54 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 98708 0 0 0 178093 61 0 0 25 0 1 0 161042360 406110208 94578 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 99148 94578 170 317 0 98827 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (KiB) 396592 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.81 s] /proc/loadavg: 1.00 0.99 0.93 2/65 10813 /proc/meminfo: memFree=1442928/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=398160 CPUtime=1800.05 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 99157 0 0 0 179943 62 0 0 25 0 1 0 161042360 407715840 95027 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 99540 95027 170 317 0 99219 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 398160 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 1.00 0.99 0.93 2/65 10813 /proc/meminfo: memFree=1442928/2055920 swapFree=4176832/4192956 [pid=10614] ppid=10612 vsize=0 CPUtime=1800.14 /proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194308 99173 0 0 0 179951 63 0 0 25 0 1 0 161042360 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10614/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.95 CPU time (s): 1800.2 CPU user time (s): 1799.52 CPU system time (s): 0.682896 CPU usage (%): 99.9583 Max. virtual memory (cumulated for all children) (KiB): 398160 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.52 system time used= 0.682896 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 99173 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= 2811 runsolver used 1.17082 second user time and 3.81742 second system time The end
Begin job on node66 on Tue Apr 17 22:55:28 UTC 2007 IDJOB= 356981 IDBENCH= 1720 IDSOLVER= 172 FILE ID= node66/356981-1176850526 PBS_JOBID= 4590183 Free space on /tmp= 66426 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-fit2p.opb COMMAND LINE= oree /tmp/evaluation/356981-1176850526/instance-356981-1176850526.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-356981-1176850526 -o ROOT/results/node66/solver-356981-1176850526 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356981-1176850526/instance-356981-1176850526.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= ea34bf390bf77663918ceca8ccc177b4 RANDOM SEED= 799737434 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node66.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.281 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.281 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: 1823952 kB Buffers: 14796 kB Cached: 159180 kB SwapCached: 9828 kB Active: 41792 kB Inactive: 148052 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1823952 kB SwapTotal: 4192956 kB SwapFree: 4176832 kB Dirty: 20600 kB Writeback: 0 kB Mapped: 15668 kB Slab: 28212 kB Committed_AS: 753140 kB PageTables: 1376 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= 66426 MiB End job on node66 on Tue Apr 17 23:25:31 UTC 2007