Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.1 pb | ? (TO) | 1800.04 | 1800.53 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900669797.opb |
MD5SUM | a7f9415d82387c85347e0216376f3dfd |
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 | 13.9579 |
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 | 695 |
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: Generic Pseudo-Boolean 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-1879859-1245119581.opb 0.00/0.00 c File size is 83373 bytes. 0.00/0.01 c Highest Coefficient sum: 695 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.011 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.022 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. 1800.00/1800.50 c 102 231 2790 19915 7 9140 2069 204 1961 0.05 1800.00/1800.50 c 256 231 3094 46118 14 19295 2276 508 1815 0.14 1800.00/1800.50 c 481 231 3543 89692 25 33713 2504 957 1453 0.33 1800.00/1800.50 c 822 231 4217 154409 36 56938 2755 1631 1073 0.77 1800.00/1800.50 c 1330 231 5223 261678 50 94651 3031 2637 674 1.97 1800.00/1800.50 c 2093 231 5105 242531 47 98238 3335 2519 428 4.89 1800.00/1800.50 c 3240 231 5623 311227 55 129940 3669 3037 304 10.64 1800.00/1800.50 c 4963 231 5180 288087 55 123311 4036 2594 196 25.27 1800.00/1800.50 c 7547 231 6103 393393 64 156964 4440 3517 157 47.78 1800.00/1800.50 c 11427 231 6890 491490 71 188536 4885 4304 127 89.78 1800.00/1800.50 c 17249 231 5773 352936 61 158516 5374 3187 103 167.29 1800.00/1800.50 c 25986 231 6401 417573 65 188463 5912 3815 92 280.88 1800.00/1800.50 c 39096 231 8093 588135 72 240560 6504 5507 81 478.39 1800.00/1800.50 c 58767 231 7149 491793 68 208316 7155 4563 72 808.89 1800.00/1800.50 c 88280 231 7097 488225 68 207524 7871 4511 67 1315.69 1800.00/1800.50 c Caught signal: 15 1800.00/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.00/1800.50 c 15 116314 17417 147167 8155 576690 5569 64 1800.02 1800.00/1800.50 s UNKNOWN 1800.00/1800.50 c Total time: 1800.02 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-1879859-1245119581/watcher-1879859-1245119581 -o /tmp/evaluation-result-1879859-1245119581/solver-1879859-1245119581 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879859-1245119581.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/65 3943 /proc/meminfo: memFree=1083368/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=10792 CPUtime=0 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 252 0 0 0 0 0 0 0 18 0 1 0 179557523 11051008 236 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 2698 236 175 640 0 2033 0 [startup+0.0800049 s] /proc/loadavg: 1.00 1.00 1.00 3/65 3943 /proc/meminfo: memFree=1083368/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=11496 CPUtime=0.07 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 489 0 0 0 7 0 0 0 18 0 1 0 179557523 11771904 452 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 2874 452 196 640 0 2230 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11496 [startup+0.101006 s] /proc/loadavg: 1.00 1.00 1.00 3/65 3943 /proc/meminfo: memFree=1083368/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=11624 CPUtime=0.09 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 525 0 0 0 9 0 0 0 18 0 1 0 179557523 11902976 488 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 2906 488 196 640 0 2262 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11624 [startup+0.301029 s] /proc/loadavg: 1.00 1.00 1.00 3/65 3943 /proc/meminfo: memFree=1083368/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=12660 CPUtime=0.29 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 788 0 0 0 29 0 0 0 19 0 1 0 179557523 12963840 751 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 3165 751 197 640 0 2521 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12660 [startup+0.701073 s] /proc/loadavg: 1.00 1.00 1.00 3/65 3943 /proc/meminfo: memFree=1083368/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=14100 CPUtime=0.69 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 1135 0 0 0 69 0 0 0 22 0 1 0 179557523 14438400 1098 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 3525 1098 197 640 0 2881 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14100 [startup+1.50116 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3944 /proc/meminfo: memFree=1079000/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=15784 CPUtime=1.49 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 1562 0 0 0 148 1 0 0 25 0 1 0 179557523 16162816 1525 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 3946 1525 197 640 0 3302 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15784 [startup+3.10135 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3944 /proc/meminfo: memFree=1076888/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=17608 CPUtime=3.09 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 2036 0 0 0 308 1 0 0 25 0 1 0 179557523 18030592 1999 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 4402 1999 197 640 0 3758 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17608 [startup+6.30171 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3944 /proc/meminfo: memFree=1075800/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=18000 CPUtime=6.29 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 2124 0 0 0 628 1 0 0 25 0 1 0 179557523 18432000 2087 1992294400 134512640 137136520 4294956256 18446744073709551615 134544573 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 4500 2087 197 640 0 3856 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18000 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3944 /proc/meminfo: memFree=1074016/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=19840 CPUtime=12.68 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 2569 0 0 0 1267 1 0 0 25 0 1 0 179557523 20316160 2532 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 4960 2532 197 640 0 4316 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 19840 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3944 /proc/meminfo: memFree=1073184/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=20360 CPUtime=25.48 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 2715 0 0 0 2546 2 0 0 25 0 1 0 179557523 20848640 2678 1992294400 134512640 137136520 4294956256 18446744073709551615 136295685 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 5090 2678 197 640 0 4446 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20360 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3944 /proc/meminfo: memFree=1071456/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=22440 CPUtime=51.07 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 3223 0 0 0 5104 3 0 0 25 0 1 0 179557523 22978560 3186 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 5610 3186 197 640 0 4966 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 22440 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3944 /proc/meminfo: memFree=1069856/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=23728 CPUtime=102.26 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 3541 0 0 0 10222 4 0 0 25 0 1 0 179557523 24297472 3504 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 5932 3504 197 640 0 5288 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 23728 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3944 /proc/meminfo: memFree=1069664/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=23856 CPUtime=162.25 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 3589 0 0 0 16219 6 0 0 25 0 1 0 179557523 24428544 3552 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 5964 3552 197 640 0 5320 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 23856 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3944 /proc/meminfo: memFree=1068384/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=25124 CPUtime=222.23 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 3891 0 0 0 22215 8 0 0 25 0 1 0 179557523 25726976 3854 1992294400 134512640 137136520 4294956256 18446744073709551615 134544034 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 6281 3854 197 640 0 5637 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 25124 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3944 /proc/meminfo: memFree=1068384/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=25124 CPUtime=282.21 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 3891 0 0 0 28212 9 0 0 25 0 1 0 179557523 25726976 3854 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 6281 3854 197 640 0 5637 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 25124 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3944 /proc/meminfo: memFree=1067744/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=25652 CPUtime=342.2 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 4046 0 0 0 34209 11 0 0 25 0 1 0 179557523 26267648 4009 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 6413 4009 197 640 0 5769 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 25652 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3944 /proc/meminfo: memFree=1067488/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=26036 CPUtime=402.18 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 4121 0 0 0 40207 11 0 0 25 0 1 0 179557523 26660864 4084 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 6509 4084 197 640 0 5865 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 26036 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3944 /proc/meminfo: memFree=1067360/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=26036 CPUtime=462.17 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 4137 0 0 0 46204 13 0 0 25 0 1 0 179557523 26660864 4100 1992294400 134512640 137136520 4294956256 18446744073709551615 134540852 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 6509 4100 197 640 0 5865 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 26036 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3944 /proc/meminfo: memFree=1065760/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=27608 CPUtime=522.15 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 4534 0 0 0 52202 13 0 0 25 0 1 0 179557523 28270592 4497 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 6902 4497 197 640 0 6258 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 27608 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3944 /proc/meminfo: memFree=1065760/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=27608 CPUtime=582.13 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 4534 0 0 0 58199 14 0 0 25 0 1 0 179557523 28270592 4497 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 6902 4497 197 640 0 6258 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 27608 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3944 /proc/meminfo: memFree=1065760/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=27612 CPUtime=642.12 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 4534 0 0 0 64197 15 0 0 25 0 1 0 179557523 28274688 4497 1992294400 134512640 137136520 4294956256 18446744073709551615 134544135 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 6903 4497 197 640 0 6259 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 27612 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3944 /proc/meminfo: memFree=1064864/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=28520 CPUtime=882.05 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 4759 0 0 0 88185 20 0 0 25 0 1 0 179557523 29204480 4722 1992294400 134512640 137136520 4294956256 18446744073709551615 134544419 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 7130 4722 197 640 0 6486 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 28520 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3944 /proc/meminfo: memFree=1064672/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=28784 CPUtime=942.04 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 4817 0 0 0 94183 21 0 0 25 0 1 0 179557523 29474816 4780 1992294400 134512640 137136520 4294956256 18446744073709551615 136293438 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 7196 4780 197 640 0 6552 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 28784 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3944 /proc/meminfo: memFree=1064672/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=28784 CPUtime=1002.02 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 4817 0 0 0 100180 22 0 0 25 0 1 0 179557523 29474816 4780 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 7196 4780 197 640 0 6552 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 28784 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3944 /proc/meminfo: memFree=1064736/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=28784 CPUtime=1062.01 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 4817 0 0 0 106178 23 0 0 25 0 1 0 179557523 29474816 4780 1992294400 134512640 137136520 4294956256 18446744073709551615 134540852 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 7196 4780 197 640 0 6552 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 28784 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3944 /proc/meminfo: memFree=1064672/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=28784 CPUtime=1121.99 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 4825 0 0 0 112175 24 0 0 25 0 1 0 179557523 29474816 4788 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 7196 4788 197 640 0 6552 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 28784 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3946 /proc/meminfo: memFree=1064480/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=28784 CPUtime=1181.97 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 4825 0 0 0 118173 24 0 0 25 0 1 0 179557523 29474816 4788 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 7196 4788 197 640 0 6552 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 28784 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3946 /proc/meminfo: memFree=1064480/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=28784 CPUtime=1241.96 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 4825 0 0 0 124170 26 0 0 25 0 1 0 179557523 29474816 4788 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 7196 4788 197 640 0 6552 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 28784 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3946 /proc/meminfo: memFree=1064480/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=28784 CPUtime=1301.95 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 4825 0 0 0 130168 27 0 0 25 0 1 0 179557523 29474816 4788 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 7196 4788 197 640 0 6552 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 28784 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3946 /proc/meminfo: memFree=1063456/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=29956 CPUtime=1361.93 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 5116 0 0 0 136164 29 0 0 25 0 1 0 179557523 30674944 5079 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 7489 5079 197 640 0 6845 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 29956 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3946 /proc/meminfo: memFree=1063456/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=29956 CPUtime=1421.92 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 5124 0 0 0 142161 31 0 0 25 0 1 0 179557523 30674944 5087 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 7489 5087 197 640 0 6845 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 29956 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3946 /proc/meminfo: memFree=1063328/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=30196 CPUtime=1481.9 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 5161 0 0 0 148158 32 0 0 25 0 1 0 179557523 30920704 5124 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 7549 5124 197 640 0 6905 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 30196 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3946 /proc/meminfo: memFree=1063200/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=30196 CPUtime=1541.88 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 5182 0 0 0 154155 33 0 0 25 0 1 0 179557523 30920704 5145 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 7549 5145 197 640 0 6905 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 30196 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3946 /proc/meminfo: memFree=1063200/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=30196 CPUtime=1601.87 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 5182 0 0 0 160153 34 0 0 25 0 1 0 179557523 30920704 5145 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 7549 5145 197 640 0 6905 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 30196 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3946 /proc/meminfo: memFree=1063200/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=30324 CPUtime=1661.85 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 5196 0 0 0 166150 35 0 0 25 0 1 0 179557523 31051776 5159 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 7581 5159 197 640 0 6937 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 30324 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3952 /proc/meminfo: memFree=1063136/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=30324 CPUtime=1721.82 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 5196 0 0 0 172145 37 0 0 25 0 1 0 179557523 31051776 5159 1992294400 134512640 137136520 4294956256 18446744073709551615 134540852 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 7581 5159 197 640 0 6937 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 30324 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3952 /proc/meminfo: memFree=1063136/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=30324 CPUtime=1781.81 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 5196 0 0 0 178143 38 0 0 25 0 1 0 179557523 31051776 5159 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 7581 5159 197 640 0 6937 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 30324 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3952 /proc/meminfo: memFree=1063136/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=30324 CPUtime=1800 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 5196 0 0 0 179962 38 0 0 25 0 1 0 179557523 31051776 5159 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 7581 5159 197 640 0 6937 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 30324 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/66 3952 /proc/meminfo: memFree=1063136/2055920 swapFree=4191900/4192956 [pid=3943] ppid=3941 vsize=30324 CPUtime=1800 /proc/3943/stat : 3943 (bsolo) R 3941 3943 1864 0 -1 4194304 5196 0 0 0 179962 38 0 0 25 0 1 0 179557523 31051776 5159 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3943/statm: 7581 5159 197 640 0 6937 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 30324 Child status: 15 Real time (s): 1800.53 CPU time (s): 1800.04 CPU user time (s): 1799.65 CPU system time (s): 0.38994 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (KiB): 30324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.65 system time used= 0.38994 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5197 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= 1617 runsolver used 1.9767 second user time and 4.03939 second system time The end
Begin job on node32 at 2009-06-16 04:33:01 IDJOB=1879859 IDBENCH=1312 IDSOLVER=701 FILE ID=node32/1879859-1245119581 PBS_JOBID= 9363635 Free space on /tmp= 66344 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900669797.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879859-1245119581/watcher-1879859-1245119581 -o /tmp/evaluation-result-1879859-1245119581/solver-1879859-1245119581 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879859-1245119581.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a7f9415d82387c85347e0216376f3dfd RANDOM SEED=726322258 node32.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.234 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.234 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: 1083848 kB Buffers: 79620 kB Cached: 794940 kB SwapCached: 260 kB Active: 113232 kB Inactive: 775712 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1083848 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 4028 kB Writeback: 0 kB Mapped: 23776 kB Slab: 68880 kB Committed_AS: 148068 kB PageTables: 1492 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= 66340 MiB End job on node32 at 2009-06-16 05:03:03