Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.26 | 1800.92 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900565527.opb |
MD5SUM | 2e8fe4d521f8ec7159487f71439b9947 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1.66974 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
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 | 709 |
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.34 c restart after 401 decisions 0.39/0.46 c nbDecision=500 #constraints=3187 0.79/0.85 c restart after 801 decisions 1.10/1.19 c nbDecision=1000 #constraints=3674 2.19/2.27 c nbDecision=1500 #constraints=4153 2.49/2.57 c restart after 1601 decisions 4.09/4.12 c nbDecision=2000 #constraints=4632 6.29/6.35 c nbDecision=2500 #constraints=5116 8.98/9.02 c nbDecision=3000 #constraints=5606 10.28/10.34 c restart after 3201 decisions 12.69/12.71 c nbDecision=3500 #constraints=6092 16.99/17.09 c nbDecision=4000 #constraints=6562 22.38/22.46 c nbDecision=4500 #constraints=7040 28.28/28.37 c nbDecision=5000 #constraints=7514 35.57/35.60 c nbDecision=5500 #constraints=7986 46.28/46.36 c nbDecision=6000 #constraints=8476 54.97/55.03 c restart after 6401 decisions 56.77/56.85 c nbDecision=6500 #constraints=8957 67.96/68.09 c nbDecision=7000 #constraints=9449 80.77/80.88 c nbDecision=7500 #constraints=9934 96.36/96.43 c nbDecision=8000 #constraints=10421 113.85/113.98 c nbDecision=8500 #constraints=10918 134.84/134.94 c nbDecision=9000 #constraints=11408 157.94/158.07 c nbDecision=9500 #constraints=11891 172.33/172.42 c nbDecision=10000 #constraints=12384 188.12/188.24 c nbDecision=10500 #constraints=12879 202.22/202.39 c nbDecision=11000 #constraints=13359 216.11/216.26 c nbDecision=11500 #constraints=13839 232.41/232.57 c nbDecision=12000 #constraints=14325 251.40/251.56 c nbDecision=12500 #constraints=14813 262.59/262.71 c restart after 12801 decisions 273.40/273.50 c nbDecision=13000 #constraints=15291 294.39/294.51 c nbDecision=13500 #constraints=15775 317.57/317.72 c nbDecision=14000 #constraints=16258 344.66/344.86 c nbDecision=14500 #constraints=16747 364.86/365.04 c nbDecision=15000 #constraints=17223 390.15/390.36 c nbDecision=15500 #constraints=17700 415.33/415.56 c nbDecision=16000 #constraints=18189 443.43/443.65 c nbDecision=16500 #constraints=18682 476.91/477.11 c nbDecision=17000 #constraints=19166 512.20/512.45 c nbDecision=17500 #constraints=19649 545.79/546.01 c nbDecision=18000 #constraints=20133 581.78/582.08 c nbDecision=18500 #constraints=20624 620.26/620.59 c nbDecision=19000 #constraints=21117 655.45/655.74 c nbDecision=19500 #constraints=21601 687.74/688.09 c nbDecision=20000 #constraints=22088 741.32/741.66 c nbDecision=20500 #constraints=22571 799.19/799.51 c nbDecision=21000 #constraints=23058 857.27/857.66 c nbDecision=21500 #constraints=23551 900.16/900.56 c nbDecision=22000 #constraints=24041 937.75/938.13 c nbDecision=22500 #constraints=24525 980.93/981.34 c nbDecision=23000 #constraints=25001 1026.51/1026.93 c nbDecision=23500 #constraints=25492 1073.20/1073.61 c nbDecision=24000 #constraints=25982 1115.19/1115.62 c nbDecision=24500 #constraints=26469 1170.66/1171.14 c nbDecision=25000 #constraints=26951 1240.74/1241.20 c nbDecision=25500 #constraints=27439 1252.03/1252.56 c restart after 25601 decisions 1311.21/1311.73 c nbDecision=26000 #constraints=27911 1377.18/1377.74 c nbDecision=26500 #constraints=28407 1458.15/1458.76 c nbDecision=27000 #constraints=28903 1516.54/1517.13 c nbDecision=27500 #constraints=29390 1581.71/1582.36 c nbDecision=28000 #constraints=29874 1648.38/1649.09 c nbDecision=28500 #constraints=30362 1698.87/1699.55 c nbDecision=29000 #constraints=30851 1768.24/1768.96 c nbDecision=29500 #constraints=31343 1800.04/1800.70 Received signal 15 1800.23/1800.90 1800.23/1800.90 s UNKNOWN 1800.23/1800.90 1800.23/1800.90 c user time= 1800.04 s 1800.23/1800.90 c system time= 0.200969 s 1800.23/1800.90 c wall clock time=1800.9
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node37/watcher-360040-1176841796 -o ROOT/results/node37/solver-360040-1176841796 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/360040-1176841796/instance-360040-1176841796.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: 1.22 1.03 1.01 3/78 18681 /proc/meminfo: memFree=1644936/2055920 swapFree=4125188/4192956 [pid=18681] ppid=18679 vsize=1468 CPUtime=0 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 132092074 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 367 166 130 317 0 46 0 [startup+0.0846599 s] /proc/loadavg: 1.22 1.03 1.01 3/78 18681 /proc/meminfo: memFree=1644936/2055920 swapFree=4125188/4192956 [pid=18681] ppid=18679 vsize=2544 CPUtime=0.08 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 424 0 0 0 8 0 0 0 18 0 1 0 132092074 2605056 406 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272661 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 636 406 139 317 0 315 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2544 [startup+0.101663 s] /proc/loadavg: 1.22 1.03 1.01 3/78 18681 /proc/meminfo: memFree=1644936/2055920 swapFree=4125188/4192956 [pid=18681] ppid=18679 vsize=2544 CPUtime=0.09 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 425 0 0 0 9 0 0 0 18 0 1 0 132092074 2605056 407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712546 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 636 407 139 317 0 315 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2544 [startup+0.3017 s] /proc/loadavg: 1.22 1.03 1.01 3/78 18681 /proc/meminfo: memFree=1644936/2055920 swapFree=4125188/4192956 [pid=18681] ppid=18679 vsize=2672 CPUtime=0.29 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 487 0 0 0 29 0 0 0 19 0 1 0 132092074 2736128 469 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 668 469 139 317 0 347 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2672 [startup+0.701776 s] /proc/loadavg: 1.22 1.03 1.01 3/78 18681 /proc/meminfo: memFree=1644936/2055920 swapFree=4125188/4192956 [pid=18681] ppid=18679 vsize=3064 CPUtime=0.69 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 584 0 0 0 69 0 0 0 23 0 1 0 132092074 3137536 566 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 766 566 139 317 0 445 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3064 [startup+1.50193 s] /proc/loadavg: 1.22 1.03 1.01 2/79 18682 /proc/meminfo: memFree=1642944/2055920 swapFree=4125188/4192956 [pid=18681] ppid=18679 vsize=3716 CPUtime=1.49 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 733 0 0 0 149 0 0 0 25 0 1 0 132092074 3805184 715 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 929 715 139 317 0 608 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3716 [startup+3.10123 s] /proc/loadavg: 1.22 1.03 1.01 2/79 18682 /proc/meminfo: memFree=1642176/2055920 swapFree=4125188/4192956 [pid=18681] ppid=18679 vsize=4404 CPUtime=3.09 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 916 0 0 0 309 0 0 0 25 0 1 0 132092074 4509696 898 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563865 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 1101 898 139 317 0 780 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4404 [startup+6.30183 s] /proc/loadavg: 1.21 1.03 1.01 2/79 18682 /proc/meminfo: memFree=1641024/2055920 swapFree=4125188/4192956 [pid=18681] ppid=18679 vsize=5460 CPUtime=6.29 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 1159 0 0 0 629 0 0 0 25 0 1 0 132092074 5591040 1141 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563302 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 1365 1141 139 317 0 1044 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 5460 [startup+12.701 s] /proc/loadavg: 1.19 1.03 1.01 2/79 18682 /proc/meminfo: memFree=1639424/2055920 swapFree=4125188/4192956 [pid=18681] ppid=18679 vsize=6788 CPUtime=12.69 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 1532 0 0 0 1268 1 0 0 25 0 1 0 132092074 6950912 1477 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563483 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 1697 1477 139 317 0 1376 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 6788 [startup+25.5014 s] /proc/loadavg: 1.15 1.03 1.01 2/79 18682 /proc/meminfo: memFree=1637568/2055920 swapFree=4125188/4192956 [pid=18681] ppid=18679 vsize=8652 CPUtime=25.48 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 1972 0 0 0 2547 1 0 0 25 0 1 0 132092074 8859648 1917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 2163 1917 139 317 0 1842 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 8652 [startup+51.1013 s] /proc/loadavg: 1.10 1.03 1.01 2/79 18682 /proc/meminfo: memFree=1635584/2055920 swapFree=4125252/4192956 [pid=18681] ppid=18679 vsize=10512 CPUtime=51.07 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 2455 0 0 0 5105 2 0 0 25 0 1 0 132092074 10764288 2400 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 2628 2400 139 317 0 2307 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 10512 [startup+102.306 s] /proc/loadavg: 1.04 1.02 1.00 2/79 18682 /proc/meminfo: memFree=1632704/2055920 swapFree=4125252/4192956 [pid=18681] ppid=18679 vsize=13548 CPUtime=102.26 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 3208 0 0 0 10223 3 0 0 25 0 1 0 132092074 13873152 3081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 3387 3081 139 317 0 3066 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 13548 [startup+162.301 s] /proc/loadavg: 1.01 1.02 1.00 2/79 18682 /proc/meminfo: memFree=1630848/2055920 swapFree=4125252/4192956 [pid=18681] ppid=18679 vsize=15536 CPUtime=162.23 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 3714 0 0 0 16219 4 0 0 25 0 1 0 132092074 15908864 3587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 3884 3587 139 317 0 3563 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 15536 [startup+222.302 s] /proc/loadavg: 1.00 1.01 1.00 2/79 18682 /proc/meminfo: memFree=1627904/2055920 swapFree=4125316/4192956 [pid=18681] ppid=18679 vsize=18628 CPUtime=222.21 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 4443 0 0 0 22216 5 0 0 25 0 1 0 132092074 19075072 4316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 4657 4316 139 317 0 4336 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 18628 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 18682 /proc/meminfo: memFree=1625728/2055920 swapFree=4125316/4192956 [pid=18681] ppid=18679 vsize=20624 CPUtime=282.19 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 4981 0 0 0 28213 6 0 0 25 0 1 0 132092074 21118976 4854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 5156 4854 139 317 0 4835 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 20624 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 18682 /proc/meminfo: memFree=1623936/2055920 swapFree=4125380/4192956 [pid=18681] ppid=18679 vsize=22396 CPUtime=342.16 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 5437 0 0 0 34210 6 0 0 25 0 1 0 132092074 22933504 5310 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 5599 5310 170 317 0 5278 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 22396 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 18682 /proc/meminfo: memFree=1622144/2055920 swapFree=4125380/4192956 [pid=18681] ppid=18679 vsize=24316 CPUtime=402.14 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 5901 0 0 0 40207 7 0 0 25 0 1 0 132092074 24899584 5774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 6079 5774 170 317 0 5758 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 24316 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 18682 /proc/meminfo: memFree=1620544/2055920 swapFree=4125380/4192956 [pid=18681] ppid=18679 vsize=26012 CPUtime=462.12 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 6299 0 0 0 46204 8 0 0 25 0 1 0 132092074 26636288 6172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 6503 6172 170 317 0 6182 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 26012 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 18682 /proc/meminfo: memFree=1619328/2055920 swapFree=4125444/4192956 [pid=18681] ppid=18679 vsize=27428 CPUtime=522.1 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 6633 0 0 0 52201 9 0 0 25 0 1 0 132092074 28086272 6506 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 6857 6506 170 317 0 6536 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 27428 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 18684 /proc/meminfo: memFree=1618112/2055920 swapFree=4125444/4192956 [pid=18681] ppid=18679 vsize=28504 CPUtime=582.08 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 6926 0 0 0 58199 9 0 0 25 0 1 0 132092074 29188096 6799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 7126 6799 170 317 0 6805 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 28504 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 18684 /proc/meminfo: memFree=1616896/2055920 swapFree=4125508/4192956 [pid=18681] ppid=18679 vsize=30420 CPUtime=642.06 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 7367 0 0 0 64196 10 0 0 25 0 1 0 132092074 31150080 7098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712546 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 7605 7098 170 317 0 7284 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 30420 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.05 1.01 1.00 2/79 18684 /proc/meminfo: memFree=1612224/2055920 swapFree=4125636/4192956 [pid=18681] ppid=18679 vsize=35128 CPUtime=941.94 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 8532 0 0 0 94181 13 0 0 25 0 1 0 132092074 35971072 8263 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715601 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 8782 8263 170 317 0 8461 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 35128 [startup+1002.3 s] /proc/loadavg: 1.02 1.01 1.00 2/79 18684 /proc/meminfo: memFree=1611200/2055920 swapFree=4125636/4192956 [pid=18681] ppid=18679 vsize=36256 CPUtime=1001.93 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 8781 0 0 0 100179 14 0 0 25 0 1 0 132092074 37126144 8512 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718454 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 9064 8512 170 317 0 8743 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 36256 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 18684 /proc/meminfo: memFree=1610176/2055920 swapFree=4125636/4192956 [pid=18681] ppid=18679 vsize=37244 CPUtime=1061.9 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 9030 0 0 0 106176 14 0 0 25 0 1 0 132092074 38137856 8761 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 9311 8761 170 317 0 8990 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 37244 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 18684 /proc/meminfo: memFree=1609088/2055920 swapFree=4125700/4192956 [pid=18681] ppid=18679 vsize=38176 CPUtime=1121.88 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 9289 0 0 0 112173 15 0 0 25 0 1 0 132092074 39092224 9020 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 9544 9020 170 317 0 9223 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 38176 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 18684 /proc/meminfo: memFree=1608448/2055920 swapFree=4125700/4192956 [pid=18681] ppid=18679 vsize=38976 CPUtime=1181.86 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 9469 0 0 0 118171 15 0 0 25 0 1 0 132092074 39911424 9200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 9744 9200 170 317 0 9423 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 38976 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 18684 /proc/meminfo: memFree=1607808/2055920 swapFree=4125764/4192956 [pid=18681] ppid=18679 vsize=39508 CPUtime=1241.84 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 9619 0 0 0 124168 16 0 0 25 0 1 0 132092074 40456192 9350 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 9877 9350 170 317 0 9556 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 39508 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 18684 /proc/meminfo: memFree=1607168/2055920 swapFree=4125764/4192956 [pid=18681] ppid=18679 vsize=40164 CPUtime=1301.82 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 9768 0 0 0 130166 16 0 0 25 0 1 0 132092074 41127936 9499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 10041 9499 170 317 0 9720 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 40164 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 18684 /proc/meminfo: memFree=1606528/2055920 swapFree=4125764/4192956 [pid=18681] ppid=18679 vsize=40716 CPUtime=1361.79 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 9921 0 0 0 136163 16 0 0 25 0 1 0 132092074 41693184 9652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 10179 9652 170 317 0 9858 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 40716 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/79 18684 /proc/meminfo: memFree=1605824/2055920 swapFree=4125828/4192956 [pid=18681] ppid=18679 vsize=41508 CPUtime=1421.77 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 10110 0 0 0 142160 17 0 0 25 0 1 0 132092074 42504192 9841 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 10377 9841 170 317 0 10056 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 41508 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 18684 /proc/meminfo: memFree=1605312/2055920 swapFree=4125828/4192956 [pid=18681] ppid=18679 vsize=41912 CPUtime=1481.74 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 10223 0 0 0 148157 17 0 0 25 0 1 0 132092074 42917888 9954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 10478 9954 170 317 0 10157 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 41912 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 18684 /proc/meminfo: memFree=1604416/2055920 swapFree=4125892/4192956 [pid=18681] ppid=18679 vsize=43048 CPUtime=1541.73 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 10465 0 0 0 154155 18 0 0 25 0 1 0 132092074 44081152 10196 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 10762 10196 170 317 0 10441 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 43048 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 18684 /proc/meminfo: memFree=1603712/2055920 swapFree=4125892/4192956 [pid=18681] ppid=18679 vsize=43836 CPUtime=1601.7 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 10663 0 0 0 160152 18 0 0 25 0 1 0 132092074 44888064 10361 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 10959 10361 170 317 0 10638 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 43836 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 18684 /proc/meminfo: memFree=1602944/2055920 swapFree=4125956/4192956 [pid=18681] ppid=18679 vsize=44532 CPUtime=1661.68 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 10859 0 0 0 166149 19 0 0 25 0 1 0 132092074 45600768 10557 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 11133 10557 170 317 0 10812 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 44532 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 18684 /proc/meminfo: memFree=1602176/2055920 swapFree=4125956/4192956 [pid=18681] ppid=18679 vsize=45420 CPUtime=1721.66 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 11054 0 0 0 172147 19 0 0 25 0 1 0 132092074 46510080 10752 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604231 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 11355 10752 170 317 0 11034 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 45420 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 18684 /proc/meminfo: memFree=1601472/2055920 swapFree=4125956/4192956 [pid=18681] ppid=18679 vsize=46080 CPUtime=1781.64 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 11229 0 0 0 178144 20 0 0 25 0 1 0 132092074 47185920 10927 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712569 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 11520 10927 170 317 0 11199 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 46080 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/79 18684 /proc/meminfo: memFree=1601280/2055920 swapFree=4125956/4192956 [pid=18681] ppid=18679 vsize=46208 CPUtime=1800.04 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 11267 0 0 0 179984 20 0 0 25 0 1 0 132092074 47316992 10965 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 11552 10965 170 317 0 11231 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 46208 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/79 18684 /proc/meminfo: memFree=1601280/2055920 swapFree=4125956/4192956 [pid=18681] ppid=18679 vsize=46208 CPUtime=1800.14 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 11267 0 0 0 179994 20 0 0 25 0 1 0 132092074 47316992 10965 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 11552 10965 170 317 0 11231 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 46208 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/79 18684 /proc/meminfo: memFree=1601280/2055920 swapFree=4125956/4192956 [pid=18681] ppid=18679 vsize=46208 CPUtime=1800.23 /proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 11267 0 0 0 180003 20 0 0 25 0 1 0 132092074 47316992 10965 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18681/statm: 11552 10965 170 317 0 11231 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 46208 Child status: 0 Real time (s): 1800.92 CPU time (s): 1800.26 CPU user time (s): 1800.05 CPU system time (s): 0.208968 CPU usage (%): 99.9633 Max. virtual memory (cumulated for all children) (KiB): 46208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.05 system time used= 0.208968 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11283 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= 3217 runsolver used 1.86472 second user time and 4.70129 second system time The end
Begin job on node37 on Tue Apr 17 20:29:56 UTC 2007 IDJOB= 360040 IDBENCH= 1339 IDSOLVER= 172 FILE ID= node37/360040-1176841796 PBS_JOBID= 4590152 Free space on /tmp= 66462 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.1900565527.opb COMMAND LINE= oree /tmp/evaluation/360040-1176841796/instance-360040-1176841796.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node37/watcher-360040-1176841796 -o ROOT/results/node37/solver-360040-1176841796 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/360040-1176841796/instance-360040-1176841796.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 2e8fe4d521f8ec7159487f71439b9947 RANDOM SEED= 273641070 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node37.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: 1645408 kB Buffers: 37164 kB Cached: 288652 kB SwapCached: 3168 kB Active: 189736 kB Inactive: 162036 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1645408 kB SwapTotal: 4192956 kB SwapFree: 4125188 kB Dirty: 1408 kB Writeback: 0 kB Mapped: 33188 kB Slab: 44072 kB Committed_AS: 1104856 kB PageTables: 2000 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= 66462 MiB End job on node37 on Tue Apr 17 20:59:59 UTC 2007