Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.1 pb | ? (TO) | 1800.07 | 1800.94 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900581320.opb |
MD5SUM | 9f20f031d3068edba1350cbde5c721b5 |
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 | 26.9349 |
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 | 641 |
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-1880201-1245115964.opb 0.00/0.00 c File size is 83375 bytes. 0.00/0.01 c Highest Coefficient sum: 641 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: 5707 0.00/0.01 c Obj. Vars: 0 (0 % of total variables) 0.00/0.02 c Pre-processing Time: 0.024 s 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 231 2586 8096 3 5470 1880 0 0 0.02 0.00/0.02 c Switching off lower bounding mode. 1800.02/1800.90 c 102 231 2788 18135 6 6633 2069 202 2217 0.05 1800.02/1800.90 c 257 231 3091 35061 11 9839 2276 505 2793 0.09 1800.02/1800.90 c 483 231 3537 73361 20 24217 2504 951 2055 0.23 1800.02/1800.90 c 821 231 4212 141197 33 51780 2755 1626 1218 0.67 1800.02/1800.90 c 1330 231 5229 248340 47 86156 3031 2643 693 1.92 1800.02/1800.90 c 2094 231 5086 248739 48 91079 3335 2500 409 5.11 1800.02/1800.90 c 3240 231 5583 315779 56 124920 3669 2997 289 11.19 1800.02/1800.90 c 4962 231 5179 269583 52 111412 4036 2593 207 23.95 1800.02/1800.90 c 7546 231 6105 362111 59 159923 4440 3519 174 43.32 1800.02/1800.90 c 11425 231 6819 429747 63 187486 4885 4233 143 79.59 1800.02/1800.90 c 17249 231 5734 323677 56 146158 5374 3148 119 144.33 1800.02/1800.90 c 25986 231 6497 409040 62 166758 5912 3911 107 242.72 1800.02/1800.90 c 39097 231 8133 570881 70 208316 6504 5547 98 397.20 1800.02/1800.90 c 58769 231 7201 493106 68 184037 7155 4615 88 664.59 1800.02/1800.90 c 88279 231 7191 489081 68 176574 7871 4605 82 1071.53 1800.02/1800.90 c 132552 231 6578 433531 65 184852 8659 3992 78 1696.34 1800.02/1800.90 c Caught signal: 15 1800.02/1800.90 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.02/1800.90 c 16 139428 19908 173445 7049 507175 4463 77 1800.03 1800.02/1800.90 s UNKNOWN 1800.02/1800.90 c Total time: 1800.03 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-1880201-1245115964/watcher-1880201-1245115964 -o /tmp/evaluation-result-1880201-1245115964/solver-1880201-1245115964 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880201-1245115964.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.04 3/64 2198 /proc/meminfo: memFree=1422160/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=10792 CPUtime=0 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 251 0 0 0 0 0 0 0 18 0 1 0 179196102 11051008 235 1992294400 134512640 137136520 4294956256 18446744073709551615 134517302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 2698 235 175 640 0 2033 0 [startup+0.0883259 s] /proc/loadavg: 1.00 1.00 1.04 3/64 2198 /proc/meminfo: memFree=1422160/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=11500 CPUtime=0.08 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 496 0 0 0 8 0 0 0 18 0 1 0 179196102 11776000 459 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 2875 459 196 640 0 2231 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11500 [startup+0.101327 s] /proc/loadavg: 1.00 1.00 1.04 3/64 2198 /proc/meminfo: memFree=1422160/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=11628 CPUtime=0.09 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 520 0 0 0 9 0 0 0 18 0 1 0 179196102 11907072 483 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 2907 483 196 640 0 2263 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11628 [startup+0.301347 s] /proc/loadavg: 1.00 1.00 1.04 3/64 2198 /proc/meminfo: memFree=1422160/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=12660 CPUtime=0.29 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 798 0 0 0 29 0 0 0 19 0 1 0 179196102 12963840 761 1992294400 134512640 137136520 4294956256 18446744073709551615 134605848 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 3165 761 196 640 0 2521 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12660 [startup+0.701387 s] /proc/loadavg: 1.00 1.00 1.04 3/64 2198 /proc/meminfo: memFree=1422160/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=14088 CPUtime=0.69 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 1134 0 0 0 68 1 0 0 23 0 1 0 179196102 14426112 1097 1992294400 134512640 137136520 4294956256 18446744073709551615 136503089 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 3522 1097 196 640 0 2878 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14088 [startup+1.50147 s] /proc/loadavg: 1.00 1.00 1.04 2/65 2199 /proc/meminfo: memFree=1417608/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=15772 CPUtime=1.49 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 1547 0 0 0 148 1 0 0 25 0 1 0 179196102 16150528 1510 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 3943 1510 196 640 0 3299 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15772 [startup+3.10163 s] /proc/loadavg: 1.00 1.00 1.04 2/65 2199 /proc/meminfo: memFree=1415880/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=17344 CPUtime=3.09 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 1956 0 0 0 307 2 0 0 25 0 1 0 179196102 17760256 1919 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 4336 1919 196 640 0 3692 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17344 [startup+6.30196 s] /proc/loadavg: 1.00 1.00 1.04 2/65 2199 /proc/meminfo: memFree=1414920/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=17736 CPUtime=6.29 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 2038 0 0 0 627 2 0 0 25 0 1 0 179196102 18161664 2001 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 4434 2001 197 640 0 3790 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17736 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.04 2/65 2199 /proc/meminfo: memFree=1413704/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=19036 CPUtime=12.68 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 2380 0 0 0 1266 2 0 0 25 0 1 0 179196102 19492864 2343 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 4759 2343 197 640 0 4115 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 19036 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 1.04 2/65 2199 /proc/meminfo: memFree=1412360/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=19816 CPUtime=25.49 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 2590 0 0 0 2546 3 0 0 25 0 1 0 179196102 20291584 2553 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 4954 2553 197 640 0 4310 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 19816 [startup+51.1015 s] /proc/loadavg: 1.08 1.02 1.04 2/65 2199 /proc/meminfo: memFree=1410760/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=21500 CPUtime=51.06 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 3001 0 0 0 5103 3 0 0 25 0 1 0 179196102 22016000 2964 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 5375 2964 197 640 0 4731 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 21500 [startup+102.306 s] /proc/loadavg: 1.03 1.01 1.04 2/65 2199 /proc/meminfo: memFree=1409672/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=22552 CPUtime=102.26 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 3257 0 0 0 10221 5 0 0 25 0 1 0 179196102 23093248 3220 1992294400 134512640 137136520 4294956256 18446744073709551615 134573586 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 5638 3220 197 640 0 4994 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 22552 [startup+162.302 s] /proc/loadavg: 1.18 1.05 1.05 2/65 2199 /proc/meminfo: memFree=1408584/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=23708 CPUtime=162.24 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 3543 0 0 0 16218 6 0 0 25 0 1 0 179196102 24276992 3506 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 5927 3506 197 640 0 5283 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 23708 [startup+222.302 s] /proc/loadavg: 1.07 1.04 1.04 2/65 2199 /proc/meminfo: memFree=1407880/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=24364 CPUtime=222.22 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 3708 0 0 0 22215 7 0 0 25 0 1 0 179196102 24948736 3671 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 6091 3671 197 640 0 5447 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 24364 [startup+282.302 s] /proc/loadavg: 1.02 1.03 1.04 2/65 2199 /proc/meminfo: memFree=1407240/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=24992 CPUtime=282.2 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 3858 0 0 0 28211 9 0 0 25 0 1 0 179196102 25591808 3821 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 6248 3821 197 640 0 5604 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 24992 [startup+342.302 s] /proc/loadavg: 1.01 1.02 1.03 2/65 2199 /proc/meminfo: memFree=1406984/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=25108 CPUtime=342.18 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 3913 0 0 0 34208 10 0 0 25 0 1 0 179196102 25710592 3876 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 6277 3876 197 640 0 5633 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 25108 [startup+402.301 s] /proc/loadavg: 1.00 1.02 1.03 2/65 2199 /proc/meminfo: memFree=1406280/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=25884 CPUtime=402.17 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 4082 0 0 0 40205 12 0 0 25 0 1 0 179196102 26505216 4045 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 6471 4045 197 640 0 5827 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 25884 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.02 2/65 2199 /proc/meminfo: memFree=1404744/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=27312 CPUtime=462.15 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 4451 0 0 0 46202 13 0 0 25 0 1 0 179196102 27967488 4414 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 6828 4414 197 640 0 6184 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 27312 [startup+522.301 s] /proc/loadavg: 1.00 1.01 1.01 2/65 2199 /proc/meminfo: memFree=1404744/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=27316 CPUtime=522.14 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 4451 0 0 0 52200 14 0 0 25 0 1 0 179196102 27971584 4414 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 6829 4414 197 640 0 6185 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 27316 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.01 2/65 2199 /proc/meminfo: memFree=1404744/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=27316 CPUtime=582.12 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 4451 0 0 0 58197 15 0 0 25 0 1 0 179196102 27971584 4414 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 6829 4414 197 640 0 6185 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 27316 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2199 /proc/meminfo: memFree=1404744/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=27316 CPUtime=642.1 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 4451 0 0 0 64194 16 0 0 25 0 1 0 179196102 27971584 4414 1992294400 134512640 137136520 4294956256 18446744073709551615 134573563 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 6829 4414 197 640 0 6185 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 27316 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2199 /proc/meminfo: memFree=1403720/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=28228 CPUtime=882.03 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 4689 0 0 0 88182 21 0 0 25 0 1 0 179196102 28905472 4652 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 7057 4652 197 640 0 6413 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 28228 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2199 /proc/meminfo: memFree=1403720/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=28228 CPUtime=942.02 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 4689 0 0 0 94180 22 0 0 25 0 1 0 179196102 28905472 4652 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 7057 4652 197 640 0 6413 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 28228 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2199 /proc/meminfo: memFree=1403720/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=28228 CPUtime=1002 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 4689 0 0 0 100177 23 0 0 25 0 1 0 179196102 28905472 4652 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 7057 4652 197 640 0 6413 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 28228 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2199 /proc/meminfo: memFree=1403784/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=28228 CPUtime=1061.98 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 4689 0 0 0 106174 24 0 0 25 0 1 0 179196102 28905472 4652 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 7057 4652 197 640 0 6413 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 28228 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2199 /proc/meminfo: memFree=1403208/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=28872 CPUtime=1121.96 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 4829 0 0 0 112171 25 0 0 25 0 1 0 179196102 29564928 4792 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 7218 4792 197 640 0 6574 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 28872 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2207 /proc/meminfo: memFree=1402824/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=29256 CPUtime=1181.94 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 4947 0 0 0 118168 26 0 0 25 0 1 0 179196102 29958144 4910 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 7314 4910 197 640 0 6670 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 29256 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2207 /proc/meminfo: memFree=1402248/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=29780 CPUtime=1241.92 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 5067 0 0 0 124165 27 0 0 25 0 1 0 179196102 30494720 5030 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 7445 5030 197 640 0 6801 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 29780 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2207 /proc/meminfo: memFree=1402248/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=29780 CPUtime=1301.92 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 5067 0 0 0 130163 29 0 0 25 0 1 0 179196102 30494720 5030 1992294400 134512640 137136520 4294956256 18446744073709551615 134544101 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 7445 5030 197 640 0 6801 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 29780 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2207 /proc/meminfo: memFree=1402184/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=29780 CPUtime=1361.89 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 5067 0 0 0 136160 29 0 0 25 0 1 0 179196102 30494720 5030 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 7445 5030 197 640 0 6801 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 29780 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2207 /proc/meminfo: memFree=1402184/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=29780 CPUtime=1421.87 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 5067 0 0 0 142157 30 0 0 25 0 1 0 179196102 30494720 5030 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 7445 5030 197 640 0 6801 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 29780 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2207 /proc/meminfo: memFree=1402248/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=29780 CPUtime=1481.86 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 5067 0 0 0 148154 32 0 0 25 0 1 0 179196102 30494720 5030 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 7445 5030 197 640 0 6801 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 29780 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2207 /proc/meminfo: memFree=1402184/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=29780 CPUtime=1541.84 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 5067 0 0 0 154152 32 0 0 25 0 1 0 179196102 30494720 5030 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 7445 5030 197 640 0 6801 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 29780 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2207 /proc/meminfo: memFree=1402248/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=29780 CPUtime=1601.82 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 5067 0 0 0 160149 33 0 0 25 0 1 0 179196102 30494720 5030 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 7445 5030 197 640 0 6801 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 29780 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2207 /proc/meminfo: memFree=1402184/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=29780 CPUtime=1661.81 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 5067 0 0 0 166146 35 0 0 25 0 1 0 179196102 30494720 5030 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 7445 5030 197 640 0 6801 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 29780 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2213 /proc/meminfo: memFree=1400712/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=31332 CPUtime=1721.79 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 5449 0 0 0 172142 37 0 0 25 0 1 0 179196102 32083968 5412 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 7833 5412 197 640 0 7189 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 31332 [startup+1782.3 s] /proc/loadavg: 1.23 1.06 1.02 2/65 2689 /proc/meminfo: memFree=1397832/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=31588 CPUtime=1781.43 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 5515 0 0 0 178104 39 0 0 25 0 1 0 179196102 32346112 5478 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 7897 5478 197 640 0 7253 0 Current children cumulated CPU time (s) 1781.43 Current children cumulated vsize (KiB) 31588 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 1.16 1.06 1.02 2/65 2689 /proc/meminfo: memFree=1397896/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=31588 CPUtime=1800.02 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 5515 0 0 0 179963 39 0 0 25 0 1 0 179196102 32346112 5478 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 7897 5478 197 640 0 7253 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 31588 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 1.16 1.06 1.02 2/65 2689 /proc/meminfo: memFree=1397896/2055920 swapFree=4192812/4192956 [pid=2198] ppid=2196 vsize=31588 CPUtime=1800.02 /proc/2198/stat : 2198 (bsolo) R 2196 2198 1525 0 -1 4194304 5515 0 0 0 179963 39 0 0 25 0 1 0 179196102 32346112 5478 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2198/statm: 7897 5478 197 640 0 7253 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 31588 Child status: 15 Real time (s): 1800.94 CPU time (s): 1800.07 CPU user time (s): 1799.66 CPU system time (s): 0.400939 CPU usage (%): 99.9514 Max. virtual memory (cumulated for all children) (KiB): 31588 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.66 system time used= 0.400939 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5516 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= 3993 runsolver used 1.69174 second user time and 4.87026 second system time The end
Begin job on node27 at 2009-06-16 03:32:44 IDJOB=1880201 IDBENCH=1270 IDSOLVER=701 FILE ID=node27/1880201-1245115964 PBS_JOBID= 9363660 Free space on /tmp= 66288 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900581320.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1880201-1245115964/watcher-1880201-1245115964 -o /tmp/evaluation-result-1880201-1245115964/solver-1880201-1245115964 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880201-1245115964.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9f20f031d3068edba1350cbde5c721b5 RANDOM SEED=1457584807 node27.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 : 2800.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 : 5521.40 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 : 2800.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: 1422640 kB Buffers: 63444 kB Cached: 486400 kB SwapCached: 140 kB Active: 141256 kB Inactive: 423104 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1422640 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4116 kB Writeback: 0 kB Mapped: 24204 kB Slab: 54860 kB Committed_AS: 146520 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264948 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66284 MiB End job on node27 at 2009-06-16 04:02:47