Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.1 cl | UNSAT | 1262.85 | 1263.16 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900670167.opb |
MD5SUM | 3972d8c24730f4742ee881de3ad25c62 |
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 | 15.0237 |
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 | 707 |
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-1878841-1245122836.opb 0.00/0.00 c File size is 83379 bytes. 0.00/0.01 c Highest Coefficient sum: 707 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.023 s 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 231 2586 8096 3 5471 1880 0 0 0.02 0.00/0.02 c Switching off lower bounding mode. 1262.78/1263.15 c 100 231 2686 12139 4 5676 2069 100 2941 0.03 1262.78/1263.15 c 251 231 2837 17130 6 5978 2276 251 5122 0.05 1262.78/1263.15 c 476 231 3062 25116 8 6429 2504 476 6181 0.08 1262.78/1263.15 c 814 231 3400 38378 11 7104 2755 814 5985 0.14 1262.78/1263.15 c 1324 231 3910 60377 15 8124 3031 1324 5426 0.24 1262.78/1263.15 c 2088 231 4674 90761 19 9652 3335 2088 4529 0.46 1262.78/1263.15 c 3235 231 5821 130946 22 11946 3669 3235 4038 0.80 1262.78/1263.15 c 4956 231 5612 116684 20 11528 4036 3026 3701 1.34 1262.78/1263.15 c 7541 231 6076 146585 24 12456 4440 3490 3459 2.18 1262.78/1263.15 c 11420 231 5337 99073 18 10979 4885 2751 3165 3.61 1262.78/1263.15 c 17242 231 6047 127525 21 12397 5374 3461 2999 5.75 1262.78/1263.15 c 25982 231 6426 134842 20 13157 5912 3840 2942 8.83 1262.78/1263.15 c 39095 231 7362 180037 24 15028 6504 4776 2780 14.06 1262.78/1263.15 c 58765 231 6913 146638 21 14130 7155 4327 2594 22.65 1262.78/1263.15 c 88275 231 6910 162199 23 14124 7871 4324 2341 37.71 1262.78/1263.15 c 132546 231 6724 154923 23 13752 8659 4138 2157 61.44 1262.78/1263.15 c 198957 231 11040 321860 29 22383 9525 8454 1996 99.66 1262.78/1263.15 c 298579 231 8290 222850 26 16884 10478 5704 1819 164.12 1262.78/1263.15 c 448016 231 8039 193414 24 16382 11526 5453 1674 267.59 1262.78/1263.15 c 672175 231 8948 222192 24 18201 12679 6362 1523 441.23 1262.78/1263.15 c 1008418 231 9792 248728 25 19888 13947 7206 1349 747.20 1262.78/1263.15 c 1512790 210 11252 273170 24 22806 15342 8666 1217 1243.04 1262.78/1263.15 c Backtracks by Clause: 0 1262.78/1263.15 c Backtracks by PB constraint: 0 1262.78/1263.15 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1262.78/1263.15 c 22 1531028 342386 2172598 13954 333554 11368 1212 1262.85 1262.78/1263.15 s UNSATISFIABLE 1262.78/1263.15 c Total time: 1262.85 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-1878841-1245122836/watcher-1878841-1245122836 -o /tmp/evaluation-result-1878841-1245122836/solver-1878841-1245122836 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878841-1245122836.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7283 /proc/meminfo: memFree=1467480/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=10792 CPUtime=0 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 248 0 0 0 0 0 0 0 18 0 1 0 179883194 11051008 232 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 2698 233 174 640 0 2033 0 [startup+0.086199 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7283 /proc/meminfo: memFree=1467480/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=11368 CPUtime=0.08 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 457 0 0 0 8 0 0 0 18 0 1 0 179883194 11640832 420 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 2842 420 195 640 0 2198 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11368 [startup+0.1012 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7283 /proc/meminfo: memFree=1467480/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=11368 CPUtime=0.09 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 469 0 0 0 9 0 0 0 18 0 1 0 179883194 11640832 432 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 2842 432 195 640 0 2198 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11368 [startup+0.301213 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7283 /proc/meminfo: memFree=1467480/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=12008 CPUtime=0.29 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 624 0 0 0 29 0 0 0 19 0 1 0 179883194 12296192 587 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 3002 587 195 640 0 2358 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12008 [startup+0.701238 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7283 /proc/meminfo: memFree=1467480/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=12780 CPUtime=0.69 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 819 0 0 0 69 0 0 0 23 0 1 0 179883194 13086720 782 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 3195 782 195 640 0 2551 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12780 [startup+1.50129 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7284 /proc/meminfo: memFree=1464592/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=13296 CPUtime=1.49 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 946 0 0 0 148 1 0 0 25 0 1 0 179883194 13615104 909 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 3324 909 195 640 0 2680 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13296 [startup+3.10139 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7284 /proc/meminfo: memFree=1464208/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=13812 CPUtime=3.09 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 1073 0 0 0 308 1 0 0 25 0 1 0 179883194 14143488 1036 1992294400 134512640 137136520 4294956256 18446744073709551615 134544489 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 3453 1036 195 640 0 2809 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13812 [startup+6.3016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7284 /proc/meminfo: memFree=1463696/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=13932 CPUtime=6.29 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 1102 0 0 0 627 2 0 0 25 0 1 0 179883194 14266368 1065 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 3483 1065 195 640 0 2839 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13932 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7284 /proc/meminfo: memFree=1463056/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=14572 CPUtime=12.69 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 1255 0 0 0 1266 3 0 0 25 0 1 0 179883194 14921728 1218 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 3643 1218 195 640 0 2999 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14572 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7284 /proc/meminfo: memFree=1462416/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=15184 CPUtime=25.48 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 1416 0 0 0 2541 7 0 0 25 0 1 0 179883194 15548416 1379 1992294400 134512640 137136520 4294956256 18446744073709551615 136498090 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 3796 1379 195 640 0 3152 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15184 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7284 /proc/meminfo: memFree=1461584/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=15956 CPUtime=51.08 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 1612 0 0 0 5095 13 0 0 25 0 1 0 179883194 16338944 1575 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 3989 1575 195 640 0 3345 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 15956 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7284 /proc/meminfo: memFree=1460816/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=16808 CPUtime=102.27 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 1813 0 0 0 10203 24 0 0 25 0 1 0 179883194 17211392 1776 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 4202 1776 195 640 0 3558 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 16808 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7284 /proc/meminfo: memFree=1460240/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=17384 CPUtime=162.25 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 1958 0 0 0 16189 36 0 0 25 0 1 0 179883194 17801216 1921 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 4346 1921 195 640 0 3702 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 17384 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7284 /proc/meminfo: memFree=1460240/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=17376 CPUtime=222.24 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 1959 0 0 0 22174 50 0 0 25 0 1 0 179883194 17793024 1922 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 4344 1922 195 640 0 3700 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 17376 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7284 /proc/meminfo: memFree=1459600/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=17984 CPUtime=282.22 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 2118 0 0 0 28160 62 0 0 25 0 1 0 179883194 18415616 2081 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 4496 2081 195 640 0 3852 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 17984 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7284 /proc/meminfo: memFree=1459408/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=18088 CPUtime=342.2 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 2148 0 0 0 34147 73 0 0 25 0 1 0 179883194 18522112 2111 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 4522 2111 195 640 0 3878 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 18088 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7284 /proc/meminfo: memFree=1459408/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=18088 CPUtime=402.19 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 2148 0 0 0 40136 83 0 0 25 0 1 0 179883194 18522112 2111 1992294400 134512640 137136520 4294956256 18446744073709551615 134544526 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 4522 2111 195 640 0 3878 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 18088 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7284 /proc/meminfo: memFree=1458448/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=18992 CPUtime=462.18 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 2378 0 0 0 46125 93 0 0 25 0 1 0 179883194 19447808 2341 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 4748 2341 195 640 0 4104 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 18992 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7284 /proc/meminfo: memFree=1458128/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=19352 CPUtime=522.16 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 2452 0 0 0 52110 106 0 0 25 0 1 0 179883194 19816448 2415 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 4838 2415 195 640 0 4194 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 19352 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7284 /proc/meminfo: memFree=1458000/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=19480 CPUtime=582.15 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 2488 0 0 0 58099 116 0 0 25 0 1 0 179883194 19947520 2451 1992294400 134512640 137136520 4294956256 18446744073709551615 134544259 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 4870 2451 195 640 0 4226 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 19480 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7284 /proc/meminfo: memFree=1457936/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=19464 CPUtime=642.14 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 2488 0 0 0 64087 127 0 0 25 0 1 0 179883194 19931136 2451 1992294400 134512640 137136520 4294956256 18446744073709551615 134543965 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 4866 2451 195 640 0 4222 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 19464 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7284 /proc/meminfo: memFree=1457936/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=19460 CPUtime=702.12 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 2488 0 0 0 70073 139 0 0 25 0 1 0 179883194 19927040 2451 1992294400 134512640 137136520 4294956256 18446744073709551615 136509091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 4865 2451 195 640 0 4221 0 Current children cumulated CPU time (s) 702.12 Current children cumulated vsize (KiB) 19460 [startup+762.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7284 /proc/meminfo: memFree=1457488/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=19956 CPUtime=762.12 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 2604 0 0 0 76061 151 0 0 25 0 1 0 179883194 20434944 2567 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 4989 2567 195 640 0 4345 0 Current children cumulated CPU time (s) 762.12 Current children cumulated vsize (KiB) 19956 [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7284 /proc/meminfo: memFree=1457424/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=19956 CPUtime=822.09 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 2612 0 0 0 82050 159 0 0 25 0 1 0 179883194 20434944 2575 1992294400 134512640 137136520 4294956256 18446744073709551615 134574739 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 4989 2575 195 640 0 4345 0 Current children cumulated CPU time (s) 822.09 Current children cumulated vsize (KiB) 19956 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7284 /proc/meminfo: memFree=1457424/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=19948 CPUtime=882.08 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 2612 0 0 0 88040 168 0 0 25 0 1 0 179883194 20426752 2575 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 4987 2575 195 640 0 4343 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 19948 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7284 /proc/meminfo: memFree=1457424/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=19948 CPUtime=942.07 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 2612 0 0 0 94031 176 0 0 25 0 1 0 179883194 20426752 2575 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 4987 2575 195 640 0 4343 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 19948 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7284 /proc/meminfo: memFree=1457424/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=19948 CPUtime=1002.05 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 2612 0 0 0 100017 188 0 0 25 0 1 0 179883194 20426752 2575 1992294400 134512640 137136520 4294956256 18446744073709551615 134543986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 4987 2575 195 640 0 4343 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 19948 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7284 /proc/meminfo: memFree=1457360/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=19940 CPUtime=1062.03 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 2612 0 0 0 106004 199 0 0 25 0 1 0 179883194 20418560 2575 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 4985 2575 195 640 0 4341 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 19940 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7284 /proc/meminfo: memFree=1457360/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=19936 CPUtime=1122.02 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 2612 0 0 0 111993 209 0 0 25 0 1 0 179883194 20414464 2575 1992294400 134512640 137136520 4294956256 18446744073709551615 134544184 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 4984 2575 195 640 0 4340 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 19936 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7284 /proc/meminfo: memFree=1457488/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=19932 CPUtime=1182 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 2612 0 0 0 117979 221 0 0 25 0 1 0 179883194 20410368 2575 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 4983 2575 195 640 0 4339 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 19932 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7284 /proc/meminfo: memFree=1457360/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=19932 CPUtime=1241.99 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 2612 0 0 0 123969 230 0 0 25 0 1 0 179883194 20410368 2575 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 4983 2575 195 640 0 4339 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 19932 Solver just ended. Dumping a history of the last processes samples [startup+1254.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7284 /proc/meminfo: memFree=1457360/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=19936 CPUtime=1253.99 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 2613 0 0 0 125167 232 0 0 25 0 1 0 179883194 20414464 2576 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 4984 2576 195 640 0 4340 0 Current children cumulated CPU time (s) 1253.99 Current children cumulated vsize (KiB) 19936 [startup+1257.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7284 /proc/meminfo: memFree=1457360/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=19936 CPUtime=1257.19 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 2613 0 0 0 125487 232 0 0 25 0 1 0 179883194 20414464 2576 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 4984 2576 195 640 0 4340 0 Current children cumulated CPU time (s) 1257.19 Current children cumulated vsize (KiB) 19936 [startup+1260.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7284 /proc/meminfo: memFree=1457360/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=19936 CPUtime=1260.38 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 2613 0 0 0 125806 232 0 0 25 0 1 0 179883194 20414464 2576 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 4984 2576 195 640 0 4340 0 Current children cumulated CPU time (s) 1260.38 Current children cumulated vsize (KiB) 19936 [startup+1262.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7284 /proc/meminfo: memFree=1457360/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=19936 CPUtime=1261.98 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 2613 0 0 0 125966 232 0 0 25 0 1 0 179883194 20414464 2576 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 4984 2576 195 640 0 4340 0 Current children cumulated CPU time (s) 1261.98 Current children cumulated vsize (KiB) 19936 [startup+1262.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7284 /proc/meminfo: memFree=1457360/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=19936 CPUtime=1262.39 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 2613 0 0 0 126007 232 0 0 25 0 1 0 179883194 20414464 2576 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 4984 2576 195 640 0 4340 0 Current children cumulated CPU time (s) 1262.39 Current children cumulated vsize (KiB) 19936 [startup+1263.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7284 /proc/meminfo: memFree=1457360/2055920 swapFree=4192812/4192956 [pid=7283] ppid=7281 vsize=19936 CPUtime=1262.78 /proc/7283/stat : 7283 (bsolo) R 7281 7283 6430 0 -1 4194304 2613 0 0 0 126046 232 0 0 25 0 1 0 179883194 20414464 2576 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7283/statm: 4984 2576 195 640 0 4340 0 Current children cumulated CPU time (s) 1262.78 Current children cumulated vsize (KiB) 19936 Child status: 0 Real time (s): 1263.16 CPU time (s): 1262.85 CPU user time (s): 1260.52 CPU system time (s): 2.33165 CPU usage (%): 99.9757 Max. virtual memory (cumulated for all children) (KiB): 19956 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1260.52 system time used= 2.33164 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2615 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= 2447 runsolver used 0.857869 second user time and 2.69759 second system time The end
Begin job on node30 at 2009-06-16 05:27:16 IDJOB=1878841 IDBENCH=1351 IDSOLVER=700 FILE ID=node30/1878841-1245122836 PBS_JOBID= 9363636 Free space on /tmp= 66244 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900670167.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878841-1245122836/watcher-1878841-1245122836 -o /tmp/evaluation-result-1878841-1245122836/solver-1878841-1245122836 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878841-1245122836.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3972d8c24730f4742ee881de3ad25c62 RANDOM SEED=1046213718 node30.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.230 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.230 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: 1467896 kB Buffers: 56280 kB Cached: 444876 kB SwapCached: 140 kB Active: 148128 kB Inactive: 367144 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1467896 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4024 kB Writeback: 0 kB Mapped: 23764 kB Slab: 58848 kB Committed_AS: 146556 kB PageTables: 1360 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= 66240 MiB End job on node30 at 2009-06-16 05:48:20