Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.1 | UNSAT | 1155.14 | 1155.59 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900568186.opb |
MD5SUM | 75bd0b27f5ff05dc207afe3c3d5552d1 |
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 | 4.48432 |
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 | 721 |
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: Cardinality Constraint 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-1877363-1245118254.opb 0.00/0.00 c File size is 83377 bytes. 0.00/0.01 c Highest Coefficient sum: 721 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.013 s 0.00/0.01 c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5711 0.00/0.01 c Obj. Vars: 0 (0 % of total variables) 0.00/0.02 c Pre-processing Time: 0.024 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 5474 1880 0 0 0.02 0.00/0.02 c Switching off lower bounding mode. 1155.04/1155.58 c 102 231 2763 13828 5 5833 2069 177 2550 0.04 1155.04/1155.58 c 252 231 2983 24658 8 6290 2276 397 3315 0.08 1155.04/1155.58 c 481 231 3295 43140 13 6929 2504 709 3272 0.15 1155.04/1155.58 c 819 231 3772 76000 20 7922 2755 1186 2946 0.28 1155.04/1155.58 c 1329 231 4395 112499 25 9201 3031 1809 2674 0.50 1155.04/1155.58 c 2094 231 5324 159583 29 11076 3335 2738 2276 0.92 1155.04/1155.58 c 3240 231 4802 97250 20 9918 3669 2216 2037 1.59 1155.04/1155.58 c 4962 231 4713 77417 16 9732 4036 2127 2066 2.40 1155.04/1155.58 c 7546 231 5356 102132 19 11054 4440 2770 2080 3.63 1155.04/1155.58 c 11425 231 4906 85825 17 10138 4885 2320 2039 5.60 1155.04/1155.58 c 17248 231 6122 146962 24 12634 5374 3536 1982 8.70 1155.04/1155.58 c 25986 231 7001 152937 21 14353 5912 4415 1944 13.36 1155.04/1155.58 c 39096 231 5894 116597 19 12103 6504 3308 1907 20.49 1155.04/1155.58 c 58769 231 6759 147778 21 13874 7155 4173 1867 31.47 1155.04/1155.58 c 88279 231 9065 239413 26 18476 7871 6479 1730 51.02 1155.04/1155.58 c 132549 231 8623 221072 25 17575 8659 6037 1609 82.37 1155.04/1155.58 c 198960 231 7316 200657 27 15012 9525 4730 1490 133.47 1155.04/1155.58 c 298580 231 8207 204417 24 16813 10478 5621 1368 218.14 1155.04/1155.58 c 448015 231 11527 407268 35 23769 11526 8941 1234 362.88 1155.04/1155.58 c 672174 231 10353 274613 26 21026 12679 7767 1127 596.43 1155.04/1155.58 c 1008417 231 13365 388341 29 27089 13947 10779 1031 977.58 1155.04/1155.58 c Backtracks by Clause: 1148668 1155.04/1155.58 c Backtracks by PB constraint: 1215 1155.04/1155.58 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1155.04/1155.58 c 21 1149883 261191 1657060 13296 383275 10710 995 1155.13 1155.04/1155.58 s UNSATISFIABLE 1155.04/1155.58 c Total time: 1155.13 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-1877363-1245118254/watcher-1877363-1245118254 -o /tmp/evaluation-result-1877363-1245118254/solver-1877363-1245118254 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877363-1245118254.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: 1.00 1.00 1.00 3/64 2047 /proc/meminfo: memFree=947424/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=10792 CPUtime=0 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 249 0 0 0 0 0 0 0 18 0 1 0 179425930 11051008 233 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 2698 233 174 640 0 2033 0 [startup+0.093298 s] /proc/loadavg: 1.00 1.00 1.00 3/64 2047 /proc/meminfo: memFree=947424/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=11368 CPUtime=0.09 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 467 0 0 0 9 0 0 0 18 0 1 0 179425930 11640832 430 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 2842 430 196 640 0 2198 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11368 [startup+0.101299 s] /proc/loadavg: 1.00 1.00 1.00 3/64 2047 /proc/meminfo: memFree=947424/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=11368 CPUtime=0.09 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 477 0 0 0 9 0 0 0 18 0 1 0 179425930 11640832 440 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 2842 440 196 640 0 2198 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11368 [startup+0.301341 s] /proc/loadavg: 1.00 1.00 1.00 3/64 2047 /proc/meminfo: memFree=947424/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=12132 CPUtime=0.29 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 649 0 0 0 29 0 0 0 20 0 1 0 179425930 12423168 612 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 3033 612 196 640 0 2389 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12132 [startup+0.701425 s] /proc/loadavg: 1.00 1.00 1.00 3/64 2047 /proc/meminfo: memFree=947424/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=13012 CPUtime=0.69 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 865 0 0 0 69 0 0 0 23 0 1 0 179425930 13324288 828 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 3253 828 196 640 0 2609 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13012 [startup+1.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2048 /proc/meminfo: memFree=944408/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=13760 CPUtime=1.49 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 1052 0 0 0 148 1 0 0 25 0 1 0 179425930 14090240 1015 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 3440 1015 196 640 0 2796 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13760 [startup+3.10193 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2048 /proc/meminfo: memFree=943896/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=13764 CPUtime=3.09 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 1053 0 0 0 308 1 0 0 25 0 1 0 179425930 14094336 1016 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 3441 1016 196 640 0 2797 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13764 [startup+6.30161 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2048 /proc/meminfo: memFree=943768/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=13768 CPUtime=6.29 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 1054 0 0 0 627 2 0 0 25 0 1 0 179425930 14098432 1017 1992294400 134512640 137136520 4294956256 18446744073709551615 136518874 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 3442 1017 196 640 0 2798 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13768 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2048 /proc/meminfo: memFree=943072/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=14380 CPUtime=12.68 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 1215 0 0 0 1264 4 0 0 25 0 1 0 179425930 14725120 1178 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 3595 1178 197 640 0 2951 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14380 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2048 /proc/meminfo: memFree=942816/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=14756 CPUtime=25.48 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 1299 0 0 0 2541 7 0 0 25 0 1 0 179425930 15110144 1262 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 3689 1262 197 640 0 3045 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14756 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2048 /proc/meminfo: memFree=941920/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=15612 CPUtime=51.07 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 1528 0 0 0 5095 12 0 0 25 0 1 0 179425930 15986688 1491 1992294400 134512640 137136520 4294956256 18446744073709551615 134598583 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 3903 1491 197 640 0 3259 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 15612 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2048 /proc/meminfo: memFree=940832/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=16816 CPUtime=102.26 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 1817 0 0 0 10203 23 0 0 25 0 1 0 179425930 17219584 1780 1992294400 134512640 137136520 4294956256 18446744073709551615 134544001 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 4204 1780 197 640 0 3560 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 16816 [startup+162.302 s] /proc/loadavg: 1.05 1.01 1.00 2/65 2048 /proc/meminfo: memFree=940384/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=17188 CPUtime=162.23 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 1916 0 0 0 16190 33 0 0 25 0 1 0 179425930 17600512 1879 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 4297 1879 197 640 0 3653 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 17188 [startup+222.301 s] /proc/loadavg: 1.07 1.02 1.00 2/65 2048 /proc/meminfo: memFree=940320/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=17188 CPUtime=222.2 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 1917 0 0 0 22177 43 0 0 25 0 1 0 179425930 17600512 1880 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 4297 1880 197 640 0 3653 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 17188 [startup+282.301 s] /proc/loadavg: 1.07 1.03 1.00 2/65 2048 /proc/meminfo: memFree=939872/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=17676 CPUtime=282.18 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 2036 0 0 0 28162 56 0 0 25 0 1 0 179425930 18100224 1999 1992294400 134512640 137136520 4294956256 18446744073709551615 136518854 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 4419 1999 197 640 0 3775 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 17676 [startup+342.302 s] /proc/loadavg: 1.06 1.04 1.00 2/65 2048 /proc/meminfo: memFree=939360/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=18148 CPUtime=342.15 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 2170 0 0 0 34151 64 0 0 25 0 1 0 179425930 18583552 2133 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 4537 2133 197 640 0 3893 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 18148 [startup+402.301 s] /proc/loadavg: 1.06 1.04 1.00 2/65 2048 /proc/meminfo: memFree=938464/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=19008 CPUtime=402.13 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 2383 0 0 0 40139 74 0 0 25 0 1 0 179425930 19464192 2346 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 4752 2346 197 640 0 4108 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 19008 [startup+462.301 s] /proc/loadavg: 1.06 1.05 1.00 2/65 2048 /proc/meminfo: memFree=938528/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=19008 CPUtime=462.11 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 2383 0 0 0 46128 83 0 0 25 0 1 0 179425930 19464192 2346 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 4752 2346 197 640 0 4108 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 19008 [startup+522.302 s] /proc/loadavg: 1.02 1.04 1.00 2/65 2048 /proc/meminfo: memFree=938528/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=19008 CPUtime=522.09 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 2383 0 0 0 52116 93 0 0 25 0 1 0 179425930 19464192 2346 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 4752 2346 197 640 0 4108 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 19008 [startup+582.302 s] /proc/loadavg: 1.01 1.03 1.00 2/65 2048 /proc/meminfo: memFree=938464/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=19008 CPUtime=582.06 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 2383 0 0 0 58105 101 0 0 25 0 1 0 179425930 19464192 2346 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 4752 2346 197 640 0 4108 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 19008 [startup+642.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 2048 /proc/meminfo: memFree=938016/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=19500 CPUtime=642.04 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 2507 0 0 0 64092 112 0 0 25 0 1 0 179425930 19968000 2470 1992294400 134512640 137136520 4294956256 18446744073709551615 136518985 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 4875 2470 197 640 0 4231 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 19500 [startup+702.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 2048 /proc/meminfo: memFree=938016/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=19612 CPUtime=702.02 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 2520 0 0 0 70080 122 0 0 25 0 1 0 179425930 20082688 2483 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 4903 2483 197 640 0 4259 0 Current children cumulated CPU time (s) 702.02 Current children cumulated vsize (KiB) 19612 [startup+762.306 s] /proc/loadavg: 1.00 1.01 1.00 2/65 2048 /proc/meminfo: memFree=937952/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=19608 CPUtime=762 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 2520 0 0 0 76070 130 0 0 25 0 1 0 179425930 20078592 2483 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 4902 2483 197 640 0 4258 0 Current children cumulated CPU time (s) 762 Current children cumulated vsize (KiB) 19608 [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2048 /proc/meminfo: memFree=937952/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=19608 CPUtime=821.97 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 2520 0 0 0 82056 141 0 0 25 0 1 0 179425930 20078592 2483 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 4902 2483 197 640 0 4258 0 Current children cumulated CPU time (s) 821.97 Current children cumulated vsize (KiB) 19608 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2048 /proc/meminfo: memFree=938016/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=19600 CPUtime=881.95 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 2520 0 0 0 88043 152 0 0 25 0 1 0 179425930 20070400 2483 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 4900 2483 197 640 0 4256 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 19600 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2048 /proc/meminfo: memFree=937952/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=19600 CPUtime=941.92 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 2520 0 0 0 94031 161 0 0 25 0 1 0 179425930 20070400 2483 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 4900 2483 197 640 0 4256 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 19600 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2048 /proc/meminfo: memFree=936928/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=20580 CPUtime=1001.9 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 2776 0 0 0 100021 169 0 0 25 0 1 0 179425930 21073920 2739 1992294400 134512640 137136520 4294956256 18446744073709551615 134616484 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 5145 2739 197 640 0 4501 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 20580 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2048 /proc/meminfo: memFree=936928/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=20580 CPUtime=1061.87 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 2776 0 0 0 106012 175 0 0 25 0 1 0 179425930 21073920 2739 1992294400 134512640 137136520 4294956256 18446744073709551615 136502038 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 5145 2739 197 640 0 4501 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 20580 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2048 /proc/meminfo: memFree=936928/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=20580 CPUtime=1121.85 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 2776 0 0 0 111999 186 0 0 25 0 1 0 179425930 21073920 2739 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 5145 2739 197 640 0 4501 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 20580 Solver just ended. Dumping a history of the last processes samples [startup+1126.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2048 /proc/meminfo: memFree=936928/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=20580 CPUtime=1125.86 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 2776 0 0 0 112399 187 0 0 25 0 1 0 179425930 21073920 2739 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 5145 2739 197 640 0 4501 0 Current children cumulated CPU time (s) 1125.86 Current children cumulated vsize (KiB) 20580 [startup+1139.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2048 /proc/meminfo: memFree=936928/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=20580 CPUtime=1138.65 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 2776 0 0 0 113676 189 0 0 25 0 1 0 179425930 21073920 2739 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 5145 2739 197 640 0 4501 0 Current children cumulated CPU time (s) 1138.65 Current children cumulated vsize (KiB) 20580 [startup+1145.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2048 /proc/meminfo: memFree=936928/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=20580 CPUtime=1145.05 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 2776 0 0 0 114315 190 0 0 25 0 1 0 179425930 21073920 2739 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 5145 2739 197 640 0 4501 0 Current children cumulated CPU time (s) 1145.05 Current children cumulated vsize (KiB) 20580 [startup+1151.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2048 /proc/meminfo: memFree=936928/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=20580 CPUtime=1151.45 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 2776 0 0 0 114954 191 0 0 25 0 1 0 179425930 21073920 2739 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 5145 2739 197 640 0 4501 0 Current children cumulated CPU time (s) 1151.45 Current children cumulated vsize (KiB) 20580 [startup+1153.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2048 /proc/meminfo: memFree=936928/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=20580 CPUtime=1153.05 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 2776 0 0 0 115114 191 0 0 25 0 1 0 179425930 21073920 2739 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 5145 2739 197 640 0 4501 0 Current children cumulated CPU time (s) 1153.05 Current children cumulated vsize (KiB) 20580 [startup+1154.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2048 /proc/meminfo: memFree=936928/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=20580 CPUtime=1153.84 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 2776 0 0 0 115193 191 0 0 25 0 1 0 179425930 21073920 2739 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 5145 2739 197 640 0 4501 0 Current children cumulated CPU time (s) 1153.84 Current children cumulated vsize (KiB) 20580 [startup+1155.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2048 /proc/meminfo: memFree=936928/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=20580 CPUtime=1154.64 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 2776 0 0 0 115273 191 0 0 25 0 1 0 179425930 21073920 2739 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 5145 2739 197 640 0 4501 0 Current children cumulated CPU time (s) 1154.64 Current children cumulated vsize (KiB) 20580 [startup+1155.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2048 /proc/meminfo: memFree=936928/2055920 swapFree=4192956/4192956 [pid=2047] ppid=2045 vsize=20580 CPUtime=1155.04 /proc/2047/stat : 2047 (bsolo) R 2045 2047 1249 0 -1 4194304 2776 0 0 0 115313 191 0 0 25 0 1 0 179425930 21073920 2739 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2047/statm: 5145 2739 197 640 0 4501 0 Current children cumulated CPU time (s) 1155.04 Current children cumulated vsize (KiB) 20580 Child status: 0 Real time (s): 1155.59 CPU time (s): 1155.14 CPU user time (s): 1153.22 CPU system time (s): 1.91471 CPU usage (%): 99.961 Max. virtual memory (cumulated for all children) (KiB): 20580 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1153.22 system time used= 1.91471 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2777 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= 2495 runsolver used 0.855869 second user time and 2.35264 second system time The end
Begin job on node13 at 2009-06-16 04:10:54 IDJOB=1877363 IDBENCH=1298 IDSOLVER=699 FILE ID=node13/1877363-1245118254 PBS_JOBID= 9363675 Free space on /tmp= 66272 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900568186.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877363-1245118254/watcher-1877363-1245118254 -o /tmp/evaluation-result-1877363-1245118254/solver-1877363-1245118254 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877363-1245118254.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 75bd0b27f5ff05dc207afe3c3d5552d1 RANDOM SEED=349573972 node13.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.259 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.259 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: 947840 kB Buffers: 96288 kB Cached: 912968 kB SwapCached: 0 kB Active: 236176 kB Inactive: 787044 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 947840 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4020 kB Writeback: 0 kB Mapped: 23700 kB Slab: 70776 kB Committed_AS: 157184 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= 66268 MiB End job on node13 at 2009-06-16 04:30:10