Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat 4j PB Resolution 2.3.2 Snapshot | SAT (TO) | 169 | 1800.08 | 1786.46 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32e1.opb |
MD5SUM | 0d4648505d14cf43905d3198d6f686c2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 162 |
Best CPU time to get the best result obtained on this benchmark | 7.73582 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 162 |
Optimality of the best value was proved | YES |
Number of variables | 444 |
Total number of constraints | 1408 |
Number of constraints which are clauses | 1408 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 32 |
Number of terms in the objective function | 444 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 444 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 444 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.03/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.03/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.08 c See www.sat4j.org for details. 0.03/0.09 c version 2.3.2.v20120418 0.03/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.03/0.09 c java.vm.version 19.1-b02 0.03/0.09 c java.vm.vendor Sun Microsystems Inc. 0.03/0.09 c sun.arch.data.model 64 0.03/0.09 c java.version 1.6.0_24 0.03/0.09 c os.name Linux 0.03/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.03/0.09 c os.arch amd64 0.03/0.09 c Free memory 501472288 0.03/0.09 c Max memory 7480803328 0.03/0.09 c Total memory 504102912 0.03/0.09 c Number of processors 8 0.11/0.11 c Pseudo Boolean Optimization by upper bound 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.11 c No reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose learned constraints deletion strategy 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c c --- End Solver configuration --- 0.11/0.11 c solving HOME/instance-3687769-1337875519.opb 0.11/0.11 c reading problem ... 0.28/0.26 c ... done. Wall clock time 0.146s. 0.28/0.26 c declared #vars 444 0.28/0.26 c #constraints 1408 0.28/0.26 c constraints type 0.28/0.26 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 130 0.28/0.26 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1278 0.28/0.26 c 1408 constraints processed. 0.28/0.26 c objective function length is 444 literals 0.28/0.27 c SATISFIABLE 0.28/0.27 c OPTIMIZING... 0.28/0.27 c Got one! Elapsed wall clock time (in seconds):0.158 0.28/0.27 o 205 0.75/0.45 c Got one! Elapsed wall clock time (in seconds):0.342 0.75/0.45 o 204 1.01/0.64 c Got one! Elapsed wall clock time (in seconds):0.529 1.01/0.64 o 203 1.12/0.71 c cleaning 3267 clauses out of 6533 with flag 1000/6533 1.25/0.83 c Got one! Elapsed wall clock time (in seconds):0.715 1.25/0.83 o 202 1.37/0.97 c cleaning 4371 clauses out of 8742 with flag 3000/12009 1.49/1.07 c Got one! Elapsed wall clock time (in seconds):0.96 1.49/1.07 o 201 1.59/1.12 c Got one! Elapsed wall clock time (in seconds):1.007 1.59/1.12 o 200 1.71/1.20 c cleaning 4830 clauses out of 9674 with flag 2001/17312 1.71/1.26 c Got one! Elapsed wall clock time (in seconds):1.152 1.71/1.26 o 199 1.82/1.32 c Got one! Elapsed wall clock time (in seconds):1.209 1.82/1.32 o 198 1.92/1.44 c cleaning 5368 clauses out of 10744 with flag 3002/23212 2.18/1.69 c cleaning 5687 clauses out of 11374 with flag 9000/29210 2.48/1.99 c cleaning 6341 clauses out of 12687 with flag 16000/36210 2.88/2.35 c cleaning 7171 clauses out of 14347 with flag 24001/44211 3.19/2.63 c Got one! Elapsed wall clock time (in seconds):2.522 3.19/2.63 o 197 3.40/2.86 c cleaning 9358 clauses out of 18725 with flag 5000/55760 3.70/3.13 c cleaning 7678 clauses out of 15367 with flag 11000/61760 4.01/3.43 c cleaning 7336 clauses out of 14689 with flag 18000/68760 4.31/3.79 c cleaning 7675 clauses out of 15354 with flag 26001/76761 4.41/3.84 c Got one! Elapsed wall clock time (in seconds):3.726 4.41/3.84 o 196 4.61/4.04 c cleaning 6791 clauses out of 13590 with flag 5000/82672 4.81/4.21 c Got one! Elapsed wall clock time (in seconds):4.097 4.81/4.21 o 195 4.81/4.26 c cleaning 5985 clauses out of 11970 with flag 1000/87843 5.15/4.50 c cleaning 5984 clauses out of 11985 with flag 7000/93843 5.35/4.78 c cleaning 6501 clauses out of 13002 with flag 14001/100844 5.76/5.11 c cleaning 7243 clauses out of 14500 with flag 22000/108843 5.86/5.20 c Got one! Elapsed wall clock time (in seconds):5.092 5.86/5.20 o 194 5.97/5.33 c cleaning 6228 clauses out of 12466 with flag 3001/114052 6.18/5.56 c cleaning 6110 clauses out of 12237 with flag 9000/120051 6.48/5.85 c cleaning 6555 clauses out of 13127 with flag 16000/127051 6.78/6.19 c cleaning 7281 clauses out of 14572 with flag 24000/135051 6.89/6.28 c Got one! Elapsed wall clock time (in seconds):6.171 6.89/6.28 o 193 7.09/6.44 c cleaning 6538 clauses out of 13083 with flag 4001/140843 7.30/6.67 c cleaning 6263 clauses out of 12544 with flag 10000/146842 7.60/6.96 c cleaning 6630 clauses out of 13281 with flag 17000/153842 7.90/7.27 c cleaning 7322 clauses out of 14651 with flag 25000/161842 8.00/7.35 c Got one! Elapsed wall clock time (in seconds):7.241 8.00/7.35 o 192 8.20/7.51 c cleaning 6617 clauses out of 13239 with flag 4000/167752 8.41/7.78 c cleaning 6308 clauses out of 12623 with flag 10001/173753 8.71/8.05 c cleaning 6651 clauses out of 13314 with flag 17000/180752 9.01/8.36 c cleaning 7324 clauses out of 14663 with flag 25000/188752 9.42/8.75 c cleaning 8164 clauses out of 16340 with flag 34001/197753 9.92/9.22 c cleaning 9085 clauses out of 18177 with flag 44002/207754 9.92/9.24 c Got one! Elapsed wall clock time (in seconds):9.125 9.92/9.24 o 191 10.13/9.44 c cleaning 7056 clauses out of 14121 with flag 5001/212783 10.32/9.69 c cleaning 6528 clauses out of 13065 with flag 11001/218783 10.74/10.00 c cleaning 6764 clauses out of 13536 with flag 18000/225782 10.94/10.23 c Got one! Elapsed wall clock time (in seconds):10.122 10.94/10.23 o 190 11.14/10.46 c cleaning 8651 clauses out of 17311 with flag 5000/236321 11.34/10.69 c cleaning 7326 clauses out of 14661 with flag 11001/242322 11.65/10.98 c cleaning 7156 clauses out of 14335 with flag 18001/249322 12.05/11.32 c cleaning 7586 clauses out of 15179 with flag 26001/257322 12.15/11.44 c Got one! Elapsed wall clock time (in seconds):11.332 12.15/11.44 o 189 12.25/11.53 c cleaning 6321 clauses out of 12657 with flag 2001/262386 12.45/11.76 c cleaning 6157 clauses out of 12338 with flag 8003/268388 12.77/12.08 c cleaning 6583 clauses out of 13180 with flag 15002/275387 12.97/12.24 c Got one! Elapsed wall clock time (in seconds):12.131 12.97/12.24 o 188 13.07/12.33 c cleaning 6173 clauses out of 12359 with flag 2000/281149 13.28/12.56 c cleaning 6092 clauses out of 12188 with flag 8002/287151 13.48/12.74 c Got one! Elapsed wall clock time (in seconds):12.624 13.48/12.74 o 187 13.48/12.78 c cleaning 5719 clauses out of 11449 with flag 1003/292504 13.68/12.91 c Got one! Elapsed wall clock time (in seconds):12.796 13.68/12.91 o 186 13.68/12.99 c cleaning 5503 clauses out of 11013 with flag 2000/297787 13.78/13.07 c Got one! Elapsed wall clock time (in seconds):12.956 13.78/13.07 o 185 13.99/13.23 c cleaning 5569 clauses out of 11149 with flag 4002/303426 14.19/13.47 c cleaning 5789 clauses out of 11580 with flag 10002/309426 14.48/13.74 c cleaning 6388 clauses out of 12791 with flag 17002/316426 14.81/14.09 c cleaning 7194 clauses out of 14401 with flag 25000/324424 15.31/14.51 c cleaning 8100 clauses out of 16208 with flag 34001/333425 15.72/14.99 c cleaning 9048 clauses out of 18107 with flag 44000/343424 16.23/15.41 c Got one! Elapsed wall clock time (in seconds):15.294 16.23/15.41 o 184 16.42/15.66 c cleaning 11418 clauses out of 22836 with flag 5001/357201 16.74/15.95 c cleaning 8705 clauses out of 17417 with flag 11000/363200 17.04/16.26 c cleaning 7856 clauses out of 15712 with flag 18000/370200 17.45/16.62 c cleaning 7921 clauses out of 15856 with flag 26000/378200 17.87/17.03 c cleaning 8468 clauses out of 16935 with flag 35000/387200 17.87/17.06 c Got one! Elapsed wall clock time (in seconds):16.951 17.87/17.06 o 183 18.11/17.26 c cleaning 6811 clauses out of 13644 with flag 5001/392377 18.23/17.32 c Got one! Elapsed wall clock time (in seconds):17.209 18.23/17.32 o 182 18.37/17.48 c cleaning 5954 clauses out of 11919 with flag 4000/397463 18.67/17.73 c cleaning 5978 clauses out of 11965 with flag 10000/403463 18.97/18.05 c cleaning 6486 clauses out of 12989 with flag 17002/410465 19.18/18.27 c Got one! Elapsed wall clock time (in seconds):18.159 19.18/18.27 o 181 19.38/18.48 c cleaning 8341 clauses out of 16705 with flag 5002/420667 19.69/18.74 c cleaning 7178 clauses out of 14364 with flag 11002/426667 19.98/19.04 c cleaning 7084 clauses out of 14186 with flag 18002/433667 20.28/19.38 c cleaning 7540 clauses out of 15100 with flag 26000/441665 20.79/19.81 c cleaning 8269 clauses out of 16560 with flag 35000/450665 20.79/19.87 c Got one! Elapsed wall clock time (in seconds):19.759 20.79/19.87 o 180 20.98/20.03 c cleaning 6768 clauses out of 13546 with flag 4001/455920 21.18/20.28 c cleaning 6385 clauses out of 12777 with flag 10000/461919 21.49/20.56 c cleaning 6686 clauses out of 13392 with flag 17000/468919 21.90/20.92 c cleaning 7346 clauses out of 14706 with flag 25000/476919 22.29/21.32 c cleaning 8175 clauses out of 16364 with flag 34004/485923 22.70/21.79 c cleaning 9091 clauses out of 18187 with flag 44002/495921 23.30/22.33 c cleaning 10041 clauses out of 20094 with flag 55000/506919 23.90/22.93 c cleaning 11024 clauses out of 22053 with flag 67000/518919 24.51/23.53 c cleaning 12015 clauses out of 24029 with flag 80000/531919 25.12/24.15 c cleaning 13009 clauses out of 26017 with flag 94003/545922 25.83/24.84 c cleaning 14003 clauses out of 28005 with flag 109000/560919 26.66/25.60 c cleaning 14991 clauses out of 30002 with flag 125000/576919 27.51/26.41 c cleaning 16000 clauses out of 32012 with flag 142001/593920 28.11/27.00 c Got one! Elapsed wall clock time (in seconds):26.893 28.11/27.00 o 179 28.31/27.26 c cleaning 17353 clauses out of 34705 with flag 5003/612613 28.63/27.55 c cleaning 11658 clauses out of 23349 with flag 11000/618610 28.93/27.86 c cleaning 9330 clauses out of 18693 with flag 18002/625612 29.34/28.21 c cleaning 8665 clauses out of 17362 with flag 26001/633611 29.65/28.57 c Got one! Elapsed wall clock time (in seconds):28.457 29.65/28.57 o 178 29.94/28.81 c cleaning 10905 clauses out of 21837 with flag 5001/646751 30.15/29.09 c cleaning 8456 clauses out of 16933 with flag 11002/652752 30.57/29.40 c cleaning 7723 clauses out of 15475 with flag 18000/659750 30.89/29.75 c cleaning 7867 clauses out of 15754 with flag 26002/667752 31.29/30.15 c cleaning 8441 clauses out of 16885 with flag 35000/676750 31.79/30.62 c cleaning 9223 clauses out of 18446 with flag 45002/686752 31.90/30.71 c Got one! Elapsed wall clock time (in seconds):30.598 31.90/30.71 o 177 32.00/30.88 c cleaning 7570 clauses out of 15158 with flag 4002/692687 32.32/31.15 c cleaning 6787 clauses out of 13587 with flag 10001/698686 32.62/31.45 c cleaning 6899 clauses out of 13804 with flag 17005/705690 32.92/31.79 c cleaning 7443 clauses out of 14900 with flag 25000/713685 33.44/32.21 c cleaning 8220 clauses out of 16457 with flag 34000/722685 33.56/32.38 c Got one! Elapsed wall clock time (in seconds):32.268 33.56/32.38 o 176 33.66/32.46 c cleaning 6810 clauses out of 13639 with flag 2001/728087 33.97/32.72 c cleaning 6394 clauses out of 12830 with flag 8002/734088 34.29/33.03 c cleaning 6713 clauses out of 13435 with flag 15001/741087 34.60/33.39 c cleaning 7356 clauses out of 14721 with flag 23000/749086 35.11/33.82 c cleaning 8178 clauses out of 16367 with flag 32002/758088 35.53/34.28 c cleaning 9089 clauses out of 18188 with flag 42001/768087 36.05/34.78 c cleaning 10037 clauses out of 20098 with flag 53000/779086 36.66/35.34 c cleaning 11018 clauses out of 22062 with flag 65001/791087 37.28/35.99 c cleaning 12020 clauses out of 24044 with flag 78001/804087 38.00/36.68 c cleaning 13004 clauses out of 26025 with flag 92002/818088 38.82/37.45 c cleaning 14013 clauses out of 28028 with flag 107009/833095 39.62/38.23 c cleaning 15002 clauses out of 30007 with flag 123001/849087 40.52/39.13 c cleaning 15996 clauses out of 32005 with flag 140001/866087 41.44/40.07 c cleaning 17006 clauses out of 34013 with flag 158005/884091 42.44/41.01 c cleaning 18007 clauses out of 36014 with flag 177012/903098 43.47/42.02 c cleaning 18997 clauses out of 37996 with flag 197001/923087 44.47/43.07 c cleaning 19995 clauses out of 39999 with flag 218001/944087 45.58/44.18 c cleaning 21000 clauses out of 42004 with flag 240001/966087 46.78/45.34 c cleaning 22003 clauses out of 44005 with flag 263002/989088 48.21/46.70 c cleaning 23001 clauses out of 46001 with flag 287001/1013087 49.56/48.05 c cleaning 23990 clauses out of 47999 with flag 312000/1038086 51.00/49.49 c cleaning 24997 clauses out of 50009 with flag 338000/1064086 52.42/50.88 c cleaning 26010 clauses out of 52020 with flag 365008/1091094 54.04/52.44 c cleaning 26998 clauses out of 54002 with flag 393000/1119086 55.75/54.10 c cleaning 27997 clauses out of 56004 with flag 422000/1148086 57.48/55.80 c cleaning 29002 clauses out of 58007 with flag 452000/1178086 59.20/57.57 c cleaning 29997 clauses out of 60006 with flag 483001/1209087 61.04/59.33 c cleaning 31004 clauses out of 62010 with flag 515002/1241088 62.95/61.20 c cleaning 32003 clauses out of 64009 with flag 548005/1274091 64.86/63.15 c cleaning 32997 clauses out of 66002 with flag 582001/1308087 66.69/64.97 c cleaning 34000 clauses out of 68004 with flag 617000/1343086 68.61/66.86 c cleaning 34988 clauses out of 70005 with flag 653001/1379087 70.74/68.99 c cleaning 35997 clauses out of 72016 with flag 690000/1416086 71.17/69.33 c Got one! Elapsed wall clock time (in seconds):69.217 71.17/69.33 o 175 71.47/69.64 c cleaning 24089 clauses out of 48178 with flag 5000/1428245 71.78/69.95 c cleaning 15031 clauses out of 30090 with flag 11001/1434246 72.10/70.27 c cleaning 11015 clauses out of 22058 with flag 18000/1441245 72.51/70.63 c cleaning 9513 clauses out of 19046 with flag 26003/1449248 72.93/71.05 c cleaning 9259 clauses out of 18530 with flag 35000/1458245 73.15/71.24 c Got one! Elapsed wall clock time (in seconds):71.126 73.15/71.24 o 174 73.25/71.33 c cleaning 7601 clauses out of 15226 with flag 2000/1464200 73.56/71.60 c cleaning 6802 clauses out of 13625 with flag 8000/1470200 73.86/71.90 c cleaning 6907 clauses out of 13823 with flag 15000/1477200 74.18/72.23 c cleaning 7458 clauses out of 14916 with flag 23000/1485200 74.61/72.61 c cleaning 8223 clauses out of 16458 with flag 32000/1494200 75.01/73.06 c cleaning 9110 clauses out of 18235 with flag 42000/1504200 75.53/73.53 c cleaning 10063 clauses out of 20131 with flag 53006/1515206 76.03/74.07 c cleaning 11021 clauses out of 22063 with flag 65001/1527201 76.65/74.65 c cleaning 12020 clauses out of 24042 with flag 78001/1540201 77.27/75.29 c cleaning 13009 clauses out of 26022 with flag 92001/1554201 78.09/76.01 c cleaning 14008 clauses out of 28021 with flag 107009/1569209 78.91/76.81 c cleaning 14994 clauses out of 30004 with flag 123000/1585200 79.72/77.66 c cleaning 15996 clauses out of 32012 with flag 140002/1602202 80.62/78.55 c cleaning 17008 clauses out of 34015 with flag 158001/1620201 81.63/79.50 c cleaning 17996 clauses out of 36006 with flag 177000/1639200 82.65/80.53 c cleaning 19001 clauses out of 38011 with flag 197001/1659201 83.75/81.60 c cleaning 20002 clauses out of 40016 with flag 218007/1680207 84.87/82.78 c cleaning 21002 clauses out of 42007 with flag 240000/1702200 86.08/83.99 c cleaning 21998 clauses out of 44007 with flag 263002/1725202 87.39/85.21 c cleaning 23004 clauses out of 46010 with flag 287003/1749203 88.61/86.47 c cleaning 23997 clauses out of 48003 with flag 312000/1774200 90.02/87.82 c cleaning 25004 clauses out of 50008 with flag 338002/1800202 91.54/89.33 c cleaning 25999 clauses out of 52007 with flag 365005/1827205 93.15/90.97 c cleaning 27002 clauses out of 54004 with flag 393001/1855201 94.96/92.73 c cleaning 27997 clauses out of 56005 with flag 422004/1884204 96.70/94.45 c cleaning 28993 clauses out of 58004 with flag 452000/1914200 98.51/96.20 c cleaning 30004 clauses out of 60011 with flag 483000/1945200 100.33/98.03 c cleaning 30994 clauses out of 62007 with flag 515000/1977200 101.93/99.67 c cleaning 32001 clauses out of 64013 with flag 548000/2010200 103.65/101.39 c cleaning 32999 clauses out of 66016 with flag 582004/2044204 105.56/103.20 c cleaning 34000 clauses out of 68013 with flag 617000/2079200 107.47/105.17 c cleaning 34996 clauses out of 70015 with flag 653002/2115202 108.60/106.29 c Got one! Elapsed wall clock time (in seconds):106.179 108.60/106.29 o 173 109.00/106.61 c cleaning 31297 clauses out of 62593 with flag 5000/2142776 109.33/106.94 c cleaning 18646 clauses out of 37296 with flag 11000/2148776 109.63/107.25 c cleaning 12811 clauses out of 25650 with flag 18000/2155776 109.94/107.58 c cleaning 10416 clauses out of 20839 with flag 26000/2163776 110.35/107.94 c cleaning 9703 clauses out of 19423 with flag 35000/2172776 110.76/108.33 c cleaning 9852 clauses out of 19720 with flag 45000/2182776 111.17/108.77 c cleaning 10425 clauses out of 20868 with flag 56000/2193776 111.79/109.33 c cleaning 11218 clauses out of 22443 with flag 68000/2205776 112.40/109.94 c cleaning 12112 clauses out of 24225 with flag 81000/2218776 113.11/110.61 c cleaning 13057 clauses out of 26113 with flag 95000/2232776 113.74/111.26 c cleaning 14024 clauses out of 28057 with flag 110001/2247777 114.44/111.98 c cleaning 15014 clauses out of 30033 with flag 126001/2263777 115.25/112.78 c cleaning 16008 clauses out of 32019 with flag 143001/2280777 116.05/113.55 c cleaning 16998 clauses out of 34011 with flag 161001/2298777 116.98/114.44 c cleaning 18004 clauses out of 36012 with flag 180000/2317776 117.98/115.43 c cleaning 19004 clauses out of 38009 with flag 200001/2337777 119.00/116.48 c cleaning 20001 clauses out of 40005 with flag 221001/2358777 120.23/117.68 c cleaning 21002 clauses out of 42003 with flag 243000/2380776 121.47/118.89 c cleaning 21995 clauses out of 44001 with flag 266000/2403776 122.79/120.16 c cleaning 23002 clauses out of 46006 with flag 290000/2427776 123.90/121.23 c cleaning 24002 clauses out of 48004 with flag 315000/2452776 125.12/122.46 c cleaning 24998 clauses out of 50002 with flag 341000/2478776 126.44/123.75 c cleaning 26001 clauses out of 52004 with flag 368000/2505776 127.86/125.12 c cleaning 27001 clauses out of 54003 with flag 396000/2533776 129.17/126.42 c cleaning 27996 clauses out of 56004 with flag 425002/2562778 130.69/127.91 c cleaning 29000 clauses out of 58006 with flag 455000/2592776 132.20/129.41 c cleaning 29995 clauses out of 60006 with flag 486000/2623776 133.72/130.94 c cleaning 31001 clauses out of 62011 with flag 518000/2655776 135.43/132.60 c cleaning 31993 clauses out of 64011 with flag 551001/2688777 137.04/134.27 c cleaning 32998 clauses out of 66017 with flag 585000/2722776 138.85/136.07 c cleaning 34010 clauses out of 68019 with flag 620000/2757776 140.76/137.95 c cleaning 35002 clauses out of 70012 with flag 656003/2793779 142.78/139.97 c cleaning 35997 clauses out of 72007 with flag 693000/2830776 144.79/141.95 c cleaning 37005 clauses out of 74011 with flag 731001/2868777 146.71/143.85 c cleaning 38002 clauses out of 76005 with flag 770000/2907776 149.01/146.16 c cleaning 38998 clauses out of 78009 with flag 810006/2947782 151.33/148.41 c cleaning 40003 clauses out of 80005 with flag 851000/2988776 153.45/150.52 c cleaning 40995 clauses out of 82002 with flag 893000/3030776 155.78/152.85 c cleaning 42000 clauses out of 84008 with flag 936001/3073777 158.42/155.45 c cleaning 43000 clauses out of 86015 with flag 980008/3117784 161.05/158.07 c cleaning 43997 clauses out of 88007 with flag 1025000/3162776 163.79/160.76 c cleaning 45006 clauses out of 90011 with flag 1071001/3208777 166.63/163.50 c cleaning 45986 clauses out of 92005 with flag 1118001/3255777 169.35/166.27 c cleaning 47001 clauses out of 94018 with flag 1166000/3303776 172.58/169.48 c cleaning 48007 clauses out of 96020 with flag 1215003/3352779 174.43/171.26 c Got one! Elapsed wall clock time (in seconds):171.144 174.43/171.26 o 172 174.93/171.70 c cleaning 42601 clauses out of 85202 with flag 5000/3389968 175.26/172.07 c cleaning 24301 clauses out of 48602 with flag 11001/3395969 175.56/172.38 c cleaning 15648 clauses out of 31301 with flag 18001/3402969 176.01/172.72 c cleaning 11818 clauses out of 23652 with flag 26000/3410968 176.31/173.07 c cleaning 10410 clauses out of 20839 with flag 35005/3419973 176.71/173.46 c cleaning 10202 clauses out of 20424 with flag 45000/3429968 177.21/173.92 c cleaning 10605 clauses out of 21222 with flag 56000/3440968 177.72/174.46 c cleaning 11307 clauses out of 22617 with flag 68000/3452968 178.32/175.07 c cleaning 12148 clauses out of 24310 with flag 81000/3465968 179.02/175.73 c cleaning 13078 clauses out of 26162 with flag 95000/3479968 179.73/176.41 c cleaning 14043 clauses out of 28085 with flag 110001/3494969 180.44/177.19 c cleaning 15019 clauses out of 30042 with flag 126001/3510969 181.35/178.04 c cleaning 16009 clauses out of 32023 with flag 143001/3527969 182.26/178.93 c cleaning 17007 clauses out of 34014 with flag 161001/3545969 183.17/179.89 c cleaning 18002 clauses out of 36007 with flag 180001/3564969 184.27/180.93 c cleaning 19000 clauses out of 38004 with flag 200000/3584968 185.27/181.91 c cleaning 20001 clauses out of 40004 with flag 221000/3605968 186.47/183.13 c cleaning 21000 clauses out of 42003 with flag 243000/3627968 187.77/184.41 c cleaning 22000 clauses out of 44003 with flag 266000/3650968 188.88/185.50 c cleaning 22992 clauses out of 46003 with flag 290000/3674968 190.10/186.70 c cleaning 24003 clauses out of 48011 with flag 315000/3699968 191.41/188.08 c cleaning 25002 clauses out of 50008 with flag 341000/3725968 192.90/189.54 c cleaning 26001 clauses out of 52006 with flag 368000/3752968 194.51/191.10 c cleaning 27001 clauses out of 54005 with flag 396000/3780968 196.11/192.75 c cleaning 27998 clauses out of 56004 with flag 425000/3809968 197.84/194.49 c cleaning 29003 clauses out of 58006 with flag 455000/3839968 199.75/196.31 c cleaning 29997 clauses out of 60003 with flag 486000/3870968 201.68/198.23 c cleaning 31003 clauses out of 62006 with flag 518000/3902968 203.59/200.19 c cleaning 31999 clauses out of 64003 with flag 551000/3935968 205.70/202.24 c cleaning 33001 clauses out of 66004 with flag 585000/3969968 207.41/203.90 c cleaning 34002 clauses out of 68003 with flag 620000/4004968 209.03/205.54 c cleaning 35002 clauses out of 70003 with flag 656002/4040970 210.84/207.34 c cleaning 35993 clauses out of 71999 with flag 693000/4077968 212.64/209.17 c cleaning 37000 clauses out of 74006 with flag 731000/4115968 214.67/211.15 c cleaning 38000 clauses out of 76006 with flag 770000/4154968 216.79/213.25 c cleaning 39003 clauses out of 78006 with flag 810000/4194968 219.12/215.50 c cleaning 39998 clauses out of 80006 with flag 851003/4235971 221.34/217.72 c cleaning 40999 clauses out of 82005 with flag 893000/4277968 223.46/219.82 c cleaning 42003 clauses out of 84006 with flag 936000/4320968 225.69/222.05 c cleaning 42999 clauses out of 86007 with flag 980004/4364972 228.02/224.39 c cleaning 43993 clauses out of 88004 with flag 1025000/4409968 230.54/226.88 c cleaning 45007 clauses out of 90013 with flag 1071002/4455970 232.95/229.26 c cleaning 45994 clauses out of 92004 with flag 1118000/4502968 235.29/231.55 c cleaning 46994 clauses out of 94010 with flag 1166000/4550968 237.80/234.08 c cleaning 48006 clauses out of 96016 with flag 1215000/4599968 240.41/236.67 c cleaning 48990 clauses out of 98010 with flag 1265000/4649968 243.04/239.27 c cleaning 49999 clauses out of 100020 with flag 1316000/4700968 245.70/241.90 c cleaning 51006 clauses out of 102021 with flag 1368000/4752968 248.72/244.88 c cleaning 52000 clauses out of 104015 with flag 1421000/4805968 251.55/247.68 c cleaning 52998 clauses out of 106015 with flag 1475000/4859968 254.58/250.61 c cleaning 54001 clauses out of 108017 with flag 1530000/4914968 257.99/254.04 c cleaning 55009 clauses out of 110020 with flag 1586004/4970972 261.70/257.77 c cleaning 55998 clauses out of 112007 with flag 1643000/5027968 265.75/261.77 c cleaning 57000 clauses out of 114010 with flag 1701001/5085969 269.78/265.76 c cleaning 57995 clauses out of 116009 with flag 1760000/5144968 273.41/269.33 c cleaning 59007 clauses out of 118014 with flag 1820000/5204968 276.93/272.84 c cleaning 60002 clauses out of 120008 with flag 1881001/5265969 280.44/276.31 c cleaning 60987 clauses out of 122005 with flag 1943000/5327968 284.16/280.07 c cleaning 62005 clauses out of 124019 with flag 2006001/5390969 287.67/283.57 c cleaning 63004 clauses out of 126013 with flag 2070000/5454968 291.59/287.41 c cleaning 63991 clauses out of 128009 with flag 2135000/5519968 295.32/291.15 c cleaning 64997 clauses out of 130018 with flag 2201000/5585968 298.95/294.75 c cleaning 66008 clauses out of 132022 with flag 2268001/5652969 303.17/298.95 c cleaning 67004 clauses out of 134016 with flag 2336003/5720971 307.53/303.23 c cleaning 67999 clauses out of 136009 with flag 2405000/5789968 311.53/307.24 c cleaning 68996 clauses out of 138010 with flag 2475000/5859968 315.87/311.59 c cleaning 70006 clauses out of 140015 with flag 2546001/5930969 320.19/315.86 c cleaning 71004 clauses out of 142008 with flag 2618000/6002968 325.22/320.87 c cleaning 71994 clauses out of 144006 with flag 2691002/6075970 331.18/326.72 c cleaning 72999 clauses out of 146010 with flag 2765000/6149968 337.83/333.34 c cleaning 73994 clauses out of 148013 with flag 2840002/6224970 343.70/339.11 c cleaning 74999 clauses out of 150017 with flag 2916000/6300968 350.03/345.41 c cleaning 76001 clauses out of 152018 with flag 2993000/6377968 356.16/351.57 c cleaning 77006 clauses out of 154017 with flag 3071000/6455968 362.11/357.48 c cleaning 77999 clauses out of 156011 with flag 3150000/6534968 367.83/363.10 c cleaning 78999 clauses out of 158012 with flag 3230000/6614968 374.66/369.96 c cleaning 80005 clauses out of 160013 with flag 3311000/6695968 379.60/374.84 c cleaning 80991 clauses out of 162008 with flag 3393000/6777968 385.01/380.20 c cleaning 82011 clauses out of 164023 with flag 3476006/6860974 391.75/387.00 c cleaning 82999 clauses out of 166008 with flag 3560002/6944970 397.05/392.19 c Got one! Elapsed wall clock time (in seconds):392.081 397.05/392.19 o 171 398.05/393.11 c cleaning 86073 clauses out of 172145 with flag 5004/7034106 398.86/393.80 c cleaning 46034 clauses out of 92068 with flag 11000/7040102 399.27/394.22 c cleaning 26517 clauses out of 53034 with flag 18000/7047102 399.69/394.64 c cleaning 17247 clauses out of 34519 with flag 26002/7055104 400.09/395.02 c cleaning 13129 clauses out of 26270 with flag 35000/7064102 400.50/395.42 c cleaning 11564 clauses out of 23142 with flag 45001/7074103 400.91/395.85 c cleaning 11280 clauses out of 22579 with flag 56002/7085104 401.42/396.32 c cleaning 11642 clauses out of 23297 with flag 68000/7097102 401.93/396.84 c cleaning 12315 clauses out of 24655 with flag 81000/7110102 402.55/397.40 c cleaning 13170 clauses out of 26340 with flag 95000/7124102 403.06/397.99 c cleaning 14080 clauses out of 28170 with flag 110000/7139102 403.79/398.63 c cleaning 15038 clauses out of 30090 with flag 126000/7155102 404.41/399.29 c cleaning 16023 clauses out of 32053 with flag 143001/7172103 405.22/400.08 c cleaning 17012 clauses out of 34029 with flag 161000/7190102 406.03/400.84 c cleaning 17999 clauses out of 36017 with flag 180000/7209102 406.95/401.72 c cleaning 19006 clauses out of 38018 with flag 200000/7229102 407.86/402.63 c cleaning 20004 clauses out of 40013 with flag 221001/7250103 408.88/403.68 c cleaning 21005 clauses out of 42009 with flag 243001/7272103 409.90/404.70 c cleaning 22002 clauses out of 44003 with flag 266000/7295102 411.17/405.83 c cleaning 23001 clauses out of 46001 with flag 290000/7319102 412.29/406.98 c cleaning 23989 clauses out of 48000 with flag 315000/7344102 413.60/408.21 c cleaning 25000 clauses out of 50011 with flag 341000/7370102 414.84/409.43 c cleaning 25999 clauses out of 52011 with flag 368000/7397102 416.17/410.77 c cleaning 26993 clauses out of 54012 with flag 396000/7425102 417.67/412.28 c cleaning 28002 clauses out of 56019 with flag 425000/7454102 419.38/413.94 c cleaning 29004 clauses out of 58020 with flag 455003/7484105 421.10/415.66 c cleaning 30006 clauses out of 60018 with flag 486005/7515107 422.80/417.33 c cleaning 30997 clauses out of 62007 with flag 518000/7547102 424.41/419.00 c cleaning 31999 clauses out of 64010 with flag 551000/7580102 426.41/420.94 c cleaning 32989 clauses out of 66011 with flag 585000/7614102 428.43/422.93 c cleaning 34004 clauses out of 68024 with flag 620002/7649104 430.36/424.87 c cleaning 34998 clauses out of 70018 with flag 656000/7685102 432.70/427.10 c cleaning 36011 clauses out of 72021 with flag 693001/7722103 434.71/429.16 c cleaning 37005 clauses out of 74011 with flag 731002/7760104 436.86/431.23 c cleaning 38004 clauses out of 76015 with flag 770011/7799113 439.18/433.51 c cleaning 38995 clauses out of 78002 with flag 810002/7839104 441.61/435.91 c cleaning 39995 clauses out of 80005 with flag 851000/7880102 444.14/438.43 c cleaning 40991 clauses out of 82010 with flag 893000/7922102 446.48/440.73 c cleaning 42008 clauses out of 84019 with flag 936000/7965102 448.80/443.03 c cleaning 43002 clauses out of 86011 with flag 980000/8009102 451.22/445.44 c cleaning 43999 clauses out of 88009 with flag 1025000/8054102 453.93/448.15 c cleaning 44999 clauses out of 90010 with flag 1071000/8100102 456.65/450.89 c cleaning 46009 clauses out of 92019 with flag 1118008/8147110 459.76/453.97 c cleaning 46995 clauses out of 94005 with flag 1166003/8195105 462.76/456.96 c cleaning 47997 clauses out of 96012 with flag 1215005/8244107 466.08/460.30 c cleaning 48995 clauses out of 98010 with flag 1265000/8294102 469.41/463.57 c cleaning 50001 clauses out of 100019 with flag 1316004/8345106 472.83/466.99 c cleaning 51002 clauses out of 102014 with flag 1368000/8397102 476.43/470.57 c cleaning 52007 clauses out of 104013 with flag 1421001/8450103 480.04/474.11 c cleaning 53001 clauses out of 106006 with flag 1475001/8504103 483.46/477.55 c cleaning 53997 clauses out of 108004 with flag 1530000/8559102 487.17/481.25 c cleaning 54994 clauses out of 110007 with flag 1586000/8615102 490.89/485.00 c cleaning 56004 clauses out of 112014 with flag 1643001/8672103 494.70/488.74 c cleaning 56997 clauses out of 114009 with flag 1701000/8730102 498.74/492.79 c cleaning 58005 clauses out of 116013 with flag 1760001/8789103 502.84/496.83 c cleaning 59001 clauses out of 118011 with flag 1820004/8849106 507.08/501.06 c cleaning 60003 clauses out of 120006 with flag 1881000/8910102 511.42/505.37 c cleaning 60988 clauses out of 122007 with flag 1943004/8972106 515.75/509.62 c cleaning 62008 clauses out of 124015 with flag 2006000/9035102 521.09/514.90 c cleaning 63002 clauses out of 126007 with flag 2070000/9099102 526.33/520.15 c cleaning 64003 clauses out of 128005 with flag 2135000/9164102 531.96/525.72 c cleaning 64995 clauses out of 130002 with flag 2201000/9230102 537.68/531.49 c cleaning 66001 clauses out of 132007 with flag 2268000/9297102 543.02/536.79 c cleaning 66997 clauses out of 134007 with flag 2336001/9365103 548.72/542.44 c cleaning 68000 clauses out of 136009 with flag 2405000/9434102 554.94/548.62 c cleaning 69002 clauses out of 138009 with flag 2475000/9504102 561.45/555.12 c cleaning 70002 clauses out of 140012 with flag 2546005/9575107 567.68/561.30 c cleaning 71002 clauses out of 142005 with flag 2618000/9647102 573.40/567.07 c cleaning 72000 clauses out of 144004 with flag 2691001/9720103 579.33/572.96 c cleaning 72996 clauses out of 146003 with flag 2765000/9794102 585.36/578.97 c cleaning 74001 clauses out of 148010 with flag 2840003/9869105 591.69/585.25 c cleaning 75006 clauses out of 150015 with flag 2916009/9945111 598.93/592.41 c cleaning 76001 clauses out of 152002 with flag 2993002/10022104 605.34/598.82 c cleaning 76989 clauses out of 154001 with flag 3071002/10100104 609.97/603.43 c cleaning 77998 clauses out of 156013 with flag 3150003/10179105 615.70/609.19 c cleaning 78993 clauses out of 158015 with flag 3230003/10259105 620.96/614.34 c cleaning 79999 clauses out of 160019 with flag 3311000/10340102 628.09/621.43 c cleaning 80997 clauses out of 162020 with flag 3393000/10422102 634.26/627.57 c cleaning 81996 clauses out of 164023 with flag 3476000/10505102 635.61/628.86 c Got one! Elapsed wall clock time (in seconds):628.749 635.61/628.86 o 170 636.21/629.43 c cleaning 55834 clauses out of 111667 with flag 5000/10534742 636.63/629.85 c cleaning 30917 clauses out of 61833 with flag 11000/10540742 637.06/630.28 c cleaning 18948 clauses out of 37916 with flag 18000/10547742 637.47/630.66 c cleaning 13472 clauses out of 26969 with flag 26001/10555743 637.88/631.01 c cleaning 11239 clauses out of 22498 with flag 35002/10564744 638.20/631.39 c cleaning 10604 clauses out of 21257 with flag 45000/10574742 638.72/631.81 c cleaning 10825 clauses out of 21654 with flag 56001/10585743 639.14/632.27 c cleaning 11407 clauses out of 22828 with flag 68000/10597742 639.65/632.78 c cleaning 12206 clauses out of 24421 with flag 81000/10610742 640.27/633.35 c cleaning 13102 clauses out of 26215 with flag 95000/10624742 640.87/633.94 c cleaning 14056 clauses out of 28115 with flag 110002/10639744 641.60/634.62 c cleaning 15027 clauses out of 30060 with flag 126003/10655745 642.30/635.33 c cleaning 16012 clauses out of 32030 with flag 143000/10672742 643.03/636.08 c cleaning 17001 clauses out of 34019 with flag 161001/10690743 643.87/636.85 c cleaning 18009 clauses out of 36017 with flag 180000/10709742 644.67/637.64 c cleaning 19000 clauses out of 38008 with flag 200000/10729742 645.59/638.50 c cleaning 19998 clauses out of 40008 with flag 221000/10750742 646.50/639.42 c cleaning 20998 clauses out of 42010 with flag 243000/10772742 647.43/640.36 c cleaning 22005 clauses out of 44013 with flag 266001/10795743 648.46/641.38 c cleaning 22999 clauses out of 46007 with flag 290000/10819742 649.47/642.39 c cleaning 23991 clauses out of 48008 with flag 315000/10844742 650.58/643.49 c cleaning 25002 clauses out of 50017 with flag 341000/10870742 651.68/644.58 c cleaning 26000 clauses out of 52015 with flag 368000/10897742 652.99/645.80 c cleaning 26993 clauses out of 54015 with flag 396000/10925742 654.21/647.05 c cleaning 27996 clauses out of 56022 with flag 425000/10954742 655.52/648.30 c cleaning 29010 clauses out of 58026 with flag 455000/10984742 656.85/649.68 c cleaning 29998 clauses out of 60016 with flag 486000/11015742 658.38/651.13 c cleaning 31009 clauses out of 62018 with flag 518000/11047742 659.78/652.59 c cleaning 31999 clauses out of 64010 with flag 551001/11080743 661.28/654.05 c cleaning 32997 clauses out of 66010 with flag 585000/11114742 663.09/655.87 c cleaning 34005 clauses out of 68014 with flag 620001/11149743 664.80/657.56 c cleaning 34998 clauses out of 70008 with flag 656000/11185742 666.51/659.25 c cleaning 36004 clauses out of 72012 with flag 693002/11222744 668.63/661.30 c cleaning 37004 clauses out of 74012 with flag 731006/11260748 670.75/663.46 c cleaning 37994 clauses out of 76002 with flag 770000/11299742 672.76/665.48 c cleaning 38993 clauses out of 78008 with flag 810000/11339742 674.87/667.60 c cleaning 40001 clauses out of 80015 with flag 851000/11380742 677.28/669.91 c cleaning 40996 clauses out of 82014 with flag 893000/11422742 679.68/672.33 c cleaning 42004 clauses out of 84018 with flag 936000/11465742 682.30/674.91 c cleaning 43006 clauses out of 86015 with flag 980001/11509743 685.02/677.68 c cleaning 43998 clauses out of 88009 with flag 1025001/11554743 687.65/680.28 c cleaning 45005 clauses out of 90010 with flag 1071000/11600742 690.38/682.99 c cleaning 45997 clauses out of 92005 with flag 1118000/11647742 693.48/686.03 c cleaning 47001 clauses out of 94008 with flag 1166000/11695742 696.60/689.15 c cleaning 47993 clauses out of 96008 with flag 1215001/11744743 699.92/692.43 c cleaning 48999 clauses out of 98016 with flag 1265002/11794744 703.24/695.70 c cleaning 50009 clauses out of 100017 with flag 1316002/11845744 706.77/699.28 c cleaning 51006 clauses out of 102011 with flag 1368005/11897747 710.41/702.89 c cleaning 52000 clauses out of 104000 with flag 1421000/11950742 714.14/706.57 c cleaning 53002 clauses out of 106004 with flag 1475004/12004746 717.26/709.67 c cleaning 54000 clauses out of 108000 with flag 1530002/12059744 720.69/713.00 c cleaning 54999 clauses out of 109998 with flag 1586000/12115742 725.00/717.35 c cleaning 55995 clauses out of 112001 with flag 1643002/12172744 728.42/720.70 c cleaning 57001 clauses out of 114005 with flag 1701001/12230743 731.92/724.23 c cleaning 57999 clauses out of 116003 with flag 1760000/12289742 735.13/727.40 c cleaning 58995 clauses out of 118004 with flag 1820000/12349742 738.25/730.54 c cleaning 59995 clauses out of 120009 with flag 1881000/12410742 741.68/733.95 c cleaning 61003 clauses out of 122016 with flag 1943002/12472744 745.00/737.26 c cleaning 61999 clauses out of 124011 with flag 2006000/12535742 748.52/740.71 c cleaning 63002 clauses out of 126012 with flag 2070000/12599742 751.82/744.09 c cleaning 63997 clauses out of 128010 with flag 2135000/12664742 755.44/747.68 c cleaning 65007 clauses out of 130013 with flag 2201000/12730742 759.36/751.53 c cleaning 65997 clauses out of 132008 with flag 2268002/12797744 763.08/755.23 c cleaning 67000 clauses out of 134009 with flag 2336000/12865742 766.59/758.70 c cleaning 68000 clauses out of 136009 with flag 2405000/12934742 770.22/762.32 c cleaning 68998 clauses out of 138009 with flag 2475000/13004742 773.93/766.04 c cleaning 70006 clauses out of 140012 with flag 2546001/13075743 777.96/770.00 c cleaning 71003 clauses out of 142005 with flag 2618000/13147742 781.98/774.08 c cleaning 72000 clauses out of 144002 with flag 2691000/13220742 786.11/778.18 c cleaning 73000 clauses out of 146004 with flag 2765002/13294744 790.63/782.61 c cleaning 73984 clauses out of 148002 with flag 2840000/13369742 794.86/786.85 c cleaning 75009 clauses out of 150022 with flag 2916004/13445746 799.18/791.14 c cleaning 76005 clauses out of 152009 with flag 2993000/13522742 804.42/796.37 c cleaning 77001 clauses out of 154004 with flag 3071000/13600742 810.05/801.98 c cleaning 77993 clauses out of 156006 with flag 3150003/13679745 815.71/807.51 c cleaning 79004 clauses out of 158010 with flag 3230000/13759742 820.57/812.32 c cleaning 80003 clauses out of 160006 with flag 3311000/13840742 825.80/817.59 c cleaning 80991 clauses out of 162003 with flag 3393000/13922742 831.71/823.40 c cleaning 81994 clauses out of 164012 with flag 3476000/14005742 836.93/828.67 c cleaning 83008 clauses out of 166019 with flag 3560001/14089743 842.64/834.39 c cleaning 84001 clauses out of 168010 with flag 3645000/14174742 847.76/839.40 c cleaning 85005 clauses out of 170009 with flag 3731000/14260742 852.69/844.31 c cleaning 86002 clauses out of 172004 with flag 3818000/14347742 858.66/850.27 c cleaning 87000 clauses out of 174002 with flag 3906000/14435742 868.11/859.69 c cleaning 88001 clauses out of 176002 with flag 3995000/14524742 878.19/869.66 c cleaning 89000 clauses out of 178001 with flag 4085000/14614742 889.26/880.67 c cleaning 90001 clauses out of 180001 with flag 4176000/14705742 895.50/886.90 c cleaning 90993 clauses out of 182000 with flag 4268000/14797742 902.26/893.51 c cleaning 92004 clauses out of 184008 with flag 4361001/14890743 909.61/900.82 c cleaning 92998 clauses out of 186004 with flag 4455001/14984743 917.04/908.26 c cleaning 93987 clauses out of 188005 with flag 4550000/15079742 922.60/913.73 c cleaning 95006 clauses out of 190019 with flag 4646001/15175743 928.63/919.73 c cleaning 95998 clauses out of 192012 with flag 4743000/15272742 934.86/925.96 c cleaning 96991 clauses out of 194014 with flag 4841000/15370742 941.50/932.52 c cleaning 98008 clauses out of 196023 with flag 4940000/15469742 948.68/939.64 c cleaning 98996 clauses out of 198015 with flag 5040000/15569742 955.81/946.62 c cleaning 99989 clauses out of 200019 with flag 5141000/15670742 963.26/954.06 c cleaning 101006 clauses out of 202030 with flag 5243000/15772742 971.31/962.04 c cleaning 102011 clauses out of 204024 with flag 5346000/15875742 980.58/971.21 c cleaning 102991 clauses out of 206013 with flag 5450000/15979742 989.25/979.81 c cleaning 104009 clauses out of 208022 with flag 5555000/16084742 994.60/985.10 c Got one! Elapsed wall clock time (in seconds):984.992 994.60/985.10 o 169 995.50/986.02 c cleaning 101471 clauses out of 202941 with flag 5000/16183670 996.95/987.45 c cleaning 53735 clauses out of 107470 with flag 11000/16189670 997.55/988.00 c cleaning 30368 clauses out of 60735 with flag 18000/16196670 998.08/988.56 c cleaning 19184 clauses out of 38368 with flag 26001/16204671 998.59/989.00 c cleaning 14090 clauses out of 28184 with flag 35001/16213671 999.00/989.43 c cleaning 12040 clauses out of 24094 with flag 45001/16223671 999.53/989.91 c cleaning 11520 clauses out of 23054 with flag 56001/16234671 1000.03/990.42 c cleaning 11766 clauses out of 23534 with flag 68001/16246671 1000.54/991.00 c cleaning 12382 clauses out of 24768 with flag 81001/16259671 1001.25/991.63 c cleaning 13192 clauses out of 26386 with flag 95001/16273671 1001.99/992.30 c cleaning 14091 clauses out of 28194 with flag 110001/16288671 1002.71/993.03 c cleaning 15050 clauses out of 30103 with flag 126001/16304671 1003.52/993.82 c cleaning 16022 clauses out of 32053 with flag 143001/16321671 1004.34/994.67 c cleaning 17014 clauses out of 34031 with flag 161001/16339671 1005.27/995.54 c cleaning 18009 clauses out of 36017 with flag 180001/16358671 1006.29/996.53 c cleaning 19001 clauses out of 38008 with flag 200001/16378671 1007.30/997.58 c cleaning 20003 clauses out of 40007 with flag 221001/16399671 1008.52/998.71 c cleaning 21000 clauses out of 42004 with flag 243001/16421671 1009.63/999.90 c cleaning 22002 clauses out of 44004 with flag 266001/16444671 1010.95/1001.16 c cleaning 22999 clauses out of 46002 with flag 290001/16468671 1012.25/1002.45 c cleaning 24001 clauses out of 48002 with flag 315000/16493670 1013.57/1003.78 c cleaning 24998 clauses out of 50001 with flag 341000/16519670 1015.09/1005.25 c cleaning 26000 clauses out of 52003 with flag 368000/16546670 1016.70/1006.83 c cleaning 26995 clauses out of 54003 with flag 396000/16574670 1018.33/1008.42 c cleaning 28003 clauses out of 56008 with flag 425000/16603670 1019.95/1010.08 c cleaning 28998 clauses out of 58005 with flag 455000/16633670 1021.25/1011.37 c cleaning 29988 clauses out of 60007 with flag 486000/16664670 1022.68/1012.75 c cleaning 31008 clauses out of 62019 with flag 518000/16696670 1024.09/1014.18 c cleaning 31999 clauses out of 64011 with flag 551000/16729670 1025.73/1015.77 c cleaning 32998 clauses out of 66012 with flag 585000/16763670 1027.34/1017.36 c cleaning 33999 clauses out of 68014 with flag 620000/16798670 1029.16/1019.14 c cleaning 34997 clauses out of 70015 with flag 656000/16834670 1030.87/1020.85 c cleaning 36007 clauses out of 72019 with flag 693001/16871671 1032.57/1022.53 c cleaning 36995 clauses out of 74011 with flag 731000/16909670 1034.27/1024.22 c cleaning 38005 clauses out of 76017 with flag 770001/16948671 1036.40/1026.31 c cleaning 39001 clauses out of 78011 with flag 810000/16988670 1038.52/1028.41 c cleaning 40004 clauses out of 80010 with flag 851000/17029670 1040.63/1030.51 c cleaning 41003 clauses out of 82006 with flag 893000/17071670 1042.84/1032.73 c cleaning 41987 clauses out of 84004 with flag 936001/17114671 1045.25/1035.10 c cleaning 42998 clauses out of 86016 with flag 980000/17158670 1047.25/1037.20 c cleaning 44006 clauses out of 88019 with flag 1025001/17203671 1049.66/1039.59 c cleaning 44994 clauses out of 90012 with flag 1071000/17249670 1052.07/1041.98 c cleaning 46009 clauses out of 92025 with flag 1118007/17296677 1054.68/1044.58 c cleaning 47003 clauses out of 94010 with flag 1166001/17344671 1056.89/1046.79 c cleaning 47993 clauses out of 96006 with flag 1215000/17393670 1059.21/1049.03 c cleaning 49002 clauses out of 98013 with flag 1265000/17443670 1061.74/1051.55 c cleaning 49997 clauses out of 100011 with flag 1316000/17494670 1064.55/1054.39 c cleaning 50999 clauses out of 102014 with flag 1368000/17546670 1067.17/1056.91 c cleaning 52008 clauses out of 104016 with flag 1421001/17599671 1069.79/1059.53 c cleaning 53002 clauses out of 106008 with flag 1475001/17653671 1072.51/1062.25 c cleaning 53992 clauses out of 108005 with flag 1530000/17708670 1075.33/1065.09 c cleaning 55003 clauses out of 110014 with flag 1586001/17764671 1078.48/1068.12 c cleaning 56004 clauses out of 112010 with flag 1643000/17821670 1081.40/1071.01 c cleaning 57001 clauses out of 114010 with flag 1701004/17879674 1084.71/1074.30 c cleaning 57999 clauses out of 116005 with flag 1760000/17938670 1087.91/1077.52 c cleaning 58994 clauses out of 118006 with flag 1820000/17998670 1091.14/1080.71 c cleaning 60004 clauses out of 120013 with flag 1881001/18059671 1094.15/1083.71 c cleaning 60998 clauses out of 122010 with flag 1943002/18121672 1097.49/1087.02 c cleaning 62003 clauses out of 124011 with flag 2006001/18184671 1100.70/1090.26 c cleaning 62997 clauses out of 126007 with flag 2070000/18248670 1104.22/1093.74 c cleaning 63989 clauses out of 128010 with flag 2135000/18313670 1107.33/1096.88 c cleaning 65006 clauses out of 130022 with flag 2201001/18379671 1111.25/1100.75 c cleaning 66005 clauses out of 132019 with flag 2268004/18446674 1114.98/1104.41 c cleaning 66998 clauses out of 134012 with flag 2336002/18514672 1118.60/1108.03 c cleaning 68001 clauses out of 136014 with flag 2405002/18583672 1122.20/1111.60 c cleaning 68993 clauses out of 138011 with flag 2475000/18653670 1125.81/1115.29 c cleaning 70006 clauses out of 140018 with flag 2546000/18724670 1129.82/1119.21 c cleaning 71000 clauses out of 142012 with flag 2618000/18796670 1134.85/1124.21 c cleaning 72006 clauses out of 144013 with flag 2691001/18869671 1140.98/1130.34 c cleaning 72999 clauses out of 146007 with flag 2765001/18943671 1146.20/1135.56 c cleaning 73999 clauses out of 148007 with flag 2840000/19018670 1150.63/1139.96 c cleaning 74994 clauses out of 150008 with flag 2916000/19094670 1155.06/1144.36 c cleaning 76002 clauses out of 152014 with flag 2993000/19171670 1159.58/1148.80 c cleaning 77004 clauses out of 154013 with flag 3071001/19249671 1164.18/1153.48 c cleaning 78004 clauses out of 156008 with flag 3150000/19328670 1169.69/1158.90 c cleaning 78994 clauses out of 158004 with flag 3230000/19408670 1174.44/1163.66 c cleaning 80000 clauses out of 160010 with flag 3311000/19489670 1180.46/1169.62 c cleaning 80991 clauses out of 162010 with flag 3393000/19571670 1186.49/1175.63 c cleaning 82008 clauses out of 164019 with flag 3476000/19654670 1192.72/1181.81 c cleaning 83005 clauses out of 166013 with flag 3560002/19738672 1199.14/1188.22 c cleaning 84003 clauses out of 168006 with flag 3645000/19823670 1205.66/1194.70 c cleaning 84998 clauses out of 170003 with flag 3731000/19909670 1211.48/1200.51 c cleaning 86003 clauses out of 172014 with flag 3818009/19996679 1217.81/1206.81 c cleaning 86992 clauses out of 174002 with flag 3906000/20084670 1224.23/1213.22 c cleaning 87997 clauses out of 176010 with flag 3995000/20173670 1229.54/1218.50 c cleaning 89007 clauses out of 178014 with flag 4085001/20263671 1236.41/1225.40 c cleaning 89998 clauses out of 180007 with flag 4176001/20354671 1242.24/1231.18 c cleaning 90999 clauses out of 182008 with flag 4268000/20446670 1248.17/1237.07 c cleaning 91996 clauses out of 184009 with flag 4361000/20539670 1253.99/1242.90 c cleaning 93005 clauses out of 186013 with flag 4455000/20633670 1260.00/1248.82 c cleaning 93998 clauses out of 188008 with flag 4550000/20728670 1266.22/1255.06 c cleaning 94994 clauses out of 190010 with flag 4646000/20824670 1272.35/1261.11 c cleaning 96002 clauses out of 192018 with flag 4743002/20921672 1278.47/1267.21 c cleaning 96998 clauses out of 194014 with flag 4841000/21019670 1284.48/1273.20 c cleaning 97999 clauses out of 196016 with flag 4940000/21118670 1291.79/1280.53 c cleaning 99004 clauses out of 198018 with flag 5040001/21218671 1297.94/1286.67 c cleaning 100003 clauses out of 200013 with flag 5141000/21319670 1304.07/1292.73 c cleaning 101002 clauses out of 202010 with flag 5243000/21421670 1310.88/1299.51 c cleaning 102002 clauses out of 204010 with flag 5346002/21524672 1317.41/1306.08 c cleaning 102994 clauses out of 206006 with flag 5450000/21628670 1324.34/1312.99 c cleaning 104003 clauses out of 208014 with flag 5555002/21733672 1331.38/1319.97 c cleaning 105005 clauses out of 210012 with flag 5661003/21839673 1340.02/1328.55 c cleaning 106004 clauses out of 212008 with flag 5768004/21946674 1349.29/1337.71 c cleaning 106998 clauses out of 214004 with flag 5876004/22054674 1358.95/1347.36 c cleaning 108001 clauses out of 216002 with flag 5985000/22163670 1368.61/1356.95 c cleaning 108996 clauses out of 218002 with flag 6095001/22273671 1377.87/1366.13 c cleaning 109997 clauses out of 220005 with flag 6206000/22384670 1387.21/1375.46 c cleaning 110996 clauses out of 222010 with flag 6318002/22496672 1396.85/1385.10 c cleaning 112005 clauses out of 224012 with flag 6431000/22609670 1405.83/1393.96 c cleaning 113000 clauses out of 226007 with flag 6545000/22723670 1414.18/1402.28 c cleaning 113990 clauses out of 228007 with flag 6660000/22838670 1422.05/1410.01 c cleaning 115003 clauses out of 230022 with flag 6776005/22954675 1430.13/1418.05 c cleaning 115997 clauses out of 232015 with flag 6893001/23071671 1438.98/1426.81 c cleaning 117002 clauses out of 234017 with flag 7011000/23189670 1447.11/1434.94 c cleaning 118004 clauses out of 236015 with flag 7130000/23308670 1456.12/1443.93 c cleaning 119003 clauses out of 238011 with flag 7250000/23428670 1466.28/1454.06 c cleaning 119994 clauses out of 240013 with flag 7371005/23549675 1478.29/1466.04 c cleaning 120999 clauses out of 242014 with flag 7493000/23671670 1487.94/1475.51 c cleaning 122005 clauses out of 244018 with flag 7616003/23794673 1499.07/1486.65 c cleaning 123003 clauses out of 246013 with flag 7740003/23918673 1509.26/1496.72 c cleaning 123997 clauses out of 248010 with flag 7865003/24043673 1519.60/1507.08 c cleaning 125003 clauses out of 250014 with flag 7991004/24169674 1529.00/1516.41 c cleaning 126003 clauses out of 252008 with flag 8118001/24296671 1541.73/1529.11 c cleaning 126998 clauses out of 254005 with flag 8246001/24424671 1554.79/1542.13 c cleaning 127997 clauses out of 256006 with flag 8375000/24553670 1567.46/1554.75 c cleaning 129000 clauses out of 258010 with flag 8505001/24683671 1579.93/1567.12 c cleaning 129998 clauses out of 260011 with flag 8636002/24814672 1593.56/1580.73 c cleaning 131002 clauses out of 262015 with flag 8768004/24946674 1606.39/1593.40 c cleaning 131992 clauses out of 264009 with flag 8901000/25079670 1617.44/1604.47 c cleaning 132995 clauses out of 266020 with flag 9035003/25213673 1629.08/1616.02 c cleaning 134005 clauses out of 268022 with flag 9170000/25348670 1641.50/1628.42 c cleaning 135002 clauses out of 270017 with flag 9306000/25484670 1652.56/1639.44 c cleaning 135998 clauses out of 272015 with flag 9443000/25621670 1665.37/1652.23 c cleaning 137005 clauses out of 274018 with flag 9581001/25759671 1677.67/1664.56 c cleaning 137996 clauses out of 276014 with flag 9720002/25898672 1690.75/1677.58 c cleaning 138998 clauses out of 278016 with flag 9860000/26038670 1702.97/1689.70 c cleaning 140003 clauses out of 280023 with flag 10001005/26179675 1715.89/1702.63 c cleaning 140998 clauses out of 282015 with flag 10143000/26321670 1728.06/1714.79 c cleaning 142007 clauses out of 284017 with flag 10286000/26464670 1739.22/1725.87 c cleaning 142997 clauses out of 286010 with flag 10430000/26608670 1753.03/1739.64 c cleaning 144003 clauses out of 288013 with flag 10575000/26753670 1767.41/1753.94 c cleaning 145004 clauses out of 290013 with flag 10721003/26899673 1780.97/1767.41 c cleaning 146004 clauses out of 292010 with flag 10868004/27046674 1795.74/1782.15 c cleaning 146995 clauses out of 294006 with flag 11016004/27194674 1800.08/1786.42 c starts : 413 1800.08/1786.42 c conflicts : 27276020 1800.08/1786.42 c decisions : 67862613 1800.08/1786.42 c propagations : 419622812 1800.08/1786.42 c inspects : 9158458138 1800.08/1786.42 c shortcuts : 0 1800.08/1786.42 c learnt literals : 0 1800.08/1786.42 c learnt binary clauses : 0 1800.08/1786.42 c learnt ternary clauses : 0 1800.08/1786.42 c learnt constraints : 27276022 1800.08/1786.42 c ignored constraints : 0 1800.08/1786.42 c root simplifications : 0 1800.08/1786.42 c removed literals (reason simplification) : 0 1800.08/1786.42 c reason swapping (by a shorter reason) : 0 1800.08/1786.42 c Calls to reduceDB : 611 1800.08/1786.42 c number of reductions to clauses (during analyze) : 0 1800.08/1786.42 c number of learned constraints concerned by reduction : 0 1800.08/1786.42 c number of learning phase by resolution : 0 1800.08/1786.42 c number of learning phase by cutting planes : 0 1800.08/1786.42 c speed (assignments/second) : 234931.37758229848 1800.08/1786.42 c non guided choices 0 1800.08/1786.45 c learnt constraints type 1800.08/1786.45 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 228772 1800.08/1786.45 c constraints type 1800.08/1786.45 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 130 1800.08/1786.45 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.08/1786.45 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1278 1800.08/1786.45 c 1409 constraints processed. 1800.08/1786.45 s SATISFIABLE 1800.08/1786.45 v x1 -x2 x3 -x4 x5 -x6 -x7 -x8 x9 -x10 x11 -x12 x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 x27 -x28 -x29 x30 x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 x89 -x90 x91 -x92 x93 -x94 -x95 -x96 -x97 x98 x99 -x100 x101 -x102 x103 -x104 x105 -x106 -x107 -x108 -x109 x110 x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 x129 -x130 -x131 -x132 -x133 x134 x135 -x136 x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 x171 -x172 x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 x182 x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 x199 -x200 x201 -x202 -x203 x204 -x205 -x206 x207 -x208 x209 -x210 -x211 -x212 -x213 -x214 x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 x231 -x232 x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 x251 -x252 x253 -x254 -x255 -x256 x257 -x258 x259 -x260 -x261 x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 x271 -x272 -x273 -x274 x275 -x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 x299 -x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 x309 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 x319 -x320 x321 -x322 x323 -x324 x325 -x326 x327 -x328 x329 -x330 x331 -x332 x333 -x334 x335 -x336 x337 -x338 x339 -x340 x341 -x342 x343 -x344 x345 -x346 x347 -x348 x349 -x350 x351 -x352 x353 -x354 x355 -x356 x357 -x358 x359 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 -x369 x370 x371 -x372 x373 -x374 x375 -x376 x377 -x378 -x379 x380 x381 -x382 x383 -x384 -x385 x386 -x387 x388 x389 -x390 -x391 x392 -x393 x394 x395 -x396 x397 -x398 -x399 x400 -x401 x402 -x403 x404 -x405 x406 x407 -x408 -x409 x410 -x411 x412 x413 -x414 -x415 x416 -x417 x418 x419 -x420 -x421 x422 -x423 x424 x425 -x426 -x427 x428 -x429 x430 x431 -x432 -x433 x434 -x435 x436 x437 -x438 -x439 x440 -x441 x442 x443 -x444 1800.08/1786.45 c objective function=169 1800.08/1786.45 c Total wall clock time (in seconds): 1786.338
OK 169
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3687769-1337875519/watcher-3687769-1337875519 -o /tmp/evaluation-result-3687769-1337875519/solver-3687769-1337875519 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687769-1337875519.opb running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.99 1.99 1.91 2/196 22507 /proc/meminfo: memFree=28958192/32873844 swapFree=6584/6584 [pid=22507] ppid=22505 vsize=23236 CPUtime=0 cores=0,2,4,6 /proc/22507/stat : 22507 (java) R 22505 22507 21531 0 -1 4202496 985 0 0 0 0 0 0 0 20 0 1 0 253677200 23793664 713 33554432000 1073741824 1073778376 140734492097424 140734492086488 273579817040 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/22507/statm: 5809 714 529 9 0 128 0 [startup+0.050534 s] /proc/loadavg: 1.99 1.99 1.91 2/196 22507 /proc/meminfo: memFree=28958192/32873844 swapFree=6584/6584 [pid=22507] ppid=22505 vsize=9225560 CPUtime=0.03 cores=0,2,4,6 /proc/22507/stat : 22507 (java) S 22505 22507 21531 0 -1 4202496 3073 0 1 0 3 0 0 0 20 0 13 0 253677200 9446973440 3771 33554432000 1073741824 1073778376 140734492097424 140734492088560 273592385597 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22507/statm: 2306390 3771 1708 9 0 2297091 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 9225560 [startup+0.100226 s] /proc/loadavg: 1.99 1.99 1.91 2/196 22507 /proc/meminfo: memFree=28958192/32873844 swapFree=6584/6584 [pid=22507] ppid=22505 vsize=9558412 CPUtime=0.11 cores=0,2,4,6 /proc/22507/stat : 22507 (java) S 22505 22507 21531 0 -1 4202496 4310 0 1 0 10 1 0 0 20 0 18 0 253677200 9787813888 5499 33554432000 1073741824 1073778376 140734492097424 140734492088560 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22507/statm: 2389603 5500 2108 9 0 2380296 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 9558412 [startup+0.3002 s] /proc/loadavg: 1.99 1.99 1.91 2/196 22507 /proc/meminfo: memFree=28958192/32873844 swapFree=6584/6584 [pid=22507] ppid=22505 vsize=9624976 CPUtime=0.49 cores=0,2,4,6 /proc/22507/stat : 22507 (java) S 22505 22507 21531 0 -1 4202496 5843 0 1 0 47 2 0 0 20 0 19 0 253677200 9855975424 7933 33554432000 1073741824 1073778376 140734492097424 140734492088560 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22507/statm: 2406244 7933 2223 9 0 2396937 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9624976 [startup+0.700207 s] /proc/loadavg: 1.99 1.99 1.91 2/196 22507 /proc/meminfo: memFree=28958192/32873844 swapFree=6584/6584 [pid=22507] ppid=22505 vsize=9624976 CPUtime=1.12 cores=0,2,4,6 /proc/22507/stat : 22507 (java) S 22505 22507 21531 0 -1 4202496 7167 0 1 0 110 2 0 0 20 0 19 0 253677200 9855975424 10040 33554432000 1073741824 1073778376 140734492097424 140734492088560 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22507/statm: 2406244 10040 2245 9 0 2396937 0 Current children cumulated CPU time (s) 1.12 Current children cumulated vsize (KiB) 9624976 [startup+1.50059 s] /proc/loadavg: 1.99 1.99 1.91 3/215 22526 /proc/meminfo: memFree=28903548/32873844 swapFree=6584/6584 [pid=22507] ppid=22505 vsize=9625292 CPUtime=2.08 cores=0,2,4,6 /proc/22507/stat : 22507 (java) S 22505 22507 21531 0 -1 4202496 7891 0 1 0 205 3 0 0 20 0 19 0 253677200 9856299008 16333 33554432000 1073741824 1073778376 140734492097424 140734492088560 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22507/statm: 2406323 16333 2269 9 0 2397016 0 [pid=22507/tid=22509] ppid=22505 vsize=9625292 CPUtime=1.42 cores=0,2,4,6 /proc/22507/task/22509/stat : 22509 (java) R 22505 22507 21531 0 -1 4202560 2458 0 1 0 142 0 0 0 20 0 19 0 253677200 9856299008 16333 33554432000 1073741824 1073778376 140734492097424 140082991051040 140082858698608 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=22507/tid=22510] ppid=22505 vsize=9625292 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22510/stat : 22510 (java) S 22505 22507 21531 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 253677201 9856299008 16333 33554432000 1073741824 1073778376 140734492097424 140082980113064 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22507/tid=22511] ppid=22505 vsize=9625292 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22511/stat : 22511 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677201 9856299008 16333 33554432000 1073741824 1073778376 140734492097424 140082979060520 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22507/tid=22512] ppid=22505 vsize=9625292 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22512/stat : 22512 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677201 9856299008 16333 33554432000 1073741824 1073778376 140734492097424 140082978007976 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22507/tid=22513] ppid=22505 vsize=9625292 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22513/stat : 22513 (java) S 22505 22507 21531 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 253677201 9856299008 16333 33554432000 1073741824 1073778376 140734492097424 140082976955432 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22507/tid=22514] ppid=22505 vsize=9625292 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22514/stat : 22514 (java) S 22505 22507 21531 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253677201 9856299008 16333 33554432000 1073741824 1073778376 140734492097424 140082830588072 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22507/tid=22515] ppid=22505 vsize=9625292 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22515/stat : 22515 (java) S 22505 22507 21531 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253677201 9856299008 16333 33554432000 1073741824 1073778376 140734492097424 140082829535528 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22507/tid=22516] ppid=22505 vsize=9625292 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22516/stat : 22516 (java) S 22505 22507 21531 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253677201 9856299008 16333 33554432000 1073741824 1073778376 140734492097424 140082828482984 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22507/tid=22517] ppid=22505 vsize=9625292 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22517/stat : 22517 (java) S 22505 22507 21531 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253677201 9856299008 16333 33554432000 1073741824 1073778376 140734492097424 140082827430440 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22507/tid=22518] ppid=22505 vsize=9625292 CPUtime=0.03 cores=0,2,4,6 /proc/22507/task/22518/stat : 22518 (java) S 22505 22507 21531 0 -1 4202560 35 0 0 0 3 0 0 0 20 0 19 0 253677202 9856299008 16333 33554432000 1073741824 1073778376 140734492097424 140082815232616 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22507/tid=22519] ppid=22505 vsize=9625292 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22519/stat : 22519 (java) S 22505 22507 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253677203 9856299008 16283 33554432000 1073741824 1073778376 140734492097424 140082814178936 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22507/tid=22520] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22520/stat : 22520 (java) S 22505 22507 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253677203 9855975424 16244 33554432000 1073741824 1073778376 140734492097424 140082813126280 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22507/tid=22521] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22521/stat : 22521 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677205 9855975424 16244 33554432000 1073741824 1073778376 140734492097424 140082812075024 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22507/tid=22522] ppid=22505 vsize=9624976 CPUtime=0.3 cores=0,2,4,6 /proc/22507/task/22522/stat : 22522 (java) S 22505 22507 21531 0 -1 4202560 2485 0 0 0 30 0 0 0 20 0 19 0 253677206 9855975424 16244 33554432000 1073741824 1073778376 140734492097424 140082811021368 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22507/tid=22523] ppid=22505 vsize=9624976 CPUtime=0.24 cores=0,2,4,6 /proc/22507/task/22523/stat : 22523 (java) S 22505 22507 21531 0 -1 4202560 1680 0 0 0 24 0 0 0 20 0 19 0 253677206 9855975424 16244 33554432000 1073741824 1073778376 140734492097424 140082809968824 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22507/tid=22524] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22524/stat : 22524 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677206 9855975424 16244 33554432000 1073741824 1073778376 140734492097424 140082808916472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22507/tid=22525] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22525/stat : 22525 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677206 9855975424 16244 33554432000 1073741824 1073778376 140734492097424 140082807864136 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22507/tid=22526] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22526/stat : 22526 (java) S 22505 22507 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253677227 9855975424 16244 33554432000 1073741824 1073778376 140734492097424 140082806809896 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.08 Current children cumulated vsize (KiB) 9625292 [startup+3.10066 s] /proc/loadavg: 1.99 1.99 1.91 3/215 22526 /proc/meminfo: memFree=28894488/32873844 swapFree=6584/6584 [pid=22507] ppid=22505 vsize=9624976 CPUtime=3.7 cores=0,2,4,6 /proc/22507/stat : 22507 (java) S 22505 22507 21531 0 -1 4202496 7915 0 1 0 366 4 0 0 20 0 19 0 253677200 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140734492088560 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22507/statm: 2406244 17283 2269 9 0 2396937 0 [pid=22507/tid=22509] ppid=22505 vsize=9624976 CPUtime=2.95 cores=0,2,4,6 /proc/22507/task/22509/stat : 22509 (java) R 22505 22507 21531 0 -1 4202560 2462 0 1 0 295 0 0 0 20 0 19 0 253677200 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082991051160 140082858651601 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=22507/tid=22510] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22510/stat : 22510 (java) S 22505 22507 21531 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 253677201 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082980113064 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22507/tid=22511] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22511/stat : 22511 (java) S 22505 22507 21531 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253677201 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082979060520 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22507/tid=22512] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22512/stat : 22512 (java) S 22505 22507 21531 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253677201 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082978007976 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22507/tid=22513] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22513/stat : 22513 (java) S 22505 22507 21531 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 253677201 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082976955432 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22507/tid=22514] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22514/stat : 22514 (java) S 22505 22507 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253677201 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082830588072 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22507/tid=22515] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22515/stat : 22515 (java) S 22505 22507 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253677201 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082829535528 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22507/tid=22516] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22516/stat : 22516 (java) S 22505 22507 21531 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253677201 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082828482984 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22507/tid=22517] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22517/stat : 22517 (java) S 22505 22507 21531 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253677201 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082827430440 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22507/tid=22518] ppid=22505 vsize=9624976 CPUtime=0.07 cores=0,2,4,6 /proc/22507/task/22518/stat : 22518 (java) S 22505 22507 21531 0 -1 4202560 35 0 0 0 7 0 0 0 20 0 19 0 253677202 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082815232616 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22507/tid=22519] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22519/stat : 22519 (java) S 22505 22507 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253677203 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082814178936 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22507/tid=22520] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22520/stat : 22520 (java) S 22505 22507 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253677203 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082813126280 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22507/tid=22521] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22521/stat : 22521 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677205 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082812075024 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22507/tid=22522] ppid=22505 vsize=9624976 CPUtime=0.31 cores=0,2,4,6 /proc/22507/task/22522/stat : 22522 (java) S 22505 22507 21531 0 -1 4202560 2485 0 0 0 31 0 0 0 20 0 19 0 253677206 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082811021368 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22507/tid=22523] ppid=22505 vsize=9624976 CPUtime=0.24 cores=0,2,4,6 /proc/22507/task/22523/stat : 22523 (java) S 22505 22507 21531 0 -1 4202560 1680 0 0 0 24 0 0 0 20 0 19 0 253677206 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082809968824 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22507/tid=22524] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22524/stat : 22524 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677206 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082808916472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22507/tid=22525] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22525/stat : 22525 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677206 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082807864136 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22507/tid=22526] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22526/stat : 22526 (java) S 22505 22507 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253677227 9855975424 17283 33554432000 1073741824 1073778376 140734492097424 140082806809896 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.7 Current children cumulated vsize (KiB) 9624976 [startup+6.30095 s] /proc/loadavg: 1.99 1.99 1.91 3/215 22526 /proc/meminfo: memFree=28894116/32873844 swapFree=6584/6584 [pid=22507] ppid=22505 vsize=9624976 CPUtime=6.99 cores=0,2,4,6 /proc/22507/stat : 22507 (java) S 22505 22507 21531 0 -1 4202496 7954 0 1 0 695 4 0 0 20 0 19 0 253677200 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140734492088560 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22507/statm: 2406244 17223 2269 9 0 2396937 0 [pid=22507/tid=22509] ppid=22505 vsize=9624976 CPUtime=5.99 cores=0,2,4,6 /proc/22507/task/22509/stat : 22509 (java) R 22505 22507 21531 0 -1 4202560 2475 0 1 0 599 0 0 0 20 0 19 0 253677200 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082991051160 140082858672297 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=22507/tid=22510] ppid=22505 vsize=9624976 CPUtime=0.01 cores=0,2,4,6 /proc/22507/task/22510/stat : 22510 (java) S 22505 22507 21531 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 19 0 253677201 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082980113064 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22507/tid=22511] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22511/stat : 22511 (java) S 22505 22507 21531 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253677201 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082979060520 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22507/tid=22512] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22512/stat : 22512 (java) S 22505 22507 21531 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253677201 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082978007976 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22507/tid=22513] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22513/stat : 22513 (java) S 22505 22507 21531 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 253677201 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082976955432 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22507/tid=22514] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22514/stat : 22514 (java) S 22505 22507 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253677201 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082830588072 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22507/tid=22515] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22515/stat : 22515 (java) S 22505 22507 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253677201 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082829535528 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22507/tid=22516] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22516/stat : 22516 (java) S 22505 22507 21531 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253677201 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082828482984 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22507/tid=22517] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22517/stat : 22517 (java) S 22505 22507 21531 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253677201 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082827430440 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22507/tid=22518] ppid=22505 vsize=9624976 CPUtime=0.2 cores=0,2,4,6 /proc/22507/task/22518/stat : 22518 (java) S 22505 22507 21531 0 -1 4202560 35 0 0 0 20 0 0 0 20 0 19 0 253677202 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082815232616 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22507/tid=22519] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22519/stat : 22519 (java) S 22505 22507 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253677203 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082814178936 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22507/tid=22520] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22520/stat : 22520 (java) S 22505 22507 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253677203 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082813126280 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22507/tid=22521] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22521/stat : 22521 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677205 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082812075024 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22507/tid=22522] ppid=22505 vsize=9624976 CPUtime=0.33 cores=0,2,4,6 /proc/22507/task/22522/stat : 22522 (java) S 22505 22507 21531 0 -1 4202560 2506 0 0 0 33 0 0 0 20 0 19 0 253677206 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082811021368 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22507/tid=22523] ppid=22505 vsize=9624976 CPUtime=0.28 cores=0,2,4,6 /proc/22507/task/22523/stat : 22523 (java) S 22505 22507 21531 0 -1 4202560 1680 0 0 0 28 0 0 0 20 0 19 0 253677206 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082809968824 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22507/tid=22524] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22524/stat : 22524 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677206 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082808916472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22507/tid=22525] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22525/stat : 22525 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677206 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082807864136 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22507/tid=22526] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22526/stat : 22526 (java) S 22505 22507 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253677227 9855975424 17223 33554432000 1073741824 1073778376 140734492097424 140082806809896 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.99 Current children cumulated vsize (KiB) 9624976 [startup+12.7007 s] ################ # More data... # ################ [pid=22507/tid=22522] ppid=22505 vsize=9624976 CPUtime=0.36 cores=0,2,4,6 /proc/22507/task/22522/stat : 22522 (java) S 22505 22507 21531 0 -1 4202560 2507 0 0 0 36 0 0 0 20 0 19 0 253677206 9855975424 104701 33554432000 1073741824 1073778376 140734492097424 140082811021368 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22507/tid=22523] ppid=22505 vsize=9624976 CPUtime=0.32 cores=0,2,4,6 /proc/22507/task/22523/stat : 22523 (java) S 22505 22507 21531 0 -1 4202560 2016 0 0 0 32 0 0 0 20 0 19 0 253677206 9855975424 104701 33554432000 1073741824 1073778376 140734492097424 140082809968824 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22507/tid=22524] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22524/stat : 22524 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677206 9855975424 104701 33554432000 1073741824 1073778376 140734492097424 140082808916472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22507/tid=22525] ppid=22505 vsize=9624976 CPUtime=0.49 cores=0,2,4,6 /proc/22507/task/22525/stat : 22525 (java) S 22505 22507 21531 0 -1 4202560 94 0 0 0 24 25 0 0 20 0 19 0 253677206 9855975424 104701 33554432000 1073741824 1073778376 140734492097424 140082807864136 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22507/tid=22526] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22526/stat : 22526 (java) S 22505 22507 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253677227 9855975424 104701 33554432000 1073741824 1073778376 140734492097424 140082806809896 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1675.47 Current children cumulated vsize (KiB) 9624976 [startup+1722.3 s] /proc/loadavg: 1.99 1.99 1.94 3/215 22601 /proc/meminfo: memFree=27864820/32873844 swapFree=6584/6584 [pid=22507] ppid=22505 vsize=9624976 CPUtime=1735.72 cores=0,2,4,6 /proc/22507/stat : 22507 (java) S 22505 22507 21531 0 -1 4202496 11967 0 1 0 173496 76 0 0 20 0 19 0 253677200 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140734492088560 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22507/statm: 2406244 105725 2270 9 0 2396937 0 [pid=22507/tid=22509] ppid=22505 vsize=9624976 CPUtime=1690.72 cores=0,2,4,6 /proc/22507/task/22509/stat : 22509 (java) R 22505 22507 21531 0 -1 4202560 3112 0 1 0 169043 29 0 0 20 0 19 0 253677200 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082991051040 140082858841027 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=22507/tid=22510] ppid=22505 vsize=9624976 CPUtime=2.31 cores=0,2,4,6 /proc/22507/task/22510/stat : 22510 (java) S 22505 22507 21531 0 -1 4202560 416 0 0 0 226 5 0 0 20 0 19 0 253677201 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082980113064 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22507/tid=22511] ppid=22505 vsize=9624976 CPUtime=2.22 cores=0,2,4,6 /proc/22507/task/22511/stat : 22511 (java) S 22505 22507 21531 0 -1 4202560 282 0 0 0 219 3 0 0 20 0 19 0 253677201 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082979060520 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22507/tid=22512] ppid=22505 vsize=9624976 CPUtime=2.15 cores=0,2,4,6 /proc/22507/task/22512/stat : 22512 (java) S 22505 22507 21531 0 -1 4202560 311 0 0 0 209 6 0 0 20 0 19 0 253677201 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082978007976 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22507/tid=22513] ppid=22505 vsize=9624976 CPUtime=2.29 cores=0,2,4,6 /proc/22507/task/22513/stat : 22513 (java) S 22505 22507 21531 0 -1 4202560 484 0 0 0 223 6 0 0 20 0 19 0 253677201 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082976955432 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22507/tid=22514] ppid=22505 vsize=9624976 CPUtime=2.23 cores=0,2,4,6 /proc/22507/task/22514/stat : 22514 (java) S 22505 22507 21531 0 -1 4202560 299 0 0 0 219 4 0 0 20 0 19 0 253677201 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082830588072 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22507/tid=22515] ppid=22505 vsize=9624976 CPUtime=2.21 cores=0,2,4,6 /proc/22507/task/22515/stat : 22515 (java) S 22505 22507 21531 0 -1 4202560 439 0 0 0 215 6 0 0 20 0 19 0 253677201 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082829535528 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22507/tid=22516] ppid=22505 vsize=9624976 CPUtime=2.29 cores=0,2,4,6 /proc/22507/task/22516/stat : 22516 (java) S 22505 22507 21531 0 -1 4202560 327 0 0 0 222 7 0 0 20 0 19 0 253677201 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082828482984 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22507/tid=22517] ppid=22505 vsize=9624976 CPUtime=2.19 cores=0,2,4,6 /proc/22507/task/22517/stat : 22517 (java) S 22505 22507 21531 0 -1 4202560 341 0 0 0 215 4 0 0 20 0 19 0 253677201 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082827430440 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22507/tid=22518] ppid=22505 vsize=9624976 CPUtime=21.76 cores=0,2,4,6 /proc/22507/task/22518/stat : 22518 (java) S 22505 22507 21531 0 -1 4202560 155 0 0 0 2171 5 0 0 20 0 19 0 253677202 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082815232616 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22507/tid=22519] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22519/stat : 22519 (java) S 22505 22507 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253677203 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082814178936 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22507/tid=22520] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22520/stat : 22520 (java) S 22505 22507 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253677203 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082813126280 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22507/tid=22521] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22521/stat : 22521 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677205 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082812075024 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22507/tid=22522] ppid=22505 vsize=9624976 CPUtime=0.36 cores=0,2,4,6 /proc/22507/task/22522/stat : 22522 (java) S 22505 22507 21531 0 -1 4202560 2507 0 0 0 36 0 0 0 20 0 19 0 253677206 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082811021368 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22507/tid=22523] ppid=22505 vsize=9624976 CPUtime=0.32 cores=0,2,4,6 /proc/22507/task/22523/stat : 22523 (java) S 22505 22507 21531 0 -1 4202560 2016 0 0 0 32 0 0 0 20 0 19 0 253677206 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082809968824 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22507/tid=22524] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22524/stat : 22524 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677206 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082808916472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22507/tid=22525] ppid=22505 vsize=9624976 CPUtime=0.51 cores=0,2,4,6 /proc/22507/task/22525/stat : 22525 (java) S 22505 22507 21531 0 -1 4202560 98 0 0 0 25 26 0 0 20 0 19 0 253677206 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082807864136 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22507/tid=22526] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22526/stat : 22526 (java) S 22505 22507 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253677227 9855975424 105725 33554432000 1073741824 1073778376 140734492097424 140082806809896 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1735.72 Current children cumulated vsize (KiB) 9624976 [startup+1782.3 s] /proc/loadavg: 2.10 2.02 1.95 3/215 22601 /proc/meminfo: memFree=27752988/32873844 swapFree=6584/6584 [pid=22507] ppid=22505 vsize=9624976 CPUtime=1795.97 cores=0,2,4,6 /proc/22507/stat : 22507 (java) S 22505 22507 21531 0 -1 4202496 11982 0 1 0 179520 77 0 0 20 0 19 0 253677200 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140734492088560 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22507/statm: 2406244 106749 2270 9 0 2396937 0 [pid=22507/tid=22509] ppid=22505 vsize=9624976 CPUtime=1750.04 cores=0,2,4,6 /proc/22507/task/22509/stat : 22509 (java) R 22505 22507 21531 0 -1 4202560 3119 0 1 0 174974 30 0 0 20 0 19 0 253677200 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082991051160 140082858726013 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=22507/tid=22510] ppid=22505 vsize=9624976 CPUtime=2.36 cores=0,2,4,6 /proc/22507/task/22510/stat : 22510 (java) S 22505 22507 21531 0 -1 4202560 416 0 0 0 231 5 0 0 20 0 19 0 253677201 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082980113064 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22507/tid=22511] ppid=22505 vsize=9624976 CPUtime=2.27 cores=0,2,4,6 /proc/22507/task/22511/stat : 22511 (java) S 22505 22507 21531 0 -1 4202560 282 0 0 0 224 3 0 0 20 0 19 0 253677201 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082979060520 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22507/tid=22512] ppid=22505 vsize=9624976 CPUtime=2.18 cores=0,2,4,6 /proc/22507/task/22512/stat : 22512 (java) S 22505 22507 21531 0 -1 4202560 311 0 0 0 212 6 0 0 20 0 19 0 253677201 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082978007976 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22507/tid=22513] ppid=22505 vsize=9624976 CPUtime=2.33 cores=0,2,4,6 /proc/22507/task/22513/stat : 22513 (java) S 22505 22507 21531 0 -1 4202560 484 0 0 0 227 6 0 0 20 0 19 0 253677201 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082976955432 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22507/tid=22514] ppid=22505 vsize=9624976 CPUtime=2.29 cores=0,2,4,6 /proc/22507/task/22514/stat : 22514 (java) S 22505 22507 21531 0 -1 4202560 299 0 0 0 225 4 0 0 20 0 19 0 253677201 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082830588072 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22507/tid=22515] ppid=22505 vsize=9624976 CPUtime=2.25 cores=0,2,4,6 /proc/22507/task/22515/stat : 22515 (java) S 22505 22507 21531 0 -1 4202560 439 0 0 0 219 6 0 0 20 0 19 0 253677201 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082829535528 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22507/tid=22516] ppid=22505 vsize=9624976 CPUtime=2.32 cores=0,2,4,6 /proc/22507/task/22516/stat : 22516 (java) S 22505 22507 21531 0 -1 4202560 327 0 0 0 225 7 0 0 20 0 19 0 253677201 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082828482984 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22507/tid=22517] ppid=22505 vsize=9624976 CPUtime=2.22 cores=0,2,4,6 /proc/22507/task/22517/stat : 22517 (java) S 22505 22507 21531 0 -1 4202560 341 0 0 0 218 4 0 0 20 0 19 0 253677201 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082827430440 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22507/tid=22518] ppid=22505 vsize=9624976 CPUtime=22.2 cores=0,2,4,6 /proc/22507/task/22518/stat : 22518 (java) S 22505 22507 21531 0 -1 4202560 159 0 0 0 2215 5 0 0 20 0 19 0 253677202 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082815232616 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22507/tid=22519] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22519/stat : 22519 (java) S 22505 22507 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253677203 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082814178936 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22507/tid=22520] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22520/stat : 22520 (java) S 22505 22507 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253677203 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082813126280 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22507/tid=22521] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22521/stat : 22521 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677205 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082812075024 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22507/tid=22522] ppid=22505 vsize=9624976 CPUtime=0.36 cores=0,2,4,6 /proc/22507/task/22522/stat : 22522 (java) S 22505 22507 21531 0 -1 4202560 2507 0 0 0 36 0 0 0 20 0 19 0 253677206 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082811021368 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22507/tid=22523] ppid=22505 vsize=9624976 CPUtime=0.32 cores=0,2,4,6 /proc/22507/task/22523/stat : 22523 (java) S 22505 22507 21531 0 -1 4202560 2016 0 0 0 32 0 0 0 20 0 19 0 253677206 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082809968824 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22507/tid=22524] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22524/stat : 22524 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677206 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082808916472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22507/tid=22525] ppid=22505 vsize=9624976 CPUtime=0.53 cores=0,2,4,6 /proc/22507/task/22525/stat : 22525 (java) S 22505 22507 21531 0 -1 4202560 102 0 0 0 26 27 0 0 20 0 19 0 253677206 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082807864136 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22507/tid=22526] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22526/stat : 22526 (java) S 22505 22507 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253677227 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082806809896 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1795.97 Current children cumulated vsize (KiB) 9624976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1786.41 s] /proc/loadavg: 2.09 2.02 1.95 3/215 22601 /proc/meminfo: memFree=27752988/32873844 swapFree=6584/6584 [pid=22507] ppid=22505 vsize=9624976 CPUtime=1800.08 cores=0,2,4,6 /proc/22507/stat : 22507 (java) S 22505 22507 21531 0 -1 4202496 11982 0 1 0 179931 77 0 0 20 0 19 0 253677200 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140734492088560 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22507/statm: 2406244 106749 2270 9 0 2396937 0 [pid=22507/tid=22509] ppid=22505 vsize=9624976 CPUtime=1754.14 cores=0,2,4,6 /proc/22507/task/22509/stat : 22509 (java) R 22505 22507 21531 0 -1 4202560 3119 0 1 0 175384 30 0 0 20 0 19 0 253677200 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082991051040 140082858675040 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=22507/tid=22510] ppid=22505 vsize=9624976 CPUtime=2.36 cores=0,2,4,6 /proc/22507/task/22510/stat : 22510 (java) S 22505 22507 21531 0 -1 4202560 416 0 0 0 231 5 0 0 20 0 19 0 253677201 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082980113064 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22507/tid=22511] ppid=22505 vsize=9624976 CPUtime=2.27 cores=0,2,4,6 /proc/22507/task/22511/stat : 22511 (java) S 22505 22507 21531 0 -1 4202560 282 0 0 0 224 3 0 0 20 0 19 0 253677201 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082979060520 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22507/tid=22512] ppid=22505 vsize=9624976 CPUtime=2.18 cores=0,2,4,6 /proc/22507/task/22512/stat : 22512 (java) S 22505 22507 21531 0 -1 4202560 311 0 0 0 212 6 0 0 20 0 19 0 253677201 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082978007976 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22507/tid=22513] ppid=22505 vsize=9624976 CPUtime=2.33 cores=0,2,4,6 /proc/22507/task/22513/stat : 22513 (java) S 22505 22507 21531 0 -1 4202560 484 0 0 0 227 6 0 0 20 0 19 0 253677201 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082976955432 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22507/tid=22514] ppid=22505 vsize=9624976 CPUtime=2.29 cores=0,2,4,6 /proc/22507/task/22514/stat : 22514 (java) S 22505 22507 21531 0 -1 4202560 299 0 0 0 225 4 0 0 20 0 19 0 253677201 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082830588072 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22507/tid=22515] ppid=22505 vsize=9624976 CPUtime=2.25 cores=0,2,4,6 /proc/22507/task/22515/stat : 22515 (java) S 22505 22507 21531 0 -1 4202560 439 0 0 0 219 6 0 0 20 0 19 0 253677201 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082829535528 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22507/tid=22516] ppid=22505 vsize=9624976 CPUtime=2.32 cores=0,2,4,6 /proc/22507/task/22516/stat : 22516 (java) S 22505 22507 21531 0 -1 4202560 327 0 0 0 225 7 0 0 20 0 19 0 253677201 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082828482984 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22507/tid=22517] ppid=22505 vsize=9624976 CPUtime=2.22 cores=0,2,4,6 /proc/22507/task/22517/stat : 22517 (java) S 22505 22507 21531 0 -1 4202560 341 0 0 0 218 4 0 0 20 0 19 0 253677201 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082827430440 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22507/tid=22518] ppid=22505 vsize=9624976 CPUtime=22.2 cores=0,2,4,6 /proc/22507/task/22518/stat : 22518 (java) S 22505 22507 21531 0 -1 4202560 159 0 0 0 2215 5 0 0 20 0 19 0 253677202 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082815232616 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22507/tid=22519] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22519/stat : 22519 (java) S 22505 22507 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253677203 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082814178936 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22507/tid=22520] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22520/stat : 22520 (java) S 22505 22507 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253677203 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082813126280 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22507/tid=22521] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22521/stat : 22521 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677205 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082812075024 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22507/tid=22522] ppid=22505 vsize=9624976 CPUtime=0.36 cores=0,2,4,6 /proc/22507/task/22522/stat : 22522 (java) S 22505 22507 21531 0 -1 4202560 2507 0 0 0 36 0 0 0 20 0 19 0 253677206 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082811021368 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22507/tid=22523] ppid=22505 vsize=9624976 CPUtime=0.32 cores=0,2,4,6 /proc/22507/task/22523/stat : 22523 (java) S 22505 22507 21531 0 -1 4202560 2016 0 0 0 32 0 0 0 20 0 19 0 253677206 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082809968824 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22507/tid=22524] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22524/stat : 22524 (java) S 22505 22507 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677206 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082808916472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22507/tid=22525] ppid=22505 vsize=9624976 CPUtime=0.53 cores=0,2,4,6 /proc/22507/task/22525/stat : 22525 (java) S 22505 22507 21531 0 -1 4202560 102 0 0 0 26 27 0 0 20 0 19 0 253677206 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082807864136 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22507/tid=22526] ppid=22505 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/22507/task/22526/stat : 22526 (java) S 22505 22507 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253677227 9855975424 106749 33554432000 1073741824 1073778376 140734492097424 140082806809896 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 9624976 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 22507 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=959124 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=173821 # CPU time returned by wait4() is 1796.13 # while last known CPU time is 1800.08 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1786.46 CPU time (s): 1800.08 CPU user time (s): 1799.31 CPU system time (s): 0.77 CPU usage (%): 100.763 Max. virtual memory (cumulated for all children) (KiB): 9625292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.96 system time used= 1.17382 maximum resident set size= 427152 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12024 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1704 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 54754 involuntary context switches= 42891 runsolver used 6.22105 second user time and 14.4338 second system time The end
Begin job on node132 at 2012-05-24 18:05:19 IDJOB=3687769 IDBENCH=2105 IDSOLVER=2269 FILE ID=node132/3687769-1337875519 RUNJOBID= node132-1337871880-21547 PBS_JOBID= 14620072 Free space on /tmp= 71636 MiB SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32e1.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687769-1337875519/watcher-3687769-1337875519 -o /tmp/evaluation-result-3687769-1337875519/solver-3687769-1337875519 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687769-1337875519.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0d4648505d14cf43905d3198d6f686c2 RANDOM SEED=1452361849 node132.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.832 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.832 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.832 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.832 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.832 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.832 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.832 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.832 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28958564 kB Buffers: 208836 kB Cached: 2700332 kB SwapCached: 0 kB Active: 899132 kB Inactive: 2251728 kB Active(anon): 244296 kB Inactive(anon): 0 kB Active(file): 654836 kB Inactive(file): 2251728 kB Unevictable: 6584 kB Mlocked: 6584 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 624 kB Writeback: 0 kB AnonPages: 258224 kB Mapped: 22620 kB Shmem: 212 kB Slab: 628360 kB SReclaimable: 70476 kB SUnreclaim: 557884 kB KernelStack: 1776 kB PageTables: 4228 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 695432 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 215040 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71636 MiB End job on node132 at 2012-05-24 18:35:07