Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.06 | 1800.52 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900559676.opb |
MD5SUM | f4b978648ea0f0ad7162795950b3a449 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
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 | 153.747 |
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 | 625 |
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.01 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/432330-1177942770/instance-432330-1177942770.opb 0.00/0.01 c File size is 83373 bytes. 0.00/0.02 c Highest Coefficient sum: 625 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.014 s 0.00/0.03 c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5709 0.00/0.03 c Obj. Vars: 0 (0 % of total variables) 0.00/0.03 c Pre-processing Time: 0.024 s 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 0 231 2586 8096 3 5474 1880 0 0 0.02 0.00/0.03 c Switching off LPR mode. 1800.05/1800.50 c 102 231 2688 13756 5 5677 2069 102 3090 0.03 1800.05/1800.50 c 253 231 2839 21743 7 5981 2276 253 4960 0.05 1800.05/1800.50 c 479 231 3065 32890 10 6432 2504 479 6302 0.08 1800.05/1800.50 c 819 231 3405 50134 14 7113 2755 819 6604 0.12 1800.05/1800.50 c 1332 231 3918 75958 19 8140 3031 1332 5893 0.23 1800.05/1800.50 c 2095 231 4681 110238 23 9665 3335 2095 5237 0.40 1800.05/1800.50 c 3244 231 5830 164180 28 11964 3669 3244 4383 0.74 1800.05/1800.50 c 4966 231 5618 150792 26 11539 4036 3032 3928 1.26 1800.05/1800.50 c 7550 231 6075 173912 28 12452 4440 3489 3628 2.08 1800.05/1800.50 c 11429 231 5303 146114 27 10909 4885 2717 3233 3.54 1800.05/1800.50 c 17251 231 6032 175133 29 12366 5374 3446 3014 5.72 1800.05/1800.50 c 25988 231 6404 188663 29 13111 5912 3818 2912 8.92 1800.05/1800.50 c 39098 231 7280 245593 33 14861 6504 4694 2750 14.22 1800.05/1800.50 c 58768 231 6862 225024 32 14028 7155 4276 2572 22.85 1800.05/1800.50 c 88279 231 6887 237522 34 14078 7871 4301 2299 38.39 1800.05/1800.50 c 132550 231 6595 185564 28 13493 8659 4009 2221 59.66 1800.05/1800.50 c 198961 231 10794 361686 33 21893 9525 8208 2160 92.07 1800.05/1800.50 c 298581 231 8006 253959 31 16316 10478 5420 1965 151.90 1800.05/1800.50 c 448017 231 12880 479954 37 26062 11526 10294 1813 247.06 1800.05/1800.50 c 672175 231 13606 525126 38 27514 12679 11020 1625 413.61 1800.05/1800.50 c 1008419 231 14235 508211 35 28773 13947 11649 1505 669.81 1800.05/1800.50 c 1512793 231 14956 570920 38 30216 15342 12370 1348 1121.76 1800.05/1800.50 c Caught signal: 15 1800.05/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.05/1800.50 c 22 2216493 378564 2839921 17429 722589 14843 1231 1800.06 1800.05/1800.50 s UNKNOWN 1800.05/1800.50 c Total time: 1800.06 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node57/watcher-432330-1177942770 -o ROOT/results/node57/solver-432330-1177942770 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432330-1177942770/instance-432330-1177942770.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.00 0.00 0.00 3/64 4133 /proc/meminfo: memFree=1789000/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=2520 CPUtime=0 /proc/4133/stat : 4133 (bsolo3.0.17) D 4131 4133 4070 0 -1 4194304 56 0 0 0 0 0 0 0 18 0 1 0 235412995 2580480 40 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7394084 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/4133/statm: 630 40 31 324 0 9 0 [startup+0.102011 s] /proc/loadavg: 0.00 0.00 0.00 3/64 4133 /proc/meminfo: memFree=1789000/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=4844 CPUtime=0.08 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 634 0 0 0 8 0 0 0 18 0 1 0 235412995 4960256 583 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547710 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4133/statm: 1211 583 308 324 0 281 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4844 [startup+0.203015 s] /proc/loadavg: 0.00 0.00 0.00 3/64 4133 /proc/meminfo: memFree=1789000/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=5236 CPUtime=0.18 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 745 0 0 0 18 0 0 0 18 0 1 0 235412995 5361664 694 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572890 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4133/statm: 1309 694 309 324 0 379 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 5236 [startup+0.301024 s] /proc/loadavg: 0.00 0.00 0.00 3/64 4133 /proc/meminfo: memFree=1789000/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=5628 CPUtime=0.28 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 827 0 0 0 28 0 0 0 19 0 1 0 235412995 5763072 776 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7825281 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4133/statm: 1407 776 309 324 0 477 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 5628 [startup+0.701062 s] /proc/loadavg: 0.00 0.00 0.00 3/64 4133 /proc/meminfo: memFree=1789000/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=6668 CPUtime=0.68 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 1086 0 0 0 68 0 0 0 23 0 1 0 235412995 6828032 1035 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4133/statm: 1667 1035 309 324 0 737 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 6668 [startup+1.50212 s] /proc/loadavg: 0.00 0.00 0.00 2/65 4134 /proc/meminfo: memFree=1785600/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=7192 CPUtime=1.47 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 1220 0 0 0 147 0 0 0 25 0 1 0 235412995 7364608 1169 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7824692 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 1798 1169 309 324 0 868 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 7192 [startup+3.10126 s] /proc/loadavg: 0.00 0.00 0.00 2/65 4134 /proc/meminfo: memFree=1785280/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=7712 CPUtime=3.07 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 1359 0 0 0 307 0 0 0 25 0 1 0 235412995 7897088 1308 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 1928 1308 309 324 0 998 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 7712 [startup+6.30154 s] /proc/loadavg: 0.08 0.02 0.01 2/65 4134 /proc/meminfo: memFree=1784192/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=8228 CPUtime=6.28 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 1479 0 0 0 627 1 0 0 25 0 1 0 235412995 8425472 1428 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 2057 1428 309 324 0 1127 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 8228 [startup+12.7011 s] /proc/loadavg: 0.15 0.03 0.01 2/65 4134 /proc/meminfo: memFree=1783488/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=9116 CPUtime=12.67 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 1695 0 0 0 1266 1 0 0 25 0 1 0 235412995 9334784 1644 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7825281 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 2279 1644 309 324 0 1349 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 9116 [startup+25.5012 s] /proc/loadavg: 0.34 0.08 0.02 2/65 4134 /proc/meminfo: memFree=1782400/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=10148 CPUtime=25.47 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 1962 0 0 0 2546 1 0 0 25 0 1 0 235412995 10391552 1911 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7827225 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 2537 1911 309 324 0 1607 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 10148 [startup+51.1014 s] /proc/loadavg: 0.56 0.15 0.05 2/65 4134 /proc/meminfo: memFree=1781440/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=11164 CPUtime=51.06 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 2214 0 0 0 5104 2 0 0 25 0 1 0 235412995 11431936 2163 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 2791 2163 309 324 0 1861 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 11164 [startup+102.302 s] /proc/loadavg: 0.81 0.28 0.10 2/65 4134 /proc/meminfo: memFree=1781248/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=11376 CPUtime=102.26 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 2273 0 0 0 10224 2 0 0 25 0 1 0 235412995 11649024 2222 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 2844 2222 309 324 0 1914 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 11376 [startup+162.302 s] /proc/loadavg: 0.93 0.41 0.15 2/65 4134 /proc/meminfo: memFree=1780544/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=12088 CPUtime=162.24 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 2442 0 0 0 16222 2 0 0 25 0 1 0 235412995 12378112 2391 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 3022 2391 309 324 0 2092 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 12088 [startup+222.305 s] /proc/loadavg: 0.97 0.51 0.20 2/65 4134 /proc/meminfo: memFree=1780160/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=12444 CPUtime=222.22 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 2532 0 0 0 22220 2 0 0 25 0 1 0 235412995 12742656 2481 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7827092 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 3111 2481 309 324 0 2181 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 12444 [startup+282.301 s] /proc/loadavg: 0.99 0.60 0.25 2/65 4134 /proc/meminfo: memFree=1779456/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=13088 CPUtime=282.2 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 2708 0 0 0 28218 2 0 0 25 0 1 0 235412995 13402112 2657 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 3272 2657 309 324 0 2342 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 13088 [startup+342.301 s] /proc/loadavg: 0.99 0.67 0.29 2/65 4134 /proc/meminfo: memFree=1779136/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=13436 CPUtime=342.2 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 2781 0 0 0 34217 3 0 0 25 0 1 0 235412995 13758464 2730 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 3359 2730 309 324 0 2429 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 13436 [startup+402.302 s] /proc/loadavg: 0.99 0.73 0.33 2/65 4134 /proc/meminfo: memFree=1779136/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=13428 CPUtime=402.18 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 2781 0 0 0 40215 3 0 0 25 0 1 0 235412995 13750272 2730 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 3357 2730 309 324 0 2427 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 13428 [startup+462.302 s] /proc/loadavg: 0.99 0.77 0.37 2/65 4134 /proc/meminfo: memFree=1778624/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=13952 CPUtime=462.16 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 2911 0 0 0 46213 3 0 0 25 0 1 0 235412995 14286848 2860 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551182 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 3488 2860 309 324 0 2558 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 13952 [startup+522.302 s] /proc/loadavg: 0.99 0.81 0.41 2/65 4134 /proc/meminfo: memFree=1778560/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=13884 CPUtime=522.15 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 2911 0 0 0 52212 3 0 0 25 0 1 0 235412995 14217216 2860 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7827807 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 3471 2860 309 324 0 2541 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 13884 [startup+582.301 s] /proc/loadavg: 0.99 0.84 0.44 2/65 4134 /proc/meminfo: memFree=1778560/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=13876 CPUtime=582.13 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 2911 0 0 0 58210 3 0 0 25 0 1 0 235412995 14209024 2860 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 3469 2860 309 324 0 2539 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 13876 [startup+642.301 s] /proc/loadavg: 0.99 0.87 0.47 2/65 4136 /proc/meminfo: memFree=1778368/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=13876 CPUtime=642.12 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 2911 0 0 0 64208 4 0 0 25 0 1 0 235412995 14209024 2860 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 3469 2860 309 324 0 2539 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 13876 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.92 0.56 2/65 4136 /proc/meminfo: memFree=1777664/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=14780 CPUtime=822.08 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 3130 0 0 0 82204 4 0 0 25 0 1 0 235412995 15134720 3079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 3695 3079 309 324 0 2765 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 14780 [startup+882.305 s] /proc/loadavg: 0.99 0.93 0.58 2/65 4136 /proc/meminfo: memFree=1777600/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=14780 CPUtime=882.06 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 3130 0 0 0 88202 4 0 0 25 0 1 0 235412995 15134720 3079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 3695 3079 309 324 0 2765 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 14780 [startup+942.301 s] /proc/loadavg: 0.99 0.94 0.61 2/65 4136 /proc/meminfo: memFree=1777664/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=14780 CPUtime=942.05 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 3130 0 0 0 94200 5 0 0 25 0 1 0 235412995 15134720 3079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 3695 3079 309 324 0 2765 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 14780 [startup+1002.3 s] /proc/loadavg: 0.99 0.95 0.63 2/65 4136 /proc/meminfo: memFree=1777664/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=14744 CPUtime=1002.04 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 3130 0 0 0 100199 5 0 0 25 0 1 0 235412995 15097856 3077 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 3686 3077 309 324 0 2756 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 14744 [startup+1062.3 s] /proc/loadavg: 0.99 0.95 0.65 2/65 4136 /proc/meminfo: memFree=1777664/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=14744 CPUtime=1062.03 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 3130 0 0 0 106198 5 0 0 25 0 1 0 235412995 15097856 3077 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 3686 3077 309 324 0 2756 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 14744 [startup+1122.3 s] /proc/loadavg: 0.99 0.96 0.67 2/65 4136 /proc/meminfo: memFree=1777664/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=14740 CPUtime=1122.01 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 3130 0 0 0 112196 5 0 0 25 0 1 0 235412995 15093760 3076 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573090 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 3685 3076 309 324 0 2755 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 14740 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.68 2/65 4136 /proc/meminfo: memFree=1776960/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=15436 CPUtime=1182 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 3304 0 0 0 118195 5 0 0 25 0 1 0 235412995 15806464 3250 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572854 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 3859 3250 309 324 0 2929 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 15436 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.70 2/65 4136 /proc/meminfo: memFree=1776896/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=15540 CPUtime=1241.98 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 3314 0 0 0 124193 5 0 0 25 0 1 0 235412995 15912960 3260 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 3885 3260 309 324 0 2955 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 15540 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.72 2/65 4136 /proc/meminfo: memFree=1776576/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=15860 CPUtime=1301.97 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 3393 0 0 0 130192 5 0 0 25 0 1 0 235412995 16240640 3339 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7827172 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 3965 3339 309 324 0 3035 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 15860 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.73 2/65 4136 /proc/meminfo: memFree=1776448/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=15980 CPUtime=1361.95 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 3425 0 0 0 136190 5 0 0 25 0 1 0 235412995 16363520 3371 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 3995 3371 309 324 0 3065 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 15980 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.75 2/65 4136 /proc/meminfo: memFree=1776448/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=15976 CPUtime=1421.94 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 3425 0 0 0 142189 5 0 0 25 0 1 0 235412995 16359424 3371 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 3994 3371 309 324 0 3064 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 15976 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.76 2/65 4136 /proc/meminfo: memFree=1776384/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=15976 CPUtime=1481.92 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 3431 0 0 0 148187 5 0 0 25 0 1 0 235412995 16359424 3377 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 3994 3377 309 324 0 3064 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 15976 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.77 2/65 4136 /proc/meminfo: memFree=1776448/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=15976 CPUtime=1541.91 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 3431 0 0 0 154186 5 0 0 25 0 1 0 235412995 16359424 3377 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 3994 3377 309 324 0 3064 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 15976 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.78 2/65 4136 /proc/meminfo: memFree=1776448/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=15976 CPUtime=1601.89 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 3431 0 0 0 160184 5 0 0 25 0 1 0 235412995 16359424 3377 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7826884 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 3994 3377 309 324 0 3064 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 15976 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.79 2/65 4136 /proc/meminfo: memFree=1776384/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=15976 CPUtime=1661.88 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 3431 0 0 0 166183 5 0 0 25 0 1 0 235412995 16359424 3377 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 3994 3377 309 324 0 3064 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 15976 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.80 2/65 4136 /proc/meminfo: memFree=1776064/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=16364 CPUtime=1721.87 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 3521 0 0 0 172182 5 0 0 25 0 1 0 235412995 16756736 3467 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 4091 3467 309 324 0 3161 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 16364 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.82 2/65 4136 /proc/meminfo: memFree=1776000/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=16364 CPUtime=1781.85 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 3521 0 0 0 178180 5 0 0 25 0 1 0 235412995 16756736 3467 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 4091 3467 309 324 0 3161 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 16364 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.82 2/65 4136 /proc/meminfo: memFree=1776000/2055920 swapFree=4183136/4192956 [pid=4133] ppid=4131 vsize=16364 CPUtime=1800.05 /proc/4133/stat : 4133 (bsolo3.0.17) R 4131 4133 4070 0 -1 4194304 3521 0 0 0 180000 5 0 0 25 0 1 0 235412995 16756736 3467 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4133/statm: 4091 3467 309 324 0 3161 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 16364 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.52 CPU time (s): 1800.06 CPU user time (s): 1800.01 CPU system time (s): 0.054991 CPU usage (%): 99.9745 Max. virtual memory (cumulated for all children) (KiB): 16364 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.01 system time used= 0.054991 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3525 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= 12 involuntary context switches= 2639 runsolver used 1.36779 second user time and 3.55546 second system time The end
Begin job on node57 on Mon Apr 30 14:19:30 UTC 2007 IDJOB= 432330 IDBENCH= 1317 IDSOLVER= 199 FILE ID= node57/432330-1177942770 PBS_JOBID= 4727812 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900559676.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432330-1177942770/instance-432330-1177942770.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node57/watcher-432330-1177942770 -o ROOT/results/node57/solver-432330-1177942770 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432330-1177942770/instance-432330-1177942770.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= f4b978648ea0f0ad7162795950b3a449 RANDOM SEED= 599535242 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node57.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.239 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.239 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: 1789600 kB Buffers: 28288 kB Cached: 160360 kB SwapCached: 3792 kB Active: 64548 kB Inactive: 133624 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1789600 kB SwapTotal: 4192956 kB SwapFree: 4183136 kB Dirty: 6680 kB Writeback: 0 kB Mapped: 15408 kB Slab: 54272 kB Committed_AS: 2763452 kB PageTables: 1408 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= 66558 MiB End job on node57 on Mon Apr 30 14:49:33 UTC 2007