Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.15 | 1800.71 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900571761.opb |
MD5SUM | 1ce0037c3d80e79a7b72360f6130d1f3 |
Bench Category | SATUNSAT-SMALLINT (no optimisation, small integers) |
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 | 133.24 |
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 | 713 |
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.33 c restart after 401 decisions 0.39/0.44 c nbDecision=500 #constraints=3178 0.89/0.92 c restart after 801 decisions 1.19/1.27 c nbDecision=1000 #constraints=3655 2.29/2.37 c nbDecision=1500 #constraints=4134 2.49/2.55 c restart after 1601 decisions 3.79/3.84 c nbDecision=2000 #constraints=4604 5.89/6.00 c nbDecision=2500 #constraints=5079 8.68/8.79 c nbDecision=3000 #constraints=5569 10.36/10.43 c restart after 3201 decisions 12.45/12.58 c nbDecision=3500 #constraints=6040 16.05/16.11 c nbDecision=4000 #constraints=6520 20.34/20.47 c nbDecision=4500 #constraints=7002 24.32/24.49 c nbDecision=5000 #constraints=7479 29.53/29.64 c nbDecision=5500 #constraints=7962 36.30/36.43 c nbDecision=6000 #constraints=8436 42.29/42.47 c restart after 6401 decisions 43.69/43.87 c nbDecision=6500 #constraints=8908 51.09/51.26 c nbDecision=7000 #constraints=9394 58.49/58.65 c nbDecision=7500 #constraints=9881 68.87/69.00 c nbDecision=8000 #constraints=10372 80.97/81.17 c nbDecision=8500 #constraints=10850 93.57/93.79 c nbDecision=9000 #constraints=11329 108.76/108.94 c nbDecision=9500 #constraints=11806 126.26/126.41 c nbDecision=10000 #constraints=12292 140.25/140.43 c nbDecision=10500 #constraints=12774 153.65/153.88 c nbDecision=11000 #constraints=13251 166.65/166.89 c nbDecision=11500 #constraints=13731 185.44/185.67 c nbDecision=12000 #constraints=14220 205.74/205.95 c nbDecision=12500 #constraints=14700 216.93/217.12 c restart after 12801 decisions 228.43/228.62 c nbDecision=13000 #constraints=15186 255.22/255.48 c nbDecision=13500 #constraints=15669 283.12/283.36 c nbDecision=14000 #constraints=16155 317.11/317.34 c nbDecision=14500 #constraints=16645 352.40/352.60 c nbDecision=15000 #constraints=17130 392.58/392.87 c nbDecision=15500 #constraints=17623 430.58/430.80 c nbDecision=16000 #constraints=18117 460.77/461.05 c nbDecision=16500 #constraints=18608 504.16/504.47 c nbDecision=17000 #constraints=19104 544.16/544.50 c nbDecision=17500 #constraints=19589 585.84/586.14 c nbDecision=18000 #constraints=20083 639.62/639.92 c nbDecision=18500 #constraints=20576 686.82/687.19 c nbDecision=19000 #constraints=21062 745.40/745.77 c nbDecision=19500 #constraints=21556 777.89/778.28 c nbDecision=20000 #constraints=22045 816.38/816.76 c nbDecision=20500 #constraints=22522 865.38/865.77 c nbDecision=21000 #constraints=23011 923.45/923.87 c nbDecision=21500 #constraints=23507 979.75/980.17 c nbDecision=22000 #constraints=23999 1046.83/1047.29 c nbDecision=22500 #constraints=24494 1111.11/1111.58 c nbDecision=23000 #constraints=24981 1161.79/1162.27 c nbDecision=23500 #constraints=25463 1218.38/1218.82 c nbDecision=24000 #constraints=25946 1272.18/1272.63 c nbDecision=24500 #constraints=26425 1338.55/1339.05 c nbDecision=25000 #constraints=26914 1403.93/1404.46 c nbDecision=25500 #constraints=27411 1416.53/1417.07 c restart after 25601 decisions 1484.11/1484.66 c nbDecision=26000 #constraints=27902 1553.40/1553.91 c nbDecision=26500 #constraints=28379 1633.57/1634.17 c nbDecision=27000 #constraints=28867 1713.95/1714.54 c nbDecision=27500 #constraints=29360 1764.85/1765.45 c nbDecision=28000 #constraints=29842 1800.04/1800.60 Received signal 15 1800.04/1800.70 1800.04/1800.70 s UNKNOWN 1800.04/1800.70 1800.04/1800.70 c user time= 1799.99 s 1800.04/1800.70 c system time= 0.153976 s 1800.04/1800.70 c wall clock time=1800.7
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node27/watcher-359340-1176840055 -o ROOT/results/node27/solver-359340-1176840055 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/359340-1176840055/instance-359340-1176840055.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.72 0.94 0.98 3/65 10772 /proc/meminfo: memFree=1886688/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=1468 CPUtime=0 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 96701421 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 367 166 130 317 0 46 0 [startup+0.09982 s] /proc/loadavg: 0.72 0.94 0.98 3/65 10772 /proc/meminfo: memFree=1886688/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=2544 CPUtime=0.09 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 425 0 0 0 9 0 0 0 18 0 1 0 96701421 2605056 407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272553 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 636 407 139 317 0 315 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2544 [startup+0.101819 s] /proc/loadavg: 0.72 0.94 0.98 3/65 10772 /proc/meminfo: memFree=1886688/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=2544 CPUtime=0.1 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 425 0 0 0 10 0 0 0 18 0 1 0 96701421 2605056 407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604181 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 636 407 139 317 0 315 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2544 [startup+0.301838 s] /proc/loadavg: 0.72 0.94 0.98 3/65 10772 /proc/meminfo: memFree=1886688/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=2808 CPUtime=0.29 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 495 0 0 0 29 0 0 0 19 0 1 0 96701421 2875392 477 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604229 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 702 477 139 317 0 381 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2808 [startup+0.701879 s] /proc/loadavg: 0.72 0.94 0.98 3/65 10772 /proc/meminfo: memFree=1886688/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=3068 CPUtime=0.69 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 584 0 0 0 69 0 0 0 22 0 1 0 96701421 3141632 566 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718889 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 767 566 139 317 0 446 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3068 [startup+1.50196 s] /proc/loadavg: 0.72 0.94 0.98 2/66 10773 /proc/meminfo: memFree=1884760/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=3596 CPUtime=1.49 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 714 0 0 0 149 0 0 0 25 0 1 0 96701421 3682304 696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272594 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 899 696 139 317 0 578 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3596 [startup+3.10112 s] /proc/loadavg: 0.74 0.94 0.98 2/66 10773 /proc/meminfo: memFree=1883992/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=4388 CPUtime=3.09 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 892 0 0 0 309 0 0 0 25 0 1 0 96701421 4493312 874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 1097 874 139 317 0 776 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4388 [startup+6.30246 s] /proc/loadavg: 0.74 0.94 0.98 2/66 10773 /proc/meminfo: memFree=1882712/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=5312 CPUtime=6.28 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 1138 0 0 0 627 1 0 0 25 0 1 0 96701421 5439488 1120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10772/statm: 1328 1120 139 317 0 1007 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 5312 [startup+12.7011 s] /proc/loadavg: 0.78 0.95 0.98 2/72 10839 /proc/meminfo: memFree=1880032/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=6500 CPUtime=12.65 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 1456 0 0 0 1262 3 0 0 25 0 1 0 96701421 6656000 1401 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 1625 1401 139 317 0 1304 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 6500 [startup+25.5014 s] /proc/loadavg: 0.81 0.95 0.98 2/72 10889 /proc/meminfo: memFree=1878112/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=8328 CPUtime=25.42 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 1924 0 0 0 2539 3 0 0 25 0 1 0 96701421 8527872 1869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 2082 1869 139 317 0 1761 0 Current children cumulated CPU time (s) 25.42 Current children cumulated vsize (KiB) 8328 [startup+51.102 s] /proc/loadavg: 0.87 0.95 0.98 2/72 10945 /proc/meminfo: memFree=1875616/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=10860 CPUtime=50.99 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 2571 0 0 0 5095 4 0 0 25 0 1 0 96701421 11120640 2516 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 2715 2516 170 317 0 2394 0 Current children cumulated CPU time (s) 50.99 Current children cumulated vsize (KiB) 10860 [startup+102.305 s] /proc/loadavg: 0.95 0.95 0.98 2/66 10971 /proc/meminfo: memFree=1873368/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=14348 CPUtime=102.17 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 3458 0 0 0 10212 5 0 0 25 0 1 0 96701421 14692352 3331 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 3587 3331 170 317 0 3266 0 Current children cumulated CPU time (s) 102.17 Current children cumulated vsize (KiB) 14348 [startup+162.301 s] /proc/loadavg: 0.98 0.96 0.98 2/66 10971 /proc/meminfo: memFree=1870680/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=17272 CPUtime=162.15 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 4154 0 0 0 16209 6 0 0 25 0 1 0 96701421 17686528 4027 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 4318 4027 170 317 0 3997 0 Current children cumulated CPU time (s) 162.15 Current children cumulated vsize (KiB) 17272 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/66 10971 /proc/meminfo: memFree=1868504/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=19312 CPUtime=222.13 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 4678 0 0 0 22207 6 0 0 25 0 1 0 96701421 19775488 4551 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 4828 4551 170 317 0 4507 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 19312 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/66 10971 /proc/meminfo: memFree=1866968/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=20772 CPUtime=282.12 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 5052 0 0 0 28205 7 0 0 25 0 1 0 96701421 21270528 4925 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 5193 4925 170 317 0 4872 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 20772 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/66 10971 /proc/meminfo: memFree=1865816/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=22120 CPUtime=342.1 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 5357 0 0 0 34203 7 0 0 25 0 1 0 96701421 22650880 5230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 5530 5230 170 317 0 5209 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 22120 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/66 10971 /proc/meminfo: memFree=1864664/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=23236 CPUtime=402.09 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 5638 0 0 0 40201 8 0 0 25 0 1 0 96701421 23793664 5511 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 5809 5511 170 317 0 5488 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 23236 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/66 10971 /proc/meminfo: memFree=1863384/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=24732 CPUtime=462.07 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 5980 0 0 0 46199 8 0 0 25 0 1 0 96701421 25325568 5853 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 6183 5853 170 317 0 5862 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 24732 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/66 10971 /proc/meminfo: memFree=1862424/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=25660 CPUtime=522.05 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 6221 0 0 0 52197 8 0 0 25 0 1 0 96701421 26275840 6094 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 6415 6094 170 317 0 6094 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 25660 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/66 10971 /proc/meminfo: memFree=1861272/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=26968 CPUtime=582.04 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 6510 0 0 0 58195 9 0 0 25 0 1 0 96701421 27615232 6383 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 6742 6383 170 317 0 6421 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 26968 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/66 10971 /proc/meminfo: memFree=1860440/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=27904 CPUtime=642.03 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 6724 0 0 0 64194 9 0 0 25 0 1 0 96701421 28573696 6597 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 6976 6597 170 317 0 6655 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 27904 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.98 2/66 10971 /proc/meminfo: memFree=1856536/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=32204 CPUtime=881.97 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 7849 0 0 0 88186 11 0 0 25 0 1 0 96701421 32976896 7547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 8051 7547 170 317 0 7730 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 32204 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/66 10971 /proc/meminfo: memFree=1855704/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=33028 CPUtime=941.95 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 8060 0 0 0 94184 11 0 0 25 0 1 0 96701421 33820672 7758 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 8257 7758 170 317 0 7936 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 33028 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 10971 /proc/meminfo: memFree=1854872/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=33828 CPUtime=1001.94 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 8280 0 0 0 100182 12 0 0 25 0 1 0 96701421 34639872 7978 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 8457 7978 170 317 0 8136 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 33828 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 10971 /proc/meminfo: memFree=1854168/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=34480 CPUtime=1061.92 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 8450 0 0 0 106180 12 0 0 25 0 1 0 96701421 35307520 8148 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 8620 8148 170 317 0 8299 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 34480 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 10971 /proc/meminfo: memFree=1853464/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=35280 CPUtime=1121.91 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 8619 0 0 0 112179 12 0 0 25 0 1 0 96701421 36126720 8317 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 8820 8317 170 317 0 8499 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 35280 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 10971 /proc/meminfo: memFree=1852632/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=36148 CPUtime=1181.89 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 8824 0 0 0 118177 12 0 0 25 0 1 0 96701421 37015552 8522 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 9037 8522 170 317 0 8716 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 36148 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 10971 /proc/meminfo: memFree=1851928/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=36816 CPUtime=1241.87 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 9000 0 0 0 124175 12 0 0 25 0 1 0 96701421 37699584 8698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 9204 8698 170 317 0 8883 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 36816 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 10971 /proc/meminfo: memFree=1851224/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=37352 CPUtime=1301.86 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 9162 0 0 0 130173 13 0 0 25 0 1 0 96701421 38248448 8860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 9338 8860 170 317 0 9017 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 37352 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 10971 /proc/meminfo: memFree=1850712/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=38060 CPUtime=1361.84 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 9307 0 0 0 136171 13 0 0 25 0 1 0 96701421 38973440 9005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 9515 9005 170 317 0 9194 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 38060 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/66 10971 /proc/meminfo: memFree=1850072/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=38592 CPUtime=1421.83 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 9467 0 0 0 142170 13 0 0 25 0 1 0 96701421 39518208 9165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716050 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 9648 9165 170 317 0 9327 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 38592 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 10971 /proc/meminfo: memFree=1849496/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=39256 CPUtime=1481.81 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 9611 0 0 0 148168 13 0 0 25 0 1 0 96701421 40198144 9309 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 9814 9309 170 317 0 9493 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 39256 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 10971 /proc/meminfo: memFree=1848920/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=39780 CPUtime=1541.8 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 9756 0 0 0 154166 14 0 0 25 0 1 0 96701421 40734720 9454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563383 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 9945 9454 170 317 0 9624 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 39780 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 10973 /proc/meminfo: memFree=1848280/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=40304 CPUtime=1601.78 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 9907 0 0 0 160164 14 0 0 25 0 1 0 96701421 41271296 9605 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 10076 9605 170 317 0 9755 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 40304 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 10973 /proc/meminfo: memFree=1847704/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=40848 CPUtime=1661.76 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 10039 0 0 0 166162 14 0 0 25 0 1 0 96701421 41828352 9737 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 10212 9737 170 317 0 9891 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 40848 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 10973 /proc/meminfo: memFree=1847064/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=41516 CPUtime=1721.75 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 10201 0 0 0 172161 14 0 0 25 0 1 0 96701421 42512384 9899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711049 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 10379 9899 170 317 0 10058 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 41516 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 10973 /proc/meminfo: memFree=1846296/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=42304 CPUtime=1781.74 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 10397 0 0 0 178159 15 0 0 25 0 1 0 96701421 43319296 10095 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 10576 10095 170 317 0 10255 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 42304 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.98 2/66 10973 /proc/meminfo: memFree=1845976/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=42768 CPUtime=1800.04 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194304 10469 0 0 0 179989 15 0 0 25 0 1 0 96701421 43794432 10167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 10692 10167 170 317 0 10371 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 42768 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.98 2/66 10973 /proc/meminfo: memFree=1845976/2055920 swapFree=4179688/4192956 [pid=10772] ppid=10770 vsize=0 CPUtime=1800.14 /proc/10772/stat : 10772 (oree) R 10770 10772 10715 0 -1 4194308 10485 0 0 0 179999 15 0 0 25 0 1 0 96701421 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10772/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.71 CPU time (s): 1800.15 CPU user time (s): 1799.99 CPU system time (s): 0.161975 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (KiB): 42768 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.99 system time used= 0.161975 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10485 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= 2540 runsolver used 1.42478 second user time and 3.67944 second system time The end
Begin job on node27 on Tue Apr 17 20:00:55 UTC 2007 IDJOB= 359340 IDBENCH= 1284 IDSOLVER= 172 FILE ID= node27/359340-1176840055 PBS_JOBID= 4590178 Free space on /tmp= 66472 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.1900571761.opb COMMAND LINE= oree /tmp/evaluation/359340-1176840055/instance-359340-1176840055.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-359340-1176840055 -o ROOT/results/node27/solver-359340-1176840055 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/359340-1176840055/instance-359340-1176840055.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 1ce0037c3d80e79a7b72360f6130d1f3 RANDOM SEED= 213794870 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node27.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.213 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.213 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: 1887160 kB Buffers: 18692 kB Cached: 106648 kB SwapCached: 7532 kB Active: 70184 kB Inactive: 68192 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1887160 kB SwapTotal: 4192956 kB SwapFree: 4179688 kB Dirty: 1420 kB Writeback: 0 kB Mapped: 15128 kB Slab: 16464 kB Committed_AS: 1613144 kB PageTables: 1412 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= 66472 MiB End job on node27 on Tue Apr 17 20:30:58 UTC 2007