Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.18 | 1800.78 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900547427.opb |
MD5SUM | 1354b5547377d8c2faefb00752f6b79c |
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 | 0.066988 |
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 | 655 |
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.01/0.02 c ...done 0.01/0.02 c #vars=231 #constraints=2707 hasObjective=no 0.01/0.03 c res. mode=mod 0.01/0.03 c VSIDS like heuristics 0.01/0.03 c complete search running 0.29/0.33 c restart after 401 decisions 0.39/0.43 c nbDecision=500 #constraints=3176 0.69/0.77 c restart after 801 decisions 1.00/1.05 c nbDecision=1000 #constraints=3651 1.99/2.00 c nbDecision=1500 #constraints=4140 2.29/2.30 c restart after 1601 decisions 3.79/3.81 c nbDecision=2000 #constraints=4625 6.19/6.22 c nbDecision=2500 #constraints=5112 9.68/9.79 c nbDecision=3000 #constraints=5602 11.59/11.60 c restart after 3201 decisions 13.59/13.60 c nbDecision=3500 #constraints=6087 17.89/17.92 c nbDecision=4000 #constraints=6577 23.68/23.75 c nbDecision=4500 #constraints=7059 30.58/30.62 c nbDecision=5000 #constraints=7541 38.27/38.40 c nbDecision=5500 #constraints=8026 47.37/47.41 c nbDecision=6000 #constraints=8512 54.17/54.26 c restart after 6401 decisions 56.37/56.47 c nbDecision=6500 #constraints=8993 67.67/67.73 c nbDecision=7000 #constraints=9474 80.06/80.17 c nbDecision=7500 #constraints=9954 93.67/93.73 c nbDecision=8000 #constraints=10447 108.46/108.58 c nbDecision=8500 #constraints=10929 128.35/128.43 c nbDecision=9000 #constraints=11421 144.45/144.58 c nbDecision=9500 #constraints=11908 163.34/163.40 c nbDecision=10000 #constraints=12390 188.74/188.80 c nbDecision=10500 #constraints=12876 208.53/208.68 c nbDecision=11000 #constraints=13362 230.03/230.12 c nbDecision=11500 #constraints=13841 252.02/252.16 c nbDecision=12000 #constraints=14328 277.42/277.59 c nbDecision=12500 #constraints=14813 294.51/294.62 c restart after 12801 decisions 303.81/303.91 c nbDecision=13000 #constraints=15296 331.80/331.91 c nbDecision=13500 #constraints=15785 360.79/360.98 c nbDecision=14000 #constraints=16265 389.68/389.89 c nbDecision=14500 #constraints=16741 419.07/419.22 c nbDecision=15000 #constraints=17223 449.17/449.32 c nbDecision=15500 #constraints=17703 483.66/483.85 c nbDecision=16000 #constraints=18193 514.65/514.83 c nbDecision=16500 #constraints=18676 552.14/552.34 c nbDecision=17000 #constraints=19164 585.93/586.18 c nbDecision=17500 #constraints=19646 625.42/625.68 c nbDecision=18000 #constraints=20129 658.11/658.30 c nbDecision=18500 #constraints=20618 693.40/693.68 c nbDecision=19000 #constraints=21107 727.09/727.30 c nbDecision=19500 #constraints=21595 763.68/763.98 c nbDecision=20000 #constraints=22080 803.17/803.48 c nbDecision=20500 #constraints=22576 843.36/843.64 c nbDecision=21000 #constraints=23066 885.35/885.65 c nbDecision=21500 #constraints=23553 934.53/934.83 c nbDecision=22000 #constraints=24037 981.73/982.07 c nbDecision=22500 #constraints=24515 1031.41/1031.74 c nbDecision=23000 #constraints=25006 1085.99/1086.33 c nbDecision=23500 #constraints=25493 1137.18/1137.50 c nbDecision=24000 #constraints=25984 1183.07/1183.41 c nbDecision=24500 #constraints=26475 1233.66/1234.10 c nbDecision=25000 #constraints=26966 1289.95/1290.30 c nbDecision=25500 #constraints=27449 1300.14/1300.59 c restart after 25601 decisions 1341.02/1341.46 c nbDecision=26000 #constraints=27934 1395.81/1396.28 c nbDecision=26500 #constraints=28423 1448.80/1449.20 c nbDecision=27000 #constraints=28909 1498.89/1499.32 c nbDecision=27500 #constraints=29403 1555.97/1556.43 c nbDecision=28000 #constraints=29888 1615.25/1615.78 c nbDecision=28500 #constraints=30369 1685.33/1685.85 c nbDecision=29000 #constraints=30859 1747.77/1748.39 c nbDecision=29500 #constraints=31348 1800.10/1800.71 Received signal 15 1800.10/1800.76 1800.10/1800.77 s UNKNOWN 1800.10/1800.77 1800.10/1800.77 c user time= 1799.9 s 1800.10/1800.77 c system time= 0.265959 s 1800.10/1800.77 c wall clock time=1800.77
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node11/watcher-360124-1176841919 -o ROOT/results/node11/solver-360124-1176841919 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/360124-1176841919/instance-360124-1176841919.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.00 0.99 0.99 3/77 29861 /proc/meminfo: memFree=1826096/2055920 swapFree=4135652/4192956 [pid=29861] ppid=29859 vsize=1468 CPUtime=0 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 125240812 1503232 165 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135284502 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 367 165 130 317 0 46 0 [startup+0.0146961 s] /proc/loadavg: 1.00 0.99 0.99 3/77 29861 /proc/meminfo: memFree=1826096/2055920 swapFree=4135652/4192956 [pid=29861] ppid=29859 vsize=1732 CPUtime=0.01 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 236 0 0 0 1 0 0 0 18 0 1 0 125240812 1773568 218 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 433 218 130 317 0 112 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1732 [startup+0.101706 s] /proc/loadavg: 1.00 0.99 0.99 3/77 29861 /proc/meminfo: memFree=1826096/2055920 swapFree=4135652/4192956 [pid=29861] ppid=29859 vsize=2544 CPUtime=0.09 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 456 0 0 0 9 0 0 0 18 0 1 0 125240812 2605056 438 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134713818 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 636 438 170 317 0 315 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2544 [startup+0.30173 s] /proc/loadavg: 1.00 0.99 0.99 3/77 29861 /proc/meminfo: memFree=1826096/2055920 swapFree=4135652/4192956 [pid=29861] ppid=29859 vsize=2804 CPUtime=0.29 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 529 0 0 0 29 0 0 0 19 0 1 0 125240812 2871296 511 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 701 511 170 317 0 380 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2804 [startup+0.701778 s] /proc/loadavg: 1.00 0.99 0.99 3/77 29861 /proc/meminfo: memFree=1826096/2055920 swapFree=4135652/4192956 [pid=29861] ppid=29859 vsize=3196 CPUtime=0.69 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 646 0 0 0 69 0 0 0 22 0 1 0 125240812 3272704 628 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134711122 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 799 628 170 317 0 478 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3196 [startup+1.50187 s] /proc/loadavg: 1.00 0.99 0.99 2/78 29862 /proc/meminfo: memFree=1823976/2055920 swapFree=4135652/4192956 [pid=29861] ppid=29859 vsize=3856 CPUtime=1.49 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 802 0 0 0 149 0 0 0 25 0 1 0 125240812 3948544 784 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604407 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 964 784 170 317 0 643 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3856 [startup+3.10206 s] /proc/loadavg: 1.00 0.99 0.99 2/78 29862 /proc/meminfo: memFree=1823080/2055920 swapFree=4135652/4192956 [pid=29861] ppid=29859 vsize=4648 CPUtime=3.09 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 994 0 0 0 309 0 0 0 25 0 1 0 125240812 4759552 976 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563609 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 1162 976 170 317 0 841 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4648 [startup+6.30144 s] /proc/loadavg: 1.00 0.99 0.99 2/78 29862 /proc/meminfo: memFree=1822056/2055920 swapFree=4135652/4192956 [pid=29861] ppid=29859 vsize=5436 CPUtime=6.29 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 1209 0 0 0 629 0 0 0 25 0 1 0 125240812 5566464 1191 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718318 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 1359 1191 170 317 0 1038 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 5436 [startup+12.7012 s] /proc/loadavg: 1.00 0.99 0.99 2/78 29862 /proc/meminfo: memFree=1820648/2055920 swapFree=4135652/4192956 [pid=29861] ppid=29859 vsize=6764 CPUtime=12.69 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 1537 0 0 0 1268 1 0 0 25 0 1 0 125240812 6926336 1482 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 1691 1482 170 317 0 1370 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 6764 [startup+25.5017 s] /proc/loadavg: 1.00 0.99 0.99 2/78 29862 /proc/meminfo: memFree=1818856/2055920 swapFree=4135652/4192956 [pid=29861] ppid=29859 vsize=8584 CPUtime=25.48 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 1972 0 0 0 2547 1 0 0 25 0 1 0 125240812 8790016 1917 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 2146 1917 170 317 0 1825 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 8584 [startup+51.1017 s] /proc/loadavg: 1.00 0.99 0.99 2/78 29862 /proc/meminfo: memFree=1816616/2055920 swapFree=4135652/4192956 [pid=29861] ppid=29859 vsize=10736 CPUtime=51.08 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 2522 0 0 0 5106 2 0 0 25 0 1 0 125240812 10993664 2467 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 2684 2467 170 317 0 2363 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 10736 [startup+102.306 s] /proc/loadavg: 1.00 0.99 0.99 2/78 29862 /proc/meminfo: memFree=1813480/2055920 swapFree=4135652/4192956 [pid=29861] ppid=29859 vsize=14120 CPUtime=102.27 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 3363 0 0 0 10224 3 0 0 25 0 1 0 125240812 14458880 3236 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 3530 3236 170 317 0 3209 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 14120 [startup+162.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 29862 /proc/meminfo: memFree=1810984/2055920 swapFree=4135660/4192956 [pid=29861] ppid=29859 vsize=16648 CPUtime=162.24 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 3990 0 0 0 16220 4 0 0 25 0 1 0 125240812 17047552 3863 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 4162 3863 170 317 0 3841 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 16648 [startup+222.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 29862 /proc/meminfo: memFree=1808872/2055920 swapFree=4135660/4192956 [pid=29861] ppid=29859 vsize=18656 CPUtime=222.23 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 4492 0 0 0 22217 6 0 0 25 0 1 0 125240812 19103744 4365 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 4664 4365 170 317 0 4343 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 18656 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 29862 /proc/meminfo: memFree=1806952/2055920 swapFree=4135660/4192956 [pid=29861] ppid=29859 vsize=20576 CPUtime=282.21 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 4975 0 0 0 28214 7 0 0 25 0 1 0 125240812 21069824 4848 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 5144 4848 170 317 0 4823 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 20576 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 29862 /proc/meminfo: memFree=1805352/2055920 swapFree=4135676/4192956 [pid=29861] ppid=29859 vsize=22528 CPUtime=342.19 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 5389 0 0 0 34212 7 0 0 25 0 1 0 125240812 23068672 5262 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 5632 5262 170 317 0 5311 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 22528 [startup+402.301 s] /proc/loadavg: 1.08 1.00 0.99 2/78 29862 /proc/meminfo: memFree=1803816/2055920 swapFree=4135676/4192956 [pid=29861] ppid=29859 vsize=24160 CPUtime=402.18 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 5790 0 0 0 40210 8 0 0 25 0 1 0 125240812 24739840 5663 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 6040 5663 170 317 0 5719 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 24160 [startup+462.301 s] /proc/loadavg: 1.03 1.00 0.99 2/78 29862 /proc/meminfo: memFree=1802280/2055920 swapFree=4135688/4192956 [pid=29861] ppid=29859 vsize=25704 CPUtime=462.16 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 6177 0 0 0 46207 9 0 0 25 0 1 0 125240812 26320896 6050 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 6426 6050 170 317 0 6105 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 25704 [startup+522.301 s] /proc/loadavg: 1.01 1.00 0.99 2/78 29862 /proc/meminfo: memFree=1800936/2055920 swapFree=4135688/4192956 [pid=29861] ppid=29859 vsize=27176 CPUtime=522.15 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 6516 0 0 0 52205 10 0 0 25 0 1 0 125240812 27828224 6389 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 6794 6389 170 317 0 6473 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 27176 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 29862 /proc/meminfo: memFree=1799784/2055920 swapFree=4135688/4192956 [pid=29861] ppid=29859 vsize=28572 CPUtime=582.13 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 6815 0 0 0 58203 10 0 0 25 0 1 0 125240812 29257728 6688 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 7143 6688 170 317 0 6822 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 28572 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 29862 /proc/meminfo: memFree=1798632/2055920 swapFree=4135708/4192956 [pid=29861] ppid=29859 vsize=29716 CPUtime=642.12 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 7131 0 0 0 64201 11 0 0 25 0 1 0 125240812 30429184 6971 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134562667 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 7429 6971 170 317 0 7108 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 29716 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 29864 /proc/meminfo: memFree=1793896/2055920 swapFree=4135724/4192956 [pid=29861] ppid=29859 vsize=35016 CPUtime=882.04 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 8474 0 0 0 88190 14 0 0 25 0 1 0 125240812 35856384 8172 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 8754 8172 170 317 0 8433 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 35016 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 29864 /proc/meminfo: memFree=1793000/2055920 swapFree=4135732/4192956 [pid=29861] ppid=29859 vsize=35940 CPUtime=942.03 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 8703 0 0 0 94188 15 0 0 25 0 1 0 125240812 36802560 8401 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 8985 8401 170 317 0 8664 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 35940 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 29864 /proc/meminfo: memFree=1792040/2055920 swapFree=4135732/4192956 [pid=29861] ppid=29859 vsize=36872 CPUtime=1002.02 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 8944 0 0 0 100186 16 0 0 25 0 1 0 125240812 37756928 8642 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 9218 8642 170 317 0 8897 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 36872 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 29864 /proc/meminfo: memFree=1791208/2055920 swapFree=4135744/4192956 [pid=29861] ppid=29859 vsize=37660 CPUtime=1062 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 9160 0 0 0 106183 17 0 0 25 0 1 0 125240812 38563840 8858 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563957 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 9415 8858 170 317 0 9094 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 37660 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 29864 /proc/meminfo: memFree=1790312/2055920 swapFree=4135744/4192956 [pid=29861] ppid=29859 vsize=38732 CPUtime=1121.98 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 9390 0 0 0 112181 17 0 0 25 0 1 0 125240812 39661568 9088 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 9683 9088 170 317 0 9362 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 38732 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 29864 /proc/meminfo: memFree=1789416/2055920 swapFree=4135744/4192956 [pid=29861] ppid=29859 vsize=39576 CPUtime=1181.97 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 9619 0 0 0 118179 18 0 0 25 0 1 0 125240812 40525824 9317 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 9894 9317 170 317 0 9573 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 39576 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 29864 /proc/meminfo: memFree=1788328/2055920 swapFree=4135744/4192956 [pid=29861] ppid=29859 vsize=40680 CPUtime=1241.95 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 9875 0 0 0 124176 19 0 0 25 0 1 0 125240812 41656320 9573 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 10170 9573 170 317 0 9849 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 40680 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 29864 /proc/meminfo: memFree=1787496/2055920 swapFree=4135744/4192956 [pid=29861] ppid=29859 vsize=41656 CPUtime=1301.94 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 10081 0 0 0 130174 20 0 0 25 0 1 0 125240812 42655744 9779 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 10414 9779 170 317 0 10093 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 41656 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 29864 /proc/meminfo: memFree=1786536/2055920 swapFree=4135744/4192956 [pid=29861] ppid=29859 vsize=42576 CPUtime=1361.92 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 10308 0 0 0 136171 21 0 0 25 0 1 0 125240812 43597824 10006 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 10644 10006 170 317 0 10323 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 42576 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/78 29864 /proc/meminfo: memFree=1785640/2055920 swapFree=4135744/4192956 [pid=29861] ppid=29859 vsize=43392 CPUtime=1421.91 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 10531 0 0 0 142170 21 0 0 25 0 1 0 125240812 44433408 10229 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 10848 10229 170 317 0 10527 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 43392 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 29864 /proc/meminfo: memFree=1784680/2055920 swapFree=4135744/4192956 [pid=29861] ppid=29859 vsize=44624 CPUtime=1481.89 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 10789 0 0 0 148167 22 0 0 25 0 1 0 125240812 45694976 10487 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 11156 10487 170 317 0 10835 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 44624 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 29864 /proc/meminfo: memFree=1783848/2055920 swapFree=4135744/4192956 [pid=29861] ppid=29859 vsize=45284 CPUtime=1541.87 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 10997 0 0 0 154164 23 0 0 25 0 1 0 125240812 46370816 10695 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 11321 10695 170 317 0 11000 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 45284 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 29864 /proc/meminfo: memFree=1782952/2055920 swapFree=4135744/4192956 [pid=29861] ppid=29859 vsize=46332 CPUtime=1601.86 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 11212 0 0 0 160162 24 0 0 25 0 1 0 125240812 47443968 10910 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 11583 10910 170 317 0 11262 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 46332 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 29864 /proc/meminfo: memFree=1782376/2055920 swapFree=4135744/4192956 [pid=29861] ppid=29859 vsize=47156 CPUtime=1661.84 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 11370 0 0 0 166160 24 0 0 25 0 1 0 125240812 48287744 11068 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 11789 11068 170 317 0 11468 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 47156 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 29864 /proc/meminfo: memFree=1781672/2055920 swapFree=4135744/4192956 [pid=29861] ppid=29859 vsize=47816 CPUtime=1721.82 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 11542 0 0 0 172157 25 0 0 25 0 1 0 125240812 48963584 11240 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 11954 11240 170 317 0 11633 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 47816 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/84 30034 /proc/meminfo: memFree=1779440/2055920 swapFree=4135744/4192956 [pid=29861] ppid=29859 vsize=48736 CPUtime=1781.71 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 11761 0 0 0 178145 26 0 0 25 0 1 0 125240812 49905664 11459 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712584 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 12184 11459 170 317 0 11863 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 48736 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.99 2/78 30062 /proc/meminfo: memFree=1780128/2055920 swapFree=4135744/4192956 [pid=29861] ppid=29859 vsize=49000 CPUtime=1800.1 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 11833 0 0 0 179984 26 0 0 25 0 1 0 125240812 50176000 11531 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 12250 11531 170 317 0 11929 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 49000 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.99 2/78 30062 /proc/meminfo: memFree=1780128/2055920 swapFree=4135744/4192956 [pid=29861] ppid=29859 vsize=49000 CPUtime=1800.1 /proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 11833 0 0 0 179984 26 0 0 25 0 1 0 125240812 50176000 11531 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29861/statm: 12250 11531 170 317 0 11929 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 49000 Child status: 0 Real time (s): 1800.78 CPU time (s): 1800.18 CPU user time (s): 1799.9 CPU system time (s): 0.274958 CPU usage (%): 99.9664 Max. virtual memory (cumulated for all children) (KiB): 49000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.9 system time used= 0.274958 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11849 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= 3259 runsolver used 2.15267 second user time and 4.38933 second system time The end
Begin job on node11 on Tue Apr 17 20:31:59 UTC 2007 IDJOB= 360124 IDBENCH= 1345 IDSOLVER= 172 FILE ID= node11/360124-1176841919 PBS_JOBID= 4586407 Free space on /tmp= 66303 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.1900547427.opb COMMAND LINE= oree /tmp/evaluation/360124-1176841919/instance-360124-1176841919.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-360124-1176841919 -o ROOT/results/node11/solver-360124-1176841919 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/360124-1176841919/instance-360124-1176841919.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 1354b5547377d8c2faefb00752f6b79c RANDOM SEED= 927062757 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node11.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.235 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.235 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: 1826504 kB Buffers: 32644 kB Cached: 113932 kB SwapCached: 26756 kB Active: 99488 kB Inactive: 86820 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1826504 kB SwapTotal: 4192956 kB SwapFree: 4135652 kB Dirty: 1524 kB Writeback: 0 kB Mapped: 30952 kB Slab: 28580 kB Committed_AS: 6135588 kB PageTables: 1848 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= 66303 MiB End job on node11 on Tue Apr 17 21:02:02 UTC 2007