Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.1 cl | UNSAT | 1037.8 | 1038.14 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900552288.opb |
MD5SUM | d36c8f083b4352ee7b6379767e1c28ad |
Bench Category | DEC-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 | 19.466 |
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 | 727 |
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.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Clause Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1878526-1245123366.opb 0.00/0.00 c File size is 83379 bytes. 0.00/0.01 c Highest Coefficient sum: 727 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.012 s 0.00/0.01 c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5707 0.00/0.01 c Obj. Vars: 0 (0 % of total variables) 0.00/0.02 c Pre-processing Time: 0.023 s 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 231 2586 8096 3 5473 1880 0 0 0.02 0.00/0.02 c Switching off lower bounding mode. 1037.76/1038.13 c 101 231 2687 12400 4 5677 2069 101 3060 0.03 1037.76/1038.13 c 252 231 2838 18586 6 5980 2276 252 5040 0.05 1037.76/1038.13 c 477 231 3063 29031 9 6431 2504 477 5678 0.08 1037.76/1038.13 c 816 231 3402 42916 12 7108 2755 816 5551 0.15 1037.76/1038.13 c 1325 231 3911 63563 16 8127 3031 1325 5057 0.26 1037.76/1038.13 c 2090 231 4676 94330 20 9657 3335 2090 4213 0.50 1037.76/1038.13 c 3237 231 5823 139990 24 11950 3669 3237 3476 0.93 1037.76/1038.13 c 4959 231 5649 128954 22 11601 4036 3063 3245 1.53 1037.76/1038.13 c 7545 231 6080 139536 22 12465 4440 3494 3089 2.44 1037.76/1038.13 c 11424 231 5282 102226 19 10866 4885 2696 3102 3.68 1037.76/1038.13 c 17248 231 6033 131358 21 12371 5374 3447 3041 5.67 1037.76/1038.13 c 25985 231 6400 149955 23 13105 5912 3814 2863 9.07 1037.76/1038.13 c 39096 231 7300 173521 23 14903 6504 4714 2657 14.71 1037.76/1038.13 c 58769 231 6830 161883 23 13965 7155 4244 2558 22.97 1037.76/1038.13 c 88280 231 6885 152851 22 14074 7871 4299 2419 36.49 1037.76/1038.13 c 132550 231 6808 142940 20 13920 8659 4222 2242 59.09 1037.76/1038.13 c 198960 231 11197 326922 29 22698 9525 8611 2016 98.68 1037.76/1038.13 c 298580 231 8555 212527 24 17414 10478 5969 1827 163.41 1037.76/1038.13 c 448016 231 8209 194649 23 16722 11526 5623 1669 268.28 1037.76/1038.13 c 672177 231 9486 235432 24 19276 12679 6900 1524 440.97 1037.76/1038.13 c 1008420 231 10638 304699 28 21581 13947 8052 1368 736.74 1037.76/1038.13 c Backtracks by Clause: 0 1037.76/1038.13 c Backtracks by PB constraint: 0 1037.76/1038.13 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1037.76/1038.13 c 21 1310027 285039 1837387 15005 370147 12419 1262 1037.80 1037.76/1038.13 s UNSATISFIABLE 1037.76/1038.13 c Total time: 1037.8 s
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878526-1245123366/watcher-1878526-1245123366 -o /tmp/evaluation-result-1878526-1245123366/solver-1878526-1245123366 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878526-1245123366.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 3/64 949 /proc/meminfo: memFree=986408/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=10792 CPUtime=0 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 249 0 0 0 0 0 0 0 18 0 1 0 179929531 11051008 233 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 2698 234 174 640 0 2033 0 [startup+0.0113741 s] /proc/loadavg: 0.99 0.98 0.99 3/64 949 /proc/meminfo: memFree=986408/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=10932 CPUtime=0 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 302 0 0 0 0 0 0 0 18 0 1 0 179929531 11194368 286 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 2733 286 185 640 0 2068 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10932 [startup+0.101386 s] /proc/loadavg: 0.99 0.98 0.99 3/64 949 /proc/meminfo: memFree=986408/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=11492 CPUtime=0.09 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 476 0 0 0 9 0 0 0 18 0 1 0 179929531 11767808 439 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 2873 439 195 640 0 2229 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11492 [startup+0.301414 s] /proc/loadavg: 0.99 0.98 0.99 3/64 949 /proc/meminfo: memFree=986408/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=12004 CPUtime=0.3 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 617 0 0 0 29 1 0 0 19 0 1 0 179929531 12292096 580 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 3001 580 195 640 0 2357 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 12004 [startup+0.701471 s] /proc/loadavg: 0.99 0.98 0.99 3/64 949 /proc/meminfo: memFree=986408/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=12776 CPUtime=0.69 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 803 0 0 0 68 1 0 0 22 0 1 0 179929531 13082624 766 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 3194 766 195 640 0 2550 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12776 [startup+1.50159 s] /proc/loadavg: 0.99 0.98 0.99 2/65 950 /proc/meminfo: memFree=983584/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=13548 CPUtime=1.5 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 992 0 0 0 148 2 0 0 25 0 1 0 179929531 13873152 955 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 3387 955 195 640 0 2743 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 13548 [startup+3.10181 s] /proc/loadavg: 0.99 0.98 0.99 2/65 950 /proc/meminfo: memFree=983008/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=13804 CPUtime=3.09 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 1056 0 0 0 307 2 0 0 25 0 1 0 179929531 14135296 1019 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 3451 1019 195 640 0 2807 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13804 [startup+6.30126 s] /proc/loadavg: 0.99 0.98 0.99 2/65 950 /proc/meminfo: memFree=982624/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=14060 CPUtime=6.29 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 1138 0 0 0 626 3 0 0 25 0 1 0 179929531 14397440 1101 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 3515 1101 195 640 0 2871 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14060 [startup+12.7012 s] /proc/loadavg: 0.99 0.98 0.99 2/65 950 /proc/meminfo: memFree=981920/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=14572 CPUtime=12.68 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 1269 0 0 0 1263 5 0 0 25 0 1 0 179929531 14921728 1232 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 3643 1232 195 640 0 2999 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14572 [startup+25.502 s] /proc/loadavg: 0.99 0.98 0.99 2/65 950 /proc/meminfo: memFree=981408/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=15192 CPUtime=25.48 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 1407 0 0 0 2539 9 0 0 25 0 1 0 179929531 15556608 1370 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 3798 1370 195 640 0 3154 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15192 [startup+51.1016 s] /proc/loadavg: 0.99 0.98 0.99 2/65 950 /proc/meminfo: memFree=980768/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=15812 CPUtime=51.07 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 1563 0 0 0 5091 16 0 0 25 0 1 0 179929531 16191488 1526 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 3953 1526 195 640 0 3309 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 15812 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.99 2/65 950 /proc/meminfo: memFree=979744/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=16804 CPUtime=102.25 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 1812 0 0 0 10197 28 0 0 25 0 1 0 179929531 17207296 1775 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 4201 1775 195 640 0 3557 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 16804 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 950 /proc/meminfo: memFree=979424/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=17060 CPUtime=162.23 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 1883 0 0 0 16183 40 0 0 25 0 1 0 179929531 17469440 1846 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 4265 1846 195 640 0 3621 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 17060 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 950 /proc/meminfo: memFree=979168/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=17440 CPUtime=222.22 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 1980 0 0 0 22171 51 0 0 25 0 1 0 179929531 17858560 1943 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 4360 1943 195 640 0 3716 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 17440 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 950 /proc/meminfo: memFree=979040/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=17572 CPUtime=282.2 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 2016 0 0 0 28157 63 0 0 25 0 1 0 179929531 17993728 1979 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 4393 1979 195 640 0 3749 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 17572 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 950 /proc/meminfo: memFree=978720/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=17880 CPUtime=342.17 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 2084 0 0 0 34143 74 0 0 25 0 1 0 179929531 18309120 2047 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 4470 2047 195 640 0 3826 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 17880 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 950 /proc/meminfo: memFree=978720/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=17872 CPUtime=402.16 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 2084 0 0 0 40132 84 0 0 25 0 1 0 179929531 18300928 2047 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 4468 2047 195 640 0 3824 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 17872 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 950 /proc/meminfo: memFree=977824/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=18732 CPUtime=462.14 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 2300 0 0 0 46120 94 0 0 25 0 1 0 179929531 19181568 2263 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 4683 2263 195 640 0 4039 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 18732 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 950 /proc/meminfo: memFree=977824/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=18732 CPUtime=522.12 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 2300 0 0 0 52108 104 0 0 25 0 1 0 179929531 19181568 2263 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 4683 2263 195 640 0 4039 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 18732 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 950 /proc/meminfo: memFree=977888/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=18732 CPUtime=582.1 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 2300 0 0 0 58096 114 0 0 25 0 1 0 179929531 19181568 2263 1992294400 134512640 137136520 4294956256 18446744073709551615 135982505 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 4683 2263 195 640 0 4039 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 18732 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 950 /proc/meminfo: memFree=977824/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=18732 CPUtime=642.09 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 2300 0 0 0 64085 124 0 0 25 0 1 0 179929531 19181568 2263 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 4683 2263 195 640 0 4039 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 18732 [startup+702.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 950 /proc/meminfo: memFree=977760/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=18732 CPUtime=702.06 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 2301 0 0 0 70072 134 0 0 25 0 1 0 179929531 19181568 2264 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 4683 2264 195 640 0 4039 0 Current children cumulated CPU time (s) 702.06 Current children cumulated vsize (KiB) 18732 [startup+762.305 s] /proc/loadavg: 0.99 0.98 0.99 2/65 950 /proc/meminfo: memFree=976736/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=19816 CPUtime=762.05 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 2569 0 0 0 76060 145 0 0 25 0 1 0 179929531 20291584 2532 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 4954 2532 195 640 0 4310 0 Current children cumulated CPU time (s) 762.05 Current children cumulated vsize (KiB) 19816 [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 950 /proc/meminfo: memFree=976672/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=19796 CPUtime=822.02 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 2569 0 0 0 82047 155 0 0 25 0 1 0 179929531 20271104 2532 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 4949 2532 195 640 0 4305 0 Current children cumulated CPU time (s) 822.02 Current children cumulated vsize (KiB) 19796 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 950 /proc/meminfo: memFree=976736/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=19796 CPUtime=882 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 2569 0 0 0 88035 165 0 0 25 0 1 0 179929531 20271104 2532 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 4949 2532 195 640 0 4305 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 19796 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 950 /proc/meminfo: memFree=976736/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=19796 CPUtime=941.98 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 2569 0 0 0 94023 175 0 0 25 0 1 0 179929531 20271104 2532 1992294400 134512640 137136520 4294956256 18446744073709551615 136502118 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 4949 2532 195 640 0 4305 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 19796 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 950 /proc/meminfo: memFree=976736/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=19796 CPUtime=1001.97 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 2569 0 0 0 100012 185 0 0 25 0 1 0 179929531 20271104 2532 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 4949 2532 195 640 0 4305 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 19796 Solver just ended. Dumping a history of the last processes samples [startup+1023.9 s] /proc/loadavg: 0.99 0.98 0.99 2/65 950 /proc/meminfo: memFree=976736/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=19796 CPUtime=1023.56 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 2569 0 0 0 102167 189 0 0 25 0 1 0 179929531 20271104 2532 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 4949 2532 195 640 0 4305 0 Current children cumulated CPU time (s) 1023.56 Current children cumulated vsize (KiB) 19796 [startup+1030.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 950 /proc/meminfo: memFree=976736/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=19796 CPUtime=1029.95 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 2569 0 0 0 102806 189 0 0 25 0 1 0 179929531 20271104 2532 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 4949 2532 195 640 0 4305 0 Current children cumulated CPU time (s) 1029.95 Current children cumulated vsize (KiB) 19796 [startup+1033.5 s] /proc/loadavg: 0.99 0.98 0.99 2/65 950 /proc/meminfo: memFree=976736/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=19796 CPUtime=1033.16 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 2569 0 0 0 103126 190 0 0 25 0 1 0 179929531 20271104 2532 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 4949 2532 195 640 0 4305 0 Current children cumulated CPU time (s) 1033.16 Current children cumulated vsize (KiB) 19796 [startup+1036.7 s] /proc/loadavg: 0.99 0.98 0.99 2/65 950 /proc/meminfo: memFree=976736/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=19796 CPUtime=1036.36 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 2569 0 0 0 103445 191 0 0 25 0 1 0 179929531 20271104 2532 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 4949 2532 195 640 0 4305 0 Current children cumulated CPU time (s) 1036.36 Current children cumulated vsize (KiB) 19796 [startup+1037.5 s] /proc/loadavg: 0.99 0.98 0.99 2/65 950 /proc/meminfo: memFree=976736/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=19796 CPUtime=1037.16 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 2569 0 0 0 103525 191 0 0 25 0 1 0 179929531 20271104 2532 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 4949 2532 195 640 0 4305 0 Current children cumulated CPU time (s) 1037.16 Current children cumulated vsize (KiB) 19796 [startup+1037.9 s] /proc/loadavg: 0.99 0.98 0.99 2/65 950 /proc/meminfo: memFree=976736/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=19796 CPUtime=1037.56 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 2569 0 0 0 103565 191 0 0 25 0 1 0 179929531 20271104 2532 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 4949 2532 195 640 0 4305 0 Current children cumulated CPU time (s) 1037.56 Current children cumulated vsize (KiB) 19796 [startup+1038.1 s] /proc/loadavg: 0.99 0.98 0.99 2/65 950 /proc/meminfo: memFree=976736/2055920 swapFree=4181384/4192956 [pid=949] ppid=947 vsize=19796 CPUtime=1037.76 /proc/949/stat : 949 (bsolo) R 947 949 32671 0 -1 4194304 2569 0 0 0 103585 191 0 0 25 0 1 0 179929531 20271104 2532 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/949/statm: 4949 2532 195 640 0 4305 0 Current children cumulated CPU time (s) 1037.76 Current children cumulated vsize (KiB) 19796 Child status: 0 Real time (s): 1038.14 CPU time (s): 1037.8 CPU user time (s): 1035.89 CPU system time (s): 1.91571 CPU usage (%): 99.9676 Max. virtual memory (cumulated for all children) (KiB): 19816 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1035.89 system time used= 1.91571 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2571 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= 2 involuntary context switches= 1969 runsolver used 0.755885 second user time and 2.17267 second system time The end
Begin job on node49 at 2009-06-16 05:36:06 IDJOB=1878526 IDBENCH=1357 IDSOLVER=700 FILE ID=node49/1878526-1245123366 PBS_JOBID= 9363676 Free space on /tmp= 66028 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552288.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878526-1245123366/watcher-1878526-1245123366 -o /tmp/evaluation-result-1878526-1245123366/solver-1878526-1245123366 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878526-1245123366.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d36c8f083b4352ee7b6379767e1c28ad RANDOM SEED=1517267178 node49.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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: 986888 kB Buffers: 81728 kB Cached: 904860 kB SwapCached: 4580 kB Active: 224792 kB Inactive: 769820 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 986888 kB SwapTotal: 4192956 kB SwapFree: 4181384 kB Dirty: 4020 kB Writeback: 0 kB Mapped: 13792 kB Slab: 60288 kB Committed_AS: 158580 kB PageTables: 1388 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66024 MiB End job on node49 at 2009-06-16 05:53:24