Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.05 | 1800.52 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900565534.opb |
MD5SUM | 0fea7c185f4d6e2091fba763db8ccbcc |
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 | 42.7635 |
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 | 685 |
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 bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/432302-1177941860/instance-432302-1177941860.opb 0.00/0.00 c File size is 83375 bytes. 0.00/0.02 c Highest Coefficient sum: 685 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.016 s 0.00/0.02 c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5706 0.00/0.02 c Obj. Vars: 0 (0 % of total variables) 0.00/0.03 c Pre-processing Time: 0.027 s 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 0 231 2586 8096 3 5471 1880 0 0 0.03 0.00/0.03 c Switching off LPR mode. 1800.03/1800.50 c 100 231 2686 12308 4 5677 2069 100 2857 0.04 1800.03/1800.50 c 252 231 2838 19034 6 5978 2276 252 5361 0.05 1800.03/1800.50 c 477 231 3063 28922 9 6430 2504 477 6359 0.07 1800.03/1800.50 c 816 231 3402 41791 12 7108 2755 816 6974 0.12 1800.03/1800.50 c 1326 231 3912 63250 16 8128 3031 1326 6835 0.19 1800.03/1800.50 c 2091 231 4677 97519 20 9659 3335 2091 6150 0.34 1800.03/1800.50 c 3239 231 5825 154012 26 11953 3669 3239 4770 0.68 1800.03/1800.50 c 4962 231 5633 146166 25 11570 4036 3047 4131 1.20 1800.03/1800.50 c 7546 231 6104 163588 26 12512 4440 3518 3863 1.95 1800.03/1800.50 c 11425 231 5345 133197 24 10994 4885 2759 3559 3.21 1800.03/1800.50 c 17250 231 6154 174377 28 12612 5374 3568 3259 5.29 1800.03/1800.50 c 25987 231 6545 191882 29 13392 5912 3959 2982 8.71 1800.03/1800.50 c 39098 231 7420 246676 33 15142 6504 4834 2705 14.45 1800.03/1800.50 c 58768 231 7003 221981 31 14310 7155 4417 2448 24.00 1800.03/1800.50 c 88280 231 7051 195105 27 14406 7871 4465 2351 37.54 1800.03/1800.50 c 132552 231 6764 188037 27 13833 8659 4178 2295 57.75 1800.03/1800.50 c 198963 231 10886 340081 31 22076 9525 8300 2275 87.45 1800.03/1800.50 c 298584 231 8063 227966 28 16430 10478 5477 2096 142.42 1800.03/1800.50 c 448019 231 13023 465279 35 26349 11526 10437 1937 231.19 1800.03/1800.50 c 672178 231 13802 493631 35 27908 12679 11216 1759 382.09 1800.03/1800.50 c 1008423 231 14393 500308 34 29091 13947 11807 1572 641.43 1800.03/1800.50 c 1512797 231 15575 589022 37 31454 15342 12989 1424 1062.04 1800.03/1800.50 c 2269360 231 16771 598441 35 33847 16877 14185 1284 1766.27 1800.03/1800.50 c Caught signal: 15 1800.03/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.03/1800.50 c 23 2302440 419560 3037752 15588 559005 13002 1279 1800.04 1800.03/1800.50 s UNKNOWN 1800.03/1800.50 c Total time: 1800.04 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node17/watcher-432302-1177941860 -o ROOT/results/node17/solver-432302-1177941860 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432302-1177941860/instance-432302-1177941860.opb 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.60 0.31 0.13 3/77 4558 /proc/meminfo: memFree=1775408/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=4008 CPUtime=0 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 242103512 4104192 335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 1002 336 280 324 0 51 0 [startup+0.052401 s] /proc/loadavg: 0.60 0.31 0.13 3/77 4558 /proc/meminfo: memFree=1775408/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=4584 CPUtime=0.04 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 567 0 0 0 4 0 0 0 18 0 1 0 242103512 4694016 516 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 1146 516 308 324 0 216 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4584 [startup+0.101407 s] /proc/loadavg: 0.60 0.31 0.13 3/77 4558 /proc/meminfo: memFree=1775408/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=4844 CPUtime=0.09 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 632 0 0 0 9 0 0 0 18 0 1 0 242103512 4960256 581 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 1211 581 308 324 0 281 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4844 [startup+0.301427 s] /proc/loadavg: 0.60 0.31 0.13 3/77 4558 /proc/meminfo: memFree=1775408/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=5624 CPUtime=0.29 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 830 0 0 0 29 0 0 0 20 0 1 0 242103512 5758976 779 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 1406 779 309 324 0 476 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5624 [startup+0.701469 s] /proc/loadavg: 0.60 0.31 0.13 3/77 4558 /proc/meminfo: memFree=1775408/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=6668 CPUtime=0.69 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 1090 0 0 0 69 0 0 0 24 0 1 0 242103512 6828032 1039 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550832 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 1667 1039 309 324 0 737 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6668 [startup+1.50155 s] /proc/loadavg: 0.60 0.31 0.13 2/78 4559 /proc/meminfo: memFree=1772072/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=7188 CPUtime=1.49 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 1208 0 0 0 149 0 0 0 25 0 1 0 242103512 7360512 1157 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 1797 1157 309 324 0 867 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7188 [startup+3.10172 s] /proc/loadavg: 0.60 0.31 0.13 2/78 4559 /proc/meminfo: memFree=1771688/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=7576 CPUtime=3.1 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 1326 0 0 0 309 1 0 0 25 0 1 0 242103512 7757824 1275 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 1894 1275 309 324 0 964 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 7576 [startup+6.30105 s] /proc/loadavg: 0.71 0.34 0.14 2/78 4559 /proc/meminfo: memFree=1770664/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=8364 CPUtime=6.29 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 1532 0 0 0 628 1 0 0 25 0 1 0 242103512 8564736 1481 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 2091 1481 309 324 0 1161 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8364 [startup+12.7017 s] /proc/loadavg: 0.73 0.35 0.14 2/78 4559 /proc/meminfo: memFree=1769776/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=9000 CPUtime=12.69 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 1666 0 0 0 1268 1 0 0 25 0 1 0 242103512 9216000 1615 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 2250 1615 309 324 0 1320 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9000 [startup+25.501 s] /proc/loadavg: 0.79 0.38 0.15 2/78 4559 /proc/meminfo: memFree=1769328/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=9780 CPUtime=25.48 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 1858 0 0 0 2547 1 0 0 25 0 1 0 242103512 10014720 1807 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 2445 1807 309 324 0 1515 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 9780 [startup+51.1017 s] /proc/loadavg: 0.86 0.43 0.17 2/78 4559 /proc/meminfo: memFree=1768816/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=9996 CPUtime=51.08 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 1923 0 0 0 5107 1 0 0 25 0 1 0 242103512 10235904 1872 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 2499 1872 309 324 0 1569 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 9996 [startup+102.306 s] /proc/loadavg: 0.98 0.53 0.22 2/78 4559 /proc/meminfo: memFree=1767728/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=11148 CPUtime=102.27 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 2208 0 0 0 10225 2 0 0 25 0 1 0 242103512 11415552 2157 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574713 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 2787 2157 309 324 0 1857 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 11148 [startup+162.301 s] /proc/loadavg: 1.03 0.63 0.27 2/78 4559 /proc/meminfo: memFree=1766896/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=11888 CPUtime=162.25 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 2393 0 0 0 16223 2 0 0 25 0 1 0 242103512 12173312 2342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3292953 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 2972 2342 309 324 0 2042 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 11888 [startup+222.301 s] /proc/loadavg: 1.10 0.72 0.32 2/78 4559 /proc/meminfo: memFree=1766832/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=11884 CPUtime=222.24 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 2399 0 0 0 22221 3 0 0 25 0 1 0 242103512 12169216 2348 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 2971 2348 309 324 0 2041 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 11884 [startup+282.302 s] /proc/loadavg: 1.20 0.82 0.38 2/78 4559 /proc/meminfo: memFree=1765680/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=13008 CPUtime=282.22 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 2677 0 0 0 28218 4 0 0 25 0 1 0 242103512 13320192 2626 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 3252 2626 309 324 0 2322 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 13008 [startup+342.302 s] /proc/loadavg: 1.07 0.85 0.42 2/78 4559 /proc/meminfo: memFree=1765744/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=13008 CPUtime=342.2 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 2677 0 0 0 34216 4 0 0 25 0 1 0 242103512 13320192 2626 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 3252 2626 309 324 0 2322 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 13008 [startup+402.302 s] /proc/loadavg: 1.02 0.87 0.45 2/78 4559 /proc/meminfo: memFree=1764976/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=13636 CPUtime=402.18 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 2849 0 0 0 40214 4 0 0 25 0 1 0 242103512 13963264 2798 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 3409 2798 309 324 0 2479 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 13636 [startup+462.301 s] /proc/loadavg: 1.01 0.89 0.48 2/78 4559 /proc/meminfo: memFree=1765104/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=13636 CPUtime=462.17 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 2849 0 0 0 46212 5 0 0 25 0 1 0 242103512 13963264 2798 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 3409 2798 309 324 0 2479 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 13636 [startup+522.301 s] /proc/loadavg: 1.00 0.91 0.51 2/78 4559 /proc/meminfo: memFree=1764912/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=13936 CPUtime=522.15 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 2910 0 0 0 52210 5 0 0 25 0 1 0 242103512 14270464 2859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3291940 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 3484 2859 309 324 0 2554 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 13936 [startup+582.302 s] /proc/loadavg: 1.00 0.92 0.54 2/78 4559 /proc/meminfo: memFree=1764848/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=13936 CPUtime=582.14 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 2910 0 0 0 58208 6 0 0 25 0 1 0 242103512 14270464 2859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521800 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 3484 2859 309 324 0 2554 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 13936 [startup+642.302 s] /proc/loadavg: 1.00 0.93 0.56 2/78 4559 /proc/meminfo: memFree=1764912/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=13932 CPUtime=642.13 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 2910 0 0 0 64207 6 0 0 25 0 1 0 242103512 14266368 2859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 3483 2859 309 324 0 2553 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 13932 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 0.96 0.65 2/78 4559 /proc/meminfo: memFree=1764208/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=14428 CPUtime=882.06 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 3051 0 0 0 88198 8 0 0 25 0 1 0 242103512 14774272 2998 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 3607 2998 309 324 0 2677 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 14428 [startup+942.302 s] /proc/loadavg: 1.00 0.97 0.67 2/78 4559 /proc/meminfo: memFree=1764208/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=14428 CPUtime=942.05 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 3051 0 0 0 94196 9 0 0 25 0 1 0 242103512 14774272 2998 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 3607 2998 309 324 0 2677 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 14428 [startup+1002.3 s] /proc/loadavg: 1.00 0.97 0.69 2/78 4559 /proc/meminfo: memFree=1764400/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=14424 CPUtime=1002.04 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 3051 0 0 0 100194 10 0 0 25 0 1 0 242103512 14770176 2997 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 3606 2997 309 324 0 2676 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 14424 [startup+1062.3 s] /proc/loadavg: 1.00 0.97 0.71 2/78 4559 /proc/meminfo: memFree=1764400/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=14424 CPUtime=1062.02 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 3051 0 0 0 106192 10 0 0 25 0 1 0 242103512 14770176 2997 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 3606 2997 309 324 0 2676 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 14424 [startup+1122.3 s] /proc/loadavg: 1.00 0.97 0.72 2/78 4559 /proc/meminfo: memFree=1763440/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=15400 CPUtime=1122 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 3281 0 0 0 112189 11 0 0 25 0 1 0 242103512 15769600 3227 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551036 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 3850 3227 309 324 0 2920 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 15400 [startup+1182.3 s] /proc/loadavg: 1.00 0.97 0.74 2/78 4559 /proc/meminfo: memFree=1763440/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=15396 CPUtime=1181.98 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 3281 0 0 0 118187 11 0 0 25 0 1 0 242103512 15765504 3227 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 3849 3227 309 324 0 2919 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 15396 [startup+1242.3 s] /proc/loadavg: 1.00 0.97 0.75 2/78 4559 /proc/meminfo: memFree=1763440/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=15388 CPUtime=1241.97 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 3281 0 0 0 124185 12 0 0 25 0 1 0 242103512 15757312 3227 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551431 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 3847 3227 309 324 0 2917 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 15388 [startup+1302.3 s] /proc/loadavg: 1.00 0.97 0.76 2/78 4559 /proc/meminfo: memFree=1763376/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=15380 CPUtime=1301.96 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 3281 0 0 0 130184 12 0 0 25 0 1 0 242103512 15749120 3227 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 3845 3227 309 324 0 2915 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 15380 [startup+1362.3 s] /proc/loadavg: 1.00 0.97 0.77 2/78 4559 /proc/meminfo: memFree=1763376/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=15264 CPUtime=1361.94 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 3281 0 0 0 136181 13 0 0 25 0 1 0 242103512 15630336 3207 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 3816 3207 309 324 0 2886 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 15264 [startup+1422.31 s] /proc/loadavg: 1.00 0.97 0.78 2/78 4559 /proc/meminfo: memFree=1763376/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=15264 CPUtime=1421.93 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 3281 0 0 0 142180 13 0 0 25 0 1 0 242103512 15630336 3207 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 3816 3207 309 324 0 2886 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 15264 [startup+1482.3 s] /proc/loadavg: 1.00 0.97 0.79 2/78 4559 /proc/meminfo: memFree=1763184/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=15480 CPUtime=1481.91 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 3320 0 0 0 148177 14 0 0 25 0 1 0 242103512 15851520 3246 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 3870 3246 309 324 0 2940 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 15480 [startup+1542.3 s] /proc/loadavg: 1.00 0.97 0.81 2/78 4559 /proc/meminfo: memFree=1763184/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=15476 CPUtime=1541.9 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 3320 0 0 0 154175 15 0 0 25 0 1 0 242103512 15847424 3246 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 3869 3246 309 324 0 2939 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 15476 [startup+1602.3 s] /proc/loadavg: 1.00 0.97 0.82 2/78 4559 /proc/meminfo: memFree=1763184/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=15476 CPUtime=1601.88 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 3320 0 0 0 160173 15 0 0 25 0 1 0 242103512 15847424 3246 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3294876 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 3869 3246 309 324 0 2939 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 15476 [startup+1662.3 s] /proc/loadavg: 1.00 0.97 0.82 2/78 4559 /proc/meminfo: memFree=1763248/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=15476 CPUtime=1661.87 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 3320 0 0 0 166171 16 0 0 25 0 1 0 242103512 15847424 3246 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3290448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 3869 3246 309 324 0 2939 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 15476 [startup+1722.3 s] /proc/loadavg: 1.00 0.97 0.83 2/78 4559 /proc/meminfo: memFree=1763184/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=15476 CPUtime=1721.85 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 3320 0 0 0 172169 16 0 0 25 0 1 0 242103512 15847424 3246 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 3869 3246 309 324 0 2939 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 15476 [startup+1782.3 s] /proc/loadavg: 1.00 0.97 0.84 2/78 4559 /proc/meminfo: memFree=1762992/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=15712 CPUtime=1781.84 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 3378 0 0 0 178167 17 0 0 25 0 1 0 242103512 16089088 3304 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 3928 3304 309 324 0 2998 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 15712 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 0.97 0.84 2/78 4559 /proc/meminfo: memFree=1762800/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=15840 CPUtime=1800.03 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 3412 0 0 0 179986 17 0 0 25 0 1 0 242103512 16220160 3338 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 3960 3338 309 324 0 3030 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 15840 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 0.97 0.84 2/78 4559 /proc/meminfo: memFree=1762800/2055920 swapFree=4140232/4192956 [pid=4558] ppid=4556 vsize=15840 CPUtime=1800.03 /proc/4558/stat : 4558 (bsolo3.0.17) R 4556 4558 4153 0 -1 4194304 3412 0 0 0 179986 17 0 0 25 0 1 0 242103512 16220160 3338 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4558/statm: 3960 3338 309 324 0 3030 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 15840 Child status: 15 Real time (s): 1800.52 CPU time (s): 1800.05 CPU user time (s): 1799.87 CPU system time (s): 0.179972 CPU usage (%): 99.9736 Max. virtual memory (cumulated for all children) (KiB): 15840 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.87 system time used= 0.179972 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3416 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= 12 involuntary context switches= 37027 runsolver used 1.40079 second user time and 3.83942 second system time The end
Begin job on node17 on Mon Apr 30 14:04:20 UTC 2007 IDJOB= 432302 IDBENCH= 1289 IDSOLVER= 199 FILE ID= node17/432302-1177941860 PBS_JOBID= 4727621 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900565534.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432302-1177941860/instance-432302-1177941860.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-432302-1177941860 -o ROOT/results/node17/solver-432302-1177941860 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432302-1177941860/instance-432302-1177941860.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 0fea7c185f4d6e2091fba763db8ccbcc RANDOM SEED= 795254190 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node17.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.240 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.240 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: 1775816 kB Buffers: 38624 kB Cached: 147960 kB SwapCached: 15512 kB Active: 96096 kB Inactive: 113912 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1775816 kB SwapTotal: 4192956 kB SwapFree: 4140232 kB Dirty: 6768 kB Writeback: 0 kB Mapped: 30216 kB Slab: 55596 kB Committed_AS: 7372016 kB PageTables: 1796 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= 66558 MiB End job on node17 on Mon Apr 30 14:34:23 UTC 2007