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 | 508.13 | 506.043 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900582300--soft-33-100-0.wbo |
| MD5SUM | 9fdf6a24194e0c0ae14212c193866ebe |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard 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 | 76.9713 |
| 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 | 1830 |
| 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 | 92327 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 92326 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 683 |
| 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.05/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.05/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.08 c See www.sat4j.org for details. 0.05/0.09 c version 2.3.1.v20110525 0.05/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.05/0.09 c java.vm.version 19.1-b02 0.05/0.09 c java.vm.vendor Sun Microsystems Inc. 0.05/0.09 c sun.arch.data.model 64 0.05/0.09 c java.version 1.6.0_24 0.05/0.09 c os.name Linux 0.05/0.09 c os.version 2.6.18-164.el5 0.05/0.09 c os.arch amd64 0.05/0.09 c Free memory 9996466904 0.05/0.09 c Max memory 10048897024 0.05/0.09 c Total memory 10048897024 0.05/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3492678-1307910333.wbo 0.10/0.11 c reading problem ... 0.50/0.31 c ... done. Wall clock time 0.204s. 0.50/0.31 c #vars 2061 0.50/0.31 c #constraints 2707 0.50/0.31 c constraints type 0.50/0.31 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2606 0.50/0.31 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 0.50/0.31 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 78 0.50/0.31 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 16 0.78/0.43 c SATISFIABLE 0.78/0.43 c OPTIMIZING... 0.78/0.43 c Got one! Elapsed wall clock time (in seconds):0.322 0.78/0.43 o 270 0.78/0.49 c Got one! Elapsed wall clock time (in seconds):0.385 0.78/0.49 o 260 1.05/0.52 c Got one! Elapsed wall clock time (in seconds):0.413 1.05/0.52 o 246 1.05/0.54 c Got one! Elapsed wall clock time (in seconds):0.435 1.05/0.54 o 245 1.05/0.57 c Got one! Elapsed wall clock time (in seconds):0.46 1.05/0.57 o 233 1.05/0.58 c Got one! Elapsed wall clock time (in seconds):0.474 1.05/0.58 o 197 1.31/0.62 c Got one! Elapsed wall clock time (in seconds):0.509 1.31/0.62 o 189 1.31/0.66 c Got one! Elapsed wall clock time (in seconds):0.549 1.31/0.66 o 174 1.31/0.69 c Got one! Elapsed wall clock time (in seconds):0.578 1.31/0.69 o 166 1.45/0.70 c Got one! Elapsed wall clock time (in seconds):0.592 1.45/0.70 o 148 1.45/0.76 c Got one! Elapsed wall clock time (in seconds):0.648 1.45/0.76 o 131 1.45/0.79 c Got one! Elapsed wall clock time (in seconds):0.685 1.45/0.79 o 121 1.56/0.86 c Got one! Elapsed wall clock time (in seconds):0.756 1.56/0.86 o 95 1.66/0.91 c Got one! Elapsed wall clock time (in seconds):0.806 1.66/0.91 o 83 1.66/0.95 c Got one! Elapsed wall clock time (in seconds):0.838 1.66/0.95 o 70 1.66/0.98 c Got one! Elapsed wall clock time (in seconds):0.876 1.66/0.98 o 55 1.77/1.10 c Got one! Elapsed wall clock time (in seconds):0.991 1.77/1.10 o 48 1.96/1.24 c Got one! Elapsed wall clock time (in seconds):1.13 1.96/1.24 o 43 1.96/1.28 c Got one! Elapsed wall clock time (in seconds):1.17 1.96/1.28 o 42 2.06/1.34 c Got one! Elapsed wall clock time (in seconds):1.235 2.06/1.34 o 29 2.37/1.69 c Got one! Elapsed wall clock time (in seconds):1.587 2.37/1.69 o 25 2.69/1.94 c cleaning 5775 clauses out of 11552 with flag 2000/11552 3.13/2.37 c Got one! Elapsed wall clock time (in seconds):2.259 3.13/2.37 o 21 3.33/2.51 c cleaning 5886 clauses out of 11774 with flag 1005/17549 3.64/2.83 c Got one! Elapsed wall clock time (in seconds):2.719 3.64/2.83 o 18 3.74/2.92 c cleaning 5572 clauses out of 11154 with flag 1001/22815 3.99/3.17 c Got one! Elapsed wall clock time (in seconds):3.057 3.99/3.17 o 11 4.20/3.33 c cleaning 5731 clauses out of 11467 with flag 2000/28700 4.50/3.67 c cleaning 5864 clauses out of 11738 with flag 8002/34702 4.90/4.06 c cleaning 6431 clauses out of 12872 with flag 15000/41700 5.41/4.53 c cleaning 7217 clauses out of 14443 with flag 23002/49702 5.91/5.05 c cleaning 8107 clauses out of 16225 with flag 32001/58701 6.32/5.48 c Got one! Elapsed wall clock time (in seconds):5.377 6.32/5.48 o 2 6.81/5.96 c cleaning 10661 clauses out of 21324 with flag 5003/71907 7.02/6.11 c Got one! Elapsed wall clock time (in seconds):6.002 7.02/6.11 o 1 7.22/6.34 c cleaning 8103 clauses out of 16219 with flag 3000/77463 7.62/6.71 c cleaning 7054 clauses out of 14116 with flag 9000/83463 7.92/7.06 c cleaning 7025 clauses out of 14062 with flag 16000/90463 8.32/7.47 c cleaning 7514 clauses out of 15039 with flag 24002/98465 8.82/7.95 c cleaning 8255 clauses out of 16523 with flag 33000/107463 9.32/8.46 c cleaning 9128 clauses out of 18268 with flag 43000/117463 9.92/9.01 c cleaning 9564 clauses out of 19140 with flag 53000/127463 10.42/9.51 c cleaning 9781 clauses out of 19578 with flag 63002/137465 10.83/9.99 c cleaning 9886 clauses out of 19795 with flag 73000/147463 11.43/10.53 c cleaning 9946 clauses out of 19910 with flag 83001/157464 11.94/11.08 c cleaning 9976 clauses out of 19964 with flag 93001/167464 12.43/11.59 c cleaning 9983 clauses out of 19988 with flag 103001/177464 12.94/12.06 c cleaning 9996 clauses out of 20005 with flag 113001/187464 13.43/12.59 c cleaning 9997 clauses out of 20008 with flag 123000/197463 13.93/13.10 c cleaning 9999 clauses out of 20012 with flag 133001/207464 14.43/13.58 c cleaning 10002 clauses out of 20013 with flag 143001/217464 14.94/14.09 c cleaning 9999 clauses out of 20010 with flag 153000/227463 15.54/14.63 c cleaning 9999 clauses out of 20011 with flag 163000/237463 16.04/15.16 c cleaning 9998 clauses out of 20014 with flag 173002/247465 16.54/15.65 c cleaning 10002 clauses out of 20014 with flag 183000/257463 17.04/16.16 c cleaning 10001 clauses out of 20012 with flag 193000/267463 17.54/16.69 c cleaning 10003 clauses out of 20013 with flag 203002/277465 18.15/17.20 c cleaning 9997 clauses out of 20008 with flag 213000/287463 18.55/17.69 c cleaning 10001 clauses out of 20011 with flag 223000/297463 19.15/18.27 c cleaning 10000 clauses out of 20011 with flag 233001/307464 19.65/18.79 c cleaning 9993 clauses out of 20010 with flag 243000/317463 20.15/19.29 c cleaning 10005 clauses out of 20017 with flag 253000/327463 20.66/19.79 c cleaning 10003 clauses out of 20012 with flag 263000/337463 21.15/20.28 c cleaning 10000 clauses out of 20012 with flag 273003/347466 21.65/20.75 c cleaning 10000 clauses out of 20009 with flag 283000/357463 22.15/21.29 c cleaning 9998 clauses out of 20010 with flag 293001/367464 22.75/21.81 c cleaning 9995 clauses out of 20014 with flag 303003/377466 23.26/22.37 c cleaning 10006 clauses out of 20017 with flag 313001/387464 23.76/22.88 c cleaning 9999 clauses out of 20011 with flag 323001/397464 24.48/23.50 c cleaning 9999 clauses out of 20011 with flag 333000/407463 24.98/24.01 c cleaning 10002 clauses out of 20013 with flag 343001/417464 25.48/24.56 c cleaning 10001 clauses out of 20010 with flag 353000/427463 26.08/25.14 c cleaning 9996 clauses out of 20012 with flag 363003/437466 26.58/25.69 c cleaning 9996 clauses out of 20013 with flag 373000/447463 27.09/26.20 c cleaning 9996 clauses out of 20017 with flag 383000/457463 27.59/26.68 c cleaning 10002 clauses out of 20022 with flag 393001/467464 28.09/27.19 c cleaning 10002 clauses out of 20020 with flag 403001/477464 28.59/27.69 c cleaning 10001 clauses out of 20017 with flag 413000/487463 29.19/28.21 c cleaning 10003 clauses out of 20016 with flag 423000/497463 29.69/28.71 c cleaning 10000 clauses out of 20013 with flag 433000/507463 30.20/29.20 c cleaning 10002 clauses out of 20013 with flag 443000/517463 30.60/29.67 c cleaning 9998 clauses out of 20011 with flag 453000/527463 31.10/30.15 c cleaning 10001 clauses out of 20014 with flag 463001/537464 31.60/30.63 c cleaning 10004 clauses out of 20013 with flag 473001/547464 32.10/31.10 c cleaning 9999 clauses out of 20009 with flag 483001/557464 32.60/31.60 c cleaning 9999 clauses out of 20009 with flag 493000/567463 33.10/32.11 c cleaning 10000 clauses out of 20011 with flag 503001/577464 33.60/32.60 c cleaning 9996 clauses out of 20011 with flag 513001/587464 34.10/33.10 c cleaning 10005 clauses out of 20016 with flag 523002/597465 34.50/33.59 c cleaning 9998 clauses out of 20009 with flag 533000/607463 35.01/34.05 c cleaning 9999 clauses out of 20011 with flag 543000/617463 35.60/34.60 c cleaning 10003 clauses out of 20013 with flag 553001/627464 36.11/35.10 c cleaning 9999 clauses out of 20010 with flag 563001/637464 36.60/35.60 c cleaning 10002 clauses out of 20010 with flag 573000/647463 37.10/36.10 c cleaning 9996 clauses out of 20009 with flag 583001/657464 37.61/36.61 c cleaning 10004 clauses out of 20016 with flag 593004/667467 38.01/37.08 c cleaning 9995 clauses out of 20009 with flag 603001/677464 38.51/37.56 c cleaning 9998 clauses out of 20013 with flag 613000/687463 39.11/38.11 c cleaning 10003 clauses out of 20018 with flag 623003/697466 39.61/38.66 c cleaning 10001 clauses out of 20014 with flag 633002/707465 40.11/39.17 c cleaning 10003 clauses out of 20015 with flag 643004/717467 40.71/39.72 c cleaning 9999 clauses out of 20008 with flag 653000/727463 41.21/40.26 c cleaning 9993 clauses out of 20009 with flag 663000/737463 41.81/40.82 c cleaning 9999 clauses out of 20016 with flag 673000/747463 42.31/41.36 c cleaning 10000 clauses out of 20018 with flag 683001/757464 42.83/41.88 c cleaning 10000 clauses out of 20017 with flag 693000/767463 43.32/42.37 c cleaning 10002 clauses out of 20019 with flag 703002/777465 43.83/42.88 c cleaning 9995 clauses out of 20015 with flag 713000/787463 44.32/43.36 c cleaning 9997 clauses out of 20020 with flag 723000/797463 44.82/43.88 c cleaning 10006 clauses out of 20023 with flag 733000/807463 45.43/44.40 c cleaning 10005 clauses out of 20022 with flag 743005/817468 45.83/44.89 c cleaning 9999 clauses out of 20013 with flag 753001/827464 46.43/45.42 c cleaning 9997 clauses out of 20014 with flag 763001/837464 46.93/45.93 c cleaning 10003 clauses out of 20016 with flag 773000/847463 47.43/46.42 c cleaning 10000 clauses out of 20013 with flag 783000/857463 47.83/46.88 c cleaning 9995 clauses out of 20013 with flag 793000/867463 48.43/47.41 c cleaning 10006 clauses out of 20019 with flag 803001/877464 48.93/47.96 c cleaning 10000 clauses out of 20012 with flag 813000/887463 49.44/48.46 c cleaning 10002 clauses out of 20012 with flag 823000/897463 49.94/48.93 c cleaning 10000 clauses out of 20011 with flag 833001/907464 50.44/49.44 c cleaning 10002 clauses out of 20011 with flag 843001/917464 50.94/49.93 c cleaning 9994 clauses out of 20010 with flag 853002/927465 51.44/50.44 c cleaning 10003 clauses out of 20014 with flag 863000/937463 51.94/50.95 c cleaning 10001 clauses out of 20012 with flag 873001/947464 52.44/51.45 c cleaning 9997 clauses out of 20012 with flag 883002/957465 52.94/51.98 c cleaning 10005 clauses out of 20014 with flag 893001/967464 53.54/52.51 c cleaning 10000 clauses out of 20009 with flag 903001/977464 54.04/53.03 c cleaning 10000 clauses out of 20009 with flag 913001/987464 54.55/53.53 c cleaning 10002 clauses out of 20011 with flag 923003/997466 55.05/54.05 c cleaning 10000 clauses out of 20006 with flag 933000/1007463 55.55/54.55 c cleaning 9993 clauses out of 20007 with flag 943001/1017464 56.06/55.04 c cleaning 9999 clauses out of 20014 with flag 953001/1027464 56.55/55.53 c cleaning 10000 clauses out of 20015 with flag 963001/1037464 57.06/56.02 c cleaning 10003 clauses out of 20015 with flag 973001/1047464 57.56/56.52 c cleaning 9998 clauses out of 20011 with flag 983000/1057463 58.06/57.01 c cleaning 9997 clauses out of 20013 with flag 993000/1067463 58.56/57.52 c cleaning 10003 clauses out of 20017 with flag 1003001/1077464 59.06/58.00 c cleaning 10002 clauses out of 20015 with flag 1013002/1087465 59.56/58.52 c cleaning 10001 clauses out of 20012 with flag 1023001/1097464 60.06/59.04 c cleaning 10001 clauses out of 20012 with flag 1033002/1107465 60.56/59.54 c cleaning 9999 clauses out of 20010 with flag 1043001/1117464 61.16/60.12 c cleaning 9999 clauses out of 20011 with flag 1053001/1127464 61.66/60.65 c cleaning 9999 clauses out of 20013 with flag 1063002/1137465 62.26/61.22 c cleaning 10003 clauses out of 20014 with flag 1073002/1147465 62.76/61.74 c cleaning 10003 clauses out of 20011 with flag 1083002/1157465 63.26/62.29 c cleaning 9999 clauses out of 20009 with flag 1093003/1167466 63.87/62.80 c cleaning 9997 clauses out of 20011 with flag 1103004/1177467 64.37/63.30 c cleaning 9998 clauses out of 20012 with flag 1113002/1187465 64.87/63.82 c cleaning 10001 clauses out of 20012 with flag 1123000/1197463 65.27/64.30 c cleaning 9999 clauses out of 20011 with flag 1133000/1207463 65.77/64.79 c cleaning 9993 clauses out of 20012 with flag 1143000/1217463 66.27/65.27 c cleaning 9997 clauses out of 20021 with flag 1153002/1227465 66.77/65.74 c cleaning 10000 clauses out of 20023 with flag 1163001/1237464 67.28/66.21 c cleaning 10005 clauses out of 20022 with flag 1173000/1247463 67.78/66.70 c cleaning 10000 clauses out of 20020 with flag 1183003/1257466 68.18/67.19 c cleaning 10003 clauses out of 20018 with flag 1193001/1267464 68.68/67.67 c cleaning 10000 clauses out of 20015 with flag 1203001/1277464 69.18/68.17 c cleaning 9994 clauses out of 20014 with flag 1213000/1287463 69.68/68.68 c cleaning 10004 clauses out of 20022 with flag 1223002/1297465 70.19/69.14 c cleaning 10002 clauses out of 20016 with flag 1233000/1307463 70.69/69.65 c cleaning 10004 clauses out of 20015 with flag 1243001/1317464 71.19/70.11 c cleaning 10000 clauses out of 20011 with flag 1253001/1327464 71.59/70.57 c cleaning 10001 clauses out of 20010 with flag 1263000/1337463 72.09/71.07 c cleaning 10001 clauses out of 20010 with flag 1273001/1347464 72.60/71.55 c cleaning 9994 clauses out of 20008 with flag 1283000/1357463 73.09/72.09 c cleaning 10003 clauses out of 20015 with flag 1293001/1367464 73.70/72.61 c cleaning 10001 clauses out of 20011 with flag 1303000/1377463 74.20/73.14 c cleaning 9999 clauses out of 20010 with flag 1313000/1387463 74.70/73.67 c cleaning 10003 clauses out of 20011 with flag 1323000/1397463 75.30/74.20 c cleaning 9995 clauses out of 20008 with flag 1333000/1407463 75.81/74.76 c cleaning 9998 clauses out of 20013 with flag 1343000/1417463 76.40/75.34 c cleaning 10004 clauses out of 20015 with flag 1353000/1427463 76.91/75.86 c cleaning 10002 clauses out of 20012 with flag 1363001/1437464 77.50/76.42 c cleaning 10001 clauses out of 20010 with flag 1373001/1447464 78.01/76.98 c cleaning 9999 clauses out of 20008 with flag 1383000/1457463 78.60/77.52 c cleaning 9997 clauses out of 20009 with flag 1393000/1467463 79.11/78.08 c cleaning 9999 clauses out of 20014 with flag 1403002/1477465 79.70/78.61 c cleaning 10000 clauses out of 20013 with flag 1413000/1487463 80.21/79.20 c cleaning 9999 clauses out of 20016 with flag 1423003/1497466 80.91/79.84 c cleaning 10004 clauses out of 20018 with flag 1433004/1507467 81.41/80.38 c cleaning 10002 clauses out of 20012 with flag 1443002/1517465 82.01/80.98 c cleaning 9998 clauses out of 20008 with flag 1453000/1527463 82.61/81.51 c cleaning 9994 clauses out of 20011 with flag 1463001/1537464 83.11/82.06 c cleaning 9999 clauses out of 20017 with flag 1473001/1547464 83.62/82.59 c cleaning 10005 clauses out of 20017 with flag 1483000/1557463 84.21/83.14 c cleaning 9995 clauses out of 20012 with flag 1493000/1567463 84.72/83.68 c cleaning 9998 clauses out of 20017 with flag 1503000/1577463 85.32/84.24 c cleaning 9998 clauses out of 20020 with flag 1513001/1587464 85.92/84.84 c cleaning 10007 clauses out of 20023 with flag 1523002/1597465 86.52/85.41 c cleaning 10003 clauses out of 20015 with flag 1533001/1607464 87.02/85.93 c cleaning 10000 clauses out of 20011 with flag 1543000/1617463 87.52/86.47 c cleaning 10003 clauses out of 20011 with flag 1553000/1627463 88.12/87.01 c cleaning 9998 clauses out of 20008 with flag 1563000/1637463 88.62/87.53 c cleaning 10000 clauses out of 20012 with flag 1573002/1647465 89.13/88.05 c cleaning 9998 clauses out of 20014 with flag 1583004/1657467 89.73/88.67 c cleaning 10004 clauses out of 20015 with flag 1593003/1667466 90.33/89.22 c cleaning 9997 clauses out of 20008 with flag 1603000/1677463 90.83/89.77 c cleaning 9997 clauses out of 20012 with flag 1613001/1687464 91.53/90.41 c cleaning 10003 clauses out of 20014 with flag 1623000/1697463 92.03/90.99 c cleaning 10003 clauses out of 20018 with flag 1633007/1707470 92.73/91.60 c cleaning 9996 clauses out of 20008 with flag 1643000/1717463 93.23/92.13 c cleaning 10004 clauses out of 20015 with flag 1653003/1727466 93.84/92.77 c cleaning 9997 clauses out of 20011 with flag 1663003/1737466 94.44/93.36 c cleaning 10002 clauses out of 20013 with flag 1673002/1747465 95.14/94.05 c cleaning 9992 clauses out of 20010 with flag 1683001/1757464 95.75/94.66 c cleaning 10004 clauses out of 20018 with flag 1693001/1767464 96.34/95.27 c cleaning 10003 clauses out of 20013 with flag 1703000/1777463 96.94/95.85 c cleaning 10002 clauses out of 20012 with flag 1713002/1787465 97.54/96.42 c cleaning 9998 clauses out of 20008 with flag 1723000/1797463 98.14/97.03 c cleaning 9996 clauses out of 20010 with flag 1733000/1807463 98.65/97.59 c cleaning 10003 clauses out of 20015 with flag 1743001/1817464 99.25/98.19 c cleaning 10004 clauses out of 20013 with flag 1753002/1827465 99.85/98.77 c cleaning 9996 clauses out of 20007 with flag 1763000/1837463 100.45/99.31 c cleaning 10002 clauses out of 20012 with flag 1773001/1847464 101.05/99.90 c cleaning 9997 clauses out of 20010 with flag 1783001/1857464 101.66/100.52 c cleaning 10002 clauses out of 20012 with flag 1793000/1867463 102.26/101.16 c cleaning 10002 clauses out of 20012 with flag 1803002/1877465 102.86/101.71 c cleaning 9998 clauses out of 20008 with flag 1813000/1887463 103.47/102.31 c cleaning 9996 clauses out of 20010 with flag 1823000/1897463 103.96/102.87 c cleaning 9998 clauses out of 20014 with flag 1833000/1907463 104.57/103.44 c cleaning 10001 clauses out of 20016 with flag 1843000/1917463 105.07/103.99 c cleaning 10000 clauses out of 20015 with flag 1853000/1927463 105.67/104.57 c cleaning 10004 clauses out of 20017 with flag 1863002/1937465 106.27/105.12 c cleaning 10003 clauses out of 20013 with flag 1873002/1947465 106.77/105.68 c cleaning 10000 clauses out of 20008 with flag 1883000/1957463 107.37/106.29 c cleaning 9997 clauses out of 20008 with flag 1893000/1967463 107.97/106.85 c cleaning 9999 clauses out of 20012 with flag 1903001/1977464 108.57/107.41 c cleaning 10000 clauses out of 20013 with flag 1913001/1987464 109.07/107.97 c cleaning 9998 clauses out of 20012 with flag 1923000/1997463 109.67/108.50 c cleaning 10002 clauses out of 20014 with flag 1933000/2007463 110.17/109.05 c cleaning 10003 clauses out of 20013 with flag 1943001/2017464 110.68/109.59 c cleaning 9998 clauses out of 20010 with flag 1953001/2027464 111.28/110.13 c cleaning 10002 clauses out of 20014 with flag 1963003/2037466 111.78/110.68 c cleaning 9997 clauses out of 20009 with flag 1973000/2047463 112.38/111.25 c cleaning 10001 clauses out of 20013 with flag 1983001/2057464 112.88/111.78 c cleaning 10002 clauses out of 20012 with flag 1993001/2067464 113.38/112.28 c cleaning 10001 clauses out of 20011 with flag 2003002/2077465 113.98/112.80 c cleaning 9998 clauses out of 20008 with flag 2013000/2087463 114.49/113.36 c cleaning 10003 clauses out of 20011 with flag 2023001/2097464 114.98/113.89 c cleaning 9998 clauses out of 20007 with flag 2033000/2107463 115.59/114.42 c cleaning 9999 clauses out of 20010 with flag 2043001/2117464 116.08/114.94 c cleaning 10001 clauses out of 20010 with flag 2053000/2127463 116.59/115.45 c cleaning 10001 clauses out of 20009 with flag 2063000/2137463 117.19/116.01 c cleaning 9998 clauses out of 20008 with flag 2073000/2147463 117.69/116.59 c cleaning 9996 clauses out of 20010 with flag 2083000/2157463 118.30/117.16 c cleaning 9999 clauses out of 20014 with flag 2093000/2167463 118.90/117.71 c cleaning 10002 clauses out of 20015 with flag 2103000/2177463 119.40/118.24 c cleaning 10001 clauses out of 20014 with flag 2113001/2187464 119.90/118.80 c cleaning 10001 clauses out of 20012 with flag 2123000/2197463 120.50/119.33 c cleaning 10001 clauses out of 20013 with flag 2133002/2207465 121.01/119.88 c cleaning 9997 clauses out of 20010 with flag 2143000/2217463 121.60/120.41 c cleaning 10005 clauses out of 20013 with flag 2153000/2227463 122.11/120.92 c cleaning 10002 clauses out of 20009 with flag 2163001/2237464 122.60/121.48 c cleaning 9996 clauses out of 20007 with flag 2173001/2247464 123.21/122.04 c cleaning 9994 clauses out of 20010 with flag 2183000/2257463 123.71/122.58 c cleaning 10005 clauses out of 20019 with flag 2193003/2267466 124.31/123.13 c cleaning 9995 clauses out of 20014 with flag 2203003/2277466 124.81/123.67 c cleaning 10000 clauses out of 20016 with flag 2213000/2287463 125.31/124.19 c cleaning 10004 clauses out of 20017 with flag 2223001/2297464 125.91/124.75 c cleaning 10002 clauses out of 20014 with flag 2233002/2307465 126.51/125.31 c cleaning 9998 clauses out of 20012 with flag 2243002/2317465 127.01/125.87 c cleaning 10002 clauses out of 20013 with flag 2253001/2327464 127.62/126.46 c cleaning 10000 clauses out of 20011 with flag 2263001/2337464 128.21/127.05 c cleaning 9991 clauses out of 20010 with flag 2273000/2347463 128.72/127.60 c cleaning 10003 clauses out of 20019 with flag 2283000/2357463 129.31/128.16 c cleaning 10000 clauses out of 20016 with flag 2293000/2367463 129.92/128.73 c cleaning 10005 clauses out of 20021 with flag 2303005/2377468 130.42/129.27 c cleaning 10002 clauses out of 20012 with flag 2313001/2387464 131.02/129.83 c cleaning 9995 clauses out of 20009 with flag 2323000/2397463 131.62/130.45 c cleaning 10001 clauses out of 20015 with flag 2333001/2407464 132.22/131.00 c cleaning 9999 clauses out of 20014 with flag 2343001/2417464 132.72/131.52 c cleaning 10003 clauses out of 20015 with flag 2353001/2427464 133.22/132.03 c cleaning 10000 clauses out of 20012 with flag 2363001/2437464 133.82/132.61 c cleaning 9996 clauses out of 20011 with flag 2373000/2447463 134.33/133.14 c cleaning 9997 clauses out of 20016 with flag 2383001/2457464 134.82/133.69 c cleaning 10002 clauses out of 20018 with flag 2393000/2467463 135.43/134.21 c cleaning 10000 clauses out of 20016 with flag 2403000/2477463 135.92/134.73 c cleaning 10000 clauses out of 20016 with flag 2413000/2487463 136.43/135.29 c cleaning 10002 clauses out of 20016 with flag 2423000/2497463 137.04/135.86 c cleaning 10004 clauses out of 20015 with flag 2433001/2507464 137.64/136.41 c cleaning 9997 clauses out of 20010 with flag 2443000/2517463 138.14/136.98 c cleaning 9992 clauses out of 20013 with flag 2453000/2527463 138.74/137.52 c cleaning 10002 clauses out of 20021 with flag 2463000/2537463 139.24/138.03 c cleaning 10002 clauses out of 20022 with flag 2473003/2547466 139.75/138.54 c cleaning 10005 clauses out of 20017 with flag 2483000/2557463 140.24/139.08 c cleaning 9999 clauses out of 20013 with flag 2493001/2567464 140.85/139.62 c cleaning 9999 clauses out of 20013 with flag 2503000/2577463 141.34/140.13 c cleaning 9995 clauses out of 20014 with flag 2513000/2587463 141.85/140.65 c cleaning 10005 clauses out of 20019 with flag 2523000/2597463 142.35/141.16 c cleaning 10001 clauses out of 20014 with flag 2533000/2607463 142.85/141.68 c cleaning 9997 clauses out of 20014 with flag 2543001/2617464 143.45/142.21 c cleaning 10006 clauses out of 20018 with flag 2553002/2627465 144.05/142.81 c cleaning 9995 clauses out of 20012 with flag 2563002/2637465 144.55/143.34 c cleaning 10004 clauses out of 20015 with flag 2573000/2647463 145.15/143.91 c cleaning 10000 clauses out of 20012 with flag 2583001/2657464 145.65/144.43 c cleaning 10001 clauses out of 20011 with flag 2593000/2667463 146.16/144.98 c cleaning 10003 clauses out of 20010 with flag 2603000/2677463 146.76/145.52 c cleaning 9997 clauses out of 20007 with flag 2613000/2687463 147.26/146.09 c cleaning 9999 clauses out of 20012 with flag 2623002/2697465 147.86/146.66 c cleaning 10002 clauses out of 20012 with flag 2633001/2707464 148.46/147.21 c cleaning 9996 clauses out of 20010 with flag 2643001/2717464 148.96/147.73 c cleaning 9989 clauses out of 20013 with flag 2653000/2727463 149.46/148.24 c cleaning 10004 clauses out of 20025 with flag 2663001/2737464 149.96/148.76 c cleaning 10004 clauses out of 20021 with flag 2673001/2747464 150.46/149.27 c cleaning 9999 clauses out of 20017 with flag 2683001/2757464 151.06/149.80 c cleaning 9998 clauses out of 20018 with flag 2693001/2767464 151.57/150.32 c cleaning 10003 clauses out of 20019 with flag 2703000/2777463 152.17/150.90 c cleaning 9996 clauses out of 20017 with flag 2713001/2787464 152.67/151.45 c cleaning 10005 clauses out of 20025 with flag 2723005/2797468 153.17/151.99 c cleaning 10002 clauses out of 20015 with flag 2733000/2807463 153.77/152.53 c cleaning 9999 clauses out of 20014 with flag 2743001/2817464 154.27/153.09 c cleaning 10003 clauses out of 20014 with flag 2753000/2827463 154.87/153.65 c cleaning 10003 clauses out of 20013 with flag 2763002/2837465 155.47/154.21 c cleaning 9998 clauses out of 20009 with flag 2773001/2847464 155.97/154.73 c cleaning 9999 clauses out of 20010 with flag 2783000/2857463 156.57/155.37 c cleaning 10000 clauses out of 20013 with flag 2793002/2867465 157.17/155.96 c cleaning 9989 clauses out of 20011 with flag 2803000/2877463 157.77/156.51 c cleaning 10006 clauses out of 20023 with flag 2813001/2887464 158.37/157.11 c cleaning 9997 clauses out of 20016 with flag 2823000/2897463 158.88/157.69 c cleaning 10005 clauses out of 20022 with flag 2833003/2907466 159.58/158.32 c cleaning 10000 clauses out of 20014 with flag 2843000/2917463 160.18/158.95 c cleaning 9988 clauses out of 20015 with flag 2853001/2927464 160.69/159.48 c cleaning 10010 clauses out of 20026 with flag 2863000/2937463 161.28/160.07 c cleaning 10000 clauses out of 20019 with flag 2873003/2947466 161.89/160.62 c cleaning 10002 clauses out of 20017 with flag 2883001/2957464 162.39/161.16 c cleaning 10001 clauses out of 20016 with flag 2893002/2967465 162.89/161.70 c cleaning 9999 clauses out of 20016 with flag 2903003/2977466 163.49/162.25 c cleaning 9999 clauses out of 20017 with flag 2913003/2987466 164.09/162.84 c cleaning 9999 clauses out of 20015 with flag 2923000/2997463 164.69/163.43 c cleaning 10001 clauses out of 20016 with flag 2933000/3007463 165.19/163.96 c cleaning 10003 clauses out of 20015 with flag 2943000/3017463 165.79/164.54 c cleaning 10003 clauses out of 20013 with flag 2953001/3027464 166.30/165.09 c cleaning 10001 clauses out of 20010 with flag 2963001/3037464 166.90/165.64 c cleaning 9995 clauses out of 20008 with flag 2973000/3047463 167.41/166.16 c cleaning 10002 clauses out of 20015 with flag 2983002/3057465 167.90/166.68 c cleaning 9999 clauses out of 20014 with flag 2993003/3067466 168.51/167.21 c cleaning 10002 clauses out of 20013 with flag 3003001/3077464 169.01/167.75 c cleaning 9997 clauses out of 20010 with flag 3013000/3087463 169.51/168.30 c cleaning 9998 clauses out of 20013 with flag 3023000/3097463 170.11/168.88 c cleaning 10004 clauses out of 20015 with flag 3033000/3107463 170.72/169.43 c cleaning 10002 clauses out of 20012 with flag 3043001/3117464 171.21/169.95 c cleaning 9995 clauses out of 20009 with flag 3053000/3127463 171.72/170.50 c cleaning 9999 clauses out of 20015 with flag 3063001/3137464 172.31/171.03 c cleaning 9999 clauses out of 20017 with flag 3073002/3147465 172.82/171.58 c cleaning 9996 clauses out of 20016 with flag 3083000/3157463 173.31/172.09 c cleaning 10004 clauses out of 20021 with flag 3093001/3167464 173.92/172.64 c cleaning 9997 clauses out of 20017 with flag 3103001/3177464 174.42/173.16 c cleaning 10005 clauses out of 20020 with flag 3113001/3187464 175.02/173.71 c cleaning 9999 clauses out of 20014 with flag 3123000/3197463 175.52/174.24 c cleaning 10003 clauses out of 20018 with flag 3133003/3207466 176.13/174.82 c cleaning 10003 clauses out of 20015 with flag 3143003/3217466 176.62/175.36 c cleaning 9996 clauses out of 20010 with flag 3153001/3227464 177.12/175.86 c cleaning 10000 clauses out of 20013 with flag 3163000/3237463 177.62/176.36 c cleaning 10000 clauses out of 20013 with flag 3173000/3247463 178.22/176.91 c cleaning 9999 clauses out of 20014 with flag 3183001/3257464 178.82/177.53 c cleaning 9999 clauses out of 20015 with flag 3193001/3267464 179.43/178.11 c cleaning 10005 clauses out of 20017 with flag 3203002/3277465 179.93/178.67 c cleaning 10001 clauses out of 20011 with flag 3213001/3287464 180.54/179.22 c cleaning 9996 clauses out of 20009 with flag 3223000/3297463 181.03/179.78 c cleaning 10003 clauses out of 20014 with flag 3233001/3307464 181.64/180.31 c cleaning 10000 clauses out of 20011 with flag 3243001/3317464 182.14/180.87 c cleaning 9994 clauses out of 20010 with flag 3253000/3327463 182.74/181.43 c cleaning 10001 clauses out of 20017 with flag 3263001/3337464 183.34/182.01 c cleaning 10001 clauses out of 20016 with flag 3273001/3347464 183.84/182.54 c cleaning 9997 clauses out of 20014 with flag 3283000/3357463 184.44/183.14 c cleaning 10000 clauses out of 20018 with flag 3293001/3367464 185.05/183.76 c cleaning 9996 clauses out of 20017 with flag 3303000/3377463 185.74/184.45 c cleaning 10000 clauses out of 20021 with flag 3313000/3387463 186.35/185.03 c cleaning 10003 clauses out of 20021 with flag 3323000/3397463 186.85/185.57 c cleaning 10003 clauses out of 20019 with flag 3333001/3407464 187.45/186.13 c cleaning 10001 clauses out of 20015 with flag 3343000/3417463 187.95/186.66 c cleaning 10001 clauses out of 20016 with flag 3353002/3427465 188.45/187.17 c cleaning 10001 clauses out of 20014 with flag 3363001/3437464 188.95/187.67 c cleaning 10003 clauses out of 20012 with flag 3373000/3447463 189.55/188.23 c cleaning 9994 clauses out of 20010 with flag 3383001/3457464 190.06/188.75 c cleaning 10003 clauses out of 20017 with flag 3393002/3467465 190.66/189.36 c cleaning 10001 clauses out of 20013 with flag 3403001/3477464 191.26/189.91 c cleaning 9998 clauses out of 20012 with flag 3413001/3487464 191.86/190.52 c cleaning 9998 clauses out of 20015 with flag 3423002/3497465 192.36/191.08 c cleaning 10004 clauses out of 20021 with flag 3433006/3507469 192.96/191.66 c cleaning 10001 clauses out of 20012 with flag 3443001/3517464 193.46/192.17 c cleaning 10003 clauses out of 20014 with flag 3453004/3527467 194.06/192.72 c cleaning 10000 clauses out of 20008 with flag 3463001/3537464 194.56/193.27 c cleaning 9995 clauses out of 20007 with flag 3473000/3547463 195.16/193.82 c cleaning 9999 clauses out of 20012 with flag 3483000/3557463 195.67/194.39 c cleaning 10003 clauses out of 20013 with flag 3493000/3567463 196.27/194.94 c cleaning 9996 clauses out of 20010 with flag 3503000/3577463 196.77/195.46 c cleaning 10001 clauses out of 20015 with flag 3513001/3587464 197.38/196.02 c cleaning 9995 clauses out of 20013 with flag 3523000/3597463 197.87/196.56 c cleaning 10001 clauses out of 20020 with flag 3533002/3607465 198.48/197.10 c cleaning 10002 clauses out of 20018 with flag 3543001/3617464 198.98/197.62 c cleaning 10001 clauses out of 20015 with flag 3553000/3627463 199.48/198.18 c cleaning 10001 clauses out of 20015 with flag 3563001/3637464 200.18/198.81 c cleaning 10001 clauses out of 20013 with flag 3573000/3647463 200.68/199.39 c cleaning 10002 clauses out of 20016 with flag 3583004/3657467 201.29/199.92 c cleaning 10000 clauses out of 20011 with flag 3593001/3667464 201.89/200.53 c cleaning 9996 clauses out of 20012 with flag 3603002/3677465 202.39/201.09 c cleaning 10000 clauses out of 20017 with flag 3613003/3687466 202.99/201.63 c cleaning 10003 clauses out of 20015 with flag 3623001/3697464 203.49/202.15 c cleaning 9998 clauses out of 20012 with flag 3633001/3707464 204.09/202.73 c cleaning 9995 clauses out of 20013 with flag 3643000/3717463 204.59/203.29 c cleaning 9991 clauses out of 20018 with flag 3653000/3727463 205.19/203.84 c cleaning 10007 clauses out of 20028 with flag 3663001/3737464 205.70/204.39 c cleaning 10005 clauses out of 20022 with flag 3673002/3747465 206.30/204.93 c cleaning 10002 clauses out of 20016 with flag 3683001/3757464 206.80/205.48 c cleaning 10005 clauses out of 20014 with flag 3693001/3767464 207.40/206.01 c cleaning 9995 clauses out of 20009 with flag 3703001/3777464 207.90/206.55 c cleaning 10004 clauses out of 20017 with flag 3713004/3787467 208.40/207.09 c cleaning 9997 clauses out of 20011 with flag 3723002/3797465 209.00/207.67 c cleaning 10002 clauses out of 20014 with flag 3733002/3807465 209.60/208.21 c cleaning 10001 clauses out of 20011 with flag 3743001/3817464 210.10/208.74 c cleaning 10001 clauses out of 20009 with flag 3753000/3827463 210.70/209.30 c cleaning 9998 clauses out of 20009 with flag 3763001/3837464 211.21/209.87 c cleaning 9991 clauses out of 20011 with flag 3773001/3847464 211.80/210.43 c cleaning 10003 clauses out of 20020 with flag 3783001/3857464 212.31/210.94 c cleaning 10000 clauses out of 20017 with flag 3793001/3867464 212.81/211.46 c cleaning 10000 clauses out of 20017 with flag 3803001/3877464 213.41/212.05 c cleaning 10003 clauses out of 20016 with flag 3813000/3887463 214.01/212.61 c cleaning 10000 clauses out of 20013 with flag 3823000/3897463 214.51/213.14 c cleaning 10000 clauses out of 20014 with flag 3833001/3907464 215.01/213.67 c cleaning 10004 clauses out of 20014 with flag 3843001/3917464 215.62/214.25 c cleaning 9999 clauses out of 20009 with flag 3853000/3927463 216.12/214.78 c cleaning 9998 clauses out of 20013 with flag 3863003/3937466 216.72/215.35 c cleaning 10000 clauses out of 20015 with flag 3873003/3947466 217.32/215.94 c cleaning 10000 clauses out of 20013 with flag 3883001/3957464 217.92/216.51 c cleaning 10000 clauses out of 20013 with flag 3893001/3967464 218.42/217.08 c cleaning 10000 clauses out of 20012 with flag 3903000/3977463 219.13/217.77 c cleaning 10003 clauses out of 20013 with flag 3913001/3987464 219.73/218.34 c cleaning 9993 clauses out of 20009 with flag 3923000/3997463 220.33/218.98 c cleaning 10003 clauses out of 20017 with flag 3933001/4007464 220.93/219.54 c cleaning 9999 clauses out of 20016 with flag 3943003/4017466 221.53/220.13 c cleaning 10000 clauses out of 20016 with flag 3953002/4027465 222.13/220.72 c cleaning 10003 clauses out of 20018 with flag 3963004/4037467 222.63/221.27 c cleaning 10000 clauses out of 20011 with flag 3973000/4047463 223.23/221.82 c cleaning 9996 clauses out of 20011 with flag 3983000/4057463 223.83/222.41 c cleaning 9987 clauses out of 20017 with flag 3993002/4067465 224.33/223.00 c cleaning 10003 clauses out of 20028 with flag 4003000/4077463 224.93/223.55 c cleaning 10008 clauses out of 20025 with flag 4013000/4087463 225.53/224.13 c cleaning 10001 clauses out of 20017 with flag 4023000/4097463 226.03/224.69 c cleaning 10000 clauses out of 20018 with flag 4033002/4107465 226.64/225.25 c cleaning 9993 clauses out of 20016 with flag 4043000/4117463 227.24/225.81 c cleaning 10009 clauses out of 20025 with flag 4053002/4127465 227.74/226.35 c cleaning 10000 clauses out of 20014 with flag 4063000/4137463 228.34/226.91 c cleaning 10003 clauses out of 20016 with flag 4073002/4147465 228.84/227.44 c cleaning 9997 clauses out of 20011 with flag 4083000/4157463 229.34/227.99 c cleaning 10003 clauses out of 20014 with flag 4093000/4167463 229.94/228.58 c cleaning 10000 clauses out of 20012 with flag 4103001/4177464 230.54/229.15 c cleaning 9999 clauses out of 20013 with flag 4113002/4187465 231.15/229.73 c cleaning 10001 clauses out of 20015 with flag 4123003/4197466 231.75/230.34 c cleaning 9993 clauses out of 20012 with flag 4133001/4207464 232.35/230.91 c cleaning 10004 clauses out of 20023 with flag 4143005/4217468 232.85/231.44 c cleaning 10004 clauses out of 20014 with flag 4153000/4227463 233.45/232.02 c cleaning 9997 clauses out of 20010 with flag 4163000/4237463 233.95/232.59 c cleaning 10004 clauses out of 20014 with flag 4173001/4247464 234.56/233.17 c cleaning 10000 clauses out of 20013 with flag 4183004/4257467 235.15/233.77 c cleaning 9995 clauses out of 20009 with flag 4193000/4267463 235.76/234.31 c cleaning 10001 clauses out of 20015 with flag 4203001/4277464 236.36/234.92 c cleaning 10001 clauses out of 20017 with flag 4213004/4287467 236.96/235.51 c cleaning 10000 clauses out of 20012 with flag 4223000/4297463 237.47/236.05 c cleaning 9999 clauses out of 20015 with flag 4233003/4307466 237.97/236.59 c cleaning 10000 clauses out of 20013 with flag 4243000/4317463 238.47/237.09 c cleaning 10002 clauses out of 20013 with flag 4253000/4327463 238.97/237.60 c cleaning 10001 clauses out of 20013 with flag 4263002/4337465 239.67/238.22 c cleaning 10001 clauses out of 20012 with flag 4273002/4347465 240.18/238.75 c cleaning 9997 clauses out of 20009 with flag 4283000/4357463 240.77/239.33 c cleaning 10001 clauses out of 20012 with flag 4293000/4367463 241.28/239.89 c cleaning 9997 clauses out of 20011 with flag 4303000/4377463 241.88/240.42 c cleaning 10004 clauses out of 20016 with flag 4313002/4387465 242.39/240.95 c cleaning 9999 clauses out of 20010 with flag 4323000/4397463 242.88/241.49 c cleaning 10000 clauses out of 20012 with flag 4333001/4407464 243.49/242.08 c cleaning 9999 clauses out of 20013 with flag 4343002/4417465 244.08/242.67 c cleaning 9993 clauses out of 20012 with flag 4353000/4427463 244.68/243.26 c cleaning 10002 clauses out of 20020 with flag 4363001/4437464 245.38/243.90 c cleaning 9994 clauses out of 20017 with flag 4373000/4447463 245.88/244.47 c cleaning 10008 clauses out of 20025 with flag 4383002/4457465 246.49/245.07 c cleaning 10001 clauses out of 20016 with flag 4393001/4467464 247.08/245.65 c cleaning 10002 clauses out of 20015 with flag 4403001/4477464 247.68/246.20 c cleaning 10000 clauses out of 20012 with flag 4413000/4487463 248.19/246.77 c cleaning 10002 clauses out of 20013 with flag 4423001/4497464 248.79/247.33 c cleaning 9999 clauses out of 20011 with flag 4433001/4507464 249.29/247.88 c cleaning 10002 clauses out of 20012 with flag 4443001/4517464 249.89/248.47 c cleaning 9996 clauses out of 20009 with flag 4453000/4527463 250.49/249.00 c cleaning 10003 clauses out of 20013 with flag 4463000/4537463 250.99/249.55 c cleaning 10005 clauses out of 20013 with flag 4473003/4547466 251.49/250.08 c cleaning 9997 clauses out of 20005 with flag 4483000/4557463 252.09/250.61 c cleaning 9995 clauses out of 20008 with flag 4493000/4567463 252.59/251.16 c cleaning 10003 clauses out of 20013 with flag 4503000/4577463 253.20/251.70 c cleaning 9999 clauses out of 20010 with flag 4513000/4587463 253.70/252.21 c cleaning 10001 clauses out of 20012 with flag 4523001/4597464 254.20/252.75 c cleaning 9999 clauses out of 20010 with flag 4533000/4607463 254.74/253.24 c cleaning 9999 clauses out of 20011 with flag 4543000/4617463 255.24/253.71 c cleaning 10002 clauses out of 20015 with flag 4553003/4627466 255.74/254.20 c cleaning 9996 clauses out of 20013 with flag 4563003/4637466 256.14/254.69 c cleaning 10003 clauses out of 20015 with flag 4573001/4647464 256.64/255.16 c cleaning 9994 clauses out of 20011 with flag 4583000/4657463 257.13/255.67 c cleaning 10003 clauses out of 20024 with flag 4593007/4667470 257.74/256.22 c cleaning 10001 clauses out of 20015 with flag 4603001/4677464 258.23/256.76 c cleaning 9998 clauses out of 20014 with flag 4613001/4687464 258.84/257.32 c cleaning 10000 clauses out of 20016 with flag 4623001/4697464 259.44/257.90 c cleaning 10002 clauses out of 20017 with flag 4633002/4707465 259.94/258.47 c cleaning 10001 clauses out of 20013 with flag 4643000/4717463 260.54/259.01 c cleaning 9995 clauses out of 20014 with flag 4653002/4727465 261.05/259.58 c cleaning 10005 clauses out of 20017 with flag 4663000/4737463 261.64/260.16 c cleaning 9994 clauses out of 20014 with flag 4673002/4747465 262.25/260.73 c cleaning 9998 clauses out of 20020 with flag 4683002/4757465 262.74/261.28 c cleaning 10000 clauses out of 20021 with flag 4693001/4767464 263.35/261.88 c cleaning 10003 clauses out of 20021 with flag 4703001/4777464 264.05/262.50 c cleaning 9998 clauses out of 20018 with flag 4713001/4787464 264.56/263.09 c cleaning 10001 clauses out of 20020 with flag 4723001/4797464 265.16/263.64 c cleaning 10002 clauses out of 20018 with flag 4733000/4807463 265.66/264.19 c cleaning 9999 clauses out of 20016 with flag 4743000/4817463 266.26/264.74 c cleaning 10004 clauses out of 20020 with flag 4753003/4827466 266.76/265.28 c cleaning 10000 clauses out of 20014 with flag 4763001/4837464 267.46/265.93 c cleaning 10003 clauses out of 20015 with flag 4773002/4847465 268.06/266.55 c cleaning 9991 clauses out of 20011 with flag 4783001/4857464 268.66/267.14 c cleaning 10003 clauses out of 20019 with flag 4793000/4867463 269.26/267.71 c cleaning 9998 clauses out of 20016 with flag 4803000/4877463 269.76/268.29 c cleaning 10005 clauses out of 20019 with flag 4813001/4887464 270.46/268.92 c cleaning 10001 clauses out of 20013 with flag 4823000/4897463 270.97/269.48 c cleaning 10004 clauses out of 20015 with flag 4833003/4907466 271.56/270.07 c cleaning 9998 clauses out of 20010 with flag 4843002/4917465 272.17/270.64 c cleaning 10003 clauses out of 20011 with flag 4853001/4927464 272.66/271.18 c cleaning 10000 clauses out of 20008 with flag 4863001/4937464 273.27/271.75 c cleaning 9993 clauses out of 20008 with flag 4873001/4947464 273.86/272.35 c cleaning 9998 clauses out of 20016 with flag 4883002/4957465 274.47/272.93 c cleaning 9999 clauses out of 20016 with flag 4893000/4967463 275.07/273.52 c cleaning 10001 clauses out of 20017 with flag 4903000/4977463 275.57/274.09 c cleaning 10004 clauses out of 20016 with flag 4913000/4987463 276.17/274.62 c cleaning 10003 clauses out of 20013 with flag 4923001/4997464 276.67/275.19 c cleaning 10001 clauses out of 20010 with flag 4933001/5007464 277.27/275.79 c cleaning 10000 clauses out of 20009 with flag 4943001/5017464 277.98/276.47 c cleaning 10002 clauses out of 20012 with flag 4953004/5027467 278.48/276.96 c cleaning 10000 clauses out of 20009 with flag 4963003/5037466 278.98/277.47 c cleaning 9999 clauses out of 20006 with flag 4973000/5047463 279.58/278.01 c cleaning 10000 clauses out of 20009 with flag 4983002/5057465 280.08/278.55 c cleaning 9999 clauses out of 20009 with flag 4993002/5067465 280.68/279.11 c cleaning 9999 clauses out of 20008 with flag 5003000/5077463 281.18/279.63 c cleaning 9997 clauses out of 20009 with flag 5013000/5087463 281.68/280.16 c cleaning 9998 clauses out of 20013 with flag 5023001/5097464 282.29/280.76 c cleaning 10003 clauses out of 20017 with flag 5033003/5107466 282.89/281.34 c cleaning 10000 clauses out of 20011 with flag 5043000/5117463 283.39/281.87 c cleaning 9995 clauses out of 20011 with flag 5053000/5127463 283.89/282.40 c cleaning 10003 clauses out of 20018 with flag 5063002/5137465 284.49/282.93 c cleaning 10002 clauses out of 20014 with flag 5073001/5147464 284.99/283.47 c cleaning 10003 clauses out of 20011 with flag 5083000/5157463 285.59/284.07 c cleaning 10001 clauses out of 20008 with flag 5093000/5167463 286.09/284.59 c cleaning 9994 clauses out of 20008 with flag 5103001/5177464 286.69/285.13 c cleaning 10000 clauses out of 20013 with flag 5113000/5187463 287.19/285.66 c cleaning 10000 clauses out of 20013 with flag 5123000/5197463 287.79/286.26 c cleaning 10003 clauses out of 20013 with flag 5133000/5207463 288.39/286.82 c cleaning 10003 clauses out of 20011 with flag 5143001/5217464 288.99/287.40 c cleaning 9997 clauses out of 20010 with flag 5153003/5227466 289.50/287.96 c cleaning 9997 clauses out of 20011 with flag 5163001/5237464 290.10/288.55 c cleaning 10001 clauses out of 20013 with flag 5173000/5247463 290.70/289.18 c cleaning 10001 clauses out of 20016 with flag 5183004/5257467 291.30/289.76 c cleaning 9998 clauses out of 20012 with flag 5193001/5267464 291.90/290.37 c cleaning 10003 clauses out of 20014 with flag 5203001/5277464 292.50/290.94 c cleaning 9998 clauses out of 20010 with flag 5213000/5287463 293.01/291.50 c cleaning 9993 clauses out of 20012 with flag 5223000/5297463 293.60/292.05 c cleaning 10003 clauses out of 20020 with flag 5233001/5307464 294.21/292.63 c cleaning 10001 clauses out of 20016 with flag 5243000/5317463 294.80/293.21 c cleaning 10002 clauses out of 20015 with flag 5253000/5327463 295.40/293.83 c cleaning 9998 clauses out of 20014 with flag 5263001/5337464 296.01/294.46 c cleaning 9997 clauses out of 20017 with flag 5273002/5347465 296.61/295.02 c cleaning 10002 clauses out of 20019 with flag 5283001/5357464 297.21/295.60 c cleaning 10003 clauses out of 20016 with flag 5293000/5367463 297.71/296.19 c cleaning 10003 clauses out of 20015 with flag 5303002/5377465 298.31/296.75 c cleaning 10003 clauses out of 20012 with flag 5313002/5387465 298.81/297.28 c cleaning 10000 clauses out of 20008 with flag 5323001/5397464 299.51/297.93 c cleaning 9996 clauses out of 20010 with flag 5333003/5407466 300.12/298.56 c cleaning 9999 clauses out of 20013 with flag 5343002/5417465 300.73/299.15 c cleaning 9998 clauses out of 20012 with flag 5353000/5427463 301.33/299.70 c cleaning 10002 clauses out of 20016 with flag 5363002/5437465 301.83/300.28 c cleaning 9999 clauses out of 20012 with flag 5373000/5447463 302.43/300.84 c cleaning 10001 clauses out of 20013 with flag 5383000/5457463 303.03/301.43 c cleaning 9997 clauses out of 20012 with flag 5393000/5467463 303.62/302.08 c cleaning 10000 clauses out of 20016 with flag 5403001/5477464 304.23/302.67 c cleaning 10001 clauses out of 20015 with flag 5413000/5487463 304.83/303.20 c cleaning 10004 clauses out of 20016 with flag 5423002/5497465 305.33/303.76 c cleaning 9997 clauses out of 20010 with flag 5433000/5507463 305.93/304.36 c cleaning 9999 clauses out of 20013 with flag 5443000/5517463 306.53/304.90 c cleaning 10000 clauses out of 20015 with flag 5453001/5527464 307.03/305.45 c cleaning 10004 clauses out of 20015 with flag 5463001/5537464 307.63/306.00 c cleaning 9996 clauses out of 20010 with flag 5473000/5547463 308.13/306.55 c cleaning 10005 clauses out of 20015 with flag 5483001/5557464 308.73/307.13 c cleaning 10000 clauses out of 20009 with flag 5493000/5567463 309.23/307.70 c cleaning 9999 clauses out of 20009 with flag 5503000/5577463 309.84/308.28 c cleaning 10001 clauses out of 20011 with flag 5513001/5587464 310.44/308.87 c cleaning 10003 clauses out of 20011 with flag 5523002/5597465 311.04/309.49 c cleaning 9996 clauses out of 20006 with flag 5533000/5607463 311.64/310.06 c cleaning 10000 clauses out of 20012 with flag 5543002/5617465 312.24/310.60 c cleaning 9995 clauses out of 20010 with flag 5553000/5627463 312.85/311.22 c cleaning 10000 clauses out of 20016 with flag 5563001/5637464 313.34/311.77 c cleaning 9998 clauses out of 20018 with flag 5573003/5647466 313.95/312.37 c cleaning 10002 clauses out of 20017 with flag 5583000/5657463 314.55/312.92 c cleaning 10002 clauses out of 20016 with flag 5593001/5667464 315.05/313.50 c cleaning 10000 clauses out of 20014 with flag 5603001/5677464 315.76/314.13 c cleaning 10000 clauses out of 20013 with flag 5613000/5687463 316.36/314.70 c cleaning 10003 clauses out of 20013 with flag 5623000/5697463 316.86/315.25 c cleaning 9999 clauses out of 20012 with flag 5633002/5707465 317.46/315.80 c cleaning 10002 clauses out of 20014 with flag 5643003/5717466 317.96/316.36 c cleaning 10001 clauses out of 20010 with flag 5653001/5727464 318.57/316.92 c cleaning 9995 clauses out of 20008 with flag 5663000/5737463 319.17/317.58 c cleaning 10001 clauses out of 20015 with flag 5673002/5747465 319.87/318.23 c cleaning 10000 clauses out of 20012 with flag 5683000/5757463 320.37/318.78 c cleaning 10002 clauses out of 20012 with flag 5693000/5767463 320.97/319.35 c cleaning 9997 clauses out of 20010 with flag 5703000/5777463 321.57/319.90 c cleaning 10001 clauses out of 20013 with flag 5713000/5787463 322.07/320.46 c cleaning 10004 clauses out of 20018 with flag 5723006/5797469 322.67/321.01 c cleaning 9995 clauses out of 20008 with flag 5733000/5807463 323.18/321.58 c cleaning 10003 clauses out of 20013 with flag 5743000/5817463 323.78/322.14 c cleaning 10001 clauses out of 20011 with flag 5753001/5827464 324.28/322.66 c cleaning 9999 clauses out of 20009 with flag 5763000/5837463 324.88/323.29 c cleaning 9993 clauses out of 20010 with flag 5773000/5847463 325.48/323.85 c cleaning 10004 clauses out of 20018 with flag 5783001/5857464 326.09/324.42 c cleaning 10002 clauses out of 20013 with flag 5793000/5867463 326.58/324.94 c cleaning 9997 clauses out of 20013 with flag 5803002/5877465 327.19/325.54 c cleaning 10001 clauses out of 20016 with flag 5813002/5887465 327.79/326.16 c cleaning 9998 clauses out of 20017 with flag 5823004/5897467 328.49/326.83 c cleaning 9990 clauses out of 20015 with flag 5833000/5907463 329.08/327.47 c cleaning 10001 clauses out of 20027 with flag 5843002/5917465 329.69/328.06 c cleaning 9999 clauses out of 20029 with flag 5853005/5927468 330.39/328.70 c cleaning 10001 clauses out of 20025 with flag 5863000/5937463 330.99/329.34 c cleaning 10011 clauses out of 20026 with flag 5873002/5947465 331.59/329.96 c cleaning 9997 clauses out of 20015 with flag 5883002/5957465 332.29/330.67 c cleaning 9989 clauses out of 20016 with flag 5893000/5967463 333.09/331.42 c cleaning 10007 clauses out of 20027 with flag 5903000/5977463 333.60/331.98 c cleaning 10003 clauses out of 20020 with flag 5913000/5987463 334.10/332.46 c cleaning 9999 clauses out of 20017 with flag 5923000/5997463 334.60/332.98 c cleaning 10005 clauses out of 20020 with flag 5933002/6007465 335.10/333.46 c cleaning 10001 clauses out of 20013 with flag 5943000/6017463 335.60/333.95 c cleaning 10001 clauses out of 20012 with flag 5953000/6027463 336.10/334.47 c cleaning 9999 clauses out of 20012 with flag 5963001/6037464 336.60/334.99 c cleaning 10003 clauses out of 20014 with flag 5973002/6047465 337.10/335.48 c cleaning 10000 clauses out of 20009 with flag 5983000/6057463 337.60/335.98 c cleaning 10000 clauses out of 20009 with flag 5993000/6067463 338.20/336.51 c cleaning 9997 clauses out of 20011 with flag 6003002/6077465 338.70/337.03 c cleaning 9996 clauses out of 20012 with flag 6013000/6087463 339.20/337.60 c cleaning 9999 clauses out of 20017 with flag 6023001/6097464 339.70/338.09 c cleaning 10002 clauses out of 20018 with flag 6033001/6107464 340.30/338.63 c cleaning 10002 clauses out of 20017 with flag 6043002/6117465 340.80/339.16 c cleaning 10004 clauses out of 20018 with flag 6053005/6127468 341.30/339.68 c cleaning 9997 clauses out of 20009 with flag 6063000/6137463 341.81/340.16 c cleaning 9998 clauses out of 20012 with flag 6073000/6147463 342.31/340.65 c cleaning 9999 clauses out of 20014 with flag 6083000/6157463 342.81/341.14 c cleaning 10003 clauses out of 20016 with flag 6093001/6167464 343.31/341.66 c cleaning 9996 clauses out of 20012 with flag 6103000/6177463 343.82/342.19 c cleaning 10004 clauses out of 20017 with flag 6113001/6187464 344.41/342.70 c cleaning 9999 clauses out of 20012 with flag 6123000/6197463 344.92/343.23 c cleaning 10001 clauses out of 20013 with flag 6133000/6207463 345.42/343.75 c cleaning 10003 clauses out of 20013 with flag 6143001/6217464 345.92/344.27 c cleaning 10001 clauses out of 20009 with flag 6153000/6227463 346.42/344.78 c cleaning 9996 clauses out of 20010 with flag 6163002/6237465 346.92/345.29 c cleaning 9997 clauses out of 20012 with flag 6173000/6247463 347.42/345.78 c cleaning 10000 clauses out of 20017 with flag 6183002/6257465 348.02/346.32 c cleaning 9998 clauses out of 20017 with flag 6193002/6267465 348.52/346.85 c cleaning 9997 clauses out of 20017 with flag 6203000/6277463 349.02/347.37 c cleaning 10004 clauses out of 20020 with flag 6213000/6287463 349.62/347.90 c cleaning 10001 clauses out of 20018 with flag 6223002/6297465 350.12/348.42 c cleaning 10001 clauses out of 20015 with flag 6233000/6307463 350.62/348.91 c cleaning 10000 clauses out of 20014 with flag 6243000/6317463 351.12/349.42 c cleaning 10002 clauses out of 20015 with flag 6253001/6327464 351.62/349.95 c cleaning 10001 clauses out of 20013 with flag 6263001/6337464 352.23/350.55 c cleaning 10003 clauses out of 20014 with flag 6273003/6347466 352.83/351.10 c cleaning 9998 clauses out of 20008 with flag 6283000/6357463 353.33/351.61 c cleaning 9999 clauses out of 20010 with flag 6293000/6367463 353.83/352.20 c cleaning 9990 clauses out of 20014 with flag 6303003/6377466 354.44/352.76 c cleaning 10007 clauses out of 20022 with flag 6313001/6387464 354.94/353.27 c cleaning 9996 clauses out of 20014 with flag 6323000/6397463 355.44/353.78 c cleaning 10006 clauses out of 20021 with flag 6333003/6407466 355.94/354.29 c cleaning 9985 clauses out of 20012 with flag 6343000/6417463 356.54/354.83 c cleaning 10010 clauses out of 20029 with flag 6353002/6427465 357.05/355.33 c cleaning 10003 clauses out of 20017 with flag 6363000/6437463 357.64/355.90 c cleaning 10002 clauses out of 20014 with flag 6373000/6447463 358.15/356.42 c cleaning 9999 clauses out of 20015 with flag 6383003/6457466 358.64/356.90 c cleaning 10000 clauses out of 20015 with flag 6393002/6467465 359.15/357.43 c cleaning 10002 clauses out of 20013 with flag 6403000/6477463 359.64/357.94 c cleaning 10001 clauses out of 20012 with flag 6413001/6487464 360.14/358.43 c cleaning 9999 clauses out of 20010 with flag 6423000/6497463 360.65/358.91 c cleaning 9998 clauses out of 20013 with flag 6433002/6507465 361.24/359.50 c cleaning 9999 clauses out of 20016 with flag 6443003/6517466 361.85/360.10 c cleaning 10000 clauses out of 20015 with flag 6453001/6527464 362.35/360.62 c cleaning 10003 clauses out of 20015 with flag 6463001/6537464 362.75/361.09 c cleaning 9998 clauses out of 20012 with flag 6473001/6547464 363.25/361.55 c cleaning 10002 clauses out of 20014 with flag 6483001/6557464 363.75/362.00 c cleaning 9997 clauses out of 20012 with flag 6493001/6567464 364.25/362.50 c cleaning 9994 clauses out of 20014 with flag 6503000/6577463 364.76/363.03 c cleaning 10006 clauses out of 20022 with flag 6513002/6587465 365.25/363.56 c cleaning 9999 clauses out of 20015 with flag 6523001/6597464 365.76/364.08 c cleaning 10004 clauses out of 20017 with flag 6533002/6607465 366.26/364.58 c cleaning 9999 clauses out of 20012 with flag 6543001/6617464 366.86/365.11 c cleaning 10002 clauses out of 20012 with flag 6553000/6627463 367.36/365.62 c cleaning 9997 clauses out of 20012 with flag 6563002/6637465 367.86/366.13 c cleaning 9997 clauses out of 20013 with flag 6573000/6647463 368.36/366.63 c cleaning 10005 clauses out of 20017 with flag 6583001/6657464 368.86/367.13 c cleaning 9997 clauses out of 20012 with flag 6593001/6667464 369.36/367.60 c cleaning 9999 clauses out of 20017 with flag 6603003/6677466 369.86/368.10 c cleaning 9999 clauses out of 20017 with flag 6613002/6687465 370.36/368.63 c cleaning 10005 clauses out of 20018 with flag 6623002/6697465 370.86/369.17 c cleaning 10000 clauses out of 20011 with flag 6633000/6707463 371.47/369.71 c cleaning 10002 clauses out of 20013 with flag 6643002/6717465 371.97/370.20 c cleaning 10002 clauses out of 20011 with flag 6653002/6727465 372.48/370.71 c cleaning 10000 clauses out of 20008 with flag 6663001/6737464 372.98/371.21 c cleaning 9997 clauses out of 20007 with flag 6673000/6747463 373.48/371.71 c cleaning 10000 clauses out of 20010 with flag 6683000/6757463 373.88/372.18 c cleaning 10000 clauses out of 20010 with flag 6693000/6767463 374.38/372.67 c cleaning 9996 clauses out of 20010 with flag 6703000/6777463 374.88/373.17 c cleaning 10005 clauses out of 20015 with flag 6713001/6787464 375.38/373.63 c cleaning 9999 clauses out of 20009 with flag 6723000/6797463 375.88/374.13 c cleaning 10000 clauses out of 20010 with flag 6733000/6807463 376.38/374.67 c cleaning 9996 clauses out of 20010 with flag 6743000/6817463 376.88/375.12 c cleaning 10001 clauses out of 20015 with flag 6753001/6827464 377.38/375.60 c cleaning 9999 clauses out of 20015 with flag 6763002/6837465 377.78/376.09 c cleaning 10002 clauses out of 20016 with flag 6773002/6847465 378.28/376.58 c cleaning 9999 clauses out of 20014 with flag 6783002/6857465 378.78/377.06 c cleaning 9994 clauses out of 20013 with flag 6793000/6867463 379.28/377.59 c cleaning 10006 clauses out of 20020 with flag 6803001/6877464 379.78/378.07 c cleaning 10000 clauses out of 20013 with flag 6813000/6887463 380.28/378.54 c cleaning 10002 clauses out of 20014 with flag 6823001/6897464 380.78/379.05 c cleaning 10001 clauses out of 20011 with flag 6833000/6907463 381.29/379.55 c cleaning 9985 clauses out of 20010 with flag 6843000/6917463 381.79/380.04 c cleaning 9998 clauses out of 20026 with flag 6853001/6927464 382.29/380.52 c cleaning 9989 clauses out of 20027 with flag 6863000/6937463 382.79/381.04 c cleaning 9977 clauses out of 20041 with flag 6873003/6947466 383.29/381.59 c cleaning 9984 clauses out of 20062 with flag 6883001/6957464 383.89/382.18 c cleaning 9986 clauses out of 20077 with flag 6893000/6967463 384.50/382.73 c cleaning 9992 clauses out of 20091 with flag 6903000/6977463 385.00/383.22 c cleaning 9978 clauses out of 20100 with flag 6913001/6987464 385.50/383.71 c cleaning 9990 clauses out of 20122 with flag 6923001/6997464 385.90/384.18 c cleaning 9987 clauses out of 20132 with flag 6933001/7007464 386.40/384.69 c cleaning 9989 clauses out of 20145 with flag 6943001/7017464 387.01/385.20 c cleaning 9982 clauses out of 20155 with flag 6953000/7027463 387.41/385.69 c cleaning 9958 clauses out of 20174 with flag 6963001/7037464 387.91/386.17 c cleaning 9971 clauses out of 20215 with flag 6973000/7047463 388.51/386.72 c cleaning 9993 clauses out of 20246 with flag 6983002/7057465 388.92/387.20 c cleaning 9973 clauses out of 20252 with flag 6993001/7067464 389.41/387.68 c cleaning 9981 clauses out of 20279 with flag 7003001/7077464 389.91/388.15 c cleaning 9996 clauses out of 20298 with flag 7013001/7087464 390.51/388.70 c cleaning 9980 clauses out of 20302 with flag 7023001/7097464 391.01/389.21 c cleaning 9977 clauses out of 20324 with flag 7033003/7107466 391.41/389.68 c cleaning 9991 clauses out of 20345 with flag 7043001/7117464 391.91/390.19 c cleaning 9983 clauses out of 20353 with flag 7053000/7127463 392.41/390.69 c cleaning 9974 clauses out of 20370 with flag 7063000/7137463 393.01/391.21 c cleaning 9994 clauses out of 20397 with flag 7073001/7147464 393.42/391.68 c cleaning 9973 clauses out of 20403 with flag 7083001/7157464 394.01/392.20 c cleaning 9998 clauses out of 20430 with flag 7093001/7167464 394.42/392.65 c cleaning 9987 clauses out of 20431 with flag 7103000/7177463 394.91/393.14 c cleaning 9982 clauses out of 20446 with flag 7113002/7187465 395.41/393.62 c cleaning 9989 clauses out of 20463 with flag 7123001/7197464 395.92/394.12 c cleaning 9985 clauses out of 20474 with flag 7133001/7207464 396.42/394.65 c cleaning 9984 clauses out of 20488 with flag 7143000/7217463 396.92/395.13 c cleaning 9992 clauses out of 20504 with flag 7153000/7227463 397.42/395.63 c cleaning 9991 clauses out of 20512 with flag 7163000/7237463 397.92/396.10 c cleaning 9980 clauses out of 20524 with flag 7173003/7247466 398.43/396.60 c cleaning 9985 clauses out of 20542 with flag 7183001/7257464 398.94/397.13 c cleaning 9987 clauses out of 20558 with flag 7193002/7267465 399.43/397.66 c cleaning 10015 clauses out of 20570 with flag 7203001/7277464 399.94/398.13 c cleaning 9985 clauses out of 20554 with flag 7213000/7287463 400.44/398.60 c cleaning 9998 clauses out of 20569 with flag 7223000/7297463 400.94/399.10 c cleaning 9984 clauses out of 20571 with flag 7233000/7307463 401.43/399.61 c cleaning 9994 clauses out of 20588 with flag 7243001/7317464 401.83/400.08 c cleaning 9980 clauses out of 20593 with flag 7253000/7327463 402.33/400.56 c cleaning 9994 clauses out of 20614 with flag 7263001/7337464 402.83/401.03 c cleaning 9986 clauses out of 20620 with flag 7273001/7347464 403.34/401.57 c cleaning 9993 clauses out of 20634 with flag 7283001/7357464 403.84/402.03 c cleaning 9976 clauses out of 20640 with flag 7293000/7367463 404.34/402.52 c cleaning 9997 clauses out of 20664 with flag 7303000/7377463 404.85/403.07 c cleaning 10001 clauses out of 20670 with flag 7313003/7387466 405.35/403.59 c cleaning 9980 clauses out of 20666 with flag 7323000/7397463 405.95/404.10 c cleaning 9977 clauses out of 20688 with flag 7333002/7407465 406.45/404.66 c cleaning 9972 clauses out of 20709 with flag 7343000/7417463 406.95/405.15 c cleaning 9995 clauses out of 20738 with flag 7353001/7427464 407.45/405.67 c cleaning 9982 clauses out of 20742 with flag 7363000/7437463 407.95/406.18 c cleaning 9989 clauses out of 20760 with flag 7373000/7447463 408.55/406.73 c cleaning 10005 clauses out of 20774 with flag 7383003/7457466 409.05/407.25 c cleaning 9983 clauses out of 20771 with flag 7393005/7467468 409.55/407.79 c cleaning 9978 clauses out of 20784 with flag 7403001/7477464 410.15/408.32 c cleaning 9988 clauses out of 20807 with flag 7413002/7487465 410.66/408.82 c cleaning 9967 clauses out of 20817 with flag 7423000/7497463 411.16/409.34 c cleaning 9980 clauses out of 20850 with flag 7433000/7507463 411.66/409.86 c cleaning 9983 clauses out of 20873 with flag 7443003/7517466 412.26/410.40 c cleaning 9993 clauses out of 20887 with flag 7453000/7527463 412.76/410.92 c cleaning 9996 clauses out of 20895 with flag 7463001/7537464 413.16/411.38 c cleaning 9986 clauses out of 20898 with flag 7473000/7547463 413.66/411.89 c cleaning 9987 clauses out of 20912 with flag 7483000/7557463 414.16/412.37 c cleaning 9988 clauses out of 20926 with flag 7493001/7567464 414.66/412.84 c cleaning 9968 clauses out of 20937 with flag 7503000/7577463 415.16/413.38 c cleaning 9997 clauses out of 20969 with flag 7513000/7587463 415.66/413.89 c cleaning 9971 clauses out of 20972 with flag 7523000/7597463 416.26/414.44 c cleaning 9981 clauses out of 21001 with flag 7533000/7607463 416.76/414.96 c cleaning 9978 clauses out of 21020 with flag 7543000/7617463 417.26/415.44 c cleaning 9981 clauses out of 21042 with flag 7553000/7627463 417.76/415.98 c cleaning 10000 clauses out of 21061 with flag 7563000/7637463 418.26/416.48 c cleaning 9984 clauses out of 21063 with flag 7573002/7647465 418.77/416.98 c cleaning 9984 clauses out of 21077 with flag 7583000/7657463 419.36/417.50 c cleaning 9987 clauses out of 21094 with flag 7593001/7667464 419.96/418.10 c cleaning 10000 clauses out of 21106 with flag 7603000/7677463 420.47/418.69 c cleaning 9997 clauses out of 21106 with flag 7613000/7687463 420.98/419.19 c cleaning 9973 clauses out of 21109 with flag 7623000/7697463 421.48/419.68 c cleaning 9995 clauses out of 21136 with flag 7633000/7707463 422.09/420.23 c cleaning 9998 clauses out of 21143 with flag 7643002/7717465 422.58/420.77 c cleaning 9991 clauses out of 21145 with flag 7653002/7727465 423.19/421.32 c cleaning 9983 clauses out of 21152 with flag 7663000/7737463 423.58/421.76 c cleaning 9969 clauses out of 21169 with flag 7673000/7747463 424.08/422.22 c cleaning 9983 clauses out of 21200 with flag 7683000/7757463 424.58/422.75 c cleaning 9981 clauses out of 21218 with flag 7693001/7767464 425.18/423.31 c cleaning 10001 clauses out of 21238 with flag 7703002/7777465 425.58/423.79 c cleaning 9979 clauses out of 21236 with flag 7713001/7787464 426.08/424.27 c cleaning 9974 clauses out of 21256 with flag 7723000/7797463 426.59/424.77 c cleaning 9971 clauses out of 21283 with flag 7733001/7807464 427.09/425.25 c cleaning 9982 clauses out of 21311 with flag 7743000/7817463 427.59/425.75 c cleaning 9995 clauses out of 21330 with flag 7753001/7827464 428.09/426.26 c cleaning 9983 clauses out of 21335 with flag 7763001/7837464 428.60/426.76 c cleaning 9996 clauses out of 21352 with flag 7773001/7847464 429.09/427.26 c cleaning 9991 clauses out of 21356 with flag 7783001/7857464 429.59/427.74 c cleaning 9988 clauses out of 21366 with flag 7793002/7867465 430.09/428.27 c cleaning 9991 clauses out of 21377 with flag 7803001/7877464 430.70/428.81 c cleaning 9990 clauses out of 21386 with flag 7813001/7887464 431.20/429.30 c cleaning 9981 clauses out of 21395 with flag 7823000/7897463 431.61/429.78 c cleaning 9986 clauses out of 21415 with flag 7833001/7907464 432.21/430.30 c cleaning 9985 clauses out of 21428 with flag 7843000/7917463 432.71/430.82 c cleaning 9995 clauses out of 21444 with flag 7853001/7927464 433.21/431.30 c cleaning 9986 clauses out of 21450 with flag 7863002/7937465 433.61/431.76 c cleaning 9988 clauses out of 21467 with flag 7873005/7947468 434.12/432.28 c cleaning 9988 clauses out of 21475 with flag 7883001/7957464 434.61/432.73 c cleaning 9984 clauses out of 21487 with flag 7893001/7967464 435.11/433.20 c cleaning 9991 clauses out of 21503 with flag 7903001/7977464 435.61/433.71 c cleaning 9995 clauses out of 21513 with flag 7913002/7987465 436.01/434.18 c cleaning 9988 clauses out of 21516 with flag 7923000/7997463 436.52/434.66 c cleaning 9984 clauses out of 21528 with flag 7933000/8007463 437.01/435.18 c cleaning 9972 clauses out of 21545 with flag 7943001/8017464 437.52/435.64 c cleaning 9995 clauses out of 21573 with flag 7953001/8027464 438.02/436.16 c cleaning 9992 clauses out of 21577 with flag 7963000/8037463 438.63/436.71 c cleaning 10006 clauses out of 21589 with flag 7973004/8047467 439.13/437.23 c cleaning 9986 clauses out of 21580 with flag 7983001/8057464 439.64/437.72 c cleaning 9995 clauses out of 21594 with flag 7993001/8067464 440.13/438.20 c cleaning 9999 clauses out of 21598 with flag 8003000/8077463 440.53/438.67 c cleaning 9993 clauses out of 21600 with flag 8013001/8087464 441.13/439.22 c cleaning 9983 clauses out of 21606 with flag 8023000/8097463 441.64/439.75 c cleaning 10009 clauses out of 21624 with flag 8033001/8107464 442.13/440.25 c cleaning 9983 clauses out of 21617 with flag 8043003/8117466 442.64/440.73 c cleaning 9989 clauses out of 21631 with flag 8053000/8127463 443.13/441.23 c cleaning 9991 clauses out of 21643 with flag 8063001/8137464 443.63/441.75 c cleaning 9988 clauses out of 21652 with flag 8073001/8147464 444.23/442.32 c cleaning 10005 clauses out of 21665 with flag 8083002/8157465 444.73/442.83 c cleaning 9984 clauses out of 21658 with flag 8093000/8167463 445.25/443.31 c cleaning 9984 clauses out of 21674 with flag 8103000/8177463 445.74/443.84 c cleaning 9996 clauses out of 21690 with flag 8113000/8187463 446.25/444.38 c cleaning 9996 clauses out of 21695 with flag 8123001/8197464 446.84/444.95 c cleaning 10005 clauses out of 21701 with flag 8133003/8207466 447.45/445.56 c cleaning 9998 clauses out of 21693 with flag 8143000/8217463 448.05/446.12 c cleaning 9983 clauses out of 21695 with flag 8153000/8227463 448.55/446.66 c cleaning 10012 clauses out of 21713 with flag 8163001/8237464 449.05/447.17 c cleaning 9998 clauses out of 21700 with flag 8173000/8247463 449.65/447.70 c cleaning 9994 clauses out of 21702 with flag 8183000/8257463 450.15/448.21 c cleaning 9996 clauses out of 21711 with flag 8193003/8267466 450.66/448.73 c cleaning 9989 clauses out of 21713 with flag 8203001/8277464 451.15/449.26 c cleaning 9971 clauses out of 21724 with flag 8213001/8287464 451.76/449.81 c cleaning 9998 clauses out of 21753 with flag 8223001/8297464 452.25/450.33 c cleaning 9990 clauses out of 21754 with flag 8233000/8307463 452.76/450.83 c cleaning 9993 clauses out of 21766 with flag 8243002/8317465 453.26/451.33 c cleaning 9994 clauses out of 21774 with flag 8253003/8327466 453.76/451.84 c cleaning 9982 clauses out of 21777 with flag 8263000/8337463 454.26/452.35 c cleaning 10000 clauses out of 21796 with flag 8273001/8347464 454.86/452.92 c cleaning 10004 clauses out of 21796 with flag 8283001/8357464 455.46/453.52 c cleaning 9994 clauses out of 21792 with flag 8293001/8367464 455.96/454.05 c cleaning 9995 clauses out of 21797 with flag 8303000/8377463 456.46/454.57 c cleaning 9999 clauses out of 21803 with flag 8313001/8387464 456.96/455.07 c cleaning 9985 clauses out of 21804 with flag 8323001/8397464 457.46/455.59 c cleaning 9994 clauses out of 21820 with flag 8333002/8407465 458.06/456.11 c cleaning 9987 clauses out of 21826 with flag 8343002/8417465 458.56/456.66 c cleaning 9993 clauses out of 21837 with flag 8353000/8427463 459.07/457.15 c cleaning 9988 clauses out of 21845 with flag 8363001/8437464 459.68/457.70 c cleaning 9999 clauses out of 21856 with flag 8373000/8447463 460.18/458.20 c cleaning 9982 clauses out of 21857 with flag 8383000/8457463 460.58/458.69 c cleaning 9995 clauses out of 21875 with flag 8393000/8467463 461.18/459.20 c cleaning 9992 clauses out of 21880 with flag 8403000/8477463 461.68/459.74 c cleaning 9999 clauses out of 21888 with flag 8413000/8487463 462.28/460.30 c cleaning 10001 clauses out of 21889 with flag 8423000/8497463 462.78/460.86 c cleaning 10000 clauses out of 21891 with flag 8433003/8507466 463.38/461.45 c cleaning 9985 clauses out of 21888 with flag 8443000/8517463 463.98/462.07 c cleaning 9999 clauses out of 21903 with flag 8453000/8527463 464.58/462.66 c cleaning 10007 clauses out of 21909 with flag 8463005/8537468 465.28/463.38 c cleaning 10000 clauses out of 21899 with flag 8473002/8547465 465.88/463.91 c cleaning 9983 clauses out of 21897 with flag 8483000/8557463 466.28/464.39 c cleaning 9978 clauses out of 21914 with flag 8493000/8567463 466.89/464.90 c cleaning 9995 clauses out of 21938 with flag 8503002/8577465 467.39/465.44 c cleaning 10001 clauses out of 21941 with flag 8513000/8587463 467.89/465.94 c cleaning 9989 clauses out of 21944 with flag 8523004/8597467 468.39/466.47 c cleaning 9991 clauses out of 21952 with flag 8533001/8607464 468.89/466.98 c cleaning 9985 clauses out of 21960 with flag 8543000/8617463 469.39/467.50 c cleaning 9985 clauses out of 21975 with flag 8553000/8627463 470.09/468.10 c cleaning 9996 clauses out of 21991 with flag 8563001/8637464 470.60/468.63 c cleaning 9998 clauses out of 21994 with flag 8573000/8647463 471.09/469.17 c cleaning 10001 clauses out of 21999 with flag 8583003/8657466 471.79/469.81 c cleaning 9997 clauses out of 21995 with flag 8593000/8667463 472.29/470.34 c cleaning 9983 clauses out of 21998 with flag 8603000/8677463 472.80/470.83 c cleaning 9986 clauses out of 22015 with flag 8613000/8687463 473.30/471.34 c cleaning 10010 clauses out of 22031 with flag 8623002/8697465 473.91/471.90 c cleaning 9985 clauses out of 22019 with flag 8633000/8707463 474.31/472.38 c cleaning 9980 clauses out of 22036 with flag 8643002/8717465 474.81/472.88 c cleaning 9978 clauses out of 22054 with flag 8653000/8727463 475.31/473.39 c cleaning 9984 clauses out of 22079 with flag 8663003/8737466 475.91/473.95 c cleaning 9991 clauses out of 22092 with flag 8673000/8747463 476.41/474.45 c cleaning 9996 clauses out of 22103 with flag 8683002/8757465 476.92/474.93 c cleaning 9990 clauses out of 22105 with flag 8693000/8767463 477.42/475.42 c cleaning 9978 clauses out of 22115 with flag 8703000/8777463 477.92/475.92 c cleaning 9997 clauses out of 22137 with flag 8713000/8787463 478.42/476.46 c cleaning 9996 clauses out of 22140 with flag 8723000/8797463 478.92/477.00 c cleaning 9994 clauses out of 22147 with flag 8733003/8807466 479.52/477.54 c cleaning 9987 clauses out of 22151 with flag 8743001/8817464 480.02/478.09 c cleaning 10004 clauses out of 22163 with flag 8753000/8827463 480.62/478.62 c cleaning 9991 clauses out of 22160 with flag 8763001/8837464 481.12/479.13 c cleaning 9997 clauses out of 22169 with flag 8773001/8847464 481.63/479.65 c cleaning 9998 clauses out of 22171 with flag 8783000/8857463 482.22/480.21 c cleaning 9988 clauses out of 22173 with flag 8793000/8867463 482.73/480.74 c cleaning 10001 clauses out of 22187 with flag 8803002/8877465 483.23/481.23 c cleaning 9982 clauses out of 22184 with flag 8813000/8887463 483.74/481.75 c cleaning 9997 clauses out of 22202 with flag 8823000/8897463 484.23/482.26 c cleaning 9990 clauses out of 22206 with flag 8833001/8907464 484.84/482.81 c cleaning 9999 clauses out of 22216 with flag 8843001/8917464 485.33/483.35 c cleaning 9995 clauses out of 22218 with flag 8853002/8927465 485.94/483.93 c cleaning 9992 clauses out of 22221 with flag 8863000/8937463 486.64/484.61 c cleaning 9990 clauses out of 22230 with flag 8873001/8947464 487.24/485.27 c cleaning 10008 clauses out of 22239 with flag 8883000/8957463 487.84/485.84 c cleaning 10004 clauses out of 22231 with flag 8893000/8967463 488.44/486.48 c cleaning 9990 clauses out of 22227 with flag 8903000/8977463 489.04/487.04 c cleaning 10005 clauses out of 22240 with flag 8913003/8987466 489.54/487.56 c cleaning 9999 clauses out of 22236 with flag 8923004/8997467 490.04/488.08 c cleaning 9991 clauses out of 22234 with flag 8933001/9007464 490.64/488.60 c cleaning 9997 clauses out of 22244 with flag 8943002/9017465 491.14/489.14 c cleaning 10001 clauses out of 22246 with flag 8953001/9027464 491.64/489.68 c cleaning 9988 clauses out of 22244 with flag 8963000/9037463 492.25/490.22 c cleaning 10008 clauses out of 22257 with flag 8973001/9047464 492.75/490.76 c cleaning 10004 clauses out of 22249 with flag 8983001/9057464 493.36/491.30 c cleaning 9993 clauses out of 22244 with flag 8993000/9067463 493.86/491.87 c cleaning 10002 clauses out of 22252 with flag 9003001/9077464 494.46/492.43 c cleaning 10004 clauses out of 22251 with flag 9013002/9087465 495.06/493.02 c cleaning 9964 clauses out of 22245 with flag 9023001/9097464 495.66/493.63 c cleaning 9962 clauses out of 22280 with flag 9033000/9107463 496.16/494.15 c cleaning 9986 clauses out of 22319 with flag 9043001/9117464 496.66/494.69 c cleaning 9980 clauses out of 22332 with flag 9053000/9127463 497.27/495.28 c cleaning 9977 clauses out of 22352 with flag 9063000/9137463 497.87/495.80 c cleaning 9991 clauses out of 22375 with flag 9073000/9147463 498.37/496.39 c cleaning 9975 clauses out of 22384 with flag 9083000/9157463 498.97/496.92 c cleaning 9985 clauses out of 22409 with flag 9093000/9167463 499.57/497.55 c cleaning 9977 clauses out of 22424 with flag 9103000/9177463 500.17/498.14 c cleaning 9979 clauses out of 22447 with flag 9113000/9187463 500.67/498.68 c cleaning 9985 clauses out of 22468 with flag 9123000/9197463 501.37/499.31 c cleaning 9993 clauses out of 22483 with flag 9133000/9207463 501.97/499.99 c cleaning 9994 clauses out of 22491 with flag 9143001/9217464 502.58/500.59 c cleaning 10007 clauses out of 22497 with flag 9153001/9227464 503.17/501.13 c cleaning 9981 clauses out of 22490 with flag 9163001/9237464 503.77/501.78 c cleaning 9992 clauses out of 22508 with flag 9173000/9247463 504.47/502.47 c cleaning 9993 clauses out of 22517 with flag 9183001/9257464 505.17/503.14 c cleaning 10002 clauses out of 22524 with flag 9193001/9267464 505.88/503.84 c cleaning 9991 clauses out of 22521 with flag 9203000/9277463 506.57/504.57 c cleaning 9985 clauses out of 22530 with flag 9213000/9287463 507.27/505.26 c cleaning 9981 clauses out of 22545 with flag 9223000/9297463 508.08/506.03 c starts : 326 508.08/506.03 c conflicts : 9306871 508.08/506.03 c decisions : 13874752 508.08/506.03 c propagations : 464475406 508.08/506.03 c inspects : 4693451771 508.08/506.03 c shortcuts : 0 508.08/506.03 c learnt literals : 10 508.08/506.03 c learnt binary clauses : 25 508.08/506.03 c learnt ternary clauses : 1850 508.08/506.03 c learnt constraints : 9306860 508.08/506.03 c ignored constraints : 0 508.08/506.03 c root simplifications : 0 508.08/506.03 c removed literals (reason simplification) : 48544189 508.08/506.03 c reason swapping (by a shorter reason) : 0 508.08/506.03 c Calls to reduceDB : 933 508.08/506.03 c number of reductions to clauses (during analyze) : 0 508.08/506.03 c number of learned constraints concerned by reduction : 0 508.08/506.03 c number of learning phase by resolution : 0 508.08/506.03 c number of learning phase by cutting planes : 0 508.08/506.03 c speed (assignments/second) : 929095.7509371461 508.08/506.03 c non guided choices 3327 508.08/506.03 c learnt constraints type 508.08/506.03 c constraints type 508.08/506.03 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2606 508.08/506.03 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 508.08/506.03 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 78 508.08/506.03 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 16 508.08/506.03 s OPTIMUM FOUND 508.08/506.03 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 508.08/506.03 c objective function=1 508.08/506.03 c Total wall clock time (in seconds): 505.925
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 /tmp/evaluation-result-3492678-1307910333/watcher-3492678-1307910333 -o /tmp/evaluation-result-3492678-1307910333/solver-3492678-1307910333 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492678-1307910333.wbo running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.98 2/195 17892 /proc/meminfo: memFree=32397328/32950928 swapFree=67053884/67111528 [pid=17892] ppid=17890 vsize=23028 CPUtime=0 cores=0,2,4,6 /proc/17892/stat : 17892 (java) R 17890 17892 15316 0 -1 4202496 954 0 0 0 0 0 0 0 25 0 1 0 902629999 23580672 697 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254495729128 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/17892/statm: 5757 697 514 9 0 124 0 [startup+0.0708379 s] /proc/loadavg: 2.00 2.00 1.98 2/195 17892 /proc/meminfo: memFree=32397328/32950928 swapFree=67053884/67111528 [pid=17892] ppid=17890 vsize=10473088 CPUtime=0.05 cores=0,2,4,6 /proc/17892/stat : 17892 (java) S 17890 17892 15316 0 -1 4202496 11795 0 1 0 3 2 0 0 25 0 18 0 902629999 10724442112 11492 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/17892/statm: 2618272 11495 1742 9 0 2609006 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 10473088 [startup+0.100876 s] /proc/loadavg: 2.00 2.00 1.98 2/195 17892 /proc/meminfo: memFree=32397328/32950928 swapFree=67053884/67111528 [pid=17892] ppid=17890 vsize=10474900 CPUtime=0.1 cores=0,2,4,6 /proc/17892/stat : 17892 (java) S 17890 17892 15316 0 -1 4202496 13016 0 1 0 8 2 0 0 25 0 18 0 902629999 10726297600 12703 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/17892/statm: 2618725 12703 2093 9 0 2609459 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10474900 [startup+0.304802 s] /proc/loadavg: 2.00 2.00 1.98 2/195 17892 /proc/meminfo: memFree=32397328/32950928 swapFree=67053884/67111528 [pid=17892] ppid=17890 vsize=10542612 CPUtime=0.5 cores=0,2,4,6 /proc/17892/stat : 17892 (java) S 17890 17892 15316 0 -1 4202496 16323 0 1 0 47 3 0 0 25 0 18 0 902629999 10795634688 15473 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/17892/statm: 2635653 15473 2202 9 0 2626387 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 10542612 [startup+0.700727 s] /proc/loadavg: 2.00 2.00 1.98 2/195 17892 /proc/meminfo: memFree=32397328/32950928 swapFree=67053884/67111528 [pid=17892] ppid=17890 vsize=10545208 CPUtime=1.45 cores=0,2,4,6 /proc/17892/stat : 17892 (java) S 17890 17892 15316 0 -1 4202496 19993 0 1 0 141 4 0 0 25 0 19 0 902629999 10798292992 18169 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/17892/statm: 2636302 18169 2226 9 0 2627036 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 10545208 [startup+1.50156 s] /proc/loadavg: 2.00 2.00 1.98 3/214 17911 /proc/meminfo: memFree=32327736/32950928 swapFree=67053884/67111528 [pid=17892] ppid=17890 vsize=10545208 CPUtime=2.27 cores=0,2,4,6 /proc/17892/stat : 17892 (java) S 17890 17892 15316 0 -1 4202496 22244 0 1 0 223 4 0 0 25 0 19 0 902629999 10798292992 20419 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/17892/statm: 2636302 20419 2230 9 0 2627036 0 [pid=17892/tid=17894] ppid=17890 vsize=10545208 CPUtime=1.48 cores=0,2,4,6 /proc/17892/task/17894/stat : 17894 (java) R 17890 17892 15316 0 -1 4202560 17142 0 1 0 145 3 0 0 19 0 19 0 902630000 10798292992 20419 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 46912505730636 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=17892/tid=17895] ppid=17890 vsize=10545208 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17895/stat : 17895 (java) S 17890 17892 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902630001 10798292992 20419 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 2 0 0 0 [pid=17892/tid=17896] ppid=17890 vsize=10545208 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17896/stat : 17896 (java) S 17890 17892 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902630001 10798292992 20419 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 2 0 0 0 [pid=17892/tid=17897] ppid=17890 vsize=10545208 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17897/stat : 17897 (java) S 17890 17892 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902630001 10798292992 20419 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 2 0 0 0 [pid=17892/tid=17898] ppid=17890 vsize=10545208 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17898/stat : 17898 (java) S 17890 17892 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902630001 10798292992 20419 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 2 0 0 0 [pid=17892/tid=17899] ppid=17890 vsize=10545208 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17899/stat : 17899 (java) S 17890 17892 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902630001 10798292992 20419 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 2 0 0 0 [pid=17892/tid=17900] ppid=17890 vsize=10545208 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17900/stat : 17900 (java) S 17890 17892 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902630001 10798292992 20419 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 2 0 0 0 [pid=17892/tid=17901] ppid=17890 vsize=10545208 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17901/stat : 17901 (java) S 17890 17892 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902630001 10798292992 20419 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 2 0 0 0 [pid=17892/tid=17902] ppid=17890 vsize=10545208 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17902/stat : 17902 (java) S 17890 17892 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902630001 10798292992 20419 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 2 0 0 0 [pid=17892/tid=17903] ppid=17890 vsize=10545208 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17903/stat : 17903 (java) S 17890 17892 15316 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 902630002 10798292992 20419 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512508416 0 0 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17904] ppid=17890 vsize=10545208 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17904/stat : 17904 (java) S 17890 17892 15316 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902630003 10798292992 20420 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17905] ppid=17890 vsize=10545208 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17905/stat : 17905 (java) S 17890 17892 15316 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902630003 10798292992 20420 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17906] ppid=17890 vsize=10545208 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17906/stat : 17906 (java) S 17890 17892 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902630005 10798292992 20420 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512515505 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17907] ppid=17890 vsize=10545208 CPUtime=0.4 cores=0,2,4,6 /proc/17892/task/17907/stat : 17907 (java) S 17890 17892 15316 0 -1 4202560 1807 0 0 0 40 0 0 0 15 0 19 0 902630005 10798292992 20420 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 0 0 0 0 [pid=17892/tid=17908] ppid=17890 vsize=10545208 CPUtime=0.36 cores=0,2,4,6 /proc/17892/task/17908/stat : 17908 (java) S 17890 17892 15316 0 -1 4202560 2133 0 0 0 36 0 0 0 15 0 19 0 902630005 10798292992 20420 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 4 0 0 0 [pid=17892/tid=17909] ppid=17890 vsize=10545208 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17909/stat : 17909 (java) S 17890 17892 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902630005 10798292992 20420 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17910] ppid=17890 vsize=10545208 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17910/stat : 17910 (java) S 17890 17892 15316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902630005 10798292992 20420 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512508416 0 4 0 16800975 18446604453425855552 0 0 -1 0 0 0 0 [pid=17892/tid=17911] ppid=17890 vsize=10545208 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17911/stat : 17911 (java) S 17890 17892 15316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902630033 10798292992 20420 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512508416 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.27 Current children cumulated vsize (KiB) 10545208 [startup+3.10125 s] /proc/loadavg: 2.00 2.00 1.98 3/214 17912 /proc/meminfo: memFree=32316452/32950928 swapFree=67053884/67111528 [pid=17892] ppid=17890 vsize=10545208 CPUtime=3.99 cores=0,2,4,6 /proc/17892/stat : 17892 (java) S 17890 17892 15316 0 -1 4202496 25158 0 1 0 395 4 0 0 25 0 19 0 902629999 10798292992 22809 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/17892/statm: 2636302 22809 2255 9 0 2627036 0 [pid=17892/tid=17894] ppid=17890 vsize=10545208 CPUtime=3.03 cores=0,2,4,6 /proc/17892/task/17894/stat : 17894 (java) R 17890 17892 15316 0 -1 4202560 17508 0 1 0 300 3 0 0 19 0 19 0 902630000 10798292992 22809 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 46912505706234 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=17892/tid=17895] ppid=17890 vsize=10545208 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17895/stat : 17895 (java) S 17890 17892 15316 0 -1 4202560 130 0 0 0 0 0 0 0 15 0 19 0 902630001 10798292992 22809 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 4 0 0 0 [pid=17892/tid=17896] ppid=17890 vsize=10545208 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17896/stat : 17896 (java) S 17890 17892 15316 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 902630001 10798292992 22809 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 2 0 0 0 [pid=17892/tid=17897] ppid=17890 vsize=10545208 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17897/stat : 17897 (java) S 17890 17892 15316 0 -1 4202560 118 0 0 0 0 0 0 0 15 0 19 0 902630001 10798292992 22809 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 2 0 0 0 [pid=17892/tid=17898] ppid=17890 vsize=10545208 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17898/stat : 17898 (java) S 17890 17892 15316 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 902630001 10798292992 22809 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 0 0 0 0 [pid=17892/tid=17899] ppid=17890 vsize=10545208 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17899/stat : 17899 (java) S 17890 17892 15316 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 19 0 902630001 10798292992 22809 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 2 0 0 0 [pid=17892/tid=17900] ppid=17890 vsize=10545208 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17900/stat : 17900 (java) S 17890 17892 15316 0 -1 4202560 192 0 0 0 0 0 0 0 15 0 19 0 902630001 10798292992 22809 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 4 0 0 0 [pid=17892/tid=17901] ppid=17890 vsize=10545208 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17901/stat : 17901 (java) S 17890 17892 15316 0 -1 4202560 222 0 0 0 0 0 0 0 15 0 19 0 902630001 10798292992 22809 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 0 0 0 0 [pid=17892/tid=17902] ppid=17890 vsize=10545208 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17902/stat : 17902 (java) S 17890 17892 15316 0 -1 4202560 293 0 0 0 0 0 0 0 15 0 19 0 902630001 10798292992 22809 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 2 0 0 0 [pid=17892/tid=17903] ppid=17890 vsize=10545208 CPUtime=0.04 cores=0,2,4,6 /proc/17892/task/17903/stat : 17903 (java) S 17890 17892 15316 0 -1 4202560 972 0 0 0 4 0 0 0 15 0 19 0 902630002 10798292992 22809 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512508416 0 0 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17904] ppid=17890 vsize=10545208 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17904/stat : 17904 (java) S 17890 17892 15316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902630003 10798292992 22809 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17905] ppid=17890 vsize=10545208 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17905/stat : 17905 (java) S 17890 17892 15316 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902630003 10798292992 22809 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17906] ppid=17890 vsize=10545208 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17906/stat : 17906 (java) S 17890 17892 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902630005 10798292992 22809 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512515505 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17907] ppid=17890 vsize=10545208 CPUtime=0.48 cores=0,2,4,6 /proc/17892/task/17907/stat : 17907 (java) S 17890 17892 15316 0 -1 4202560 2342 0 0 0 48 0 0 0 15 0 19 0 902630005 10798292992 22809 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 0 0 0 0 [pid=17892/tid=17908] ppid=17890 vsize=10545208 CPUtime=0.4 cores=0,2,4,6 /proc/17892/task/17908/stat : 17908 (java) S 17890 17892 15316 0 -1 4202560 2143 0 0 0 40 0 0 0 15 0 19 0 902630005 10798292992 22809 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 4 0 0 0 [pid=17892/tid=17909] ppid=17890 vsize=10545208 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17909/stat : 17909 (java) S 17890 17892 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902630005 10798292992 22809 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17910] ppid=17890 vsize=10545208 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17910/stat : 17910 (java) S 17890 17892 15316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902630005 10798292992 22809 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512508416 0 4 0 16800975 18446604453425855552 0 0 -1 4 0 0 0 [pid=17892/tid=17911] ppid=17890 vsize=10545208 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17911/stat : 17911 (java) S 17890 17892 15316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902630033 10798292992 22809 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512508416 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3.99 Current children cumulated vsize (KiB) 10545208 [startup+6.30161 s] /proc/loadavg: 2.00 2.00 1.98 3/214 17912 /proc/meminfo: memFree=32312980/32950928 swapFree=67053884/67111528 [pid=17892] ppid=17890 vsize=10544088 CPUtime=7.22 cores=0,2,4,6 /proc/17892/stat : 17892 (java) S 17890 17892 15316 0 -1 4202496 25223 0 1 0 717 5 0 0 25 0 19 0 902629999 10797146112 22574 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/17892/statm: 2636022 22574 2255 9 0 2626756 0 [pid=17892/tid=17894] ppid=17890 vsize=10544088 CPUtime=6.13 cores=0,2,4,6 /proc/17892/task/17894/stat : 17894 (java) R 17890 17892 15316 0 -1 4202560 17515 0 1 0 610 3 0 0 25 0 19 0 902630000 10797146112 22574 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 46912505885145 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=17892/tid=17895] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17895/stat : 17895 (java) S 17890 17892 15316 0 -1 4202560 179 0 0 0 0 0 0 0 15 0 19 0 902630001 10797146112 22574 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 2 0 0 0 [pid=17892/tid=17896] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17896/stat : 17896 (java) S 17890 17892 15316 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 19 0 902630001 10797146112 22574 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 0 0 0 0 [pid=17892/tid=17897] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17897/stat : 17897 (java) S 17890 17892 15316 0 -1 4202560 118 0 0 0 0 0 0 0 15 0 19 0 902630001 10797146112 22574 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 0 0 0 0 [pid=17892/tid=17898] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17898/stat : 17898 (java) S 17890 17892 15316 0 -1 4202560 31 0 0 0 0 0 0 0 16 0 19 0 902630001 10797146112 22574 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 4 0 0 0 [pid=17892/tid=17899] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17899/stat : 17899 (java) S 17890 17892 15316 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 19 0 902630001 10797146112 22574 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 4 0 0 0 [pid=17892/tid=17900] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17900/stat : 17900 (java) S 17890 17892 15316 0 -1 4202560 193 0 0 0 0 0 0 0 15 0 19 0 902630001 10797146112 22574 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 2 0 0 0 [pid=17892/tid=17901] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17901/stat : 17901 (java) S 17890 17892 15316 0 -1 4202560 224 0 0 0 0 0 0 0 16 0 19 0 902630001 10797146112 22574 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 4 0 0 0 [pid=17892/tid=17902] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17902/stat : 17902 (java) S 17890 17892 15316 0 -1 4202560 296 0 0 0 0 0 0 0 15 0 19 0 902630001 10797146112 22574 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 2 0 0 0 [pid=17892/tid=17903] ppid=17890 vsize=10544088 CPUtime=0.13 cores=0,2,4,6 /proc/17892/task/17903/stat : 17903 (java) S 17890 17892 15316 0 -1 4202560 972 0 0 0 13 0 0 0 15 0 19 0 902630002 10797146112 22574 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512508416 0 0 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17904] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17904/stat : 17904 (java) S 17890 17892 15316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902630003 10797146112 22574 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17905] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17905/stat : 17905 (java) S 17890 17892 15316 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902630003 10797146112 22574 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17906] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17906/stat : 17906 (java) S 17890 17892 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902630005 10797146112 22574 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512515505 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17907] ppid=17890 vsize=10544088 CPUtime=0.49 cores=0,2,4,6 /proc/17892/task/17907/stat : 17907 (java) S 17890 17892 15316 0 -1 4202560 2342 0 0 0 49 0 0 0 15 0 19 0 902630005 10797146112 22574 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 0 0 0 0 [pid=17892/tid=17908] ppid=17890 vsize=10544088 CPUtime=0.4 cores=0,2,4,6 /proc/17892/task/17908/stat : 17908 (java) S 17890 17892 15316 0 -1 4202560 2143 0 0 0 40 0 0 0 15 0 19 0 902630005 10797146112 22574 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 4 0 0 0 [pid=17892/tid=17909] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17909/stat : 17909 (java) S 17890 17892 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902630005 10797146112 22574 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17910] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17910/stat : 17910 (java) S 17890 17892 15316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902630005 10797146112 22574 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512508416 0 4 0 16800975 18446604453425855552 0 0 -1 4 0 0 0 [pid=17892/tid=17911] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17911/stat : 17911 (java) S 17890 17892 15316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902630033 10797146112 22574 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512508416 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 7.22 Current children cumulated vsize (KiB) 10544088 [startup+12.7013 s] ################ # More data... # ################ /proc/17892/task/17895/stat : 17895 (java) S 17890 17892 15316 0 -1 4202560 193 0 0 0 29 0 0 0 15 0 19 0 902630001 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 0 0 0 0 [pid=17892/tid=17896] ppid=17890 vsize=10544088 CPUtime=0.3 cores=0,2,4,6 /proc/17892/task/17896/stat : 17896 (java) S 17890 17892 15316 0 -1 4202560 26 0 0 0 30 0 0 0 15 0 19 0 902630001 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 0 0 0 0 [pid=17892/tid=17897] ppid=17890 vsize=10544088 CPUtime=0.3 cores=0,2,4,6 /proc/17892/task/17897/stat : 17897 (java) S 17890 17892 15316 0 -1 4202560 132 0 0 0 30 0 0 0 15 0 19 0 902630001 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 0 0 0 0 [pid=17892/tid=17898] ppid=17890 vsize=10544088 CPUtime=0.3 cores=0,2,4,6 /proc/17892/task/17898/stat : 17898 (java) S 17890 17892 15316 0 -1 4202560 51 0 0 0 30 0 0 0 16 0 19 0 902630001 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 4 0 0 0 [pid=17892/tid=17899] ppid=17890 vsize=10544088 CPUtime=0.31 cores=0,2,4,6 /proc/17892/task/17899/stat : 17899 (java) S 17890 17892 15316 0 -1 4202560 70 0 0 0 31 0 0 0 15 0 19 0 902630001 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17900] ppid=17890 vsize=10544088 CPUtime=0.32 cores=0,2,4,6 /proc/17892/task/17900/stat : 17900 (java) S 17890 17892 15316 0 -1 4202560 216 0 0 0 32 0 0 0 15 0 19 0 902630001 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17901] ppid=17890 vsize=10544088 CPUtime=0.31 cores=0,2,4,6 /proc/17892/task/17901/stat : 17901 (java) S 17890 17892 15316 0 -1 4202560 239 0 0 0 31 0 0 0 16 0 19 0 902630001 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 0 0 0 0 [pid=17892/tid=17902] ppid=17890 vsize=10544088 CPUtime=0.32 cores=0,2,4,6 /proc/17892/task/17902/stat : 17902 (java) S 17890 17892 15316 0 -1 4202560 314 0 0 0 32 0 0 0 16 0 19 0 902630001 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 4 0 0 0 [pid=17892/tid=17903] ppid=17890 vsize=10544088 CPUtime=15.6 cores=0,2,4,6 /proc/17892/task/17903/stat : 17903 (java) S 17890 17892 15316 0 -1 4202560 1829 0 0 0 1542 18 0 0 15 0 19 0 902630002 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512508416 0 0 0 16800975 18446604453425855552 0 0 -1 2 0 0 0 [pid=17892/tid=17904] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17904/stat : 17904 (java) S 17890 17892 15316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902630003 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17905] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17905/stat : 17905 (java) S 17890 17892 15316 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902630003 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17906] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17906/stat : 17906 (java) S 17890 17892 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902630005 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512515505 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17907] ppid=17890 vsize=10544088 CPUtime=0.57 cores=0,2,4,6 /proc/17892/task/17907/stat : 17907 (java) S 17890 17892 15316 0 -1 4202560 2923 0 0 0 57 0 0 0 15 0 19 0 902630005 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 0 0 0 0 [pid=17892/tid=17908] ppid=17890 vsize=10544088 CPUtime=0.42 cores=0,2,4,6 /proc/17892/task/17908/stat : 17908 (java) S 17890 17892 15316 0 -1 4202560 2143 0 0 0 42 0 0 0 15 0 19 0 902630005 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 4 0 0 0 [pid=17892/tid=17909] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17909/stat : 17909 (java) S 17890 17892 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902630005 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17910] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17910/stat : 17910 (java) S 17890 17892 15316 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 19 0 902630005 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512508416 0 4 0 16800975 18446604453425855552 0 0 -1 0 0 0 0 [pid=17892/tid=17911] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17911/stat : 17911 (java) S 17890 17892 15316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902630033 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512508416 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 506.77 Current children cumulated vsize (KiB) 10544088 [startup+505.501 s] /proc/loadavg: 2.00 2.00 1.98 3/214 17925 /proc/meminfo: memFree=32295264/32950928 swapFree=67053884/67111528 [pid=17892] ppid=17890 vsize=10544088 CPUtime=507.57 cores=0,2,4,6 /proc/17892/stat : 17892 (java) S 17890 17892 15316 0 -1 4202496 27751 0 1 0 50726 31 0 0 25 0 19 0 902629999 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/17892/statm: 2636022 24092 2257 9 0 2626756 0 [pid=17892/tid=17894] ppid=17890 vsize=10544088 CPUtime=488.41 cores=0,2,4,6 /proc/17892/task/17894/stat : 17894 (java) R 17890 17892 15316 0 -1 4202560 18438 0 1 0 48833 8 0 0 25 0 19 0 902630000 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 46912505736206 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=17892/tid=17895] ppid=17890 vsize=10544088 CPUtime=0.29 cores=0,2,4,6 /proc/17892/task/17895/stat : 17895 (java) S 17890 17892 15316 0 -1 4202560 193 0 0 0 29 0 0 0 15 0 19 0 902630001 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 0 0 0 0 [pid=17892/tid=17896] ppid=17890 vsize=10544088 CPUtime=0.3 cores=0,2,4,6 /proc/17892/task/17896/stat : 17896 (java) S 17890 17892 15316 0 -1 4202560 26 0 0 0 30 0 0 0 15 0 19 0 902630001 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 0 0 0 0 [pid=17892/tid=17897] ppid=17890 vsize=10544088 CPUtime=0.3 cores=0,2,4,6 /proc/17892/task/17897/stat : 17897 (java) S 17890 17892 15316 0 -1 4202560 132 0 0 0 30 0 0 0 15 0 19 0 902630001 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 0 0 0 0 [pid=17892/tid=17898] ppid=17890 vsize=10544088 CPUtime=0.3 cores=0,2,4,6 /proc/17892/task/17898/stat : 17898 (java) S 17890 17892 15316 0 -1 4202560 51 0 0 0 30 0 0 0 16 0 19 0 902630001 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 4 0 0 0 [pid=17892/tid=17899] ppid=17890 vsize=10544088 CPUtime=0.31 cores=0,2,4,6 /proc/17892/task/17899/stat : 17899 (java) S 17890 17892 15316 0 -1 4202560 70 0 0 0 31 0 0 0 16 0 19 0 902630001 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17900] ppid=17890 vsize=10544088 CPUtime=0.32 cores=0,2,4,6 /proc/17892/task/17900/stat : 17900 (java) S 17890 17892 15316 0 -1 4202560 216 0 0 0 32 0 0 0 15 0 19 0 902630001 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17901] ppid=17890 vsize=10544088 CPUtime=0.31 cores=0,2,4,6 /proc/17892/task/17901/stat : 17901 (java) S 17890 17892 15316 0 -1 4202560 239 0 0 0 31 0 0 0 15 0 19 0 902630001 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17902] ppid=17890 vsize=10544088 CPUtime=0.32 cores=0,2,4,6 /proc/17892/task/17902/stat : 17902 (java) S 17890 17892 15316 0 -1 4202560 314 0 0 0 32 0 0 0 15 0 19 0 902630001 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 4 0 0 0 [pid=17892/tid=17903] ppid=17890 vsize=10544088 CPUtime=15.62 cores=0,2,4,6 /proc/17892/task/17903/stat : 17903 (java) S 17890 17892 15316 0 -1 4202560 1829 0 0 0 1544 18 0 0 15 0 19 0 902630002 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512508416 0 0 0 16800975 18446604453425855552 0 0 -1 2 0 0 0 [pid=17892/tid=17904] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17904/stat : 17904 (java) S 17890 17892 15316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902630003 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17905] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17905/stat : 17905 (java) S 17890 17892 15316 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902630003 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17906] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17906/stat : 17906 (java) S 17890 17892 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902630005 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512515505 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17907] ppid=17890 vsize=10544088 CPUtime=0.57 cores=0,2,4,6 /proc/17892/task/17907/stat : 17907 (java) S 17890 17892 15316 0 -1 4202560 2923 0 0 0 57 0 0 0 15 0 19 0 902630005 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 0 0 0 0 [pid=17892/tid=17908] ppid=17890 vsize=10544088 CPUtime=0.42 cores=0,2,4,6 /proc/17892/task/17908/stat : 17908 (java) S 17890 17892 15316 0 -1 4202560 2143 0 0 0 42 0 0 0 15 0 19 0 902630005 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 4 0 0 0 [pid=17892/tid=17909] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17909/stat : 17909 (java) S 17890 17892 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902630005 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17910] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17910/stat : 17910 (java) S 17890 17892 15316 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 19 0 902630005 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512508416 0 4 0 16800975 18446604453425855552 0 0 -1 0 0 0 0 [pid=17892/tid=17911] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17911/stat : 17911 (java) S 17890 17892 15316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902630033 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512508416 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 507.57 Current children cumulated vsize (KiB) 10544088 [startup+505.901 s] /proc/loadavg: 2.00 2.00 1.98 3/214 17925 /proc/meminfo: memFree=32295264/32950928 swapFree=67053884/67111528 [pid=17892] ppid=17890 vsize=10544088 CPUtime=507.98 cores=0,2,4,6 /proc/17892/stat : 17892 (java) S 17890 17892 15316 0 -1 4202496 27751 0 1 0 50767 31 0 0 25 0 19 0 902629999 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/17892/statm: 2636022 24092 2257 9 0 2626756 0 [pid=17892/tid=17894] ppid=17890 vsize=10544088 CPUtime=488.81 cores=0,2,4,6 /proc/17892/task/17894/stat : 17894 (java) R 17890 17892 15316 0 -1 4202560 18438 0 1 0 48873 8 0 0 25 0 19 0 902630000 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 46912505714829 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=17892/tid=17895] ppid=17890 vsize=10544088 CPUtime=0.29 cores=0,2,4,6 /proc/17892/task/17895/stat : 17895 (java) S 17890 17892 15316 0 -1 4202560 193 0 0 0 29 0 0 0 15 0 19 0 902630001 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 0 0 0 0 [pid=17892/tid=17896] ppid=17890 vsize=10544088 CPUtime=0.3 cores=0,2,4,6 /proc/17892/task/17896/stat : 17896 (java) S 17890 17892 15316 0 -1 4202560 26 0 0 0 30 0 0 0 15 0 19 0 902630001 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 0 0 0 0 [pid=17892/tid=17897] ppid=17890 vsize=10544088 CPUtime=0.3 cores=0,2,4,6 /proc/17892/task/17897/stat : 17897 (java) S 17890 17892 15316 0 -1 4202560 132 0 0 0 30 0 0 0 15 0 19 0 902630001 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 0 0 0 0 [pid=17892/tid=17898] ppid=17890 vsize=10544088 CPUtime=0.3 cores=0,2,4,6 /proc/17892/task/17898/stat : 17898 (java) S 17890 17892 15316 0 -1 4202560 51 0 0 0 30 0 0 0 16 0 19 0 902630001 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 4 0 0 0 [pid=17892/tid=17899] ppid=17890 vsize=10544088 CPUtime=0.31 cores=0,2,4,6 /proc/17892/task/17899/stat : 17899 (java) S 17890 17892 15316 0 -1 4202560 70 0 0 0 31 0 0 0 16 0 19 0 902630001 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17900] ppid=17890 vsize=10544088 CPUtime=0.32 cores=0,2,4,6 /proc/17892/task/17900/stat : 17900 (java) S 17890 17892 15316 0 -1 4202560 216 0 0 0 32 0 0 0 15 0 19 0 902630001 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17901] ppid=17890 vsize=10544088 CPUtime=0.31 cores=0,2,4,6 /proc/17892/task/17901/stat : 17901 (java) S 17890 17892 15316 0 -1 4202560 239 0 0 0 31 0 0 0 15 0 19 0 902630001 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17902] ppid=17890 vsize=10544088 CPUtime=0.32 cores=0,2,4,6 /proc/17892/task/17902/stat : 17902 (java) S 17890 17892 15316 0 -1 4202560 314 0 0 0 32 0 0 0 15 0 19 0 902630001 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 4 0 0 0 [pid=17892/tid=17903] ppid=17890 vsize=10544088 CPUtime=15.62 cores=0,2,4,6 /proc/17892/task/17903/stat : 17903 (java) S 17890 17892 15316 0 -1 4202560 1829 0 0 0 1544 18 0 0 15 0 19 0 902630002 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512508416 0 0 0 16800975 18446604453425855552 0 0 -1 2 0 0 0 [pid=17892/tid=17904] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17904/stat : 17904 (java) S 17890 17892 15316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902630003 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17905] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17905/stat : 17905 (java) S 17890 17892 15316 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902630003 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17906] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17906/stat : 17906 (java) S 17890 17892 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902630005 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512515505 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17907] ppid=17890 vsize=10544088 CPUtime=0.57 cores=0,2,4,6 /proc/17892/task/17907/stat : 17907 (java) S 17890 17892 15316 0 -1 4202560 2923 0 0 0 57 0 0 0 15 0 19 0 902630005 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 0 0 0 0 [pid=17892/tid=17908] ppid=17890 vsize=10544088 CPUtime=0.42 cores=0,2,4,6 /proc/17892/task/17908/stat : 17908 (java) S 17890 17892 15316 0 -1 4202560 2143 0 0 0 42 0 0 0 15 0 19 0 902630005 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 4 0 0 0 [pid=17892/tid=17909] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17909/stat : 17909 (java) S 17890 17892 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902630005 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17910] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17910/stat : 17910 (java) S 17890 17892 15316 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 19 0 902630005 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512508416 0 4 0 16800975 18446604453425855552 0 0 -1 0 0 0 0 [pid=17892/tid=17911] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17911/stat : 17911 (java) S 17890 17892 15316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902630033 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512508416 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 507.98 Current children cumulated vsize (KiB) 10544088 [startup+506.007 s] /proc/loadavg: 2.00 2.00 1.98 3/214 17925 /proc/meminfo: memFree=32295264/32950928 swapFree=67053884/67111528 [pid=17892] ppid=17890 vsize=10544088 CPUtime=508.08 cores=0,2,4,6 /proc/17892/stat : 17892 (java) S 17890 17892 15316 0 -1 4202496 27751 0 1 0 50777 31 0 0 25 0 19 0 902629999 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/17892/statm: 2636022 24092 2257 9 0 2626756 0 [pid=17892/tid=17894] ppid=17890 vsize=10544088 CPUtime=488.91 cores=0,2,4,6 /proc/17892/task/17894/stat : 17894 (java) R 17890 17892 15316 0 -1 4202560 18438 0 1 0 48883 8 0 0 25 0 19 0 902630000 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 46912505714862 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=17892/tid=17895] ppid=17890 vsize=10544088 CPUtime=0.29 cores=0,2,4,6 /proc/17892/task/17895/stat : 17895 (java) S 17890 17892 15316 0 -1 4202560 193 0 0 0 29 0 0 0 15 0 19 0 902630001 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 0 0 0 0 [pid=17892/tid=17896] ppid=17890 vsize=10544088 CPUtime=0.3 cores=0,2,4,6 /proc/17892/task/17896/stat : 17896 (java) S 17890 17892 15316 0 -1 4202560 26 0 0 0 30 0 0 0 15 0 19 0 902630001 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 0 0 0 0 [pid=17892/tid=17897] ppid=17890 vsize=10544088 CPUtime=0.3 cores=0,2,4,6 /proc/17892/task/17897/stat : 17897 (java) S 17890 17892 15316 0 -1 4202560 132 0 0 0 30 0 0 0 15 0 19 0 902630001 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 0 0 0 0 [pid=17892/tid=17898] ppid=17890 vsize=10544088 CPUtime=0.3 cores=0,2,4,6 /proc/17892/task/17898/stat : 17898 (java) S 17890 17892 15316 0 -1 4202560 51 0 0 0 30 0 0 0 16 0 19 0 902630001 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 4 0 0 0 [pid=17892/tid=17899] ppid=17890 vsize=10544088 CPUtime=0.31 cores=0,2,4,6 /proc/17892/task/17899/stat : 17899 (java) S 17890 17892 15316 0 -1 4202560 70 0 0 0 31 0 0 0 16 0 19 0 902630001 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17900] ppid=17890 vsize=10544088 CPUtime=0.32 cores=0,2,4,6 /proc/17892/task/17900/stat : 17900 (java) S 17890 17892 15316 0 -1 4202560 216 0 0 0 32 0 0 0 15 0 19 0 902630001 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17901] ppid=17890 vsize=10544088 CPUtime=0.31 cores=0,2,4,6 /proc/17892/task/17901/stat : 17901 (java) S 17890 17892 15316 0 -1 4202560 239 0 0 0 31 0 0 0 15 0 19 0 902630001 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17902] ppid=17890 vsize=10544088 CPUtime=0.32 cores=0,2,4,6 /proc/17892/task/17902/stat : 17902 (java) S 17890 17892 15316 0 -1 4202560 314 0 0 0 32 0 0 0 15 0 19 0 902630001 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 4 0 0 0 [pid=17892/tid=17903] ppid=17890 vsize=10544088 CPUtime=15.62 cores=0,2,4,6 /proc/17892/task/17903/stat : 17903 (java) S 17890 17892 15316 0 -1 4202560 1829 0 0 0 1544 18 0 0 15 0 19 0 902630002 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512508416 0 0 0 16800975 18446604453425855552 0 0 -1 2 0 0 0 [pid=17892/tid=17904] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17904/stat : 17904 (java) S 17890 17892 15316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902630003 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17905] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17905/stat : 17905 (java) S 17890 17892 15316 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902630003 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17906] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17906/stat : 17906 (java) S 17890 17892 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902630005 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512515505 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17907] ppid=17890 vsize=10544088 CPUtime=0.57 cores=0,2,4,6 /proc/17892/task/17907/stat : 17907 (java) S 17890 17892 15316 0 -1 4202560 2923 0 0 0 57 0 0 0 15 0 19 0 902630005 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 0 0 0 0 [pid=17892/tid=17908] ppid=17890 vsize=10544088 CPUtime=0.42 cores=0,2,4,6 /proc/17892/task/17908/stat : 17908 (java) S 17890 17892 15316 0 -1 4202560 2143 0 0 0 42 0 0 0 15 0 19 0 902630005 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 4 0 0 0 [pid=17892/tid=17909] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17909/stat : 17909 (java) S 17890 17892 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902630005 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512507801 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 [pid=17892/tid=17910] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17910/stat : 17910 (java) S 17890 17892 15316 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 19 0 902630005 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512508416 0 4 0 16800975 18446604453425855552 0 0 -1 0 0 0 0 [pid=17892/tid=17911] ppid=17890 vsize=10544088 CPUtime=0 cores=0,2,4,6 /proc/17892/task/17911/stat : 17911 (java) S 17890 17892 15316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902630033 10797146112 24092 33554432000 1073741824 1073778376 140733416965904 18446744073709551615 254512508416 0 4 0 16800975 18446604453425855552 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 508.08 Current children cumulated vsize (KiB) 10544088 Child status: 30 Real time (s): 506.043 CPU time (s): 508.13 CPU user time (s): 507.806 CPU system time (s): 0.32395 CPU usage (%): 100.412 Max. virtual memory (cumulated for all children) (KiB): 10545208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 507.806 system time used= 0.32395 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27778 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= 34183 involuntary context switches= 19192 runsolver used 0.91786 second user time and 1.86372 second system time The end
Begin job on node149 at 2011-06-12 22:25:33 IDJOB=3492678 IDBENCH=78953 IDSOLVER=1982 FILE ID=node149/3492678-1307910333 RUNJOBID= node149-1307908141-17373 PBS_JOBID= 13559560 Free space on /tmp= 74060 MiB SOLVER NAME= Sat4j Resolution 2011-06-08 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900582300--soft-33-100-0.wbo COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3492678-1307910333/watcher-3492678-1307910333 -o /tmp/evaluation-result-3492678-1307910333/solver-3492678-1307910333 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492678-1307910333.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9fdf6a24194e0c0ae14212c193866ebe RANDOM SEED=1693823218 node149.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.806 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.61 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.806 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 : 5332.83 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.806 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.83 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.806 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.73 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.806 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.806 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.806 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.82 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.806 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 32397484 kB Buffers: 122300 kB Cached: 135000 kB SwapCached: 22576 kB Active: 268416 kB Inactive: 99800 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 32397484 kB SwapTotal: 67111528 kB SwapFree: 67053884 kB Dirty: 460 kB Writeback: 0 kB AnonPages: 108668 kB Mapped: 18016 kB Slab: 120640 kB PageTables: 5016 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 10551020 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 /tmp at the end= 74060 MiB End job on node149 at 2011-06-12 22:33:59