Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.1 cl | ? | 1798 | 1798.63 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900577940.opb |
MD5SUM | 07abcf74f2aa8e328290ac3dd6aefa51 |
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 | 62.7885 |
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 | 661 |
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-1878428-1245117013.opb 0.00/0.00 c File size is 83385 bytes. 0.00/0.01 c Highest Coefficient sum: 661 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: 5711 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 5474 1880 0 0 0.02 0.00/0.02 c Switching off lower bounding mode. 1797.97/1798.62 c 100 231 2686 11724 4 5676 2069 100 3125 0.03 1797.97/1798.62 c 251 231 2837 19333 6 5978 2276 251 4735 0.05 1797.97/1798.62 c 477 231 3063 30646 10 6429 2504 477 5482 0.09 1797.97/1798.62 c 817 231 3403 45424 13 7110 2755 817 5203 0.16 1797.97/1798.62 c 1327 231 3913 68821 17 8129 3031 1327 4860 0.27 1797.97/1798.62 c 2090 231 4676 97948 20 9655 3335 2090 4138 0.51 1797.97/1798.62 c 3236 231 5822 146607 25 11946 3669 3236 3367 0.96 1797.97/1798.62 c 4958 231 5590 118833 21 11483 4036 3004 3261 1.52 1797.97/1798.62 c 7542 231 6057 139301 22 12418 4440 3471 3170 2.38 1797.97/1798.62 c 11421 231 5268 121656 23 10838 4885 2682 2990 3.82 1797.97/1798.62 c 17245 231 6003 145442 24 12311 5374 3417 2721 6.34 1797.97/1798.62 c 25982 231 6374 137512 21 13051 5912 3788 2696 9.63 1797.97/1798.62 c 39094 231 7220 190451 26 14744 6504 4634 2601 15.03 1797.97/1798.62 c 58766 231 6700 150929 22 13703 7155 4114 2480 23.69 1797.97/1798.62 c 88278 231 6713 171684 25 13730 7871 4127 2285 38.62 1797.97/1798.62 c 132550 231 6523 159738 24 13350 8659 3937 2100 63.11 1797.97/1798.62 c 198960 231 10807 336394 31 21918 9525 8221 1898 104.80 1797.97/1798.62 c 298581 231 8249 225170 27 16800 10478 5663 1756 169.99 1797.97/1798.62 c 448018 231 8100 221852 27 16505 11526 5514 1628 275.07 1797.97/1798.62 c 672180 231 9045 249421 27 18394 12679 6459 1447 464.36 1797.97/1798.62 c 1008423 231 9816 270056 27 19936 13947 7230 1294 779.05 1797.97/1798.62 c 1512796 231 11245 356955 31 22794 15342 8659 1156 1308.11 1797.97/1798.62 c Resources Exceeded 1797.97/1798.62 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.97/1798.62 c 22 1929825 383556 2611071 15727 529934 13141 1073 1798.00 1797.97/1798.62 s UNKNOWN 1797.97/1798.62 c Total time: 1798 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-1878428-1245117013/watcher-1878428-1245117013 -o /tmp/evaluation-result-1878428-1245117013/solver-1878428-1245117013 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878428-1245117013.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.97 1.00 3/64 31678 /proc/meminfo: memFree=1499304/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=10796 CPUtime=0 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 261 0 0 0 0 0 0 0 18 0 1 0 179301666 11055104 245 1992294400 134512640 137136520 4294956256 18446744073709551615 134517643 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 2699 246 177 640 0 2034 0 [startup+0.0360141 s] /proc/loadavg: 0.99 0.97 1.00 3/64 31678 /proc/meminfo: memFree=1499304/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=11244 CPUtime=0.02 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 419 0 0 0 2 0 0 0 18 0 1 0 179301666 11513856 382 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 2811 382 195 640 0 2167 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11244 [startup+0.101025 s] /proc/loadavg: 0.99 0.97 1.00 3/64 31678 /proc/meminfo: memFree=1499304/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=11496 CPUtime=0.09 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 480 0 0 0 9 0 0 0 18 0 1 0 179301666 11771904 443 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 2874 443 195 640 0 2230 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11496 [startup+0.301056 s] /proc/loadavg: 0.99 0.97 1.00 3/64 31678 /proc/meminfo: memFree=1499304/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=12012 CPUtime=0.29 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 630 0 0 0 29 0 0 0 19 0 1 0 179301666 12300288 593 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 3003 593 195 640 0 2359 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12012 [startup+0.701123 s] /proc/loadavg: 0.99 0.97 1.00 3/64 31678 /proc/meminfo: memFree=1499304/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=12776 CPUtime=0.69 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 815 0 0 0 68 1 0 0 22 0 1 0 179301666 13082624 778 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 3194 778 195 640 0 2550 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12776 [startup+1.50126 s] /proc/loadavg: 0.99 0.97 1.00 2/65 31679 /proc/meminfo: memFree=1496544/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=13540 CPUtime=1.49 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 1005 0 0 0 148 1 0 0 25 0 1 0 179301666 13864960 968 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 3385 968 195 640 0 2741 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13540 [startup+3.10252 s] /proc/loadavg: 0.99 0.97 1.00 2/65 31679 /proc/meminfo: memFree=1496096/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=13928 CPUtime=3.09 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 1089 0 0 0 307 2 0 0 25 0 1 0 179301666 14262272 1052 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 3482 1052 195 640 0 2838 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13928 [startup+6.30105 s] /proc/loadavg: 0.99 0.97 1.00 2/65 31679 /proc/meminfo: memFree=1494880/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=14568 CPUtime=6.28 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 1269 0 0 0 626 2 0 0 25 0 1 0 179301666 14917632 1232 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 3642 1232 195 640 0 2998 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 14568 [startup+12.7011 s] /proc/loadavg: 0.99 0.97 1.00 2/65 31679 /proc/meminfo: memFree=1494624/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=14824 CPUtime=12.69 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 1329 0 0 0 1264 5 0 0 25 0 1 0 179301666 15179776 1292 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 3706 1292 195 640 0 3062 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14824 [startup+25.5012 s] /proc/loadavg: 0.99 0.97 1.00 2/65 31679 /proc/meminfo: memFree=1494176/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=15336 CPUtime=25.48 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 1443 0 0 0 2540 8 0 0 25 0 1 0 179301666 15704064 1406 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 3834 1406 195 640 0 3190 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15336 [startup+51.1015 s] /proc/loadavg: 0.99 0.97 1.00 2/65 31679 /proc/meminfo: memFree=1493216/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=16204 CPUtime=51.07 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 1661 0 0 0 5092 15 0 0 25 0 1 0 179301666 16592896 1624 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 4051 1624 195 640 0 3407 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 16204 [startup+102.306 s] /proc/loadavg: 0.99 0.97 1.00 2/65 31681 /proc/meminfo: memFree=1492448/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=16840 CPUtime=102.25 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 1837 0 0 0 10199 26 0 0 25 0 1 0 179301666 17244160 1800 1992294400 134512640 137136520 4294956256 18446744073709551615 134607060 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 4210 1800 195 640 0 3566 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 16840 [startup+162.302 s] /proc/loadavg: 0.99 0.97 1.00 2/65 31681 /proc/meminfo: memFree=1492192/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=17208 CPUtime=162.23 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 1914 0 0 0 16183 40 0 0 25 0 1 0 179301666 17620992 1877 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 4302 1877 195 640 0 3658 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 17208 [startup+222.302 s] /proc/loadavg: 0.99 0.97 1.00 2/65 31681 /proc/meminfo: memFree=1491872/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=17580 CPUtime=222.22 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 2009 0 0 0 22170 52 0 0 25 0 1 0 179301666 18001920 1972 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 4395 1972 195 640 0 3751 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 17580 [startup+282.302 s] /proc/loadavg: 0.99 0.97 1.00 2/65 31681 /proc/meminfo: memFree=1490912/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=18452 CPUtime=282.19 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 2226 0 0 0 28154 65 0 0 25 0 1 0 179301666 18894848 2189 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 4613 2189 195 640 0 3969 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 18452 [startup+342.302 s] /proc/loadavg: 0.99 0.97 1.00 2/65 31681 /proc/meminfo: memFree=1490912/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=18452 CPUtime=342.17 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 2241 0 0 0 34140 77 0 0 25 0 1 0 179301666 18894848 2204 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 4613 2204 195 640 0 3969 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 18452 [startup+402.302 s] /proc/loadavg: 0.99 0.97 1.00 2/65 31681 /proc/meminfo: memFree=1490784/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=18556 CPUtime=402.16 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 2254 0 0 0 40128 88 0 0 25 0 1 0 179301666 19001344 2217 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 4639 2217 195 640 0 3995 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 18556 [startup+462.302 s] /proc/loadavg: 0.99 0.97 1.00 2/65 31681 /proc/meminfo: memFree=1490720/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=18556 CPUtime=462.13 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 2254 0 0 0 46115 98 0 0 25 0 1 0 179301666 19001344 2217 1992294400 134512640 137136520 4294956256 18446744073709551615 136509131 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 4639 2217 195 640 0 3995 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 18556 [startup+522.302 s] /proc/loadavg: 0.99 0.97 1.00 2/65 31681 /proc/meminfo: memFree=1489888/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=19332 CPUtime=522.12 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 2454 0 0 0 52103 109 0 0 25 0 1 0 179301666 19795968 2417 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 4833 2417 195 640 0 4189 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 19332 [startup+582.303 s] /proc/loadavg: 0.99 0.97 1.00 2/65 31681 /proc/meminfo: memFree=1489888/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=19332 CPUtime=582.09 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 2454 0 0 0 58092 117 0 0 25 0 1 0 179301666 19795968 2417 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 4833 2417 195 640 0 4189 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 19332 [startup+642.302 s] /proc/loadavg: 0.99 0.97 1.00 2/65 31681 /proc/meminfo: memFree=1489888/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=19332 CPUtime=642.08 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 2454 0 0 0 64079 129 0 0 25 0 1 0 179301666 19795968 2417 1992294400 134512640 137136520 4294956256 18446744073709551615 134544541 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 4833 2417 195 640 0 4189 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 19332 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1467168/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=19888 CPUtime=1121.88 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 2603 0 0 0 111977 211 0 0 25 0 1 0 179301666 20365312 2566 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 4972 2566 195 640 0 4328 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 19888 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32163 /proc/meminfo: memFree=1466976/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=20016 CPUtime=1181.86 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 2635 0 0 0 117967 219 0 0 25 0 1 0 179301666 20496384 2598 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 5004 2598 195 640 0 4360 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 20016 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32163 /proc/meminfo: memFree=1466912/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=20016 CPUtime=1241.85 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 2635 0 0 0 123956 229 0 0 25 0 1 0 179301666 20496384 2598 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 5004 2598 195 640 0 4360 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 20016 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32163 /proc/meminfo: memFree=1466848/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=20132 CPUtime=1301.83 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 2649 0 0 0 129945 238 0 0 25 0 1 0 179301666 20615168 2612 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 5033 2612 195 640 0 4389 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 20132 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32163 /proc/meminfo: memFree=1465888/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=21020 CPUtime=1361.8 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 2884 0 0 0 135933 247 0 0 25 0 1 0 179301666 21524480 2847 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 5255 2847 195 640 0 4611 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 21020 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32163 /proc/meminfo: memFree=1465504/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=21400 CPUtime=1421.79 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 2980 0 0 0 141923 256 0 0 25 0 1 0 179301666 21913600 2943 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 5350 2943 195 640 0 4706 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 21400 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32163 /proc/meminfo: memFree=1465440/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=21476 CPUtime=1481.77 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 2987 0 0 0 147912 265 0 0 25 0 1 0 179301666 21991424 2950 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 5369 2950 195 640 0 4725 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 21476 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32163 /proc/meminfo: memFree=1465376/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=21460 CPUtime=1541.76 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 2987 0 0 0 153901 275 0 0 25 0 1 0 179301666 21975040 2950 1992294400 134512640 137136520 4294956256 18446744073709551615 134600387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 5365 2950 195 640 0 4721 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 21460 [startup+1602.3 s] /proc/loadavg: 1.05 1.01 1.00 2/65 32163 /proc/meminfo: memFree=1465376/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=21452 CPUtime=1601.73 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 2987 0 0 0 159890 283 0 0 25 0 1 0 179301666 21966848 2950 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 5363 2950 195 640 0 4719 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 21452 [startup+1662.3 s] /proc/loadavg: 1.06 1.02 1.00 2/65 32163 /proc/meminfo: memFree=1465376/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=21452 CPUtime=1661.71 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 2987 0 0 0 165880 291 0 0 25 0 1 0 179301666 21966848 2950 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 5363 2950 195 640 0 4719 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 21452 [startup+1722.3 s] /proc/loadavg: 1.06 1.03 1.00 2/65 32163 /proc/meminfo: memFree=1465312/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=21452 CPUtime=1721.69 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 2987 0 0 0 171870 299 0 0 25 0 1 0 179301666 21966848 2950 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 5363 2950 195 640 0 4719 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 21452 [startup+1782.3 s] /proc/loadavg: 1.02 1.02 1.00 2/65 32163 /proc/meminfo: memFree=1465312/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=21396 CPUtime=1781.67 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 2987 0 0 0 177860 307 0 0 25 0 1 0 179301666 21909504 2946 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 5349 2946 195 640 0 4705 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 21396 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.02 1.02 1.00 2/65 32163 /proc/meminfo: memFree=1465312/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=21396 CPUtime=1791.27 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 2987 0 0 0 178819 308 0 0 25 0 1 0 179301666 21909504 2946 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 5349 2946 195 640 0 4705 0 Current children cumulated CPU time (s) 1791.27 Current children cumulated vsize (KiB) 21396 [startup+1795.1 s] /proc/loadavg: 1.02 1.02 1.00 2/65 32163 /proc/meminfo: memFree=1465312/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=21396 CPUtime=1794.47 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 2987 0 0 0 179138 309 0 0 25 0 1 0 179301666 21909504 2946 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 5349 2946 195 640 0 4705 0 Current children cumulated CPU time (s) 1794.47 Current children cumulated vsize (KiB) 21396 [startup+1796.7 s] /proc/loadavg: 1.02 1.02 1.00 2/65 32163 /proc/meminfo: memFree=1465312/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=21396 CPUtime=1796.07 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 2987 0 0 0 179297 310 0 0 25 0 1 0 179301666 21909504 2946 1992294400 134512640 137136520 4294956256 18446744073709551615 135982492 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 5349 2946 195 640 0 4705 0 Current children cumulated CPU time (s) 1796.07 Current children cumulated vsize (KiB) 21396 [startup+1797.5 s] /proc/loadavg: 1.02 1.02 1.00 2/65 32163 /proc/meminfo: memFree=1465312/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=21396 CPUtime=1796.87 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 2987 0 0 0 179377 310 0 0 25 0 1 0 179301666 21909504 2946 1992294400 134512640 137136520 4294956256 18446744073709551615 134544176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 5349 2946 195 640 0 4705 0 Current children cumulated CPU time (s) 1796.87 Current children cumulated vsize (KiB) 21396 [startup+1798.3 s] /proc/loadavg: 1.02 1.02 1.00 2/65 32163 /proc/meminfo: memFree=1465312/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=21396 CPUtime=1797.67 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 2987 0 0 0 179457 310 0 0 25 0 1 0 179301666 21909504 2946 1992294400 134512640 137136520 4294956256 18446744073709551615 135982492 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 5349 2946 195 640 0 4705 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (KiB) 21396 [startup+1798.51 s] /proc/loadavg: 1.02 1.02 1.00 2/65 32163 /proc/meminfo: memFree=1465312/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=21396 CPUtime=1797.88 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 2987 0 0 0 179478 310 0 0 25 0 1 0 179301666 21909504 2946 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 5349 2946 195 640 0 4705 0 Current children cumulated CPU time (s) 1797.88 Current children cumulated vsize (KiB) 21396 [startup+1798.6 s] /proc/loadavg: 1.02 1.02 1.00 2/65 32163 /proc/meminfo: memFree=1465312/2055920 swapFree=4192812/4192956 [pid=31678] ppid=31676 vsize=21396 CPUtime=1797.97 /proc/31678/stat : 31678 (bsolo) R 31676 31678 30391 0 -1 4194304 2987 0 0 0 179487 310 0 0 25 0 1 0 179301666 21909504 2946 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31678/statm: 5349 2946 195 640 0 4705 0 Current children cumulated CPU time (s) 1797.97 Current children cumulated vsize (KiB) 21396 Child status: 0 Real time (s): 1798.63 CPU time (s): 1798 CPU user time (s): 1794.9 CPU system time (s): 3.10453 CPU usage (%): 99.9654 Max. virtual memory (cumulated for all children) (KiB): 21480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.9 system time used= 3.10453 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2988 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= 3036 runsolver used 1.3018 second user time and 3.82342 second system time The end
Begin job on node15 at 2009-06-16 03:50:13 IDJOB=1878428 IDBENCH=1282 IDSOLVER=700 FILE ID=node15/1878428-1245117013 PBS_JOBID= 9363653 Free space on /tmp= 66304 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900577940.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878428-1245117013/watcher-1878428-1245117013 -o /tmp/evaluation-result-1878428-1245117013/solver-1878428-1245117013 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878428-1245117013.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 07abcf74f2aa8e328290ac3dd6aefa51 RANDOM SEED=1843492296 node15.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.261 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 : 5931.00 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.261 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: 1499848 kB Buffers: 33244 kB Cached: 441872 kB SwapCached: 0 kB Active: 65940 kB Inactive: 422596 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1499848 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4028 kB Writeback: 0 kB Mapped: 23200 kB Slab: 53524 kB Committed_AS: 163524 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= 66300 MiB End job on node15 at 2009-06-16 04:20:11