Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.0.16 | UNSAT | 1117.77 | 1118.33 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900557957.opb |
MD5SUM | aacf18cf0b8ed9727f2f81c2bd5074e6 |
Bench Category | SATUNSAT-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 | 80.4218 |
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 | 717 |
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.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/350326-1176497617/instance-350326-1176497617.opb 0.00/0.00 c File size is 83375 bytes. 0.00/0.01 c Highest Coefficient sum: 717 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.016 s 0.00/0.02 c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5711 0.00/0.02 c Obj. Vars: 0 (0 % of total variables) 0.00/0.03 c Pre-processing Time: 0.027 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 5473 1880 0 0 0.03 0.00/0.03 c Switching off LPR mode. 1117.74/1118.32 c 100 231 2686 11890 4 5676 2069 100 2857 0.04 1117.74/1118.32 c 252 231 2838 16648 5 5979 2276 252 5250 0.05 1117.74/1118.32 c 477 231 3063 24135 7 6429 2504 477 6534 0.07 1117.74/1118.32 c 816 231 3402 38801 11 7108 2755 816 6688 0.12 1117.74/1118.32 c 1324 231 3910 60338 15 8124 3031 1324 6158 0.21 1117.74/1118.32 c 2087 231 4673 90657 19 9651 3335 2087 5580 0.37 1117.74/1118.32 c 3233 231 5819 134445 23 11943 3669 3233 5051 0.64 1117.74/1118.32 c 4955 231 5617 125162 22 11538 4036 3031 4533 1.09 1117.74/1118.32 c 7544 231 6117 155108 25 12537 4440 3531 4216 1.79 1117.74/1118.32 c 11423 231 5379 122190 22 11063 4885 2793 3842 2.97 1117.74/1118.32 c 17246 231 6092 147983 24 12488 5374 3506 3566 4.83 1117.74/1118.32 c 25983 231 6479 173266 26 13260 5912 3893 3374 7.70 1117.74/1118.32 c 39094 231 7381 249370 33 15065 6504 4795 2974 13.14 1117.74/1118.32 c 58764 231 6853 183572 26 14011 7155 4267 2891 20.32 1117.74/1118.32 c 88275 231 6808 176097 25 13920 7871 4222 2750 32.10 1117.74/1118.32 c 132545 231 6522 166691 25 13349 8659 3936 2562 51.73 1117.74/1118.32 c 198956 231 10884 348423 32 22073 9525 8298 2399 82.92 1117.74/1118.32 c 298578 231 8244 218449 26 16792 10478 5658 2163 137.98 1117.74/1118.32 c 448014 231 7831 215474 27 15966 11526 5245 2021 221.64 1117.74/1118.32 c 672172 231 9062 282486 31 18428 12679 6476 1778 377.87 1117.74/1118.32 c 1008415 231 10090 298798 29 20484 13947 7504 1591 633.54 1117.74/1118.32 c 1512788 226 12603 401262 31 25506 15342 10017 1418 1066.62 1117.74/1118.32 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1117.74/1118.32 c 22 1565785 293228 2092990 11323 264418 8737 1400 1117.77 1117.74/1118.32 s UNSATISFIABLE 1117.74/1118.32 c Total time: 1117.77 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node10/watcher-350326-1176497617 -o ROOT/results/node10/solver-350326-1176497617 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350326-1176497617/instance-350326-1176497617.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.99 1.00 0.97 3/77 2574 /proc/meminfo: memFree=1837032/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=4008 CPUtime=0 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 369 0 0 0 0 0 0 0 18 0 1 0 125799236 4104192 337 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 1002 338 282 324 0 50 0 [startup+0.079229 s] /proc/loadavg: 0.99 1.00 0.97 3/77 2574 /proc/meminfo: memFree=1837032/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=4716 CPUtime=0.07 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 596 0 0 0 7 0 0 0 18 0 1 0 125799236 4829184 543 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 1179 543 310 324 0 248 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4716 [startup+0.101234 s] /proc/loadavg: 0.99 1.00 0.97 3/77 2574 /proc/meminfo: memFree=1837032/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=4716 CPUtime=0.09 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 623 0 0 0 9 0 0 0 18 0 1 0 125799236 4829184 570 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 1179 570 310 324 0 248 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4716 [startup+0.301277 s] /proc/loadavg: 0.99 1.00 0.97 3/77 2574 /proc/meminfo: memFree=1837032/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=5500 CPUtime=0.29 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 795 0 0 0 29 0 0 0 19 0 1 0 125799236 5632000 742 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 1375 742 311 324 0 444 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5500 [startup+0.701364 s] /proc/loadavg: 0.99 1.00 0.97 3/77 2574 /proc/meminfo: memFree=1837032/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=6544 CPUtime=0.69 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 1051 0 0 0 68 1 0 0 22 0 1 0 125799236 6701056 998 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 1636 998 311 324 0 705 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6544 [startup+1.50154 s] /proc/loadavg: 0.99 1.00 0.97 2/78 2575 /proc/meminfo: memFree=1833952/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=7056 CPUtime=1.49 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 1182 0 0 0 148 1 0 0 25 0 1 0 125799236 7225344 1129 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 1764 1129 311 324 0 833 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7056 [startup+3.10188 s] /proc/loadavg: 0.99 1.00 0.97 2/78 2575 /proc/meminfo: memFree=1833312/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=7320 CPUtime=3.09 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 1272 0 0 0 308 1 0 0 25 0 1 0 125799236 7495680 1219 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 1830 1219 311 324 0 899 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7320 [startup+6.30157 s] /proc/loadavg: 0.99 1.00 0.97 2/78 2575 /proc/meminfo: memFree=1832608/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=7960 CPUtime=6.29 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 1413 0 0 0 627 2 0 0 25 0 1 0 125799236 8151040 1360 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 1990 1360 311 324 0 1059 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7960 [startup+12.7019 s] /proc/loadavg: 0.99 1.00 0.97 2/78 2575 /proc/meminfo: memFree=1831800/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=8852 CPUtime=12.69 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 1654 0 0 0 1265 4 0 0 25 0 1 0 125799236 9064448 1601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 2213 1601 311 324 0 1282 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8852 [startup+25.5017 s] /proc/loadavg: 0.99 1.00 0.97 2/78 2575 /proc/meminfo: memFree=1830840/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=9508 CPUtime=25.48 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 1815 0 0 0 2542 6 0 0 25 0 1 0 125799236 9736192 1762 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 2377 1762 311 324 0 1446 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 9508 [startup+51.1012 s] /proc/loadavg: 0.99 1.00 0.97 2/78 2575 /proc/meminfo: memFree=1830456/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=10016 CPUtime=51.07 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 1927 0 0 0 5094 13 0 0 25 0 1 0 125799236 10256384 1874 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 2504 1874 311 324 0 1573 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 10016 [startup+102.305 s] /proc/loadavg: 0.99 1.00 0.97 2/78 2575 /proc/meminfo: memFree=1829368/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=11052 CPUtime=102.26 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 2196 0 0 0 10201 25 0 0 25 0 1 0 125799236 11317248 2143 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 2763 2143 311 324 0 1832 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 11052 [startup+162.301 s] /proc/loadavg: 0.99 1.00 0.97 2/78 2575 /proc/meminfo: memFree=1829112/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=11304 CPUtime=162.23 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 2266 0 0 0 16186 37 0 0 25 0 1 0 125799236 11575296 2213 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 2826 2213 311 324 0 1895 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 11304 [startup+222.301 s] /proc/loadavg: 0.99 1.00 0.97 2/78 2575 /proc/meminfo: memFree=1828856/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=11532 CPUtime=222.2 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 2318 0 0 0 22170 50 0 0 25 0 1 0 125799236 11808768 2265 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 2883 2265 311 324 0 1952 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 11532 [startup+282.302 s] /proc/loadavg: 0.99 1.00 0.97 2/78 2575 /proc/meminfo: memFree=1827960/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=12476 CPUtime=282.18 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 2546 0 0 0 28157 61 0 0 25 0 1 0 125799236 12775424 2493 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 3119 2493 311 324 0 2188 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 12476 [startup+342.302 s] /proc/loadavg: 0.99 1.00 0.97 2/78 2575 /proc/meminfo: memFree=1827640/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=12732 CPUtime=342.16 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 2628 0 0 0 34145 71 0 0 25 0 1 0 125799236 13037568 2575 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 3183 2575 311 324 0 2252 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 12732 [startup+402.302 s] /proc/loadavg: 0.99 1.00 0.97 2/78 2575 /proc/meminfo: memFree=1827384/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=13088 CPUtime=402.13 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 2700 0 0 0 40132 81 0 0 25 0 1 0 125799236 13402112 2647 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9338294 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 3272 2647 311 324 0 2341 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 13088 [startup+462.302 s] /proc/loadavg: 0.99 1.00 0.97 2/84 2665 /proc/meminfo: memFree=1826040/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=13088 CPUtime=462.07 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 2700 0 0 0 46117 90 0 0 25 0 1 0 125799236 13402112 2647 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 3272 2647 311 324 0 2341 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 13088 [startup+522.302 s] /proc/loadavg: 0.99 1.00 0.97 2/78 2773 /proc/meminfo: memFree=1827064/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=13084 CPUtime=521.97 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 2700 0 0 0 52097 100 0 0 25 0 1 0 125799236 13398016 2647 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 3271 2647 311 324 0 2340 0 Current children cumulated CPU time (s) 521.97 Current children cumulated vsize (KiB) 13084 [startup+582.302 s] /proc/loadavg: 0.99 1.00 0.97 2/78 2773 /proc/meminfo: memFree=1827128/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=13080 CPUtime=581.94 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 2711 0 0 0 58084 110 0 0 25 0 1 0 125799236 13393920 2658 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 3270 2658 311 324 0 2339 0 Current children cumulated CPU time (s) 581.94 Current children cumulated vsize (KiB) 13080 [startup+642.302 s] /proc/loadavg: 0.99 1.00 0.97 2/78 2773 /proc/meminfo: memFree=1827128/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=13084 CPUtime=641.93 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 2712 0 0 0 64073 120 0 0 25 0 1 0 125799236 13398016 2659 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9338532 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 3271 2659 311 324 0 2340 0 Current children cumulated CPU time (s) 641.93 Current children cumulated vsize (KiB) 13084 [startup+702.301 s] /proc/loadavg: 0.99 1.00 0.97 2/78 2773 /proc/meminfo: memFree=1826104/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=14200 CPUtime=701.9 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 2978 0 0 0 70062 128 0 0 25 0 1 0 125799236 14540800 2925 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 3550 2925 311 324 0 2619 0 Current children cumulated CPU time (s) 701.9 Current children cumulated vsize (KiB) 14200 [startup+762.305 s] /proc/loadavg: 0.99 1.00 0.97 2/78 2773 /proc/meminfo: memFree=1825848/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=14416 CPUtime=761.88 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 3032 0 0 0 76051 137 0 0 25 0 1 0 125799236 14761984 2979 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 3604 2979 311 324 0 2673 0 Current children cumulated CPU time (s) 761.88 Current children cumulated vsize (KiB) 14416 [startup+822.301 s] /proc/loadavg: 0.99 1.00 0.97 2/78 2773 /proc/meminfo: memFree=1825912/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=14416 CPUtime=821.85 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 3032 0 0 0 82040 145 0 0 25 0 1 0 125799236 14761984 2979 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9346717 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 3604 2979 311 324 0 2673 0 Current children cumulated CPU time (s) 821.85 Current children cumulated vsize (KiB) 14416 [startup+882.301 s] /proc/loadavg: 0.99 1.00 0.97 2/78 2773 /proc/meminfo: memFree=1825912/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=14380 CPUtime=881.83 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 3032 0 0 0 88029 154 0 0 25 0 1 0 125799236 14725120 2979 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 3595 2979 311 324 0 2664 0 Current children cumulated CPU time (s) 881.83 Current children cumulated vsize (KiB) 14380 [startup+942.301 s] /proc/loadavg: 0.99 1.00 0.97 2/78 2773 /proc/meminfo: memFree=1825912/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=14380 CPUtime=941.81 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 3032 0 0 0 94017 164 0 0 25 0 1 0 125799236 14725120 2979 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 3595 2979 311 324 0 2664 0 Current children cumulated CPU time (s) 941.81 Current children cumulated vsize (KiB) 14380 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 0.97 2/78 2773 /proc/meminfo: memFree=1825912/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=14380 CPUtime=1001.78 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 3032 0 0 0 100003 175 0 0 25 0 1 0 125799236 14725120 2979 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 3595 2979 311 324 0 2664 0 Current children cumulated CPU time (s) 1001.78 Current children cumulated vsize (KiB) 14380 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 0.97 2/78 2773 /proc/meminfo: memFree=1825976/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=14380 CPUtime=1061.76 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 3032 0 0 0 105992 184 0 0 25 0 1 0 125799236 14725120 2979 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 3595 2979 311 324 0 2664 0 Current children cumulated CPU time (s) 1061.76 Current children cumulated vsize (KiB) 14380 Solver just ended. Dumping a history of the last processes samples [startup+1075.1 s] /proc/loadavg: 0.99 1.00 0.97 2/78 2773 /proc/meminfo: memFree=1825976/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=14384 CPUtime=1074.55 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 3033 0 0 0 107270 185 0 0 25 0 1 0 125799236 14729216 2980 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 3596 2980 311 324 0 2665 0 Current children cumulated CPU time (s) 1074.55 Current children cumulated vsize (KiB) 14384 [startup+1100.7 s] /proc/loadavg: 0.99 1.00 0.97 2/78 2773 /proc/meminfo: memFree=1825976/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=14384 CPUtime=1100.14 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 3033 0 0 0 109825 189 0 0 25 0 1 0 125799236 14729216 2980 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 3596 2980 311 324 0 2665 0 Current children cumulated CPU time (s) 1100.14 Current children cumulated vsize (KiB) 14384 [startup+1107.1 s] /proc/loadavg: 0.99 1.00 0.97 2/78 2773 /proc/meminfo: memFree=1826040/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=14384 CPUtime=1106.54 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 3033 0 0 0 110464 190 0 0 25 0 1 0 125799236 14729216 2980 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 3596 2980 311 324 0 2665 0 Current children cumulated CPU time (s) 1106.54 Current children cumulated vsize (KiB) 14384 [startup+1113.5 s] /proc/loadavg: 0.99 1.00 0.97 2/78 2773 /proc/meminfo: memFree=1826040/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=14384 CPUtime=1112.94 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 3033 0 0 0 111103 191 0 0 25 0 1 0 125799236 14729216 2980 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 3596 2980 311 324 0 2665 0 Current children cumulated CPU time (s) 1112.94 Current children cumulated vsize (KiB) 14384 [startup+1116.7 s] /proc/loadavg: 0.99 1.00 0.97 2/78 2773 /proc/meminfo: memFree=1826040/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=14384 CPUtime=1116.13 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 3033 0 0 0 111422 191 0 0 25 0 1 0 125799236 14729216 2980 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 3596 2980 311 324 0 2665 0 Current children cumulated CPU time (s) 1116.13 Current children cumulated vsize (KiB) 14384 [startup+1117.5 s] /proc/loadavg: 0.99 1.00 0.97 2/78 2773 /proc/meminfo: memFree=1826040/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=14384 CPUtime=1116.94 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 3033 0 0 0 111503 191 0 0 25 0 1 0 125799236 14729216 2980 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 3596 2980 311 324 0 2665 0 Current children cumulated CPU time (s) 1116.94 Current children cumulated vsize (KiB) 14384 [startup+1117.9 s] /proc/loadavg: 0.99 1.00 0.97 2/78 2773 /proc/meminfo: memFree=1826040/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=14384 CPUtime=1117.33 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 3033 0 0 0 111542 191 0 0 25 0 1 0 125799236 14729216 2980 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 3596 2980 311 324 0 2665 0 Current children cumulated CPU time (s) 1117.33 Current children cumulated vsize (KiB) 14384 [startup+1118.3 s] /proc/loadavg: 0.99 1.00 0.97 2/78 2773 /proc/meminfo: memFree=1826040/2055920 swapFree=4171784/4192956 [pid=2574] ppid=2572 vsize=14384 CPUtime=1117.74 /proc/2574/stat : 2574 (bsolo3.0.16) R 2572 2574 1984 0 -1 4194304 3033 0 0 0 111582 192 0 0 25 0 1 0 125799236 14729216 2980 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2574/statm: 3596 2980 311 324 0 2665 0 Current children cumulated CPU time (s) 1117.74 Current children cumulated vsize (KiB) 14384 Child status: 0 Real time (s): 1118.33 CPU time (s): 1117.77 CPU user time (s): 1115.85 CPU system time (s): 1.92271 CPU usage (%): 99.9503 Max. virtual memory (cumulated for all children) (KiB): 14416 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1115.85 system time used= 1.92271 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3034 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= 11 involuntary context switches= 1951 runsolver used 1.37079 second user time and 2.6096 second system time The end
Begin job on node10 on Fri Apr 13 20:53:37 UTC 2007 IDJOB= 350326 IDBENCH= 1281 IDSOLVER= 163 FILE ID= node10/350326-1176497617 PBS_JOBID= 4556683 Free space on /tmp= 66556 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557957.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350326-1176497617/instance-350326-1176497617.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-350326-1176497617 -o ROOT/results/node10/solver-350326-1176497617 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350326-1176497617/instance-350326-1176497617.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= aacf18cf0b8ed9727f2f81c2bd5074e6 RANDOM SEED= 902182753 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node10.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.259 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.259 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: 1837440 kB Buffers: 36524 kB Cached: 90980 kB SwapCached: 1356 kB Active: 61604 kB Inactive: 101372 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1837440 kB SwapTotal: 4192956 kB SwapFree: 4171784 kB Dirty: 4484 kB Writeback: 0 kB Mapped: 44800 kB Slab: 41072 kB Committed_AS: 2159424 kB PageTables: 1708 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= 66556 MiB End job on node10 on Fri Apr 13 21:12:16 UTC 2007