Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (MO) | 1543.88 | 1544.27 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3702.opb |
MD5SUM | d696f4100af4494c851a4f1a4044ecb8 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 4827154397 |
Best CPU time to get the best result obtained on this benchmark | 1804.16 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4827154397 |
Optimality of the best value was proved | NO |
Number of variables | 155000 |
Total number of constraints | 5150 |
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 | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
Number of terms in the objective function | 155000 |
Biggest coefficient in the objective function | 4294967296 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 29701186548799 |
Number of bits of the sum of numbers in the objective function | 45 |
Biggest number in a constraint | 4294967296 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 29701186548799 |
Number of bits of the biggest sum of numbers | 45 |
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... 2.29/2.36 c ...done 2.29/2.36 c #vars=155000 #constraints=5301 hasObjective=yes 4.19/4.30 c res. mode=mod 4.19/4.30 c VSIDS like heuristics 4.19/4.30 c complete search running 5.49/5.56 c restart after 401 decisions 5.69/5.79 c nbDecision=500 #constraints=5301 6.39/6.47 c restart after 801 decisions 6.89/6.92 c nbDecision=1000 #constraints=5301 7.99/8.05 c nbDecision=1500 #constraints=5301 8.19/8.28 c restart after 1601 decisions 9.09/9.18 c nbDecision=2000 #constraints=5301 10.29/10.31 c nbDecision=2500 #constraints=5301 11.39/11.44 c nbDecision=3000 #constraints=5301 11.79/11.90 c restart after 3201 decisions 12.49/12.58 c nbDecision=3500 #constraints=5301 13.69/13.72 c nbDecision=4000 #constraints=5301 14.79/14.86 c nbDecision=4500 #constraints=5301 15.99/16.00 c nbDecision=5000 #constraints=5301 17.09/17.15 c nbDecision=5500 #constraints=5302 18.19/18.28 c nbDecision=6000 #constraints=5302 19.08/19.19 c restart after 6401 decisions 19.38/19.42 c nbDecision=6500 #constraints=5302 20.48/20.56 c nbDecision=7000 #constraints=5302 21.68/21.70 c nbDecision=7500 #constraints=5302 22.78/22.83 c nbDecision=8000 #constraints=5302 23.88/23.96 c nbDecision=8500 #constraints=5302 24.98/25.08 c nbDecision=9000 #constraints=5302 26.08/26.17 c nbDecision=9500 #constraints=5302 27.18/27.29 c nbDecision=10000 #constraints=5302 28.38/28.43 c nbDecision=10500 #constraints=5303 29.48/29.58 c nbDecision=11000 #constraints=5303 30.58/30.69 c nbDecision=11500 #constraints=5303 31.78/31.82 c nbDecision=12000 #constraints=5303 32.88/32.96 c nbDecision=12500 #constraints=5303 33.57/33.64 c restart after 12801 decisions 33.98/34.08 c nbDecision=13000 #constraints=5303 35.08/35.19 c nbDecision=13500 #constraints=5303 36.28/36.33 c nbDecision=14000 #constraints=5303 37.38/37.45 c nbDecision=14500 #constraints=5303 38.48/38.59 c nbDecision=15000 #constraints=5303 39.67/39.72 c nbDecision=15500 #constraints=5303 40.77/40.86 c nbDecision=16000 #constraints=5303 41.87/41.99 c nbDecision=16500 #constraints=5303 42.97/43.09 c nbDecision=17000 #constraints=5303 44.17/44.20 c nbDecision=17500 #constraints=5303 45.27/45.32 c nbDecision=18000 #constraints=5303 46.37/46.43 c nbDecision=18500 #constraints=5303 47.47/47.56 c nbDecision=19000 #constraints=5303 48.57/48.67 c nbDecision=19500 #constraints=5303 49.67/49.79 c nbDecision=20000 #constraints=5303 50.77/50.89 c nbDecision=20500 #constraints=5303 60.47/60.50 c nbDecision=21000 #constraints=5588 80.26/80.31 c nbDecision=21500 #constraints=6065 108.35/108.49 c nbDecision=22000 #constraints=6552 144.74/144.82 c nbDecision=22500 #constraints=7045 191.73/191.82 c nbDecision=23000 #constraints=7542 207.13/207.28 c nbDecision=23500 #constraints=7707 208.23/208.36 c nbDecision=24000 #constraints=7707 209.33/209.47 c nbDecision=24500 #constraints=7707 210.43/210.57 c nbDecision=25000 #constraints=7707 230.42/230.50 c nbDecision=25500 #constraints=8098 236.52/236.67 c restart after 25601 decisions 240.22/240.39 c nbDecision=26000 #constraints=8205 241.42/241.51 c nbDecision=26500 #constraints=8205 242.52/242.64 c nbDecision=27000 #constraints=8205 243.62/243.77 c nbDecision=27500 #constraints=8205 244.72/244.89 c nbDecision=28000 #constraints=8205 245.92/246.01 c nbDecision=28500 #constraints=8205 247.02/247.14 c nbDecision=29000 #constraints=8205 248.12/248.25 c nbDecision=29500 #constraints=8205 249.22/249.37 c nbDecision=30000 #constraints=8205 250.32/250.49 c nbDecision=30500 #constraints=8205 251.52/251.61 c nbDecision=31000 #constraints=8205 252.62/252.71 c nbDecision=31500 #constraints=8205 254.42/254.55 c nbDecision=32000 #constraints=8205 256.32/256.44 c nbDecision=32500 #constraints=8205 258.21/258.32 c nbDecision=33000 #constraints=8205 260.11/260.29 c nbDecision=33500 #constraints=8205 261.51/261.63 c nbDecision=34000 #constraints=8205 262.82/262.91 c nbDecision=34500 #constraints=8205 264.01/264.19 c nbDecision=35000 #constraints=8205 269.61/269.75 c nbDecision=35500 #constraints=8266 308.01/308.18 c nbDecision=36000 #constraints=8766 350.60/350.71 c nbDecision=36500 #constraints=9266 401.08/401.28 c nbDecision=37000 #constraints=9761 459.77/459.94 c nbDecision=37500 #constraints=10265 520.16/520.39 c nbDecision=38000 #constraints=10762 582.94/583.11 c nbDecision=38500 #constraints=11264 662.62/662.82 c nbDecision=39000 #constraints=11769 744.70/744.99 c nbDecision=39500 #constraints=12264 822.88/823.15 c nbDecision=40000 #constraints=12764 919.06/919.38 c nbDecision=40500 #constraints=13263 1019.23/1019.55 c nbDecision=41000 #constraints=13761 1118.81/1119.18 c nbDecision=41500 #constraints=14265 1230.28/1230.63 c nbDecision=42000 #constraints=14760 1339.06/1339.45 c nbDecision=42500 #constraints=15258 1475.13/1475.57 c nbDecision=43000 #constraints=15761 1543.41/1543.80 Received signal 15 1543.51/1543.96 1543.51/1543.96 s UNKNOWN 1543.51/1543.96 1543.51/1543.96 c user time= 1541.93 s 1543.51/1543.96 c system time= 1.65575 s 1543.51/1543.96 c wall clock time=1543.96
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node50/watcher-357220-1176991642 -o ROOT/results/node50/solver-357220-1176991642 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357220-1176991642/instance-357220-1176991642.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.97 0.98 3/64 18528 /proc/meminfo: memFree=1763136/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=1468 CPUtime=0 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 54009432 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272659 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 367 161 127 317 0 46 0 [startup+0.030393 s] /proc/loadavg: 0.91 0.97 0.98 3/64 18528 /proc/meminfo: memFree=1763136/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=1880 CPUtime=0.02 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 305 0 0 0 2 0 0 0 18 0 1 0 54009432 1925120 254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135096800 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 470 254 127 317 0 149 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1880 [startup+0.102398 s] /proc/loadavg: 0.91 0.97 0.98 3/64 18528 /proc/meminfo: memFree=1763136/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=3440 CPUtime=0.09 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 803 0 0 0 9 0 0 0 18 0 1 0 54009432 3522560 558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 860 558 127 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.302416 s] /proc/loadavg: 0.91 0.97 0.98 3/64 18528 /proc/meminfo: memFree=1763136/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=5520 CPUtime=0.29 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 1649 0 0 0 29 0 0 0 19 0 1 0 54009432 5652480 1147 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134569609 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 1380 1147 127 317 0 1059 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5520 [startup+0.70145 s] /proc/loadavg: 0.91 0.97 0.98 3/64 18528 /proc/meminfo: memFree=1763136/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=9548 CPUtime=0.69 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 2791 0 0 0 68 1 0 0 22 0 1 0 54009432 9777152 1776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711207 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 2387 1776 131 317 0 2066 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9548 [startup+1.50152 s] /proc/loadavg: 0.92 0.97 0.98 2/65 18529 /proc/meminfo: memFree=1751288/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=25384 CPUtime=1.49 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 6345 0 0 0 146 3 0 0 25 0 1 0 54009432 25993216 5330 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134538281 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 6346 5330 131 317 0 6025 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25384 [startup+3.10166 s] /proc/loadavg: 0.92 0.97 0.98 2/65 18529 /proc/meminfo: memFree=1732472/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=54016 CPUtime=3.09 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 13373 0 0 0 304 5 0 0 25 0 1 0 54009432 55312384 12358 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 13504 12358 137 317 0 13183 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 54016 [startup+6.30194 s] /proc/loadavg: 0.93 0.97 0.98 2/65 18529 /proc/meminfo: memFree=1708920/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=59032 CPUtime=6.29 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 14631 0 0 0 623 6 0 0 25 0 1 0 54009432 60448768 13616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 14758 13616 138 317 0 14437 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 59032 [startup+12.7015 s] /proc/loadavg: 0.93 0.97 0.98 2/65 18529 /proc/meminfo: memFree=1708984/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=59032 CPUtime=12.69 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 14631 0 0 0 1263 6 0 0 25 0 1 0 54009432 60448768 13616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 14758 13616 138 317 0 14437 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 59032 [startup+25.5026 s] /proc/loadavg: 0.95 0.97 0.98 2/65 18529 /proc/meminfo: memFree=1708728/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=59468 CPUtime=25.48 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 14746 0 0 0 2542 6 0 0 25 0 1 0 54009432 60895232 13694 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 14867 13694 139 317 0 14546 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 59468 [startup+51.1029 s] /proc/loadavg: 0.96 0.97 0.98 2/65 18531 /proc/meminfo: memFree=1708728/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=59660 CPUtime=51.07 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 14781 0 0 0 5100 7 0 0 25 0 1 0 54009432 61091840 13729 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 14915 13729 139 317 0 14594 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 59660 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.98 2/65 18531 /proc/meminfo: memFree=1539896/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=246556 CPUtime=102.26 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 57092 0 0 0 10205 21 0 0 25 0 1 0 54009432 252473344 55946 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 61639 55946 170 317 0 61318 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 246556 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18531 /proc/meminfo: memFree=1448632/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=342040 CPUtime=162.24 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 80161 0 0 0 16194 30 0 0 25 0 1 0 54009432 350248960 78883 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271379 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 85510 78883 170 317 0 85189 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 342040 [startup+222.303 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18531 /proc/meminfo: memFree=1327992/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=484872 CPUtime=222.23 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 110153 0 0 0 22179 44 0 0 25 0 1 0 54009432 496508928 108875 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 121218 108875 170 317 0 120897 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 484872 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18531 /proc/meminfo: memFree=1259448/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=560176 CPUtime=282.21 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 127516 0 0 0 28170 51 0 0 25 0 1 0 54009432 573620224 126236 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 140044 126236 170 317 0 139723 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 560176 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18531 /proc/meminfo: memFree=1151160/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=675740 CPUtime=342.19 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 154415 0 0 0 34158 61 0 0 25 0 1 0 54009432 691957760 152953 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 168935 152953 170 317 0 168614 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 675740 [startup+402.303 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18531 /proc/meminfo: memFree=1057400/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=793364 CPUtime=402.18 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 178102 0 0 0 40147 71 0 0 25 0 1 0 54009432 812404736 176554 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 198341 176554 170 317 0 198020 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 793364 [startup+462.303 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18531 /proc/meminfo: memFree=995064/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=854996 CPUtime=462.17 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 193466 0 0 0 46139 78 0 0 25 0 1 0 54009432 875515904 191918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 213749 191918 170 317 0 213428 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 854996 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18531 /proc/meminfo: memFree=934904/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=916596 CPUtime=522.16 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 208770 0 0 0 52130 86 0 0 25 0 1 0 54009432 938594304 207138 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 229149 207138 170 317 0 228828 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 916596 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18531 /proc/meminfo: memFree=875704/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=974596 CPUtime=582.14 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 223354 0 0 0 58121 93 0 0 25 0 1 0 54009432 997986304 221667 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 243649 221667 170 317 0 243328 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 974596 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18531 /proc/meminfo: memFree=829240/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=1024932 CPUtime=642.13 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 234945 0 0 0 64115 98 0 0 25 0 1 0 54009432 1049530368 233196 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 256233 233196 170 317 0 255912 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 1024932 [startup+702.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18531 /proc/meminfo: memFree=737080/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=1159232 CPUtime=702.11 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 258151 0 0 0 70105 106 0 0 25 0 1 0 54009432 1187053568 256252 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284540 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 289808 256252 170 317 0 289487 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 1159232 [startup+762.304 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18531 /proc/meminfo: memFree=694008/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=1201720 CPUtime=762.09 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 268863 0 0 0 76099 110 0 0 25 0 1 0 54009432 1230561280 266898 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 300430 266898 170 317 0 300109 0 Current children cumulated CPU time (s) 762.09 Current children cumulated vsize (KiB) 1201720 [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18531 /proc/meminfo: memFree=645880/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=1250708 CPUtime=822.08 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 280957 0 0 0 82093 115 0 0 25 0 1 0 54009432 1280724992 278987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 312677 278987 170 317 0 312356 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 1250708 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18531 /proc/meminfo: memFree=606648/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=1290024 CPUtime=882.07 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 290712 0 0 0 88088 119 0 0 25 0 1 0 54009432 1320984576 288721 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 322506 288721 170 317 0 322185 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 1290024 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18531 /proc/meminfo: memFree=573176/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=1323220 CPUtime=942.05 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 299244 0 0 0 94082 123 0 0 25 0 1 0 54009432 1354977280 297154 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134546815 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 330805 297154 170 317 0 330484 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 1323220 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18531 /proc/meminfo: memFree=537848/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=1358592 CPUtime=1002.04 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 307994 0 0 0 100077 127 0 0 25 0 1 0 54009432 1391198208 305873 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 339648 305873 170 317 0 339327 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 1358592 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18531 /proc/meminfo: memFree=497400/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=1398164 CPUtime=1062.02 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 318358 0 0 0 106071 131 0 0 25 0 1 0 54009432 1431719936 316041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541595 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 349541 316041 170 317 0 349220 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 1398164 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18531 /proc/meminfo: memFree=459448/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=1435216 CPUtime=1122.01 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 327913 0 0 0 112067 134 0 0 25 0 1 0 54009432 1469661184 325468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 358804 325468 170 317 0 358483 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 1435216 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18531 /proc/meminfo: memFree=429688/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=1464840 CPUtime=1182 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 335452 0 0 0 118063 137 0 0 25 0 1 0 54009432 1499996160 332920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 366210 332920 170 317 0 365889 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 1464840 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18531 /proc/meminfo: memFree=393912/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=1500856 CPUtime=1241.98 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 344351 0 0 0 124058 140 0 0 25 0 1 0 54009432 1536876544 341819 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 375214 341819 170 317 0 374893 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 1500856 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18531 /proc/meminfo: memFree=366904/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=1528296 CPUtime=1301.97 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 351013 0 0 0 130055 142 0 0 25 0 1 0 54009432 1564975104 348481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 382074 348481 170 317 0 381753 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 1528296 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18531 /proc/meminfo: memFree=328312/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=1566816 CPUtime=1361.95 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 360789 0 0 0 136049 146 0 0 25 0 1 0 54009432 1604419584 358153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 391704 358153 170 317 0 391383 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1566816 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18531 /proc/meminfo: memFree=305464/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=1590820 CPUtime=1421.94 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 366513 0 0 0 142045 149 0 0 25 0 1 0 54009432 1628999680 363818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 397705 363818 170 317 0 397384 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1590820 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18531 /proc/meminfo: memFree=280184/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=1619188 CPUtime=1481.92 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 372868 0 0 0 148041 151 0 0 25 0 1 0 54009432 1658048512 370169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 404797 370169 170 317 0 404476 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 1619188 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18531 /proc/meminfo: memFree=152824/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=1842280 CPUtime=1541.91 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 404566 0 0 0 154026 165 0 0 25 0 1 0 54009432 1886494720 401836 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 460570 401836 170 317 0 460249 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1842280 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1543.8 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18531 /proc/meminfo: memFree=151928/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=1843252 CPUtime=1543.41 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194304 404759 0 0 0 154176 165 0 0 25 0 1 0 54009432 1887490048 402029 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 460813 402029 170 317 0 460492 0 Current children cumulated CPU time (s) 1543.41 Current children cumulated vsize (KiB) 1843252 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1544.2 s] /proc/loadavg: 0.99 0.97 0.98 2/65 18531 /proc/meminfo: memFree=151928/2055920 swapFree=4183800/4192956 [pid=18528] ppid=18526 vsize=0 CPUtime=1543.81 /proc/18528/stat : 18528 (oree) R 18526 18528 18143 0 -1 4194308 404800 0 0 0 154196 185 0 0 25 0 1 0 54009432 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18528/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1543.81 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1544.27 CPU time (s): 1543.88 CPU user time (s): 1541.97 CPU system time (s): 1.91371 CPU usage (%): 99.9752 Max. virtual memory (cumulated for all children) (KiB): 1843264 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1541.97 system time used= 1.91371 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 404800 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= 2902 runsolver used 1.10083 second user time and 3.14052 second system time The end
Begin job on node50 on Thu Apr 19 14:07:23 UTC 2007 IDJOB= 357220 IDBENCH= 2281 IDSOLVER= 172 FILE ID= node50/357220-1176991642 PBS_JOBID= 4630427 Free space on /tmp= 66498 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3702.opb COMMAND LINE= oree /tmp/evaluation/357220-1176991642/instance-357220-1176991642.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-357220-1176991642 -o ROOT/results/node50/solver-357220-1176991642 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357220-1176991642/instance-357220-1176991642.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= d696f4100af4494c851a4f1a4044ecb8 RANDOM SEED= 832463601 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node50.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: 1763672 kB Buffers: 13048 kB Cached: 214336 kB SwapCached: 2932 kB Active: 103020 kB Inactive: 133816 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1763672 kB SwapTotal: 4192956 kB SwapFree: 4183800 kB Dirty: 9896 kB Writeback: 0 kB Mapped: 15400 kB Slab: 41312 kB Committed_AS: 1067408 kB PageTables: 1460 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= 66498 MiB End job on node50 on Thu Apr 19 14:33:09 UTC 2007