Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | UNSAT | 1398.55 | 1399.03 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900546076.opb |
MD5SUM | 148040983257ccf233b3daf7936d3c1f |
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 | 4.99324 |
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 | 723 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.00/0.02 c ...done 0.00/0.02 c #vars=231 #constraints=2707 hasObjective=no 0.00/0.02 c res. mode=mod 0.00/0.02 c VSIDS like heuristics 0.00/0.02 c complete search running 0.29/0.35 c restart after 401 decisions 0.39/0.49 c nbDecision=500 #constraints=3185 0.79/0.88 c restart after 801 decisions 1.19/1.30 c nbDecision=1000 #constraints=3668 2.49/2.58 c nbDecision=1500 #constraints=4162 2.79/2.90 c restart after 1601 decisions 4.19/4.22 c nbDecision=2000 #constraints=4646 6.69/6.71 c nbDecision=2500 #constraints=5133 9.98/10.04 c nbDecision=3000 #constraints=5619 11.28/11.30 c restart after 3201 decisions 13.79/13.82 c nbDecision=3500 #constraints=6100 18.38/18.42 c nbDecision=4000 #constraints=6588 24.58/24.63 c nbDecision=4500 #constraints=7078 31.08/31.16 c nbDecision=5000 #constraints=7575 38.27/38.33 c nbDecision=5500 #constraints=8069 44.68/44.77 c nbDecision=6000 #constraints=8558 50.58/50.68 c restart after 6401 decisions 52.37/52.42 c nbDecision=6500 #constraints=9043 62.27/62.39 c nbDecision=7000 #constraints=9530 73.97/74.06 c nbDecision=7500 #constraints=10015 86.57/86.63 c nbDecision=8000 #constraints=10495 96.86/96.99 c nbDecision=8500 #constraints=10978 110.55/110.64 c nbDecision=9000 #constraints=11471 130.05/130.10 c nbDecision=9500 #constraints=11965 150.55/150.64 c nbDecision=10000 #constraints=12457 169.14/169.21 c nbDecision=10500 #constraints=12953 186.43/186.55 c nbDecision=11000 #constraints=13434 200.42/200.52 c nbDecision=11500 #constraints=13909 221.51/221.64 c nbDecision=12000 #constraints=14405 245.50/245.64 c nbDecision=12500 #constraints=14902 259.10/259.23 c restart after 12801 decisions 267.20/267.35 c nbDecision=13000 #constraints=15386 291.50/291.60 c nbDecision=13500 #constraints=15868 311.09/311.26 c nbDecision=14000 #constraints=16357 333.18/333.31 c nbDecision=14500 #constraints=16842 354.27/354.45 c nbDecision=15000 #constraints=17327 374.57/374.70 c nbDecision=15500 #constraints=17820 396.06/396.25 c nbDecision=16000 #constraints=18304 424.15/424.35 c nbDecision=16500 #constraints=18797 459.24/459.43 c nbDecision=17000 #constraints=19289 496.22/496.47 c nbDecision=17500 #constraints=19787 536.81/537.04 c nbDecision=18000 #constraints=20262 563.01/563.26 c nbDecision=18500 #constraints=20753 594.29/594.57 c nbDecision=19000 #constraints=21241 621.48/621.74 c nbDecision=19500 #constraints=21720 663.17/663.49 c nbDecision=20000 #constraints=22214 704.35/704.65 c nbDecision=20500 #constraints=22707 750.04/750.36 c nbDecision=21000 #constraints=23204 788.62/788.92 c nbDecision=21500 #constraints=23699 830.51/830.87 c nbDecision=22000 #constraints=24197 862.89/863.29 c nbDecision=22500 #constraints=24689 895.98/896.36 c nbDecision=23000 #constraints=25178 932.48/932.85 c nbDecision=23500 #constraints=25663 969.36/969.79 c nbDecision=24000 #constraints=26161 1005.75/1006.14 c nbDecision=24500 #constraints=26655 1042.73/1043.13 c nbDecision=25000 #constraints=27137 1086.03/1086.48 c nbDecision=25500 #constraints=27630 1094.42/1094.87 c restart after 25601 decisions 1135.31/1135.78 c nbDecision=26000 #constraints=28120 1184.89/1185.32 c nbDecision=26500 #constraints=28614 1227.17/1227.67 c nbDecision=27000 #constraints=29103 1271.76/1272.26 c nbDecision=27500 #constraints=29600 1318.24/1318.70 c nbDecision=28000 #constraints=30095 1366.92/1367.48 c nbDecision=28500 #constraints=30581 1398.52/1399.01 c nbDecision=28817 #constraints=30897 1398.52/1399.01 1398.52/1399.01 s UNSATISFIABLE 1398.52/1399.01 1398.52/1399.01 c user time= 1398.41 s 1398.52/1399.01 c system time= 0.132979 s 1398.52/1399.01 c wall clock time=1399.01
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node69/watcher-359354-1176840122 -o ROOT/results/node69/solver-359354-1176840122 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/359354-1176840122/instance-359354-1176840122.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.98 0.98 2/64 18316 /proc/meminfo: memFree=1599836/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=1468 CPUtime=0 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 160001616 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134542867 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 367 164 130 317 0 46 0 [startup+0.00645211 s] /proc/loadavg: 0.92 0.98 0.98 2/64 18316 /proc/meminfo: memFree=1599836/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=1468 CPUtime=0 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 160001616 1503232 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 367 175 130 317 0 46 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1468 [startup+0.101466 s] /proc/loadavg: 0.92 0.98 0.98 2/64 18316 /proc/meminfo: memFree=1599836/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=2544 CPUtime=0.09 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 425 0 0 0 9 0 0 0 18 0 1 0 160001616 2605056 407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 636 407 139 317 0 315 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2544 [startup+0.301498 s] /proc/loadavg: 0.92 0.98 0.98 2/64 18316 /proc/meminfo: memFree=1599836/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=2676 CPUtime=0.29 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 487 0 0 0 29 0 0 0 19 0 1 0 160001616 2740224 469 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711473 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 669 469 139 317 0 348 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2676 [startup+0.701563 s] /proc/loadavg: 0.92 0.98 0.98 2/64 18316 /proc/meminfo: memFree=1599836/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=3068 CPUtime=0.69 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 573 0 0 0 69 0 0 0 24 0 1 0 160001616 3141632 555 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712567 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 767 555 139 317 0 446 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3068 [startup+1.50169 s] /proc/loadavg: 0.92 0.98 0.98 2/65 18317 /proc/meminfo: memFree=1597972/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=3592 CPUtime=1.49 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 709 0 0 0 149 0 0 0 25 0 1 0 160001616 3678208 691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554575 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 898 691 139 317 0 577 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3592 [startup+3.10195 s] /proc/loadavg: 0.92 0.98 0.98 2/65 18317 /proc/meminfo: memFree=1597204/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=4384 CPUtime=3.09 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 889 0 0 0 309 0 0 0 25 0 1 0 160001616 4489216 871 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563820 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 1096 871 139 317 0 775 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4384 [startup+6.30147 s] /proc/loadavg: 0.93 0.98 0.98 2/65 18317 /proc/meminfo: memFree=1595988/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=5308 CPUtime=6.29 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 1139 0 0 0 629 0 0 0 25 0 1 0 160001616 5435392 1121 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711484 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 1327 1121 139 317 0 1006 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 5308 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.98 2/65 18317 /proc/meminfo: memFree=1594788/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=6368 CPUtime=12.69 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 1411 0 0 0 1268 1 0 0 25 0 1 0 160001616 6520832 1356 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 1592 1356 139 317 0 1271 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 6368 [startup+25.5016 s] /proc/loadavg: 0.95 0.98 0.98 2/65 18317 /proc/meminfo: memFree=1593324/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=7816 CPUtime=25.48 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 1774 0 0 0 2547 1 0 0 25 0 1 0 160001616 8003584 1719 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718667 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 1954 1719 139 317 0 1633 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 7816 [startup+51.1017 s] /proc/loadavg: 0.96 0.98 0.98 2/65 18317 /proc/meminfo: memFree=1591276/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=9924 CPUtime=51.07 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 2296 0 0 0 5105 2 0 0 25 0 1 0 160001616 10162176 2241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 2481 2241 139 317 0 2160 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 9924 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.98 2/65 18317 /proc/meminfo: memFree=1588332/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=12984 CPUtime=102.26 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 3108 0 0 0 10223 3 0 0 25 0 1 0 160001616 13295616 2981 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 3246 2981 170 317 0 2925 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 12984 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.98 2/65 18317 /proc/meminfo: memFree=1586540/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=14836 CPUtime=162.24 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 3584 0 0 0 16220 4 0 0 25 0 1 0 160001616 15192064 3457 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 3709 3457 170 317 0 3388 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 14836 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.98 2/65 18317 /proc/meminfo: memFree=1584364/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=17116 CPUtime=222.21 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 4118 0 0 0 22217 4 0 0 25 0 1 0 160001616 17526784 3991 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 4279 3991 170 317 0 3958 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 17116 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.98 2/65 18317 /proc/meminfo: memFree=1582828/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=18600 CPUtime=282.2 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 4501 0 0 0 28215 5 0 0 25 0 1 0 160001616 19046400 4374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 4650 4374 170 317 0 4329 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 18600 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.98 2/65 18317 /proc/meminfo: memFree=1581292/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=20056 CPUtime=342.17 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 4864 0 0 0 34212 5 0 0 25 0 1 0 160001616 20537344 4737 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 5014 4737 170 317 0 4693 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 20056 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.98 2/65 18317 /proc/meminfo: memFree=1579628/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=21800 CPUtime=402.16 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 5284 0 0 0 40210 6 0 0 25 0 1 0 160001616 22323200 5157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 5450 5157 170 317 0 5129 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 21800 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.98 2/65 18317 /proc/meminfo: memFree=1578412/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=23108 CPUtime=462.14 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 5573 0 0 0 46207 7 0 0 25 0 1 0 160001616 23662592 5446 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 5777 5446 170 317 0 5456 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 23108 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.98 2/65 18317 /proc/meminfo: memFree=1577580/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=23940 CPUtime=522.11 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 5787 0 0 0 52204 7 0 0 25 0 1 0 160001616 24514560 5660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715685 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 5985 5660 170 317 0 5664 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 23940 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.98 2/65 18317 /proc/meminfo: memFree=1576108/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=25816 CPUtime=582.1 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 6264 0 0 0 58202 8 0 0 25 0 1 0 160001616 26435584 5995 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 6454 5995 170 317 0 6133 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 25816 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.98 2/65 18317 /proc/meminfo: memFree=1575340/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=26620 CPUtime=642.08 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 6490 0 0 0 64200 8 0 0 25 0 1 0 160001616 27258880 6221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604218 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 6655 6221 170 317 0 6334 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 26620 ################ # More data... # ################ /proc/meminfo: memFree=1573612/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=28444 CPUtime=762.04 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 6911 0 0 0 76195 9 0 0 25 0 1 0 160001616 29126656 6642 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 7111 6642 170 317 0 6790 0 Current children cumulated CPU time (s) 762.04 Current children cumulated vsize (KiB) 28444 [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.98 2/65 18317 /proc/meminfo: memFree=1572844/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=29296 CPUtime=822.01 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 7124 0 0 0 82192 9 0 0 25 0 1 0 160001616 29999104 6855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 7324 6855 170 317 0 7003 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 29296 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.98 2/65 18317 /proc/meminfo: memFree=1571756/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=30344 CPUtime=881.99 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 7384 0 0 0 88190 9 0 0 25 0 1 0 160001616 31072256 7115 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 7586 7115 170 317 0 7265 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 30344 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.98 2/65 18317 /proc/meminfo: memFree=1570732/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=31424 CPUtime=941.97 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 7641 0 0 0 94187 10 0 0 25 0 1 0 160001616 32178176 7372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 7856 7372 170 317 0 7535 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 31424 [startup+1002.3 s] /proc/loadavg: 1.04 1.00 0.99 2/65 18317 /proc/meminfo: memFree=1569836/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=32384 CPUtime=1001.95 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 7870 0 0 0 100185 10 0 0 25 0 1 0 160001616 33161216 7601 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 8096 7601 170 317 0 7775 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 32384 [startup+1062.3 s] /proc/loadavg: 1.17 1.04 1.00 2/65 18317 /proc/meminfo: memFree=1568876/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=33488 CPUtime=1061.93 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 8094 0 0 0 106183 10 0 0 25 0 1 0 160001616 34291712 7825 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563957 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 8372 7825 170 317 0 8051 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 33488 [startup+1122.3 s] /proc/loadavg: 1.10 1.05 1.00 2/65 18317 /proc/meminfo: memFree=1568108/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=34192 CPUtime=1121.91 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 8292 0 0 0 112180 11 0 0 25 0 1 0 160001616 35012608 8023 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604154 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 8548 8023 170 317 0 8227 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 34192 [startup+1182.3 s] /proc/loadavg: 1.03 1.04 1.00 2/65 18317 /proc/meminfo: memFree=1567404/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=34848 CPUtime=1181.89 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 8477 0 0 0 118178 11 0 0 25 0 1 0 160001616 35684352 8208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 8712 8208 170 317 0 8391 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 34848 [startup+1242.3 s] /proc/loadavg: 1.01 1.03 1.00 2/65 18317 /proc/meminfo: memFree=1566444/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=35820 CPUtime=1241.88 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 8706 0 0 0 124176 12 0 0 25 0 1 0 160001616 36679680 8437 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 8955 8437 170 317 0 8634 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 35820 [startup+1302.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 18317 /proc/meminfo: memFree=1565612/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=36612 CPUtime=1301.85 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 8898 0 0 0 130173 12 0 0 25 0 1 0 160001616 37490688 8629 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 9153 8629 170 317 0 8832 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 36612 [startup+1362.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 18317 /proc/meminfo: memFree=1564844/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=37552 CPUtime=1361.82 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 9107 0 0 0 136170 12 0 0 25 0 1 0 160001616 38453248 8838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 9388 8838 170 317 0 9067 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 37552 Solver just ended. Dumping a history of the last processes samples [startup+1382.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 18317 /proc/meminfo: memFree=1564588/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=37816 CPUtime=1381.83 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 9166 0 0 0 138170 13 0 0 25 0 1 0 160001616 38723584 8897 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 9454 8897 170 317 0 9133 0 Current children cumulated CPU time (s) 1381.83 Current children cumulated vsize (KiB) 37816 [startup+1388.7 s] /proc/loadavg: 1.00 1.01 1.00 2/65 18317 /proc/meminfo: memFree=1564524/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=37816 CPUtime=1388.22 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 9184 0 0 0 138809 13 0 0 25 0 1 0 160001616 38723584 8915 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 9454 8915 170 317 0 9133 0 Current children cumulated CPU time (s) 1388.22 Current children cumulated vsize (KiB) 37816 [startup+1395.1 s] /proc/loadavg: 1.00 1.01 1.00 2/65 18317 /proc/meminfo: memFree=1564396/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=37944 CPUtime=1394.62 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 9202 0 0 0 139449 13 0 0 25 0 1 0 160001616 38854656 8933 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 9486 8933 170 317 0 9165 0 Current children cumulated CPU time (s) 1394.62 Current children cumulated vsize (KiB) 37944 [startup+1396.7 s] /proc/loadavg: 1.00 1.01 1.00 2/65 18317 /proc/meminfo: memFree=1564396/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=37944 CPUtime=1396.22 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 9207 0 0 0 139609 13 0 0 25 0 1 0 160001616 38854656 8938 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 9486 8938 170 317 0 9165 0 Current children cumulated CPU time (s) 1396.22 Current children cumulated vsize (KiB) 37944 [startup+1398.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 18317 /proc/meminfo: memFree=1564396/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=37944 CPUtime=1397.82 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 9212 0 0 0 139769 13 0 0 25 0 1 0 160001616 38854656 8943 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 9486 8943 170 317 0 9165 0 Current children cumulated CPU time (s) 1397.82 Current children cumulated vsize (KiB) 37944 [startup+1398.7 s] /proc/loadavg: 1.00 1.01 1.00 2/65 18317 /proc/meminfo: memFree=1564396/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=37944 CPUtime=1398.22 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 9214 0 0 0 139809 13 0 0 25 0 1 0 160001616 38854656 8945 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 9486 8945 170 317 0 9165 0 Current children cumulated CPU time (s) 1398.22 Current children cumulated vsize (KiB) 37944 [startup+1398.9 s] /proc/loadavg: 1.00 1.01 1.00 2/65 18317 /proc/meminfo: memFree=1564396/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=37944 CPUtime=1398.42 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 9215 0 0 0 139829 13 0 0 25 0 1 0 160001616 38854656 8946 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 9486 8946 170 317 0 9165 0 Current children cumulated CPU time (s) 1398.42 Current children cumulated vsize (KiB) 37944 [startup+1399 s] /proc/loadavg: 1.00 1.01 1.00 2/65 18317 /proc/meminfo: memFree=1564396/2055920 swapFree=4182840/4192956 [pid=18316] ppid=18314 vsize=37944 CPUtime=1398.52 /proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 9215 0 0 0 139839 13 0 0 25 0 1 0 160001616 38854656 8946 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18316/statm: 9486 8946 170 317 0 9165 0 Current children cumulated CPU time (s) 1398.52 Current children cumulated vsize (KiB) 37944 Child status: 0 Real time (s): 1399.03 CPU time (s): 1398.55 CPU user time (s): 1398.41 CPU system time (s): 0.139978 CPU usage (%): 99.966 Max. virtual memory (cumulated for all children) (KiB): 37944 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1398.41 system time used= 0.139978 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9231 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= 7 involuntary context switches= 1747 runsolver used 1.01484 second user time and 2.82657 second system time The end
Begin job on node69 on Tue Apr 17 20:02:02 UTC 2007 IDJOB= 359354 IDBENCH= 1285 IDSOLVER= 172 FILE ID= node69/359354-1176840122 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.1900546076.opb COMMAND LINE= oree /tmp/evaluation/359354-1176840122/instance-359354-1176840122.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-359354-1176840122 -o ROOT/results/node69/solver-359354-1176840122 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/359354-1176840122/instance-359354-1176840122.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 148040983257ccf233b3daf7936d3c1f RANDOM SEED= 326280291 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: 1600308 kB Buffers: 27976 kB Cached: 378420 kB SwapCached: 5208 kB Active: 236776 kB Inactive: 180484 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1600308 kB SwapTotal: 4192956 kB SwapFree: 4182840 kB Dirty: 1448 kB Writeback: 0 kB Mapped: 15488 kB Slab: 24372 kB Committed_AS: 1425784 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:25:21 UTC 2007