Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.2 Card | ? | 1798.01 | 1798.75 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900576151.opb |
MD5SUM | 8485c5b622ae9efcb86cc93d1fd8b600 |
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 | 203.568 |
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 | 697 |
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.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656829-1276300360.opb 0.00/0.00 c File size is 83377 bytes. 0.00/0.01 c Highest Coefficient sum: 697 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: 5706 0.00/0.01 c Obj. Vars: 0 (0 % of total variables) 0.00/0.02 c Pre-processing Time: 0.025 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 5472 1880 0 0 0.03 0.00/0.02 c Switching off lower bounding mode. 1797.95/1798.74 c 101 231 2754 14314 5 5813 2069 168 2244 0.04 1797.95/1798.74 c 251 231 2974 22964 7 6251 2276 388 3177 0.08 1797.95/1798.74 c 477 231 3246 34916 10 6801 2504 660 3057 0.16 1797.95/1798.74 c 815 231 3601 48894 13 7600 2755 1015 2753 0.30 1797.95/1798.74 c 1326 231 4131 71447 17 8692 3031 1545 2455 0.54 1797.95/1798.74 c 2090 231 4963 109362 22 10413 3335 2377 2230 0.94 1797.95/1798.74 c 3236 231 4423 79888 18 9222 3669 1837 2023 1.60 1797.95/1798.74 c 4958 231 4422 82284 18 9164 4036 1836 1953 2.54 1797.95/1798.74 c 7545 231 5052 97717 19 10432 4440 2466 1885 4.00 1797.95/1798.74 c 11427 231 6869 161366 23 14072 4885 4283 1879 6.08 1797.95/1798.74 c 17249 231 5432 118744 21 11304 5374 2846 1806 9.55 1797.95/1798.74 c 25987 231 6368 155516 24 13175 5912 3782 1750 14.85 1797.95/1798.74 c 39099 231 8223 260189 31 16995 6504 5637 1640 23.84 1797.95/1798.74 c 58769 231 5912 132199 22 12163 7155 3326 1513 38.83 1797.95/1798.74 c 88280 231 8743 253550 29 17880 7871 6157 1455 60.65 1797.95/1798.74 c 132551 231 7936 236402 29 16395 8659 5350 1324 100.07 1797.95/1798.74 c 198961 231 6983 222862 31 14369 9525 4397 1214 163.89 1797.95/1798.74 c 298582 231 11625 355151 30 23760 10478 9039 1158 257.72 1797.95/1798.74 c 448018 231 10257 285146 27 20854 11526 7671 1084 413.30 1797.95/1798.74 c 672177 231 11270 355692 31 22947 12679 8684 998 673.02 1797.95/1798.74 c 1008424 231 10534 277352 26 21447 13947 7948 946 1065.47 1797.95/1798.74 c 1512796 231 12928 421671 32 26298 15342 10342 853 1771.92 1797.95/1798.74 c Resources Exceeded 1797.95/1798.74 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.74 c 22 1530261 308930 2087112 16674 608940 14088 851 1798.00 1797.95/1798.74 s UNKNOWN 1797.95/1798.74 c Total time: 1798 s
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656829-1276300360/watcher-2656829-1276300360 -o /tmp/evaluation-result-2656829-1276300360/solver-2656829-1276300360 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656829-1276300360.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: 0.93 0.99 0.99 3/106 8274 /proc/meminfo: memFree=1775432/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=10880 CPUtime=0 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 329 0 0 0 0 0 0 0 19 0 1 0 5637564 11141120 248 1992294400 134512640 137138936 4292378064 18446744073709551615 134517302 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 2720 248 174 642 0 2055 0 [startup+0.0352991 s] /proc/loadavg: 0.93 0.99 0.99 3/106 8274 /proc/meminfo: memFree=1775432/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=11328 CPUtime=0.02 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 483 0 0 0 2 0 0 0 19 0 1 0 5637564 11599872 381 1992294400 134512640 137138936 4292378064 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 2832 381 192 642 0 2188 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11328 [startup+0.100312 s] /proc/loadavg: 0.93 0.99 0.99 3/106 8274 /proc/meminfo: memFree=1775432/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=11444 CPUtime=0.09 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 515 0 0 0 9 0 0 0 19 0 1 0 5637564 11718656 413 1992294400 134512640 137138936 4292378064 18446744073709551615 134551143 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 2861 413 192 642 0 2217 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11444 [startup+0.300351 s] /proc/loadavg: 0.93 0.99 0.99 3/106 8274 /proc/meminfo: memFree=1775432/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=11816 CPUtime=0.28 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 608 0 0 0 28 0 0 0 20 0 1 0 5637564 12099584 506 1992294400 134512640 137138936 4292378064 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 2954 506 192 642 0 2310 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 11816 [startup+0.700428 s] /proc/loadavg: 0.93 0.99 0.99 3/106 8274 /proc/meminfo: memFree=1775432/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=12436 CPUtime=0.69 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 761 0 0 0 68 1 0 0 21 0 1 0 5637564 12734464 659 1992294400 134512640 137138936 4292378064 18446744073709551615 134607623 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 3109 659 192 642 0 2465 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12436 [startup+1.50059 s] /proc/loadavg: 0.93 0.99 0.99 2/107 8275 /proc/meminfo: memFree=1772944/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=13304 CPUtime=1.49 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 996 0 0 0 148 1 0 0 23 0 1 0 5637564 13623296 894 1992294400 134512640 137138936 4292378064 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 3326 894 192 642 0 2682 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13304 [startup+3.1009 s] /proc/loadavg: 0.93 0.99 0.99 2/107 8277 /proc/meminfo: memFree=1772200/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=13436 CPUtime=3.09 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 1036 0 0 0 307 2 0 0 25 0 1 0 5637564 13758464 934 1992294400 134512640 137138936 4292378064 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 3359 934 192 642 0 2715 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13436 [startup+6.30052 s] /proc/loadavg: 1.02 1.00 1.00 2/107 8277 /proc/meminfo: memFree=1771580/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=13816 CPUtime=6.29 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 1127 0 0 0 626 3 0 0 25 0 1 0 5637564 14147584 1025 1992294400 134512640 137138936 4292378064 18446744073709551615 134575324 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 3454 1025 192 642 0 2810 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13816 [startup+12.7008 s] /proc/loadavg: 1.02 1.00 1.00 2/107 8277 /proc/meminfo: memFree=1770836/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=14428 CPUtime=12.69 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 1280 0 0 0 1264 5 0 0 25 0 1 0 5637564 14774272 1178 1992294400 134512640 137138936 4292378064 18446744073709551615 134606686 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 3607 1178 192 642 0 2963 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14428 [startup+25.5003 s] /proc/loadavg: 1.01 1.00 1.00 2/107 8277 /proc/meminfo: memFree=1769472/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=15780 CPUtime=25.48 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 1610 0 0 0 2540 8 0 0 25 0 1 0 5637564 16158720 1508 1992294400 134512640 137138936 4292378064 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 3945 1508 192 642 0 3301 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15780 [startup+51.1003 s] /proc/loadavg: 1.01 1.00 1.00 2/107 8277 /proc/meminfo: memFree=1769348/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=16028 CPUtime=51.07 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 1659 0 0 0 5092 15 0 0 25 0 1 0 5637564 16412672 1557 1992294400 134512640 137138936 4292378064 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 4007 1557 192 642 0 3363 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 16028 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8279 /proc/meminfo: memFree=1768108/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=17024 CPUtime=102.26 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 1931 0 0 0 10199 27 0 0 25 0 1 0 5637564 17432576 1829 1992294400 134512640 137138936 4292378064 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 4256 1829 192 642 0 3612 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 17024 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8281 /proc/meminfo: memFree=1767116/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=17984 CPUtime=162.23 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 2151 0 0 0 16181 42 0 0 25 0 1 0 5637564 18415616 2049 1992294400 134512640 137138936 4292378064 18446744073709551615 136504274 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 4496 2049 192 642 0 3852 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 17984 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8281 /proc/meminfo: memFree=1766744/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=18228 CPUtime=222.2 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 2231 0 0 0 22162 58 0 0 25 0 1 0 5637564 18665472 2129 1992294400 134512640 137138936 4292378064 18446744073709551615 134601161 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 4557 2129 192 642 0 3913 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 18228 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8283 /proc/meminfo: memFree=1766372/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=18592 CPUtime=282.17 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 2325 0 0 0 28147 70 0 0 25 0 1 0 5637564 19038208 2223 1992294400 134512640 137138936 4292378064 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 4648 2223 192 642 0 4004 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 18592 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8285 /proc/meminfo: memFree=1766372/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=18760 CPUtime=342.16 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 2350 0 0 0 34131 85 0 0 25 0 1 0 5637564 19210240 2248 1992294400 134512640 137138936 4292378064 18446744073709551615 134601154 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 4690 2248 192 642 0 4046 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 18760 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8287 /proc/meminfo: memFree=1766372/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=18760 CPUtime=402.13 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 2350 0 0 0 40117 96 0 0 25 0 1 0 5637564 19210240 2248 1992294400 134512640 137138936 4292378064 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 4690 2248 192 642 0 4046 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 18760 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8289 /proc/meminfo: memFree=1765132/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=19860 CPUtime=462.11 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 2622 0 0 0 46102 109 0 0 25 0 1 0 5637564 20336640 2520 1992294400 134512640 137138936 4292378064 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 4965 2520 192 642 0 4321 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 19860 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8298 /proc/meminfo: memFree=1763892/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=19840 CPUtime=522.06 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 2622 0 0 0 52084 122 0 0 25 0 1 0 5637564 20316160 2520 1992294400 134512640 137138936 4292378064 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 4960 2520 192 642 0 4316 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 19840 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8300 /proc/meminfo: memFree=1763892/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=19832 CPUtime=582.04 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 2622 0 0 0 58068 136 0 0 25 0 1 0 5637564 20307968 2520 1992294400 134512640 137138936 4292378064 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 4958 2520 192 642 0 4314 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 19832 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8302 /proc/meminfo: memFree=1763892/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=19832 CPUtime=642.02 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 2622 0 0 0 64054 148 0 0 25 0 1 0 5637564 20307968 2520 1992294400 134512640 137138936 4292378064 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 4958 2520 192 642 0 4314 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 19832 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1763520/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=20920 CPUtime=1061.85 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 2890 0 0 0 105948 237 0 0 25 0 1 0 5637564 21422080 2788 1992294400 134512640 137138936 4292378064 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 5230 2788 192 642 0 4586 0 Current children cumulated CPU time (s) 1061.85 Current children cumulated vsize (KiB) 20920 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8314 /proc/meminfo: memFree=1763520/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=20924 CPUtime=1121.83 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 2891 0 0 0 111933 250 0 0 25 0 1 0 5637564 21426176 2789 1992294400 134512640 137138936 4292378064 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 5231 2789 192 642 0 4587 0 Current children cumulated CPU time (s) 1121.83 Current children cumulated vsize (KiB) 20924 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8316 /proc/meminfo: memFree=1763520/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=20924 CPUtime=1181.8 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 2891 0 0 0 117917 263 0 0 25 0 1 0 5637564 21426176 2789 1992294400 134512640 137138936 4292378064 18446744073709551615 136520918 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 5231 2789 192 642 0 4587 0 Current children cumulated CPU time (s) 1181.8 Current children cumulated vsize (KiB) 20924 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8318 /proc/meminfo: memFree=1763396/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=20924 CPUtime=1241.78 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 2891 0 0 0 123904 274 0 0 25 0 1 0 5637564 21426176 2789 1992294400 134512640 137138936 4292378064 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 5231 2789 192 642 0 4587 0 Current children cumulated CPU time (s) 1241.78 Current children cumulated vsize (KiB) 20924 [startup+1302.3 s] /proc/loadavg: 1.06 1.01 1.00 2/107 8323 /proc/meminfo: memFree=1762404/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=20924 CPUtime=1301.76 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 2891 0 0 0 129889 287 0 0 25 0 1 0 5637564 21426176 2789 1992294400 134512640 137138936 4292378064 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 5231 2789 192 642 0 4587 0 Current children cumulated CPU time (s) 1301.76 Current children cumulated vsize (KiB) 20924 [startup+1362.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 8325 /proc/meminfo: memFree=1762404/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=20924 CPUtime=1361.72 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 2891 0 0 0 135876 296 0 0 25 0 1 0 5637564 21426176 2789 1992294400 134512640 137138936 4292378064 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 5231 2789 192 642 0 4587 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 20924 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8325 /proc/meminfo: memFree=1762404/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=20924 CPUtime=1421.71 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 2891 0 0 0 141863 308 0 0 25 0 1 0 5637564 21426176 2789 1992294400 134512640 137138936 4292378064 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 5231 2789 192 642 0 4587 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 20924 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8327 /proc/meminfo: memFree=1762404/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=20924 CPUtime=1481.68 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 2891 0 0 0 147849 319 0 0 25 0 1 0 5637564 21426176 2789 1992294400 134512640 137138936 4292378064 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 5231 2789 192 642 0 4587 0 Current children cumulated CPU time (s) 1481.68 Current children cumulated vsize (KiB) 20924 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8329 /proc/meminfo: memFree=1762404/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=20924 CPUtime=1541.65 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 2891 0 0 0 153837 328 0 0 25 0 1 0 5637564 21426176 2789 1992294400 134512640 137138936 4292378064 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 5231 2789 192 642 0 4587 0 Current children cumulated CPU time (s) 1541.65 Current children cumulated vsize (KiB) 20924 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8331 /proc/meminfo: memFree=1762404/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=20924 CPUtime=1601.63 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 2891 0 0 0 159825 338 0 0 25 0 1 0 5637564 21426176 2789 1992294400 134512640 137138936 4292378064 18446744073709551615 136296993 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 5231 2789 192 642 0 4587 0 Current children cumulated CPU time (s) 1601.63 Current children cumulated vsize (KiB) 20924 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8333 /proc/meminfo: memFree=1762404/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=20924 CPUtime=1661.6 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 2891 0 0 0 165812 348 0 0 25 0 1 0 5637564 21426176 2789 1992294400 134512640 137138936 4292378064 18446744073709551615 134618216 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 5231 2789 192 642 0 4587 0 Current children cumulated CPU time (s) 1661.6 Current children cumulated vsize (KiB) 20924 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8333 /proc/meminfo: memFree=1762404/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=21484 CPUtime=1721.58 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 3031 0 0 0 171799 359 0 0 25 0 1 0 5637564 21999616 2929 1992294400 134512640 137138936 4292378064 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 5371 2929 192 642 0 4727 0 Current children cumulated CPU time (s) 1721.58 Current children cumulated vsize (KiB) 21484 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8335 /proc/meminfo: memFree=1762404/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=21488 CPUtime=1781.55 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 3032 0 0 0 177784 371 0 0 25 0 1 0 5637564 22003712 2930 1992294400 134512640 137138936 4292378064 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 5372 2930 192 642 0 4728 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (KiB) 21488 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8335 /proc/meminfo: memFree=1762404/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=21488 CPUtime=1791.16 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 3032 0 0 0 178743 373 0 0 25 0 1 0 5637564 22003712 2930 1992294400 134512640 137138936 4292378064 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 5372 2930 192 642 0 4728 0 Current children cumulated CPU time (s) 1791.16 Current children cumulated vsize (KiB) 21488 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8335 /proc/meminfo: memFree=1762404/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=21488 CPUtime=1794.36 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 3032 0 0 0 179062 374 0 0 25 0 1 0 5637564 22003712 2930 1992294400 134512640 137138936 4292378064 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 5372 2930 192 642 0 4728 0 Current children cumulated CPU time (s) 1794.36 Current children cumulated vsize (KiB) 21488 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8335 /proc/meminfo: memFree=1762404/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=21488 CPUtime=1795.96 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 3032 0 0 0 179221 375 0 0 25 0 1 0 5637564 22003712 2930 1992294400 134512640 137138936 4292378064 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 5372 2930 192 642 0 4728 0 Current children cumulated CPU time (s) 1795.96 Current children cumulated vsize (KiB) 21488 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8335 /proc/meminfo: memFree=1762404/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=21488 CPUtime=1796.76 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 3032 0 0 0 179301 375 0 0 25 0 1 0 5637564 22003712 2930 1992294400 134512640 137138936 4292378064 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 5372 2930 192 642 0 4728 0 Current children cumulated CPU time (s) 1796.76 Current children cumulated vsize (KiB) 21488 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8335 /proc/meminfo: memFree=1762404/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=21488 CPUtime=1797.55 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 3032 0 0 0 179380 375 0 0 25 0 1 0 5637564 22003712 2930 1992294400 134512640 137138936 4292378064 18446744073709551615 136297633 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 5372 2930 192 642 0 4728 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (KiB) 21488 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8335 /proc/meminfo: memFree=1762404/2059040 swapFree=4192076/4192956 [pid=8274] ppid=8272 vsize=21488 CPUtime=1797.95 /proc/8274/stat : 8274 (bsolo_pb10) R 8272 8274 7304 0 -1 4202496 3032 0 0 0 179420 375 0 0 25 0 1 0 5637564 22003712 2930 1992294400 134512640 137138936 4292378064 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8274/statm: 5372 2930 192 642 0 4728 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 21488 Child status: 0 Real time (s): 1798.75 CPU time (s): 1798.01 CPU user time (s): 1794.25 CPU system time (s): 3.75543 CPU usage (%): 99.9587 Max. virtual memory (cumulated for all children) (KiB): 21544 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.25 system time used= 3.75543 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3032 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= 1 involuntary context switches= 9838 runsolver used 2.86956 second user time and 8.58769 second system time The end
Begin job on node011 at 2010-06-12 01:52:40 IDJOB=2656829 IDBENCH=1327 IDSOLVER=1162 FILE ID=node011/2656829-1276300360 PBS_JOBID= 11173114 Free space on /tmp= 62260 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576151.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656829-1276300360/watcher-2656829-1276300360 -o /tmp/evaluation-result-2656829-1276300360/solver-2656829-1276300360 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656829-1276300360.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8485c5b622ae9efcb86cc93d1fd8b600 RANDOM SEED=240379490 node011.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.264 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 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.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1775836 kB Buffers: 44220 kB Cached: 114604 kB SwapCached: 0 kB Active: 115008 kB Inactive: 102068 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1775836 kB SwapTotal: 4192956 kB SwapFree: 4192076 kB Dirty: 3980 kB Writeback: 0 kB AnonPages: 58276 kB Mapped: 15392 kB Slab: 44448 kB PageTables: 4028 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180056 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62256 MiB End job on node011 at 2010-06-12 02:22:39