Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.09 | 1800.53 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900565534.opb |
MD5SUM | 0fea7c185f4d6e2091fba763db8ccbcc |
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 | 42.7635 |
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 | 685 |
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.03 c res. mode=mod 0.00/0.03 c VSIDS like heuristics 0.00/0.03 c complete search running 0.19/0.28 c restart after 401 decisions 0.29/0.39 c nbDecision=500 #constraints=3175 0.89/0.92 c restart after 801 decisions 1.19/1.26 c nbDecision=1000 #constraints=3657 2.19/2.21 c nbDecision=1500 #constraints=4149 2.39/2.42 c restart after 1601 decisions 3.89/3.94 c nbDecision=2000 #constraints=4628 5.99/6.00 c nbDecision=2500 #constraints=5104 9.09/9.12 c nbDecision=3000 #constraints=5589 10.29/10.32 c restart after 3201 decisions 12.69/12.76 c nbDecision=3500 #constraints=6059 16.79/16.81 c nbDecision=4000 #constraints=6543 21.89/21.96 c nbDecision=4500 #constraints=7016 27.08/27.12 c nbDecision=5000 #constraints=7500 33.19/33.27 c nbDecision=5500 #constraints=7982 41.18/41.20 c nbDecision=6000 #constraints=8467 47.68/47.75 c restart after 6401 decisions 49.48/49.56 c nbDecision=6500 #constraints=8942 61.47/61.57 c nbDecision=7000 #constraints=9427 75.07/75.13 c nbDecision=7500 #constraints=9914 89.76/89.80 c nbDecision=8000 #constraints=10403 104.86/104.97 c nbDecision=8500 #constraints=10888 120.97/121.09 c nbDecision=9000 #constraints=11358 135.27/135.36 c nbDecision=9500 #constraints=11843 149.56/149.61 c nbDecision=10000 #constraints=12331 166.75/166.80 c nbDecision=10500 #constraints=12818 189.55/189.65 c nbDecision=11000 #constraints=13301 207.84/207.93 c nbDecision=11500 #constraints=13779 227.83/227.96 c nbDecision=12000 #constraints=14268 250.73/250.85 c nbDecision=12500 #constraints=14751 267.22/267.35 c restart after 12801 decisions 276.32/276.42 c nbDecision=13000 #constraints=15228 304.32/304.45 c nbDecision=13500 #constraints=15702 331.01/331.14 c nbDecision=14000 #constraints=16185 356.60/356.77 c nbDecision=14500 #constraints=16668 385.39/385.58 c nbDecision=15000 #constraints=17159 413.49/413.63 c nbDecision=15500 #constraints=17639 443.28/443.40 c nbDecision=16000 #constraints=18128 476.27/476.46 c nbDecision=16500 #constraints=18608 508.86/509.02 c nbDecision=17000 #constraints=19096 544.06/544.20 c nbDecision=17500 #constraints=19589 579.25/579.47 c nbDecision=18000 #constraints=20072 604.24/604.48 c nbDecision=18500 #constraints=20566 631.44/631.67 c nbDecision=19000 #constraints=21053 660.33/660.57 c nbDecision=19500 #constraints=21544 691.52/691.75 c nbDecision=20000 #constraints=22031 725.41/725.60 c nbDecision=20500 #constraints=22516 756.71/756.97 c nbDecision=21000 #constraints=23002 789.10/789.32 c nbDecision=21500 #constraints=23480 822.99/823.29 c nbDecision=22000 #constraints=23960 853.28/853.54 c nbDecision=22500 #constraints=24448 887.27/887.51 c nbDecision=23000 #constraints=24930 918.57/918.84 c nbDecision=23500 #constraints=25423 953.76/954.00 c nbDecision=24000 #constraints=25913 996.75/997.06 c nbDecision=24500 #constraints=26407 1033.44/1033.74 c nbDecision=25000 #constraints=26891 1072.33/1072.65 c nbDecision=25500 #constraints=27377 1080.02/1080.35 c restart after 25601 decisions 1117.32/1117.61 c nbDecision=26000 #constraints=27862 1161.71/1162.08 c nbDecision=26500 #constraints=28359 1208.80/1209.11 c nbDecision=27000 #constraints=28829 1259.09/1259.45 c nbDecision=27500 #constraints=29307 1314.57/1314.94 c nbDecision=28000 #constraints=29790 1377.25/1377.67 c nbDecision=28500 #constraints=30276 1433.64/1434.08 c nbDecision=29000 #constraints=30764 1477.83/1478.27 c nbDecision=29500 #constraints=31254 1525.81/1526.28 c nbDecision=30000 #constraints=31741 1573.21/1573.63 c nbDecision=30500 #constraints=32227 1636.30/1636.77 c nbDecision=31000 #constraints=32718 1694.38/1694.84 c nbDecision=31500 #constraints=33205 1752.66/1753.14 c nbDecision=32000 #constraints=33693 1800.05/1800.50 Received signal 15 1800.05/1800.51 1800.05/1800.51 s UNKNOWN 1800.05/1800.51 1800.05/1800.51 c user time= 1799.95 s 1800.05/1800.51 c system time= 0.119981 s 1800.05/1800.51 c wall clock time=1800.51
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node48/watcher-359410-1176840270 -o ROOT/results/node48/solver-359410-1176840270 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/359410-1176840270/instance-359410-1176840270.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.99 3/64 21026 /proc/meminfo: memFree=1638384/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=1468 CPUtime=0 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 177 0 0 0 0 0 0 0 18 0 1 0 38872351 1503232 159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134530770 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 367 159 130 317 0 46 0 [startup+0.0103691 s] /proc/loadavg: 0.92 0.98 0.99 3/64 21026 /proc/meminfo: memFree=1638384/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=1600 CPUtime=0 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 208 0 0 0 0 0 0 0 18 0 1 0 38872351 1638400 191 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 400 191 130 317 0 79 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1600 [startup+0.101378 s] /proc/loadavg: 0.92 0.98 0.99 3/64 21026 /proc/meminfo: memFree=1638384/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=2544 CPUtime=0.09 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 425 0 0 0 9 0 0 0 18 0 1 0 38872351 2605056 407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715989 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 636 407 139 317 0 315 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2544 [startup+0.301396 s] /proc/loadavg: 0.92 0.98 0.99 3/64 21026 /proc/meminfo: memFree=1638384/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=2808 CPUtime=0.29 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 541 0 0 0 29 0 0 0 19 0 1 0 38872351 2875392 523 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 702 523 170 317 0 381 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2808 [startup+0.701433 s] /proc/loadavg: 0.92 0.98 0.99 3/64 21026 /proc/meminfo: memFree=1638384/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=3200 CPUtime=0.69 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 624 0 0 0 69 0 0 0 23 0 1 0 38872351 3276800 606 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 800 606 170 317 0 479 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3200 [startup+1.50151 s] /proc/loadavg: 0.92 0.98 0.99 2/65 21027 /proc/meminfo: memFree=1636392/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=3728 CPUtime=1.49 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 785 0 0 0 149 0 0 0 25 0 1 0 38872351 3817472 767 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 932 767 170 317 0 611 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3728 [startup+3.10165 s] /proc/loadavg: 0.93 0.98 0.99 2/65 21027 /proc/meminfo: memFree=1635496/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=4520 CPUtime=3.09 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 973 0 0 0 309 0 0 0 25 0 1 0 38872351 4628480 955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711134 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 1130 955 170 317 0 809 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4520 [startup+6.30195 s] /proc/loadavg: 0.93 0.98 0.99 2/65 21027 /proc/meminfo: memFree=1634152/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=5584 CPUtime=6.29 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 1223 0 0 0 628 1 0 0 25 0 1 0 38872351 5718016 1205 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 1396 1205 170 317 0 1075 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 5584 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.99 2/65 21027 /proc/meminfo: memFree=1632744/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=6928 CPUtime=12.69 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 1570 0 0 0 1268 1 0 0 25 0 1 0 38872351 7094272 1515 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 1732 1515 170 317 0 1411 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 6928 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/65 21027 /proc/meminfo: memFree=1630888/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=8708 CPUtime=25.48 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 2019 0 0 0 2547 1 0 0 25 0 1 0 38872351 8916992 1964 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 2177 1964 170 317 0 1856 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 8708 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.99 2/65 21027 /proc/meminfo: memFree=1628648/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=10856 CPUtime=51.07 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 2582 0 0 0 5105 2 0 0 25 0 1 0 38872351 11116544 2527 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 2714 2527 170 317 0 2393 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 10856 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 21027 /proc/meminfo: memFree=1625896/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=13952 CPUtime=102.27 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 3324 0 0 0 10224 3 0 0 25 0 1 0 38872351 14286848 3197 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 3488 3197 170 317 0 3167 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 13952 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 21027 /proc/meminfo: memFree=1622952/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=17068 CPUtime=162.25 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 4054 0 0 0 16221 4 0 0 25 0 1 0 38872351 17477632 3927 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 4267 3927 170 317 0 3946 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 17068 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 21029 /proc/meminfo: memFree=1621032/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=18944 CPUtime=222.23 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 4552 0 0 0 22219 4 0 0 25 0 1 0 38872351 19398656 4425 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711181 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 4736 4425 170 317 0 4415 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 18944 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 21029 /proc/meminfo: memFree=1619112/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=20884 CPUtime=282.22 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 5035 0 0 0 28218 4 0 0 25 0 1 0 38872351 21385216 4908 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 5221 4908 170 317 0 4900 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 20884 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 21029 /proc/meminfo: memFree=1617320/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=22668 CPUtime=342.2 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 5468 0 0 0 34215 5 0 0 25 0 1 0 38872351 23212032 5341 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 5667 5341 170 317 0 5346 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 22668 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 21029 /proc/meminfo: memFree=1615720/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=24528 CPUtime=402.19 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 5893 0 0 0 40213 6 0 0 25 0 1 0 38872351 25116672 5766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 6132 5766 170 317 0 5811 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 24528 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 21029 /proc/meminfo: memFree=1614120/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=26280 CPUtime=462.18 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 6294 0 0 0 46212 6 0 0 25 0 1 0 38872351 26910720 6167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 6570 6167 170 317 0 6249 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 26280 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 21029 /proc/meminfo: memFree=1612712/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=27616 CPUtime=522.17 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 6643 0 0 0 52210 7 0 0 25 0 1 0 38872351 28278784 6516 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715618 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 6904 6516 170 317 0 6583 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 27616 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 21029 /proc/meminfo: memFree=1611304/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=29316 CPUtime=582.15 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 7035 0 0 0 58208 7 0 0 25 0 1 0 38872351 30019584 6875 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 7329 6875 170 317 0 7008 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 29316 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 21029 /proc/meminfo: memFree=1609640/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=31500 CPUtime=642.14 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 7593 0 0 0 64207 7 0 0 25 0 1 0 38872351 32256000 7291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 7875 7291 170 317 0 7554 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 31500 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 21029 /proc/meminfo: memFree=1604392/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=36560 CPUtime=882.07 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 8887 0 0 0 88199 8 0 0 25 0 1 0 38872351 37437440 8585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 9140 8585 170 317 0 8819 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 36560 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 21029 /proc/meminfo: memFree=1602984/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=37948 CPUtime=942.06 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 9231 0 0 0 94197 9 0 0 25 0 1 0 38872351 38858752 8929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 9487 8929 170 317 0 9166 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 37948 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 21029 /proc/meminfo: memFree=1602024/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=38876 CPUtime=1002.05 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 9495 0 0 0 100196 9 0 0 25 0 1 0 38872351 39809024 9193 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 9719 9193 170 317 0 9398 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 38876 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 21029 /proc/meminfo: memFree=1600936/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=40060 CPUtime=1062.03 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 9789 0 0 0 106194 9 0 0 25 0 1 0 38872351 41021440 9487 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 10015 9487 170 317 0 9694 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 40060 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 21029 /proc/meminfo: memFree=1599912/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=40888 CPUtime=1122.01 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 10024 0 0 0 112192 9 0 0 25 0 1 0 38872351 41869312 9722 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 10222 9722 170 317 0 9901 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 40888 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 21029 /proc/meminfo: memFree=1599016/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=41860 CPUtime=1182 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 10254 0 0 0 118190 10 0 0 25 0 1 0 38872351 42864640 9952 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563668 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 10465 9952 170 317 0 10144 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 41860 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 21029 /proc/meminfo: memFree=1598056/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=42800 CPUtime=1241.99 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 10477 0 0 0 124189 10 0 0 25 0 1 0 38872351 43827200 10175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 10700 10175 170 317 0 10379 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 42800 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 21029 /proc/meminfo: memFree=1597288/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=43652 CPUtime=1301.98 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 10660 0 0 0 130188 10 0 0 25 0 1 0 38872351 44699648 10358 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 10913 10358 170 317 0 10592 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 43652 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 21029 /proc/meminfo: memFree=1596584/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=44364 CPUtime=1361.96 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 10829 0 0 0 136186 10 0 0 25 0 1 0 38872351 45428736 10527 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 11091 10527 170 317 0 10770 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 44364 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 21029 /proc/meminfo: memFree=1595880/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=45224 CPUtime=1421.95 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 11014 0 0 0 142185 10 0 0 25 0 1 0 38872351 46309376 10712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 11306 10712 170 317 0 10985 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 45224 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 21029 /proc/meminfo: memFree=1594856/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=46236 CPUtime=1481.93 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 11255 0 0 0 148183 10 0 0 25 0 1 0 38872351 47345664 10953 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 11559 10953 170 317 0 11238 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 46236 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 21029 /proc/meminfo: memFree=1593960/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=47424 CPUtime=1541.91 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 11494 0 0 0 154181 10 0 0 25 0 1 0 38872351 48562176 11192 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 11856 11192 170 317 0 11535 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 47424 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 21029 /proc/meminfo: memFree=1593128/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=48476 CPUtime=1601.9 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 11701 0 0 0 160179 11 0 0 25 0 1 0 38872351 49639424 11399 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 12119 11399 170 317 0 11798 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 48476 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 21029 /proc/meminfo: memFree=1592424/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=49264 CPUtime=1661.89 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 11902 0 0 0 166178 11 0 0 25 0 1 0 38872351 50446336 11567 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716169 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 12316 11567 170 317 0 11995 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 49264 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 21029 /proc/meminfo: memFree=1591656/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=50048 CPUtime=1721.87 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 12107 0 0 0 172176 11 0 0 25 0 1 0 38872351 51249152 11772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 12512 11772 170 317 0 12191 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 50048 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 21029 /proc/meminfo: memFree=1590632/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=51104 CPUtime=1781.85 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 12352 0 0 0 178174 11 0 0 25 0 1 0 38872351 52330496 12017 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 12776 12017 170 317 0 12455 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 51104 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 2/65 21029 /proc/meminfo: memFree=1590312/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=51364 CPUtime=1800.05 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 12427 0 0 0 179994 11 0 0 25 0 1 0 38872351 52596736 12092 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 12841 12092 170 317 0 12520 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 51364 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 2/65 21029 /proc/meminfo: memFree=1590312/2055920 swapFree=4184680/4192956 [pid=21026] ppid=21024 vsize=51364 CPUtime=1800.05 /proc/21026/stat : 21026 (oree) R 21024 21026 20443 0 -1 4194304 12427 0 0 0 179994 11 0 0 25 0 1 0 38872351 52596736 12092 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21026/statm: 12841 12092 170 317 0 12520 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 51364 Child status: 0 Real time (s): 1800.53 CPU time (s): 1800.09 CPU user time (s): 1799.96 CPU system time (s): 0.12798 CPU usage (%): 99.9754 Max. virtual memory (cumulated for all children) (KiB): 51364 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.96 system time used= 0.12798 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12443 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= 1428 runsolver used 1.27181 second user time and 3.66944 second system time The end
Begin job on node48 on Tue Apr 17 20:04:30 UTC 2007 IDJOB= 359410 IDBENCH= 1289 IDSOLVER= 172 FILE ID= node48/359410-1176840270 PBS_JOBID= 4590167 Free space on /tmp= 66547 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.1900565534.opb COMMAND LINE= oree /tmp/evaluation/359410-1176840270/instance-359410-1176840270.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-359410-1176840270 -o ROOT/results/node48/solver-359410-1176840270 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/359410-1176840270/instance-359410-1176840270.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 0fea7c185f4d6e2091fba763db8ccbcc RANDOM SEED= 419039642 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node48.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.238 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.238 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: 1638792 kB Buffers: 48056 kB Cached: 294856 kB SwapCached: 2392 kB Active: 195492 kB Inactive: 157664 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1638792 kB SwapTotal: 4192956 kB SwapFree: 4184680 kB Dirty: 1380 kB Writeback: 0 kB Mapped: 16480 kB Slab: 49972 kB Committed_AS: 940428 kB PageTables: 1388 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= 66547 MiB End job on node48 on Tue Apr 17 20:34:33 UTC 2007