Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.21 | 1800.82 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900566263.opb |
MD5SUM | f4c214ee809fe2c6dba5a2a6d8bf156c |
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.025995 |
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 | 613 |
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.34 c restart after 401 decisions 0.39/0.47 c nbDecision=500 #constraints=3183 0.89/0.96 c restart after 801 decisions 1.29/1.31 c nbDecision=1000 #constraints=3659 2.69/2.70 c nbDecision=1500 #constraints=4154 3.09/3.13 c restart after 1601 decisions 4.99/5.09 c nbDecision=2000 #constraints=4642 7.59/7.64 c nbDecision=2500 #constraints=5133 10.59/10.64 c nbDecision=3000 #constraints=5619 12.59/12.65 c restart after 3201 decisions 15.98/16.01 c nbDecision=3500 #constraints=6108 21.39/21.45 c nbDecision=4000 #constraints=6596 28.08/28.13 c nbDecision=4500 #constraints=7084 35.88/35.96 c nbDecision=5000 #constraints=7576 45.28/45.33 c nbDecision=5500 #constraints=8069 55.77/55.80 c nbDecision=6000 #constraints=8563 63.27/63.33 c restart after 6401 decisions 65.46/65.54 c nbDecision=6500 #constraints=9049 83.56/83.62 c nbDecision=7000 #constraints=9545 94.57/94.60 c nbDecision=7500 #constraints=10035 111.76/111.88 c nbDecision=8000 #constraints=10522 130.95/131.10 c nbDecision=8500 #constraints=11018 153.44/153.58 c nbDecision=9000 #constraints=11509 176.74/176.86 c nbDecision=9500 #constraints=12000 201.82/201.94 c nbDecision=10000 #constraints=12488 225.81/225.97 c nbDecision=10500 #constraints=12981 246.21/246.32 c nbDecision=11000 #constraints=13473 265.70/265.88 c nbDecision=11500 #constraints=13961 287.49/287.60 c nbDecision=12000 #constraints=14452 307.68/307.90 c nbDecision=12500 #constraints=14936 318.89/319.07 c restart after 12801 decisions 334.58/334.73 c nbDecision=13000 #constraints=15425 368.67/368.82 c nbDecision=13500 #constraints=15918 398.56/398.76 c nbDecision=14000 #constraints=16412 426.85/427.00 c nbDecision=14500 #constraints=16902 457.04/457.28 c nbDecision=15000 #constraints=17395 484.23/484.44 c nbDecision=15500 #constraints=17891 513.92/514.14 c nbDecision=16000 #constraints=18382 550.91/551.10 c nbDecision=16500 #constraints=18870 591.09/591.39 c nbDecision=17000 #constraints=19360 630.08/630.38 c nbDecision=17500 #constraints=19850 673.26/673.51 c nbDecision=18000 #constraints=20343 726.74/727.05 c nbDecision=18500 #constraints=20834 781.53/781.80 c nbDecision=19000 #constraints=21322 842.21/842.55 c nbDecision=19500 #constraints=21817 906.28/906.64 c nbDecision=20000 #constraints=22312 981.05/981.41 c nbDecision=20500 #constraints=22803 1028.94/1029.33 c nbDecision=21000 #constraints=23296 1078.43/1078.87 c nbDecision=21500 #constraints=23789 1134.41/1134.86 c nbDecision=22000 #constraints=24277 1213.38/1213.87 c nbDecision=22500 #constraints=24775 1304.25/1304.76 c nbDecision=23000 #constraints=25268 1400.51/1401.02 c nbDecision=23500 #constraints=25766 1478.29/1478.82 c nbDecision=24000 #constraints=26260 1545.47/1546.01 c nbDecision=24500 #constraints=26755 1633.13/1633.73 c nbDecision=25000 #constraints=27249 1709.01/1709.66 c nbDecision=25500 #constraints=27735 1727.80/1728.45 c restart after 25601 decisions 1781.29/1781.96 c nbDecision=26000 #constraints=28221 1800.09/1800.70 Received signal 15 1800.19/1800.81 1800.19/1800.81 s UNKNOWN 1800.19/1800.81 1800.19/1800.81 c user time= 1800.07 s 1800.19/1800.81 c system time= 0.13098 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/node69/watcher-359858-1176841523 -o ROOT/results/node69/solver-359858-1176841523 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/359858-1176841523/instance-359858-1176841523.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.99 0.99 3/64 18358 /proc/meminfo: memFree=1599724/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=1468 CPUtime=0 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 160141711 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278906 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 367 164 130 317 0 46 0 [startup+0.0494729 s] /proc/loadavg: 0.92 0.99 0.99 3/64 18358 /proc/meminfo: memFree=1599724/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=2544 CPUtime=0.04 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 424 0 0 0 4 0 0 0 18 0 1 0 160141711 2605056 406 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278989 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 636 406 139 317 0 315 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2544 [startup+0.10148 s] /proc/loadavg: 0.92 0.99 0.99 3/64 18358 /proc/meminfo: memFree=1599724/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=2544 CPUtime=0.09 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 425 0 0 0 9 0 0 0 18 0 1 0 160141711 2605056 407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134558613 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 636 407 139 317 0 315 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2544 [startup+0.301512 s] /proc/loadavg: 0.92 0.99 0.99 3/64 18358 /proc/meminfo: memFree=1599724/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=2804 CPUtime=0.29 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 513 0 0 0 29 0 0 0 19 0 1 0 160141711 2871296 495 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713793 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 701 495 139 317 0 380 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2804 [startup+0.701577 s] /proc/loadavg: 0.92 0.99 0.99 3/64 18358 /proc/meminfo: memFree=1599724/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=3200 CPUtime=0.69 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 609 0 0 0 69 0 0 0 22 0 1 0 160141711 3276800 591 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 800 591 139 317 0 479 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3200 [startup+1.50171 s] /proc/loadavg: 0.92 0.99 0.99 2/65 18359 /proc/meminfo: memFree=1597668/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=3860 CPUtime=1.49 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 756 0 0 0 149 0 0 0 25 0 1 0 160141711 3952640 738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 965 738 139 317 0 644 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3860 [startup+3.10197 s] /proc/loadavg: 0.92 0.99 0.99 2/65 18359 /proc/meminfo: memFree=1596772/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=4644 CPUtime=3.09 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 991 0 0 0 309 0 0 0 25 0 1 0 160141711 4755456 973 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712529 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 1161 973 170 317 0 840 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4644 [startup+6.30149 s] /proc/loadavg: 0.93 0.99 0.99 2/65 18359 /proc/meminfo: memFree=1595620/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=5568 CPUtime=6.29 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 1243 0 0 0 629 0 0 0 25 0 1 0 160141711 5701632 1225 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 1392 1225 170 317 0 1071 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 5568 [startup+12.7015 s] /proc/loadavg: 0.93 0.99 0.99 2/65 18359 /proc/meminfo: memFree=1593956/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=7160 CPUtime=12.69 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 1626 0 0 0 1269 0 0 0 25 0 1 0 160141711 7331840 1571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 1790 1571 170 317 0 1469 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 7160 [startup+25.5016 s] /proc/loadavg: 0.95 0.99 0.99 2/65 18359 /proc/meminfo: memFree=1592484/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=8480 CPUtime=25.49 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 1980 0 0 0 2548 1 0 0 25 0 1 0 160141711 8683520 1925 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 2120 1925 170 317 0 1799 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8480 [startup+51.1017 s] /proc/loadavg: 0.96 0.99 0.99 2/65 18359 /proc/meminfo: memFree=1590372/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=10652 CPUtime=51.07 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 2500 0 0 0 5106 1 0 0 25 0 1 0 160141711 10907648 2445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 2663 2445 170 317 0 2342 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 10652 [startup+102.305 s] /proc/loadavg: 0.98 0.99 0.99 2/65 18359 /proc/meminfo: memFree=1587492/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=13352 CPUtime=102.26 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 3188 0 0 0 10224 2 0 0 25 0 1 0 160141711 13672448 3133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 3338 3133 170 317 0 3017 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 13352 [startup+162.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 18359 /proc/meminfo: memFree=1585316/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=15740 CPUtime=162.24 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 3803 0 0 0 16221 3 0 0 25 0 1 0 160141711 16117760 3676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 3935 3676 170 317 0 3614 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 15740 [startup+222.303 s] /proc/loadavg: 0.99 0.99 0.99 2/65 18359 /proc/meminfo: memFree=1583588/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=17484 CPUtime=222.22 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 4214 0 0 0 22219 3 0 0 25 0 1 0 160141711 17903616 4087 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 4371 4087 170 317 0 4050 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 17484 [startup+282.301 s] /proc/loadavg: 0.99 0.99 0.99 2/65 18359 /proc/meminfo: memFree=1581540/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=19672 CPUtime=282.2 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 4741 0 0 0 28216 4 0 0 25 0 1 0 160141711 20144128 4614 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 4918 4614 170 317 0 4597 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 19672 [startup+342.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 18359 /proc/meminfo: memFree=1579556/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=21724 CPUtime=342.18 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 5220 0 0 0 34213 5 0 0 25 0 1 0 160141711 22245376 5093 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718543 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 5431 5093 170 317 0 5110 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 21724 [startup+402.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 18359 /proc/meminfo: memFree=1578148/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=23192 CPUtime=402.16 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 5576 0 0 0 40211 5 0 0 25 0 1 0 160141711 23748608 5449 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 5798 5449 170 317 0 5477 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 23192 [startup+462.301 s] /proc/loadavg: 0.99 0.99 0.99 2/65 18359 /proc/meminfo: memFree=1576484/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=24784 CPUtime=462.13 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 5981 0 0 0 46208 5 0 0 25 0 1 0 160141711 25378816 5854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 6196 5854 170 317 0 5875 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 24784 [startup+522.301 s] /proc/loadavg: 0.99 0.99 0.99 2/65 18359 /proc/meminfo: memFree=1574884/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=26388 CPUtime=522.11 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 6388 0 0 0 52205 6 0 0 25 0 1 0 160141711 27021312 6261 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 6597 6261 170 317 0 6276 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 26388 [startup+582.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 18359 /proc/meminfo: memFree=1573668/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=27712 CPUtime=582.1 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 6700 0 0 0 58203 7 0 0 25 0 1 0 160141711 28377088 6573 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 6928 6573 170 317 0 6607 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 27712 [startup+642.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 18359 /proc/meminfo: memFree=1572324/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=28952 CPUtime=642.08 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 7027 0 0 0 64201 7 0 0 25 0 1 0 160141711 29646848 6900 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 7238 6900 170 317 0 6917 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 28952 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 18361 /proc/meminfo: memFree=1568804/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=33216 CPUtime=881.99 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 8071 0 0 0 88191 8 0 0 25 0 1 0 160141711 34013184 7769 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 8304 7769 170 317 0 7983 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 33216 [startup+942.301 s] /proc/loadavg: 0.99 0.99 0.99 2/65 18361 /proc/meminfo: memFree=1568164/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=33892 CPUtime=941.97 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 8235 0 0 0 94189 8 0 0 25 0 1 0 160141711 34705408 7933 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 8473 7933 170 317 0 8152 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 33892 [startup+1002.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 18361 /proc/meminfo: memFree=1567460/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=34604 CPUtime=1001.95 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 8406 0 0 0 100187 8 0 0 25 0 1 0 160141711 35434496 8104 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 8651 8104 170 317 0 8330 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 34604 [startup+1062.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 18361 /proc/meminfo: memFree=1566436/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=35680 CPUtime=1061.93 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 8674 0 0 0 106185 8 0 0 25 0 1 0 160141711 36536320 8372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 8920 8372 170 317 0 8599 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 35680 [startup+1122.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 18361 /proc/meminfo: memFree=1565412/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=36632 CPUtime=1121.91 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 8916 0 0 0 112182 9 0 0 25 0 1 0 160141711 37511168 8614 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 9158 8614 170 317 0 8837 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 36632 [startup+1182.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 18361 /proc/meminfo: memFree=1564772/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=37448 CPUtime=1181.89 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 9085 0 0 0 118180 9 0 0 25 0 1 0 160141711 38346752 8783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 9362 8783 170 317 0 9041 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 37448 [startup+1242.3 s] /proc/loadavg: 1.06 1.01 1.00 2/65 18361 /proc/meminfo: memFree=1564260/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=38000 CPUtime=1241.87 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 9211 0 0 0 124177 10 0 0 25 0 1 0 160141711 38912000 8909 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 9500 8909 170 317 0 9179 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 38000 [startup+1302.3 s] /proc/loadavg: 1.08 1.02 1.00 2/65 18361 /proc/meminfo: memFree=1563748/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=38436 CPUtime=1301.85 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 9329 0 0 0 130175 10 0 0 25 0 1 0 160141711 39358464 9027 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 9609 9027 170 317 0 9288 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 38436 [startup+1362.3 s] /proc/loadavg: 1.03 1.01 1.00 2/65 18361 /proc/meminfo: memFree=1563300/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=38984 CPUtime=1361.83 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 9450 0 0 0 136173 10 0 0 25 0 1 0 160141711 39919616 9148 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 9746 9148 170 317 0 9425 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 38984 [startup+1422.31 s] /proc/loadavg: 1.01 1.01 1.00 2/65 18361 /proc/meminfo: memFree=1562852/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=39376 CPUtime=1421.81 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 9567 0 0 0 142171 10 0 0 25 0 1 0 160141711 40321024 9265 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 9844 9265 170 317 0 9523 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 39376 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18361 /proc/meminfo: memFree=1562148/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=40180 CPUtime=1481.79 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 9735 0 0 0 148168 11 0 0 25 0 1 0 160141711 41144320 9433 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 10045 9433 170 317 0 9724 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 40180 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18361 /proc/meminfo: memFree=1561380/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=40772 CPUtime=1541.77 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 9922 0 0 0 154166 11 0 0 25 0 1 0 160141711 41750528 9620 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 10193 9620 170 317 0 9872 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 40772 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18361 /proc/meminfo: memFree=1560932/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=41328 CPUtime=1601.74 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 10049 0 0 0 160163 11 0 0 25 0 1 0 160141711 42319872 9747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 10332 9747 170 317 0 10011 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 41328 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18361 /proc/meminfo: memFree=1560356/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=41904 CPUtime=1661.73 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 10169 0 0 0 166161 12 0 0 25 0 1 0 160141711 42909696 9867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 10476 9867 170 317 0 10155 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 41904 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18361 /proc/meminfo: memFree=1559844/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=42388 CPUtime=1721.71 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 10303 0 0 0 172159 12 0 0 25 0 1 0 160141711 43405312 10001 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 10597 10001 170 317 0 10276 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 42388 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18361 /proc/meminfo: memFree=1559140/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=43224 CPUtime=1781.68 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 10469 0 0 0 178156 12 0 0 25 0 1 0 160141711 44261376 10167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 10806 10167 170 317 0 10485 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 43224 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18361 /proc/meminfo: memFree=1558948/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=43356 CPUtime=1800.09 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 10509 0 0 0 179996 13 0 0 25 0 1 0 160141711 44396544 10207 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715632 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 10839 10207 170 317 0 10518 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 43356 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/65 18361 /proc/meminfo: memFree=1558948/2055920 swapFree=4182840/4192956 [pid=18358] ppid=18356 vsize=43356 CPUtime=1800.19 /proc/18358/stat : 18358 (oree) R 18356 18358 17604 0 -1 4194304 10509 0 0 0 180006 13 0 0 25 0 1 0 160141711 44396544 10207 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18358/statm: 10839 10207 170 317 0 10518 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 43356 Child status: 0 Real time (s): 1800.82 CPU time (s): 1800.21 CPU user time (s): 1800.07 CPU system time (s): 0.138978 CPU usage (%): 99.966 Max. virtual memory (cumulated for all children) (KiB): 43356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.07 system time used= 0.138978 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10525 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= 2263 runsolver used 1.2888 second user time and 3.64744 second system time The end
Begin job on node69 on Tue Apr 17 20:25:23 UTC 2007 IDJOB= 359858 IDBENCH= 1325 IDSOLVER= 172 FILE ID= node69/359858-1176841523 PBS_JOBID= 4590151 Free space on /tmp= 66523 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.1900566263.opb COMMAND LINE= oree /tmp/evaluation/359858-1176841523/instance-359858-1176841523.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-359858-1176841523 -o ROOT/results/node69/solver-359858-1176841523 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/359858-1176841523/instance-359858-1176841523.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= f4c214ee809fe2c6dba5a2a6d8bf156c RANDOM SEED= 870667458 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node69.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.264 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 : 5931.00 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.264 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: 1600196 kB Buffers: 28176 kB Cached: 378492 kB SwapCached: 5208 kB Active: 236976 kB Inactive: 180584 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1600196 kB SwapTotal: 4192956 kB SwapFree: 4182840 kB Dirty: 1388 kB Writeback: 0 kB Mapped: 15488 kB Slab: 24180 kB Committed_AS: 1425800 kB PageTables: 1472 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= 66523 MiB End job on node69 on Tue Apr 17 20:55:26 UTC 2007