Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.21 | 1800.8 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554420.opb |
MD5SUM | 30c4f9acafc0f3a30de05f75833db699 |
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 | 14.1498 |
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 | 689 |
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.34 c restart after 401 decisions 0.39/0.47 c nbDecision=500 #constraints=3179 0.79/0.88 c restart after 801 decisions 1.39/1.40 c nbDecision=1000 #constraints=3666 2.59/2.69 c nbDecision=1500 #constraints=4147 2.99/3.00 c restart after 1601 decisions 4.59/4.63 c nbDecision=2000 #constraints=4634 7.49/7.56 c nbDecision=2500 #constraints=5126 10.39/10.46 c nbDecision=3000 #constraints=5607 11.99/12.02 c restart after 3201 decisions 14.68/14.77 c nbDecision=3500 #constraints=6093 20.48/20.52 c nbDecision=4000 #constraints=6591 27.78/27.87 c nbDecision=4500 #constraints=7078 34.09/34.11 c nbDecision=5000 #constraints=7560 44.08/44.17 c nbDecision=5500 #constraints=8060 56.87/56.93 c nbDecision=6000 #constraints=8555 64.47/64.53 c restart after 6401 decisions 66.77/66.85 c nbDecision=6500 #constraints=9038 80.27/80.38 c nbDecision=7000 #constraints=9532 96.36/96.43 c nbDecision=7500 #constraints=10025 111.66/111.79 c nbDecision=8000 #constraints=10519 131.15/131.20 c nbDecision=8500 #constraints=11012 151.44/151.57 c nbDecision=9000 #constraints=11506 173.55/173.66 c nbDecision=9500 #constraints=12006 193.14/193.23 c nbDecision=10000 #constraints=12497 215.43/215.58 c nbDecision=10500 #constraints=12990 231.72/231.89 c nbDecision=11000 #constraints=13474 253.72/253.86 c nbDecision=11500 #constraints=13969 278.72/278.85 c nbDecision=12000 #constraints=14462 300.81/300.99 c nbDecision=12500 #constraints=14940 317.20/317.33 c restart after 12801 decisions 328.51/328.61 c nbDecision=13000 #constraints=15422 349.50/349.70 c nbDecision=13500 #constraints=15895 374.89/375.06 c nbDecision=14000 #constraints=16386 404.48/404.61 c nbDecision=14500 #constraints=16881 431.88/432.02 c nbDecision=15000 #constraints=17362 465.36/465.52 c nbDecision=15500 #constraints=17836 499.65/499.89 c nbDecision=16000 #constraints=18324 542.94/543.14 c nbDecision=16500 #constraints=18819 582.94/583.17 c nbDecision=17000 #constraints=19306 626.42/626.61 c nbDecision=17500 #constraints=19794 652.41/652.64 c nbDecision=18000 #constraints=20283 682.50/682.73 c nbDecision=18500 #constraints=20759 724.29/724.55 c nbDecision=19000 #constraints=21253 764.59/764.87 c nbDecision=19500 #constraints=21739 806.17/806.46 c nbDecision=20000 #constraints=22233 844.76/845.07 c nbDecision=20500 #constraints=22722 881.05/881.36 c nbDecision=21000 #constraints=23191 920.34/920.63 c nbDecision=21500 #constraints=23681 956.64/956.99 c nbDecision=22000 #constraints=24158 998.23/998.58 c nbDecision=22500 #constraints=24645 1043.31/1043.62 c nbDecision=23000 #constraints=25132 1091.80/1092.16 c nbDecision=23500 #constraints=25630 1151.48/1151.82 c nbDecision=24000 #constraints=26126 1202.98/1203.35 c nbDecision=24500 #constraints=26612 1262.05/1262.43 c nbDecision=25000 #constraints=27109 1322.35/1322.88 c nbDecision=25500 #constraints=27601 1336.44/1336.90 c restart after 25601 decisions 1376.22/1376.74 c nbDecision=26000 #constraints=28084 1420.51/1421.06 c nbDecision=26500 #constraints=28570 1470.49/1471.01 c nbDecision=27000 #constraints=29052 1526.89/1527.49 c nbDecision=27500 #constraints=29535 1575.57/1576.19 c nbDecision=28000 #constraints=30025 1632.95/1633.53 c nbDecision=28500 #constraints=30509 1706.24/1706.88 c nbDecision=29000 #constraints=30996 1780.41/1781.09 c nbDecision=29500 #constraints=31488 1800.01/1800.61 Received signal 15 1800.11/1800.78 1800.11/1800.78 s UNKNOWN 1800.11/1800.78 1800.11/1800.78 c user time= 1800.03 s 1800.11/1800.78 c system time= 0.165974 s 1800.11/1800.78 c wall clock time=1800.78
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node50/watcher-360320-1176842372 -o ROOT/results/node50/solver-360320-1176842372 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/360320-1176842372/instance-360320-1176842372.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.96 0.98 3/64 3604 /proc/meminfo: memFree=1493288/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=1468 CPUtime=0 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 39082423 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 367 165 130 317 0 46 0 [startup+0.039679 s] /proc/loadavg: 0.91 0.96 0.98 3/64 3604 /proc/meminfo: memFree=1493288/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=2544 CPUtime=0.03 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 424 0 0 0 3 0 0 0 18 0 1 0 39082423 2605056 406 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134533233 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 636 406 139 317 0 315 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2544 [startup+0.101669 s] /proc/loadavg: 0.91 0.96 0.98 3/64 3604 /proc/meminfo: memFree=1493288/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=2544 CPUtime=0.09 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 425 0 0 0 9 0 0 0 18 0 1 0 39082423 2605056 407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563935 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 636 407 139 317 0 315 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2544 [startup+0.301686 s] /proc/loadavg: 0.91 0.96 0.98 3/64 3604 /proc/meminfo: memFree=1493288/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=2808 CPUtime=0.29 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 501 0 0 0 29 0 0 0 19 0 1 0 39082423 2875392 483 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715605 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 702 483 139 317 0 381 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2808 [startup+0.701721 s] /proc/loadavg: 0.91 0.96 0.98 3/64 3604 /proc/meminfo: memFree=1493288/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=3196 CPUtime=0.69 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 592 0 0 0 69 0 0 0 23 0 1 0 39082423 3272704 574 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 799 574 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.96 0.98 2/65 3605 /proc/meminfo: memFree=1491232/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=3588 CPUtime=1.49 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 710 0 0 0 149 0 0 0 25 0 1 0 39082423 3674112 692 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 897 692 139 317 0 576 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3588 [startup+3.10193 s] /proc/loadavg: 0.91 0.96 0.98 2/65 3605 /proc/meminfo: memFree=1490592/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=4376 CPUtime=3.09 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 898 0 0 0 309 0 0 0 25 0 1 0 39082423 4481024 880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 1094 880 139 317 0 773 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4376 [startup+6.30121 s] /proc/loadavg: 0.92 0.96 0.98 2/65 3605 /proc/meminfo: memFree=1489312/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=5168 CPUtime=6.29 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 1112 0 0 0 629 0 0 0 25 0 1 0 39082423 5292032 1094 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 1292 1094 139 317 0 971 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 5168 [startup+12.7028 s] /proc/loadavg: 0.93 0.96 0.98 2/65 3605 /proc/meminfo: memFree=1488032/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=6624 CPUtime=12.69 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 1500 0 0 0 1269 0 0 0 25 0 1 0 39082423 6782976 1445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 1656 1445 170 317 0 1335 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 6624 [startup+25.5019 s] /proc/loadavg: 1.02 0.98 0.99 2/65 3605 /proc/meminfo: memFree=1486504/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=7948 CPUtime=25.49 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 1848 0 0 0 2548 1 0 0 25 0 1 0 39082423 8138752 1793 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 1987 1793 170 317 0 1666 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 7948 [startup+51.1012 s] /proc/loadavg: 1.01 0.98 0.99 2/65 3605 /proc/meminfo: memFree=1484712/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=9800 CPUtime=51.08 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 2298 0 0 0 5107 1 0 0 25 0 1 0 39082423 10035200 2243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 2450 2243 170 317 0 2129 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 9800 [startup+102.306 s] /proc/loadavg: 1.04 0.99 0.99 2/65 3605 /proc/meminfo: memFree=1482152/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=12208 CPUtime=102.26 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 2907 0 0 0 10225 1 0 0 25 0 1 0 39082423 12500992 2852 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 3052 2852 170 317 0 2731 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 12208 [startup+162.302 s] /proc/loadavg: 1.01 0.99 0.99 2/65 3605 /proc/meminfo: memFree=1479720/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=14900 CPUtime=162.25 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 3591 0 0 0 16222 3 0 0 25 0 1 0 39082423 15257600 3464 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 3725 3464 170 317 0 3404 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 14900 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3605 /proc/meminfo: memFree=1477992/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=16740 CPUtime=222.23 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 4029 0 0 0 22220 3 0 0 25 0 1 0 39082423 17141760 3902 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716090 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 4185 3902 170 317 0 3864 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 16740 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3605 /proc/meminfo: memFree=1476136/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=18768 CPUtime=282.22 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 4506 0 0 0 28218 4 0 0 25 0 1 0 39082423 19218432 4379 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 4692 4379 170 317 0 4371 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 18768 [startup+342.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3605 /proc/meminfo: memFree=1474472/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=20216 CPUtime=342.2 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 4900 0 0 0 34215 5 0 0 25 0 1 0 39082423 20701184 4773 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 5054 4773 170 317 0 4733 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 20216 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3605 /proc/meminfo: memFree=1473000/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=21840 CPUtime=402.18 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 5281 0 0 0 40212 6 0 0 25 0 1 0 39082423 22364160 5154 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 5460 5154 170 317 0 5139 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 21840 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3605 /proc/meminfo: memFree=1471720/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=23088 CPUtime=462.16 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 5583 0 0 0 46210 6 0 0 25 0 1 0 39082423 23642112 5456 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 5772 5456 170 317 0 5451 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 23088 [startup+522.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3605 /proc/meminfo: memFree=1470760/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=24040 CPUtime=522.15 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 5825 0 0 0 52209 6 0 0 25 0 1 0 39082423 24616960 5698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604251 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 6010 5698 170 317 0 5689 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 24040 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3605 /proc/meminfo: memFree=1469800/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=24844 CPUtime=582.14 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 6056 0 0 0 58207 7 0 0 25 0 1 0 39082423 25440256 5929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 6211 5929 170 317 0 5890 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 24844 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3605 /proc/meminfo: memFree=1468776/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=25936 CPUtime=642.12 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 6312 0 0 0 64205 7 0 0 25 0 1 0 39082423 26558464 6185 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 6484 6185 170 317 0 6163 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 25936 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3605 /proc/meminfo: memFree=1464616/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=30812 CPUtime=882.05 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 7481 0 0 0 88197 8 0 0 25 0 1 0 39082423 31551488 7212 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 7703 7212 170 317 0 7382 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 30812 [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3605 /proc/meminfo: memFree=1463720/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=31752 CPUtime=942.04 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 7721 0 0 0 94195 9 0 0 25 0 1 0 39082423 32514048 7452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 7938 7452 170 317 0 7617 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 31752 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3605 /proc/meminfo: memFree=1462696/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=32812 CPUtime=1002.02 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 7968 0 0 0 100193 9 0 0 25 0 1 0 39082423 33599488 7699 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 8203 7699 170 317 0 7882 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 32812 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3605 /proc/meminfo: memFree=1461864/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=33604 CPUtime=1062.01 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 8178 0 0 0 106192 9 0 0 25 0 1 0 39082423 34410496 7909 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 8401 7909 170 317 0 8080 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 33604 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3605 /proc/meminfo: memFree=1461032/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=34444 CPUtime=1121.99 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 8392 0 0 0 112190 9 0 0 25 0 1 0 39082423 35270656 8123 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 8611 8123 170 317 0 8290 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 34444 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3605 /proc/meminfo: memFree=1460200/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=35308 CPUtime=1181.97 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 8586 0 0 0 118188 9 0 0 25 0 1 0 39082423 36155392 8317 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 8827 8317 170 317 0 8506 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 35308 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3605 /proc/meminfo: memFree=1459368/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=36144 CPUtime=1241.96 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 8801 0 0 0 124186 10 0 0 25 0 1 0 39082423 37011456 8532 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 9036 8532 170 317 0 8715 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 36144 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/71 3687 /proc/meminfo: memFree=1457464/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=36672 CPUtime=1301.91 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 8946 0 0 0 130178 13 0 0 25 0 1 0 39082423 37552128 8677 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 9168 8677 170 317 0 8847 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 36672 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3803 /proc/meminfo: memFree=1457768/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=37376 CPUtime=1361.82 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 9111 0 0 0 136168 14 0 0 25 0 1 0 39082423 38273024 8842 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 9344 8842 170 317 0 9023 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 37376 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3803 /proc/meminfo: memFree=1456936/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=38336 CPUtime=1421.81 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 9320 0 0 0 142167 14 0 0 25 0 1 0 39082423 39256064 9051 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 9584 9051 170 317 0 9263 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 38336 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3803 /proc/meminfo: memFree=1456104/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=39332 CPUtime=1481.8 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 9518 0 0 0 148165 15 0 0 25 0 1 0 39082423 40275968 9249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 9833 9249 170 317 0 9512 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 39332 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3803 /proc/meminfo: memFree=1455464/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=40024 CPUtime=1541.78 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 9691 0 0 0 154163 15 0 0 25 0 1 0 39082423 40984576 9422 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 10006 9422 170 317 0 9685 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 40024 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3803 /proc/meminfo: memFree=1454568/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=40816 CPUtime=1601.76 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 9906 0 0 0 160161 15 0 0 25 0 1 0 39082423 41795584 9637 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710943 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 10204 9637 170 317 0 9883 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 40816 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3803 /proc/meminfo: memFree=1453928/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=41492 CPUtime=1661.75 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 10069 0 0 0 166159 16 0 0 25 0 1 0 39082423 42487808 9800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 10373 9800 170 317 0 10052 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 41492 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3805 /proc/meminfo: memFree=1453288/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=42160 CPUtime=1721.73 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 10237 0 0 0 172157 16 0 0 25 0 1 0 39082423 43171840 9968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 10540 9968 170 317 0 10219 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 42160 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3805 /proc/meminfo: memFree=1452904/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=42552 CPUtime=1781.71 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 10347 0 0 0 178155 16 0 0 25 0 1 0 39082423 43573248 10078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 10638 10078 170 317 0 10317 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 42552 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3805 /proc/meminfo: memFree=1452712/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=42816 CPUtime=1800.01 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 10390 0 0 0 179985 16 0 0 25 0 1 0 39082423 43843584 10121 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 10704 10121 170 317 0 10383 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 42816 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: 1.00 0.99 0.99 2/65 3805 /proc/meminfo: memFree=1452712/2055920 swapFree=4183816/4192956 [pid=3604] ppid=3602 vsize=42816 CPUtime=1800.11 /proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 10391 0 0 0 179995 16 0 0 25 0 1 0 39082423 43843584 10122 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3604/statm: 10704 10122 170 317 0 10383 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 42816 Child status: 0 Real time (s): 1800.8 CPU time (s): 1800.21 CPU user time (s): 1800.04 CPU system time (s): 0.172973 CPU usage (%): 99.9674 Max. virtual memory (cumulated for all children) (KiB): 42816 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.04 system time used= 0.172973 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10407 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= 4335 runsolver used 1.3118 second user time and 3.67744 second system time The end
Begin job on node50 on Tue Apr 17 20:39:32 UTC 2007 IDJOB= 360320 IDBENCH= 1362 IDSOLVER= 172 FILE ID= node50/360320-1176842372 PBS_JOBID= 4590164 Free space on /tmp= 66542 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.1900554420.opb COMMAND LINE= oree /tmp/evaluation/360320-1176842372/instance-360320-1176842372.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-360320-1176842372 -o ROOT/results/node50/solver-360320-1176842372 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/360320-1176842372/instance-360320-1176842372.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 30c4f9acafc0f3a30de05f75833db699 RANDOM SEED= 513586994 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node50.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.232 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.232 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: 1493648 kB Buffers: 39436 kB Cached: 447708 kB SwapCached: 3272 kB Active: 160868 kB Inactive: 336120 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1493648 kB SwapTotal: 4192956 kB SwapFree: 4183816 kB Dirty: 1448 kB Writeback: 0 kB Mapped: 15568 kB Slab: 51200 kB Committed_AS: 998876 kB PageTables: 1460 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= 66542 MiB End job on node50 on Tue Apr 17 21:09:35 UTC 2007