Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Resolution 2011-06-08 | OPTIMUM | 506.925 | 504.533 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900581320--soft-0-100-0.wbo |
| MD5SUM | 85ba7bcc847457eeeb822d6fc8af8950 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 69.4274 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 2707 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 138262 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 138261 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 641 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.09/0.08 c version 2.3.1.v20110525 0.09/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.09/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.09/0.08 c java.vm.version 19.1-b02 0.09/0.08 c java.vm.vendor Sun Microsystems Inc. 0.09/0.08 c sun.arch.data.model 64 0.09/0.08 c java.version 1.6.0_24 0.09/0.08 c os.name Linux 0.09/0.08 c os.version 2.6.18-164.el5 0.09/0.08 c os.arch amd64 0.09/0.08 c Free memory 9996466904 0.09/0.08 c Max memory 10048897024 0.09/0.08 c Total memory 10048897024 0.09/0.08 c Number of processors 8 0.11/0.10 c Pseudo Boolean Optimization 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.10 c Expensive reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose learned constraints deletion strategy 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c solving HOME/instance-3492126-1307911357.wbo 0.11/0.10 c reading problem ... 0.49/0.32 c ... done. Wall clock time 0.211s. 0.49/0.32 c #vars 2938 0.49/0.32 c #constraints 2707 0.49/0.32 c constraints type 0.49/0.32 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684 0.49/0.32 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23 1.09/0.51 c SATISFIABLE 1.09/0.51 c OPTIMIZING... 1.09/0.51 c Got one! Elapsed wall clock time (in seconds):0.41 1.09/0.51 o 452 1.09/0.56 c Got one! Elapsed wall clock time (in seconds):0.452 1.09/0.56 o 311 1.09/0.58 c Got one! Elapsed wall clock time (in seconds):0.48 1.09/0.58 o 293 1.36/0.61 c Got one! Elapsed wall clock time (in seconds):0.506 1.36/0.61 o 290 1.36/0.63 c Got one! Elapsed wall clock time (in seconds):0.528 1.36/0.63 o 269 1.36/0.66 c Got one! Elapsed wall clock time (in seconds):0.553 1.36/0.66 o 149 1.36/0.68 c Got one! Elapsed wall clock time (in seconds):0.572 1.36/0.68 o 141 1.36/0.69 c Got one! Elapsed wall clock time (in seconds):0.588 1.36/0.69 o 126 1.57/0.73 c Got one! Elapsed wall clock time (in seconds):0.625 1.57/0.73 o 117 1.67/0.80 c Got one! Elapsed wall clock time (in seconds):0.698 1.67/0.80 o 112 1.77/0.99 c Got one! Elapsed wall clock time (in seconds):0.884 1.77/0.99 o 109 1.98/1.10 c Got one! Elapsed wall clock time (in seconds):0.998 1.98/1.10 o 107 1.98/1.16 c Got one! Elapsed wall clock time (in seconds):1.054 1.98/1.16 o 66 2.07/1.21 c Got one! Elapsed wall clock time (in seconds):1.103 2.07/1.21 o 62 2.07/1.25 c Got one! Elapsed wall clock time (in seconds):1.145 2.07/1.25 o 61 2.17/1.32 c Got one! Elapsed wall clock time (in seconds):1.214 2.17/1.32 o 59 2.27/1.42 c Got one! Elapsed wall clock time (in seconds):1.311 2.27/1.42 o 57 2.27/1.49 c Got one! Elapsed wall clock time (in seconds):1.383 2.27/1.49 o 56 2.37/1.57 c Got one! Elapsed wall clock time (in seconds):1.471 2.37/1.58 o 49 2.47/1.60 c Got one! Elapsed wall clock time (in seconds):1.498 2.47/1.60 o 23 2.57/1.75 c Got one! Elapsed wall clock time (in seconds):1.645 2.57/1.75 o 19 2.88/2.10 c Got one! Elapsed wall clock time (in seconds):1.994 2.88/2.10 o 13 3.11/2.27 c Got one! Elapsed wall clock time (in seconds):2.161 3.11/2.27 o 12 3.31/2.41 c cleaning 6008 clauses out of 12019 with flag 1000/12019 3.63/2.70 c Got one! Elapsed wall clock time (in seconds):2.592 3.63/2.70 o 10 3.73/2.88 c cleaning 5887 clauses out of 11781 with flag 2000/17789 4.04/3.17 c Got one! Elapsed wall clock time (in seconds):3.063 4.04/3.17 o 8 4.15/3.26 c cleaning 5711 clauses out of 11431 with flag 1000/23326 4.29/3.39 c Got one! Elapsed wall clock time (in seconds):3.281 4.29/3.39 o 1 4.59/3.65 c cleaning 5798 clauses out of 11603 with flag 4002/29209 4.89/3.98 c cleaning 5896 clauses out of 11804 with flag 10001/35208 5.30/4.39 c cleaning 6449 clauses out of 12911 with flag 17004/42211 5.79/4.84 c cleaning 7222 clauses out of 14461 with flag 25003/50210 6.30/5.34 c cleaning 8113 clauses out of 16237 with flag 34001/59208 6.80/5.88 c cleaning 9057 clauses out of 18123 with flag 44000/69207 7.40/6.43 c cleaning 9529 clauses out of 19068 with flag 54002/79209 7.90/6.97 c cleaning 9765 clauses out of 19538 with flag 64001/89208 8.50/7.51 c cleaning 9886 clauses out of 19773 with flag 74001/99208 9.01/8.06 c cleaning 9939 clauses out of 19888 with flag 84002/109209 9.61/8.63 c cleaning 9972 clauses out of 19949 with flag 94002/119209 10.11/9.17 c cleaning 9984 clauses out of 19976 with flag 104001/129208 10.61/9.67 c cleaning 9987 clauses out of 19992 with flag 114001/139208 11.11/10.17 c cleaning 9999 clauses out of 20005 with flag 124001/149208 11.61/10.70 c cleaning 9995 clauses out of 20006 with flag 134001/159208 12.22/11.24 c cleaning 10003 clauses out of 20012 with flag 144002/169209 12.72/11.78 c cleaning 10002 clauses out of 20010 with flag 154003/179210 13.31/12.30 c cleaning 9999 clauses out of 20005 with flag 164000/189207 13.71/12.77 c cleaning 9996 clauses out of 20006 with flag 174000/199207 14.22/13.26 c cleaning 10003 clauses out of 20011 with flag 184001/209208 14.72/13.78 c cleaning 9995 clauses out of 20007 with flag 194000/219207 15.32/14.33 c cleaning 9999 clauses out of 20013 with flag 204001/229208 15.82/14.82 c cleaning 10000 clauses out of 20013 with flag 214000/239207 16.32/15.34 c cleaning 10000 clauses out of 20013 with flag 224000/249207 16.82/15.83 c cleaning 10004 clauses out of 20014 with flag 234001/259208 17.32/16.36 c cleaning 10001 clauses out of 20009 with flag 244000/269207 17.82/16.85 c cleaning 9999 clauses out of 20009 with flag 254001/279208 18.32/17.37 c cleaning 9999 clauses out of 20009 with flag 264000/289207 18.82/17.84 c cleaning 10002 clauses out of 20012 with flag 274002/299209 19.22/18.30 c cleaning 10000 clauses out of 20008 with flag 284000/309207 19.73/18.77 c cleaning 10002 clauses out of 20008 with flag 294000/319207 20.23/19.24 c cleaning 9993 clauses out of 20006 with flag 304000/329207 20.73/19.72 c cleaning 9998 clauses out of 20014 with flag 314001/339208 21.13/20.19 c cleaning 9999 clauses out of 20016 with flag 324001/349208 21.64/20.69 c cleaning 10006 clauses out of 20019 with flag 334003/359210 22.23/21.22 c cleaning 10002 clauses out of 20011 with flag 344001/369208 22.74/21.73 c cleaning 9998 clauses out of 20008 with flag 354000/379207 23.24/22.28 c cleaning 10001 clauses out of 20014 with flag 364004/389211 23.74/22.78 c cleaning 10002 clauses out of 20009 with flag 374000/399207 24.24/23.28 c cleaning 9987 clauses out of 20008 with flag 384001/409208 24.74/23.79 c cleaning 10005 clauses out of 20021 with flag 394001/419208 25.36/24.30 c cleaning 10005 clauses out of 20017 with flag 404002/429209 25.76/24.78 c cleaning 9994 clauses out of 20011 with flag 414001/439208 26.37/25.32 c cleaning 10001 clauses out of 20017 with flag 424001/449208 26.86/25.83 c cleaning 10004 clauses out of 20015 with flag 434000/459207 27.37/26.33 c cleaning 10002 clauses out of 20012 with flag 444001/469208 27.87/26.82 c cleaning 9994 clauses out of 20010 with flag 454001/479208 28.37/27.36 c cleaning 10003 clauses out of 20015 with flag 464000/489207 28.87/27.83 c cleaning 9998 clauses out of 20012 with flag 474000/499207 29.27/28.30 c cleaning 10003 clauses out of 20017 with flag 484003/509210 29.87/28.81 c cleaning 9994 clauses out of 20012 with flag 494001/519208 30.27/29.29 c cleaning 10003 clauses out of 20018 with flag 504001/529208 30.88/29.80 c cleaning 10004 clauses out of 20015 with flag 514001/539208 31.38/30.35 c cleaning 9999 clauses out of 20012 with flag 524002/549209 31.88/30.85 c cleaning 9999 clauses out of 20011 with flag 534000/559207 32.38/31.33 c cleaning 10000 clauses out of 20013 with flag 544001/569208 32.88/31.83 c cleaning 10001 clauses out of 20013 with flag 554001/579208 33.38/32.33 c cleaning 10003 clauses out of 20011 with flag 564000/589207 33.88/32.90 c cleaning 10001 clauses out of 20010 with flag 574002/599209 34.48/33.45 c cleaning 10001 clauses out of 20008 with flag 584001/609208 34.98/33.94 c cleaning 9996 clauses out of 20006 with flag 594000/619207 35.48/34.45 c cleaning 9999 clauses out of 20011 with flag 604001/629208 36.08/35.00 c cleaning 9999 clauses out of 20013 with flag 614002/639209 36.48/35.50 c cleaning 9999 clauses out of 20013 with flag 624001/649208 37.08/36.08 c cleaning 9996 clauses out of 20014 with flag 634001/659208 37.58/36.59 c cleaning 10001 clauses out of 20018 with flag 644001/669208 38.08/37.07 c cleaning 10005 clauses out of 20016 with flag 654000/679207 38.69/37.60 c cleaning 10002 clauses out of 20011 with flag 664000/689207 39.09/38.07 c cleaning 10001 clauses out of 20010 with flag 674001/699208 39.59/38.53 c cleaning 9993 clauses out of 20008 with flag 684000/709207 40.09/39.02 c cleaning 10005 clauses out of 20017 with flag 694002/719209 40.49/39.49 c cleaning 10002 clauses out of 20013 with flag 704003/729210 40.99/39.99 c cleaning 9994 clauses out of 20010 with flag 714002/739209 41.60/40.51 c cleaning 10003 clauses out of 20014 with flag 724000/749207 42.10/41.02 c cleaning 10001 clauses out of 20011 with flag 734000/759207 42.60/41.53 c cleaning 9995 clauses out of 20010 with flag 744000/769207 43.20/42.13 c cleaning 9998 clauses out of 20016 with flag 754001/779208 43.70/42.65 c cleaning 10006 clauses out of 20017 with flag 764000/789207 44.20/43.11 c cleaning 9999 clauses out of 20011 with flag 774000/799207 44.70/43.61 c cleaning 9998 clauses out of 20014 with flag 784002/809209 45.20/44.10 c cleaning 9999 clauses out of 20014 with flag 794000/819207 45.60/44.59 c cleaning 10001 clauses out of 20015 with flag 804000/829207 46.11/45.09 c cleaning 10000 clauses out of 20014 with flag 814000/839207 46.70/45.61 c cleaning 10002 clauses out of 20015 with flag 824001/849208 47.21/46.14 c cleaning 10000 clauses out of 20015 with flag 834003/859210 47.71/46.68 c cleaning 10002 clauses out of 20012 with flag 844000/869207 48.21/47.18 c cleaning 9998 clauses out of 20011 with flag 854001/879208 48.81/47.71 c cleaning 10003 clauses out of 20013 with flag 864001/889208 49.21/48.19 c cleaning 10000 clauses out of 20009 with flag 874000/899207 49.81/48.74 c cleaning 10001 clauses out of 20011 with flag 884002/909209 50.31/49.23 c cleaning 9999 clauses out of 20009 with flag 894001/919208 50.81/49.75 c cleaning 10000 clauses out of 20010 with flag 904001/929208 51.31/50.23 c cleaning 9992 clauses out of 20009 with flag 914000/939207 51.82/50.72 c cleaning 10004 clauses out of 20017 with flag 924000/949207 52.42/51.31 c cleaning 10000 clauses out of 20013 with flag 934000/959207 52.92/51.87 c cleaning 10004 clauses out of 20019 with flag 944006/969213 53.52/52.42 c cleaning 9999 clauses out of 20010 with flag 954001/979208 54.02/52.95 c cleaning 9996 clauses out of 20010 with flag 964000/989207 54.52/53.43 c cleaning 10003 clauses out of 20017 with flag 974003/999210 55.03/53.97 c cleaning 10000 clauses out of 20011 with flag 984000/1009207 55.52/54.49 c cleaning 10001 clauses out of 20011 with flag 994000/1019207 56.03/54.98 c cleaning 9995 clauses out of 20011 with flag 1004001/1029208 56.52/55.48 c cleaning 9997 clauses out of 20015 with flag 1014000/1039207 57.02/55.98 c cleaning 10004 clauses out of 20020 with flag 1024002/1049209 57.52/56.47 c cleaning 10005 clauses out of 20015 with flag 1034001/1059208 58.12/57.02 c cleaning 9997 clauses out of 20010 with flag 1044001/1069208 58.63/57.54 c cleaning 10000 clauses out of 20013 with flag 1054001/1079208 59.12/58.03 c cleaning 9995 clauses out of 20012 with flag 1064000/1089207 59.63/58.58 c cleaning 10004 clauses out of 20020 with flag 1074003/1099210 60.23/59.10 c cleaning 9997 clauses out of 20013 with flag 1084000/1109207 60.73/59.61 c cleaning 9998 clauses out of 20018 with flag 1094002/1119209 61.23/60.10 c cleaning 10005 clauses out of 20020 with flag 1104002/1129209 61.64/60.59 c cleaning 10003 clauses out of 20015 with flag 1114002/1139209 62.13/61.08 c cleaning 10001 clauses out of 20012 with flag 1124002/1149209 62.64/61.56 c cleaning 9994 clauses out of 20009 with flag 1134000/1159207 63.13/62.07 c cleaning 10003 clauses out of 20015 with flag 1144000/1169207 63.74/62.62 c cleaning 9998 clauses out of 20012 with flag 1154000/1179207 64.23/63.17 c cleaning 9995 clauses out of 20014 with flag 1164000/1189207 64.84/63.73 c cleaning 10002 clauses out of 20019 with flag 1174000/1199207 65.33/64.23 c cleaning 10001 clauses out of 20017 with flag 1184000/1209207 65.84/64.73 c cleaning 10004 clauses out of 20017 with flag 1194001/1219208 66.34/65.27 c cleaning 10000 clauses out of 20013 with flag 1204001/1229208 66.94/65.81 c cleaning 10004 clauses out of 20017 with flag 1214005/1239212 67.44/66.37 c cleaning 9997 clauses out of 20008 with flag 1224000/1249207 68.04/66.91 c cleaning 9997 clauses out of 20013 with flag 1234002/1259209 68.54/67.43 c cleaning 10003 clauses out of 20015 with flag 1244001/1269208 69.14/68.01 c cleaning 9999 clauses out of 20011 with flag 1254000/1279207 69.65/68.55 c cleaning 10003 clauses out of 20013 with flag 1264001/1289208 70.25/69.11 c cleaning 9996 clauses out of 20010 with flag 1274001/1299208 70.75/69.64 c cleaning 10000 clauses out of 20013 with flag 1284000/1309207 71.25/70.19 c cleaning 10001 clauses out of 20014 with flag 1294001/1319208 71.85/70.75 c cleaning 9993 clauses out of 20012 with flag 1304000/1329207 72.45/71.31 c cleaning 10004 clauses out of 20019 with flag 1314000/1339207 72.95/71.81 c cleaning 10001 clauses out of 20015 with flag 1324000/1349207 73.35/72.29 c cleaning 10004 clauses out of 20015 with flag 1334001/1359208 73.95/72.83 c cleaning 10001 clauses out of 20011 with flag 1344001/1369208 74.45/73.36 c cleaning 9997 clauses out of 20010 with flag 1354001/1379208 74.95/73.87 c cleaning 10000 clauses out of 20013 with flag 1364001/1389208 75.45/74.36 c cleaning 9998 clauses out of 20012 with flag 1374000/1399207 75.96/74.84 c cleaning 9994 clauses out of 20014 with flag 1384000/1409207 76.45/75.31 c cleaning 10005 clauses out of 20021 with flag 1394001/1419208 76.96/75.82 c cleaning 10003 clauses out of 20017 with flag 1404002/1429209 77.45/76.37 c cleaning 10000 clauses out of 20012 with flag 1414000/1439207 77.95/76.89 c cleaning 10003 clauses out of 20014 with flag 1424002/1449209 78.45/77.39 c cleaning 9999 clauses out of 20009 with flag 1434000/1459207 78.96/77.89 c cleaning 9998 clauses out of 20011 with flag 1444001/1469208 79.45/78.38 c cleaning 10004 clauses out of 20013 with flag 1454001/1479208 80.06/78.92 c cleaning 9996 clauses out of 20008 with flag 1464000/1489207 80.56/79.41 c cleaning 9997 clauses out of 20013 with flag 1474001/1499208 81.06/79.90 c cleaning 10002 clauses out of 20015 with flag 1484000/1509207 81.57/80.43 c cleaning 10004 clauses out of 20013 with flag 1494000/1519207 82.07/80.97 c cleaning 9999 clauses out of 20010 with flag 1504001/1529208 82.58/81.45 c cleaning 9996 clauses out of 20010 with flag 1514000/1539207 83.07/81.91 c cleaning 9996 clauses out of 20014 with flag 1524000/1549207 83.47/82.38 c cleaning 10003 clauses out of 20018 with flag 1534000/1559207 83.97/82.85 c cleaning 10002 clauses out of 20015 with flag 1544000/1569207 84.47/83.33 c cleaning 10002 clauses out of 20013 with flag 1554000/1579207 84.87/83.79 c cleaning 10000 clauses out of 20011 with flag 1564000/1589207 85.37/84.27 c cleaning 10002 clauses out of 20011 with flag 1574000/1599207 85.88/84.77 c cleaning 9999 clauses out of 20011 with flag 1584002/1609209 86.37/85.25 c cleaning 10000 clauses out of 20011 with flag 1594001/1619208 86.88/85.75 c cleaning 9999 clauses out of 20010 with flag 1604000/1629207 87.37/86.28 c cleaning 10001 clauses out of 20012 with flag 1614001/1639208 87.98/86.83 c cleaning 9996 clauses out of 20010 with flag 1624000/1649207 88.47/87.38 c cleaning 10004 clauses out of 20015 with flag 1634001/1659208 89.08/88.00 c cleaning 10001 clauses out of 20010 with flag 1644000/1669207 89.67/88.55 c cleaning 9992 clauses out of 20011 with flag 1654002/1679209 90.18/89.08 c cleaning 10003 clauses out of 20017 with flag 1664000/1689207 90.78/89.62 c cleaning 9996 clauses out of 20016 with flag 1674002/1699209 91.28/90.16 c cleaning 10000 clauses out of 20018 with flag 1684000/1709207 91.78/90.68 c cleaning 10002 clauses out of 20018 with flag 1694000/1719207 92.28/91.20 c cleaning 10002 clauses out of 20017 with flag 1704001/1729208 92.88/91.71 c cleaning 10004 clauses out of 20018 with flag 1714004/1739211 93.38/92.23 c cleaning 9987 clauses out of 20010 with flag 1724000/1749207 93.88/92.73 c cleaning 10009 clauses out of 20027 with flag 1734004/1759211 94.38/93.25 c cleaning 10004 clauses out of 20015 with flag 1744001/1769208 94.88/93.75 c cleaning 9997 clauses out of 20010 with flag 1754000/1779207 95.38/94.27 c cleaning 9998 clauses out of 20013 with flag 1764000/1789207 95.98/94.83 c cleaning 9998 clauses out of 20017 with flag 1774002/1799209 96.48/95.35 c cleaning 10003 clauses out of 20018 with flag 1784001/1809208 96.99/95.86 c cleaning 10000 clauses out of 20014 with flag 1794000/1819207 97.49/96.37 c cleaning 10001 clauses out of 20015 with flag 1804001/1829208 98.00/96.89 c cleaning 10003 clauses out of 20014 with flag 1814001/1839208 98.49/97.39 c cleaning 10005 clauses out of 20013 with flag 1824003/1849210 99.10/97.96 c cleaning 9997 clauses out of 20008 with flag 1834003/1859210 99.69/98.54 c cleaning 10000 clauses out of 20008 with flag 1844000/1869207 100.20/99.06 c cleaning 10001 clauses out of 20009 with flag 1854001/1879208 100.69/99.55 c cleaning 9998 clauses out of 20008 with flag 1864001/1889208 101.30/100.11 c cleaning 9989 clauses out of 20009 with flag 1874000/1899207 101.79/100.63 c cleaning 10005 clauses out of 20021 with flag 1884001/1909208 102.30/101.14 c cleaning 9995 clauses out of 20015 with flag 1894000/1919207 102.80/101.66 c cleaning 10003 clauses out of 20020 with flag 1904000/1929207 103.40/102.22 c cleaning 10003 clauses out of 20019 with flag 1914002/1939209 103.90/102.74 c cleaning 10000 clauses out of 20015 with flag 1924001/1949208 104.50/103.32 c cleaning 9994 clauses out of 20015 with flag 1934001/1959208 105.00/103.86 c cleaning 10006 clauses out of 20021 with flag 1944001/1969208 105.50/104.40 c cleaning 10003 clauses out of 20016 with flag 1954002/1979209 106.10/104.96 c cleaning 9999 clauses out of 20012 with flag 1964001/1989208 106.60/105.50 c cleaning 10000 clauses out of 20012 with flag 1974000/1999207 107.20/106.03 c cleaning 10002 clauses out of 20016 with flag 1984004/2009211 107.70/106.59 c cleaning 10000 clauses out of 20010 with flag 1994000/2019207 108.30/107.14 c cleaning 9999 clauses out of 20011 with flag 2004001/2029208 108.81/107.64 c cleaning 9998 clauses out of 20012 with flag 2014001/2039208 109.31/108.15 c cleaning 9999 clauses out of 20013 with flag 2024000/2049207 109.81/108.65 c cleaning 10002 clauses out of 20019 with flag 2034005/2059212 110.31/109.16 c cleaning 9999 clauses out of 20013 with flag 2044001/2069208 110.91/109.71 c cleaning 9999 clauses out of 20014 with flag 2054001/2079208 111.41/110.20 c cleaning 10004 clauses out of 20017 with flag 2064003/2089210 111.91/110.72 c cleaning 9988 clauses out of 20010 with flag 2074000/2099207 112.41/111.28 c cleaning 10003 clauses out of 20023 with flag 2084001/2109208 112.91/111.77 c cleaning 10004 clauses out of 20019 with flag 2094000/2119207 113.51/112.32 c cleaning 10002 clauses out of 20017 with flag 2104002/2129209 114.02/112.85 c cleaning 10006 clauses out of 20017 with flag 2114004/2139211 114.52/113.39 c cleaning 9999 clauses out of 20009 with flag 2124002/2149209 115.02/113.89 c cleaning 10000 clauses out of 20009 with flag 2134001/2159208 115.63/114.42 c cleaning 10003 clauses out of 20011 with flag 2144003/2169210 116.12/114.91 c cleaning 9998 clauses out of 20005 with flag 2154000/2179207 116.63/115.42 c cleaning 10001 clauses out of 20009 with flag 2164002/2189209 117.12/115.92 c cleaning 10000 clauses out of 20007 with flag 2174001/2199208 117.63/116.47 c cleaning 9999 clauses out of 20006 with flag 2184000/2209207 118.23/117.00 c cleaning 9994 clauses out of 20008 with flag 2194001/2219208 118.73/117.53 c cleaning 10003 clauses out of 20015 with flag 2204002/2229209 119.23/118.04 c cleaning 10001 clauses out of 20013 with flag 2214003/2239210 119.73/118.53 c cleaning 9995 clauses out of 20009 with flag 2224000/2249207 120.23/119.03 c cleaning 9999 clauses out of 20014 with flag 2234000/2259207 120.73/119.55 c cleaning 10003 clauses out of 20018 with flag 2244003/2269210 121.23/120.05 c cleaning 9997 clauses out of 20012 with flag 2254000/2279207 121.73/120.55 c cleaning 10002 clauses out of 20016 with flag 2264001/2289208 122.24/121.06 c cleaning 10002 clauses out of 20013 with flag 2274000/2299207 122.74/121.59 c cleaning 10002 clauses out of 20014 with flag 2284003/2309210 123.34/122.14 c cleaning 10000 clauses out of 20009 with flag 2294000/2319207 123.94/122.75 c cleaning 10002 clauses out of 20009 with flag 2304000/2329207 124.45/123.29 c cleaning 9998 clauses out of 20007 with flag 2314000/2339207 125.04/123.84 c cleaning 9995 clauses out of 20010 with flag 2324001/2349208 125.55/124.36 c cleaning 10005 clauses out of 20016 with flag 2334002/2359209 126.04/124.88 c cleaning 9995 clauses out of 20009 with flag 2344000/2369207 126.65/125.41 c cleaning 9993 clauses out of 20014 with flag 2354000/2379207 127.14/125.94 c cleaning 10008 clauses out of 20021 with flag 2364000/2389207 127.65/126.45 c cleaning 10002 clauses out of 20014 with flag 2374001/2399208 128.15/126.97 c cleaning 10001 clauses out of 20012 with flag 2384001/2409208 128.76/127.53 c cleaning 9996 clauses out of 20011 with flag 2394001/2419208 129.54/128.04 c cleaning 10001 clauses out of 20014 with flag 2404000/2429207 130.06/128.56 c cleaning 10002 clauses out of 20013 with flag 2414000/2439207 130.56/129.06 c cleaning 10002 clauses out of 20012 with flag 2424001/2449208 131.06/129.56 c cleaning 10001 clauses out of 20011 with flag 2434002/2459209 131.56/130.06 c cleaning 9998 clauses out of 20008 with flag 2444000/2469207 132.16/130.64 c cleaning 9995 clauses out of 20010 with flag 2454000/2479207 132.76/131.25 c cleaning 10001 clauses out of 20017 with flag 2464002/2489209 133.26/131.77 c cleaning 10002 clauses out of 20015 with flag 2474001/2499208 133.86/132.34 c cleaning 10003 clauses out of 20012 with flag 2484000/2509207 134.36/132.86 c cleaning 9993 clauses out of 20010 with flag 2494001/2519208 134.86/133.38 c cleaning 10001 clauses out of 20018 with flag 2504002/2529209 135.46/133.95 c cleaning 10004 clauses out of 20015 with flag 2514000/2539207 135.97/134.49 c cleaning 9999 clauses out of 20011 with flag 2524000/2549207 136.58/135.04 c cleaning 10000 clauses out of 20012 with flag 2534000/2559207 137.08/135.57 c cleaning 10002 clauses out of 20013 with flag 2544001/2569208 137.78/136.20 c cleaning 9994 clauses out of 20010 with flag 2554000/2579207 138.28/136.71 c cleaning 9997 clauses out of 20016 with flag 2564000/2589207 138.78/137.26 c cleaning 10007 clauses out of 20023 with flag 2574004/2599211 139.28/137.78 c cleaning 10000 clauses out of 20012 with flag 2584000/2609207 139.88/138.32 c cleaning 10000 clauses out of 20012 with flag 2594000/2619207 140.39/138.89 c cleaning 10003 clauses out of 20013 with flag 2604001/2629208 140.99/139.46 c cleaning 9996 clauses out of 20009 with flag 2614000/2639207 141.49/139.99 c cleaning 10003 clauses out of 20013 with flag 2624000/2649207 142.09/140.50 c cleaning 10002 clauses out of 20012 with flag 2634002/2659209 142.59/141.01 c cleaning 10000 clauses out of 20009 with flag 2644001/2669208 143.10/141.53 c cleaning 9993 clauses out of 20009 with flag 2654001/2679208 143.60/142.07 c cleaning 10004 clauses out of 20016 with flag 2664001/2689208 144.20/142.61 c cleaning 10003 clauses out of 20012 with flag 2674001/2699208 144.70/143.14 c cleaning 9993 clauses out of 20010 with flag 2684002/2709209 145.20/143.65 c cleaning 10001 clauses out of 20016 with flag 2694001/2719208 145.80/144.21 c cleaning 10005 clauses out of 20016 with flag 2704002/2729209 146.30/144.71 c cleaning 9997 clauses out of 20010 with flag 2714001/2739208 146.81/145.26 c cleaning 10003 clauses out of 20015 with flag 2724003/2749210 147.30/145.78 c cleaning 10000 clauses out of 20013 with flag 2734004/2759211 147.91/146.31 c cleaning 9999 clauses out of 20009 with flag 2744000/2769207 148.40/146.84 c cleaning 10000 clauses out of 20011 with flag 2754001/2779208 148.91/147.36 c cleaning 10000 clauses out of 20011 with flag 2764001/2789208 149.41/147.89 c cleaning 10001 clauses out of 20012 with flag 2774002/2799209 150.01/148.42 c cleaning 10001 clauses out of 20012 with flag 2784003/2809210 150.51/148.96 c cleaning 9999 clauses out of 20010 with flag 2794002/2819209 151.11/149.52 c cleaning 10002 clauses out of 20012 with flag 2804003/2829210 151.61/150.07 c cleaning 9990 clauses out of 20007 with flag 2814000/2839207 152.21/150.65 c cleaning 9995 clauses out of 20018 with flag 2824001/2849208 152.81/151.22 c cleaning 10004 clauses out of 20024 with flag 2834002/2859209 153.42/151.82 c cleaning 10003 clauses out of 20019 with flag 2844001/2869208 153.91/152.37 c cleaning 10002 clauses out of 20017 with flag 2854002/2879209 154.52/152.94 c cleaning 10000 clauses out of 20013 with flag 2864000/2889207 155.01/153.46 c cleaning 10002 clauses out of 20013 with flag 2874000/2899207 155.52/153.98 c cleaning 9993 clauses out of 20013 with flag 2884002/2909209 156.11/154.56 c cleaning 10006 clauses out of 20019 with flag 2894001/2919208 156.72/155.11 c cleaning 10003 clauses out of 20012 with flag 2904000/2929207 157.22/155.63 c cleaning 9996 clauses out of 20010 with flag 2914001/2939208 157.72/156.15 c cleaning 9999 clauses out of 20013 with flag 2924000/2949207 158.22/156.66 c cleaning 9998 clauses out of 20015 with flag 2934001/2959208 158.72/157.20 c cleaning 10006 clauses out of 20017 with flag 2944001/2969208 159.32/157.79 c cleaning 10000 clauses out of 20012 with flag 2954002/2979209 159.93/158.38 c cleaning 10000 clauses out of 20011 with flag 2964001/2989208 160.62/159.02 c cleaning 10004 clauses out of 20012 with flag 2974002/2999209 161.13/159.56 c cleaning 9998 clauses out of 20009 with flag 2984003/3009210 161.62/160.05 c cleaning 9999 clauses out of 20008 with flag 2994000/3019207 162.13/160.59 c cleaning 9999 clauses out of 20011 with flag 3004002/3029209 162.63/161.08 c cleaning 10000 clauses out of 20010 with flag 3014000/3039207 163.13/161.60 c cleaning 9997 clauses out of 20010 with flag 3024000/3049207 163.73/162.12 c cleaning 10002 clauses out of 20013 with flag 3034000/3059207 164.24/162.62 c cleaning 10001 clauses out of 20012 with flag 3044001/3069208 164.74/163.14 c cleaning 10002 clauses out of 20012 with flag 3054002/3079209 165.24/163.62 c cleaning 9998 clauses out of 20009 with flag 3064001/3089208 165.74/164.10 c cleaning 9995 clauses out of 20010 with flag 3074000/3099207 166.24/164.61 c cleaning 10002 clauses out of 20015 with flag 3084000/3109207 166.65/165.09 c cleaning 10003 clauses out of 20015 with flag 3094002/3119209 167.24/165.61 c cleaning 9997 clauses out of 20010 with flag 3104000/3129207 167.75/166.11 c cleaning 10002 clauses out of 20013 with flag 3114000/3139207 168.24/166.62 c cleaning 10000 clauses out of 20011 with flag 3124000/3149207 168.75/167.13 c cleaning 10001 clauses out of 20012 with flag 3134001/3159208 169.25/167.65 c cleaning 10000 clauses out of 20011 with flag 3144001/3169208 169.75/168.16 c cleaning 10000 clauses out of 20010 with flag 3154000/3179207 170.25/168.68 c cleaning 10001 clauses out of 20011 with flag 3164001/3189208 170.86/169.23 c cleaning 9998 clauses out of 20010 with flag 3174001/3199208 171.46/169.80 c cleaning 10002 clauses out of 20013 with flag 3184002/3209209 172.07/170.49 c cleaning 10000 clauses out of 20009 with flag 3194000/3219207 172.66/171.04 c cleaning 10002 clauses out of 20013 with flag 3204004/3229211 173.17/171.60 c cleaning 9997 clauses out of 20008 with flag 3214001/3239208 173.77/172.16 c cleaning 10001 clauses out of 20010 with flag 3224000/3249207 174.37/172.72 c cleaning 10000 clauses out of 20009 with flag 3234000/3259207 174.87/173.28 c cleaning 10002 clauses out of 20011 with flag 3244002/3269209 175.48/173.85 c cleaning 10002 clauses out of 20009 with flag 3254002/3279209 176.07/174.41 c cleaning 9996 clauses out of 20005 with flag 3264000/3289207 176.58/174.91 c cleaning 10000 clauses out of 20011 with flag 3274002/3299209 177.07/175.44 c cleaning 10002 clauses out of 20012 with flag 3284003/3309210 177.58/175.99 c cleaning 10000 clauses out of 20007 with flag 3294000/3319207 178.17/176.51 c cleaning 9998 clauses out of 20007 with flag 3304000/3329207 178.68/177.06 c cleaning 10000 clauses out of 20011 with flag 3314002/3339209 179.27/177.60 c cleaning 9990 clauses out of 20009 with flag 3324000/3349207 179.78/178.14 c cleaning 10005 clauses out of 20019 with flag 3334000/3359207 180.38/178.70 c cleaning 10002 clauses out of 20016 with flag 3344002/3369209 180.88/179.22 c cleaning 10001 clauses out of 20013 with flag 3354001/3379208 181.38/179.73 c cleaning 10001 clauses out of 20012 with flag 3364001/3389208 181.88/180.27 c cleaning 10002 clauses out of 20011 with flag 3374001/3399208 182.38/180.79 c cleaning 9997 clauses out of 20008 with flag 3384000/3409207 182.88/181.29 c cleaning 10003 clauses out of 20015 with flag 3394004/3419211 183.38/181.80 c cleaning 10000 clauses out of 20009 with flag 3404001/3429208 183.88/182.28 c cleaning 9998 clauses out of 20008 with flag 3414000/3439207 184.48/182.83 c cleaning 9994 clauses out of 20012 with flag 3424002/3449209 185.00/183.37 c cleaning 10002 clauses out of 20016 with flag 3434000/3459207 185.50/183.89 c cleaning 10002 clauses out of 20014 with flag 3444000/3469207 186.10/184.42 c cleaning 10002 clauses out of 20012 with flag 3454000/3479207 186.60/184.96 c cleaning 10001 clauses out of 20010 with flag 3464000/3489207 187.10/185.49 c cleaning 9998 clauses out of 20011 with flag 3474002/3499209 187.70/186.08 c cleaning 10003 clauses out of 20012 with flag 3484001/3509208 188.31/186.62 c cleaning 9997 clauses out of 20008 with flag 3494000/3519207 188.81/187.16 c cleaning 10004 clauses out of 20014 with flag 3504003/3529210 189.41/187.77 c cleaning 9981 clauses out of 20008 with flag 3514001/3539208 190.01/188.33 c cleaning 10004 clauses out of 20026 with flag 3524000/3549207 190.51/188.87 c cleaning 10007 clauses out of 20024 with flag 3534002/3559209 191.11/189.42 c cleaning 10002 clauses out of 20018 with flag 3544003/3569210 191.71/190.00 c cleaning 10002 clauses out of 20014 with flag 3554001/3579208 192.21/190.51 c cleaning 10001 clauses out of 20012 with flag 3564001/3589208 192.71/191.08 c cleaning 10001 clauses out of 20010 with flag 3574000/3599207 193.31/191.61 c cleaning 9997 clauses out of 20012 with flag 3584003/3609210 193.82/192.18 c cleaning 10000 clauses out of 20012 with flag 3594000/3619207 194.52/192.80 c cleaning 10000 clauses out of 20012 with flag 3604000/3629207 195.02/193.34 c cleaning 9998 clauses out of 20012 with flag 3614000/3639207 195.62/193.93 c cleaning 10004 clauses out of 20016 with flag 3624002/3649209 196.22/194.50 c cleaning 10000 clauses out of 20010 with flag 3634000/3659207 196.72/195.05 c cleaning 9998 clauses out of 20010 with flag 3644000/3669207 197.22/195.56 c cleaning 9997 clauses out of 20012 with flag 3654000/3679207 197.72/196.07 c cleaning 10002 clauses out of 20016 with flag 3664001/3689208 198.22/196.58 c cleaning 9993 clauses out of 20013 with flag 3674000/3699207 198.72/197.08 c cleaning 10004 clauses out of 20020 with flag 3684000/3709207 199.33/197.60 c cleaning 10005 clauses out of 20016 with flag 3694000/3719207 199.83/198.13 c cleaning 10002 clauses out of 20013 with flag 3704002/3729209 200.33/198.69 c cleaning 10001 clauses out of 20011 with flag 3714002/3739209 200.93/199.20 c cleaning 10002 clauses out of 20011 with flag 3724003/3749210 201.43/199.74 c cleaning 9998 clauses out of 20008 with flag 3734002/3759209 201.94/200.26 c cleaning 9998 clauses out of 20010 with flag 3744002/3769209 202.43/200.80 c cleaning 10001 clauses out of 20010 with flag 3754000/3779207 203.04/201.32 c cleaning 9999 clauses out of 20009 with flag 3764000/3789207 203.53/201.85 c cleaning 9997 clauses out of 20010 with flag 3774000/3799207 204.04/202.39 c cleaning 10002 clauses out of 20013 with flag 3784000/3809207 204.53/202.89 c cleaning 10001 clauses out of 20014 with flag 3794003/3819210 205.14/203.46 c cleaning 10000 clauses out of 20011 with flag 3804001/3829208 205.64/203.97 c cleaning 10001 clauses out of 20011 with flag 3814001/3839208 206.24/204.50 c cleaning 10001 clauses out of 20010 with flag 3824001/3849208 206.74/205.03 c cleaning 9996 clauses out of 20008 with flag 3834000/3859207 207.35/205.66 c cleaning 10001 clauses out of 20014 with flag 3844002/3869209 207.94/206.21 c cleaning 9997 clauses out of 20011 with flag 3854000/3879207 208.45/206.80 c cleaning 10000 clauses out of 20014 with flag 3864000/3889207 209.14/207.40 c cleaning 9998 clauses out of 20016 with flag 3874002/3899209 209.74/208.05 c cleaning 10002 clauses out of 20016 with flag 3884000/3909207 210.24/208.57 c cleaning 10003 clauses out of 20015 with flag 3894001/3919208 210.75/209.09 c cleaning 9995 clauses out of 20012 with flag 3904001/3929208 211.34/209.61 c cleaning 10004 clauses out of 20017 with flag 3914001/3939208 211.85/210.18 c cleaning 10002 clauses out of 20014 with flag 3924002/3949209 212.45/210.74 c cleaning 9997 clauses out of 20012 with flag 3934002/3959209 212.95/211.26 c cleaning 9998 clauses out of 20013 with flag 3944000/3969207 213.45/211.75 c cleaning 10001 clauses out of 20015 with flag 3954000/3979207 213.95/212.27 c cleaning 10002 clauses out of 20015 with flag 3964001/3989208 214.45/212.79 c cleaning 9994 clauses out of 20015 with flag 3974003/3999210 215.05/213.32 c cleaning 10000 clauses out of 20018 with flag 3984000/4009207 215.55/213.83 c cleaning 10003 clauses out of 20022 with flag 3994004/4019211 216.05/214.37 c cleaning 9997 clauses out of 20015 with flag 4004000/4029207 216.55/214.88 c cleaning 10001 clauses out of 20018 with flag 4014000/4039207 217.05/215.39 c cleaning 10003 clauses out of 20019 with flag 4024002/4049209 217.65/215.92 c cleaning 10000 clauses out of 20017 with flag 4034003/4059210 218.15/216.45 c cleaning 10003 clauses out of 20015 with flag 4044001/4069208 218.65/216.96 c cleaning 10001 clauses out of 20013 with flag 4054002/4079209 219.26/217.50 c cleaning 10002 clauses out of 20010 with flag 4064000/4089207 219.76/218.04 c cleaning 9998 clauses out of 20011 with flag 4074003/4099210 220.27/218.58 c cleaning 9998 clauses out of 20010 with flag 4084000/4109207 220.77/219.08 c cleaning 9997 clauses out of 20012 with flag 4094000/4119207 221.27/219.59 c cleaning 10000 clauses out of 20015 with flag 4104000/4129207 221.87/220.13 c cleaning 10002 clauses out of 20015 with flag 4114000/4139207 222.37/220.62 c cleaning 9999 clauses out of 20013 with flag 4124000/4149207 222.87/221.13 c cleaning 10003 clauses out of 20017 with flag 4134003/4159210 223.37/221.66 c cleaning 9988 clauses out of 20011 with flag 4144000/4169207 223.97/222.24 c cleaning 10003 clauses out of 20023 with flag 4154000/4179207 224.47/222.79 c cleaning 10001 clauses out of 20022 with flag 4164002/4189209 225.07/223.33 c cleaning 10006 clauses out of 20022 with flag 4174003/4199210 225.67/223.92 c cleaning 9996 clauses out of 20014 with flag 4184001/4209208 226.18/224.45 c cleaning 10004 clauses out of 20017 with flag 4194000/4219207 226.67/224.96 c cleaning 9999 clauses out of 20015 with flag 4204002/4229209 227.18/225.48 c cleaning 10002 clauses out of 20016 with flag 4214002/4239209 227.77/226.03 c cleaning 9997 clauses out of 20012 with flag 4224000/4249207 228.28/226.57 c cleaning 9999 clauses out of 20017 with flag 4234002/4259209 228.88/227.12 c cleaning 10000 clauses out of 20016 with flag 4244000/4269207 229.38/227.67 c cleaning 10005 clauses out of 20018 with flag 4254002/4279209 229.98/228.24 c cleaning 10001 clauses out of 20011 with flag 4264000/4289207 230.48/228.77 c cleaning 9989 clauses out of 20010 with flag 4274000/4299207 231.08/229.33 c cleaning 10007 clauses out of 20022 with flag 4284001/4309208 231.58/229.90 c cleaning 10006 clauses out of 20017 with flag 4294003/4319210 232.18/230.43 c cleaning 9986 clauses out of 20008 with flag 4304000/4329207 232.69/230.97 c cleaning 10008 clauses out of 20022 with flag 4314000/4339207 233.28/231.54 c cleaning 9998 clauses out of 20014 with flag 4324000/4349207 233.89/232.10 c cleaning 10003 clauses out of 20018 with flag 4334002/4359209 234.38/232.65 c cleaning 10000 clauses out of 20013 with flag 4344000/4369207 234.89/233.20 c cleaning 9994 clauses out of 20013 with flag 4354000/4379207 235.49/233.76 c cleaning 10003 clauses out of 20019 with flag 4364000/4389207 236.10/234.36 c cleaning 10005 clauses out of 20022 with flag 4374006/4399213 236.69/234.91 c cleaning 9999 clauses out of 20011 with flag 4384000/4409207 237.20/235.44 c cleaning 10001 clauses out of 20013 with flag 4394001/4419208 237.69/235.94 c cleaning 10002 clauses out of 20012 with flag 4404001/4429208 238.20/236.44 c cleaning 9999 clauses out of 20011 with flag 4414002/4439209 238.79/237.01 c cleaning 10001 clauses out of 20011 with flag 4424001/4449208 239.30/237.56 c cleaning 10000 clauses out of 20010 with flag 4434001/4459208 239.91/238.10 c cleaning 9997 clauses out of 20012 with flag 4444003/4469210 240.41/238.62 c cleaning 10002 clauses out of 20015 with flag 4454003/4479210 241.01/239.20 c cleaning 9995 clauses out of 20010 with flag 4464000/4489207 241.51/239.73 c cleaning 9999 clauses out of 20016 with flag 4474001/4499208 242.01/240.26 c cleaning 10000 clauses out of 20016 with flag 4484000/4509207 242.51/240.78 c cleaning 10002 clauses out of 20018 with flag 4494002/4519209 243.01/241.29 c cleaning 10002 clauses out of 20016 with flag 4504002/4529209 243.61/241.81 c cleaning 9999 clauses out of 20013 with flag 4514001/4539208 244.11/242.39 c cleaning 9998 clauses out of 20014 with flag 4524001/4549208 244.61/242.87 c cleaning 10004 clauses out of 20016 with flag 4534001/4559208 245.12/243.36 c cleaning 10000 clauses out of 20012 with flag 4544001/4569208 245.62/243.86 c cleaning 9998 clauses out of 20011 with flag 4554000/4579207 246.11/244.36 c cleaning 10003 clauses out of 20013 with flag 4564000/4589207 246.62/244.89 c cleaning 9995 clauses out of 20012 with flag 4574002/4599209 247.22/245.41 c cleaning 10000 clauses out of 20016 with flag 4584001/4609208 247.72/245.94 c cleaning 10003 clauses out of 20015 with flag 4594000/4619207 248.23/246.49 c cleaning 9999 clauses out of 20012 with flag 4604000/4629207 248.72/247.00 c cleaning 10000 clauses out of 20013 with flag 4614000/4639207 249.23/247.50 c cleaning 10002 clauses out of 20013 with flag 4624000/4649207 249.83/248.05 c cleaning 9998 clauses out of 20011 with flag 4634000/4659207 250.43/248.62 c cleaning 9998 clauses out of 20014 with flag 4644001/4669208 250.93/249.15 c cleaning 10002 clauses out of 20016 with flag 4654001/4679208 251.43/249.67 c cleaning 10000 clauses out of 20015 with flag 4664002/4689209 252.03/250.21 c cleaning 9996 clauses out of 20013 with flag 4674000/4699207 252.53/250.73 c cleaning 9999 clauses out of 20019 with flag 4684002/4709209 253.03/251.29 c cleaning 9996 clauses out of 20018 with flag 4694000/4719207 253.63/251.82 c cleaning 10001 clauses out of 20022 with flag 4704000/4729207 254.13/252.37 c cleaning 10008 clauses out of 20021 with flag 4714000/4739207 254.74/252.91 c cleaning 9997 clauses out of 20013 with flag 4724000/4749207 255.23/253.45 c cleaning 9998 clauses out of 20016 with flag 4734000/4759207 255.73/253.95 c cleaning 9998 clauses out of 20019 with flag 4744001/4769208 256.24/254.48 c cleaning 10006 clauses out of 20021 with flag 4754001/4779208 256.74/254.96 c cleaning 10005 clauses out of 20015 with flag 4764001/4789208 257.24/255.46 c cleaning 9998 clauses out of 20011 with flag 4774002/4799209 257.74/256.00 c cleaning 9996 clauses out of 20013 with flag 4784002/4809209 258.34/256.56 c cleaning 9997 clauses out of 20016 with flag 4794001/4819208 258.84/257.08 c cleaning 10006 clauses out of 20019 with flag 4804001/4829208 259.45/257.62 c cleaning 10002 clauses out of 20012 with flag 4814000/4839207 259.95/258.16 c cleaning 9997 clauses out of 20010 with flag 4824000/4849207 260.55/258.76 c cleaning 10002 clauses out of 20014 with flag 4834001/4859208 261.15/259.37 c cleaning 9998 clauses out of 20012 with flag 4844001/4869208 261.65/259.89 c cleaning 10001 clauses out of 20014 with flag 4854001/4879208 262.15/260.36 c cleaning 10002 clauses out of 20015 with flag 4864003/4889210 262.65/260.87 c cleaning 9993 clauses out of 20010 with flag 4874000/4899207 263.25/261.43 c cleaning 10001 clauses out of 20019 with flag 4884002/4909209 263.75/261.97 c cleaning 10001 clauses out of 20016 with flag 4894000/4919207 264.35/262.58 c cleaning 10004 clauses out of 20016 with flag 4904001/4929208 264.95/263.12 c cleaning 9996 clauses out of 20012 with flag 4914001/4939208 265.46/263.69 c cleaning 9998 clauses out of 20015 with flag 4924000/4949207 266.06/264.26 c cleaning 10002 clauses out of 20017 with flag 4934000/4959207 266.56/264.79 c cleaning 10003 clauses out of 20016 with flag 4944001/4969208 267.16/265.33 c cleaning 10001 clauses out of 20012 with flag 4954000/4979207 267.66/265.87 c cleaning 10001 clauses out of 20013 with flag 4964002/4989209 268.26/266.41 c cleaning 10002 clauses out of 20011 with flag 4974001/4999208 268.76/266.96 c cleaning 9994 clauses out of 20008 with flag 4984000/5009207 269.36/267.50 c cleaning 9997 clauses out of 20015 with flag 4994001/5019208 269.86/268.04 c cleaning 10004 clauses out of 20017 with flag 5004000/5029207 270.46/268.61 c cleaning 9999 clauses out of 20014 with flag 5014001/5039208 270.96/269.16 c cleaning 10002 clauses out of 20014 with flag 5024000/5049207 271.56/269.76 c cleaning 10000 clauses out of 20014 with flag 5034002/5059209 272.26/270.44 c cleaning 9999 clauses out of 20014 with flag 5044002/5069209 272.86/271.04 c cleaning 10000 clauses out of 20013 with flag 5054000/5079207 273.47/271.65 c cleaning 10000 clauses out of 20013 with flag 5064000/5089207 273.96/272.17 c cleaning 10000 clauses out of 20013 with flag 5074000/5099207 274.46/272.69 c cleaning 10002 clauses out of 20015 with flag 5084002/5109209 275.07/273.22 c cleaning 9998 clauses out of 20011 with flag 5094000/5119207 275.57/273.75 c cleaning 10002 clauses out of 20013 with flag 5104000/5129207 276.07/274.29 c cleaning 9996 clauses out of 20014 with flag 5114003/5139210 276.67/274.90 c cleaning 10004 clauses out of 20015 with flag 5124000/5149207 277.28/275.40 c cleaning 10001 clauses out of 20012 with flag 5134001/5159208 277.78/275.98 c cleaning 9997 clauses out of 20010 with flag 5144000/5169207 278.38/276.51 c cleaning 10002 clauses out of 20015 with flag 5154002/5179209 278.88/277.00 c cleaning 9999 clauses out of 20011 with flag 5164000/5189207 279.38/277.53 c cleaning 10003 clauses out of 20013 with flag 5174001/5199208 279.88/278.06 c cleaning 9997 clauses out of 20009 with flag 5184000/5209207 280.48/278.60 c cleaning 10001 clauses out of 20013 with flag 5194001/5219208 280.98/279.13 c cleaning 10000 clauses out of 20011 with flag 5204000/5229207 281.48/279.64 c cleaning 9999 clauses out of 20012 with flag 5214001/5239208 281.98/280.18 c cleaning 10000 clauses out of 20012 with flag 5224000/5249207 282.58/280.72 c cleaning 10000 clauses out of 20013 with flag 5234001/5259208 283.08/281.26 c cleaning 9999 clauses out of 20012 with flag 5244000/5269207 283.68/281.80 c cleaning 9997 clauses out of 20014 with flag 5254001/5279208 284.18/282.33 c cleaning 10003 clauses out of 20019 with flag 5264003/5289210 284.69/282.85 c cleaning 10001 clauses out of 20015 with flag 5274002/5299209 285.19/283.35 c cleaning 10003 clauses out of 20013 with flag 5284001/5309208 285.69/283.90 c cleaning 9999 clauses out of 20009 with flag 5294000/5319207 286.29/284.44 c cleaning 9993 clauses out of 20010 with flag 5304000/5329207 286.79/284.97 c cleaning 10001 clauses out of 20017 with flag 5314000/5339207 287.29/285.47 c cleaning 10006 clauses out of 20019 with flag 5324003/5349210 287.79/285.99 c cleaning 9999 clauses out of 20010 with flag 5334000/5359207 288.39/286.58 c cleaning 9999 clauses out of 20011 with flag 5344000/5369207 288.89/287.10 c cleaning 10002 clauses out of 20013 with flag 5354001/5379208 289.49/287.64 c cleaning 9993 clauses out of 20012 with flag 5364002/5389209 289.99/288.16 c cleaning 10004 clauses out of 20018 with flag 5374001/5399208 290.59/288.72 c cleaning 10002 clauses out of 20014 with flag 5384001/5409208 291.10/289.23 c cleaning 9999 clauses out of 20011 with flag 5394000/5419207 291.59/289.77 c cleaning 9996 clauses out of 20012 with flag 5404000/5429207 292.20/290.31 c cleaning 10003 clauses out of 20016 with flag 5414000/5439207 292.70/290.87 c cleaning 10000 clauses out of 20014 with flag 5424001/5449208 293.20/291.40 c cleaning 9999 clauses out of 20013 with flag 5434000/5459207 293.81/291.92 c cleaning 10000 clauses out of 20016 with flag 5444002/5469209 294.31/292.48 c cleaning 10003 clauses out of 20015 with flag 5454001/5479208 294.81/292.99 c cleaning 10002 clauses out of 20012 with flag 5464001/5489208 295.42/293.55 c cleaning 9995 clauses out of 20010 with flag 5474001/5499208 295.92/294.09 c cleaning 9999 clauses out of 20014 with flag 5484000/5509207 296.62/294.71 c cleaning 10001 clauses out of 20015 with flag 5494000/5519207 297.12/295.25 c cleaning 9992 clauses out of 20014 with flag 5504000/5529207 297.73/295.81 c cleaning 10005 clauses out of 20023 with flag 5514001/5539208 298.22/296.35 c cleaning 10002 clauses out of 20018 with flag 5524001/5549208 298.72/296.88 c cleaning 10006 clauses out of 20017 with flag 5534002/5559209 299.32/297.45 c cleaning 9995 clauses out of 20009 with flag 5544000/5569207 299.82/297.99 c cleaning 9998 clauses out of 20015 with flag 5554001/5579208 300.43/298.54 c cleaning 10005 clauses out of 20016 with flag 5564000/5589207 301.03/299.14 c cleaning 10001 clauses out of 20011 with flag 5574000/5599207 301.63/299.71 c cleaning 9999 clauses out of 20010 with flag 5584000/5609207 302.13/300.28 c cleaning 9995 clauses out of 20011 with flag 5594000/5619207 302.83/300.91 c cleaning 10005 clauses out of 20018 with flag 5604002/5629209 303.43/301.50 c cleaning 9999 clauses out of 20012 with flag 5614001/5639208 303.93/302.07 c cleaning 9997 clauses out of 20012 with flag 5624000/5649207 304.54/302.67 c cleaning 10001 clauses out of 20017 with flag 5634002/5659209 305.04/303.19 c cleaning 10002 clauses out of 20015 with flag 5644001/5669208 305.64/303.75 c cleaning 10000 clauses out of 20012 with flag 5654000/5679207 306.14/304.26 c cleaning 10000 clauses out of 20012 with flag 5664000/5689207 306.74/304.81 c cleaning 9999 clauses out of 20014 with flag 5674002/5699209 307.24/305.34 c cleaning 10004 clauses out of 20015 with flag 5684002/5709209 307.75/305.88 c cleaning 9995 clauses out of 20009 with flag 5694000/5719207 308.34/306.44 c cleaning 9993 clauses out of 20014 with flag 5704000/5729207 308.94/307.03 c cleaning 10008 clauses out of 20025 with flag 5714004/5739211 309.54/307.60 c cleaning 10001 clauses out of 20013 with flag 5724000/5749207 310.04/308.11 c cleaning 10003 clauses out of 20015 with flag 5734003/5759210 310.54/308.64 c cleaning 9994 clauses out of 20009 with flag 5744000/5769207 311.05/309.17 c cleaning 9998 clauses out of 20015 with flag 5754000/5779207 311.64/309.73 c cleaning 10003 clauses out of 20017 with flag 5764000/5789207 312.15/310.26 c cleaning 10000 clauses out of 20016 with flag 5774002/5799209 312.65/310.78 c cleaning 10003 clauses out of 20017 with flag 5784003/5809210 313.35/311.41 c cleaning 10001 clauses out of 20018 with flag 5794007/5819214 313.95/312.00 c cleaning 9996 clauses out of 20011 with flag 5804001/5829208 314.45/312.51 c cleaning 10005 clauses out of 20016 with flag 5814002/5839209 314.95/313.04 c cleaning 9999 clauses out of 20010 with flag 5824001/5849208 315.46/313.59 c cleaning 9999 clauses out of 20012 with flag 5834002/5859209 316.06/314.16 c cleaning 10002 clauses out of 20011 with flag 5844000/5869207 316.66/314.71 c cleaning 10000 clauses out of 20011 with flag 5854002/5879209 317.16/315.26 c cleaning 10000 clauses out of 20010 with flag 5864001/5889208 317.66/315.77 c cleaning 10001 clauses out of 20011 with flag 5874002/5899209 318.16/316.29 c cleaning 9992 clauses out of 20008 with flag 5884000/5909207 318.77/316.81 c cleaning 10004 clauses out of 20018 with flag 5894002/5919209 319.26/317.35 c cleaning 10002 clauses out of 20014 with flag 5904002/5929209 319.77/317.84 c cleaning 10001 clauses out of 20012 with flag 5914002/5939209 320.26/318.34 c cleaning 9998 clauses out of 20009 with flag 5924000/5949207 320.76/318.88 c cleaning 10001 clauses out of 20011 with flag 5934000/5959207 321.36/319.43 c cleaning 9991 clauses out of 20010 with flag 5944000/5969207 321.86/319.95 c cleaning 10007 clauses out of 20020 with flag 5954001/5979208 322.36/320.46 c cleaning 10002 clauses out of 20013 with flag 5964001/5989208 322.86/320.99 c cleaning 9993 clauses out of 20010 with flag 5974000/5999207 323.47/321.52 c cleaning 10002 clauses out of 20018 with flag 5984001/6009208 324.07/322.12 c cleaning 10007 clauses out of 20018 with flag 5994003/6019210 324.57/322.65 c cleaning 10001 clauses out of 20008 with flag 6004000/6029207 325.17/323.25 c cleaning 9997 clauses out of 20010 with flag 6014003/6039210 325.67/323.79 c cleaning 10004 clauses out of 20016 with flag 6024006/6049213 326.27/324.32 c cleaning 9997 clauses out of 20009 with flag 6034003/6059210 326.77/324.84 c cleaning 9999 clauses out of 20010 with flag 6044001/6069208 327.27/325.38 c cleaning 10001 clauses out of 20012 with flag 6054002/6079209 327.77/325.89 c cleaning 10001 clauses out of 20011 with flag 6064002/6089209 328.37/326.43 c cleaning 9996 clauses out of 20011 with flag 6074003/6099210 328.87/326.95 c cleaning 10000 clauses out of 20013 with flag 6084001/6109208 329.37/327.47 c cleaning 10001 clauses out of 20013 with flag 6094001/6119208 329.97/328.01 c cleaning 9993 clauses out of 20011 with flag 6104000/6129207 330.47/328.57 c cleaning 10002 clauses out of 20018 with flag 6114000/6139207 331.08/329.14 c cleaning 10004 clauses out of 20017 with flag 6124001/6149208 331.69/329.74 c cleaning 9997 clauses out of 20013 with flag 6134001/6159208 332.19/330.29 c cleaning 10003 clauses out of 20017 with flag 6144002/6169209 332.78/330.85 c cleaning 10001 clauses out of 20013 with flag 6154001/6179208 333.38/331.42 c cleaning 10000 clauses out of 20013 with flag 6164002/6189209 333.89/332.00 c cleaning 10000 clauses out of 20011 with flag 6174000/6199207 334.48/332.58 c cleaning 10000 clauses out of 20011 with flag 6184000/6209207 335.09/333.15 c cleaning 10000 clauses out of 20012 with flag 6194001/6219208 335.69/333.77 c cleaning 9997 clauses out of 20012 with flag 6204001/6229208 336.32/334.32 c cleaning 10003 clauses out of 20014 with flag 6214000/6239207 336.81/334.87 c cleaning 9998 clauses out of 20011 with flag 6224000/6249207 337.42/335.41 c cleaning 9999 clauses out of 20014 with flag 6234001/6259208 337.92/335.93 c cleaning 10002 clauses out of 20016 with flag 6244002/6269209 338.42/336.48 c cleaning 9996 clauses out of 20014 with flag 6254002/6279209 339.02/337.09 c cleaning 10005 clauses out of 20017 with flag 6264001/6289208 339.72/337.79 c cleaning 10002 clauses out of 20015 with flag 6274004/6299211 340.42/338.47 c cleaning 9996 clauses out of 20009 with flag 6284000/6309207 340.92/338.98 c cleaning 10002 clauses out of 20013 with flag 6294000/6319207 341.43/339.49 c cleaning 9994 clauses out of 20011 with flag 6304000/6329207 342.03/340.03 c cleaning 10002 clauses out of 20017 with flag 6314000/6339207 342.63/340.65 c cleaning 9995 clauses out of 20016 with flag 6324001/6349208 343.23/341.25 c cleaning 10008 clauses out of 20021 with flag 6334001/6359208 343.83/341.80 c cleaning 9995 clauses out of 20013 with flag 6344001/6369208 344.53/342.50 c cleaning 9996 clauses out of 20017 with flag 6354000/6379207 345.14/343.13 c cleaning 9997 clauses out of 20021 with flag 6364000/6389207 345.73/343.73 c cleaning 9999 clauses out of 20026 with flag 6374002/6399209 346.34/344.37 c cleaning 9992 clauses out of 20026 with flag 6384001/6409208 346.94/344.95 c cleaning 10011 clauses out of 20033 with flag 6394000/6419207 347.44/345.46 c cleaning 10004 clauses out of 20024 with flag 6404002/6429209 348.04/346.00 c cleaning 10002 clauses out of 20018 with flag 6414000/6439207 348.65/346.64 c cleaning 10000 clauses out of 20017 with flag 6424001/6449208 349.25/347.22 c cleaning 9999 clauses out of 20016 with flag 6434000/6459207 349.85/347.82 c cleaning 10004 clauses out of 20021 with flag 6444004/6469211 350.35/348.34 c cleaning 10003 clauses out of 20013 with flag 6454000/6479207 350.95/348.91 c cleaning 10002 clauses out of 20011 with flag 6464001/6489208 351.56/349.50 c cleaning 9995 clauses out of 20009 with flag 6474001/6499208 352.06/350.08 c cleaning 10002 clauses out of 20013 with flag 6484000/6509207 352.66/350.63 c cleaning 10001 clauses out of 20013 with flag 6494002/6519209 353.16/351.17 c cleaning 10002 clauses out of 20010 with flag 6504000/6529207 353.76/351.73 c cleaning 9986 clauses out of 20008 with flag 6514000/6539207 354.36/352.39 c cleaning 10000 clauses out of 20024 with flag 6524002/6549209 354.96/352.95 c cleaning 10006 clauses out of 20022 with flag 6534000/6559207 355.46/353.49 c cleaning 10000 clauses out of 20016 with flag 6544000/6569207 356.17/354.11 c cleaning 10004 clauses out of 20017 with flag 6554001/6579208 356.66/354.68 c cleaning 9995 clauses out of 20014 with flag 6564002/6589209 357.27/355.27 c cleaning 9996 clauses out of 20017 with flag 6574000/6599207 357.97/355.90 c cleaning 9997 clauses out of 20021 with flag 6584000/6609207 358.57/356.50 c cleaning 10007 clauses out of 20026 with flag 6594002/6619209 359.07/357.07 c cleaning 10003 clauses out of 20017 with flag 6604000/6629207 359.67/357.62 c cleaning 10004 clauses out of 20017 with flag 6614003/6639210 360.17/358.10 c cleaning 10000 clauses out of 20012 with flag 6624002/6649209 360.58/358.59 c cleaning 10000 clauses out of 20010 with flag 6634000/6659207 361.17/359.11 c cleaning 9999 clauses out of 20010 with flag 6644000/6669207 361.68/359.67 c cleaning 10002 clauses out of 20011 with flag 6654000/6679207 362.28/360.21 c cleaning 10000 clauses out of 20013 with flag 6664004/6689211 362.88/360.83 c cleaning 10000 clauses out of 20009 with flag 6674000/6699207 363.48/361.44 c cleaning 9992 clauses out of 20009 with flag 6684000/6709207 363.98/361.94 c cleaning 9997 clauses out of 20017 with flag 6694000/6719207 364.48/362.46 c cleaning 10004 clauses out of 20021 with flag 6704001/6729208 364.98/362.98 c cleaning 10000 clauses out of 20017 with flag 6714001/6739208 365.58/363.53 c cleaning 9999 clauses out of 20016 with flag 6724000/6749207 366.08/364.03 c cleaning 10004 clauses out of 20017 with flag 6734000/6759207 366.58/364.54 c cleaning 10003 clauses out of 20013 with flag 6744000/6769207 367.08/365.03 c cleaning 10001 clauses out of 20011 with flag 6754001/6779208 367.58/365.53 c cleaning 9999 clauses out of 20010 with flag 6764001/6789208 368.08/366.09 c cleaning 9996 clauses out of 20011 with flag 6774001/6799208 368.58/366.59 c cleaning 10003 clauses out of 20015 with flag 6784001/6809208 369.08/367.10 c cleaning 10002 clauses out of 20011 with flag 6794000/6819207 369.68/367.66 c cleaning 10000 clauses out of 20009 with flag 6804000/6829207 370.18/368.20 c cleaning 9997 clauses out of 20010 with flag 6814001/6839208 370.78/368.74 c cleaning 9995 clauses out of 20013 with flag 6824001/6849208 371.38/369.32 c cleaning 10001 clauses out of 20017 with flag 6834000/6859207 371.88/369.81 c cleaning 10005 clauses out of 20017 with flag 6844001/6869208 372.38/370.33 c cleaning 10001 clauses out of 20011 with flag 6854000/6879207 372.89/370.87 c cleaning 9997 clauses out of 20010 with flag 6864000/6889207 373.39/371.38 c cleaning 10003 clauses out of 20014 with flag 6874001/6899208 373.98/371.97 c cleaning 9998 clauses out of 20010 with flag 6884000/6909207 374.59/372.54 c cleaning 9996 clauses out of 20012 with flag 6894000/6919207 375.19/373.11 c cleaning 10005 clauses out of 20017 with flag 6904001/6929208 375.70/373.63 c cleaning 9996 clauses out of 20012 with flag 6914001/6939208 376.20/374.17 c cleaning 10005 clauses out of 20015 with flag 6924000/6949207 376.70/374.69 c cleaning 9995 clauses out of 20010 with flag 6934000/6959207 377.30/375.22 c cleaning 10003 clauses out of 20017 with flag 6944002/6969209 377.80/375.75 c cleaning 10002 clauses out of 20013 with flag 6954001/6979208 378.31/376.26 c cleaning 9998 clauses out of 20011 with flag 6964001/6989208 378.80/376.77 c cleaning 10004 clauses out of 20015 with flag 6974003/6999210 379.31/377.29 c cleaning 10001 clauses out of 20009 with flag 6984001/7009208 379.90/377.83 c cleaning 10001 clauses out of 20009 with flag 6994002/7019209 380.41/378.37 c cleaning 9997 clauses out of 20006 with flag 7004000/7029207 381.00/378.93 c cleaning 10000 clauses out of 20009 with flag 7014000/7039207 381.51/379.43 c cleaning 10001 clauses out of 20010 with flag 7024001/7049208 382.00/379.94 c cleaning 9998 clauses out of 20008 with flag 7034000/7059207 382.51/380.46 c cleaning 9998 clauses out of 20010 with flag 7044000/7069207 383.01/380.98 c cleaning 9998 clauses out of 20012 with flag 7054000/7079207 383.50/381.49 c cleaning 10001 clauses out of 20014 with flag 7064000/7089207 384.11/382.00 c cleaning 9998 clauses out of 20013 with flag 7074000/7099207 384.61/382.54 c cleaning 10006 clauses out of 20018 with flag 7084003/7109210 385.11/383.02 c cleaning 9997 clauses out of 20009 with flag 7094000/7119207 385.71/383.63 c cleaning 10002 clauses out of 20012 with flag 7104000/7129207 386.21/384.19 c cleaning 9998 clauses out of 20011 with flag 7114001/7139208 386.82/384.78 c cleaning 9999 clauses out of 20016 with flag 7124004/7149211 387.52/385.40 c cleaning 10002 clauses out of 20015 with flag 7134002/7159209 388.02/385.97 c cleaning 10001 clauses out of 20012 with flag 7144001/7169208 388.62/386.55 c cleaning 10002 clauses out of 20012 with flag 7154002/7179209 389.12/387.07 c cleaning 10000 clauses out of 20009 with flag 7164001/7189208 389.62/387.59 c cleaning 9998 clauses out of 20008 with flag 7174000/7199207 390.23/388.18 c cleaning 9991 clauses out of 20010 with flag 7184000/7209207 390.83/388.72 c cleaning 10000 clauses out of 20020 with flag 7194001/7219208 391.33/389.24 c cleaning 10005 clauses out of 20020 with flag 7204001/7229208 391.84/389.77 c cleaning 10003 clauses out of 20016 with flag 7214002/7239209 392.44/390.30 c cleaning 10003 clauses out of 20011 with flag 7224000/7249207 392.94/390.88 c cleaning 9998 clauses out of 20008 with flag 7234000/7259207 393.54/391.42 c cleaning 10001 clauses out of 20010 with flag 7244000/7269207 394.04/391.93 c cleaning 9998 clauses out of 20010 with flag 7254001/7279208 394.54/392.46 c cleaning 10001 clauses out of 20012 with flag 7264001/7289208 395.14/393.04 c cleaning 10002 clauses out of 20011 with flag 7274001/7299208 395.64/393.58 c cleaning 9993 clauses out of 20008 with flag 7284000/7309207 396.24/394.12 c cleaning 10000 clauses out of 20016 with flag 7294001/7319208 396.74/394.62 c cleaning 9995 clauses out of 20015 with flag 7304000/7329207 397.24/395.15 c cleaning 9998 clauses out of 20020 with flag 7314000/7339207 397.75/395.66 c cleaning 10004 clauses out of 20023 with flag 7324001/7349208 398.35/396.22 c cleaning 10003 clauses out of 20019 with flag 7334001/7359208 398.95/396.82 c cleaning 10002 clauses out of 20016 with flag 7344001/7369208 399.45/397.34 c cleaning 9998 clauses out of 20014 with flag 7354001/7379208 399.95/397.89 c cleaning 10001 clauses out of 20017 with flag 7364002/7389209 400.55/398.45 c cleaning 10004 clauses out of 20015 with flag 7374001/7399208 401.15/399.03 c cleaning 9994 clauses out of 20010 with flag 7384000/7409207 401.65/399.59 c cleaning 10004 clauses out of 20016 with flag 7394000/7419207 402.25/400.15 c cleaning 10000 clauses out of 20013 with flag 7404001/7429208 402.86/400.72 c cleaning 9997 clauses out of 20012 with flag 7414000/7439207 403.46/401.35 c cleaning 9999 clauses out of 20015 with flag 7424000/7449207 404.07/401.91 c cleaning 9989 clauses out of 20017 with flag 7434001/7459208 404.57/402.49 c cleaning 9982 clauses out of 20027 with flag 7444000/7469207 405.17/403.04 c cleaning 9986 clauses out of 20048 with flag 7454003/7479210 405.77/403.63 c cleaning 9980 clauses out of 20059 with flag 7464000/7489207 406.37/404.21 c cleaning 9996 clauses out of 20079 with flag 7474000/7499207 406.87/404.76 c cleaning 9992 clauses out of 20084 with flag 7484001/7509208 407.47/405.31 c cleaning 10001 clauses out of 20093 with flag 7494002/7519209 407.98/405.83 c cleaning 9992 clauses out of 20091 with flag 7504001/7529208 408.58/406.42 c cleaning 9992 clauses out of 20101 with flag 7514003/7539210 409.18/407.03 c cleaning 9981 clauses out of 20106 with flag 7524000/7549207 409.78/407.61 c cleaning 10020 clauses out of 20128 with flag 7534003/7559210 410.38/408.21 c cleaning 9990 clauses out of 20105 with flag 7544000/7569207 410.88/408.78 c cleaning 10001 clauses out of 20115 with flag 7554000/7579207 411.48/409.37 c cleaning 10003 clauses out of 20114 with flag 7564000/7589207 412.08/409.91 c cleaning 9995 clauses out of 20113 with flag 7574002/7599209 412.58/410.46 c cleaning 9991 clauses out of 20117 with flag 7584001/7609208 413.08/410.99 c cleaning 9992 clauses out of 20127 with flag 7594002/7619209 413.68/411.54 c cleaning 9985 clauses out of 20133 with flag 7604000/7629207 414.18/412.06 c cleaning 9994 clauses out of 20148 with flag 7614000/7639207 414.78/412.65 c cleaning 9992 clauses out of 20154 with flag 7624000/7649207 415.39/413.28 c cleaning 9984 clauses out of 20162 with flag 7634000/7659207 416.09/413.94 c cleaning 9963 clauses out of 20178 with flag 7644000/7669207 416.69/414.52 c cleaning 10013 clauses out of 20216 with flag 7654001/7679208 417.19/415.07 c cleaning 9992 clauses out of 20203 with flag 7664001/7689208 417.79/415.60 c cleaning 9999 clauses out of 20212 with flag 7674002/7699209 418.29/416.18 c cleaning 9989 clauses out of 20212 with flag 7684001/7709208 418.89/416.75 c cleaning 10007 clauses out of 20224 with flag 7694002/7719209 419.49/417.31 c cleaning 9992 clauses out of 20215 with flag 7704000/7729207 419.99/417.82 c cleaning 9978 clauses out of 20223 with flag 7714000/7739207 420.49/418.38 c cleaning 9993 clauses out of 20247 with flag 7724002/7749209 421.09/418.98 c cleaning 9994 clauses out of 20254 with flag 7734002/7759209 421.69/419.54 c cleaning 9979 clauses out of 20258 with flag 7744000/7769207 422.20/420.05 c cleaning 9997 clauses out of 20283 with flag 7754004/7779211 422.71/420.58 c cleaning 9971 clauses out of 20282 with flag 7764000/7789207 423.31/421.14 c cleaning 9988 clauses out of 20313 with flag 7774002/7799209 423.81/421.65 c cleaning 9985 clauses out of 20325 with flag 7784002/7809209 424.31/422.14 c cleaning 9986 clauses out of 20338 with flag 7794000/7819207 424.91/422.72 c cleaning 9990 clauses out of 20355 with flag 7804003/7829210 425.41/423.27 c cleaning 9989 clauses out of 20363 with flag 7814001/7839208 426.01/423.81 c cleaning 9992 clauses out of 20374 with flag 7824001/7849208 426.51/424.37 c cleaning 9994 clauses out of 20381 with flag 7834000/7859207 427.11/424.91 c cleaning 9988 clauses out of 20387 with flag 7844000/7869207 427.61/425.44 c cleaning 9987 clauses out of 20399 with flag 7854000/7879207 428.11/425.95 c cleaning 9997 clauses out of 20415 with flag 7864003/7889210 428.71/426.50 c cleaning 9981 clauses out of 20415 with flag 7874000/7899207 429.21/427.09 c cleaning 10002 clauses out of 20436 with flag 7884002/7909209 429.91/427.70 c cleaning 9971 clauses out of 20433 with flag 7894001/7919208 430.41/428.22 c cleaning 9999 clauses out of 20462 with flag 7904001/7929208 431.01/428.81 c cleaning 9987 clauses out of 20463 with flag 7914001/7939208 431.51/429.36 c cleaning 9992 clauses out of 20477 with flag 7924002/7949209 432.01/429.87 c cleaning 9987 clauses out of 20484 with flag 7934001/7959208 432.61/430.44 c cleaning 10002 clauses out of 20496 with flag 7944000/7969207 433.12/430.99 c cleaning 9989 clauses out of 20494 with flag 7954000/7979207 433.72/431.56 c cleaning 9998 clauses out of 20508 with flag 7964003/7989210 434.31/432.13 c cleaning 9988 clauses out of 20507 with flag 7974000/7999207 434.92/432.70 c cleaning 9997 clauses out of 20522 with flag 7984003/8009210 435.43/433.21 c cleaning 9974 clauses out of 20525 with flag 7994003/8019210 435.93/433.76 c cleaning 9997 clauses out of 20548 with flag 8004000/8029207 436.44/434.29 c cleaning 10000 clauses out of 20551 with flag 8014000/8039207 437.04/434.89 c cleaning 9993 clauses out of 20553 with flag 8024002/8049209 437.63/435.43 c cleaning 9991 clauses out of 20560 with flag 8034002/8059209 438.23/436.01 c cleaning 9983 clauses out of 20567 with flag 8044000/8069207 438.74/436.53 c cleaning 9985 clauses out of 20585 with flag 8054001/8079208 439.24/437.09 c cleaning 9995 clauses out of 20599 with flag 8064000/8089207 439.84/437.64 c cleaning 9997 clauses out of 20604 with flag 8074000/8099207 440.44/438.21 c cleaning 9989 clauses out of 20607 with flag 8084000/8109207 440.94/438.75 c cleaning 10004 clauses out of 20618 with flag 8094000/8119207 441.44/439.27 c cleaning 9983 clauses out of 20615 with flag 8104001/8129208 442.04/439.83 c cleaning 9994 clauses out of 20631 with flag 8114000/8139207 442.64/440.42 c cleaning 9998 clauses out of 20637 with flag 8124000/8149207 443.14/440.98 c cleaning 9997 clauses out of 20639 with flag 8134000/8159207 443.74/441.59 c cleaning 9998 clauses out of 20643 with flag 8144001/8169208 444.35/442.12 c cleaning 9989 clauses out of 20644 with flag 8154000/8179207 444.84/442.63 c cleaning 9993 clauses out of 20655 with flag 8164000/8189207 445.34/443.14 c cleaning 9987 clauses out of 20662 with flag 8174000/8199207 445.84/443.68 c cleaning 9988 clauses out of 20675 with flag 8184000/8209207 446.55/444.33 c cleaning 10010 clauses out of 20689 with flag 8194002/8219209 447.25/445.01 c cleaning 9993 clauses out of 20678 with flag 8204001/8229208 447.76/445.55 c cleaning 9962 clauses out of 20687 with flag 8214003/8239210 448.26/446.07 c cleaning 9994 clauses out of 20723 with flag 8224001/8249208 448.86/446.61 c cleaning 9994 clauses out of 20728 with flag 8234000/8259207 449.36/447.15 c cleaning 9967 clauses out of 20735 with flag 8244001/8269208 449.87/447.69 c cleaning 9989 clauses out of 20767 with flag 8254000/8279207 450.46/448.23 c cleaning 9996 clauses out of 20779 with flag 8264001/8289208 450.97/448.78 c cleaning 9993 clauses out of 20784 with flag 8274002/8299209 451.57/449.31 c cleaning 9990 clauses out of 20790 with flag 8284001/8309208 452.17/449.93 c cleaning 9991 clauses out of 20801 with flag 8294002/8319209 452.77/450.52 c cleaning 9995 clauses out of 20808 with flag 8304000/8329207 453.27/451.07 c cleaning 9986 clauses out of 20813 with flag 8314000/8339207 453.87/451.64 c cleaning 9994 clauses out of 20828 with flag 8324001/8349208 454.38/452.18 c cleaning 9984 clauses out of 20833 with flag 8334000/8359207 454.98/452.77 c cleaning 10000 clauses out of 20851 with flag 8344002/8369209 455.58/453.32 c cleaning 9981 clauses out of 20850 with flag 8354001/8379208 456.08/453.87 c cleaning 10003 clauses out of 20871 with flag 8364003/8389210 456.68/454.44 c cleaning 9993 clauses out of 20866 with flag 8374001/8399208 457.28/455.05 c cleaning 9995 clauses out of 20874 with flag 8384002/8409209 457.88/455.68 c cleaning 10002 clauses out of 20877 with flag 8394000/8419207 458.58/456.40 c cleaning 9996 clauses out of 20876 with flag 8404001/8429208 459.19/456.94 c cleaning 9979 clauses out of 20879 with flag 8414000/8439207 459.79/457.57 c cleaning 9997 clauses out of 20900 with flag 8424000/8449207 460.29/458.09 c cleaning 9983 clauses out of 20903 with flag 8434000/8459207 460.99/458.74 c cleaning 9988 clauses out of 20920 with flag 8444000/8469207 461.49/459.29 c cleaning 9982 clauses out of 20933 with flag 8454001/8479208 462.09/459.83 c cleaning 9998 clauses out of 20953 with flag 8464003/8489210 462.59/460.38 c cleaning 9990 clauses out of 20954 with flag 8474002/8499209 463.19/460.99 c cleaning 9988 clauses out of 20962 with flag 8484000/8509207 463.89/461.66 c cleaning 9998 clauses out of 20978 with flag 8494004/8519211 464.50/462.23 c cleaning 9991 clauses out of 20976 with flag 8504000/8529207 465.10/462.81 c cleaning 9996 clauses out of 20985 with flag 8514000/8539207 465.60/463.37 c cleaning 9998 clauses out of 20990 with flag 8524001/8549208 466.20/463.96 c cleaning 9995 clauses out of 20992 with flag 8534001/8559208 466.80/464.50 c cleaning 9986 clauses out of 20996 with flag 8544000/8569207 467.30/465.04 c cleaning 9991 clauses out of 21010 with flag 8554000/8579207 467.90/465.66 c cleaning 10005 clauses out of 21021 with flag 8564002/8589209 468.61/466.35 c cleaning 9995 clauses out of 21017 with flag 8574003/8599210 469.10/466.89 c cleaning 9984 clauses out of 21020 with flag 8584001/8609208 469.71/467.44 c cleaning 9998 clauses out of 21037 with flag 8594002/8619209 470.20/467.98 c cleaning 9986 clauses out of 21037 with flag 8604000/8629207 470.81/468.56 c cleaning 9995 clauses out of 21051 with flag 8614000/8639207 471.41/469.10 c cleaning 9988 clauses out of 21057 with flag 8624001/8649208 471.91/469.63 c cleaning 9984 clauses out of 21068 with flag 8634000/8659207 472.41/470.15 c cleaning 9999 clauses out of 21086 with flag 8644002/8669209 472.91/470.67 c cleaning 9975 clauses out of 21085 with flag 8654000/8679207 473.41/471.19 c cleaning 9991 clauses out of 21112 with flag 8664002/8689209 474.11/471.83 c cleaning 10003 clauses out of 21119 with flag 8674000/8699207 474.61/472.37 c cleaning 9992 clauses out of 21117 with flag 8684001/8709208 475.22/472.96 c cleaning 9991 clauses out of 21124 with flag 8694000/8719207 475.81/473.58 c cleaning 9996 clauses out of 21137 with flag 8704004/8729211 476.42/474.16 c cleaning 9997 clauses out of 21137 with flag 8714000/8739207 476.92/474.69 c cleaning 9997 clauses out of 21141 with flag 8724001/8749208 477.52/475.24 c cleaning 9980 clauses out of 21143 with flag 8734000/8759207 478.01/475.78 c cleaning 9987 clauses out of 21163 with flag 8744000/8769207 478.53/476.29 c cleaning 9992 clauses out of 21177 with flag 8754001/8779208 479.13/476.89 c cleaning 10004 clauses out of 21189 with flag 8764005/8789212 479.83/477.54 c cleaning 9987 clauses out of 21180 with flag 8774000/8799207 480.53/478.24 c cleaning 9996 clauses out of 21194 with flag 8784001/8809208 481.13/478.88 c cleaning 10010 clauses out of 21198 with flag 8794001/8819208 481.84/479.52 c cleaning 9988 clauses out of 21188 with flag 8804001/8829208 482.43/480.10 c cleaning 10007 clauses out of 21200 with flag 8814001/8839208 482.94/480.67 c cleaning 9998 clauses out of 21194 with flag 8824002/8849209 483.54/481.27 c cleaning 9984 clauses out of 21195 with flag 8834001/8859208 484.24/481.93 c cleaning 10005 clauses out of 21210 with flag 8844000/8869207 484.84/482.56 c cleaning 9999 clauses out of 21205 with flag 8854000/8879207 485.44/483.16 c cleaning 9987 clauses out of 21206 with flag 8864000/8889207 486.04/483.74 c cleaning 10008 clauses out of 21222 with flag 8874003/8899210 486.64/484.35 c cleaning 9995 clauses out of 21212 with flag 8884001/8909208 487.24/484.95 c cleaning 9995 clauses out of 21216 with flag 8894000/8919207 487.84/485.51 c cleaning 9993 clauses out of 21222 with flag 8904001/8929208 488.34/486.08 c cleaning 9988 clauses out of 21230 with flag 8914002/8939209 489.04/486.71 c cleaning 9991 clauses out of 21240 with flag 8924000/8949207 489.65/487.32 c cleaning 9992 clauses out of 21249 with flag 8934000/8959207 490.24/487.95 c cleaning 9998 clauses out of 21258 with flag 8944001/8969208 490.84/488.56 c cleaning 10002 clauses out of 21260 with flag 8954001/8979208 491.44/489.19 c cleaning 9997 clauses out of 21258 with flag 8964001/8989208 492.14/489.83 c cleaning 9999 clauses out of 21261 with flag 8974001/8999208 492.74/490.49 c cleaning 10001 clauses out of 21264 with flag 8984003/9009210 493.44/491.14 c cleaning 9993 clauses out of 21263 with flag 8994003/9019210 493.95/491.67 c cleaning 9985 clauses out of 21267 with flag 9004000/9029207 494.54/492.23 c cleaning 9976 clauses out of 21283 with flag 9014001/9039208 495.15/492.89 c cleaning 9994 clauses out of 21307 with flag 9024001/9049208 495.76/493.47 c cleaning 10008 clauses out of 21312 with flag 9034000/9059207 496.46/494.18 c cleaning 10000 clauses out of 21307 with flag 9044003/9069210 497.16/494.82 c cleaning 9999 clauses out of 21305 with flag 9054001/9079208 497.66/495.38 c cleaning 9993 clauses out of 21306 with flag 9064001/9089208 498.37/496.02 c cleaning 10007 clauses out of 21315 with flag 9074003/9099210 498.86/496.59 c cleaning 9989 clauses out of 21305 with flag 9084000/9109207 499.47/497.17 c cleaning 9994 clauses out of 21319 with flag 9094003/9119210 500.06/497.75 c cleaning 9990 clauses out of 21324 with flag 9104002/9129209 500.67/498.36 c cleaning 9995 clauses out of 21332 with flag 9114000/9139207 501.26/498.96 c cleaning 10005 clauses out of 21337 with flag 9124000/9149207 501.86/499.56 c cleaning 9992 clauses out of 21334 with flag 9134002/9159209 502.46/500.13 c cleaning 9993 clauses out of 21340 with flag 9144000/9169207 503.17/500.81 c cleaning 10003 clauses out of 21347 with flag 9154000/9179207 503.67/501.38 c cleaning 9997 clauses out of 21346 with flag 9164002/9189209 504.37/502.01 c cleaning 9998 clauses out of 21351 with flag 9174004/9199211 504.97/502.68 c cleaning 9998 clauses out of 21348 with flag 9184000/9209207 505.67/503.36 c cleaning 9983 clauses out of 21352 with flag 9194002/9219209 506.37/504.03 c cleaning 9994 clauses out of 21370 with flag 9204003/9229210 506.87/504.52 c starts : 326 506.87/504.52 c conflicts : 9236593 506.87/504.52 c decisions : 13292273 506.87/504.52 c propagations : 450439977 506.87/504.52 c inspects : 4970644374 506.87/504.52 c shortcuts : 0 506.87/504.52 c learnt literals : 7 506.87/504.52 c learnt binary clauses : 35 506.87/504.52 c learnt ternary clauses : 1722 506.87/504.52 c learnt constraints : 9236585 506.87/504.52 c ignored constraints : 0 506.87/504.52 c root simplifications : 0 506.87/504.52 c removed literals (reason simplification) : 52066357 506.87/504.52 c reason swapping (by a shorter reason) : 0 506.87/504.52 c Calls to reduceDB : 925 506.87/504.52 c number of reductions to clauses (during analyze) : 0 506.87/504.52 c number of learned constraints concerned by reduction : 0 506.87/504.52 c number of learning phase by resolution : 0 506.87/504.52 c number of learning phase by cutting planes : 0 506.87/504.52 c speed (assignments/second) : 898841.3817461996 506.87/504.52 c non guided choices 3107 506.87/504.52 c learnt constraints type 506.87/504.52 c constraints type 506.87/504.52 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684 506.87/504.52 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23 506.87/504.52 s OPTIMUM FOUND 506.87/504.52 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 506.87/504.52 c objective function=1 506.87/504.52 c Total wall clock time (in seconds): 504.418
OK 1
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 /var/tmp/evaluation-result-3492126-1307911357/watcher-3492126-1307911357 -o /var/tmp/evaluation-result-3492126-1307911357/solver-3492126-1307911357 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492126-1307911357.wbo running on 4 cores: 1,3,5,7 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: 2.00 2.00 1.95 3/195 22287 /proc/meminfo: memFree=1340704/32951124 swapFree=67052292/67111528 [pid=22287] ppid=22285 vsize=30528 CPUtime=0 cores=1,3,5,7 /proc/22287/stat : 22287 (java) S 22285 22287 19038 0 -1 4202496 1241 0 0 0 0 0 0 0 25 0 2 0 902736645 31260672 958 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624913381 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 /proc/22287/statm: 7632 958 730 9 0 383 0 [pid=22287/tid=22288] ppid=22285 vsize=30528 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22288/stat : 22288 (java) R 22285 22287 19038 0 -1 4202560 123 0 0 0 0 0 0 0 25 0 2 0 902736646 31260672 958 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270613110528 0 0 4096 0 0 0 0 -1 1 0 0 0 [startup+0.084805 s] /proc/loadavg: 2.00 2.00 1.95 3/195 22287 /proc/meminfo: memFree=1340704/32951124 swapFree=67052292/67111528 [pid=22287] ppid=22285 vsize=10539880 CPUtime=0.09 cores=1,3,5,7 /proc/22287/stat : 22287 (java) S 22285 22287 19038 0 -1 4202496 12862 0 1 0 8 1 0 0 25 0 18 0 902736645 10792837120 12523 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/22287/statm: 2634970 12534 2062 9 0 2625704 0 [pid=22287/tid=22288] ppid=22285 vsize=10539880 CPUtime=0.07 cores=1,3,5,7 /proc/22287/task/22288/stat : 22288 (java) R 22285 22287 19038 0 -1 4202560 10980 0 1 0 6 1 0 0 18 0 18 0 902736646 10792837120 12542 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624937419 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10539880 [startup+0.103411 s] /proc/loadavg: 2.00 2.00 1.95 3/195 22287 /proc/meminfo: memFree=1340704/32951124 swapFree=67052292/67111528 [pid=22287] ppid=22285 vsize=10539880 CPUtime=0.11 cores=1,3,5,7 /proc/22287/stat : 22287 (java) S 22285 22287 19038 0 -1 4202496 13141 0 1 0 10 1 0 0 25 0 18 0 902736645 10792837120 12801 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/22287/statm: 2634970 12802 2092 9 0 2625704 0 [pid=22287/tid=22288] ppid=22285 vsize=10539880 CPUtime=0.09 cores=1,3,5,7 /proc/22287/task/22288/stat : 22288 (java) R 22285 22287 19038 0 -1 4202560 11192 0 1 0 8 1 0 0 18 0 18 0 902736646 10792837120 12802 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 47336085891091 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 10539880 [startup+0.300378 s] /proc/loadavg: 2.00 2.00 1.95 3/195 22287 /proc/meminfo: memFree=1340704/32951124 swapFree=67052292/67111528 [pid=22287] ppid=22285 vsize=10542440 CPUtime=0.49 cores=1,3,5,7 /proc/22287/stat : 22287 (java) S 22285 22287 19038 0 -1 4202496 16968 0 1 0 48 1 0 0 25 0 18 0 902736645 10795458560 15981 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/22287/statm: 2635610 15982 2204 9 0 2626344 0 [pid=22287/tid=22288] ppid=22285 vsize=10542440 CPUtime=0.28 cores=1,3,5,7 /proc/22287/task/22288/stat : 22288 (java) R 22285 22287 19038 0 -1 4202560 13037 0 1 0 27 1 0 0 18 0 18 0 902736646 10795458560 15982 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 46912505547781 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 10542440 [startup+0.700272 s] /proc/loadavg: 2.00 2.00 1.95 3/195 22287 /proc/meminfo: memFree=1340704/32951124 swapFree=67052292/67111528 [pid=22287] ppid=22285 vsize=10547592 CPUtime=1.57 cores=1,3,5,7 /proc/22287/stat : 22287 (java) S 22285 22287 19038 0 -1 4202496 24103 0 1 0 155 2 0 0 25 0 19 0 902736645 10800734208 19938 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/22287/statm: 2636898 19939 2235 9 0 2627632 0 [pid=22287/tid=22288] ppid=22285 vsize=10547592 CPUtime=0.68 cores=1,3,5,7 /proc/22287/task/22288/stat : 22288 (java) R 22285 22287 19038 0 -1 4202560 15293 0 1 0 67 1 0 0 19 0 19 0 902736646 10800734208 19939 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 47336087989075 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1.57 Current children cumulated vsize (KiB) 10547592 [startup+1.50116 s] /proc/loadavg: 2.00 2.00 1.95 3/214 22306 /proc/meminfo: memFree=1266612/32951124 swapFree=67052292/67111528 [pid=22287] ppid=22285 vsize=10547592 CPUtime=2.37 cores=1,3,5,7 /proc/22287/stat : 22287 (java) S 22285 22287 19038 0 -1 4202496 26600 0 1 0 235 2 0 0 25 0 19 0 902736645 10800734208 22434 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/22287/statm: 2636898 22434 2237 9 0 2627632 0 [pid=22287/tid=22288] ppid=22285 vsize=10547592 CPUtime=1.48 cores=1,3,5,7 /proc/22287/task/22288/stat : 22288 (java) R 22285 22287 19038 0 -1 4202560 17786 0 1 0 147 1 0 0 20 0 19 0 902736646 10800734208 22434 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 46912505717752 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=22287/tid=22290] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22290/stat : 22290 (java) S 22285 22287 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902736648 10800734208 22434 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 3 0 0 0 [pid=22287/tid=22291] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22291/stat : 22291 (java) S 22285 22287 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902736648 10800734208 22435 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 7 0 0 0 [pid=22287/tid=22292] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22292/stat : 22292 (java) S 22285 22287 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902736648 10800734208 22435 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 5 0 0 0 [pid=22287/tid=22293] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22293/stat : 22293 (java) S 22285 22287 19038 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 902736648 10800734208 22435 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 5 0 0 0 [pid=22287/tid=22294] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22294/stat : 22294 (java) S 22285 22287 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902736648 10800734208 22435 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 3 0 0 0 [pid=22287/tid=22295] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22295/stat : 22295 (java) S 22285 22287 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902736648 10800734208 22435 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 3 0 0 0 [pid=22287/tid=22296] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22296/stat : 22296 (java) S 22285 22287 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902736648 10800734208 22435 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 7 0 0 0 [pid=22287/tid=22297] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22297/stat : 22297 (java) S 22285 22287 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902736648 10800734208 22435 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 7 0 0 0 [pid=22287/tid=22298] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22298/stat : 22298 (java) S 22285 22287 19038 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902736649 10800734208 22435 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624927232 0 0 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22299] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22299/stat : 22299 (java) S 22285 22287 19038 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902736649 10800734208 22435 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22300] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22300/stat : 22300 (java) S 22285 22287 19038 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902736649 10800734208 22435 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22301] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22301/stat : 22301 (java) S 22285 22287 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902736651 10800734208 22435 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624934321 0 4 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22302] ppid=22285 vsize=10547592 CPUtime=0.43 cores=1,3,5,7 /proc/22287/task/22302/stat : 22302 (java) S 22285 22287 19038 0 -1 4202560 2974 0 0 0 43 0 0 0 25 0 19 0 902736651 10800734208 22435 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 3 0 0 0 [pid=22287/tid=22303] ppid=22285 vsize=10547592 CPUtime=0.44 cores=1,3,5,7 /proc/22287/task/22303/stat : 22303 (java) S 22285 22287 19038 0 -1 4202560 4675 0 0 0 44 0 0 0 17 0 19 0 902736651 10800734208 22435 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 5 0 0 0 [pid=22287/tid=22304] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22304/stat : 22304 (java) S 22285 22287 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902736651 10800734208 22435 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22305] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22305/stat : 22305 (java) S 22285 22287 19038 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902736651 10800734208 22435 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624927232 0 4 0 16800975 18446604471139170304 0 0 -1 7 0 0 0 [pid=22287/tid=22306] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22306/stat : 22306 (java) S 22285 22287 19038 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902736682 10800734208 22435 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624927232 0 4 0 16800975 18446604471139170304 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2.37 Current children cumulated vsize (KiB) 10547592 [startup+3.10088 s] /proc/loadavg: 2.00 2.00 1.95 3/214 22306 /proc/meminfo: memFree=1254860/32951124 swapFree=67052292/67111528 [pid=22287] ppid=22285 vsize=10547592 CPUtime=4.04 cores=1,3,5,7 /proc/22287/stat : 22287 (java) S 22285 22287 19038 0 -1 4202496 30450 0 1 0 401 3 0 0 25 0 19 0 902736645 10800734208 26276 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/22287/statm: 2636898 26276 2263 9 0 2627632 0 [pid=22287/tid=22288] ppid=22285 vsize=10547592 CPUtime=3.05 cores=1,3,5,7 /proc/22287/task/22288/stat : 22288 (java) R 22285 22287 19038 0 -1 4202560 19421 0 1 0 303 2 0 0 25 0 19 0 902736646 10800734208 26276 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 46912505329159 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=22287/tid=22290] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22290/stat : 22290 (java) S 22285 22287 19038 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902736648 10800734208 26276 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 3 0 0 0 [pid=22287/tid=22291] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22291/stat : 22291 (java) S 22285 22287 19038 0 -1 4202560 87 0 0 0 0 0 0 0 16 0 19 0 902736648 10800734208 26276 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 7 0 0 0 [pid=22287/tid=22292] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22292/stat : 22292 (java) S 22285 22287 19038 0 -1 4202560 78 0 0 0 0 0 0 0 16 0 19 0 902736648 10800734208 26276 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 5 0 0 0 [pid=22287/tid=22293] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22293/stat : 22293 (java) S 22285 22287 19038 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902736648 10800734208 26276 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 5 0 0 0 [pid=22287/tid=22294] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22294/stat : 22294 (java) S 22285 22287 19038 0 -1 4202560 78 0 0 0 0 0 0 0 16 0 19 0 902736648 10800734208 26276 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 3 0 0 0 [pid=22287/tid=22295] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22295/stat : 22295 (java) S 22285 22287 19038 0 -1 4202560 350 0 0 0 0 0 0 0 15 0 19 0 902736648 10800734208 26276 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 7 0 0 0 [pid=22287/tid=22296] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22296/stat : 22296 (java) S 22285 22287 19038 0 -1 4202560 270 0 0 0 0 0 0 0 16 0 19 0 902736648 10800734208 26276 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 7 0 0 0 [pid=22287/tid=22297] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22297/stat : 22297 (java) S 22285 22287 19038 0 -1 4202560 316 0 0 0 0 0 0 0 15 0 19 0 902736648 10800734208 26276 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 7 0 0 0 [pid=22287/tid=22298] ppid=22285 vsize=10547592 CPUtime=0.03 cores=1,3,5,7 /proc/22287/task/22298/stat : 22298 (java) S 22285 22287 19038 0 -1 4202560 1027 0 0 0 3 0 0 0 16 0 19 0 902736649 10800734208 26276 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624927232 0 0 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22299] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22299/stat : 22299 (java) S 22285 22287 19038 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 902736649 10800734208 26276 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22300] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22300/stat : 22300 (java) S 22285 22287 19038 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902736649 10800734208 26276 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22301] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22301/stat : 22301 (java) S 22285 22287 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902736651 10800734208 26276 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624934321 0 4 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22302] ppid=22285 vsize=10547592 CPUtime=0.45 cores=1,3,5,7 /proc/22287/task/22302/stat : 22302 (java) S 22285 22287 19038 0 -1 4202560 2984 0 0 0 45 0 0 0 15 0 19 0 902736651 10800734208 26276 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 3 0 0 0 [pid=22287/tid=22303] ppid=22285 vsize=10547592 CPUtime=0.47 cores=1,3,5,7 /proc/22287/task/22303/stat : 22303 (java) S 22285 22287 19038 0 -1 4202560 4682 0 0 0 47 0 0 0 15 0 19 0 902736651 10800734208 26276 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 5 0 0 0 [pid=22287/tid=22304] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22304/stat : 22304 (java) S 22285 22287 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902736651 10800734208 26276 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22305] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22305/stat : 22305 (java) S 22285 22287 19038 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902736651 10800734208 26276 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624927232 0 4 0 16800975 18446604471139170304 0 0 -1 7 0 0 0 [pid=22287/tid=22306] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22306/stat : 22306 (java) S 22285 22287 19038 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902736682 10800734208 26276 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624927232 0 4 0 16800975 18446604471139170304 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4.04 Current children cumulated vsize (KiB) 10547592 [startup+6.30132 s] /proc/loadavg: 2.00 2.00 1.95 3/214 22306 /proc/meminfo: memFree=1242940/32951124 swapFree=67052292/67111528 [pid=22287] ppid=22285 vsize=10547592 CPUtime=7.3 cores=1,3,5,7 /proc/22287/stat : 22287 (java) S 22285 22287 19038 0 -1 4202496 30655 0 1 0 727 3 0 0 25 0 19 0 902736645 10800734208 26392 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/22287/statm: 2636898 26392 2263 9 0 2627632 0 [pid=22287/tid=22288] ppid=22285 vsize=10547592 CPUtime=6.13 cores=1,3,5,7 /proc/22287/task/22288/stat : 22288 (java) R 22285 22287 19038 0 -1 4202560 19429 0 1 0 611 2 0 0 25 0 19 0 902736646 10800734208 26392 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 46912505733136 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=22287/tid=22290] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22290/stat : 22290 (java) S 22285 22287 19038 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 902736648 10800734208 26392 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 3 0 0 0 [pid=22287/tid=22291] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22291/stat : 22291 (java) S 22285 22287 19038 0 -1 4202560 87 0 0 0 0 0 0 0 15 0 19 0 902736648 10800734208 26392 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 3 0 0 0 [pid=22287/tid=22292] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22292/stat : 22292 (java) S 22285 22287 19038 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 902736648 10800734208 26392 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 5 0 0 0 [pid=22287/tid=22293] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22293/stat : 22293 (java) S 22285 22287 19038 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 902736648 10800734208 26392 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 5 0 0 0 [pid=22287/tid=22294] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22294/stat : 22294 (java) S 22285 22287 19038 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 902736648 10800734208 26392 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 7 0 0 0 [pid=22287/tid=22295] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22295/stat : 22295 (java) S 22285 22287 19038 0 -1 4202560 371 0 0 0 0 0 0 0 15 0 19 0 902736648 10800734208 26392 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 3 0 0 0 [pid=22287/tid=22296] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22296/stat : 22296 (java) S 22285 22287 19038 0 -1 4202560 297 0 0 0 0 0 0 0 15 0 19 0 902736648 10800734208 26392 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 7 0 0 0 [pid=22287/tid=22297] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22297/stat : 22297 (java) S 22285 22287 19038 0 -1 4202560 318 0 0 0 0 0 0 0 16 0 19 0 902736648 10800734208 26392 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 7 0 0 0 [pid=22287/tid=22298] ppid=22285 vsize=10547592 CPUtime=0.13 cores=1,3,5,7 /proc/22287/task/22298/stat : 22298 (java) S 22285 22287 19038 0 -1 4202560 1133 0 0 0 13 0 0 0 16 0 19 0 902736649 10800734208 26392 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624927232 0 0 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22299] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22299/stat : 22299 (java) S 22285 22287 19038 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 902736649 10800734208 26392 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22300] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22300/stat : 22300 (java) S 22285 22287 19038 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902736649 10800734208 26392 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22301] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22301/stat : 22301 (java) S 22285 22287 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902736651 10800734208 26392 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624934321 0 4 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22302] ppid=22285 vsize=10547592 CPUtime=0.45 cores=1,3,5,7 /proc/22287/task/22302/stat : 22302 (java) S 22285 22287 19038 0 -1 4202560 2985 0 0 0 45 0 0 0 15 0 19 0 902736651 10800734208 26392 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 3 0 0 0 [pid=22287/tid=22303] ppid=22285 vsize=10547592 CPUtime=0.52 cores=1,3,5,7 /proc/22287/task/22303/stat : 22303 (java) S 22285 22287 19038 0 -1 4202560 4708 0 0 0 52 0 0 0 15 0 19 0 902736651 10800734208 26392 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 5 0 0 0 ################ # More data... # ################ /proc/22287/task/22290/stat : 22290 (java) S 22285 22287 19038 0 -1 4202560 30 0 0 0 27 0 0 0 15 0 19 0 902736648 10800734208 29330 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 3 0 0 0 [pid=22287/tid=22291] ppid=22285 vsize=10547592 CPUtime=0.25 cores=1,3,5,7 /proc/22287/task/22291/stat : 22291 (java) S 22285 22287 19038 0 -1 4202560 111 0 0 0 25 0 0 0 16 0 19 0 902736648 10800734208 29330 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 5 0 0 0 [pid=22287/tid=22292] ppid=22285 vsize=10547592 CPUtime=0.26 cores=1,3,5,7 /proc/22287/task/22292/stat : 22292 (java) S 22285 22287 19038 0 -1 4202560 104 0 0 0 25 1 0 0 15 0 19 0 902736648 10800734208 29330 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 5 0 0 0 [pid=22287/tid=22293] ppid=22285 vsize=10547592 CPUtime=0.28 cores=1,3,5,7 /proc/22287/task/22293/stat : 22293 (java) S 22285 22287 19038 0 -1 4202560 33 0 0 0 27 1 0 0 15 0 19 0 902736648 10800734208 29330 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 5 0 0 0 [pid=22287/tid=22294] ppid=22285 vsize=10547592 CPUtime=0.28 cores=1,3,5,7 /proc/22287/task/22294/stat : 22294 (java) S 22285 22287 19038 0 -1 4202560 94 0 0 0 27 1 0 0 15 0 19 0 902736648 10800734208 29330 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 7 0 0 0 [pid=22287/tid=22295] ppid=22285 vsize=10547592 CPUtime=0.26 cores=1,3,5,7 /proc/22287/task/22295/stat : 22295 (java) S 22285 22287 19038 0 -1 4202560 388 0 0 0 25 1 0 0 15 0 19 0 902736648 10800734208 29330 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 3 0 0 0 [pid=22287/tid=22296] ppid=22285 vsize=10547592 CPUtime=0.26 cores=1,3,5,7 /proc/22287/task/22296/stat : 22296 (java) S 22285 22287 19038 0 -1 4202560 322 0 0 0 25 1 0 0 15 0 19 0 902736648 10800734208 29330 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 3 0 0 0 [pid=22287/tid=22297] ppid=22285 vsize=10547592 CPUtime=0.28 cores=1,3,5,7 /proc/22287/task/22297/stat : 22297 (java) S 22285 22287 19038 0 -1 4202560 341 0 0 0 27 1 0 0 15 0 19 0 902736648 10800734208 29330 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 7 0 0 0 [pid=22287/tid=22298] ppid=22285 vsize=10547592 CPUtime=16.03 cores=1,3,5,7 /proc/22287/task/22298/stat : 22298 (java) S 22285 22287 19038 0 -1 4202560 1963 0 0 0 1591 12 0 0 15 0 19 0 902736649 10800734208 29330 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624927232 0 0 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22299] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22299/stat : 22299 (java) S 22285 22287 19038 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 902736649 10800734208 29330 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22300] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22300/stat : 22300 (java) S 22285 22287 19038 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902736649 10800734208 29330 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22301] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22301/stat : 22301 (java) S 22285 22287 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902736651 10800734208 29330 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624934321 0 4 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22302] ppid=22285 vsize=10547592 CPUtime=0.76 cores=1,3,5,7 /proc/22287/task/22302/stat : 22302 (java) S 22285 22287 19038 0 -1 4202560 8928 0 0 0 75 1 0 0 15 0 19 0 902736651 10800734208 29330 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 3 0 0 0 [pid=22287/tid=22303] ppid=22285 vsize=10547592 CPUtime=0.6 cores=1,3,5,7 /proc/22287/task/22303/stat : 22303 (java) S 22285 22287 19038 0 -1 4202560 4737 0 0 0 60 0 0 0 15 0 19 0 902736651 10800734208 29330 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 5 0 0 0 [pid=22287/tid=22304] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22304/stat : 22304 (java) S 22285 22287 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902736651 10800734208 29330 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22305] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22305/stat : 22305 (java) S 22285 22287 19038 0 -1 4202560 29 0 0 0 0 0 0 0 15 0 19 0 902736651 10800734208 29330 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624927232 0 4 0 16800975 18446604471139170304 0 0 -1 3 0 0 0 [pid=22287/tid=22306] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22306/stat : 22306 (java) S 22285 22287 19038 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902736682 10800734208 29330 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624927232 0 4 0 16800975 18446604471139170304 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 504.67 Current children cumulated vsize (KiB) 10547592 [startup+503.901 s] /proc/loadavg: 2.00 2.00 1.97 3/214 22320 /proc/meminfo: memFree=1182636/32951124 swapFree=67052292/67111528 [pid=22287] ppid=22285 vsize=10547592 CPUtime=506.27 cores=1,3,5,7 /proc/22287/stat : 22287 (java) S 22285 22287 19038 0 -1 4202496 38586 0 1 0 50597 30 0 0 25 0 19 0 902736645 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/22287/statm: 2636898 29336 2265 9 0 2627632 0 [pid=22287/tid=22288] ppid=22285 vsize=10547592 CPUtime=486.58 cores=1,3,5,7 /proc/22287/task/22288/stat : 22288 (java) R 22285 22287 19038 0 -1 4202560 20346 0 1 0 48654 4 0 0 25 0 19 0 902736646 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 46912505717752 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=22287/tid=22290] ppid=22285 vsize=10547592 CPUtime=0.27 cores=1,3,5,7 /proc/22287/task/22290/stat : 22290 (java) S 22285 22287 19038 0 -1 4202560 30 0 0 0 27 0 0 0 16 0 19 0 902736648 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 3 0 0 0 [pid=22287/tid=22291] ppid=22285 vsize=10547592 CPUtime=0.25 cores=1,3,5,7 /proc/22287/task/22291/stat : 22291 (java) S 22285 22287 19038 0 -1 4202560 111 0 0 0 25 0 0 0 15 0 19 0 902736648 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 5 0 0 0 [pid=22287/tid=22292] ppid=22285 vsize=10547592 CPUtime=0.26 cores=1,3,5,7 /proc/22287/task/22292/stat : 22292 (java) S 22285 22287 19038 0 -1 4202560 104 0 0 0 25 1 0 0 15 0 19 0 902736648 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 5 0 0 0 [pid=22287/tid=22293] ppid=22285 vsize=10547592 CPUtime=0.28 cores=1,3,5,7 /proc/22287/task/22293/stat : 22293 (java) S 22285 22287 19038 0 -1 4202560 33 0 0 0 27 1 0 0 15 0 19 0 902736648 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 5 0 0 0 [pid=22287/tid=22294] ppid=22285 vsize=10547592 CPUtime=0.28 cores=1,3,5,7 /proc/22287/task/22294/stat : 22294 (java) S 22285 22287 19038 0 -1 4202560 94 0 0 0 27 1 0 0 15 0 19 0 902736648 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 7 0 0 0 [pid=22287/tid=22295] ppid=22285 vsize=10547592 CPUtime=0.26 cores=1,3,5,7 /proc/22287/task/22295/stat : 22295 (java) S 22285 22287 19038 0 -1 4202560 388 0 0 0 25 1 0 0 15 0 19 0 902736648 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 3 0 0 0 [pid=22287/tid=22296] ppid=22285 vsize=10547592 CPUtime=0.26 cores=1,3,5,7 /proc/22287/task/22296/stat : 22296 (java) S 22285 22287 19038 0 -1 4202560 322 0 0 0 25 1 0 0 15 0 19 0 902736648 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 3 0 0 0 [pid=22287/tid=22297] ppid=22285 vsize=10547592 CPUtime=0.28 cores=1,3,5,7 /proc/22287/task/22297/stat : 22297 (java) S 22285 22287 19038 0 -1 4202560 341 0 0 0 27 1 0 0 16 0 19 0 902736648 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 7 0 0 0 [pid=22287/tid=22298] ppid=22285 vsize=10547592 CPUtime=16.06 cores=1,3,5,7 /proc/22287/task/22298/stat : 22298 (java) S 22285 22287 19038 0 -1 4202560 1969 0 0 0 1594 12 0 0 15 0 19 0 902736649 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624927232 0 0 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22299] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22299/stat : 22299 (java) S 22285 22287 19038 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 902736649 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22300] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22300/stat : 22300 (java) S 22285 22287 19038 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902736649 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22301] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22301/stat : 22301 (java) S 22285 22287 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902736651 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624934321 0 4 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22302] ppid=22285 vsize=10547592 CPUtime=0.76 cores=1,3,5,7 /proc/22287/task/22302/stat : 22302 (java) S 22285 22287 19038 0 -1 4202560 8928 0 0 0 75 1 0 0 15 0 19 0 902736651 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 3 0 0 0 [pid=22287/tid=22303] ppid=22285 vsize=10547592 CPUtime=0.61 cores=1,3,5,7 /proc/22287/task/22303/stat : 22303 (java) S 22285 22287 19038 0 -1 4202560 4738 0 0 0 61 0 0 0 15 0 19 0 902736651 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 5 0 0 0 [pid=22287/tid=22304] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22304/stat : 22304 (java) S 22285 22287 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902736651 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22305] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22305/stat : 22305 (java) S 22285 22287 19038 0 -1 4202560 29 0 0 0 0 0 0 0 15 0 19 0 902736651 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624927232 0 4 0 16800975 18446604471139170304 0 0 -1 3 0 0 0 [pid=22287/tid=22306] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22306/stat : 22306 (java) S 22285 22287 19038 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902736682 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624927232 0 4 0 16800975 18446604471139170304 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 506.27 Current children cumulated vsize (KiB) 10547592 [startup+504.301 s] /proc/loadavg: 2.00 2.00 1.97 3/214 22320 /proc/meminfo: memFree=1182636/32951124 swapFree=67052292/67111528 [pid=22287] ppid=22285 vsize=10547592 CPUtime=506.68 cores=1,3,5,7 /proc/22287/stat : 22287 (java) S 22285 22287 19038 0 -1 4202496 38587 0 1 0 50638 30 0 0 25 0 19 0 902736645 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/22287/statm: 2636898 29336 2265 9 0 2627632 0 [pid=22287/tid=22288] ppid=22285 vsize=10547592 CPUtime=486.96 cores=1,3,5,7 /proc/22287/task/22288/stat : 22288 (java) R 22285 22287 19038 0 -1 4202560 20347 0 1 0 48692 4 0 0 25 0 19 0 902736646 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 46912505708923 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=22287/tid=22290] ppid=22285 vsize=10547592 CPUtime=0.27 cores=1,3,5,7 /proc/22287/task/22290/stat : 22290 (java) S 22285 22287 19038 0 -1 4202560 30 0 0 0 27 0 0 0 16 0 19 0 902736648 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 3 0 0 0 [pid=22287/tid=22291] ppid=22285 vsize=10547592 CPUtime=0.25 cores=1,3,5,7 /proc/22287/task/22291/stat : 22291 (java) S 22285 22287 19038 0 -1 4202560 111 0 0 0 25 0 0 0 15 0 19 0 902736648 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 5 0 0 0 [pid=22287/tid=22292] ppid=22285 vsize=10547592 CPUtime=0.26 cores=1,3,5,7 /proc/22287/task/22292/stat : 22292 (java) S 22285 22287 19038 0 -1 4202560 104 0 0 0 25 1 0 0 15 0 19 0 902736648 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 5 0 0 0 [pid=22287/tid=22293] ppid=22285 vsize=10547592 CPUtime=0.28 cores=1,3,5,7 /proc/22287/task/22293/stat : 22293 (java) S 22285 22287 19038 0 -1 4202560 33 0 0 0 27 1 0 0 15 0 19 0 902736648 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 5 0 0 0 [pid=22287/tid=22294] ppid=22285 vsize=10547592 CPUtime=0.28 cores=1,3,5,7 /proc/22287/task/22294/stat : 22294 (java) S 22285 22287 19038 0 -1 4202560 94 0 0 0 27 1 0 0 15 0 19 0 902736648 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 7 0 0 0 [pid=22287/tid=22295] ppid=22285 vsize=10547592 CPUtime=0.26 cores=1,3,5,7 /proc/22287/task/22295/stat : 22295 (java) S 22285 22287 19038 0 -1 4202560 388 0 0 0 25 1 0 0 15 0 19 0 902736648 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 3 0 0 0 [pid=22287/tid=22296] ppid=22285 vsize=10547592 CPUtime=0.26 cores=1,3,5,7 /proc/22287/task/22296/stat : 22296 (java) S 22285 22287 19038 0 -1 4202560 322 0 0 0 25 1 0 0 15 0 19 0 902736648 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 3 0 0 0 [pid=22287/tid=22297] ppid=22285 vsize=10547592 CPUtime=0.28 cores=1,3,5,7 /proc/22287/task/22297/stat : 22297 (java) S 22285 22287 19038 0 -1 4202560 341 0 0 0 27 1 0 0 15 0 19 0 902736648 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 7 0 0 0 [pid=22287/tid=22298] ppid=22285 vsize=10547592 CPUtime=16.08 cores=1,3,5,7 /proc/22287/task/22298/stat : 22298 (java) S 22285 22287 19038 0 -1 4202560 1969 0 0 0 1596 12 0 0 15 0 19 0 902736649 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624927232 0 0 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22299] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22299/stat : 22299 (java) S 22285 22287 19038 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 902736649 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22300] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22300/stat : 22300 (java) S 22285 22287 19038 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902736649 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22301] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22301/stat : 22301 (java) S 22285 22287 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902736651 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624934321 0 4 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22302] ppid=22285 vsize=10547592 CPUtime=0.76 cores=1,3,5,7 /proc/22287/task/22302/stat : 22302 (java) S 22285 22287 19038 0 -1 4202560 8928 0 0 0 75 1 0 0 15 0 19 0 902736651 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 3 0 0 0 [pid=22287/tid=22303] ppid=22285 vsize=10547592 CPUtime=0.61 cores=1,3,5,7 /proc/22287/task/22303/stat : 22303 (java) S 22285 22287 19038 0 -1 4202560 4738 0 0 0 61 0 0 0 15 0 19 0 902736651 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 5 0 0 0 [pid=22287/tid=22304] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22304/stat : 22304 (java) S 22285 22287 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902736651 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22305] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22305/stat : 22305 (java) S 22285 22287 19038 0 -1 4202560 29 0 0 0 0 0 0 0 15 0 19 0 902736651 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624927232 0 4 0 16800975 18446604471139170304 0 0 -1 3 0 0 0 [pid=22287/tid=22306] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22306/stat : 22306 (java) S 22285 22287 19038 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902736682 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624927232 0 4 0 16800975 18446604471139170304 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 506.68 Current children cumulated vsize (KiB) 10547592 [startup+504.501 s] /proc/loadavg: 2.00 2.00 1.97 3/214 22320 /proc/meminfo: memFree=1182636/32951124 swapFree=67052292/67111528 [pid=22287] ppid=22285 vsize=10547592 CPUtime=506.87 cores=1,3,5,7 /proc/22287/stat : 22287 (java) S 22285 22287 19038 0 -1 4202496 38587 0 1 0 50657 30 0 0 25 0 19 0 902736645 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/22287/statm: 2636898 29336 2265 9 0 2627632 0 [pid=22287/tid=22288] ppid=22285 vsize=10547592 CPUtime=487.16 cores=1,3,5,7 /proc/22287/task/22288/stat : 22288 (java) R 22285 22287 19038 0 -1 4202560 20347 0 1 0 48712 4 0 0 25 0 19 0 902736646 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 46912505709041 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=22287/tid=22290] ppid=22285 vsize=10547592 CPUtime=0.27 cores=1,3,5,7 /proc/22287/task/22290/stat : 22290 (java) S 22285 22287 19038 0 -1 4202560 30 0 0 0 27 0 0 0 16 0 19 0 902736648 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 3 0 0 0 [pid=22287/tid=22291] ppid=22285 vsize=10547592 CPUtime=0.25 cores=1,3,5,7 /proc/22287/task/22291/stat : 22291 (java) S 22285 22287 19038 0 -1 4202560 111 0 0 0 25 0 0 0 15 0 19 0 902736648 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 5 0 0 0 [pid=22287/tid=22292] ppid=22285 vsize=10547592 CPUtime=0.26 cores=1,3,5,7 /proc/22287/task/22292/stat : 22292 (java) S 22285 22287 19038 0 -1 4202560 104 0 0 0 25 1 0 0 15 0 19 0 902736648 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 5 0 0 0 [pid=22287/tid=22293] ppid=22285 vsize=10547592 CPUtime=0.28 cores=1,3,5,7 /proc/22287/task/22293/stat : 22293 (java) S 22285 22287 19038 0 -1 4202560 33 0 0 0 27 1 0 0 15 0 19 0 902736648 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 5 0 0 0 [pid=22287/tid=22294] ppid=22285 vsize=10547592 CPUtime=0.28 cores=1,3,5,7 /proc/22287/task/22294/stat : 22294 (java) S 22285 22287 19038 0 -1 4202560 94 0 0 0 27 1 0 0 15 0 19 0 902736648 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 7 0 0 0 [pid=22287/tid=22295] ppid=22285 vsize=10547592 CPUtime=0.26 cores=1,3,5,7 /proc/22287/task/22295/stat : 22295 (java) S 22285 22287 19038 0 -1 4202560 388 0 0 0 25 1 0 0 15 0 19 0 902736648 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 3 0 0 0 [pid=22287/tid=22296] ppid=22285 vsize=10547592 CPUtime=0.26 cores=1,3,5,7 /proc/22287/task/22296/stat : 22296 (java) S 22285 22287 19038 0 -1 4202560 322 0 0 0 25 1 0 0 15 0 19 0 902736648 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 3 0 0 0 [pid=22287/tid=22297] ppid=22285 vsize=10547592 CPUtime=0.28 cores=1,3,5,7 /proc/22287/task/22297/stat : 22297 (java) S 22285 22287 19038 0 -1 4202560 341 0 0 0 27 1 0 0 15 0 19 0 902736648 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 7 0 0 0 [pid=22287/tid=22298] ppid=22285 vsize=10547592 CPUtime=16.08 cores=1,3,5,7 /proc/22287/task/22298/stat : 22298 (java) S 22285 22287 19038 0 -1 4202560 1969 0 0 0 1596 12 0 0 15 0 19 0 902736649 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624927232 0 0 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22299] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22299/stat : 22299 (java) S 22285 22287 19038 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 902736649 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22300] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22300/stat : 22300 (java) S 22285 22287 19038 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902736649 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22301] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22301/stat : 22301 (java) S 22285 22287 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902736651 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624934321 0 4 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22302] ppid=22285 vsize=10547592 CPUtime=0.76 cores=1,3,5,7 /proc/22287/task/22302/stat : 22302 (java) S 22285 22287 19038 0 -1 4202560 8928 0 0 0 75 1 0 0 15 0 19 0 902736651 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 3 0 0 0 [pid=22287/tid=22303] ppid=22285 vsize=10547592 CPUtime=0.61 cores=1,3,5,7 /proc/22287/task/22303/stat : 22303 (java) S 22285 22287 19038 0 -1 4202560 4738 0 0 0 61 0 0 0 15 0 19 0 902736651 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 5 0 0 0 [pid=22287/tid=22304] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22304/stat : 22304 (java) S 22285 22287 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902736651 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624926617 0 4 0 16800975 18446604471139170304 0 0 -1 1 0 0 0 [pid=22287/tid=22305] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22305/stat : 22305 (java) S 22285 22287 19038 0 -1 4202560 29 0 0 0 0 0 0 0 15 0 19 0 902736651 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624927232 0 4 0 16800975 18446604471139170304 0 0 -1 3 0 0 0 [pid=22287/tid=22306] ppid=22285 vsize=10547592 CPUtime=0 cores=1,3,5,7 /proc/22287/task/22306/stat : 22306 (java) S 22285 22287 19038 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902736682 10800734208 29336 33554432000 1073741824 1073778376 140736927554816 18446744073709551615 270624927232 0 4 0 16800975 18446604471139170304 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 506.87 Current children cumulated vsize (KiB) 10547592 Child status: 30 Real time (s): 504.533 CPU time (s): 506.925 CPU user time (s): 506.609 CPU system time (s): 0.315951 CPU usage (%): 100.474 Max. virtual memory (cumulated for all children) (KiB): 10550904 getrusage(RUSAGE_CHILDREN,...) data: user time used= 506.609 system time used= 0.315951 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38615 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 34932 involuntary context switches= 15500 runsolver used 0.843871 second user time and 1.9537 second system time The end
Begin job on node108 at 2011-06-12 22:42:37 IDJOB=3492126 IDBENCH=79290 IDSOLVER=1982 FILE ID=node108/3492126-1307911357 RUNJOBID= node108-1307908527-21182 PBS_JOBID= 13559595 Free space on /var/tmp= 2888 MiB SOLVER NAME= Sat4j Resolution 2011-06-08 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900581320--soft-0-100-0.wbo COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492126-1307911357/watcher-3492126-1307911357 -o /var/tmp/evaluation-result-3492126-1307911357/solver-3492126-1307911357 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492126-1307911357.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 85ba7bcc847457eeeb822d6fc8af8950 RANDOM SEED=1845674490 node108.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 1341356 kB Buffers: 65320 kB Cached: 30224500 kB SwapCached: 23196 kB Active: 15566660 kB Inactive: 15097396 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 1341356 kB SwapTotal: 67111528 kB SwapFree: 67052292 kB Dirty: 228 kB Writeback: 0 kB AnonPages: 371876 kB Mapped: 17604 kB Slab: 881584 kB PageTables: 5584 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 10550196 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /var/tmp at the end= 2884 MiB End job on node108 at 2011-06-12 22:51:02