Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.2 Card | ? | 1798 | 1798.61 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900573137.opb |
MD5SUM | 4b18508c034d5953901bfe08c3658c68 |
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 | 186.695 |
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 | 693 |
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-2656857-1276311407.opb 0.00/0.00 c File size is 83379 bytes. 0.00/0.01 c Highest Coefficient sum: 693 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: 5709 0.00/0.01 c Obj. Vars: 0 (0 % of total variables) 0.00/0.02 c Pre-processing Time: 0.024 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 5473 1880 0 0 0.02 0.00/0.02 c Switching off lower bounding mode. 1797.99/1798.60 c 103 231 2746 13910 5 5796 2069 160 2239 0.05 1797.99/1798.60 c 254 231 2958 24720 8 6221 2276 372 2731 0.09 1797.99/1798.60 c 479 231 3265 38952 11 6835 2504 679 2675 0.18 1797.99/1798.60 c 818 231 3660 56330 15 7634 2755 1074 2596 0.32 1797.99/1798.60 c 1327 231 4276 82405 19 8868 3031 1690 2461 0.54 1797.99/1798.60 c 2092 231 5107 111069 21 10541 3335 2521 2216 0.94 1797.99/1798.60 c 3240 231 4564 83635 18 9486 3669 1978 1973 1.64 1797.99/1798.60 c 4965 231 4454 77591 17 9261 4036 1868 1885 2.63 1797.99/1798.60 c 7550 231 5102 115127 22 10604 4440 2516 1844 4.09 1797.99/1798.60 c 11429 231 6884 176289 25 14146 4885 4298 1779 6.42 1797.99/1798.60 c 17252 231 5486 108443 19 11301 5374 2900 1757 9.82 1797.99/1798.60 c 25990 231 6491 141727 21 13302 5912 3905 1748 14.86 1797.99/1798.60 c 39101 231 8435 237407 28 17249 6504 5849 1654 23.64 1797.99/1798.60 c 58773 231 6168 148069 24 12676 7155 3582 1560 37.66 1797.99/1798.60 c 88285 231 7944 201443 25 16258 7871 5358 1506 58.59 1797.99/1798.60 c 132556 231 7057 190908 27 14602 8659 4471 1436 92.28 1797.99/1798.60 c 198966 231 7155 186497 26 14698 9525 4569 1333 149.18 1797.99/1798.60 c 298588 231 7654 203934 26 15651 10478 5068 1222 244.34 1797.99/1798.60 c 448023 231 9875 282732 28 20101 11526 7289 1119 400.05 1797.99/1798.60 c 672184 231 12735 365899 28 25822 12679 10149 1034 649.54 1797.99/1798.60 c 1008427 231 11499 337350 29 23369 13947 8913 956 1054.62 1797.99/1798.60 c 1512798 231 13649 454945 33 27711 15342 11063 873 1731.22 1797.99/1798.60 c Resources Exceeded 1797.99/1798.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.99/1798.60 c 22 1556399 319960 2137199 14405 431504 11819 865 1798.00 1797.99/1798.60 s UNKNOWN 1797.99/1798.60 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-2656857-1276311407/watcher-2656857-1276311407 -o /tmp/evaluation-result-2656857-1276311407/solver-2656857-1276311407 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656857-1276311407.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 7952 /proc/meminfo: memFree=1535912/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=11012 CPUtime=0 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 342 0 0 0 0 0 0 0 25 0 1 0 4792514 11276288 261 1992294400 134512640 137138936 4286978640 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 2753 262 177 642 0 2088 0 [startup+0.0827009 s] /proc/loadavg: 1.00 1.00 1.00 3/106 7952 /proc/meminfo: memFree=1535912/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=11320 CPUtime=0.08 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 500 0 0 0 8 0 0 0 25 0 1 0 4792514 11591680 398 1992294400 134512640 137138936 4286978640 18446744073709551615 134575067 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 2830 398 192 642 0 2186 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11320 [startup+0.101705 s] /proc/loadavg: 1.00 1.00 1.00 3/106 7952 /proc/meminfo: memFree=1535912/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=11444 CPUtime=0.09 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 515 0 0 0 9 0 0 0 25 0 1 0 4792514 11718656 413 1992294400 134512640 137138936 4286978640 18446744073709551615 134606614 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 2861 413 192 642 0 2217 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11444 [startup+0.301741 s] /proc/loadavg: 1.00 1.00 1.00 3/106 7952 /proc/meminfo: memFree=1535912/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=11816 CPUtime=0.29 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 623 0 0 0 29 0 0 0 25 0 1 0 4792514 12099584 521 1992294400 134512640 137138936 4286978640 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 2954 521 192 642 0 2310 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11816 [startup+0.701819 s] /proc/loadavg: 1.00 1.00 1.00 3/106 7952 /proc/meminfo: memFree=1535912/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=12444 CPUtime=0.69 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 778 0 0 0 69 0 0 0 25 0 1 0 4792514 12742656 676 1992294400 134512640 137138936 4286978640 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 3111 677 192 642 0 2467 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12444 [startup+1.50196 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7953 /proc/meminfo: memFree=1533548/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=13440 CPUtime=1.49 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 1012 0 0 0 149 0 0 0 25 0 1 0 4792514 13762560 910 1992294400 134512640 137138936 4286978640 18446744073709551615 134555521 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 3360 910 192 642 0 2716 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13440 [startup+3.10125 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7953 /proc/meminfo: memFree=1532680/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=13444 CPUtime=3.09 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 1018 0 0 0 308 1 0 0 25 0 1 0 4792514 13766656 916 1992294400 134512640 137138936 4286978640 18446744073709551615 134542448 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 3361 916 192 642 0 2717 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13444 [startup+6.30183 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7953 /proc/meminfo: memFree=1531812/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=14176 CPUtime=6.29 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 1202 0 0 0 627 2 0 0 25 0 1 0 4792514 14516224 1100 1992294400 134512640 137138936 4286978640 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 3544 1100 192 642 0 2900 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14176 [startup+12.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7953 /proc/meminfo: memFree=1531440/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=14416 CPUtime=12.69 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 1261 0 0 0 1266 3 0 0 25 0 1 0 4792514 14761984 1159 1992294400 134512640 137138936 4286978640 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 3604 1159 192 642 0 2960 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14416 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7953 /proc/meminfo: memFree=1530696/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=15156 CPUtime=25.48 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 1465 0 0 0 2542 6 0 0 25 0 1 0 4792514 15519744 1363 1992294400 134512640 137138936 4286978640 18446744073709551615 134572950 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 3789 1363 192 642 0 3145 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15156 [startup+51.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7953 /proc/meminfo: memFree=1530200/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=15648 CPUtime=51.07 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 1573 0 0 0 5095 12 0 0 25 0 1 0 4792514 16023552 1471 1992294400 134512640 137138936 4286978640 18446744073709551615 134618246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 3912 1471 192 642 0 3268 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 15648 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7955 /proc/meminfo: memFree=1528464/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=17368 CPUtime=102.26 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 2014 0 0 0 10200 26 0 0 25 0 1 0 4792514 17784832 1912 1992294400 134512640 137138936 4286978640 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 4342 1912 192 642 0 3698 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 17368 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7957 /proc/meminfo: memFree=1528340/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=17372 CPUtime=162.24 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 2014 0 0 0 16184 40 0 0 25 0 1 0 4792514 17788928 1912 1992294400 134512640 137138936 4286978640 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 4343 1912 192 642 0 3699 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 17372 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7959 /proc/meminfo: memFree=1528092/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=17620 CPUtime=222.21 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 2064 0 0 0 22167 54 0 0 25 0 1 0 4792514 18042880 1962 1992294400 134512640 137138936 4286978640 18446744073709551615 134542552 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 4405 1962 192 642 0 3761 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 17620 [startup+282.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7968 /proc/meminfo: memFree=1526976/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=17984 CPUtime=282.19 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 2157 0 0 0 28153 66 0 0 25 0 1 0 4792514 18415616 2055 1992294400 134512640 137138936 4286978640 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 4496 2055 192 642 0 3852 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 17984 [startup+342.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7970 /proc/meminfo: memFree=1526976/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=17984 CPUtime=342.17 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 2157 0 0 0 34138 79 0 0 25 0 1 0 4792514 18415616 2055 1992294400 134512640 137138936 4286978640 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 4496 2055 192 642 0 3852 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 17984 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7972 /proc/meminfo: memFree=1526976/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=17984 CPUtime=402.15 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 2157 0 0 0 40122 93 0 0 25 0 1 0 4792514 18415616 2055 1992294400 134512640 137138936 4286978640 18446744073709551615 136511153 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 4496 2055 192 642 0 3852 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 17984 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7974 /proc/meminfo: memFree=1526232/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=18852 CPUtime=462.13 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 2377 0 0 0 46107 106 0 0 25 0 1 0 4792514 19304448 2275 1992294400 134512640 137138936 4286978640 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 4713 2275 192 642 0 4069 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 18852 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7976 /proc/meminfo: memFree=1525736/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=19436 CPUtime=522.11 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 2516 0 0 0 52091 120 0 0 25 0 1 0 4792514 19902464 2414 1992294400 134512640 137138936 4286978640 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 4859 2414 192 642 0 4215 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 19436 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7976 /proc/meminfo: memFree=1525736/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=19432 CPUtime=582.09 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 2516 0 0 0 58077 132 0 0 25 0 1 0 4792514 19898368 2414 1992294400 134512640 137138936 4286978640 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 4858 2414 192 642 0 4214 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 19432 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7978 /proc/meminfo: memFree=1525612/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=19432 CPUtime=642.08 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 2516 0 0 0 64064 144 0 0 25 0 1 0 4792514 19898368 2414 1992294400 134512640 137138936 4286978640 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 4858 2414 192 642 0 4214 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 19432 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1524992/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=20024 CPUtime=1121.91 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 2674 0 0 0 111946 245 0 0 25 0 1 0 4792514 20504576 2572 1992294400 134512640 137138936 4286978640 18446744073709551615 136504016 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 5006 2572 192 642 0 4362 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 20024 [startup+1182.3 s] /proc/loadavg: 1.13 1.05 1.01 2/107 7992 /proc/meminfo: memFree=1524992/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=20024 CPUtime=1181.89 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 2674 0 0 0 117931 258 0 0 25 0 1 0 4792514 20504576 2572 1992294400 134512640 137138936 4286978640 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 5006 2572 192 642 0 4362 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 20024 [startup+1242.3 s] /proc/loadavg: 1.12 1.06 1.00 2/107 7994 /proc/meminfo: memFree=1524992/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=20024 CPUtime=1241.87 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 2674 0 0 0 123918 269 0 0 25 0 1 0 4792514 20504576 2572 1992294400 134512640 137138936 4286978640 18446744073709551615 136500163 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 5006 2572 192 642 0 4362 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 20024 [startup+1302.3 s] /proc/loadavg: 1.11 1.06 1.00 2/107 7996 /proc/meminfo: memFree=1524744/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=20024 CPUtime=1301.85 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 2674 0 0 0 129905 280 0 0 25 0 1 0 4792514 20504576 2572 1992294400 134512640 137138936 4286978640 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 5006 2572 192 642 0 4362 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 20024 [startup+1362.3 s] /proc/loadavg: 1.10 1.06 1.00 2/107 7998 /proc/meminfo: memFree=1524744/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=20012 CPUtime=1361.83 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 2674 0 0 0 135890 293 0 0 25 0 1 0 4792514 20492288 2572 1992294400 134512640 137138936 4286978640 18446744073709551615 134542665 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 5003 2572 192 642 0 4359 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 20012 [startup+1422.31 s] /proc/loadavg: 1.09 1.06 1.00 2/107 8000 /proc/meminfo: memFree=1524744/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=20008 CPUtime=1421.82 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 2674 0 0 0 141875 307 0 0 25 0 1 0 4792514 20488192 2572 1992294400 134512640 137138936 4286978640 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 5002 2572 192 642 0 4358 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 20008 [startup+1482.3 s] /proc/loadavg: 1.22 1.12 1.02 2/107 8000 /proc/meminfo: memFree=1524744/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=20104 CPUtime=1481.79 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 2697 0 0 0 147862 317 0 0 25 0 1 0 4792514 20586496 2595 1992294400 134512640 137138936 4286978640 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 5026 2595 192 642 0 4382 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 20104 [startup+1542.3 s] /proc/loadavg: 1.08 1.10 1.02 2/107 8002 /proc/meminfo: memFree=1524372/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=20484 CPUtime=1541.77 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 2785 0 0 0 153849 328 0 0 25 0 1 0 4792514 20975616 2683 1992294400 134512640 137138936 4286978640 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 5121 2683 192 642 0 4477 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 20484 [startup+1602.3 s] /proc/loadavg: 1.03 1.08 1.01 2/107 8004 /proc/meminfo: memFree=1524000/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=20812 CPUtime=1601.75 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 2862 0 0 0 159837 338 0 0 25 0 1 0 4792514 21311488 2760 1992294400 134512640 137138936 4286978640 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 5203 2760 192 642 0 4559 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 20812 [startup+1662.3 s] /proc/loadavg: 1.01 1.06 1.01 2/107 8006 /proc/meminfo: memFree=1524000/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=20800 CPUtime=1661.73 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 2862 0 0 0 165823 350 0 0 25 0 1 0 4792514 21299200 2760 1992294400 134512640 137138936 4286978640 18446744073709551615 136511128 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 5200 2760 192 642 0 4556 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 20800 [startup+1722.3 s] /proc/loadavg: 1.00 1.05 1.00 2/107 8008 /proc/meminfo: memFree=1524000/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=20788 CPUtime=1721.71 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 2862 0 0 0 171810 361 0 0 25 0 1 0 4792514 21286912 2760 1992294400 134512640 137138936 4286978640 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 5197 2760 192 642 0 4553 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 20788 [startup+1782.3 s] /proc/loadavg: 1.00 1.04 1.00 2/107 8008 /proc/meminfo: memFree=1522760/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=21828 CPUtime=1781.69 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 3119 0 0 0 177796 373 0 0 25 0 1 0 4792514 22351872 3017 1992294400 134512640 137138936 4286978640 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 5457 3017 192 642 0 4813 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 21828 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.03 1.00 2/107 8010 /proc/meminfo: memFree=1522760/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=21828 CPUtime=1791.3 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 3119 0 0 0 178754 376 0 0 25 0 1 0 4792514 22351872 3017 1992294400 134512640 137138936 4286978640 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 5457 3017 192 642 0 4813 0 Current children cumulated CPU time (s) 1791.3 Current children cumulated vsize (KiB) 21828 [startup+1795.1 s] /proc/loadavg: 1.00 1.03 1.00 2/107 8010 /proc/meminfo: memFree=1522760/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=21828 CPUtime=1794.49 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 3119 0 0 0 179073 376 0 0 25 0 1 0 4792514 22351872 3017 1992294400 134512640 137138936 4286978640 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 5457 3017 192 642 0 4813 0 Current children cumulated CPU time (s) 1794.49 Current children cumulated vsize (KiB) 21828 [startup+1796.7 s] /proc/loadavg: 1.00 1.03 1.00 2/107 8010 /proc/meminfo: memFree=1522760/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=21828 CPUtime=1796.08 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 3119 0 0 0 179232 376 0 0 25 0 1 0 4792514 22351872 3017 1992294400 134512640 137138936 4286978640 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 5457 3017 192 642 0 4813 0 Current children cumulated CPU time (s) 1796.08 Current children cumulated vsize (KiB) 21828 [startup+1797.5 s] /proc/loadavg: 1.00 1.03 1.00 2/107 8010 /proc/meminfo: memFree=1522760/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=21828 CPUtime=1796.88 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 3119 0 0 0 179312 376 0 0 25 0 1 0 4792514 22351872 3017 1992294400 134512640 137138936 4286978640 18446744073709551615 134575747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 5457 3017 192 642 0 4813 0 Current children cumulated CPU time (s) 1796.88 Current children cumulated vsize (KiB) 21828 [startup+1798.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 8010 /proc/meminfo: memFree=1522760/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=21828 CPUtime=1797.68 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 3119 0 0 0 179392 376 0 0 25 0 1 0 4792514 22351872 3017 1992294400 134512640 137138936 4286978640 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 5457 3017 192 642 0 4813 0 Current children cumulated CPU time (s) 1797.68 Current children cumulated vsize (KiB) 21828 [startup+1798.51 s] /proc/loadavg: 1.00 1.03 1.00 2/107 8010 /proc/meminfo: memFree=1522760/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=21828 CPUtime=1797.9 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 3119 0 0 0 179413 377 0 0 25 0 1 0 4792514 22351872 3017 1992294400 134512640 137138936 4286978640 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 5457 3017 192 642 0 4813 0 Current children cumulated CPU time (s) 1797.9 Current children cumulated vsize (KiB) 21828 [startup+1798.6 s] /proc/loadavg: 1.00 1.03 1.00 2/107 8010 /proc/meminfo: memFree=1522760/2059040 swapFree=4192956/4192956 [pid=7952] ppid=7950 vsize=21828 CPUtime=1797.99 /proc/7952/stat : 7952 (bsolo_pb10) R 7950 7952 7781 0 -1 4202496 3119 0 0 0 179422 377 0 0 25 0 1 0 4792514 22351872 3017 1992294400 134512640 137138936 4286978640 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7952/statm: 5457 3017 192 642 0 4813 0 Current children cumulated CPU time (s) 1797.99 Current children cumulated vsize (KiB) 21828 Child status: 0 Real time (s): 1798.61 CPU time (s): 1798 CPU user time (s): 1794.23 CPU system time (s): 3.77243 CPU usage (%): 99.9662 Max. virtual memory (cumulated for all children) (KiB): 21832 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.23 system time used= 3.77243 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3119 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= 3372 runsolver used 4.15337 second user time and 8.79766 second system time The end
Begin job on node027 at 2010-06-12 04:56:47 IDJOB=2656857 IDBENCH=1358 IDSOLVER=1162 FILE ID=node027/2656857-1276311407 PBS_JOBID= 11173151 Free space on /tmp= 62448 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900573137.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656857-1276311407/watcher-2656857-1276311407 -o /tmp/evaluation-result-2656857-1276311407/solver-2656857-1276311407 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656857-1276311407.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4b18508c034d5953901bfe08c3658c68 RANDOM SEED=625454127 node027.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 : 2800.261 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 : 5600.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 : 2800.261 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: 1536440 kB Buffers: 81788 kB Cached: 312408 kB SwapCached: 0 kB Active: 179200 kB Inactive: 274300 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1536440 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3976 kB Writeback: 0 kB AnonPages: 59264 kB Mapped: 15392 kB Slab: 47344 kB PageTables: 3908 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180680 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62444 MiB End job on node027 at 2010-06-12 05:26:45