Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.1 | UNSAT | 1724.92 | 1725.39 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900584219.opb |
MD5SUM | 526ab28e5245080e542291515286f3e0 |
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 | 12.0202 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 689 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c 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-1877409-1245122568.opb 0.00/0.00 c File size is 83375 bytes. 0.00/0.01 c Highest Coefficient sum: 689 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: 5708 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 5472 1880 0 0 0.02 0.00/0.02 c Switching off lower bounding mode. 1724.81/1725.39 c 101 231 2758 13333 4 5822 2069 172 2589 0.04 1724.81/1725.39 c 253 231 2952 23753 8 6212 2276 366 2941 0.09 1724.81/1725.39 c 479 231 3224 37956 11 6757 2504 638 3050 0.16 1724.81/1725.39 c 819 231 3648 52080 14 7604 2755 1062 3174 0.26 1724.81/1725.39 c 1329 231 4220 73668 17 8749 3031 1634 3034 0.44 1724.81/1725.39 c 2093 231 5072 109796 21 10473 3335 2486 2757 0.76 1724.81/1725.39 c 3239 231 4549 82284 18 9454 3669 1963 2439 1.33 1724.81/1725.39 c 4961 231 4444 65095 14 9195 4036 1858 2385 2.08 1724.81/1725.39 c 7546 231 5070 94217 18 10457 4440 2484 2353 3.21 1724.81/1725.39 c 11429 231 6893 179863 26 14163 4885 4307 2189 5.22 1724.81/1725.39 c 17251 231 5346 119137 22 11086 5374 2760 2057 8.38 1724.81/1725.39 c 25989 231 6285 152939 24 12926 5912 3699 1934 13.44 1724.81/1725.39 c 39101 231 8087 199667 24 16572 6504 5501 1916 20.40 1724.81/1725.39 c 58773 231 8662 222147 25 17656 7155 6076 1865 31.51 1724.81/1725.39 c 88285 231 6960 209248 30 14327 7871 4374 1733 50.93 1724.81/1725.39 c 132555 231 9430 346062 36 19378 8659 6844 1553 85.31 1724.81/1725.39 c 198966 231 9618 264666 27 19587 9525 7032 1405 141.57 1724.81/1725.39 c 298586 231 9493 245032 25 19305 10478 6907 1352 220.71 1724.81/1725.39 c 448023 231 10950 312445 28 22252 11526 8364 1256 356.61 1724.81/1725.39 c 672181 231 9579 323534 33 19659 12679 6993 1147 585.54 1724.81/1725.39 c 1008426 231 12291 393262 31 25142 13947 9705 1042 967.12 1724.81/1725.39 c 1512799 231 9848 304923 30 20169 15342 7262 928 1630.16 1724.81/1725.39 c Backtracks by Clause: 1571918 1724.81/1725.39 c Backtracks by PB constraint: 1636 1724.81/1725.39 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1724.81/1725.39 c 22 1573554 329749 2189790 14029 534648 11443 912 1724.92 1724.81/1725.39 s UNSATISFIABLE 1724.81/1725.39 c Total time: 1724.92 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-1877409-1245122568/watcher-1877409-1245122568 -o /tmp/evaluation-result-1877409-1245122568/solver-1877409-1245122568 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877409-1245122568.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 1054 /proc/meminfo: memFree=1285536/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=10792 CPUtime=0 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 251 0 0 0 0 0 0 0 18 0 1 0 179856951 11051008 235 1992294400 134512640 137136520 4294956256 18446744073709551615 134517302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 2698 235 175 640 0 2033 0 [startup+0.0994941 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1054 /proc/meminfo: memFree=1285536/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=11360 CPUtime=0.09 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 452 0 0 0 9 0 0 0 18 0 1 0 179856951 11632640 415 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 2840 415 196 640 0 2196 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11360 [startup+0.101494 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1054 /proc/meminfo: memFree=1285536/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=11364 CPUtime=0.09 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 454 0 0 0 9 0 0 0 18 0 1 0 179856951 11636736 417 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 2841 417 196 640 0 2197 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11364 [startup+0.301512 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1054 /proc/meminfo: memFree=1285536/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=11860 CPUtime=0.29 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 576 0 0 0 29 0 0 0 19 0 1 0 179856951 12144640 539 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 2965 539 196 640 0 2321 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11860 [startup+0.701552 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1054 /proc/meminfo: memFree=1285536/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=12600 CPUtime=0.69 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 756 0 0 0 69 0 0 0 22 0 1 0 179856951 12902400 719 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 3150 719 196 640 0 2506 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12600 [startup+1.50263 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1055 /proc/meminfo: memFree=1282968/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=13228 CPUtime=1.5 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 923 0 0 0 149 1 0 0 25 0 1 0 179856951 13545472 886 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 3307 886 196 640 0 2663 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 13228 [startup+3.10178 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1055 /proc/meminfo: memFree=1282584/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=13356 CPUtime=3.09 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 948 0 0 0 308 1 0 0 25 0 1 0 179856951 13676544 911 1992294400 134512640 137136520 4294956256 18446744073709551615 134598888 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 3339 911 196 640 0 2695 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13356 [startup+6.30109 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1055 /proc/meminfo: memFree=1281696/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=14216 CPUtime=6.29 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 1187 0 0 0 627 2 0 0 25 0 1 0 179856951 14557184 1150 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 3554 1150 196 640 0 2910 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14216 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1055 /proc/meminfo: memFree=1280864/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=14704 CPUtime=12.68 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 1311 0 0 0 1264 4 0 0 25 0 1 0 179856951 15056896 1274 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 3676 1274 196 640 0 3032 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14704 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1055 /proc/meminfo: memFree=1280864/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=14824 CPUtime=25.48 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 1317 0 0 0 2541 7 0 0 25 0 1 0 179856951 15179776 1280 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 3706 1280 196 640 0 3062 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14824 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1055 /proc/meminfo: memFree=1279520/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=16148 CPUtime=51.07 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 1651 0 0 0 5095 12 0 0 25 0 1 0 179856951 16535552 1614 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 4037 1614 196 640 0 3393 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 16148 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1055 /proc/meminfo: memFree=1277920/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=17732 CPUtime=102.26 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 2048 0 0 0 10205 21 0 0 25 0 1 0 179856951 18157568 2011 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 4433 2011 197 640 0 3789 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 17732 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1055 /proc/meminfo: memFree=1277920/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=17736 CPUtime=162.25 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 2048 0 0 0 16191 34 0 0 25 0 1 0 179856951 18161664 2011 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 4434 2011 197 640 0 3790 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 17736 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1055 /proc/meminfo: memFree=1277920/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=17736 CPUtime=222.23 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 2048 0 0 0 22178 45 0 0 25 0 1 0 179856951 18161664 2011 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 4434 2011 197 640 0 3790 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 17736 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 3/65 1055 /proc/meminfo: memFree=1277920/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=17736 CPUtime=282.22 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 2049 0 0 0 28165 57 0 0 25 0 1 0 179856951 18161664 2012 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 4434 2012 197 640 0 3790 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 17736 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1055 /proc/meminfo: memFree=1277920/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=17736 CPUtime=342.2 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 2049 0 0 0 34153 67 0 0 25 0 1 0 179856951 18161664 2012 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 4434 2012 197 640 0 3790 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 17736 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1055 /proc/meminfo: memFree=1277344/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=18256 CPUtime=402.18 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 2180 0 0 0 40141 77 0 0 25 0 1 0 179856951 18694144 2143 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 4564 2143 197 640 0 3920 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 18256 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1055 /proc/meminfo: memFree=1277152/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=18488 CPUtime=462.16 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 2237 0 0 0 46129 87 0 0 25 0 1 0 179856951 18931712 2200 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 4622 2200 197 640 0 3978 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 18488 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1055 /proc/meminfo: memFree=1276128/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=19440 CPUtime=522.14 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 2493 0 0 0 52119 95 0 0 25 0 1 0 179856951 19906560 2456 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 4860 2456 197 640 0 4216 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 19440 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1055 /proc/meminfo: memFree=1276128/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=19440 CPUtime=582.13 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 2493 0 0 0 58108 105 0 0 25 0 1 0 179856951 19906560 2456 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 4860 2456 197 640 0 4216 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 19440 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1055 /proc/meminfo: memFree=1275616/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=19940 CPUtime=642.12 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 2619 0 0 0 64098 114 0 0 25 0 1 0 179856951 20418560 2582 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 4985 2582 197 640 0 4341 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 19940 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1275616/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=19940 CPUtime=882.04 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 2619 0 0 0 88056 148 0 0 25 0 1 0 179856951 20418560 2582 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 4985 2582 197 640 0 4341 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 19940 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1055 /proc/meminfo: memFree=1275616/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=19920 CPUtime=942.03 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 2619 0 0 0 94047 156 0 0 25 0 1 0 179856951 20398080 2579 1992294400 134512640 137136520 4294956256 18446744073709551615 134543846 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 4980 2579 197 640 0 4336 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 19920 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1055 /proc/meminfo: memFree=1274720/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=20872 CPUtime=1002.01 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 2839 0 0 0 100037 164 0 0 25 0 1 0 179856951 21372928 2799 1992294400 134512640 137136520 4294956256 18446744073709551615 134606739 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 5218 2799 197 640 0 4574 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 20872 [startup+1062.3 s] /proc/loadavg: 1.04 1.01 1.00 2/65 1055 /proc/meminfo: memFree=1274720/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=20864 CPUtime=1062 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 2839 0 0 0 106026 174 0 0 25 0 1 0 179856951 21364736 2799 1992294400 134512640 137136520 4294956256 18446744073709551615 134544275 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 5216 2799 197 640 0 4572 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 20864 [startup+1122.3 s] /proc/loadavg: 1.06 1.02 1.00 2/65 1055 /proc/meminfo: memFree=1274784/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=20860 CPUtime=1121.99 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 2839 0 0 0 112016 183 0 0 25 0 1 0 179856951 21360640 2799 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 5215 2799 197 640 0 4571 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 20860 [startup+1182.3 s] /proc/loadavg: 1.06 1.03 1.00 2/65 1055 /proc/meminfo: memFree=1274592/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=20980 CPUtime=1181.96 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 2883 0 0 0 118006 190 0 0 25 0 1 0 179856951 21483520 2843 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 5245 2843 197 640 0 4601 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 20980 [startup+1242.3 s] /proc/loadavg: 1.02 1.02 1.00 2/65 1055 /proc/meminfo: memFree=1274528/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=20980 CPUtime=1241.95 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 2883 0 0 0 123996 199 0 0 25 0 1 0 179856951 21483520 2843 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 5245 2843 197 640 0 4601 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 20980 [startup+1302.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 1055 /proc/meminfo: memFree=1274144/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=21348 CPUtime=1301.94 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 2967 0 0 0 129985 209 0 0 25 0 1 0 179856951 21860352 2927 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 5337 2927 197 640 0 4693 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 21348 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 1055 /proc/meminfo: memFree=1274208/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=21348 CPUtime=1361.92 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 2967 0 0 0 135976 216 0 0 25 0 1 0 179856951 21860352 2927 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 5337 2927 197 640 0 4693 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 21348 [startup+1422.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 1055 /proc/meminfo: memFree=1274208/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=21348 CPUtime=1421.91 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 2967 0 0 0 141966 225 0 0 25 0 1 0 179856951 21860352 2927 1992294400 134512640 137136520 4294956256 18446744073709551615 134543986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 5337 2927 197 640 0 4693 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 21348 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1055 /proc/meminfo: memFree=1274208/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=21348 CPUtime=1481.88 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 2967 0 0 0 147956 232 0 0 25 0 1 0 179856951 21860352 2927 1992294400 134512640 137136520 4294956256 18446744073709551615 134598556 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 5337 2927 197 640 0 4693 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 21348 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1055 /proc/meminfo: memFree=1274208/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=21348 CPUtime=1541.87 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 2967 0 0 0 153945 242 0 0 25 0 1 0 179856951 21860352 2927 1992294400 134512640 137136520 4294956256 18446744073709551615 136502553 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 5337 2927 197 640 0 4693 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 21348 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1055 /proc/meminfo: memFree=1274208/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=21348 CPUtime=1601.85 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 2967 0 0 0 159935 250 0 0 25 0 1 0 179856951 21860352 2927 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 5337 2927 197 640 0 4693 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 21348 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1055 /proc/meminfo: memFree=1274208/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=21352 CPUtime=1661.84 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 2968 0 0 0 165925 259 0 0 25 0 1 0 179856951 21864448 2928 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 5338 2928 197 640 0 4694 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 21352 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1055 /proc/meminfo: memFree=1273568/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=21908 CPUtime=1721.82 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 3126 0 0 0 171916 266 0 0 25 0 1 0 179856951 22433792 3073 1992294400 134512640 137136520 4294956256 18446744073709551615 136504213 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 5477 3073 197 640 0 4833 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 21908 Solver just ended. Dumping a history of the last processes samples [startup+1723.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1055 /proc/meminfo: memFree=1273568/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=21908 CPUtime=1722.62 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 3126 0 0 0 171996 266 0 0 25 0 1 0 179856951 22433792 3073 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 5477 3073 197 640 0 4833 0 Current children cumulated CPU time (s) 1722.62 Current children cumulated vsize (KiB) 21908 [startup+1724.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1055 /proc/meminfo: memFree=1273568/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=21908 CPUtime=1724.22 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 3126 0 0 0 172156 266 0 0 25 0 1 0 179856951 22433792 3073 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 5477 3073 197 640 0 4833 0 Current children cumulated CPU time (s) 1724.22 Current children cumulated vsize (KiB) 21908 [startup+1725.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1055 /proc/meminfo: memFree=1273568/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=21908 CPUtime=1724.61 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 3126 0 0 0 172195 266 0 0 25 0 1 0 179856951 22433792 3073 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 5477 3073 197 640 0 4833 0 Current children cumulated CPU time (s) 1724.61 Current children cumulated vsize (KiB) 21908 [startup+1725.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1055 /proc/meminfo: memFree=1273568/2055920 swapFree=4182564/4192956 [pid=1054] ppid=1052 vsize=21908 CPUtime=1724.81 /proc/1054/stat : 1054 (bsolo) R 1052 1054 32622 0 -1 4194304 3126 0 0 0 172215 266 0 0 25 0 1 0 179856951 22433792 3073 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1054/statm: 5477 3073 197 640 0 4833 0 Current children cumulated CPU time (s) 1724.81 Current children cumulated vsize (KiB) 21908 Child status: 0 Real time (s): 1725.39 CPU time (s): 1724.92 CPU user time (s): 1722.25 CPU system time (s): 2.67159 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (KiB): 21908 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1722.25 system time used= 2.67159 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3127 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= 2451 runsolver used 1.16282 second user time and 3.69344 second system time The end
Begin job on node18 at 2009-06-16 05:22:48 IDJOB=1877409 IDBENCH=1349 IDSOLVER=699 FILE ID=node18/1877409-1245122568 PBS_JOBID= 9363673 Free space on /tmp= 66172 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900584219.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877409-1245122568/watcher-1877409-1245122568 -o /tmp/evaluation-result-1877409-1245122568/solver-1877409-1245122568 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877409-1245122568.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 526ab28e5245080e542291515286f3e0 RANDOM SEED=233681960 node18.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.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: 1285952 kB Buffers: 77648 kB Cached: 610400 kB SwapCached: 4192 kB Active: 59748 kB Inactive: 635624 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1285952 kB SwapTotal: 4192956 kB SwapFree: 4182564 kB Dirty: 4032 kB Writeback: 0 kB Mapped: 13052 kB Slab: 60592 kB Committed_AS: 135856 kB PageTables: 1376 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= 66168 MiB End job on node18 at 2009-06-16 05:51:33