Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.19 | 1800.79 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900547389.opb |
MD5SUM | 6bb807214e0d1b3ab69b4b6ee86db452 |
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 | 119.797 |
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 | 721 |
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.30/0.31 c restart after 401 decisions 0.40/0.43 c nbDecision=500 #constraints=3175 0.79/0.82 c restart after 801 decisions 1.10/1.10 c nbDecision=1000 #constraints=3654 1.79/1.88 c nbDecision=1500 #constraints=4137 1.99/2.07 c restart after 1601 decisions 3.39/3.45 c nbDecision=2000 #constraints=4612 5.49/5.55 c nbDecision=2500 #constraints=5098 7.89/7.98 c nbDecision=3000 #constraints=5565 9.28/9.33 c restart after 3201 decisions 11.58/11.66 c nbDecision=3500 #constraints=6046 15.69/15.71 c nbDecision=4000 #constraints=6514 20.08/20.17 c nbDecision=4500 #constraints=6995 25.19/25.22 c nbDecision=5000 #constraints=7480 31.58/31.68 c nbDecision=5500 #constraints=7962 41.38/41.40 c nbDecision=6000 #constraints=8452 48.77/48.85 c restart after 6401 decisions 50.67/50.77 c nbDecision=6500 #constraints=8932 61.98/62.04 c nbDecision=7000 #constraints=9418 70.17/70.24 c nbDecision=7500 #constraints=9901 80.87/80.90 c nbDecision=8000 #constraints=10379 92.16/92.27 c nbDecision=8500 #constraints=10874 103.97/104.03 c nbDecision=9000 #constraints=11357 118.16/118.25 c nbDecision=9500 #constraints=11845 133.15/133.25 c nbDecision=10000 #constraints=12338 147.95/148.02 c nbDecision=10500 #constraints=12814 164.35/164.47 c nbDecision=11000 #constraints=13308 184.84/184.99 c nbDecision=11500 #constraints=13799 205.93/206.05 c nbDecision=12000 #constraints=14281 229.93/230.08 c nbDecision=12500 #constraints=14765 246.33/246.48 c restart after 12801 decisions 258.52/258.69 c nbDecision=13000 #constraints=15251 286.71/286.87 c nbDecision=13500 #constraints=15742 304.91/305.03 c nbDecision=14000 #constraints=16228 326.30/326.47 c nbDecision=14500 #constraints=16707 350.59/350.80 c nbDecision=15000 #constraints=17191 372.19/372.39 c nbDecision=15500 #constraints=17671 395.28/395.43 c nbDecision=16000 #constraints=18157 419.88/420.04 c nbDecision=16500 #constraints=18642 446.37/446.54 c nbDecision=17000 #constraints=19127 477.36/477.57 c nbDecision=17500 #constraints=19606 514.75/514.91 c nbDecision=18000 #constraints=20094 548.44/548.68 c nbDecision=18500 #constraints=20580 580.43/580.64 c nbDecision=19000 #constraints=21068 607.63/607.86 c nbDecision=19500 #constraints=21560 634.72/634.96 c nbDecision=20000 #constraints=22046 677.61/677.82 c nbDecision=20500 #constraints=22537 721.69/721.93 c nbDecision=21000 #constraints=23024 766.28/766.57 c nbDecision=21500 #constraints=23513 807.77/808.01 c nbDecision=22000 #constraints=23996 852.27/852.53 c nbDecision=22500 #constraints=24477 900.95/901.20 c nbDecision=23000 #constraints=24960 956.64/956.97 c nbDecision=23500 #constraints=25453 1011.62/1011.96 c nbDecision=24000 #constraints=25940 1074.50/1074.88 c nbDecision=24500 #constraints=26422 1146.99/1147.38 c nbDecision=25000 #constraints=26915 1204.96/1205.30 c nbDecision=25500 #constraints=27408 1217.37/1217.77 c restart after 25601 decisions 1253.75/1254.17 c nbDecision=26000 #constraints=27885 1304.64/1305.04 c nbDecision=26500 #constraints=28373 1364.22/1364.65 c nbDecision=27000 #constraints=28862 1423.31/1423.77 c nbDecision=27500 #constraints=29343 1483.02/1483.56 c nbDecision=28000 #constraints=29829 1541.76/1542.40 c nbDecision=28500 #constraints=30309 1600.44/1601.02 c nbDecision=29000 #constraints=30796 1661.33/1661.90 c nbDecision=29500 #constraints=31270 1736.01/1736.63 c nbDecision=30000 #constraints=31757 1800.09/1800.70 Received signal 15 1800.09/1800.78 1800.09/1800.78 s UNKNOWN 1800.09/1800.78 1800.09/1800.78 c user time= 1799.93 s 1800.09/1800.78 c system time= 0.246962 s 1800.09/1800.78 c wall clock time=1800.78
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node1/watcher-360264-1176842196 -o ROOT/results/node1/solver-360264-1176842196 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/360264-1176842196/instance-360264-1176842196.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.99 0.97 0.97 3/77 19510 /proc/meminfo: memFree=1832704/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=1468 CPUtime=0 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 160257444 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 367 166 130 317 0 46 0 [startup+0.033911 s] /proc/loadavg: 0.99 0.97 0.97 3/77 19510 /proc/meminfo: memFree=1832704/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=2544 CPUtime=0.03 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 424 0 0 0 3 0 0 0 18 0 1 0 160257444 2605056 406 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712518 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 636 406 139 317 0 315 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2544 [startup+0.10192 s] /proc/loadavg: 0.99 0.97 0.97 3/77 19510 /proc/meminfo: memFree=1832704/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=2544 CPUtime=0.1 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 425 0 0 0 10 0 0 0 18 0 1 0 160257444 2605056 407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712543 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 636 407 139 317 0 315 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2544 [startup+0.301942 s] /proc/loadavg: 0.99 0.97 0.97 3/77 19510 /proc/meminfo: memFree=1832704/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=2676 CPUtime=0.3 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 486 0 0 0 30 0 0 0 19 0 1 0 160257444 2740224 468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 669 468 139 317 0 348 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 2676 [startup+0.701989 s] /proc/loadavg: 0.99 0.97 0.97 3/77 19510 /proc/meminfo: memFree=1832704/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=3068 CPUtime=0.7 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 583 0 0 0 70 0 0 0 22 0 1 0 160257444 3141632 565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712505 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 767 565 139 317 0 446 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 3068 [startup+1.50108 s] /proc/loadavg: 0.99 0.97 0.97 2/78 19511 /proc/meminfo: memFree=1830712/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=3720 CPUtime=1.49 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 744 0 0 0 149 0 0 0 25 0 1 0 160257444 3809280 726 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 930 726 139 317 0 609 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3720 [startup+3.10127 s] /proc/loadavg: 0.99 0.97 0.97 2/78 19511 /proc/meminfo: memFree=1829752/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=4508 CPUtime=3.09 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 930 0 0 0 309 0 0 0 25 0 1 0 160257444 4616192 912 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711134 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 1127 912 139 317 0 806 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4508 [startup+6.30165 s] /proc/loadavg: 0.99 0.97 0.97 2/78 19511 /proc/meminfo: memFree=1828608/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=5420 CPUtime=6.29 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 1161 0 0 0 629 0 0 0 25 0 1 0 160257444 5550080 1143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 1355 1143 139 317 0 1034 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 5420 [startup+12.7014 s] /proc/loadavg: 0.99 0.97 0.97 2/78 19511 /proc/meminfo: memFree=1827200/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=6752 CPUtime=12.69 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 1508 0 0 0 1268 1 0 0 25 0 1 0 160257444 6914048 1453 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718540 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 1688 1453 139 317 0 1367 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 6752 [startup+25.5019 s] /proc/loadavg: 0.99 0.97 0.97 2/78 19511 /proc/meminfo: memFree=1825408/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=8544 CPUtime=25.48 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 1947 0 0 0 2547 1 0 0 25 0 1 0 160257444 8749056 1892 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 2136 1892 139 317 0 1815 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 8544 [startup+51.1019 s] /proc/loadavg: 0.99 0.97 0.97 2/78 19511 /proc/meminfo: memFree=1823424/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=10420 CPUtime=51.07 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 2430 0 0 0 5106 1 0 0 25 0 1 0 160257444 10670080 2375 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 2605 2375 139 317 0 2284 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 10420 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.97 2/78 19511 /proc/meminfo: memFree=1820672/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=13324 CPUtime=102.27 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 3180 0 0 0 10224 3 0 0 25 0 1 0 160257444 13643776 3053 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 3331 3053 139 317 0 3010 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 13324 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 19511 /proc/meminfo: memFree=1818112/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=16008 CPUtime=162.25 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 3811 0 0 0 16221 4 0 0 25 0 1 0 160257444 16392192 3684 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 4002 3684 139 317 0 3681 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 16008 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 19511 /proc/meminfo: memFree=1816320/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=17848 CPUtime=222.23 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 4242 0 0 0 22218 5 0 0 25 0 1 0 160257444 18276352 4115 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 4462 4115 139 317 0 4141 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 17848 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 19511 /proc/meminfo: memFree=1814848/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=19212 CPUtime=282.21 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 4605 0 0 0 28216 5 0 0 25 0 1 0 160257444 19673088 4478 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 4803 4478 139 317 0 4482 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 19212 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 19511 /proc/meminfo: memFree=1813184/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=20940 CPUtime=342.19 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 5028 0 0 0 34213 6 0 0 25 0 1 0 160257444 21442560 4901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 5235 4901 139 317 0 4914 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 20940 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 19511 /proc/meminfo: memFree=1811328/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=22672 CPUtime=402.18 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 5482 0 0 0 40211 7 0 0 25 0 1 0 160257444 23216128 5355 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 5668 5355 139 317 0 5347 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 22672 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 19511 /proc/meminfo: memFree=1809664/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=24416 CPUtime=462.16 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 5884 0 0 0 46208 8 0 0 25 0 1 0 160257444 25001984 5757 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 6104 5757 139 317 0 5783 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 24416 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 19511 /proc/meminfo: memFree=1808512/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=25648 CPUtime=522.15 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 6177 0 0 0 52206 9 0 0 25 0 1 0 160257444 26263552 6050 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 6412 6050 139 317 0 6091 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 25648 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 19511 /proc/meminfo: memFree=1806848/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=27536 CPUtime=582.13 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 6677 0 0 0 58204 9 0 0 25 0 1 0 160257444 28196864 6408 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 6884 6408 139 317 0 6563 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 27536 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 19511 /proc/meminfo: memFree=1805376/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=29328 CPUtime=642.12 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 7072 0 0 0 64202 10 0 0 25 0 1 0 160257444 30031872 6803 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 7332 6803 139 317 0 7011 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 29328 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 19511 /proc/meminfo: memFree=1801472/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=33388 CPUtime=882.05 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 8035 0 0 0 88192 13 0 0 25 0 1 0 160257444 34189312 7766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564040 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 8347 7766 139 317 0 8026 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 33388 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 19511 /proc/meminfo: memFree=1800768/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=34064 CPUtime=942.04 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 8211 0 0 0 94190 14 0 0 25 0 1 0 160257444 34881536 7942 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564002 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 8516 7942 139 317 0 8195 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 34064 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 3/78 19511 /proc/meminfo: memFree=1799872/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=34872 CPUtime=1002.02 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 8412 0 0 0 100188 14 0 0 25 0 1 0 160257444 35708928 8143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 8718 8143 139 317 0 8397 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 34872 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 19511 /proc/meminfo: memFree=1799360/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=35468 CPUtime=1062 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 8560 0 0 0 106185 15 0 0 25 0 1 0 160257444 36319232 8291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 8867 8291 139 317 0 8546 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 35468 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 19511 /proc/meminfo: memFree=1798720/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=36136 CPUtime=1121.99 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 8715 0 0 0 112183 16 0 0 25 0 1 0 160257444 37003264 8446 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 9034 8446 139 317 0 8713 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 36136 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 19511 /proc/meminfo: memFree=1798144/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=36680 CPUtime=1181.97 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 8847 0 0 0 118181 16 0 0 25 0 1 0 160257444 37560320 8578 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 9170 8578 139 317 0 8849 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 36680 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 19511 /proc/meminfo: memFree=1797248/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=37488 CPUtime=1241.96 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 9077 0 0 0 124179 17 0 0 25 0 1 0 160257444 38387712 8808 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 9372 8808 139 317 0 9051 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 37488 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 19511 /proc/meminfo: memFree=1796288/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=38492 CPUtime=1301.95 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 9296 0 0 0 130177 18 0 0 25 0 1 0 160257444 39415808 9027 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 9623 9027 139 317 0 9302 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 38492 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 19511 /proc/meminfo: memFree=1795456/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=39332 CPUtime=1361.92 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 9492 0 0 0 136174 18 0 0 25 0 1 0 160257444 40275968 9223 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 9833 9223 139 317 0 9512 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 39332 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/78 19511 /proc/meminfo: memFree=1794624/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=39988 CPUtime=1421.91 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 9690 0 0 0 142172 19 0 0 25 0 1 0 160257444 40947712 9421 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 9997 9421 139 317 0 9676 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 39988 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/84 19619 /proc/meminfo: memFree=1792448/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=40800 CPUtime=1481.83 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 9885 0 0 0 148162 21 0 0 25 0 1 0 160257444 41779200 9616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 10200 9616 139 317 0 9879 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 40800 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 19709 /proc/meminfo: memFree=1792832/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=41624 CPUtime=1541.76 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 10074 0 0 0 154154 22 0 0 25 0 1 0 160257444 42622976 9805 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 10406 9805 139 317 0 10085 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 41624 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 19709 /proc/meminfo: memFree=1792064/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=42444 CPUtime=1601.74 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 10273 0 0 0 160152 22 0 0 25 0 1 0 160257444 43462656 10004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 10611 10004 139 317 0 10290 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 42444 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 19709 /proc/meminfo: memFree=1791296/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=43100 CPUtime=1661.73 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 10465 0 0 0 166150 23 0 0 25 0 1 0 160257444 44134400 10163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 10775 10163 139 317 0 10454 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 43100 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 19709 /proc/meminfo: memFree=1790720/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=43672 CPUtime=1721.7 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 10612 0 0 0 172147 23 0 0 25 0 1 0 160257444 44720128 10310 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 10918 10310 139 317 0 10597 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 43672 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 19709 /proc/meminfo: memFree=1790144/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=44220 CPUtime=1781.69 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 10755 0 0 0 178145 24 0 0 25 0 1 0 160257444 45281280 10453 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 11055 10453 139 317 0 10734 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 44220 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.97 2/78 19709 /proc/meminfo: memFree=1789952/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=44480 CPUtime=1800.09 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 10798 0 0 0 179985 24 0 0 25 0 1 0 160257444 45547520 10496 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 11120 10496 139 317 0 10799 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 44480 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.97 2/78 19709 /proc/meminfo: memFree=1789952/2055920 swapFree=4145928/4192956 [pid=19510] ppid=19508 vsize=44480 CPUtime=1800.09 /proc/19510/stat : 19510 (oree) R 19508 19510 19080 0 -1 4194304 10798 0 0 0 179985 24 0 0 25 0 1 0 160257444 45547520 10496 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19510/statm: 11120 10496 139 317 0 10799 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 44480 Child status: 0 Real time (s): 1800.79 CPU time (s): 1800.19 CPU user time (s): 1799.93 CPU system time (s): 0.254961 CPU usage (%): 99.9663 Max. virtual memory (cumulated for all children) (KiB): 44480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.93 system time used= 0.254961 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10814 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= 1866 runsolver used 2.06269 second user time and 4.49632 second system time The end
Begin job on node1 on Tue Apr 17 20:36:36 UTC 2007 IDJOB= 360264 IDBENCH= 1355 IDSOLVER= 172 FILE ID= node1/360264-1176842196 PBS_JOBID= 4590173 Free space on /tmp= 66400 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.1900547389.opb COMMAND LINE= oree /tmp/evaluation/360264-1176842196/instance-360264-1176842196.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-360264-1176842196 -o ROOT/results/node1/solver-360264-1176842196 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/360264-1176842196/instance-360264-1176842196.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 6bb807214e0d1b3ab69b4b6ee86db452 RANDOM SEED= 979333518 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node1.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.234 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.234 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: 1833176 kB Buffers: 27456 kB Cached: 128628 kB SwapCached: 14460 kB Active: 57412 kB Inactive: 121524 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1833176 kB SwapTotal: 4192956 kB SwapFree: 4145928 kB Dirty: 1444 kB Writeback: 0 kB Mapped: 29976 kB Slab: 29356 kB Committed_AS: 4916996 kB PageTables: 1832 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= 66400 MiB End job on node1 on Tue Apr 17 21:06:39 UTC 2007