Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.0.17 | UNSAT | 710.312 | 710.469 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900558106.opb |
MD5SUM | 86320fff0968ff7a2805751d322618eb |
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 | 19.502 |
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 | 815 |
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/432317-1177941916/instance-432317-1177941916.opb 0.00/0.00 c File size is 83389 bytes. 0.00/0.02 c Highest Coefficient sum: 815 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.017 s 0.00/0.02 c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5709 0.00/0.02 c Obj. Vars: 0 (0 % of total variables) 0.00/0.03 c Pre-processing Time: 0.028 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 5472 1880 0 0 0.03 0.00/0.03 c Switching off LPR mode. 710.23/710.46 c 100 231 2686 11422 4 5677 2069 100 2857 0.04 710.23/710.46 c 251 231 2837 17601 6 5979 2276 251 5122 0.05 710.23/710.46 c 477 231 3063 27077 8 6430 2504 477 6037 0.08 710.23/710.46 c 816 231 3402 37882 11 7108 2755 816 6800 0.12 710.23/710.46 c 1325 231 3911 58066 14 8126 3031 1325 6625 0.20 710.23/710.46 c 2089 231 4675 86168 18 9654 3335 2089 5585 0.37 710.23/710.46 c 3235 231 5821 129719 22 11945 3669 3235 4938 0.66 710.23/710.46 c 4958 231 5603 134163 23 11510 4036 3017 4383 1.13 710.23/710.46 c 7542 231 6090 160294 26 12483 4440 3504 3861 1.95 710.23/710.46 c 11422 231 5325 109855 20 10954 4885 2739 3798 3.01 710.23/710.46 c 17245 231 6061 133762 22 12426 5374 3475 3705 4.65 710.23/710.46 c 25984 231 6424 141112 21 13153 5912 3838 3648 7.12 710.23/710.46 c 39095 231 7262 177902 24 14828 6504 4676 3496 11.18 710.23/710.46 c 58765 231 6793 170627 25 13891 7155 4207 3107 18.91 710.23/710.46 c 88275 231 6841 165940 24 13986 7871 4255 2874 30.71 710.23/710.46 c 132548 231 6765 152716 22 13834 8659 4179 2644 50.12 710.23/710.46 c 198958 231 6916 160952 23 14137 9525 4330 2441 81.48 710.23/710.46 c 298578 231 9374 242464 25 19053 10478 6788 2207 135.25 710.23/710.46 c 448015 231 9194 237822 25 18692 11526 6608 1989 225.16 710.23/710.46 c 672173 231 10513 304608 28 21331 12679 7927 1797 373.89 710.23/710.46 c 1008416 231 11452 350801 30 23208 13947 8866 1596 631.71 710.23/710.46 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 710.23/710.46 c 21 1104946 211634 1508233 15966 492032 13380 1555 710.31 710.23/710.46 s UNSATISFIABLE 710.23/710.46 c Total time: 710.307 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node52/watcher-432317-1177941916 -o ROOT/results/node52/solver-432317-1177941916 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432317-1177941916/instance-432317-1177941916.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.77 0.62 0.31 3/64 24657 /proc/meminfo: memFree=1766556/2055920 swapFree=4183000/4192956 [pid=24657] ppid=24655 vsize=19632 CPUtime=0 /proc/24657/stat : 24657 (bsolo3.0.17) R 24655 24657 24108 0 -1 4194304 361 0 0 0 0 0 0 0 18 0 1 0 149036723 20103168 331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4744827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24657/statm: 4908 331 279 324 0 3957 0 [startup+0.032517 s] /proc/loadavg: 0.77 0.62 0.31 3/64 24657 /proc/meminfo: memFree=1766556/2055920 swapFree=4183000/4192956 [pid=24657] ppid=24655 vsize=4592 CPUtime=0.02 /proc/24657/stat : 24657 (bsolo3.0.17) R 24655 24657 24108 0 -1 4194304 562 0 0 0 2 0 0 0 18 0 1 0 149036723 4702208 511 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24657/statm: 1148 511 308 324 0 218 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4592 [startup+0.102521 s] /proc/loadavg: 0.77 0.62 0.31 3/64 24657 /proc/meminfo: memFree=1766556/2055920 swapFree=4183000/4192956 [pid=24657] ppid=24655 vsize=4720 CPUtime=0.09 /proc/24657/stat : 24657 (bsolo3.0.17) R 24655 24657 24108 0 -1 4194304 620 0 0 0 9 0 0 0 18 0 1 0 149036723 4833280 569 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4744827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24657/statm: 1180 569 308 324 0 250 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4720 [startup+0.301533 s] /proc/loadavg: 0.77 0.62 0.31 3/64 24657 /proc/meminfo: memFree=1766556/2055920 swapFree=4183000/4192956 [pid=24657] ppid=24655 vsize=5380 CPUtime=0.29 /proc/24657/stat : 24657 (bsolo3.0.17) R 24655 24657 24108 0 -1 4194304 785 0 0 0 29 0 0 0 19 0 1 0 149036723 5509120 734 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4744827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24657/statm: 1345 734 309 324 0 415 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5380 [startup+0.702561 s] /proc/loadavg: 0.77 0.62 0.31 3/64 24657 /proc/meminfo: memFree=1766556/2055920 swapFree=4183000/4192956 [pid=24657] ppid=24655 vsize=6416 CPUtime=0.69 /proc/24657/stat : 24657 (bsolo3.0.17) R 24655 24657 24108 0 -1 4194304 1028 0 0 0 69 0 0 0 24 0 1 0 149036723 6569984 977 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4742937 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24657/statm: 1604 977 309 324 0 674 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6416 [startup+1.50161 s] /proc/loadavg: 0.77 0.62 0.31 2/65 24658 /proc/meminfo: memFree=1763604/2055920 swapFree=4183000/4192956 [pid=24657] ppid=24655 vsize=7064 CPUtime=1.49 /proc/24657/stat : 24657 (bsolo3.0.17) R 24655 24657 24108 0 -1 4194304 1201 0 0 0 149 0 0 0 25 0 1 0 149036723 7233536 1150 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4744827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24657/statm: 1766 1150 309 324 0 836 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7064 [startup+3.10172 s] /proc/loadavg: 0.77 0.62 0.31 2/65 24658 /proc/meminfo: memFree=1762708/2055920 swapFree=4183000/4192956 [pid=24657] ppid=24655 vsize=7444 CPUtime=3.09 /proc/24657/stat : 24657 (bsolo3.0.17) R 24655 24657 24108 0 -1 4194304 1274 0 0 0 309 0 0 0 25 0 1 0 149036723 7622656 1223 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24657/statm: 1861 1223 309 324 0 931 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7444 [startup+6.30194 s] /proc/loadavg: 0.79 0.63 0.32 2/65 24658 /proc/meminfo: memFree=1762324/2055920 swapFree=4183000/4192956 [pid=24657] ppid=24655 vsize=7572 CPUtime=6.29 /proc/24657/stat : 24657 (bsolo3.0.17) R 24655 24657 24108 0 -1 4194304 1324 0 0 0 629 0 0 0 25 0 1 0 149036723 7753728 1273 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24657/statm: 1893 1273 309 324 0 963 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7572 [startup+12.7014 s] /proc/loadavg: 0.81 0.63 0.32 2/65 24658 /proc/meminfo: memFree=1761620/2055920 swapFree=4183000/4192956 [pid=24657] ppid=24655 vsize=8360 CPUtime=12.69 /proc/24657/stat : 24657 (bsolo3.0.17) R 24655 24657 24108 0 -1 4194304 1526 0 0 0 1268 1 0 0 25 0 1 0 149036723 8560640 1475 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551970 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24657/statm: 2090 1475 309 324 0 1160 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8360 [startup+25.5012 s] /proc/loadavg: 0.85 0.65 0.33 2/65 24658 /proc/meminfo: memFree=1761172/2055920 swapFree=4183000/4192956 [pid=24657] ppid=24655 vsize=8980 CPUtime=25.49 /proc/24657/stat : 24657 (bsolo3.0.17) R 24655 24657 24108 0 -1 4194304 1663 0 0 0 2548 1 0 0 25 0 1 0 149036723 9195520 1612 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24657/statm: 2245 1612 309 324 0 1315 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8980 [startup+51.1019 s] /proc/loadavg: 0.90 0.68 0.35 2/65 24658 /proc/meminfo: memFree=1760596/2055920 swapFree=4183000/4192956 [pid=24657] ppid=24655 vsize=9504 CPUtime=51.08 /proc/24657/stat : 24657 (bsolo3.0.17) R 24655 24657 24108 0 -1 4194304 1798 0 0 0 5107 1 0 0 25 0 1 0 149036723 9732096 1747 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24657/statm: 2376 1747 309 324 0 1446 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 9504 [startup+102.305 s] /proc/loadavg: 0.95 0.72 0.38 2/65 24658 /proc/meminfo: memFree=1759892/2055920 swapFree=4183000/4192956 [pid=24657] ppid=24655 vsize=10228 CPUtime=102.27 /proc/24657/stat : 24657 (bsolo3.0.17) R 24655 24657 24108 0 -1 4194304 1989 0 0 0 10226 1 0 0 25 0 1 0 149036723 10473472 1938 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24657/statm: 2557 1938 309 324 0 1627 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 10228 [startup+162.301 s] /proc/loadavg: 0.98 0.77 0.42 2/65 24658 /proc/meminfo: memFree=1759380/2055920 swapFree=4183000/4192956 [pid=24657] ppid=24655 vsize=10696 CPUtime=162.25 /proc/24657/stat : 24657 (bsolo3.0.17) R 24655 24657 24108 0 -1 4194304 2106 0 0 0 16224 1 0 0 25 0 1 0 149036723 10952704 2055 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24657/statm: 2674 2055 309 324 0 1744 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 10696 [startup+222.301 s] /proc/loadavg: 0.99 0.81 0.45 2/65 24658 /proc/meminfo: memFree=1759380/2055920 swapFree=4183000/4192956 [pid=24657] ppid=24655 vsize=10696 CPUtime=222.24 /proc/24657/stat : 24657 (bsolo3.0.17) R 24655 24657 24108 0 -1 4194304 2107 0 0 0 22223 1 0 0 25 0 1 0 149036723 10952704 2056 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24657/statm: 2674 2056 309 324 0 1744 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 10696 [startup+282.301 s] /proc/loadavg: 0.99 0.84 0.48 2/65 24660 /proc/meminfo: memFree=1758676/2055920 swapFree=4183000/4192956 [pid=24657] ppid=24655 vsize=11304 CPUtime=282.23 /proc/24657/stat : 24657 (bsolo3.0.17) R 24655 24657 24108 0 -1 4194304 2265 0 0 0 28222 1 0 0 25 0 1 0 149036723 11575296 2214 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571875 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24657/statm: 2826 2214 309 324 0 1896 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 11304 [startup+342.301 s] /proc/loadavg: 0.99 0.87 0.51 2/65 24660 /proc/meminfo: memFree=1758676/2055920 swapFree=4183000/4192956 [pid=24657] ppid=24655 vsize=11304 CPUtime=342.22 /proc/24657/stat : 24657 (bsolo3.0.17) R 24655 24657 24108 0 -1 4194304 2265 0 0 0 34220 2 0 0 25 0 1 0 149036723 11575296 2214 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4740467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24657/statm: 2826 2214 309 324 0 1896 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 11304 [startup+402.301 s] /proc/loadavg: 0.99 0.89 0.54 2/65 24660 /proc/meminfo: memFree=1757396/2055920 swapFree=4183000/4192956 [pid=24657] ppid=24655 vsize=12652 CPUtime=402.2 /proc/24657/stat : 24657 (bsolo3.0.17) R 24655 24657 24108 0 -1 4194304 2587 0 0 0 40218 2 0 0 25 0 1 0 149036723 12955648 2536 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24657/statm: 3163 2536 309 324 0 2233 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 12652 [startup+462.301 s] /proc/loadavg: 0.99 0.91 0.56 2/65 24660 /proc/meminfo: memFree=1757332/2055920 swapFree=4183000/4192956 [pid=24657] ppid=24655 vsize=12644 CPUtime=462.19 /proc/24657/stat : 24657 (bsolo3.0.17) R 24655 24657 24108 0 -1 4194304 2587 0 0 0 46217 2 0 0 25 0 1 0 149036723 12947456 2536 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091713 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24657/statm: 3161 2536 309 324 0 2231 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 12644 [startup+522.301 s] /proc/loadavg: 0.99 0.92 0.59 2/65 24660 /proc/meminfo: memFree=1757396/2055920 swapFree=4183000/4192956 [pid=24657] ppid=24655 vsize=12644 CPUtime=522.17 /proc/24657/stat : 24657 (bsolo3.0.17) R 24655 24657 24108 0 -1 4194304 2587 0 0 0 52215 2 0 0 25 0 1 0 149036723 12947456 2536 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24657/statm: 3161 2536 309 324 0 2231 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 12644 [startup+582.301 s] /proc/loadavg: 0.99 0.93 0.61 2/65 24660 /proc/meminfo: memFree=1757396/2055920 swapFree=4183000/4192956 [pid=24657] ppid=24655 vsize=12628 CPUtime=582.17 /proc/24657/stat : 24657 (bsolo3.0.17) R 24655 24657 24108 0 -1 4194304 2587 0 0 0 58214 3 0 0 25 0 1 0 149036723 12931072 2536 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4739224 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24657/statm: 3157 2536 309 324 0 2227 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 12628 [startup+642.302 s] /proc/loadavg: 0.99 0.94 0.64 2/65 24660 /proc/meminfo: memFree=1757140/2055920 swapFree=4183000/4192956 [pid=24657] ppid=24655 vsize=12892 CPUtime=642.16 /proc/24657/stat : 24657 (bsolo3.0.17) R 24655 24657 24108 0 -1 4194304 2651 0 0 0 64213 3 0 0 25 0 1 0 149036723 13201408 2600 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24657/statm: 3223 2600 309 324 0 2293 0 Current children cumulated CPU time (s) 642.16 Current children cumulated vsize (KiB) 12892 [startup+702.302 s] /proc/loadavg: 0.99 0.95 0.65 2/65 24660 /proc/meminfo: memFree=1756372/2055920 swapFree=4183000/4192956 [pid=24657] ppid=24655 vsize=13628 CPUtime=702.13 /proc/24657/stat : 24657 (bsolo3.0.17) R 24655 24657 24108 0 -1 4194304 2840 0 0 0 70210 3 0 0 25 0 1 0 149036723 13955072 2789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24657/statm: 3407 2789 309 324 0 2477 0 Current children cumulated CPU time (s) 702.13 Current children cumulated vsize (KiB) 13628 Solver just ended. Dumping a history of the last processes samples [startup+703.901 s] /proc/loadavg: 0.99 0.95 0.65 2/65 24660 /proc/meminfo: memFree=1756372/2055920 swapFree=4183000/4192956 [pid=24657] ppid=24655 vsize=13628 CPUtime=703.74 /proc/24657/stat : 24657 (bsolo3.0.17) R 24655 24657 24108 0 -1 4194304 2840 0 0 0 70371 3 0 0 25 0 1 0 149036723 13955072 2789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551114 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24657/statm: 3407 2789 309 324 0 2477 0 Current children cumulated CPU time (s) 703.74 Current children cumulated vsize (KiB) 13628 [startup+707.102 s] /proc/loadavg: 0.99 0.95 0.65 2/65 24660 /proc/meminfo: memFree=1756372/2055920 swapFree=4183000/4192956 [pid=24657] ppid=24655 vsize=13628 CPUtime=706.93 /proc/24657/stat : 24657 (bsolo3.0.17) R 24655 24657 24108 0 -1 4194304 2840 0 0 0 70690 3 0 0 25 0 1 0 149036723 13955072 2789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24657/statm: 3407 2789 309 324 0 2477 0 Current children cumulated CPU time (s) 706.93 Current children cumulated vsize (KiB) 13628 [startup+708.702 s] /proc/loadavg: 0.99 0.95 0.65 2/65 24660 /proc/meminfo: memFree=1756372/2055920 swapFree=4183000/4192956 [pid=24657] ppid=24655 vsize=13628 CPUtime=708.53 /proc/24657/stat : 24657 (bsolo3.0.17) R 24655 24657 24108 0 -1 4194304 2840 0 0 0 70850 3 0 0 25 0 1 0 149036723 13955072 2789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550785 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24657/statm: 3407 2789 309 324 0 2477 0 Current children cumulated CPU time (s) 708.53 Current children cumulated vsize (KiB) 13628 [startup+709.506 s] /proc/loadavg: 0.99 0.95 0.66 2/65 24660 /proc/meminfo: memFree=1756372/2055920 swapFree=4183000/4192956 [pid=24657] ppid=24655 vsize=13628 CPUtime=709.34 /proc/24657/stat : 24657 (bsolo3.0.17) R 24655 24657 24108 0 -1 4194304 2840 0 0 0 70931 3 0 0 25 0 1 0 149036723 13955072 2789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4739079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24657/statm: 3407 2789 309 324 0 2477 0 Current children cumulated CPU time (s) 709.34 Current children cumulated vsize (KiB) 13628 [startup+709.902 s] /proc/loadavg: 0.99 0.95 0.66 2/65 24660 /proc/meminfo: memFree=1756372/2055920 swapFree=4183000/4192956 [pid=24657] ppid=24655 vsize=13628 CPUtime=709.73 /proc/24657/stat : 24657 (bsolo3.0.17) R 24655 24657 24108 0 -1 4194304 2840 0 0 0 70970 3 0 0 25 0 1 0 149036723 13955072 2789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551970 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24657/statm: 3407 2789 309 324 0 2477 0 Current children cumulated CPU time (s) 709.73 Current children cumulated vsize (KiB) 13628 [startup+710.302 s] /proc/loadavg: 0.99 0.95 0.66 2/65 24660 /proc/meminfo: memFree=1756372/2055920 swapFree=4183000/4192956 [pid=24657] ppid=24655 vsize=13628 CPUtime=710.13 /proc/24657/stat : 24657 (bsolo3.0.17) R 24655 24657 24108 0 -1 4194304 2840 0 0 0 71010 3 0 0 25 0 1 0 149036723 13955072 2789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24657/statm: 3407 2789 309 324 0 2477 0 Current children cumulated CPU time (s) 710.13 Current children cumulated vsize (KiB) 13628 [startup+710.402 s] /proc/loadavg: 0.99 0.95 0.66 2/65 24660 /proc/meminfo: memFree=1756372/2055920 swapFree=4183000/4192956 [pid=24657] ppid=24655 vsize=13628 CPUtime=710.23 /proc/24657/stat : 24657 (bsolo3.0.17) R 24655 24657 24108 0 -1 4194304 2840 0 0 0 71020 3 0 0 25 0 1 0 149036723 13955072 2789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24657/statm: 3407 2789 309 324 0 2477 0 Current children cumulated CPU time (s) 710.23 Current children cumulated vsize (KiB) 13628 Child status: 0 Real time (s): 710.469 CPU time (s): 710.312 CPU user time (s): 710.271 CPU system time (s): 0.040993 CPU usage (%): 99.9779 Max. virtual memory (cumulated for all children) (KiB): 13628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 710.271 system time used= 0.040993 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2844 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= 11 involuntary context switches= 770 runsolver used 0.539917 second user time and 1.40779 second system time The end
Begin job on node52 on Mon Apr 30 14:05:17 UTC 2007 IDJOB= 432317 IDBENCH= 1304 IDSOLVER= 199 FILE ID= node52/432317-1177941916 PBS_JOBID= 4727544 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.1900558106.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432317-1177941916/instance-432317-1177941916.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-432317-1177941916 -o ROOT/results/node52/solver-432317-1177941916 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432317-1177941916/instance-432317-1177941916.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 86320fff0968ff7a2805751d322618eb RANDOM SEED= 245918669 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node52.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.236 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.236 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: 1767028 kB Buffers: 35156 kB Cached: 180520 kB SwapCached: 3964 kB Active: 75700 kB Inactive: 149652 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1767028 kB SwapTotal: 4192956 kB SwapFree: 4183000 kB Dirty: 6824 kB Writeback: 0 kB Mapped: 15616 kB Slab: 49460 kB Committed_AS: 1946928 kB PageTables: 1484 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 node52 on Mon Apr 30 14:17:07 UTC 2007