Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.09 | 1800.85 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900559416.opb |
MD5SUM | 5ce966422ddfb6c88d2a1f1dfd1b951a |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1.08483 |
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 | 647 |
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=3180 0.79/0.87 c restart after 801 decisions 1.19/1.28 c nbDecision=1000 #constraints=3663 2.39/2.44 c nbDecision=1500 #constraints=4151 2.59/2.66 c restart after 1601 decisions 4.19/4.24 c nbDecision=2000 #constraints=4631 6.39/6.44 c nbDecision=2500 #constraints=5121 9.49/9.59 c nbDecision=3000 #constraints=5599 10.79/10.87 c restart after 3201 decisions 13.28/13.34 c nbDecision=3500 #constraints=6084 18.58/18.63 c nbDecision=4000 #constraints=6567 23.98/24.08 c nbDecision=4500 #constraints=7036 30.88/30.93 c nbDecision=5000 #constraints=7528 38.77/38.86 c nbDecision=5500 #constraints=8013 48.38/48.43 c nbDecision=6000 #constraints=8493 57.07/57.15 c restart after 6401 decisions 59.37/59.44 c nbDecision=6500 #constraints=8974 71.67/71.75 c nbDecision=7000 #constraints=9461 84.26/84.31 c nbDecision=7500 #constraints=9953 95.45/95.55 c nbDecision=8000 #constraints=10436 109.05/109.16 c nbDecision=8500 #constraints=10922 123.05/123.17 c nbDecision=9000 #constraints=11402 139.04/139.10 c nbDecision=9500 #constraints=11874 156.93/157.00 c nbDecision=10000 #constraints=12368 174.62/174.74 c nbDecision=10500 #constraints=12850 197.22/197.32 c nbDecision=11000 #constraints=13344 223.81/223.91 c nbDecision=11500 #constraints=13829 254.29/254.42 c nbDecision=12000 #constraints=14321 273.09/273.21 c nbDecision=12500 #constraints=14815 287.49/287.62 c restart after 12801 decisions 301.88/302.05 c nbDecision=13000 #constraints=15302 338.76/338.93 c nbDecision=13500 #constraints=15796 372.95/373.15 c nbDecision=14000 #constraints=16287 419.34/419.53 c nbDecision=14500 #constraints=16780 461.52/461.73 c nbDecision=15000 #constraints=17274 496.91/497.17 c nbDecision=15500 #constraints=17762 534.20/534.43 c nbDecision=16000 #constraints=18249 579.17/579.48 c nbDecision=16500 #constraints=18738 637.36/637.66 c nbDecision=17000 #constraints=19234 697.53/697.82 c nbDecision=17500 #constraints=19725 755.11/755.45 c nbDecision=18000 #constraints=20222 813.99/814.35 c nbDecision=18500 #constraints=20714 875.07/875.42 c nbDecision=19000 #constraints=21205 926.05/926.42 c nbDecision=19500 #constraints=21694 958.14/958.50 c nbDecision=20000 #constraints=22181 1007.61/1008.01 c nbDecision=20500 #constraints=22676 1054.00/1054.45 c nbDecision=21000 #constraints=23156 1092.79/1093.23 c nbDecision=21500 #constraints=23649 1136.67/1137.18 c nbDecision=22000 #constraints=24136 1182.96/1183.50 c nbDecision=22500 #constraints=24622 1240.24/1240.76 c nbDecision=23000 #constraints=25109 1291.22/1291.75 c nbDecision=23500 #constraints=25602 1345.09/1345.61 c nbDecision=24000 #constraints=26095 1397.08/1397.68 c nbDecision=24500 #constraints=26578 1458.76/1459.39 c nbDecision=25000 #constraints=27064 1531.43/1532.08 c nbDecision=25500 #constraints=27557 1546.32/1546.94 c restart after 25601 decisions 1602.80/1603.43 c nbDecision=26000 #constraints=28044 1669.58/1670.26 c nbDecision=26500 #constraints=28537 1733.95/1734.68 c nbDecision=27000 #constraints=29030 1800.04/1800.80 Received signal 15 1800.04/1800.83 1800.04/1800.83 s UNKNOWN 1800.04/1800.83 1800.04/1800.83 c user time= 1799.87 s 1800.04/1800.83 c system time= 0.210967 s 1800.04/1800.83 c wall clock time=1800.83
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node42/watcher-360096-1176841905 -o ROOT/results/node42/solver-360096-1176841905 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/360096-1176841905/instance-360096-1176841905.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.91 0.95 0.97 2/77 25113 /proc/meminfo: memFree=1596256/2055920 swapFree=4054472/4192956 [pid=25113] ppid=25111 vsize=1468 CPUtime=0 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 132102362 1503232 165 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 367 165 130 317 0 46 0 [startup+0.0755171 s] /proc/loadavg: 0.91 0.95 0.97 2/77 25113 /proc/meminfo: memFree=1596256/2055920 swapFree=4054472/4192956 [pid=25113] ppid=25111 vsize=2544 CPUtime=0.07 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 424 0 0 0 7 0 0 0 18 0 1 0 132102362 2605056 406 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135271382 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 636 406 139 317 0 315 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2544 [startup+0.102523 s] /proc/loadavg: 0.91 0.95 0.97 2/77 25113 /proc/meminfo: memFree=1596256/2055920 swapFree=4054472/4192956 [pid=25113] ppid=25111 vsize=2544 CPUtime=0.1 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 425 0 0 0 10 0 0 0 18 0 1 0 132102362 2605056 407 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134536221 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 636 407 139 317 0 315 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2544 [startup+0.30156 s] /proc/loadavg: 0.91 0.95 0.97 2/77 25113 /proc/meminfo: memFree=1596256/2055920 swapFree=4054472/4192956 [pid=25113] ppid=25111 vsize=2804 CPUtime=0.29 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 517 0 0 0 29 0 0 0 19 0 1 0 132102362 2871296 499 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604259 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 701 499 139 317 0 380 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2804 [startup+0.701636 s] /proc/loadavg: 0.91 0.95 0.97 2/77 25113 /proc/meminfo: memFree=1596256/2055920 swapFree=4054472/4192956 [pid=25113] ppid=25111 vsize=3196 CPUtime=0.69 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 616 0 0 0 69 0 0 0 23 0 1 0 132102362 3272704 598 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715606 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 799 598 139 317 0 478 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3196 [startup+1.50179 s] /proc/loadavg: 0.91 0.95 0.97 2/78 25114 /proc/meminfo: memFree=1594136/2055920 swapFree=4054472/4192956 [pid=25113] ppid=25111 vsize=3716 CPUtime=1.49 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 750 0 0 0 149 0 0 0 25 0 1 0 132102362 3805184 732 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 929 732 139 317 0 608 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3716 [startup+3.10109 s] /proc/loadavg: 0.91 0.95 0.97 2/78 25114 /proc/meminfo: memFree=1593368/2055920 swapFree=4054472/4192956 [pid=25113] ppid=25111 vsize=4640 CPUtime=3.09 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 967 0 0 0 309 0 0 0 25 0 1 0 132102362 4751360 949 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 1160 949 139 317 0 839 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4640 [startup+6.30169 s] /proc/loadavg: 0.92 0.95 0.97 2/78 25114 /proc/meminfo: memFree=1592024/2055920 swapFree=4054472/4192956 [pid=25113] ppid=25111 vsize=5704 CPUtime=6.29 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 1234 0 0 0 629 0 0 0 25 0 1 0 132102362 5840896 1216 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 1426 1216 139 317 0 1105 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 5704 [startup+12.7019 s] /proc/loadavg: 0.93 0.95 0.97 2/78 25114 /proc/meminfo: memFree=1590424/2055920 swapFree=4054472/4192956 [pid=25113] ppid=25111 vsize=7156 CPUtime=12.68 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 1647 0 0 0 1268 0 0 0 25 0 1 0 132102362 7327744 1592 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 1789 1592 170 317 0 1468 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 7156 [startup+25.5023 s] /proc/loadavg: 0.94 0.96 0.97 2/78 25114 /proc/meminfo: memFree=1588632/2055920 swapFree=4054472/4192956 [pid=25113] ppid=25111 vsize=8860 CPUtime=25.49 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 2081 0 0 0 2548 1 0 0 25 0 1 0 132102362 9072640 2026 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 2215 2026 170 317 0 1894 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8860 [startup+51.1011 s] /proc/loadavg: 0.96 0.96 0.97 2/78 25114 /proc/meminfo: memFree=1586264/2055920 swapFree=4054472/4192956 [pid=25113] ppid=25111 vsize=11376 CPUtime=51.07 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 2686 0 0 0 5105 2 0 0 25 0 1 0 132102362 11649024 2631 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 2844 2631 170 317 0 2523 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 11376 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.97 2/78 25114 /proc/meminfo: memFree=1583256/2055920 swapFree=4054536/4192956 [pid=25113] ppid=25111 vsize=14448 CPUtime=102.25 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 3473 0 0 0 10223 2 0 0 25 0 1 0 132102362 14794752 3346 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 3612 3346 170 317 0 3291 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 14448 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 25114 /proc/meminfo: memFree=1580632/2055920 swapFree=4054536/4192956 [pid=25113] ppid=25111 vsize=17532 CPUtime=162.23 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 4163 0 0 0 16220 3 0 0 25 0 1 0 132102362 17952768 4036 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 4383 4036 170 317 0 4062 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 17532 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 25114 /proc/meminfo: memFree=1578776/2055920 swapFree=4054600/4192956 [pid=25113] ppid=25111 vsize=19432 CPUtime=222.21 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 4608 0 0 0 22217 4 0 0 25 0 1 0 132102362 19898368 4481 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 4858 4481 170 317 0 4537 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 19432 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 25114 /proc/meminfo: memFree=1577048/2055920 swapFree=4054600/4192956 [pid=25113] ppid=25111 vsize=21012 CPUtime=282.19 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 5043 0 0 0 28214 5 0 0 25 0 1 0 132102362 21516288 4916 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 5253 4916 170 317 0 4932 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 21012 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 25114 /proc/meminfo: memFree=1575768/2055920 swapFree=4054600/4192956 [pid=25113] ppid=25111 vsize=22208 CPUtime=342.17 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 5341 0 0 0 34211 6 0 0 25 0 1 0 132102362 22740992 5214 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 5552 5214 170 317 0 5231 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 22208 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 25114 /proc/meminfo: memFree=1574744/2055920 swapFree=4054664/4192956 [pid=25113] ppid=25111 vsize=23272 CPUtime=402.14 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 5616 0 0 0 40208 6 0 0 25 0 1 0 132102362 23830528 5489 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 5818 5489 170 317 0 5497 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 23272 [startup+462.303 s] /proc/loadavg: 0.99 0.97 0.97 2/78 25116 /proc/meminfo: memFree=1573720/2055920 swapFree=4054664/4192956 [pid=25113] ppid=25111 vsize=24224 CPUtime=462.12 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 5860 0 0 0 46205 7 0 0 25 0 1 0 132102362 24805376 5733 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 6056 5733 170 317 0 5735 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 24224 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 25116 /proc/meminfo: memFree=1572248/2055920 swapFree=4054728/4192956 [pid=25113] ppid=25111 vsize=25684 CPUtime=522.1 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 6240 0 0 0 52202 8 0 0 25 0 1 0 132102362 26300416 6113 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 6421 6113 170 317 0 6100 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 25684 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 25116 /proc/meminfo: memFree=1571352/2055920 swapFree=4054728/4192956 [pid=25113] ppid=25111 vsize=26560 CPUtime=582.07 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 6461 0 0 0 58199 8 0 0 25 0 1 0 132102362 27197440 6334 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 6640 6334 170 317 0 6319 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 26560 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 25116 /proc/meminfo: memFree=1570584/2055920 swapFree=4054728/4192956 [pid=25113] ppid=25111 vsize=27296 CPUtime=642.06 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 6641 0 0 0 64197 9 0 0 25 0 1 0 132102362 27951104 6514 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 6824 6514 170 317 0 6503 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 27296 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 25116 /proc/meminfo: memFree=1567960/2055920 swapFree=4054856/4192956 [pid=25113] ppid=25111 vsize=30524 CPUtime=821.99 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 7439 0 0 0 82188 11 0 0 25 0 1 0 132102362 31256576 7170 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 7631 7170 170 317 0 7310 0 Current children cumulated CPU time (s) 821.99 Current children cumulated vsize (KiB) 30524 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 25116 /proc/meminfo: memFree=1567704/2055920 swapFree=4054856/4192956 [pid=25113] ppid=25111 vsize=30784 CPUtime=881.96 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 7532 0 0 0 88185 11 0 0 25 0 1 0 132102362 31522816 7263 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 7696 7263 170 317 0 7375 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 30784 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 25116 /proc/meminfo: memFree=1566680/2055920 swapFree=4054856/4192956 [pid=25113] ppid=25111 vsize=31872 CPUtime=941.94 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 7797 0 0 0 94182 12 0 0 25 0 1 0 132102362 32636928 7495 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 7968 7495 170 317 0 7647 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 31872 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 25116 /proc/meminfo: memFree=1565592/2055920 swapFree=4054920/4192956 [pid=25113] ppid=25111 vsize=33228 CPUtime=1001.92 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 8100 0 0 0 100180 12 0 0 25 0 1 0 132102362 34025472 7798 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 8307 7798 170 317 0 7986 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 33228 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 25116 /proc/meminfo: memFree=1564312/2055920 swapFree=4054920/4192956 [pid=25113] ppid=25111 vsize=34548 CPUtime=1061.9 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 8395 0 0 0 106177 13 0 0 25 0 1 0 132102362 35377152 8093 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 8637 8093 170 317 0 8316 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 34548 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 25116 /proc/meminfo: memFree=1563160/2055920 swapFree=4054984/4192956 [pid=25113] ppid=25111 vsize=35680 CPUtime=1121.88 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 8673 0 0 0 112174 14 0 0 25 0 1 0 132102362 36536320 8371 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 8920 8371 170 317 0 8599 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 35680 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 25116 /proc/meminfo: memFree=1562072/2055920 swapFree=4054984/4192956 [pid=25113] ppid=25111 vsize=36860 CPUtime=1181.86 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 8942 0 0 0 118171 15 0 0 25 0 1 0 132102362 37744640 8640 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 9215 8640 170 317 0 8894 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 36860 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 25116 /proc/meminfo: memFree=1561112/2055920 swapFree=4054984/4192956 [pid=25113] ppid=25111 vsize=37760 CPUtime=1241.83 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 9162 0 0 0 124168 15 0 0 25 0 1 0 132102362 38666240 8860 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 9440 8860 170 317 0 9119 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 37760 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 25116 /proc/meminfo: memFree=1560152/2055920 swapFree=4055048/4192956 [pid=25113] ppid=25111 vsize=38868 CPUtime=1301.82 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 9414 0 0 0 130166 16 0 0 25 0 1 0 132102362 39800832 9112 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 9717 9112 170 317 0 9396 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 38868 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 25116 /proc/meminfo: memFree=1559064/2055920 swapFree=4055048/4192956 [pid=25113] ppid=25111 vsize=39880 CPUtime=1361.79 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 9679 0 0 0 136162 17 0 0 25 0 1 0 132102362 40837120 9377 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 9970 9377 170 317 0 9649 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 39880 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/78 25116 /proc/meminfo: memFree=1558168/2055920 swapFree=4055112/4192956 [pid=25113] ppid=25111 vsize=40928 CPUtime=1421.77 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 9914 0 0 0 142160 17 0 0 25 0 1 0 132102362 41910272 9612 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 10232 9612 170 317 0 9911 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 40928 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 25116 /proc/meminfo: memFree=1557336/2055920 swapFree=4055112/4192956 [pid=25113] ppid=25111 vsize=41628 CPUtime=1481.74 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 10123 0 0 0 148156 18 0 0 25 0 1 0 132102362 42627072 9821 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 10407 9821 170 317 0 10086 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 41628 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 25116 /proc/meminfo: memFree=1556568/2055920 swapFree=4055176/4192956 [pid=25113] ppid=25111 vsize=42416 CPUtime=1541.73 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 10301 0 0 0 154154 19 0 0 25 0 1 0 132102362 43433984 9999 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 10604 9999 170 317 0 10283 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 42416 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 25116 /proc/meminfo: memFree=1555800/2055920 swapFree=4055176/4192956 [pid=25113] ppid=25111 vsize=43224 CPUtime=1601.7 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 10498 0 0 0 160151 19 0 0 25 0 1 0 132102362 44261376 10196 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 10806 10196 170 317 0 10485 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 43224 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 25116 /proc/meminfo: memFree=1554968/2055920 swapFree=4055176/4192956 [pid=25113] ppid=25111 vsize=44052 CPUtime=1661.68 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 10700 0 0 0 166148 20 0 0 25 0 1 0 132102362 45109248 10398 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 11013 10398 170 317 0 10692 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 44052 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 25116 /proc/meminfo: memFree=1554264/2055920 swapFree=4055240/4192956 [pid=25113] ppid=25111 vsize=44708 CPUtime=1721.65 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 10879 0 0 0 172145 20 0 0 25 0 1 0 132102362 45780992 10577 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 11177 10577 170 317 0 10856 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 44708 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/84 25254 /proc/meminfo: memFree=1552152/2055920 swapFree=4055240/4192956 [pid=25113] ppid=25111 vsize=45232 CPUtime=1781.57 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 11005 0 0 0 178136 21 0 0 25 0 1 0 132102362 46317568 10703 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 11308 10703 170 317 0 10987 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (KiB) 45232 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.97 2/84 25288 /proc/meminfo: memFree=1552088/2055920 swapFree=4055240/4192956 [pid=25113] ppid=25111 vsize=45492 CPUtime=1800.04 /proc/25113/stat : 25113 (oree) R 25111 25113 24419 0 -1 4194304 11063 0 0 0 179983 21 0 0 25 0 1 0 132102362 46583808 10761 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134711000 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25113/statm: 11373 10761 170 317 0 11052 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 45492 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.85 CPU time (s): 1800.09 CPU user time (s): 1799.87 CPU system time (s): 0.218966 CPU usage (%): 99.9579 Max. virtual memory (cumulated for all children) (KiB): 45492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.87 system time used= 0.218966 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11079 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= 3603 runsolver used 1.9717 second user time and 4.5893 second system time The end
Begin job on node42 on Tue Apr 17 20:31:45 UTC 2007 IDJOB= 360096 IDBENCH= 1343 IDSOLVER= 172 FILE ID= node42/360096-1176841905 PBS_JOBID= 4586408 Free space on /tmp= 66464 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.1900559416.opb COMMAND LINE= oree /tmp/evaluation/360096-1176841905/instance-360096-1176841905.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-360096-1176841905 -o ROOT/results/node42/solver-360096-1176841905 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/360096-1176841905/instance-360096-1176841905.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 5ce966422ddfb6c88d2a1f1dfd1b951a RANDOM SEED= 307350203 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node42.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.277 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.277 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: 1596728 kB Buffers: 43456 kB Cached: 301440 kB SwapCached: 34340 kB Active: 205320 kB Inactive: 187820 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1596728 kB SwapTotal: 4192956 kB SwapFree: 4054472 kB Dirty: 1396 kB Writeback: 0 kB Mapped: 39312 kB Slab: 51484 kB Committed_AS: 2958948 kB PageTables: 1912 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= 66464 MiB End job on node42 on Tue Apr 17 21:01:48 UTC 2007