Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.12 | 1800.67 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900575442.opb |
MD5SUM | 3135d58f22cd009942de3e1dff086931 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 15.9296 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 667 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.00/0.02 c ...done 0.00/0.02 c #vars=231 #constraints=2707 hasObjective=no 0.00/0.02 c res. mode=mod 0.00/0.02 c VSIDS like heuristics 0.00/0.02 c complete search running 0.29/0.32 c restart after 401 decisions 0.39/0.43 c nbDecision=500 #constraints=3180 0.79/0.82 c restart after 801 decisions 1.09/1.17 c nbDecision=1000 #constraints=3663 2.29/2.32 c nbDecision=1500 #constraints=4157 2.69/2.70 c restart after 1601 decisions 3.99/4.08 c nbDecision=2000 #constraints=4636 6.19/6.24 c nbDecision=2500 #constraints=5123 8.28/8.34 c nbDecision=3000 #constraints=5615 9.48/9.55 c restart after 3201 decisions 11.29/11.32 c nbDecision=3500 #constraints=6088 15.59/15.65 c nbDecision=4000 #constraints=6575 20.28/20.35 c nbDecision=4500 #constraints=7066 25.68/25.72 c nbDecision=5000 #constraints=7557 32.68/32.78 c nbDecision=5500 #constraints=8040 40.38/40.49 c nbDecision=6000 #constraints=8519 49.08/49.12 c restart after 6401 decisions 51.58/51.70 c nbDecision=6500 #constraints=8997 64.67/64.71 c nbDecision=7000 #constraints=9485 78.07/78.15 c nbDecision=7500 #constraints=9963 92.46/92.55 c nbDecision=8000 #constraints=10445 112.36/112.47 c nbDecision=8500 #constraints=10947 134.34/134.41 c nbDecision=9000 #constraints=11440 149.15/149.26 c nbDecision=9500 #constraints=11921 167.73/167.88 c nbDecision=10000 #constraints=12405 190.33/190.44 c nbDecision=10500 #constraints=12895 214.42/214.55 c nbDecision=11000 #constraints=13384 237.62/237.78 c nbDecision=11500 #constraints=13867 264.41/264.56 c nbDecision=12000 #constraints=14352 284.71/284.81 c nbDecision=12500 #constraints=14845 305.50/305.63 c restart after 12801 decisions 316.89/317.05 c nbDecision=13000 #constraints=15333 338.18/338.32 c nbDecision=13500 #constraints=15816 364.48/364.65 c nbDecision=14000 #constraints=16296 393.57/393.80 c nbDecision=14500 #constraints=16775 422.66/422.80 c nbDecision=15000 #constraints=17263 446.95/447.10 c nbDecision=15500 #constraints=17750 479.84/480.07 c nbDecision=16000 #constraints=18233 512.84/513.01 c nbDecision=16500 #constraints=18722 541.92/542.12 c nbDecision=17000 #constraints=19201 577.11/577.33 c nbDecision=17500 #constraints=19694 611.51/611.75 c nbDecision=18000 #constraints=20180 651.89/652.11 c nbDecision=18500 #constraints=20672 690.18/690.48 c nbDecision=19000 #constraints=21160 723.67/723.97 c nbDecision=19500 #constraints=21646 771.16/771.44 c nbDecision=20000 #constraints=22142 813.54/813.89 c nbDecision=20500 #constraints=22625 846.74/847.09 c nbDecision=21000 #constraints=23116 889.01/889.34 c nbDecision=21500 #constraints=23601 935.31/935.61 c nbDecision=22000 #constraints=24089 984.89/985.20 c nbDecision=22500 #constraints=24570 1024.78/1025.19 c nbDecision=23000 #constraints=25053 1071.37/1071.74 c nbDecision=23500 #constraints=25538 1134.74/1135.13 c nbDecision=24000 #constraints=26031 1190.43/1190.82 c nbDecision=24500 #constraints=26516 1252.41/1252.83 c nbDecision=25000 #constraints=27005 1310.99/1311.49 c nbDecision=25500 #constraints=27484 1322.98/1323.45 c restart after 25601 decisions 1388.06/1388.58 c nbDecision=26000 #constraints=27964 1478.14/1478.68 c nbDecision=26500 #constraints=28459 1574.11/1574.64 c nbDecision=27000 #constraints=28955 1647.29/1647.82 c nbDecision=27500 #constraints=29431 1711.27/1711.83 c nbDecision=28000 #constraints=29920 1783.55/1784.16 c nbDecision=28500 #constraints=30414 1800.05/1800.60 Received signal 15 1800.05/1800.65 1800.05/1800.65 s UNKNOWN 1800.05/1800.65 1800.05/1800.65 c user time= 1799.85 s 1800.05/1800.65 c system time= 0.254961 s 1800.05/1800.65 c wall clock time=1800.66
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node22/watcher-359480-1176840420 -o ROOT/results/node22/solver-359480-1176840420 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/359480-1176840420/instance-359480-1176840420.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.72 0.93 0.98 3/77 23886 /proc/meminfo: memFree=1852480/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=1468 CPUtime=0 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 131959696 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 367 166 130 317 0 46 0 [startup+0.08683 s] /proc/loadavg: 0.72 0.93 0.98 3/77 23886 /proc/meminfo: memFree=1852480/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=2544 CPUtime=0.08 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 425 0 0 0 8 0 0 0 18 0 1 0 131959696 2605056 407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710982 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 636 407 139 317 0 315 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2544 [startup+0.101833 s] /proc/loadavg: 0.72 0.93 0.98 3/77 23886 /proc/meminfo: memFree=1852480/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=2544 CPUtime=0.09 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 425 0 0 0 9 0 0 0 18 0 1 0 131959696 2605056 407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272576 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 636 407 139 317 0 315 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2544 [startup+0.301862 s] /proc/loadavg: 0.72 0.93 0.98 3/77 23886 /proc/meminfo: memFree=1852480/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=2804 CPUtime=0.29 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 527 0 0 0 29 0 0 0 19 0 1 0 131959696 2871296 509 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 701 509 170 317 0 380 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2804 [startup+0.701925 s] /proc/loadavg: 0.72 0.93 0.98 3/77 23886 /proc/meminfo: memFree=1852480/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=3068 CPUtime=0.69 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 617 0 0 0 69 0 0 0 23 0 1 0 131959696 3141632 599 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563351 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 767 599 170 317 0 446 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3068 [startup+1.50104 s] /proc/loadavg: 0.74 0.94 0.98 2/78 23887 /proc/meminfo: memFree=1850616/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=3596 CPUtime=1.49 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 748 0 0 0 149 0 0 0 25 0 1 0 131959696 3682304 730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 899 730 170 317 0 578 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3596 [startup+3.10129 s] /proc/loadavg: 0.74 0.94 0.98 2/78 23887 /proc/meminfo: memFree=1849784/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=4252 CPUtime=3.09 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 919 0 0 0 309 0 0 0 25 0 1 0 131959696 4354048 901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 1063 901 170 317 0 742 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4252 [startup+6.30178 s] /proc/loadavg: 0.76 0.94 0.98 2/78 23887 /proc/meminfo: memFree=1848696/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=5172 CPUtime=6.29 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 1138 0 0 0 629 0 0 0 25 0 1 0 131959696 5296128 1120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716120 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 1293 1120 170 317 0 972 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 5172 [startup+12.7018 s] /proc/loadavg: 0.78 0.94 0.98 2/78 23887 /proc/meminfo: memFree=1846840/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=7024 CPUtime=12.69 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 1601 0 0 0 1268 1 0 0 25 0 1 0 131959696 7192576 1546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563983 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 1756 1546 170 317 0 1435 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 7024 [startup+25.5017 s] /proc/loadavg: 0.81 0.94 0.98 2/78 23887 /proc/meminfo: memFree=1844728/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=8996 CPUtime=25.48 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 2101 0 0 0 2547 1 0 0 25 0 1 0 131959696 9211904 2046 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 2249 2046 170 317 0 1928 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 8996 [startup+51.1016 s] /proc/loadavg: 0.88 0.94 0.98 2/78 23887 /proc/meminfo: memFree=1842552/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=11124 CPUtime=51.08 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 2643 0 0 0 5106 2 0 0 25 0 1 0 131959696 11390976 2588 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563464 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 2781 2588 170 317 0 2460 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 11124 [startup+102.305 s] /proc/loadavg: 0.95 0.95 0.98 2/78 23887 /proc/meminfo: memFree=1840056/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=13804 CPUtime=102.26 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 3317 0 0 0 10223 3 0 0 25 0 1 0 131959696 14135296 3190 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 3451 3190 170 317 0 3130 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 13804 [startup+162.302 s] /proc/loadavg: 0.98 0.95 0.98 2/78 23887 /proc/meminfo: memFree=1837816/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=16228 CPUtime=162.24 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 3876 0 0 0 16220 4 0 0 25 0 1 0 131959696 16617472 3749 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563441 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 4057 3749 170 317 0 3736 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 16228 [startup+222.302 s] /proc/loadavg: 0.99 0.96 0.98 2/78 23887 /proc/meminfo: memFree=1835768/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=18128 CPUtime=222.23 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 4371 0 0 0 22217 6 0 0 25 0 1 0 131959696 18563072 4244 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563419 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 4532 4244 170 317 0 4211 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 18128 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 23887 /proc/meminfo: memFree=1833720/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=20300 CPUtime=282.2 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 4886 0 0 0 28214 6 0 0 25 0 1 0 131959696 20787200 4759 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 5075 4759 170 317 0 4754 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 20300 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 23887 /proc/meminfo: memFree=1831992/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=21932 CPUtime=342.18 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 5302 0 0 0 34211 7 0 0 25 0 1 0 131959696 22458368 5175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718534 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 5483 5175 170 317 0 5162 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 21932 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 23887 /proc/meminfo: memFree=1830264/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=23796 CPUtime=402.16 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 5739 0 0 0 40208 8 0 0 25 0 1 0 131959696 24367104 5612 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 5949 5612 170 317 0 5628 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 23796 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 23887 /proc/meminfo: memFree=1828408/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=25640 CPUtime=462.15 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 6194 0 0 0 46206 9 0 0 25 0 1 0 131959696 26255360 6067 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 6410 6067 170 317 0 6089 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 25640 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 23887 /proc/meminfo: memFree=1827064/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=27144 CPUtime=522.13 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 6549 0 0 0 52203 10 0 0 25 0 1 0 131959696 27795456 6422 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 6786 6422 170 317 0 6465 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 27144 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 23887 /proc/meminfo: memFree=1825656/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=28476 CPUtime=582.12 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 6881 0 0 0 58201 11 0 0 25 0 1 0 131959696 29159424 6754 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 7119 6754 170 317 0 6798 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 28476 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 23887 /proc/meminfo: memFree=1824184/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=29968 CPUtime=642.1 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 7244 0 0 0 64199 11 0 0 25 0 1 0 131959696 30687232 7117 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 7492 7117 170 317 0 7171 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 29968 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 23887 /proc/meminfo: memFree=1820280/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=34396 CPUtime=822.04 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 8349 0 0 0 82190 14 0 0 25 0 1 0 131959696 35221504 8080 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 8599 8080 170 317 0 8278 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 34396 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 23887 /proc/meminfo: memFree=1818936/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=35824 CPUtime=882.02 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 8681 0 0 0 88188 14 0 0 25 0 1 0 131959696 36683776 8412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563609 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 8956 8412 170 317 0 8635 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 35824 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 23887 /proc/meminfo: memFree=1817720/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=37140 CPUtime=942 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 8994 0 0 0 94185 15 0 0 25 0 1 0 131959696 38031360 8692 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 9285 8692 170 317 0 8964 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 37140 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 23887 /proc/meminfo: memFree=1816568/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=38376 CPUtime=1001.99 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 9283 0 0 0 100183 16 0 0 25 0 1 0 131959696 39297024 8981 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 9594 8981 170 317 0 9273 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 38376 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 23887 /proc/meminfo: memFree=1815288/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=39424 CPUtime=1061.97 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 9576 0 0 0 106180 17 0 0 25 0 1 0 131959696 40370176 9274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 9856 9274 170 317 0 9535 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 39424 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 23887 /proc/meminfo: memFree=1814392/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=40216 CPUtime=1121.95 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 9796 0 0 0 112178 17 0 0 25 0 1 0 131959696 41181184 9494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 10054 9494 170 317 0 9733 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 40216 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 23887 /proc/meminfo: memFree=1813496/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=41184 CPUtime=1181.93 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 10020 0 0 0 118175 18 0 0 25 0 1 0 131959696 42172416 9718 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 10296 9718 170 317 0 9975 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 41184 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 23887 /proc/meminfo: memFree=1812536/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=42188 CPUtime=1241.91 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 10239 0 0 0 124173 18 0 0 25 0 1 0 131959696 43200512 9937 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 10547 9937 170 317 0 10226 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 42188 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 23887 /proc/meminfo: memFree=1811576/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=43224 CPUtime=1301.9 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 10483 0 0 0 130171 19 0 0 25 0 1 0 131959696 44261376 10181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 10806 10181 170 317 0 10485 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 43224 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 23887 /proc/meminfo: memFree=1810808/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=43752 CPUtime=1361.88 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 10646 0 0 0 136168 20 0 0 25 0 1 0 131959696 44802048 10344 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 10938 10344 170 317 0 10617 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 43752 [startup+1422.31 s] /proc/loadavg: 1.18 1.04 1.00 2/78 23887 /proc/meminfo: memFree=1810232/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=44336 CPUtime=1421.86 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 10793 0 0 0 142165 21 0 0 25 0 1 0 131959696 45400064 10491 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 11084 10491 170 317 0 10763 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 44336 [startup+1482.3 s] /proc/loadavg: 1.06 1.03 1.00 2/78 23887 /proc/meminfo: memFree=1809720/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=44912 CPUtime=1481.84 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 10921 0 0 0 148162 22 0 0 25 0 1 0 131959696 45989888 10619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 11228 10619 170 317 0 10907 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 44912 [startup+1542.3 s] /proc/loadavg: 1.02 1.02 1.00 2/78 23887 /proc/meminfo: memFree=1809208/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=45436 CPUtime=1541.82 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 11036 0 0 0 154160 22 0 0 25 0 1 0 131959696 46526464 10734 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 11359 10734 170 317 0 11038 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 45436 [startup+1602.3 s] /proc/loadavg: 1.01 1.02 1.00 2/78 23887 /proc/meminfo: memFree=1808760/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=45996 CPUtime=1601.8 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 11157 0 0 0 160157 23 0 0 25 0 1 0 131959696 47099904 10855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 11499 10855 170 317 0 11178 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 45996 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 23887 /proc/meminfo: memFree=1808184/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=46556 CPUtime=1661.78 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 11297 0 0 0 166155 23 0 0 25 0 1 0 131959696 47673344 10995 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712497 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 11639 10995 170 317 0 11318 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 46556 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 23887 /proc/meminfo: memFree=1807480/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=47248 CPUtime=1721.77 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 11460 0 0 0 172153 24 0 0 25 0 1 0 131959696 48381952 11158 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 11812 11158 170 317 0 11491 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 47248 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23887 /proc/meminfo: memFree=1806840/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=47904 CPUtime=1781.75 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 11610 0 0 0 178150 25 0 0 25 0 1 0 131959696 49053696 11308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 11976 11308 170 317 0 11655 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 47904 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23887 /proc/meminfo: memFree=1806584/2055920 swapFree=4168624/4192956 [pid=23886] ppid=23884 vsize=48220 CPUtime=1800.05 /proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 11662 0 0 0 179980 25 0 0 25 0 1 0 131959696 49377280 11360 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23886/statm: 12055 11360 170 317 0 11734 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 48220 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.67 CPU time (s): 1800.12 CPU user time (s): 1799.86 CPU system time (s): 0.263959 CPU usage (%): 99.9694 Max. virtual memory (cumulated for all children) (KiB): 48220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.86 system time used= 0.263959 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11678 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= 38037 runsolver used 2.08068 second user time and 4.37033 second system time The end
Begin job on node22 on Tue Apr 17 20:07:00 UTC 2007 IDJOB= 359480 IDBENCH= 1294 IDSOLVER= 172 FILE ID= node22/359480-1176840420 PBS_JOBID= 4590179 Free space on /tmp= 66530 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900575442.opb COMMAND LINE= oree /tmp/evaluation/359480-1176840420/instance-359480-1176840420.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-359480-1176840420 -o ROOT/results/node22/solver-359480-1176840420 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/359480-1176840420/instance-359480-1176840420.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 3135d58f22cd009942de3e1dff086931 RANDOM SEED= 305422155 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node22.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.265 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.265 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: 1852952 kB Buffers: 33916 kB Cached: 86720 kB SwapCached: 2308 kB Active: 55868 kB Inactive: 87220 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1852952 kB SwapTotal: 4192956 kB SwapFree: 4168624 kB Dirty: 1580 kB Writeback: 0 kB Mapped: 30300 kB Slab: 45540 kB Committed_AS: 1716244 kB PageTables: 1676 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= 66530 MiB End job on node22 on Tue Apr 17 20:37:03 UTC 2007