Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.12 | 1800.76 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii16a2.opb |
MD5SUM | 248472fe06219d598fdcc7ece74901af |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1164 |
Best CPU time to get the best result obtained on this benchmark | 1800.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1164 |
Optimality of the best value was proved | NO |
Number of variables | 3204 |
Total number of constraints | 24883 |
Number of constraints which are clauses | 24883 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 16 |
Number of terms in the objective function | 3204 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 3204 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 3204 |
Number of bits of the biggest sum of numbers | 12 |
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.09/0.18 c ...done 0.09/0.18 c #vars=3204 #constraints=24884 hasObjective=yes 0.49/0.59 c res. mode=mod 0.49/0.59 c VSIDS like heuristics 0.49/0.59 c complete search running 0.89/0.95 c restart after 401 decisions 0.89/0.98 c nbDecision=500 #constraints=25003 1.09/1.11 c restart after 801 decisions 1.09/1.19 c nbDecision=1000 #constraints=25040 1.49/1.52 c nbDecision=1500 #constraints=25142 1.49/1.55 c restart after 1601 decisions 1.69/1.73 c nbDecision=2000 #constraints=25177 1.99/2.04 c nbDecision=2500 #constraints=25251 2.69/2.70 c nbDecision=3000 #constraints=25419 2.79/2.80 c restart after 3201 decisions 3.19/3.27 c nbDecision=3500 #constraints=25527 3.99/4.01 c nbDecision=4000 #constraints=25670 5.29/5.40 c nbDecision=4500 #constraints=25917 7.29/7.39 c nbDecision=5000 #constraints=26232 8.58/8.64 c nbDecision=5500 #constraints=26357 9.48/9.55 c nbDecision=6000 #constraints=26430 10.38/10.42 c restart after 6401 decisions 10.58/10.62 c nbDecision=6500 #constraints=26558 11.89/11.92 c nbDecision=7000 #constraints=26671 13.39/13.45 c nbDecision=7500 #constraints=26828 14.79/14.81 c nbDecision=8000 #constraints=26945 16.69/16.78 c nbDecision=8500 #constraints=27144 18.88/18.97 c nbDecision=9000 #constraints=27309 21.68/21.76 c nbDecision=9500 #constraints=27515 24.99/25.08 c nbDecision=10000 #constraints=27733 30.28/30.33 c nbDecision=10500 #constraints=28023 35.18/35.22 c nbDecision=11000 #constraints=28287 39.38/39.50 c nbDecision=11500 #constraints=28502 46.77/46.83 c nbDecision=12000 #constraints=28811 51.58/51.70 c nbDecision=12500 #constraints=29023 56.07/56.14 c restart after 12801 decisions 57.97/58.01 c nbDecision=13000 #constraints=29248 65.36/65.48 c nbDecision=13500 #constraints=29501 73.16/73.26 c nbDecision=14000 #constraints=29740 83.66/83.79 c nbDecision=14500 #constraints=30041 95.05/95.11 c nbDecision=15000 #constraints=30370 106.75/106.88 c nbDecision=15500 #constraints=30697 120.44/120.59 c nbDecision=16000 #constraints=31026 133.84/133.97 c nbDecision=16500 #constraints=31290 148.34/148.49 c nbDecision=17000 #constraints=31509 155.83/155.99 c nbDecision=17500 #constraints=31713 169.24/169.31 c nbDecision=18000 #constraints=32036 176.03/176.11 c nbDecision=18500 #constraints=32190 186.12/186.25 c nbDecision=19000 #constraints=32428 204.22/204.37 c nbDecision=19500 #constraints=32773 220.61/220.71 c nbDecision=20000 #constraints=33086 238.90/239.09 c nbDecision=20500 #constraints=33435 258.30/258.43 c nbDecision=21000 #constraints=33730 276.39/276.54 c nbDecision=21500 #constraints=34031 302.68/302.89 c nbDecision=22000 #constraints=34404 326.08/326.28 c nbDecision=22500 #constraints=34715 341.17/341.31 c nbDecision=23000 #constraints=34909 361.36/361.51 c nbDecision=23500 #constraints=35256 381.55/381.71 c nbDecision=24000 #constraints=35572 405.25/405.49 c nbDecision=24500 #constraints=35907 430.24/430.45 c nbDecision=25000 #constraints=36230 456.33/456.52 c nbDecision=25500 #constraints=36569 461.82/462.00 c restart after 25601 decisions 485.32/485.58 c nbDecision=26000 #constraints=36868 519.01/519.23 c nbDecision=26500 #constraints=37229 552.20/552.41 c nbDecision=27000 #constraints=37589 580.49/580.76 c nbDecision=27500 #constraints=37854 617.97/618.24 c nbDecision=28000 #constraints=38110 645.66/645.91 c nbDecision=28500 #constraints=38412 675.45/675.78 c nbDecision=29000 #constraints=38710 714.04/714.38 c nbDecision=29500 #constraints=39087 753.13/753.46 c nbDecision=30000 #constraints=39427 803.81/804.11 c nbDecision=30500 #constraints=39832 844.79/845.14 c nbDecision=31000 #constraints=40054 892.27/892.64 c nbDecision=31500 #constraints=40368 923.86/924.24 c nbDecision=32000 #constraints=40673 941.75/942.18 c nbDecision=32500 #constraints=40862 963.25/963.64 c nbDecision=33000 #constraints=41095 984.74/985.16 c nbDecision=33500 #constraints=41326 1012.73/1013.13 c nbDecision=34000 #constraints=41608 1055.62/1056.09 c nbDecision=34500 #constraints=41966 1092.70/1093.14 c nbDecision=35000 #constraints=42293 1135.79/1136.28 c nbDecision=35500 #constraints=42584 1176.17/1176.66 c nbDecision=36000 #constraints=42909 1228.06/1228.51 c nbDecision=36500 #constraints=43249 1256.45/1256.94 c nbDecision=37000 #constraints=43451 1281.74/1282.25 c nbDecision=37500 #constraints=43693 1317.12/1317.61 c nbDecision=38000 #constraints=43968 1337.02/1337.52 c nbDecision=38500 #constraints=44119 1361.11/1361.60 c nbDecision=39000 #constraints=44344 1392.30/1392.87 c nbDecision=39500 #constraints=44623 1437.28/1437.87 c nbDecision=40000 #constraints=44958 1481.46/1482.07 c nbDecision=40500 #constraints=45303 1533.35/1533.91 c nbDecision=41000 #constraints=45678 1581.14/1581.70 c nbDecision=41500 #constraints=46016 1627.02/1627.62 c nbDecision=42000 #constraints=46326 1686.60/1687.23 c nbDecision=42500 #constraints=46720 1752.57/1753.24 c nbDecision=43000 #constraints=47072 1800.07/1800.70 Received signal 15 1800.07/1800.72 1800.07/1800.72 s UNKNOWN 1800.07/1800.72 1800.07/1800.72 c user time= 1799.85 s 1800.07/1800.72 c system time= 0.241963 s 1800.07/1800.72 c wall clock time=1800.73
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node66/watcher-357149-1176988787 -o ROOT/results/node66/solver-357149-1176988787 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357149-1176988787/instance-357149-1176988787.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.98 0.97 3/64 25047 /proc/meminfo: memFree=1470008/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=1620 CPUtime=0 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 181 0 0 0 0 0 0 0 19 0 1 0 174868280 1658880 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 405 164 126 317 0 84 0 [startup+0.098215 s] /proc/loadavg: 0.92 0.98 0.97 3/64 25047 /proc/meminfo: memFree=1470008/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=3640 CPUtime=0.09 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 717 0 0 0 9 0 0 0 19 0 1 0 174868280 3727360 699 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 910 700 130 317 0 589 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3640 [startup+0.101215 s] /proc/loadavg: 0.92 0.98 0.97 3/64 25047 /proc/meminfo: memFree=1470008/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=3772 CPUtime=0.09 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 734 0 0 0 9 0 0 0 20 0 1 0 174868280 3862528 716 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 943 717 130 317 0 622 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3772 [startup+0.301254 s] /proc/loadavg: 0.92 0.98 0.97 3/64 25047 /proc/meminfo: memFree=1470008/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=7428 CPUtime=0.29 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 1680 0 0 0 29 0 0 0 21 0 1 0 174868280 7606272 1662 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 1857 1662 137 317 0 1536 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7428 [startup+0.702335 s] /proc/loadavg: 0.92 0.98 0.97 3/64 25047 /proc/meminfo: memFree=1470008/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=9296 CPUtime=0.69 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 2145 0 0 0 69 0 0 0 25 0 1 0 174868280 9519104 1956 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562768 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 2324 1956 139 317 0 2003 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9296 [startup+1.5015 s] /proc/loadavg: 0.92 0.98 0.97 2/65 25048 /proc/meminfo: memFree=1462448/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=9296 CPUtime=1.49 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 2145 0 0 0 149 0 0 0 25 0 1 0 174868280 9519104 1956 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 2324 1956 139 317 0 2003 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9296 [startup+3.10181 s] /proc/loadavg: 0.92 0.98 0.97 2/65 25048 /proc/meminfo: memFree=1462320/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=10340 CPUtime=3.09 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 2393 0 0 0 309 0 0 0 25 0 1 0 174868280 10588160 2204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562657 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 2585 2204 139 317 0 2264 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10340 [startup+6.30145 s] /proc/loadavg: 0.93 0.98 0.97 2/65 25048 /proc/meminfo: memFree=1459760/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=12684 CPUtime=6.29 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 2987 0 0 0 628 1 0 0 25 0 1 0 174868280 12988416 2798 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714668 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 3171 2798 139 317 0 2850 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12684 [startup+12.7017 s] /proc/loadavg: 0.93 0.98 0.97 2/65 25048 /proc/meminfo: memFree=1456752/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=15336 CPUtime=12.69 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 3647 0 0 0 1267 2 0 0 25 0 1 0 174868280 15704064 3458 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 3834 3458 139 317 0 3513 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15336 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.97 2/65 25048 /proc/meminfo: memFree=1452592/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=19292 CPUtime=25.49 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 4603 0 0 0 2546 3 0 0 25 0 1 0 174868280 19755008 4414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266198 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 4823 4414 139 317 0 4502 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 19292 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.97 2/65 25048 /proc/meminfo: memFree=1447344/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=24900 CPUtime=51.07 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 5947 0 0 0 5103 4 0 0 25 0 1 0 174868280 25497600 5758 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 6225 5758 139 317 0 5904 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 24900 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.97 2/65 25048 /proc/meminfo: memFree=1440368/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=32100 CPUtime=102.25 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 7648 0 0 0 10220 5 0 0 25 0 1 0 174868280 32870400 7459 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 8025 7459 139 317 0 7704 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 32100 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.97 2/65 25048 /proc/meminfo: memFree=1435184/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=37512 CPUtime=162.23 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 8961 0 0 0 16217 6 0 0 25 0 1 0 174868280 38412288 8772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 9378 8772 139 317 0 9057 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 37512 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.97 2/65 25048 /proc/meminfo: memFree=1429808/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=43064 CPUtime=222.21 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 10314 0 0 0 22213 8 0 0 25 0 1 0 174868280 44097536 10092 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 10766 10092 139 317 0 10445 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 43064 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.97 2/65 25048 /proc/meminfo: memFree=1425264/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=47300 CPUtime=282.18 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 11447 0 0 0 28209 9 0 0 25 0 1 0 174868280 48435200 11225 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 11825 11225 139 317 0 11504 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 47300 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.97 2/65 25048 /proc/meminfo: memFree=1421552/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=51420 CPUtime=342.17 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 12369 0 0 0 34207 10 0 0 25 0 1 0 174868280 52654080 12147 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 12855 12147 139 317 0 12534 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 51420 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.97 2/65 25048 /proc/meminfo: memFree=1417136/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=56344 CPUtime=402.15 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 13483 0 0 0 40204 11 0 0 25 0 1 0 174868280 57696256 13261 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715798 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 14086 13261 139 317 0 13765 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 56344 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.97 2/65 25048 /proc/meminfo: memFree=1413424/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=60164 CPUtime=462.12 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 14406 0 0 0 46201 11 0 0 25 0 1 0 174868280 61607936 14184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718428 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 15041 14184 139 317 0 14720 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 60164 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.97 2/65 25048 /proc/meminfo: memFree=1410288/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=63408 CPUtime=522.1 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 15197 0 0 0 52198 12 0 0 25 0 1 0 174868280 64929792 14975 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 15852 14975 139 317 0 15531 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 63408 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.97 2/65 25048 /proc/meminfo: memFree=1407664/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=66164 CPUtime=582.08 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 15857 0 0 0 58195 13 0 0 25 0 1 0 174868280 67751936 15635 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715989 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 16541 15635 139 317 0 16220 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 66164 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.97 2/65 25048 /proc/meminfo: memFree=1405232/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=68940 CPUtime=642.07 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 16436 0 0 0 64193 14 0 0 25 0 1 0 174868280 70594560 16214 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 17235 16214 139 317 0 16914 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 68940 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.97 2/65 25048 /proc/meminfo: memFree=1395952/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=79020 CPUtime=881.98 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 18764 0 0 0 88182 16 0 0 25 0 1 0 174868280 80916480 18542 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 19755 18542 139 317 0 19434 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 79020 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.97 2/65 25048 /proc/meminfo: memFree=1393648/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=81356 CPUtime=941.95 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 19339 0 0 0 94179 16 0 0 25 0 1 0 174868280 83308544 19117 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 20339 19117 139 317 0 20018 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 81356 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.97 2/65 25048 /proc/meminfo: memFree=1391216/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=83560 CPUtime=1001.94 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 19942 0 0 0 100176 18 0 0 25 0 1 0 174868280 85565440 19720 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 20890 19720 139 317 0 20569 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 83560 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.97 2/65 25048 /proc/meminfo: memFree=1388784/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=86028 CPUtime=1061.92 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 20540 0 0 0 106173 19 0 0 25 0 1 0 174868280 88092672 20318 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 21507 20318 139 317 0 21186 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 86028 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.97 2/65 25048 /proc/meminfo: memFree=1386672/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=88252 CPUtime=1121.89 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 21100 0 0 0 112170 19 0 0 25 0 1 0 174868280 90370048 20878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 22063 20878 139 317 0 21742 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 88252 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.97 2/65 25048 /proc/meminfo: memFree=1384496/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=90220 CPUtime=1181.87 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 21615 0 0 0 118168 19 0 0 25 0 1 0 174868280 92385280 21393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 22555 21393 139 317 0 22234 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 90220 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.97 2/65 25048 /proc/meminfo: memFree=1382896/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=91656 CPUtime=1241.85 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 22021 0 0 0 124165 20 0 0 25 0 1 0 174868280 93855744 21799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 22914 21799 139 317 0 22593 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 91656 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.97 2/65 25050 /proc/meminfo: memFree=1380720/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=93888 CPUtime=1301.83 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 22564 0 0 0 130163 20 0 0 25 0 1 0 174868280 96141312 22342 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 23472 22342 139 317 0 23151 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 93888 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.97 2/65 25050 /proc/meminfo: memFree=1378672/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=96544 CPUtime=1361.81 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 23196 0 0 0 136160 21 0 0 25 0 1 0 174868280 98861056 22842 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 24136 22842 139 317 0 23815 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 96544 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.97 2/65 25050 /proc/meminfo: memFree=1376496/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=99408 CPUtime=1421.79 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 23879 0 0 0 142158 21 0 0 25 0 1 0 174868280 101793792 23393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 24852 23393 139 317 0 24531 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 99408 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.97 2/65 25050 /proc/meminfo: memFree=1374384/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=102380 CPUtime=1481.76 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 24600 0 0 0 148155 21 0 0 25 0 1 0 174868280 104837120 23916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 25595 23916 139 317 0 25274 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 102380 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.97 2/65 25050 /proc/meminfo: memFree=1371888/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=105184 CPUtime=1541.75 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 25291 0 0 0 154153 22 0 0 25 0 1 0 174868280 107708416 24541 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 26296 24541 139 317 0 25975 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 105184 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.97 2/65 25050 /proc/meminfo: memFree=1369968/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=107036 CPUtime=1601.72 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 25756 0 0 0 160150 22 0 0 25 0 1 0 174868280 109604864 25006 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 26759 25006 139 317 0 26438 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 107036 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.97 2/65 25050 /proc/meminfo: memFree=1367728/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=109512 CPUtime=1661.71 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 26376 0 0 0 166148 23 0 0 25 0 1 0 174868280 112140288 25560 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 27378 25560 139 317 0 27057 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 109512 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.97 2/65 25050 /proc/meminfo: memFree=1366128/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=111332 CPUtime=1721.68 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 26849 0 0 0 172145 23 0 0 25 0 1 0 174868280 114003968 25967 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 27833 25967 139 317 0 27512 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 111332 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.97 2/65 25050 /proc/meminfo: memFree=1364784/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=112580 CPUtime=1781.67 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 27186 0 0 0 178143 24 0 0 25 0 1 0 174868280 115281920 26304 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 28145 26304 139 317 0 27824 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 112580 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.97 2/65 25050 /proc/meminfo: memFree=1364336/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=112976 CPUtime=1800.07 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 27287 0 0 0 179983 24 0 0 25 0 1 0 174868280 115687424 26405 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 28244 26405 139 317 0 27923 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 112976 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: 0.99 0.98 0.97 2/65 25050 /proc/meminfo: memFree=1364336/2055920 swapFree=4182980/4192956 [pid=25047] ppid=25045 vsize=112976 CPUtime=1800.07 /proc/25047/stat : 25047 (oree) R 25045 25047 23251 0 -1 4194304 27287 0 0 0 179983 24 0 0 25 0 1 0 174868280 115687424 26405 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25047/statm: 28244 26405 139 317 0 27923 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 112976 Child status: 0 Real time (s): 1800.76 CPU time (s): 1800.12 CPU user time (s): 1799.86 CPU system time (s): 0.25996 CPU usage (%): 99.9646 Max. virtual memory (cumulated for all children) (KiB): 112976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.86 system time used= 0.25996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27303 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= 7 involuntary context switches= 1450 runsolver used 1.34879 second user time and 3.60645 second system time The end
Begin job on node66 on Thu Apr 19 13:19:47 UTC 2007 IDJOB= 357149 IDBENCH= 2162 IDSOLVER= 172 FILE ID= node66/357149-1176988787 PBS_JOBID= 4630406 Free space on /tmp= 66408 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16a2.opb COMMAND LINE= oree /tmp/evaluation/357149-1176988787/instance-357149-1176988787.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-357149-1176988787 -o ROOT/results/node66/solver-357149-1176988787 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357149-1176988787/instance-357149-1176988787.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 248472fe06219d598fdcc7ece74901af RANDOM SEED= 56370317 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: 1470416 kB Buffers: 29112 kB Cached: 485148 kB SwapCached: 3696 kB Active: 204276 kB Inactive: 320124 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1470416 kB SwapTotal: 4192956 kB SwapFree: 4182980 kB Dirty: 1956 kB Writeback: 0 kB Mapped: 16080 kB Slab: 47140 kB Committed_AS: 829812 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= 66408 MiB End job on node66 on Thu Apr 19 13:49:50 UTC 2007