Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.1 | ? | 1798.01 | 1798.63 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900550720.opb |
MD5SUM | 76a48b8845ca731b7df3e7e82d604015 |
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 | 58.3211 |
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 | 687 |
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-1877422-1245124415.opb 0.00/0.00 c File size is 83375 bytes. 0.00/0.01 c Highest Coefficient sum: 687 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.012 s 0.00/0.01 c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5709 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 2757 13561 4 5821 2069 171 2564 0.04 1797.97/1798.62 c 250 231 2974 22172 7 6260 2276 388 3472 0.07 1797.97/1798.62 c 475 231 3222 31382 9 6758 2504 636 3544 0.13 1797.97/1798.62 c 813 231 3594 46699 12 7505 2755 1008 3265 0.25 1797.97/1798.62 c 1323 231 4151 71064 17 8693 3031 1565 2894 0.46 1797.97/1798.62 c 2089 231 4960 102542 20 10335 3335 2374 2667 0.78 1797.97/1798.62 c 3235 231 4421 85359 19 9169 3669 1835 2317 1.40 1797.97/1798.62 c 4956 231 6244 163275 26 12897 4036 3658 2170 2.28 1797.97/1798.62 c 7540 231 4667 91840 19 9660 4440 2081 2084 3.62 1797.97/1798.62 c 11420 231 6455 164965 25 13321 4885 3869 2048 5.58 1797.97/1798.62 c 17243 231 5030 98359 19 10380 5374 2444 1997 8.63 1797.97/1798.62 c 25983 231 5903 130786 22 12248 5912 3317 1999 12.99 1797.97/1798.62 c 39093 231 7505 207358 27 15448 6504 4919 1886 20.73 1797.97/1798.62 c 58763 231 8147 240692 29 16742 7155 5561 1725 34.05 1797.97/1798.62 c 88273 231 6285 143603 22 12922 7871 3699 1630 54.15 1797.97/1798.62 c 132545 231 9010 243154 26 18411 8659 6424 1556 85.16 1797.97/1798.62 c 198957 231 9026 259118 28 18380 9525 6440 1420 140.05 1797.97/1798.62 c 298577 231 8771 252369 28 17868 10478 6185 1298 229.97 1797.97/1798.62 c 448015 231 12290 394584 32 25075 11526 9704 1209 370.38 1797.97/1798.62 c 672174 231 11991 329237 27 24336 12679 9405 1123 598.21 1797.97/1798.62 c 1008419 231 15188 511355 33 30867 13947 12602 1007 1001.41 1797.97/1798.62 c 1512793 231 9802 274736 28 19964 15342 7216 908 1665.35 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 1608319 335782 2217126 11122 306015 8536 894 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-1877422-1245124415/watcher-1877422-1245124415 -o /tmp/evaluation-result-1877422-1245124415/solver-1877422-1245124415 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877422-1245124415.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.01 1.00 3/64 8604 /proc/meminfo: memFree=1642464/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=10792 CPUtime=0 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 248 0 0 0 0 0 0 0 18 0 1 0 180041241 11051008 232 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 2698 232 174 640 0 2033 0 [startup+0.0979191 s] /proc/loadavg: 1.00 1.01 1.00 3/64 8604 /proc/meminfo: memFree=1642464/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=11364 CPUtime=0.09 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 455 0 0 0 9 0 0 0 18 0 1 0 180041241 11636736 418 1992294400 134512640 137136520 4294956256 18446744073709551615 134538970 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 2841 418 196 640 0 2197 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11364 [startup+0.101918 s] /proc/loadavg: 1.00 1.01 1.00 3/64 8604 /proc/meminfo: memFree=1642464/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=11364 CPUtime=0.09 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 457 0 0 0 9 0 0 0 18 0 1 0 180041241 11636736 420 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 2841 420 196 640 0 2197 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11364 [startup+0.301951 s] /proc/loadavg: 1.00 1.01 1.00 3/64 8604 /proc/meminfo: memFree=1642464/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=11724 CPUtime=0.29 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 556 0 0 0 29 0 0 0 19 0 1 0 180041241 12005376 519 1992294400 134512640 137136520 4294956256 18446744073709551615 135982505 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 2931 519 196 640 0 2287 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11724 [startup+0.702015 s] /proc/loadavg: 1.00 1.01 1.00 3/64 8604 /proc/meminfo: memFree=1642464/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=12464 CPUtime=0.69 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 722 0 0 0 69 0 0 0 22 0 1 0 180041241 12763136 685 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 3116 685 196 640 0 2472 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12464 [startup+1.50214 s] /proc/loadavg: 1.00 1.01 1.00 2/65 8605 /proc/meminfo: memFree=1640024/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=13332 CPUtime=1.49 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 939 0 0 0 148 1 0 0 25 0 1 0 180041241 13651968 902 1992294400 134512640 137136520 4294956256 18446744073709551615 134606783 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 3333 902 196 640 0 2689 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13332 [startup+3.1014 s] /proc/loadavg: 1.00 1.01 1.00 2/65 8605 /proc/meminfo: memFree=1639448/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=13704 CPUtime=3.09 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 1049 0 0 0 308 1 0 0 25 0 1 0 180041241 14032896 1012 1992294400 134512640 137136520 4294956256 18446744073709551615 134544565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 3426 1012 196 640 0 2782 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13704 [startup+6.30191 s] /proc/loadavg: 1.00 1.01 1.00 2/65 8605 /proc/meminfo: memFree=1638616/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=14196 CPUtime=6.29 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 1159 0 0 0 627 2 0 0 25 0 1 0 180041241 14536704 1122 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 3549 1122 196 640 0 2905 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14196 [startup+12.7019 s] /proc/loadavg: 1.00 1.01 1.00 2/65 8605 /proc/meminfo: memFree=1638368/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=14320 CPUtime=12.69 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 1197 0 0 0 1266 3 0 0 25 0 1 0 180041241 14663680 1160 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 3580 1160 197 640 0 2936 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14320 [startup+25.502 s] /proc/loadavg: 1.00 1.01 1.00 2/65 8605 /proc/meminfo: memFree=1637280/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=15296 CPUtime=25.48 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 1444 0 0 0 2543 5 0 0 25 0 1 0 180041241 15663104 1407 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 3824 1407 197 640 0 3180 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15296 [startup+51.1011 s] /proc/loadavg: 1.00 1.01 1.00 2/65 8605 /proc/meminfo: memFree=1636320/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=16136 CPUtime=51.08 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 1670 0 0 0 5098 10 0 0 25 0 1 0 180041241 16523264 1633 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 4034 1633 197 640 0 3390 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 16136 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8605 /proc/meminfo: memFree=1635360/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=17212 CPUtime=102.25 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 1916 0 0 0 10207 18 0 0 25 0 1 0 180041241 17625088 1879 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 4303 1879 197 640 0 3659 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 17212 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8605 /proc/meminfo: memFree=1634720/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=17716 CPUtime=162.23 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 2063 0 0 0 16195 28 0 0 25 0 1 0 180041241 18141184 2026 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 4429 2026 197 640 0 3785 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 17716 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8605 /proc/meminfo: memFree=1634592/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=17844 CPUtime=222.21 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 2085 0 0 0 22183 38 0 0 25 0 1 0 180041241 18272256 2048 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 4461 2048 197 640 0 3817 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 17844 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8605 /proc/meminfo: memFree=1634080/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=18340 CPUtime=282.19 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 2204 0 0 0 28171 48 0 0 25 0 1 0 180041241 18780160 2167 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 4585 2167 197 640 0 3941 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 18340 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8605 /proc/meminfo: memFree=1634016/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=18340 CPUtime=342.17 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 2204 0 0 0 34159 58 0 0 25 0 1 0 180041241 18780160 2167 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 4585 2167 197 640 0 3941 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 18340 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8605 /proc/meminfo: memFree=1633696/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=18584 CPUtime=402.15 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 2278 0 0 0 40148 67 0 0 25 0 1 0 180041241 19030016 2241 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 4646 2241 197 640 0 4002 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 18584 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8611 /proc/meminfo: memFree=1633440/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=18584 CPUtime=462.12 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 2278 0 0 0 46137 75 0 0 25 0 1 0 180041241 19030016 2241 1992294400 134512640 137136520 4294956256 18446744073709551615 134544604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 4646 2241 197 640 0 4002 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 18584 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8611 /proc/meminfo: memFree=1633568/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=18584 CPUtime=522.1 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 2278 0 0 0 52126 84 0 0 25 0 1 0 180041241 19030016 2241 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 4646 2241 197 640 0 4002 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 18584 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8611 /proc/meminfo: memFree=1633568/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=18584 CPUtime=582.08 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 2278 0 0 0 58116 92 0 0 25 0 1 0 180041241 19030016 2241 1992294400 134512640 137136520 4294956256 18446744073709551615 136502067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 4646 2241 197 640 0 4002 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 18584 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8611 /proc/meminfo: memFree=1631712/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=20496 CPUtime=642.07 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 2753 0 0 0 64106 101 0 0 25 0 1 0 180041241 20987904 2716 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 5124 2716 197 640 0 4480 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 20496 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1631328/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=20620 CPUtime=1121.9 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 2804 0 0 0 112028 162 0 0 25 0 1 0 180041241 21114880 2753 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 5155 2753 197 640 0 4511 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 20620 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8611 /proc/meminfo: memFree=1631328/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=20620 CPUtime=1181.88 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 2804 0 0 0 118018 170 0 0 25 0 1 0 180041241 21114880 2753 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 5155 2753 197 640 0 4511 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 20620 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8611 /proc/meminfo: memFree=1630880/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=21044 CPUtime=1241.86 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 2893 0 0 0 124008 178 0 0 25 0 1 0 180041241 21549056 2842 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 5261 2842 197 640 0 4617 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 21044 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8611 /proc/meminfo: memFree=1630624/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=21260 CPUtime=1301.84 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 2947 0 0 0 130000 184 0 0 25 0 1 0 180041241 21770240 2896 1992294400 134512640 137136520 4294956256 18446744073709551615 134572101 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 5315 2896 197 640 0 4671 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 21260 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8611 /proc/meminfo: memFree=1630624/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=21240 CPUtime=1361.81 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 2947 0 0 0 135988 193 0 0 25 0 1 0 180041241 21749760 2896 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 5310 2896 197 640 0 4666 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 21240 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8611 /proc/meminfo: memFree=1630624/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=21212 CPUtime=1421.8 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 2947 0 0 0 141980 200 0 0 25 0 1 0 180041241 21721088 2896 1992294400 134512640 137136520 4294956256 18446744073709551615 134543878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 5303 2896 197 640 0 4659 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 21212 [startup+1482.3 s] /proc/loadavg: 1.05 1.01 1.00 2/65 8611 /proc/meminfo: memFree=1630560/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=21212 CPUtime=1481.78 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 2947 0 0 0 147971 207 0 0 25 0 1 0 180041241 21721088 2896 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 5303 2896 197 640 0 4659 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 21212 [startup+1542.3 s] /proc/loadavg: 1.18 1.06 1.01 2/65 8611 /proc/meminfo: memFree=1630624/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=21208 CPUtime=1541.75 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 2947 0 0 0 153962 213 0 0 25 0 1 0 180041241 21716992 2896 1992294400 134512640 137136520 4294956256 18446744073709551615 135982505 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 5302 2896 197 640 0 4658 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 21208 [startup+1602.3 s] /proc/loadavg: 1.06 1.04 1.01 2/65 8611 /proc/meminfo: memFree=1630432/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=21460 CPUtime=1601.73 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 3003 0 0 0 159952 221 0 0 25 0 1 0 180041241 21975040 2952 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 5365 2952 197 640 0 4721 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 21460 [startup+1662.3 s] /proc/loadavg: 1.02 1.03 1.00 2/65 8611 /proc/meminfo: memFree=1630368/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=21460 CPUtime=1661.71 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 3003 0 0 0 165943 228 0 0 25 0 1 0 180041241 21975040 2952 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 5365 2952 197 640 0 4721 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 21460 [startup+1722.3 s] /proc/loadavg: 1.01 1.02 1.00 2/65 8611 /proc/meminfo: memFree=1630304/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=21464 CPUtime=1721.7 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 3004 0 0 0 171935 235 0 0 25 0 1 0 180041241 21979136 2953 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 5366 2953 197 640 0 4722 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 21464 [startup+1782.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 8611 /proc/meminfo: memFree=1630240/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=21464 CPUtime=1781.68 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 3004 0 0 0 177926 242 0 0 25 0 1 0 180041241 21979136 2953 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 5366 2953 197 640 0 4722 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 21464 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.02 1.00 2/65 8611 /proc/meminfo: memFree=1630176/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=21464 CPUtime=1791.28 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 3004 0 0 0 178885 243 0 0 25 0 1 0 180041241 21979136 2953 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 5366 2953 197 640 0 4722 0 Current children cumulated CPU time (s) 1791.28 Current children cumulated vsize (KiB) 21464 [startup+1795.1 s] /proc/loadavg: 1.00 1.02 1.00 2/65 8611 /proc/meminfo: memFree=1630176/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=21464 CPUtime=1794.47 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 3004 0 0 0 179204 243 0 0 25 0 1 0 180041241 21979136 2953 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 5366 2953 197 640 0 4722 0 Current children cumulated CPU time (s) 1794.47 Current children cumulated vsize (KiB) 21464 [startup+1796.7 s] /proc/loadavg: 1.00 1.02 1.00 2/65 8611 /proc/meminfo: memFree=1630176/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=21464 CPUtime=1796.07 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 3004 0 0 0 179364 243 0 0 25 0 1 0 180041241 21979136 2953 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 5366 2953 197 640 0 4722 0 Current children cumulated CPU time (s) 1796.07 Current children cumulated vsize (KiB) 21464 [startup+1797.5 s] /proc/loadavg: 1.00 1.02 1.00 2/65 8611 /proc/meminfo: memFree=1630176/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=21464 CPUtime=1796.87 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 3004 0 0 0 179444 243 0 0 25 0 1 0 180041241 21979136 2953 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 5366 2953 197 640 0 4722 0 Current children cumulated CPU time (s) 1796.87 Current children cumulated vsize (KiB) 21464 [startup+1798.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 8611 /proc/meminfo: memFree=1630176/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=21464 CPUtime=1797.67 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 3004 0 0 0 179524 243 0 0 25 0 1 0 180041241 21979136 2953 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 5366 2953 197 640 0 4722 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (KiB) 21464 [startup+1798.51 s] /proc/loadavg: 1.00 1.02 1.00 2/65 8611 /proc/meminfo: memFree=1630176/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=21464 CPUtime=1797.87 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 3004 0 0 0 179544 243 0 0 25 0 1 0 180041241 21979136 2953 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 5366 2953 197 640 0 4722 0 Current children cumulated CPU time (s) 1797.87 Current children cumulated vsize (KiB) 21464 [startup+1798.6 s] /proc/loadavg: 1.00 1.02 1.00 2/65 8611 /proc/meminfo: memFree=1630176/2055920 swapFree=4192812/4192956 [pid=8604] ppid=8602 vsize=21464 CPUtime=1797.97 /proc/8604/stat : 8604 (bsolo) R 8602 8604 7794 0 -1 4194304 3004 0 0 0 179554 243 0 0 25 0 1 0 180041241 21979136 2953 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8604/statm: 5366 2953 197 640 0 4722 0 Current children cumulated CPU time (s) 1797.97 Current children cumulated vsize (KiB) 21464 Child status: 0 Real time (s): 1798.63 CPU time (s): 1798.01 CPU user time (s): 1795.57 CPU system time (s): 2.44063 CPU usage (%): 99.9654 Max. virtual memory (cumulated for all children) (KiB): 21464 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.57 system time used= 2.44063 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3005 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= 3174 runsolver used 1.36979 second user time and 3.66044 second system time The end
Begin job on node26 at 2009-06-16 05:53:35 IDJOB=1877422 IDBENCH=1365 IDSOLVER=699 FILE ID=node26/1877422-1245124415 PBS_JOBID= 9363638 Free space on /tmp= 66156 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900550720.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877422-1245124415/watcher-1877422-1245124415 -o /tmp/evaluation-result-1877422-1245124415/solver-1877422-1245124415 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877422-1245124415.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 76a48b8845ca731b7df3e7e82d604015 RANDOM SEED=1278256803 node26.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.263 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.263 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: 1642880 kB Buffers: 29008 kB Cached: 316092 kB SwapCached: 0 kB Active: 100052 kB Inactive: 258948 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1642880 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4024 kB Writeback: 0 kB Mapped: 23704 kB Slab: 40048 kB Committed_AS: 140680 kB PageTables: 1372 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= 66152 MiB End job on node26 at 2009-06-16 06:23:34