Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.21 | 1800.83 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900551864.opb |
MD5SUM | 733d8edd6a6cbfe19e20f4970079db5a |
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 | 7.67183 |
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 | 687 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.00/0.02 c ...done 0.00/0.02 c #vars=231 #constraints=2707 hasObjective=no 0.00/0.03 c res. mode=mod 0.00/0.03 c VSIDS like heuristics 0.00/0.03 c complete search running 0.29/0.31 c restart after 401 decisions 0.39/0.42 c nbDecision=500 #constraints=3179 0.69/0.75 c restart after 801 decisions 1.00/1.04 c nbDecision=1000 #constraints=3650 1.99/2.02 c nbDecision=1500 #constraints=4123 2.20/2.25 c restart after 1601 decisions 3.59/3.61 c nbDecision=2000 #constraints=4608 5.99/6.03 c nbDecision=2500 #constraints=5102 8.99/9.05 c nbDecision=3000 #constraints=5585 10.49/10.52 c restart after 3201 decisions 12.89/12.96 c nbDecision=3500 #constraints=6075 16.99/17.08 c nbDecision=4000 #constraints=6557 20.69/20.70 c nbDecision=4500 #constraints=7046 25.29/25.32 c nbDecision=5000 #constraints=7534 30.68/30.71 c nbDecision=5500 #constraints=8018 37.48/37.51 c nbDecision=6000 #constraints=8510 45.09/45.16 c restart after 6401 decisions 46.78/46.81 c nbDecision=6500 #constraints=8998 58.37/58.42 c nbDecision=7000 #constraints=9479 73.17/73.23 c nbDecision=7500 #constraints=9960 88.47/88.59 c nbDecision=8000 #constraints=10456 106.16/106.25 c nbDecision=8500 #constraints=10952 123.56/123.63 c nbDecision=9000 #constraints=11443 146.35/146.41 c nbDecision=9500 #constraints=11931 161.24/161.30 c nbDecision=10000 #constraints=12418 179.84/179.95 c nbDecision=10500 #constraints=12905 204.44/204.51 c nbDecision=11000 #constraints=13396 229.32/229.41 c nbDecision=11500 #constraints=13891 260.22/260.31 c nbDecision=12000 #constraints=14388 292.11/292.29 c nbDecision=12500 #constraints=14880 309.20/309.30 c restart after 12801 decisions 321.40/321.51 c nbDecision=13000 #constraints=15367 360.19/360.38 c nbDecision=13500 #constraints=15859 402.18/402.34 c nbDecision=14000 #constraints=16354 440.97/441.11 c nbDecision=14500 #constraints=16843 485.35/485.59 c nbDecision=15000 #constraints=17334 525.05/525.27 c nbDecision=15500 #constraints=17820 573.33/573.52 c nbDecision=16000 #constraints=18317 606.52/606.71 c nbDecision=16500 #constraints=18808 641.81/642.07 c nbDecision=17000 #constraints=19302 679.30/679.52 c nbDecision=17500 #constraints=19794 718.19/718.44 c nbDecision=18000 #constraints=20276 755.58/755.89 c nbDecision=18500 #constraints=20763 797.17/797.42 c nbDecision=19000 #constraints=21250 858.05/858.31 c nbDecision=19500 #constraints=21747 914.84/915.14 c nbDecision=20000 #constraints=22234 966.82/967.13 c nbDecision=20500 #constraints=22728 1031.41/1031.75 c nbDecision=21000 #constraints=23215 1088.08/1088.49 c nbDecision=21500 #constraints=23700 1139.77/1140.16 c nbDecision=22000 #constraints=24195 1185.75/1186.10 c nbDecision=22500 #constraints=24678 1239.54/1239.94 c nbDecision=23000 #constraints=25165 1295.92/1296.32 c nbDecision=23500 #constraints=25663 1352.41/1352.81 c nbDecision=24000 #constraints=26153 1415.79/1416.29 c nbDecision=24500 #constraints=26645 1480.87/1481.32 c nbDecision=25000 #constraints=27136 1536.95/1537.53 c nbDecision=25500 #constraints=27628 1549.44/1550.05 c restart after 25601 decisions 1601.43/1602.09 c nbDecision=26000 #constraints=28116 1670.01/1670.69 c nbDecision=26500 #constraints=28606 1732.00/1732.62 c nbDecision=27000 #constraints=29094 1800.09/1800.71 Received signal 15 1800.19/1800.81 1800.19/1800.81 s UNKNOWN 1800.19/1800.81 1800.19/1800.81 c user time= 1799.95 s 1800.19/1800.81 c system time= 0.250961 s 1800.19/1800.81 c wall clock time=1800.81
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node17/watcher-360236-1176842181 -o ROOT/results/node17/solver-360236-1176842181 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/360236-1176842181/instance-360236-1176842181.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.07 1.04 1.01 3/77 17182 /proc/meminfo: memFree=1726712/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=1468 CPUtime=0 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 132135573 1503232 165 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 367 165 130 317 0 46 0 [startup+0.0582319 s] /proc/loadavg: 1.07 1.04 1.01 3/77 17182 /proc/meminfo: memFree=1726712/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=2544 CPUtime=0.05 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 424 0 0 0 5 0 0 0 18 0 1 0 132135573 2605056 406 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712587 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 636 406 139 317 0 315 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2544 [startup+0.101236 s] /proc/loadavg: 1.07 1.04 1.01 3/77 17182 /proc/meminfo: memFree=1726712/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=2544 CPUtime=0.09 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 425 0 0 0 9 0 0 0 18 0 1 0 132135573 2605056 407 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134562758 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 636 407 139 317 0 315 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2544 [startup+0.301257 s] /proc/loadavg: 1.07 1.04 1.01 3/77 17182 /proc/meminfo: memFree=1726712/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=2676 CPUtime=0.29 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 487 0 0 0 29 0 0 0 19 0 1 0 132135573 2740224 469 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718318 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 669 469 139 317 0 348 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2676 [startup+0.701296 s] /proc/loadavg: 1.07 1.04 1.01 3/77 17182 /proc/meminfo: memFree=1726712/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=3072 CPUtime=0.69 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 582 0 0 0 69 0 0 0 22 0 1 0 132135573 3145728 564 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 768 564 139 317 0 447 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3072 [startup+1.50138 s] /proc/loadavg: 1.07 1.04 1.01 2/78 17183 /proc/meminfo: memFree=1724720/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=3732 CPUtime=1.49 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 727 0 0 0 149 0 0 0 25 0 1 0 132135573 3821568 709 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718926 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 933 709 139 317 0 612 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3732 [startup+3.10153 s] /proc/loadavg: 1.07 1.04 1.01 2/78 17183 /proc/meminfo: memFree=1723952/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=4412 CPUtime=3.09 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 899 0 0 0 309 0 0 0 25 0 1 0 132135573 4517888 881 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 1103 881 139 317 0 782 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4412 [startup+6.30185 s] /proc/loadavg: 1.06 1.04 1.01 2/78 17183 /proc/meminfo: memFree=1722864/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=5200 CPUtime=6.29 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 1121 0 0 0 629 0 0 0 25 0 1 0 132135573 5324800 1103 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 1300 1103 139 317 0 979 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 5200 [startup+12.7015 s] /proc/loadavg: 1.06 1.04 1.01 2/78 17183 /proc/meminfo: memFree=1721464/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=6524 CPUtime=12.69 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 1450 0 0 0 1269 0 0 0 25 0 1 0 132135573 6680576 1395 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 1631 1395 139 317 0 1310 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 6524 [startup+25.5018 s] /proc/loadavg: 1.04 1.04 1.01 2/78 17183 /proc/meminfo: memFree=1719288/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=8640 CPUtime=25.49 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 2015 0 0 0 2548 1 0 0 25 0 1 0 132135573 8847360 1960 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 2160 1960 170 317 0 1839 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8640 [startup+51.1015 s] /proc/loadavg: 1.03 1.03 1.00 3/78 17183 /proc/meminfo: memFree=1716920/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=10916 CPUtime=51.08 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 2591 0 0 0 5106 2 0 0 25 0 1 0 132135573 11177984 2536 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 2729 2536 170 317 0 2408 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 10916 [startup+102.307 s] /proc/loadavg: 1.01 1.03 1.00 2/78 17185 /proc/meminfo: memFree=1714232/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=13704 CPUtime=102.27 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 3296 0 0 0 10224 3 0 0 25 0 1 0 132135573 14032896 3169 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 3426 3169 170 317 0 3105 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 13704 [startup+162.302 s] /proc/loadavg: 1.00 1.02 1.00 2/78 17185 /proc/meminfo: memFree=1711736/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=16280 CPUtime=162.24 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 3914 0 0 0 16220 4 0 0 25 0 1 0 132135573 16670720 3787 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 4070 3787 170 317 0 3749 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 16280 [startup+222.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 17185 /proc/meminfo: memFree=1709752/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=18300 CPUtime=222.23 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 4416 0 0 0 22218 5 0 0 25 0 1 0 132135573 18739200 4289 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 4575 4289 170 317 0 4254 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 18300 [startup+282.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 17185 /proc/meminfo: memFree=1708280/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=19812 CPUtime=282.21 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 4794 0 0 0 28215 6 0 0 25 0 1 0 132135573 20287488 4667 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 4953 4667 170 317 0 4632 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 19812 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17185 /proc/meminfo: memFree=1706616/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=21440 CPUtime=342.19 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 5186 0 0 0 34212 7 0 0 25 0 1 0 132135573 21954560 5059 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 5360 5059 170 317 0 5039 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 21440 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17185 /proc/meminfo: memFree=1705592/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=22508 CPUtime=402.18 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 5451 0 0 0 40210 8 0 0 25 0 1 0 132135573 23048192 5324 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 5627 5324 170 317 0 5306 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 22508 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17185 /proc/meminfo: memFree=1704376/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=23716 CPUtime=462.16 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 5757 0 0 0 46208 8 0 0 25 0 1 0 132135573 24285184 5630 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 5929 5630 170 317 0 5608 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 23716 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17185 /proc/meminfo: memFree=1703288/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=24784 CPUtime=522.15 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 6006 0 0 0 52206 9 0 0 25 0 1 0 132135573 25378816 5879 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563943 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 6196 5879 170 317 0 5875 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 24784 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17185 /proc/meminfo: memFree=1702456/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=25568 CPUtime=582.12 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 6213 0 0 0 58203 9 0 0 25 0 1 0 132135573 26181632 6086 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 6392 6086 170 317 0 6071 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 25568 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17185 /proc/meminfo: memFree=1701048/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=27028 CPUtime=642.11 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 6558 0 0 0 64201 10 0 0 25 0 1 0 132135573 27676672 6431 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 6757 6431 170 317 0 6436 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 27028 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17185 /proc/meminfo: memFree=1696696/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=31948 CPUtime=882.04 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 7792 0 0 0 88191 13 0 0 25 0 1 0 132135573 32714752 7523 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712569 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 7987 7523 170 317 0 7666 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 31948 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17185 /proc/meminfo: memFree=1695992/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=32764 CPUtime=942.03 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 7981 0 0 0 94189 14 0 0 25 0 1 0 132135573 33550336 7712 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 8191 7712 170 317 0 7870 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 32764 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17185 /proc/meminfo: memFree=1695160/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=33572 CPUtime=1002 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 8174 0 0 0 100186 14 0 0 25 0 1 0 132135573 34377728 7905 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 8393 7905 170 317 0 8072 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 33572 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17185 /proc/meminfo: memFree=1694456/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=34404 CPUtime=1061.99 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 8360 0 0 0 106184 15 0 0 25 0 1 0 132135573 35229696 8091 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 8601 8091 170 317 0 8280 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 34404 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17185 /proc/meminfo: memFree=1693560/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=35400 CPUtime=1121.98 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 8585 0 0 0 112182 16 0 0 25 0 1 0 132135573 36249600 8316 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 8850 8316 170 317 0 8529 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 35400 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17185 /proc/meminfo: memFree=1692600/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=36412 CPUtime=1181.96 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 8831 0 0 0 118180 16 0 0 25 0 1 0 132135573 37285888 8562 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 9103 8562 170 317 0 8782 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 36412 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17185 /proc/meminfo: memFree=1691576/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=37316 CPUtime=1241.94 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 9055 0 0 0 124177 17 0 0 25 0 1 0 132135573 38211584 8786 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 9329 8786 170 317 0 9008 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 37316 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17185 /proc/meminfo: memFree=1690872/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=38100 CPUtime=1301.92 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 9242 0 0 0 130175 17 0 0 25 0 1 0 132135573 39014400 8973 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 9525 8973 170 317 0 9204 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 38100 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17185 /proc/meminfo: memFree=1690040/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=38952 CPUtime=1361.91 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 9449 0 0 0 136173 18 0 0 25 0 1 0 132135573 39886848 9180 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 9738 9180 170 317 0 9417 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 38952 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17185 /proc/meminfo: memFree=1689272/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=39800 CPUtime=1421.89 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 9633 0 0 0 142171 18 0 0 25 0 1 0 132135573 40755200 9364 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563486 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 9950 9364 170 317 0 9629 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 39800 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/84 17211 /proc/meminfo: memFree=1687360/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=40568 CPUtime=1481.87 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 9819 0 0 0 148166 21 0 0 25 0 1 0 132135573 41541632 9550 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 10142 9550 170 317 0 9821 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 40568 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17383 /proc/meminfo: memFree=1687472/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=41416 CPUtime=1541.75 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 10041 0 0 0 154153 22 0 0 25 0 1 0 132135573 42409984 9772 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 10354 9772 170 317 0 10033 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 41416 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17383 /proc/meminfo: memFree=1686776/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=42160 CPUtime=1601.73 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 10214 0 0 0 160150 23 0 0 25 0 1 0 132135573 43171840 9945 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 10540 9945 170 317 0 10219 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 42160 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17383 /proc/meminfo: memFree=1686264/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=42832 CPUtime=1661.71 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 10373 0 0 0 166148 23 0 0 25 0 1 0 132135573 43859968 10104 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 10708 10104 170 317 0 10387 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 42832 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17383 /proc/meminfo: memFree=1685560/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=43628 CPUtime=1721.7 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 10580 0 0 0 172146 24 0 0 25 0 1 0 132135573 44675072 10278 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 10907 10278 170 317 0 10586 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 43628 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17383 /proc/meminfo: memFree=1684728/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=44416 CPUtime=1781.68 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 10765 0 0 0 178144 24 0 0 25 0 1 0 132135573 45481984 10463 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 11104 10463 170 317 0 10783 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 44416 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17383 /proc/meminfo: memFree=1684664/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=44544 CPUtime=1800.09 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 10801 0 0 0 179984 25 0 0 25 0 1 0 132135573 45613056 10499 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 11136 10499 170 317 0 10815 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 44544 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/78 17383 /proc/meminfo: memFree=1684664/2055920 swapFree=4123132/4192956 [pid=17182] ppid=17180 vsize=44544 CPUtime=1800.19 /proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 10801 0 0 0 179994 25 0 0 25 0 1 0 132135573 45613056 10499 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17182/statm: 11136 10499 170 317 0 10815 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 44544 Child status: 0 Real time (s): 1800.83 CPU time (s): 1800.21 CPU user time (s): 1799.95 CPU system time (s): 0.25896 CPU usage (%): 99.9659 Max. virtual memory (cumulated for all children) (KiB): 44544 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.95 system time used= 0.25896 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10817 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= 7984 runsolver used 2.06669 second user time and 4.45732 second system time The end
Begin job on node17 on Tue Apr 17 20:36:21 UTC 2007 IDJOB= 360236 IDBENCH= 1353 IDSOLVER= 172 FILE ID= node17/360236-1176842181 PBS_JOBID= 4590136 Free space on /tmp= 66469 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.1900551864.opb COMMAND LINE= oree /tmp/evaluation/360236-1176842181/instance-360236-1176842181.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-360236-1176842181 -o ROOT/results/node17/solver-360236-1176842181 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/360236-1176842181/instance-360236-1176842181.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 733d8edd6a6cbfe19e20f4970079db5a RANDOM SEED= 661405331 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node17.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.240 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.240 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: 1727184 kB Buffers: 34296 kB Cached: 179744 kB SwapCached: 32528 kB Active: 98380 kB Inactive: 163120 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1727184 kB SwapTotal: 4192956 kB SwapFree: 4123132 kB Dirty: 1400 kB Writeback: 0 kB Mapped: 39828 kB Slab: 52784 kB Committed_AS: 7038100 kB PageTables: 1808 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= 66469 MiB End job on node17 on Tue Apr 17 21:06:23 UTC 2007