Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.2 Card | ? | 1798 | 1798.54 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900577940.opb |
MD5SUM | 07abcf74f2aa8e328290ac3dd6aefa51 |
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 | 208.517 |
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 | 661 |
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-2656439-1276285533.opb 0.00/0.00 c File size is 83385 bytes. 0.00/0.01 c Highest Coefficient sum: 661 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: 5711 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 5474 1880 0 0 0.03 0.00/0.02 c Switching off lower bounding mode. 1797.96/1798.54 c 101 231 2749 13984 5 5805 2069 163 2295 0.04 1797.96/1798.54 c 252 231 2981 22023 7 6268 2276 395 3111 0.08 1797.96/1798.54 c 479 231 3277 36982 11 6871 2504 691 2938 0.16 1797.96/1798.54 c 817 231 3657 54245 14 7660 2755 1071 2797 0.29 1797.96/1798.54 c 1326 231 4222 78342 18 8847 3031 1636 2545 0.52 1797.96/1798.54 c 2090 231 5056 117421 23 10546 3335 2470 2209 0.95 1797.96/1798.54 c 3236 231 4542 87102 19 9448 3669 1956 1958 1.65 1797.96/1798.54 c 4957 231 4483 82246 18 9273 4036 1897 1884 2.63 1797.96/1798.54 c 7541 231 5119 114688 22 10563 4440 2533 1860 4.05 1797.96/1798.54 c 11421 231 7026 220783 31 14466 4885 4440 1728 6.61 1797.96/1798.54 c 17243 231 5826 158573 27 12007 5374 3240 1564 11.02 1797.96/1798.54 c 25981 231 5498 155824 28 11347 5912 2912 1478 17.57 1797.96/1798.54 c 39091 231 5956 156951 26 12282 6504 3370 1322 29.57 1797.96/1798.54 c 58762 231 6899 165161 23 14142 7155 4313 1299 45.20 1797.96/1798.54 c 88273 231 8943 286278 32 18350 7871 6357 1308 67.45 1797.96/1798.54 c 132544 231 7722 260547 33 15831 8659 5136 1280 103.48 1797.96/1798.54 c 198955 231 7741 253213 32 15956 9525 5155 1181 168.35 1797.96/1798.54 c 298578 231 11570 388527 33 23586 10478 8984 1087 274.65 1797.96/1798.54 c 448014 231 11898 388568 32 24127 11526 9312 1030 434.76 1797.96/1798.54 c 672176 231 12337 401505 32 25048 12679 9751 949 708.09 1797.96/1798.54 c 1008420 231 12523 409973 32 25571 13947 9937 878 1147.66 1797.96/1798.54 c Resources Exceeded 1797.96/1798.54 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.54 c 21 1463340 272225 1940427 12684 425241 10098 813 1798.00 1797.96/1798.54 s UNKNOWN 1797.96/1798.54 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-2656439-1276285533/watcher-2656439-1276285533 -o /tmp/evaluation-result-2656439-1276285533/solver-2656439-1276285533 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656439-1276285533.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.92 0.98 0.99 3/107 4956 /proc/meminfo: memFree=1528660/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=10880 CPUtime=0 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 337 0 0 0 0 0 0 0 17 0 1 0 2209000 11141120 256 1992294400 134512640 137138936 4294216304 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 2720 256 175 642 0 2055 0 [startup+0.0333799 s] /proc/loadavg: 0.92 0.98 0.99 3/107 4956 /proc/meminfo: memFree=1528660/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=11328 CPUtime=0.02 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 483 0 0 0 2 0 0 0 17 0 1 0 2209000 11599872 381 1992294400 134512640 137138936 4294216304 18446744073709551615 134606958 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 2832 381 192 642 0 2188 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11328 [startup+0.101386 s] /proc/loadavg: 0.92 0.98 0.99 3/107 4956 /proc/meminfo: memFree=1528660/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=11448 CPUtime=0.09 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 514 0 0 0 9 0 0 0 17 0 1 0 2209000 11722752 412 1992294400 134512640 137138936 4294216304 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 2862 412 192 642 0 2218 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11448 [startup+0.301404 s] /proc/loadavg: 0.92 0.98 0.99 3/107 4956 /proc/meminfo: memFree=1528660/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=11824 CPUtime=0.29 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 630 0 0 0 29 0 0 0 17 0 1 0 2209000 12107776 528 1992294400 134512640 137138936 4294216304 18446744073709551615 134544815 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 2956 528 192 642 0 2312 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11824 [startup+0.701438 s] /proc/loadavg: 0.92 0.98 0.99 3/107 4956 /proc/meminfo: memFree=1528660/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=12444 CPUtime=0.69 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 778 0 0 0 69 0 0 0 17 0 1 0 2209000 12742656 676 1992294400 134512640 137138936 4294216304 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 3111 676 192 642 0 2467 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12444 [startup+1.50051 s] /proc/loadavg: 0.92 0.98 0.99 2/108 4957 /proc/meminfo: memFree=1526296/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=13436 CPUtime=1.49 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 1011 0 0 0 149 0 0 0 18 0 1 0 2209000 13758464 909 1992294400 134512640 137138936 4294216304 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 3359 909 192 642 0 2715 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13436 [startup+3.10065 s] /proc/loadavg: 0.92 0.98 0.99 2/108 4957 /proc/meminfo: memFree=1525552/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=13564 CPUtime=3.09 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 1046 0 0 0 308 1 0 0 21 0 1 0 2209000 13889536 944 1992294400 134512640 137138936 4294216304 18446744073709551615 134575813 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 3391 944 192 642 0 2747 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13564 [startup+6.30092 s] /proc/loadavg: 0.93 0.98 0.99 2/108 4957 /proc/meminfo: memFree=1524560/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=14316 CPUtime=6.28 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 1238 0 0 0 627 1 0 0 25 0 1 0 2209000 14659584 1136 1992294400 134512640 137138936 4294216304 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 3579 1136 192 642 0 2935 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 14316 [startup+12.7005 s] /proc/loadavg: 0.93 0.98 0.99 2/108 4959 /proc/meminfo: memFree=1523816/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=15068 CPUtime=12.69 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 1443 0 0 0 1266 3 0 0 25 0 1 0 2209000 15429632 1341 1992294400 134512640 137138936 4294216304 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 3767 1341 192 642 0 3123 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15068 [startup+25.5016 s] /proc/loadavg: 0.95 0.98 0.99 2/108 4959 /proc/meminfo: memFree=1522948/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=15812 CPUtime=25.48 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 1612 0 0 0 2542 6 0 0 25 0 1 0 2209000 16191488 1510 1992294400 134512640 137138936 4294216304 18446744073709551615 134606655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 3953 1510 192 642 0 3309 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15812 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.99 2/108 4959 /proc/meminfo: memFree=1522576/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=16184 CPUtime=51.07 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 1711 0 0 0 5094 13 0 0 25 0 1 0 2209000 16572416 1609 1992294400 134512640 137138936 4294216304 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 4046 1609 192 642 0 3402 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 16184 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/108 4961 /proc/meminfo: memFree=1521832/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=16792 CPUtime=102.26 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 1852 0 0 0 10199 27 0 0 25 0 1 0 2209000 17195008 1750 1992294400 134512640 137138936 4294216304 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 4198 1750 192 642 0 3554 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 16792 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 4963 /proc/meminfo: memFree=1520468/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=18020 CPUtime=162.24 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 2179 0 0 0 16184 40 0 0 25 0 1 0 2209000 18452480 2077 1992294400 134512640 137138936 4294216304 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 4505 2077 192 642 0 3861 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 18020 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/108 4963 /proc/meminfo: memFree=1520096/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=18488 CPUtime=222.23 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 2276 0 0 0 22169 54 0 0 25 0 1 0 2209000 18931712 2174 1992294400 134512640 137138936 4294216304 18446744073709551615 134575747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 4622 2174 192 642 0 3978 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 18488 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/108 4965 /proc/meminfo: memFree=1520096/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=18456 CPUtime=282.2 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 2277 0 0 0 28154 66 0 0 25 0 1 0 2209000 18898944 2175 1992294400 134512640 137138936 4294216304 18446744073709551615 134542817 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 4614 2175 192 642 0 3970 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 18456 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/108 4967 /proc/meminfo: memFree=1519228/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=19308 CPUtime=342.18 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 2488 0 0 0 34139 79 0 0 25 0 1 0 2209000 19771392 2386 1992294400 134512640 137138936 4294216304 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 4827 2386 192 642 0 4183 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 19308 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 4969 /proc/meminfo: memFree=1519104/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=19308 CPUtime=402.17 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 2488 0 0 0 40122 95 0 0 25 0 1 0 2209000 19771392 2386 1992294400 134512640 137138936 4294216304 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 4827 2386 192 642 0 4183 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 19308 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 4971 /proc/meminfo: memFree=1519104/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=19312 CPUtime=462.15 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 2489 0 0 0 46107 108 0 0 25 0 1 0 2209000 19775488 2387 1992294400 134512640 137138936 4294216304 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 4828 2387 192 642 0 4184 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 19312 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 4971 /proc/meminfo: memFree=1518980/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=19312 CPUtime=522.13 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 2496 0 0 0 52094 119 0 0 25 0 1 0 2209000 19775488 2394 1992294400 134512640 137138936 4294216304 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 4828 2394 192 642 0 4184 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 19312 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/108 4973 /proc/meminfo: memFree=1518732/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=19560 CPUtime=582.11 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 2563 0 0 0 58080 131 0 0 25 0 1 0 2209000 20029440 2461 1992294400 134512640 137138936 4294216304 18446744073709551615 134606686 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 4890 2461 192 642 0 4246 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 19560 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/108 4975 /proc/meminfo: memFree=1518732/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=19560 CPUtime=642.11 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 2563 0 0 0 64068 143 0 0 25 0 1 0 2209000 20029440 2461 1992294400 134512640 137138936 4294216304 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 4890 2461 192 642 0 4246 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 19560 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1516252/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=20840 CPUtime=1061.96 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 2896 0 0 0 105968 228 0 0 25 0 1 0 2209000 21340160 2785 1992294400 134512640 137138936 4294216304 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 5210 2785 192 642 0 4566 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 20840 [startup+1122.3 s] /proc/loadavg: 1.15 1.03 1.01 2/108 4996 /proc/meminfo: memFree=1516252/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=20820 CPUtime=1121.94 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 2896 0 0 0 111953 241 0 0 25 0 1 0 2209000 21319680 2780 1992294400 134512640 137138936 4294216304 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 5205 2780 192 642 0 4561 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 20820 [startup+1182.3 s] /proc/loadavg: 1.11 1.04 1.01 2/108 4998 /proc/meminfo: memFree=1516252/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=21180 CPUtime=1181.93 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 2970 0 0 0 117939 254 0 0 25 0 1 0 2209000 21688320 2854 1992294400 134512640 137138936 4294216304 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 5295 2854 192 642 0 4651 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 21180 [startup+1242.3 s] /proc/loadavg: 1.09 1.04 1.01 2/108 5000 /proc/meminfo: memFree=1515880/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=21708 CPUtime=1241.91 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 3118 0 0 0 123925 266 0 0 25 0 1 0 2209000 22228992 3002 1992294400 134512640 137138936 4294216304 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 5427 3002 192 642 0 4783 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 21708 [startup+1302.3 s] /proc/loadavg: 1.14 1.06 1.01 2/108 5002 /proc/meminfo: memFree=1515756/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=21708 CPUtime=1301.9 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 3118 0 0 0 129913 277 0 0 25 0 1 0 2209000 22228992 3002 1992294400 134512640 137138936 4294216304 18446744073709551615 136521035 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 5427 3002 192 642 0 4783 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 21708 [startup+1362.3 s] /proc/loadavg: 1.05 1.05 1.01 2/108 5004 /proc/meminfo: memFree=1515756/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=21796 CPUtime=1361.87 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 3122 0 0 0 135898 289 0 0 25 0 1 0 2209000 22319104 3006 1992294400 134512640 137138936 4294216304 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 5449 3006 192 642 0 4805 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 21796 [startup+1422.31 s] /proc/loadavg: 1.02 1.04 1.00 2/108 5004 /proc/meminfo: memFree=1515756/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=21796 CPUtime=1421.87 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 3122 0 0 0 141886 301 0 0 25 0 1 0 2209000 22319104 3006 1992294400 134512640 137138936 4294216304 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 5449 3006 192 642 0 4805 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 21796 [startup+1482.3 s] /proc/loadavg: 1.00 1.03 1.00 2/108 5006 /proc/meminfo: memFree=1515632/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=21792 CPUtime=1481.85 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 3122 0 0 0 147874 311 0 0 25 0 1 0 2209000 22315008 3006 1992294400 134512640 137138936 4294216304 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 5448 3006 192 642 0 4804 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 21792 [startup+1542.3 s] /proc/loadavg: 1.00 1.02 1.00 2/108 5008 /proc/meminfo: memFree=1515632/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=21792 CPUtime=1541.82 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 3122 0 0 0 153860 322 0 0 25 0 1 0 2209000 22315008 3006 1992294400 134512640 137138936 4294216304 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 5448 3006 192 642 0 4804 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 21792 [startup+1602.3 s] /proc/loadavg: 1.00 1.02 1.00 2/108 5010 /proc/meminfo: memFree=1515632/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=21792 CPUtime=1601.81 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 3122 0 0 0 159849 332 0 0 25 0 1 0 2209000 22315008 3006 1992294400 134512640 137138936 4294216304 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 5448 3006 192 642 0 4804 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 21792 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/108 5012 /proc/meminfo: memFree=1515508/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=21788 CPUtime=1661.79 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 3122 0 0 0 165836 343 0 0 25 0 1 0 2209000 22310912 3006 1992294400 134512640 137138936 4294216304 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 5447 3006 192 642 0 4803 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 21788 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5012 /proc/meminfo: memFree=1515508/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=21788 CPUtime=1721.77 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 3122 0 0 0 171822 355 0 0 25 0 1 0 2209000 22310912 3006 1992294400 134512640 137138936 4294216304 18446744073709551615 136504617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 5447 3006 192 642 0 4803 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 21788 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5014 /proc/meminfo: memFree=1515508/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=21784 CPUtime=1781.76 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 3122 0 0 0 177808 368 0 0 25 0 1 0 2209000 22306816 3006 1992294400 134512640 137138936 4294216304 18446744073709551615 136297633 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 5446 3006 192 642 0 4802 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 21784 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5014 /proc/meminfo: memFree=1515508/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=21784 CPUtime=1791.37 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 3122 0 0 0 178767 370 0 0 25 0 1 0 2209000 22306816 3006 1992294400 134512640 137138936 4294216304 18446744073709551615 136511155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 5446 3006 192 642 0 4802 0 Current children cumulated CPU time (s) 1791.37 Current children cumulated vsize (KiB) 21784 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5014 /proc/meminfo: memFree=1515508/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=21784 CPUtime=1794.56 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 3122 0 0 0 179086 370 0 0 25 0 1 0 2209000 22306816 3006 1992294400 134512640 137138936 4294216304 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 5446 3006 192 642 0 4802 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (KiB) 21784 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5014 /proc/meminfo: memFree=1515508/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=21784 CPUtime=1796.15 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 3122 0 0 0 179244 371 0 0 25 0 1 0 2209000 22306816 3006 1992294400 134512640 137138936 4294216304 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 5446 3006 192 642 0 4802 0 Current children cumulated CPU time (s) 1796.15 Current children cumulated vsize (KiB) 21784 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5014 /proc/meminfo: memFree=1515508/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=21784 CPUtime=1796.95 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 3122 0 0 0 179324 371 0 0 25 0 1 0 2209000 22306816 3006 1992294400 134512640 137138936 4294216304 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 5446 3006 192 642 0 4802 0 Current children cumulated CPU time (s) 1796.95 Current children cumulated vsize (KiB) 21784 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5014 /proc/meminfo: memFree=1515508/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=21784 CPUtime=1797.75 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 3122 0 0 0 179404 371 0 0 25 0 1 0 2209000 22306816 3006 1992294400 134512640 137138936 4294216304 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 5446 3006 192 642 0 4802 0 Current children cumulated CPU time (s) 1797.75 Current children cumulated vsize (KiB) 21784 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5014 /proc/meminfo: memFree=1515508/2059040 swapFree=4192956/4192956 [pid=4956] ppid=4954 vsize=21784 CPUtime=1797.96 /proc/4956/stat : 4956 (bsolo_pb10) R 4954 4956 4594 0 -1 4202496 3122 0 0 0 179425 371 0 0 25 0 1 0 2209000 22306816 3006 1992294400 134512640 137138936 4294216304 18446744073709551615 136521035 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4956/statm: 5446 3006 192 642 0 4802 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 21784 Child status: 0 Real time (s): 1798.54 CPU time (s): 1798 CPU user time (s): 1794.28 CPU system time (s): 3.71943 CPU usage (%): 99.97 Max. virtual memory (cumulated for all children) (KiB): 21796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.28 system time used= 3.71943 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3122 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= 3849 runsolver used 2.84757 second user time and 8.60869 second system time The end
Begin job on node025 at 2010-06-11 21:45:33 IDJOB=2656439 IDBENCH=1282 IDSOLVER=1162 FILE ID=node025/2656439-1276285533 PBS_JOBID= 11173108 Free space on /tmp= 62540 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900577940.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656439-1276285533/watcher-2656439-1276285533 -o /tmp/evaluation-result-2656439-1276285533/solver-2656439-1276285533 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656439-1276285533.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 07abcf74f2aa8e328290ac3dd6aefa51 RANDOM SEED=1766570181 node025.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.242 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.48 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.242 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1529312 kB Buffers: 58416 kB Cached: 332344 kB SwapCached: 0 kB Active: 173084 kB Inactive: 277048 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1529312 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4024 kB Writeback: 0 kB AnonPages: 59348 kB Mapped: 15436 kB Slab: 57864 kB PageTables: 4040 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182012 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= 62536 MiB End job on node025 at 2010-06-11 22:15:31