Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB Resolution 2.2.1 | OPTIMUM | 325.622 | 322.603 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900584219--soft-0-100-0.wbo |
MD5SUM | 81f3c07bf85fb8fa2211498324cd1b10 |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 325.622 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 136843 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 136842 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 689 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version 2.2.1.v20100705 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) Server VM 0.00/0.08 c java.vm.version 11.2-b01 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 32 0.00/0.08 c java.version 1.6.0_12 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.18-164.el5 0.00/0.08 c os.arch i386 0.00/0.08 c Free memory 1393557488 0.00/0.08 c Max memory 1395916800 0.00/0.08 c Total memory 1395916800 0.00/0.08 c Number of processors 8 0.00/0.10 c Pseudo Boolean Optimization 0.00/0.10 c --- Begin Solver configuration --- 0.00/0.10 c Stops conflict analysis at the first Unique Implication Point 0.00/0.10 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1764be1 0.00/0.10 c Learn all clauses as in MiniSAT 0.00/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.00/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.00/0.10 c Expensive reason simplification 0.00/0.10 c Armin Biere (Picosat) restarts strategy 0.00/0.10 c Glucose learned constraints deletion strategy 0.00/0.10 c timeout=2147483s 0.00/0.10 c DB Simplification allowed=false 0.00/0.10 c --- End Solver configuration --- 0.00/0.10 c solving HOME/instance-2698218-1278328380.wbo 0.00/0.10 c reading problem ... 0.56/0.31 c ... done. Wall clock time 0.21s. 0.56/0.31 c #vars 2938 0.56/0.31 c #constraints 2707 0.56/0.31 c constraints type 0.56/0.31 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684 0.56/0.31 c org.sat4j.pb.constraints.pb.MaxWatchPb => 23 1.74/0.75 c SATISFIABLE 1.74/0.75 c OPTIMIZING... 1.74/0.75 c Got one! Elapsed wall clock time (in seconds):0.653 1.74/0.75 o 333 2.25/0.96 c Got one! Elapsed wall clock time (in seconds):0.861 2.25/0.96 o 331 2.25/0.99 c Got one! Elapsed wall clock time (in seconds):0.891 2.25/0.99 o 288 2.42/1.03 c Got one! Elapsed wall clock time (in seconds):0.938 2.42/1.03 o 256 2.42/1.10 c Got one! Elapsed wall clock time (in seconds):0.999 2.42/1.10 o 244 2.57/1.13 c Got one! Elapsed wall clock time (in seconds):1.03 2.57/1.13 o 220 2.57/1.16 c Got one! Elapsed wall clock time (in seconds):1.063 2.57/1.16 o 214 2.81/1.36 c Got one! Elapsed wall clock time (in seconds):1.261 2.81/1.36 o 212 2.91/1.41 c Got one! Elapsed wall clock time (in seconds):1.318 2.91/1.41 o 204 3.01/1.58 c Got one! Elapsed wall clock time (in seconds):1.481 3.01/1.58 o 194 3.11/1.67 c Got one! Elapsed wall clock time (in seconds):1.572 3.11/1.67 o 187 3.31/1.81 c Got one! Elapsed wall clock time (in seconds):1.711 3.31/1.81 o 175 3.31/1.87 c Got one! Elapsed wall clock time (in seconds):1.772 3.31/1.87 o 170 3.41/1.99 c Got one! Elapsed wall clock time (in seconds):1.889 3.41/1.99 o 163 3.51/2.02 c cleaning 2499 clauses out of 5001 with flag 5001/5001 3.62/2.12 c Got one! Elapsed wall clock time (in seconds):2.018 3.62/2.12 o 140 3.73/2.30 c Got one! Elapsed wall clock time (in seconds):2.199 3.73/2.30 o 136 4.12/2.68 c Got one! Elapsed wall clock time (in seconds):2.581 4.12/2.68 o 133 4.32/2.80 c Got one! Elapsed wall clock time (in seconds):2.7 4.32/2.80 o 119 4.42/3.00 c Got one! Elapsed wall clock time (in seconds):2.899 4.42/3.00 o 115 4.75/3.29 c Got one! Elapsed wall clock time (in seconds):3.196 4.75/3.29 o 108 5.05/3.55 c cleaning 4250 clauses out of 8502 with flag 11001/11001 5.16/3.61 c Got one! Elapsed wall clock time (in seconds):3.517 5.16/3.61 o 90 5.26/3.79 c Got one! Elapsed wall clock time (in seconds):3.689 5.26/3.79 o 83 5.46/3.92 c Got one! Elapsed wall clock time (in seconds):3.826 5.46/3.92 o 82 5.56/4.09 c Got one! Elapsed wall clock time (in seconds):3.997 5.56/4.09 o 77 6.07/4.51 c Got one! Elapsed wall clock time (in seconds):4.41 6.07/4.51 o 68 6.36/4.85 c Got one! Elapsed wall clock time (in seconds):4.753 6.36/4.85 o 57 6.46/4.94 c Got one! Elapsed wall clock time (in seconds):4.845 6.46/4.94 o 28 6.56/5.09 c cleaning 5623 clauses out of 11251 with flag 18000/18000 7.48/5.73 c Got one! Elapsed wall clock time (in seconds):5.629 7.48/5.73 o 27 7.88/6.16 c Got one! Elapsed wall clock time (in seconds):6.065 7.88/6.16 o 26 8.50/6.74 c cleaning 6814 clauses out of 13633 with flag 26005/26005 8.82/7.02 c Got one! Elapsed wall clock time (in seconds):6.925 8.82/7.02 o 23 8.93/7.17 c Got one! Elapsed wall clock time (in seconds):7.077 8.93/7.17 o 19 9.23/7.45 c Got one! Elapsed wall clock time (in seconds):7.357 9.23/7.45 o 15 10.03/8.25 c cleaning 7904 clauses out of 15815 with flag 35001/35001 11.33/9.57 c cleaning 8954 clauses out of 17911 with flag 45001/45001 11.43/9.66 c Got one! Elapsed wall clock time (in seconds):9.56 11.43/9.66 o 12 12.63/10.80 c Got one! Elapsed wall clock time (in seconds):10.707 12.63/10.80 o 9 12.73/10.94 c cleaning 9474 clauses out of 18956 with flag 55000/55000 13.36/11.55 c Got one! Elapsed wall clock time (in seconds):11.452 13.36/11.55 o 8 13.76/11.94 c cleaning 9735 clauses out of 19482 with flag 65000/65000 13.88/12.09 c Got one! Elapsed wall clock time (in seconds):11.992 13.88/12.09 o 7 14.28/12.47 c Got one! Elapsed wall clock time (in seconds):12.372 14.28/12.47 o 6 14.98/13.17 c cleaning 9867 clauses out of 19747 with flag 75000/75000 15.89/14.05 c cleaning 9938 clauses out of 19881 with flag 85001/85001 16.89/15.01 c cleaning 9963 clauses out of 19943 with flag 95001/95001 17.69/15.88 c cleaning 9983 clauses out of 19979 with flag 105000/105000 18.50/16.67 c cleaning 9993 clauses out of 19997 with flag 115001/115001 19.29/17.44 c cleaning 9990 clauses out of 20003 with flag 125000/125000 20.09/18.26 c cleaning 9998 clauses out of 20013 with flag 135000/135000 20.70/18.82 c Got one! Elapsed wall clock time (in seconds):18.728 20.70/18.82 o 4 20.99/19.19 c cleaning 10000 clauses out of 20015 with flag 145000/145000 21.99/20.12 c Got one! Elapsed wall clock time (in seconds):20.023 21.99/20.12 o 3 21.99/20.19 c cleaning 9999 clauses out of 20015 with flag 155000/155000 22.90/21.08 c cleaning 9999 clauses out of 20017 with flag 165001/165001 23.70/21.81 c cleaning 9996 clauses out of 20018 with flag 175001/175001 24.41/22.54 c cleaning 10001 clauses out of 20021 with flag 185000/185000 25.11/23.23 c cleaning 10007 clauses out of 20023 with flag 195003/195003 25.81/23.96 c cleaning 9996 clauses out of 20013 with flag 205000/205000 26.61/24.72 c cleaning 9998 clauses out of 20019 with flag 215002/215002 27.32/25.46 c cleaning 10003 clauses out of 20019 with flag 225000/225000 28.11/26.21 c cleaning 10007 clauses out of 20017 with flag 235001/235001 28.71/26.88 c cleaning 10000 clauses out of 20010 with flag 245001/245001 29.42/27.60 c cleaning 10000 clauses out of 20010 with flag 255001/255001 30.12/28.29 c cleaning 9997 clauses out of 20009 with flag 265000/265000 30.82/28.97 c cleaning 10002 clauses out of 20013 with flag 275001/275001 31.52/29.69 c cleaning 10002 clauses out of 20011 with flag 285001/285001 32.32/30.41 c cleaning 9998 clauses out of 20010 with flag 295002/295002 33.02/31.11 c cleaning 9998 clauses out of 20011 with flag 305001/305001 33.72/31.82 c cleaning 10004 clauses out of 20013 with flag 315001/315001 34.42/32.54 c cleaning 9996 clauses out of 20010 with flag 325002/325002 35.12/33.22 c cleaning 9996 clauses out of 20012 with flag 335000/335000 35.82/33.92 c cleaning 10005 clauses out of 20017 with flag 345001/345001 36.42/34.52 c cleaning 10001 clauses out of 20011 with flag 355000/355000 37.04/35.15 c cleaning 10000 clauses out of 20010 with flag 365000/365000 37.64/35.79 c cleaning 9997 clauses out of 20010 with flag 375000/375000 38.35/36.46 c cleaning 9999 clauses out of 20013 with flag 385000/385000 39.05/37.13 c cleaning 9998 clauses out of 20016 with flag 395002/395002 39.65/37.73 c cleaning 10002 clauses out of 20016 with flag 405000/405000 40.25/38.39 c cleaning 10005 clauses out of 20014 with flag 415000/415000 40.95/39.01 c cleaning 9998 clauses out of 20010 with flag 425001/425001 41.56/39.66 c cleaning 10000 clauses out of 20012 with flag 435001/435001 42.15/40.26 c cleaning 9998 clauses out of 20014 with flag 445003/445003 42.76/40.89 c cleaning 10006 clauses out of 20015 with flag 455002/455002 43.45/41.55 c cleaning 9993 clauses out of 20008 with flag 465001/465001 44.16/42.28 c cleaning 10005 clauses out of 20015 with flag 475001/475001 44.86/42.97 c cleaning 9998 clauses out of 20009 with flag 485000/485000 45.56/43.69 c cleaning 9999 clauses out of 20012 with flag 495001/495001 46.36/44.44 c cleaning 9998 clauses out of 20012 with flag 505000/505000 47.07/45.12 c cleaning 10001 clauses out of 20014 with flag 515000/515000 47.66/45.79 c cleaning 10000 clauses out of 20013 with flag 525000/525000 48.36/46.45 c cleaning 10004 clauses out of 20014 with flag 535001/535001 48.97/47.09 c cleaning 10000 clauses out of 20009 with flag 545000/545000 49.67/47.76 c cleaning 9998 clauses out of 20009 with flag 555000/555000 50.27/48.37 c cleaning 10002 clauses out of 20011 with flag 565000/565000 50.87/49.00 c cleaning 9998 clauses out of 20009 with flag 575000/575000 51.57/49.61 c cleaning 10000 clauses out of 20011 with flag 585000/585000 52.17/50.30 c cleaning 10001 clauses out of 20016 with flag 595005/595005 52.87/50.91 c cleaning 9995 clauses out of 20011 with flag 605001/605001 53.47/51.58 c cleaning 9998 clauses out of 20015 with flag 615000/615000 54.27/52.35 c cleaning 9999 clauses out of 20017 with flag 625000/625000 54.97/53.03 c cleaning 10003 clauses out of 20020 with flag 635002/635002 55.67/53.72 c cleaning 10004 clauses out of 20017 with flag 645002/645002 56.28/54.35 c cleaning 9997 clauses out of 20011 with flag 655000/655000 56.99/55.00 c cleaning 10003 clauses out of 20015 with flag 665001/665001 57.58/55.69 c cleaning 10003 clauses out of 20011 with flag 675000/675000 58.29/56.39 c cleaning 9998 clauses out of 20010 with flag 685002/685002 58.99/57.07 c cleaning 9998 clauses out of 20010 with flag 695000/695000 59.69/57.78 c cleaning 9989 clauses out of 20012 with flag 705000/705000 59.89/57.91 c Got one! Elapsed wall clock time (in seconds):57.818 59.89/57.91 o 2 60.59/58.69 c cleaning 10005 clauses out of 20023 with flag 715000/715000 61.39/59.50 c cleaning 10004 clauses out of 20020 with flag 725002/725002 62.29/60.37 c cleaning 10004 clauses out of 20016 with flag 735002/735002 63.09/61.16 c cleaning 9995 clauses out of 20011 with flag 745001/745001 63.89/61.92 c cleaning 10001 clauses out of 20015 with flag 755000/755000 64.59/62.63 c cleaning 9998 clauses out of 20014 with flag 765000/765000 65.19/63.27 c cleaning 9998 clauses out of 20016 with flag 775000/775000 65.79/63.89 c cleaning 10003 clauses out of 20019 with flag 785001/785001 66.49/64.57 c cleaning 10003 clauses out of 20015 with flag 795000/795000 67.09/65.19 c cleaning 9999 clauses out of 20013 with flag 805001/805001 67.79/65.81 c cleaning 9999 clauses out of 20013 with flag 815000/815000 68.39/66.41 c cleaning 10004 clauses out of 20016 with flag 825002/825002 68.99/67.05 c cleaning 10002 clauses out of 20012 with flag 835002/835002 69.60/67.66 c cleaning 9999 clauses out of 20009 with flag 845001/845001 70.31/68.31 c cleaning 9997 clauses out of 20009 with flag 855000/855000 70.90/68.97 c cleaning 10000 clauses out of 20013 with flag 865001/865001 71.60/69.62 c cleaning 10003 clauses out of 20013 with flag 875001/875001 72.20/70.26 c cleaning 9997 clauses out of 20009 with flag 885000/885000 72.90/70.94 c cleaning 10001 clauses out of 20013 with flag 895001/895001 73.61/71.61 c cleaning 10000 clauses out of 20013 with flag 905002/905002 74.21/72.26 c cleaning 10001 clauses out of 20011 with flag 915000/915000 74.91/72.95 c cleaning 9993 clauses out of 20012 with flag 925002/925002 75.61/73.63 c cleaning 10003 clauses out of 20018 with flag 935001/935001 76.21/74.24 c cleaning 10003 clauses out of 20015 with flag 945001/945001 76.82/74.84 c cleaning 10000 clauses out of 20011 with flag 955000/955000 77.41/75.44 c cleaning 10000 clauses out of 20011 with flag 965000/965000 78.02/76.05 c cleaning 9996 clauses out of 20011 with flag 975000/975000 78.72/76.72 c cleaning 10002 clauses out of 20016 with flag 985001/985001 79.32/77.39 c cleaning 10003 clauses out of 20017 with flag 995004/995004 80.02/78.01 c cleaning 10001 clauses out of 20010 with flag 1005000/1005000 80.62/78.66 c cleaning 9996 clauses out of 20010 with flag 1015001/1015001 81.22/79.29 c cleaning 10002 clauses out of 20014 with flag 1025001/1025001 81.92/79.92 c cleaning 9997 clauses out of 20014 with flag 1035003/1035003 82.52/80.58 c cleaning 9997 clauses out of 20014 with flag 1045000/1045000 83.22/81.22 c cleaning 10004 clauses out of 20018 with flag 1055001/1055001 83.82/81.83 c cleaning 9999 clauses out of 20013 with flag 1065000/1065000 84.42/82.45 c cleaning 10003 clauses out of 20015 with flag 1075001/1075001 85.12/83.18 c cleaning 9997 clauses out of 20012 with flag 1085001/1085001 85.92/83.95 c cleaning 10002 clauses out of 20015 with flag 1095001/1095001 86.62/84.63 c cleaning 10002 clauses out of 20012 with flag 1105000/1105000 87.23/85.29 c cleaning 9998 clauses out of 20012 with flag 1115002/1115002 88.02/86.04 c cleaning 9999 clauses out of 20014 with flag 1125002/1125002 88.73/86.70 c cleaning 10000 clauses out of 20013 with flag 1135000/1135000 89.33/87.35 c cleaning 10002 clauses out of 20014 with flag 1145001/1145001 90.04/88.05 c cleaning 9996 clauses out of 20013 with flag 1155002/1155002 90.63/88.68 c cleaning 10002 clauses out of 20019 with flag 1165004/1165004 91.34/89.33 c cleaning 10002 clauses out of 20014 with flag 1175001/1175001 92.05/90.01 c cleaning 9999 clauses out of 20011 with flag 1185000/1185000 92.65/90.64 c cleaning 10002 clauses out of 20012 with flag 1195000/1195000 93.35/91.33 c cleaning 10002 clauses out of 20011 with flag 1205001/1205001 94.05/92.01 c cleaning 9994 clauses out of 20009 with flag 1215001/1215001 94.65/92.68 c cleaning 10000 clauses out of 20015 with flag 1225001/1225001 95.35/93.34 c cleaning 10002 clauses out of 20015 with flag 1235001/1235001 96.05/94.06 c cleaning 10002 clauses out of 20013 with flag 1245001/1245001 96.76/94.78 c cleaning 10001 clauses out of 20011 with flag 1255001/1255001 97.46/95.44 c cleaning 10002 clauses out of 20010 with flag 1265001/1265001 98.16/96.15 c cleaning 9992 clauses out of 20007 with flag 1275000/1275000 98.86/96.82 c cleaning 10003 clauses out of 20017 with flag 1285002/1285002 99.46/97.45 c cleaning 10002 clauses out of 20013 with flag 1295001/1295001 100.17/98.12 c cleaning 9999 clauses out of 20011 with flag 1305001/1305001 100.77/98.79 c cleaning 9998 clauses out of 20011 with flag 1315000/1315000 101.47/99.43 c cleaning 10003 clauses out of 20015 with flag 1325002/1325002 102.17/100.14 c cleaning 9998 clauses out of 20011 with flag 1335001/1335001 102.87/100.82 c cleaning 10003 clauses out of 20013 with flag 1345001/1345001 103.47/101.48 c cleaning 9999 clauses out of 20009 with flag 1355000/1355000 104.17/102.17 c cleaning 10003 clauses out of 20012 with flag 1365002/1365002 104.87/102.87 c cleaning 9996 clauses out of 20009 with flag 1375002/1375002 105.67/103.60 c cleaning 9999 clauses out of 20013 with flag 1385002/1385002 106.37/104.34 c cleaning 10001 clauses out of 20014 with flag 1395002/1395002 107.07/105.01 c cleaning 10001 clauses out of 20012 with flag 1405001/1405001 107.68/105.67 c cleaning 9998 clauses out of 20010 with flag 1415000/1415000 108.37/106.31 c cleaning 10000 clauses out of 20012 with flag 1425000/1425000 108.98/106.99 c cleaning 9998 clauses out of 20013 with flag 1435001/1435001 109.68/107.63 c cleaning 9996 clauses out of 20014 with flag 1445000/1445000 110.38/108.37 c cleaning 10001 clauses out of 20018 with flag 1455000/1455000 110.99/108.97 c cleaning 10003 clauses out of 20018 with flag 1465001/1465001 111.58/109.57 c cleaning 10001 clauses out of 20014 with flag 1475000/1475000 112.28/110.23 c cleaning 10005 clauses out of 20018 with flag 1485005/1485005 112.98/110.90 c cleaning 10000 clauses out of 20010 with flag 1495002/1495002 113.59/111.54 c cleaning 10000 clauses out of 20008 with flag 1505000/1505000 114.29/112.21 c cleaning 10001 clauses out of 20009 with flag 1515001/1515001 114.89/112.90 c cleaning 9996 clauses out of 20008 with flag 1525001/1525001 115.59/113.51 c cleaning 10000 clauses out of 20012 with flag 1535001/1535001 116.19/114.19 c cleaning 10000 clauses out of 20011 with flag 1545000/1545000 116.89/114.83 c cleaning 10003 clauses out of 20011 with flag 1555000/1555000 117.60/115.52 c cleaning 9996 clauses out of 20008 with flag 1565000/1565000 118.29/116.23 c cleaning 10004 clauses out of 20013 with flag 1575001/1575001 118.99/116.94 c cleaning 9999 clauses out of 20010 with flag 1585002/1585002 119.69/117.63 c cleaning 10000 clauses out of 20009 with flag 1595000/1595000 120.30/118.25 c cleaning 9998 clauses out of 20011 with flag 1605002/1605002 121.00/118.94 c cleaning 10001 clauses out of 20013 with flag 1615002/1615002 121.70/119.64 c cleaning 9995 clauses out of 20010 with flag 1625000/1625000 122.40/120.32 c cleaning 9997 clauses out of 20016 with flag 1635001/1635001 123.10/121.03 c cleaning 10002 clauses out of 20019 with flag 1645001/1645001 123.70/121.68 c cleaning 10003 clauses out of 20020 with flag 1655004/1655004 124.40/122.34 c cleaning 10001 clauses out of 20014 with flag 1665001/1665001 125.00/122.97 c cleaning 10001 clauses out of 20015 with flag 1675003/1675003 125.71/123.61 c cleaning 10002 clauses out of 20012 with flag 1685001/1685001 126.32/124.26 c cleaning 9998 clauses out of 20009 with flag 1695000/1695000 126.92/124.89 c cleaning 10000 clauses out of 20011 with flag 1705000/1705000 127.53/125.50 c cleaning 10001 clauses out of 20012 with flag 1715001/1715001 128.22/126.16 c cleaning 9998 clauses out of 20011 with flag 1725001/1725001 128.82/126.78 c cleaning 10002 clauses out of 20013 with flag 1735001/1735001 129.52/127.47 c cleaning 9999 clauses out of 20010 with flag 1745000/1745000 130.22/128.11 c cleaning 10000 clauses out of 20011 with flag 1755000/1755000 130.83/128.74 c cleaning 9998 clauses out of 20011 with flag 1765000/1765000 131.42/129.38 c cleaning 10002 clauses out of 20013 with flag 1775000/1775000 132.12/130.02 c cleaning 9999 clauses out of 20011 with flag 1785000/1785000 132.73/130.64 c cleaning 10002 clauses out of 20012 with flag 1795000/1795000 133.33/131.26 c cleaning 10000 clauses out of 20010 with flag 1805000/1805000 134.03/131.93 c cleaning 9999 clauses out of 20012 with flag 1815002/1815002 134.63/132.54 c cleaning 9999 clauses out of 20011 with flag 1825000/1825000 135.34/133.23 c cleaning 9998 clauses out of 20012 with flag 1835000/1835000 136.04/133.91 c cleaning 9999 clauses out of 20014 with flag 1845000/1845000 136.64/134.57 c cleaning 10002 clauses out of 20015 with flag 1855000/1855000 137.44/135.31 c cleaning 10001 clauses out of 20013 with flag 1865000/1865000 138.24/136.10 c cleaning 10001 clauses out of 20012 with flag 1875000/1875000 138.84/136.75 c cleaning 9998 clauses out of 20013 with flag 1885002/1885002 139.44/137.38 c cleaning 10004 clauses out of 20014 with flag 1895001/1895001 140.14/138.00 c cleaning 9999 clauses out of 20009 with flag 1905000/1905000 140.75/138.67 c cleaning 9995 clauses out of 20010 with flag 1915000/1915000 141.44/139.36 c cleaning 10003 clauses out of 20015 with flag 1925000/1925000 142.04/139.98 c cleaning 10002 clauses out of 20012 with flag 1935000/1935000 142.75/140.67 c cleaning 9996 clauses out of 20011 with flag 1945001/1945001 143.45/141.33 c cleaning 9998 clauses out of 20014 with flag 1955000/1955000 144.06/141.99 c cleaning 10002 clauses out of 20017 with flag 1965001/1965001 144.75/142.64 c cleaning 10002 clauses out of 20014 with flag 1975000/1975000 145.35/143.26 c cleaning 10002 clauses out of 20015 with flag 1985003/1985003 146.05/143.93 c cleaning 10001 clauses out of 20014 with flag 1995004/1995004 146.75/144.60 c cleaning 9999 clauses out of 20012 with flag 2005003/2005003 147.36/145.26 c cleaning 10000 clauses out of 20010 with flag 2015000/2015000 148.05/145.96 c cleaning 10000 clauses out of 20011 with flag 2025001/2025001 148.76/146.66 c cleaning 10002 clauses out of 20010 with flag 2035000/2035000 149.46/147.33 c cleaning 9996 clauses out of 20008 with flag 2045000/2045000 150.06/148.00 c cleaning 10003 clauses out of 20014 with flag 2055002/2055002 150.76/148.63 c cleaning 10001 clauses out of 20009 with flag 2065000/2065000 151.46/149.34 c cleaning 9997 clauses out of 20009 with flag 2075001/2075001 152.16/150.01 c cleaning 10002 clauses out of 20011 with flag 2085000/2085000 152.86/150.71 c cleaning 9998 clauses out of 20010 with flag 2095001/2095001 153.56/151.40 c cleaning 9999 clauses out of 20011 with flag 2105000/2105000 154.26/152.11 c cleaning 10004 clauses out of 20014 with flag 2115002/2115002 154.86/152.79 c cleaning 10000 clauses out of 20010 with flag 2125002/2125002 155.57/153.42 c cleaning 9996 clauses out of 20008 with flag 2135000/2135000 156.17/154.06 c cleaning 9997 clauses out of 20014 with flag 2145002/2145002 156.77/154.68 c cleaning 10003 clauses out of 20015 with flag 2155000/2155000 157.47/155.37 c cleaning 10001 clauses out of 20012 with flag 2165000/2165000 158.17/156.01 c cleaning 10000 clauses out of 20012 with flag 2175001/2175001 158.77/156.66 c cleaning 10000 clauses out of 20011 with flag 2185000/2185000 159.48/157.38 c cleaning 10001 clauses out of 20011 with flag 2195000/2195000 160.27/158.13 c cleaning 10002 clauses out of 20011 with flag 2205001/2205001 160.88/158.79 c cleaning 10001 clauses out of 20010 with flag 2215002/2215002 161.58/159.47 c cleaning 10001 clauses out of 20009 with flag 2225002/2225002 162.28/160.18 c cleaning 9998 clauses out of 20007 with flag 2235001/2235001 162.98/160.88 c cleaning 9999 clauses out of 20008 with flag 2245000/2245000 163.69/161.58 c cleaning 9996 clauses out of 20010 with flag 2255001/2255001 164.39/162.24 c cleaning 10003 clauses out of 20015 with flag 2265002/2265002 164.99/162.90 c cleaning 9997 clauses out of 20010 with flag 2275000/2275000 165.69/163.58 c cleaning 10000 clauses out of 20013 with flag 2285000/2285000 166.39/164.27 c cleaning 10004 clauses out of 20015 with flag 2295002/2295002 167.09/164.95 c cleaning 9995 clauses out of 20009 with flag 2305000/2305000 167.79/165.67 c cleaning 10002 clauses out of 20014 with flag 2315000/2315000 168.49/166.30 c cleaning 9994 clauses out of 20012 with flag 2325000/2325000 169.09/166.98 c cleaning 10002 clauses out of 20018 with flag 2335000/2335000 169.70/167.58 c cleaning 10001 clauses out of 20017 with flag 2345001/2345001 170.39/168.23 c cleaning 10003 clauses out of 20016 with flag 2355001/2355001 171.00/168.86 c cleaning 9997 clauses out of 20013 with flag 2365001/2365001 171.60/169.49 c cleaning 10002 clauses out of 20015 with flag 2375000/2375000 172.30/170.13 c cleaning 10002 clauses out of 20015 with flag 2385002/2385002 172.90/170.78 c cleaning 10002 clauses out of 20011 with flag 2395000/2395000 173.60/171.43 c cleaning 10001 clauses out of 20009 with flag 2405000/2405000 174.20/172.06 c cleaning 9997 clauses out of 20009 with flag 2415001/2415001 174.80/172.68 c cleaning 10000 clauses out of 20011 with flag 2425000/2425000 175.51/173.35 c cleaning 10000 clauses out of 20011 with flag 2435000/2435000 176.21/174.00 c cleaning 10001 clauses out of 20012 with flag 2445001/2445001 176.81/174.68 c cleaning 10003 clauses out of 20012 with flag 2455002/2455002 177.52/175.31 c cleaning 9997 clauses out of 20007 with flag 2465000/2465000 178.12/175.98 c cleaning 10002 clauses out of 20013 with flag 2475003/2475003 178.82/176.65 c cleaning 9998 clauses out of 20010 with flag 2485002/2485002 179.62/177.41 c cleaning 9999 clauses out of 20010 with flag 2495000/2495000 180.22/178.09 c cleaning 10002 clauses out of 20012 with flag 2505001/2505001 181.02/178.81 c cleaning 9998 clauses out of 20009 with flag 2515000/2515000 181.63/179.46 c cleaning 9999 clauses out of 20013 with flag 2525002/2525002 182.22/180.08 c cleaning 10001 clauses out of 20012 with flag 2535000/2535000 182.92/180.78 c cleaning 9999 clauses out of 20011 with flag 2545000/2545000 183.63/181.48 c cleaning 9999 clauses out of 20014 with flag 2555002/2555002 184.32/182.14 c cleaning 10001 clauses out of 20014 with flag 2565001/2565001 185.02/182.82 c cleaning 10000 clauses out of 20012 with flag 2575000/2575000 185.73/183.57 c cleaning 9999 clauses out of 20013 with flag 2585001/2585001 186.43/184.25 c cleaning 9999 clauses out of 20015 with flag 2595002/2595002 187.13/184.97 c cleaning 9999 clauses out of 20016 with flag 2605002/2605002 187.83/185.63 c cleaning 10002 clauses out of 20015 with flag 2615000/2615000 188.53/186.32 c cleaning 10003 clauses out of 20013 with flag 2625000/2625000 189.23/187.04 c cleaning 9996 clauses out of 20010 with flag 2635000/2635000 189.93/187.72 c cleaning 9998 clauses out of 20014 with flag 2645000/2645000 190.63/188.44 c cleaning 9996 clauses out of 20017 with flag 2655001/2655001 191.33/189.15 c cleaning 10006 clauses out of 20020 with flag 2665000/2665000 192.13/189.91 c cleaning 10000 clauses out of 20014 with flag 2675000/2675000 192.84/190.62 c cleaning 10001 clauses out of 20014 with flag 2685000/2685000 193.54/191.32 c cleaning 9997 clauses out of 20014 with flag 2695001/2695001 194.24/192.02 c cleaning 9997 clauses out of 20016 with flag 2705000/2705000 194.84/192.68 c cleaning 10004 clauses out of 20020 with flag 2715001/2715001 195.54/193.35 c cleaning 10004 clauses out of 20015 with flag 2725000/2725000 196.34/194.12 c cleaning 9998 clauses out of 20012 with flag 2735001/2735001 197.05/194.82 c cleaning 9998 clauses out of 20013 with flag 2745000/2745000 197.75/195.54 c cleaning 10002 clauses out of 20015 with flag 2755000/2755000 198.35/196.17 c cleaning 10002 clauses out of 20013 with flag 2765000/2765000 199.05/196.86 c cleaning 9999 clauses out of 20011 with flag 2775000/2775000 199.75/197.56 c cleaning 9999 clauses out of 20012 with flag 2785000/2785000 200.45/198.21 c cleaning 10001 clauses out of 20015 with flag 2795002/2795002 201.15/198.91 c cleaning 9997 clauses out of 20012 with flag 2805000/2805000 201.75/199.59 c cleaning 10002 clauses out of 20017 with flag 2815002/2815002 202.56/200.35 c cleaning 9998 clauses out of 20014 with flag 2825001/2825001 203.26/201.04 c cleaning 9999 clauses out of 20016 with flag 2835001/2835001 203.85/201.67 c cleaning 10005 clauses out of 20017 with flag 2845001/2845001 204.56/202.32 c cleaning 10000 clauses out of 20011 with flag 2855000/2855000 205.27/203.02 c cleaning 9998 clauses out of 20011 with flag 2865000/2865000 205.87/203.68 c cleaning 10000 clauses out of 20013 with flag 2875000/2875000 206.57/204.32 c cleaning 10001 clauses out of 20015 with flag 2885002/2885002 207.17/204.99 c cleaning 9999 clauses out of 20012 with flag 2895000/2895000 207.87/205.66 c cleaning 10001 clauses out of 20013 with flag 2905000/2905000 208.47/206.29 c cleaning 10002 clauses out of 20012 with flag 2915000/2915000 209.18/206.92 c cleaning 10000 clauses out of 20010 with flag 2925000/2925000 209.87/207.63 c cleaning 9999 clauses out of 20010 with flag 2935000/2935000 210.58/208.30 c cleaning 10001 clauses out of 20012 with flag 2945001/2945001 211.18/208.93 c cleaning 9994 clauses out of 20010 with flag 2955000/2955000 211.88/209.62 c cleaning 10003 clauses out of 20017 with flag 2965001/2965001 212.49/210.28 c cleaning 9999 clauses out of 20014 with flag 2975001/2975001 213.18/210.96 c cleaning 10002 clauses out of 20015 with flag 2985001/2985001 213.88/211.65 c cleaning 10003 clauses out of 20016 with flag 2995004/2995004 214.48/212.28 c cleaning 9998 clauses out of 20010 with flag 3005001/3005001 215.18/212.98 c cleaning 9996 clauses out of 20013 with flag 3015002/3015002 215.89/213.63 c cleaning 10005 clauses out of 20019 with flag 3025004/3025004 216.49/214.27 c cleaning 9998 clauses out of 20012 with flag 3035002/3035002 217.19/214.95 c cleaning 9999 clauses out of 20012 with flag 3045000/3045000 217.89/215.69 c cleaning 10001 clauses out of 20016 with flag 3055003/3055003 218.59/216.37 c cleaning 9998 clauses out of 20012 with flag 3065000/3065000 219.29/217.02 c cleaning 10004 clauses out of 20015 with flag 3075001/3075001 219.89/217.67 c cleaning 10003 clauses out of 20011 with flag 3085001/3085001 220.59/218.36 c cleaning 9997 clauses out of 20008 with flag 3095001/3095001 221.30/219.05 c cleaning 9999 clauses out of 20010 with flag 3105000/3105000 221.90/219.70 c cleaning 9994 clauses out of 20011 with flag 3115000/3115000 222.60/220.37 c cleaning 10007 clauses out of 20019 with flag 3125002/3125002 223.30/221.01 c cleaning 10003 clauses out of 20013 with flag 3135003/3135003 224.00/221.70 c cleaning 10000 clauses out of 20011 with flag 3145004/3145004 224.61/222.34 c cleaning 10000 clauses out of 20009 with flag 3155002/3155002 225.30/223.06 c cleaning 9994 clauses out of 20007 with flag 3165000/3165000 226.10/223.82 c cleaning 10003 clauses out of 20014 with flag 3175001/3175001 226.71/224.49 c cleaning 10000 clauses out of 20011 with flag 3185001/3185001 227.51/225.24 c cleaning 9996 clauses out of 20010 with flag 3195000/3195000 228.32/226.01 c cleaning 10002 clauses out of 20014 with flag 3205000/3205000 229.02/226.71 c cleaning 10002 clauses out of 20013 with flag 3215001/3215001 229.72/227.41 c cleaning 9999 clauses out of 20010 with flag 3225000/3225000 230.32/228.04 c cleaning 10002 clauses out of 20015 with flag 3235004/3235004 230.92/228.65 c cleaning 9999 clauses out of 20009 with flag 3245000/3245000 231.62/229.36 c cleaning 9999 clauses out of 20012 with flag 3255002/3255002 232.23/229.99 c cleaning 10002 clauses out of 20011 with flag 3265000/3265000 232.93/230.61 c cleaning 10002 clauses out of 20010 with flag 3275001/3275001 233.53/231.25 c cleaning 9999 clauses out of 20009 with flag 3285002/3285002 234.14/231.86 c cleaning 10000 clauses out of 20010 with flag 3295002/3295002 234.84/232.53 c cleaning 10002 clauses out of 20013 with flag 3305005/3305005 235.44/233.19 c cleaning 10000 clauses out of 20008 with flag 3315002/3315002 236.14/233.83 c cleaning 9997 clauses out of 20008 with flag 3325002/3325002 236.74/234.46 c cleaning 9997 clauses out of 20010 with flag 3335001/3335001 237.44/235.10 c cleaning 10000 clauses out of 20014 with flag 3345002/3345002 238.04/235.78 c cleaning 10000 clauses out of 20013 with flag 3355001/3355001 238.74/236.41 c cleaning 9999 clauses out of 20014 with flag 3365002/3365002 239.35/237.02 c cleaning 10001 clauses out of 20016 with flag 3375003/3375003 239.96/237.64 c cleaning 10002 clauses out of 20013 with flag 3385001/3385001 240.56/238.28 c cleaning 10001 clauses out of 20011 with flag 3395001/3395001 241.26/238.96 c cleaning 9991 clauses out of 20009 with flag 3405000/3405000 241.96/239.62 c cleaning 10000 clauses out of 20020 with flag 3415002/3415002 242.66/240.31 c cleaning 9999 clauses out of 20018 with flag 3425000/3425000 243.27/240.94 c cleaning 10003 clauses out of 20019 with flag 3435000/3435000 243.87/241.60 c cleaning 9998 clauses out of 20016 with flag 3445000/3445000 244.57/242.25 c cleaning 10004 clauses out of 20019 with flag 3455001/3455001 245.18/242.87 c cleaning 9995 clauses out of 20014 with flag 3465000/3465000 245.78/243.49 c cleaning 10004 clauses out of 20019 with flag 3475000/3475000 246.48/244.13 c cleaning 10004 clauses out of 20017 with flag 3485002/3485002 247.08/244.78 c cleaning 10000 clauses out of 20013 with flag 3495002/3495002 247.79/245.44 c cleaning 10001 clauses out of 20013 with flag 3505002/3505002 248.38/246.10 c cleaning 10001 clauses out of 20010 with flag 3515000/3515000 249.09/246.72 c cleaning 10002 clauses out of 20009 with flag 3525000/3525000 249.69/247.38 c cleaning 9993 clauses out of 20008 with flag 3535001/3535001 250.29/247.99 c cleaning 10002 clauses out of 20014 with flag 3545000/3545000 250.99/248.61 c cleaning 9995 clauses out of 20012 with flag 3555000/3555000 251.59/249.27 c cleaning 10003 clauses out of 20018 with flag 3565001/3565001 252.29/249.91 c cleaning 9999 clauses out of 20016 with flag 3575002/3575002 252.89/250.56 c cleaning 10004 clauses out of 20020 with flag 3585005/3585005 253.50/251.19 c cleaning 9998 clauses out of 20012 with flag 3595001/3595001 254.11/251.78 c cleaning 10003 clauses out of 20014 with flag 3605001/3605001 254.81/252.43 c cleaning 10003 clauses out of 20012 with flag 3615002/3615002 255.42/253.09 c cleaning 9998 clauses out of 20009 with flag 3625002/3625002 256.12/253.70 c cleaning 9992 clauses out of 20009 with flag 3635000/3635000 256.72/254.39 c cleaning 10000 clauses out of 20017 with flag 3645000/3645000 257.43/255.02 c cleaning 9996 clauses out of 20017 with flag 3655000/3655000 258.03/255.66 c cleaning 10004 clauses out of 20022 with flag 3665001/3665001 258.74/256.32 c cleaning 10004 clauses out of 20019 with flag 3675002/3675002 259.33/256.92 c cleaning 10002 clauses out of 20015 with flag 3685002/3685002 260.04/257.68 c cleaning 9996 clauses out of 20012 with flag 3695001/3695001 260.74/258.39 c cleaning 10001 clauses out of 20016 with flag 3705001/3705001 261.45/259.04 c cleaning 10000 clauses out of 20015 with flag 3715001/3715001 262.06/259.64 c cleaning 10001 clauses out of 20014 with flag 3725000/3725000 262.75/260.33 c cleaning 10002 clauses out of 20017 with flag 3735004/3735004 263.36/260.99 c cleaning 9997 clauses out of 20011 with flag 3745000/3745000 264.06/261.67 c cleaning 10003 clauses out of 20014 with flag 3755000/3755000 264.76/262.37 c cleaning 9992 clauses out of 20013 with flag 3765002/3765002 265.47/263.04 c cleaning 10005 clauses out of 20019 with flag 3775000/3775000 266.17/263.77 c cleaning 10003 clauses out of 20015 with flag 3785001/3785001 266.87/264.43 c cleaning 10001 clauses out of 20012 with flag 3795001/3795001 267.58/265.13 c cleaning 9996 clauses out of 20010 with flag 3805000/3805000 268.18/265.79 c cleaning 9997 clauses out of 20014 with flag 3815000/3815000 268.88/266.43 c cleaning 10002 clauses out of 20018 with flag 3825001/3825001 269.59/267.10 c cleaning 10004 clauses out of 20015 with flag 3835000/3835000 270.19/267.73 c cleaning 10001 clauses out of 20011 with flag 3845000/3845000 270.79/268.39 c cleaning 9999 clauses out of 20011 with flag 3855001/3855001 271.50/269.01 c cleaning 10000 clauses out of 20011 with flag 3865000/3865000 272.10/269.64 c cleaning 10002 clauses out of 20012 with flag 3875001/3875001 272.80/270.32 c cleaning 10004 clauses out of 20015 with flag 3885006/3885006 273.51/271.04 c cleaning 9995 clauses out of 20005 with flag 3895000/3895000 274.22/271.72 c cleaning 9998 clauses out of 20010 with flag 3905000/3905000 274.92/272.40 c cleaning 9999 clauses out of 20016 with flag 3915004/3915004 275.52/273.07 c cleaning 9996 clauses out of 20013 with flag 3925000/3925000 276.23/273.75 c cleaning 9999 clauses out of 20017 with flag 3935000/3935000 276.82/274.34 c cleaning 10005 clauses out of 20019 with flag 3945001/3945001 277.43/274.97 c cleaning 10002 clauses out of 20014 with flag 3955001/3955001 278.13/275.66 c cleaning 10000 clauses out of 20012 with flag 3965001/3965001 278.74/276.27 c cleaning 10001 clauses out of 20014 with flag 3975003/3975003 279.45/276.99 c cleaning 9997 clauses out of 20012 with flag 3985002/3985002 280.15/277.61 c cleaning 10001 clauses out of 20013 with flag 3995000/3995000 280.76/278.24 c cleaning 9999 clauses out of 20012 with flag 4005000/4005000 281.46/278.92 c cleaning 10001 clauses out of 20013 with flag 4015000/4015000 282.07/279.53 c cleaning 10003 clauses out of 20012 with flag 4025000/4025000 282.67/280.18 c cleaning 10003 clauses out of 20012 with flag 4035003/4035003 283.37/280.84 c cleaning 9999 clauses out of 20007 with flag 4045001/4045001 283.98/281.49 c cleaning 10002 clauses out of 20011 with flag 4055004/4055004 284.79/282.20 c cleaning 9999 clauses out of 20005 with flag 4065000/4065000 285.40/282.87 c cleaning 9998 clauses out of 20006 with flag 4075000/4075000 286.10/283.54 c cleaning 9999 clauses out of 20010 with flag 4085002/4085002 286.70/284.17 c cleaning 9996 clauses out of 20009 with flag 4095000/4095000 287.52/284.95 c cleaning 10000 clauses out of 20014 with flag 4105001/4105001 288.22/285.64 c cleaning 9991 clauses out of 20015 with flag 4115002/4115002 288.82/286.29 c cleaning 10004 clauses out of 20023 with flag 4125001/4125001 289.53/286.95 c cleaning 10002 clauses out of 20018 with flag 4135000/4135000 290.33/287.72 c cleaning 9995 clauses out of 20016 with flag 4145000/4145000 290.94/288.37 c cleaning 10005 clauses out of 20022 with flag 4155001/4155001 291.63/289.02 c cleaning 10002 clauses out of 20016 with flag 4165000/4165000 292.24/289.66 c cleaning 9999 clauses out of 20014 with flag 4175000/4175000 292.94/290.40 c cleaning 10003 clauses out of 20015 with flag 4185000/4185000 293.74/291.10 c cleaning 10003 clauses out of 20013 with flag 4195001/4195001 294.44/291.84 c cleaning 9997 clauses out of 20009 with flag 4205000/4205000 295.15/292.50 c cleaning 9989 clauses out of 20012 with flag 4215000/4215000 295.76/293.14 c cleaning 10003 clauses out of 20023 with flag 4225000/4225000 296.46/293.82 c cleaning 10000 clauses out of 20020 with flag 4235000/4235000 297.16/294.56 c cleaning 10000 clauses out of 20021 with flag 4245001/4245001 297.97/295.30 c cleaning 9999 clauses out of 20022 with flag 4255002/4255002 298.77/296.12 c cleaning 10000 clauses out of 20022 with flag 4265001/4265001 299.48/296.88 c cleaning 10004 clauses out of 20023 with flag 4275002/4275002 300.28/297.69 c cleaning 9996 clauses out of 20018 with flag 4285001/4285001 301.09/298.44 c cleaning 10007 clauses out of 20023 with flag 4295002/4295002 301.69/299.07 c cleaning 9997 clauses out of 20015 with flag 4305001/4305001 302.40/299.72 c cleaning 10003 clauses out of 20018 with flag 4315001/4315001 303.01/300.35 c cleaning 9990 clauses out of 20014 with flag 4325000/4325000 303.71/301.09 c cleaning 10009 clauses out of 20027 with flag 4335003/4335003 304.41/301.75 c cleaning 9998 clauses out of 20015 with flag 4345000/4345000 305.01/302.39 c cleaning 10003 clauses out of 20017 with flag 4355000/4355000 305.72/303.03 c cleaning 10003 clauses out of 20018 with flag 4365004/4365004 306.43/303.71 c cleaning 9997 clauses out of 20011 with flag 4375000/4375000 307.03/304.35 c cleaning 10002 clauses out of 20014 with flag 4385000/4385000 307.73/305.03 c cleaning 9995 clauses out of 20014 with flag 4395002/4395002 308.44/305.71 c cleaning 10004 clauses out of 20018 with flag 4405001/4405001 309.04/306.34 c cleaning 9998 clauses out of 20015 with flag 4415002/4415002 309.65/306.98 c cleaning 10003 clauses out of 20016 with flag 4425001/4425001 310.35/307.63 c cleaning 9999 clauses out of 20015 with flag 4435003/4435003 311.11/308.33 c cleaning 10005 clauses out of 20013 with flag 4445000/4445000 311.91/309.06 c cleaning 9995 clauses out of 20008 with flag 4455001/4455001 312.63/309.77 c cleaning 9997 clauses out of 20014 with flag 4465002/4465002 313.33/310.42 c cleaning 10003 clauses out of 20015 with flag 4475000/4475000 314.03/311.17 c cleaning 9996 clauses out of 20013 with flag 4485001/4485001 314.84/311.93 c cleaning 9997 clauses out of 20016 with flag 4495000/4495000 315.64/312.76 c cleaning 10005 clauses out of 20020 with flag 4505001/4505001 316.35/313.42 c cleaning 10002 clauses out of 20014 with flag 4515000/4515000 317.05/314.12 c cleaning 9999 clauses out of 20012 with flag 4525000/4525000 317.86/314.93 c cleaning 9986 clauses out of 20013 with flag 4535000/4535000 318.56/315.70 c cleaning 10009 clauses out of 20029 with flag 4545002/4545002 319.36/316.41 c cleaning 10001 clauses out of 20018 with flag 4555000/4555000 319.96/317.06 c cleaning 10005 clauses out of 20018 with flag 4565001/4565001 320.76/317.83 c cleaning 9999 clauses out of 20012 with flag 4575000/4575000 321.57/318.62 c cleaning 10003 clauses out of 20015 with flag 4585002/4585002 322.22/319.26 c cleaning 9991 clauses out of 20009 with flag 4595000/4595000 322.93/319.92 c cleaning 10003 clauses out of 20021 with flag 4605003/4605003 323.63/320.69 c cleaning 9994 clauses out of 20016 with flag 4615001/4615001 324.44/321.44 c cleaning 10006 clauses out of 20021 with flag 4625000/4625000 325.14/322.16 c cleaning 10004 clauses out of 20017 with flag 4635003/4635003 325.54/322.55 c starts : 293 325.54/322.55 c conflicts : 4640366 325.54/322.55 c decisions : 7066378 325.54/322.55 c propagations : 230688913 325.54/322.55 c inspects : 2342300299 325.54/322.55 c learnt literals : 12 325.54/322.55 c learnt binary clauses : 24 325.54/322.55 c learnt ternary clauses : 783 325.54/322.55 c learnt clauses : 4640353 325.54/322.55 c ignored clauses : 0 325.54/322.55 c root simplifications : 0 325.54/322.55 c removed literals (reason simplification) : 23279218 325.54/322.55 c reason swapping (by a shorter reason) : 0 325.54/322.55 c Calls to reduceDB : 465 325.54/322.55 c number of reductions to clauses (during analyze) : 0 325.54/322.55 c number of learned constraints concerned by reduction : 0 325.54/322.55 c number of learning phase by resolution : 0 325.54/322.55 c number of learning phase by cutting planes : 0 325.54/322.55 c speed (assignments/second) : 871714.9955788663 325.54/322.55 c non guided choices 4934 325.54/322.55 c learnt constraints type 325.54/322.55 c constraints type 325.54/322.55 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684 325.54/322.55 c org.sat4j.pb.constraints.pb.MaxWatchPb => 23 325.54/322.56 s OPTIMUM FOUND 325.54/322.56 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 325.54/322.56 c objective function=2 325.54/322.56 c Total wall clock time (in seconds): 322.459
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698218-1278328380/watcher-2698218-1278328380 -o /tmp/evaluation-result-2698218-1278328380/solver-2698218-1278328380 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698218-1278328380.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.95 3/196 4969 /proc/meminfo: memFree=32390696/32950928 swapFree=67111528/67111528 [pid=4969] ppid=4967 vsize=13484 CPUtime=0 /proc/4969/stat : 4969 (java) S 4967 4969 3792 0 -1 4202496 1107 0 0 0 0 0 0 0 21 0 2 0 1051580 13807616 579 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 /proc/4969/statm: 3371 579 262 10 0 1205 0 [pid=4969/tid=4970] ppid=4967 vsize=13480 CPUtime=0 /proc/4969/task/4970/stat : 4970 (java) R 4967 4969 3792 0 -1 4202560 70 0 0 0 0 0 0 0 22 0 2 0 1051581 13803520 582 4089446400 134512640 134550932 4290580256 18446744073709551615 8581716 0 2147483391 0 16784584 0 0 0 -1 5 0 0 0 [startup+0.106271 s] /proc/loadavg: 2.00 2.00 1.95 3/196 4969 /proc/meminfo: memFree=32390696/32950928 swapFree=67111528/67111528 [pid=4969] ppid=4967 vsize=1529880 CPUtime=0.11 /proc/4969/stat : 4969 (java) S 4967 4969 3792 0 -1 4202496 5238 0 1 0 10 1 0 0 21 0 18 0 1051580 1566597120 4671 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4969/statm: 382470 4671 1347 10 0 379773 0 [pid=4969/tid=4970] ppid=4967 vsize=1529880 CPUtime=0.08 /proc/4969/task/4970/stat : 4970 (java) R 4967 4969 3792 0 -1 4202560 3581 0 1 0 7 1 0 0 25 0 18 0 1051581 1566597120 4671 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529880 [startup+0.200893 s] /proc/loadavg: 2.00 2.00 1.95 3/196 4969 /proc/meminfo: memFree=32390696/32950928 swapFree=67111528/67111528 [pid=4969] ppid=4967 vsize=1529880 CPUtime=0.25 /proc/4969/stat : 4969 (java) S 4967 4969 3792 0 -1 4202496 5857 0 1 0 24 1 0 0 21 0 18 0 1051580 1566597120 5290 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4969/statm: 382470 5291 1380 10 0 379773 0 [pid=4969/tid=4970] ppid=4967 vsize=1529880 CPUtime=0.17 /proc/4969/task/4970/stat : 4970 (java) R 4967 4969 3792 0 -1 4202560 4119 0 1 0 16 1 0 0 25 0 18 0 1051581 1566597120 5291 4089446400 134512640 134550932 4290580256 18446744073709551615 4108880756 0 4 0 16800975 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 1529880 [startup+0.303294 s] /proc/loadavg: 2.00 2.00 1.95 3/196 4969 /proc/meminfo: memFree=32390696/32950928 swapFree=67111528/67111528 [pid=4969] ppid=4967 vsize=1532840 CPUtime=0.56 /proc/4969/stat : 4969 (java) S 4967 4969 3792 0 -1 4202496 8052 0 1 0 54 2 0 0 21 0 18 0 1051580 1569628160 7290 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4969/statm: 383210 7290 1415 10 0 380513 0 [pid=4969/tid=4970] ppid=4967 vsize=1532840 CPUtime=0.27 /proc/4969/task/4970/stat : 4970 (java) R 4967 4969 3792 0 -1 4202560 5313 0 1 0 26 1 0 0 25 0 18 0 1051581 1569628160 7290 4089446400 134512640 134550932 4290580256 18446744073709551615 4108880384 0 4 0 16800975 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.56 Current children cumulated vsize (KiB) 1532840 [startup+0.70022 s] /proc/loadavg: 2.00 2.00 1.95 3/196 4969 /proc/meminfo: memFree=32390696/32950928 swapFree=67111528/67111528 [pid=4969] ppid=4967 vsize=1554284 CPUtime=1.74 /proc/4969/stat : 4969 (java) S 4967 4969 3792 0 -1 4202496 18245 0 1 0 171 3 0 0 21 0 19 0 1051580 1591586816 13076 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4969/statm: 388571 13076 1425 10 0 385874 0 [pid=4969/tid=4970] ppid=4967 vsize=1554284 CPUtime=0.67 /proc/4969/task/4970/stat : 4970 (java) R 4967 4969 3792 0 -1 4202560 6149 0 1 0 66 1 0 0 25 0 19 0 1051581 1591586816 13076 4089446400 134512640 134550932 4290580256 18446744073709551615 4108868938 0 4 0 16800975 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1.74 Current children cumulated vsize (KiB) 1554284 [startup+1.50108 s] /proc/loadavg: 2.00 2.00 1.95 5/215 4988 /proc/meminfo: memFree=32329976/32950928 swapFree=67111528/67111528 [pid=4969] ppid=4967 vsize=1553596 CPUtime=3.01 /proc/4969/stat : 4969 (java) S 4967 4969 3792 0 -1 4202496 26877 0 1 0 297 4 0 0 21 0 19 0 1051580 1590882304 21661 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4969/statm: 388399 21661 1431 10 0 385702 0 [pid=4969/tid=4970] ppid=4967 vsize=1553596 CPUtime=1.47 /proc/4969/task/4970/stat : 4970 (java) R 4967 4969 3792 0 -1 4202560 14597 0 1 0 145 2 0 0 25 0 19 0 1051581 1590882304 21661 4089446400 134512640 134550932 4290580256 18446744073709551615 4109664831 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=4969/tid=4972] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4972/stat : 4972 (java) S 4967 4969 3792 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 1051581 1590882304 21661 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4973] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4973/stat : 4973 (java) S 4967 4969 3792 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 1051581 1590882304 21661 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4974] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4974/stat : 4974 (java) S 4967 4969 3792 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 1051581 1590882304 21661 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4975] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4975/stat : 4975 (java) S 4967 4969 3792 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 1051581 1590882304 21662 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4976] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4976/stat : 4976 (java) S 4967 4969 3792 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 1051581 1590882304 21662 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4977] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4977/stat : 4977 (java) S 4967 4969 3792 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 1051581 1590882304 21662 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4978] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4978/stat : 4978 (java) S 4967 4969 3792 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 1051581 1590882304 21662 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4979] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4979/stat : 4979 (java) S 4967 4969 3792 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 1051581 1590882304 21662 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4980] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4980/stat : 4980 (java) S 4967 4969 3792 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 1051582 1590882304 21662 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 0 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4981] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4981/stat : 4981 (java) S 4967 4969 3792 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 19 0 1051582 1590882304 21662 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4982] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4982/stat : 4982 (java) S 4967 4969 3792 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 19 0 1051582 1590882304 21662 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4983] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4983/stat : 4983 (java) S 4967 4969 3792 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 1051585 1590882304 21662 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4984] ppid=4967 vsize=1553596 CPUtime=0.78 /proc/4969/task/4984/stat : 4984 (java) S 4967 4969 3792 0 -1 4202560 6331 0 0 0 78 0 0 0 16 0 19 0 1051585 1590882304 21662 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 6 0 0 0 [pid=4969/tid=4985] ppid=4967 vsize=1553596 CPUtime=0.73 /proc/4969/task/4985/stat : 4985 (java) S 4967 4969 3792 0 -1 4202560 4875 0 0 0 73 0 0 0 15 0 19 0 1051585 1590882304 21662 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 3 0 0 0 [pid=4969/tid=4986] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4986/stat : 4986 (java) S 4967 4969 3792 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 1051585 1590882304 21662 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 3 0 0 0 [pid=4969/tid=4987] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4987/stat : 4987 (java) S 4967 4969 3792 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 1051585 1590882304 21662 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4988] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4988/stat : 4988 (java) S 4967 4969 3792 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 19 0 1051619 1590882304 21662 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3.01 Current children cumulated vsize (KiB) 1553596 [startup+3.10072 s] /proc/loadavg: 2.00 2.00 1.95 3/215 4988 /proc/meminfo: memFree=32286948/32950928 swapFree=67111528/67111528 [pid=4969] ppid=4967 vsize=1553596 CPUtime=4.65 /proc/4969/stat : 4969 (java) S 4967 4969 3792 0 -1 4202496 32837 0 1 0 461 4 0 0 21 0 19 0 1051580 1590882304 27612 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4969/statm: 388399 27612 1445 10 0 385702 0 [pid=4969/tid=4970] ppid=4967 vsize=1553596 CPUtime=3.06 /proc/4969/task/4970/stat : 4970 (java) R 4967 4969 3792 0 -1 4202560 19428 0 1 0 303 3 0 0 25 0 19 0 1051581 1590882304 27612 4089446400 134512640 134550932 4290580256 18446744073709551615 4109589316 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=4969/tid=4972] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4972/stat : 4972 (java) S 4967 4969 3792 0 -1 4202560 170 0 0 0 0 0 0 0 18 0 19 0 1051581 1590882304 27612 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 7 0 0 0 [pid=4969/tid=4973] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4973/stat : 4973 (java) S 4967 4969 3792 0 -1 4202560 199 0 0 0 0 0 0 0 18 0 19 0 1051581 1590882304 27612 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 3 0 0 0 [pid=4969/tid=4974] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4974/stat : 4974 (java) S 4967 4969 3792 0 -1 4202560 157 0 0 0 0 0 0 0 18 0 19 0 1051581 1590882304 27612 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 7 0 0 0 [pid=4969/tid=4975] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4975/stat : 4975 (java) S 4967 4969 3792 0 -1 4202560 39 0 0 0 0 0 0 0 18 0 19 0 1051581 1590882304 27612 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 5 0 0 0 [pid=4969/tid=4976] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4976/stat : 4976 (java) S 4967 4969 3792 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 1051581 1590882304 27612 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 7 0 0 0 [pid=4969/tid=4977] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4977/stat : 4977 (java) S 4967 4969 3792 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 1051581 1590882304 27612 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 5 0 0 0 [pid=4969/tid=4978] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4978/stat : 4978 (java) S 4967 4969 3792 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 1051581 1590882304 27612 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 7 0 0 0 [pid=4969/tid=4979] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4979/stat : 4979 (java) S 4967 4969 3792 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 1051581 1590882304 27612 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 7 0 0 0 [pid=4969/tid=4980] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4980/stat : 4980 (java) S 4967 4969 3792 0 -1 4202560 552 0 0 0 0 0 0 0 16 0 19 0 1051582 1590882304 27612 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 0 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4981] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4981/stat : 4981 (java) S 4967 4969 3792 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 1051582 1590882304 27612 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4982] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4982/stat : 4982 (java) S 4967 4969 3792 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 1051582 1590882304 27612 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4983] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4983/stat : 4983 (java) S 4967 4969 3792 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 1051585 1590882304 27612 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4984] ppid=4967 vsize=1553596 CPUtime=0.8 /proc/4969/task/4984/stat : 4984 (java) S 4967 4969 3792 0 -1 4202560 6339 0 0 0 80 0 0 0 15 0 19 0 1051585 1590882304 27612 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 6 0 0 0 [pid=4969/tid=4985] ppid=4967 vsize=1553596 CPUtime=0.75 /proc/4969/task/4985/stat : 4985 (java) S 4967 4969 3792 0 -1 4202560 4879 0 0 0 75 0 0 0 16 0 19 0 1051585 1590882304 27612 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 3 0 0 0 [pid=4969/tid=4986] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4986/stat : 4986 (java) S 4967 4969 3792 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 1051585 1590882304 27612 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 3 0 0 0 [pid=4969/tid=4987] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4987/stat : 4987 (java) S 4967 4969 3792 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 1051585 1590882304 27612 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4988] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4988/stat : 4988 (java) S 4967 4969 3792 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 19 0 1051619 1590882304 27612 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4.65 Current children cumulated vsize (KiB) 1553596 [startup+6.30125 s] /proc/loadavg: 2.00 2.00 1.95 3/215 4988 /proc/meminfo: memFree=32277276/32950928 swapFree=67111528/67111528 [pid=4969] ppid=4967 vsize=1553596 CPUtime=8.09 /proc/4969/stat : 4969 (java) S 4967 4969 3792 0 -1 4202496 36187 0 1 0 804 5 0 0 21 0 19 0 1051580 1590882304 29976 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4969/statm: 388399 29976 1445 10 0 385702 0 [pid=4969/tid=4970] ppid=4967 vsize=1553596 CPUtime=6.23 /proc/4969/task/4970/stat : 4970 (java) R 4967 4969 3792 0 -1 4202560 19433 0 1 0 620 3 0 0 25 0 19 0 1051581 1590882304 29976 4089446400 134512640 134550932 4290580256 18446744073709551615 4109383551 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=4969/tid=4972] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4972/stat : 4972 (java) S 4967 4969 3792 0 -1 4202560 181 0 0 0 0 0 0 0 15 0 19 0 1051581 1590882304 29976 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 3 0 0 0 [pid=4969/tid=4973] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4973/stat : 4973 (java) S 4967 4969 3792 0 -1 4202560 199 0 0 0 0 0 0 0 15 0 19 0 1051581 1590882304 29976 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 3 0 0 0 [pid=4969/tid=4974] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4974/stat : 4974 (java) S 4967 4969 3792 0 -1 4202560 157 0 0 0 0 0 0 0 15 0 19 0 1051581 1590882304 29976 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 7 0 0 0 [pid=4969/tid=4975] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4975/stat : 4975 (java) S 4967 4969 3792 0 -1 4202560 39 0 0 0 0 0 0 0 15 0 19 0 1051581 1590882304 29976 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 5 0 0 0 [pid=4969/tid=4976] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4976/stat : 4976 (java) S 4967 4969 3792 0 -1 4202560 293 0 0 0 0 0 0 0 15 0 19 0 1051581 1590882304 29976 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 5 0 0 0 [pid=4969/tid=4977] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4977/stat : 4977 (java) S 4967 4969 3792 0 -1 4202560 163 0 0 0 0 0 0 0 16 0 19 0 1051581 1590882304 29976 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 3 0 0 0 [pid=4969/tid=4978] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4978/stat : 4978 (java) S 4967 4969 3792 0 -1 4202560 729 0 0 0 0 0 0 0 15 0 19 0 1051581 1590882304 29976 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 7 0 0 0 [pid=4969/tid=4979] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4979/stat : 4979 (java) S 4967 4969 3792 0 -1 4202560 519 0 0 0 0 0 0 0 15 0 19 0 1051581 1590882304 29976 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 7 0 0 0 [pid=4969/tid=4980] ppid=4967 vsize=1553596 CPUtime=0.03 /proc/4969/task/4980/stat : 4980 (java) S 4967 4969 3792 0 -1 4202560 1192 0 0 0 3 0 0 0 15 0 19 0 1051582 1590882304 29976 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 0 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4981] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4981/stat : 4981 (java) S 4967 4969 3792 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 1051582 1590882304 29976 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4982] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4982/stat : 4982 (java) S 4967 4969 3792 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 1051582 1590882304 29976 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4983] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4983/stat : 4983 (java) S 4967 4969 3792 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 1051585 1590882304 29976 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4984] ppid=4967 vsize=1553596 CPUtime=1 /proc/4969/task/4984/stat : 4984 (java) S 4967 4969 3792 0 -1 4202560 7328 0 0 0 100 0 0 0 15 0 19 0 1051585 1590882304 29976 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 6 0 0 0 [pid=4969/tid=4985] ppid=4967 vsize=1553596 CPUtime=0.78 /proc/4969/task/4985/stat : 4985 (java) S 4967 4969 3792 0 -1 4202560 4885 0 0 0 78 0 0 0 15 0 19 0 1051585 1590882304 29976 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 3 0 0 0 [pid=4969/tid=4986] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4986/stat : 4986 (java) S 4967 4969 3792 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 1051585 1590882304 29976 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 3 0 0 0 [pid=4969/tid=4987] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4987/stat : 4987 (java) S 4967 4969 3792 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 1051585 1590882304 29976 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4988] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4988/stat : 4988 (java) S 4967 4969 3792 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 19 0 1051619 1590882304 29976 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 8.09 Current children cumulated vsize (KiB) 1553596 ################ # More data... # ################ [pid=4969/tid=4978] ppid=4967 vsize=1553596 CPUtime=0.17 /proc/4969/task/4978/stat : 4978 (java) S 4967 4969 3792 0 -1 4202560 739 0 0 0 15 2 0 0 15 0 19 0 1051581 1590882304 31526 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 5 0 0 0 [pid=4969/tid=4979] ppid=4967 vsize=1553596 CPUtime=0.17 /proc/4969/task/4979/stat : 4979 (java) S 4967 4969 3792 0 -1 4202560 528 0 0 0 14 3 0 0 15 0 19 0 1051581 1590882304 31526 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 4 0 0 0 [pid=4969/tid=4980] ppid=4967 vsize=1553596 CPUtime=8.42 /proc/4969/task/4980/stat : 4980 (java) S 4967 4969 3792 0 -1 4202560 2667 0 0 0 837 5 0 0 15 0 19 0 1051582 1590882304 31526 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 0 0 16800975 18446604471153301504 0 0 -1 7 0 0 0 [pid=4969/tid=4981] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4981/stat : 4981 (java) S 4967 4969 3792 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 1051582 1590882304 31526 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4982] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4982/stat : 4982 (java) S 4967 4969 3792 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 1051582 1590882304 31526 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4983] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4983/stat : 4983 (java) S 4967 4969 3792 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 1051585 1590882304 31526 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4984] ppid=4967 vsize=1553596 CPUtime=1.27 /proc/4969/task/4984/stat : 4984 (java) S 4967 4969 3792 0 -1 4202560 7350 0 0 0 127 0 0 0 15 0 19 0 1051585 1590882304 31526 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 6 0 0 0 [pid=4969/tid=4985] ppid=4967 vsize=1553596 CPUtime=0.79 /proc/4969/task/4985/stat : 4985 (java) S 4967 4969 3792 0 -1 4202560 4886 0 0 0 79 0 0 0 15 0 19 0 1051585 1590882304 31526 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 3 0 0 0 [pid=4969/tid=4986] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4986/stat : 4986 (java) S 4967 4969 3792 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 1051585 1590882304 31526 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 3 0 0 0 [pid=4969/tid=4987] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4987/stat : 4987 (java) S 4967 4969 3792 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 1051585 1590882304 31526 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 3 0 0 0 [pid=4969/tid=4988] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4988/stat : 4988 (java) S 4967 4969 3792 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 19 0 1051619 1590882304 31526 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 319.77 Current children cumulated vsize (KiB) 1553596 [startup+320.001 s] /proc/loadavg: 1.22 1.74 1.86 2/189 5021 /proc/meminfo: memFree=32336772/32950928 swapFree=67111528/67111528 [pid=4969] ppid=4967 vsize=1553596 CPUtime=323.03 /proc/4969/stat : 4969 (java) S 4967 4969 3792 0 -1 4202496 38280 0 1 0 32269 34 0 0 21 0 19 0 1051580 1590882304 31550 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4969/statm: 388399 31550 1445 10 0 385702 0 [pid=4969/tid=4970] ppid=4967 vsize=1553596 CPUtime=310.82 /proc/4969/task/4970/stat : 4970 (java) R 4967 4969 3792 0 -1 4202560 19888 0 1 0 31078 4 0 0 25 0 19 0 1051581 1590882304 31550 4089446400 134512640 134550932 4290580256 18446744073709551615 4109606798 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=4969/tid=4972] ppid=4967 vsize=1553596 CPUtime=0.19 /proc/4969/task/4972/stat : 4972 (java) S 4967 4969 3792 0 -1 4202560 196 0 0 0 16 3 0 0 16 0 19 0 1051581 1590882304 31550 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 2 0 0 0 [pid=4969/tid=4973] ppid=4967 vsize=1553596 CPUtime=0.17 /proc/4969/task/4973/stat : 4973 (java) S 4967 4969 3792 0 -1 4202560 214 0 0 0 16 1 0 0 15 0 19 0 1051581 1590882304 31550 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 6 0 0 0 [pid=4969/tid=4974] ppid=4967 vsize=1553596 CPUtime=0.18 /proc/4969/task/4974/stat : 4974 (java) S 4967 4969 3792 0 -1 4202560 170 0 0 0 16 2 0 0 15 0 19 0 1051581 1590882304 31550 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 0 0 0 0 [pid=4969/tid=4975] ppid=4967 vsize=1553596 CPUtime=0.2 /proc/4969/task/4975/stat : 4975 (java) S 4967 4969 3792 0 -1 4202560 53 0 0 0 17 3 0 0 15 0 19 0 1051581 1590882304 31550 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4976] ppid=4967 vsize=1553596 CPUtime=0.18 /proc/4969/task/4976/stat : 4976 (java) S 4967 4969 3792 0 -1 4202560 307 0 0 0 16 2 0 0 16 0 19 0 1051581 1590882304 31550 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 5 0 0 0 [pid=4969/tid=4977] ppid=4967 vsize=1553596 CPUtime=0.21 /proc/4969/task/4977/stat : 4977 (java) S 4967 4969 3792 0 -1 4202560 176 0 0 0 19 2 0 0 15 0 19 0 1051581 1590882304 31550 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 3 0 0 0 [pid=4969/tid=4978] ppid=4967 vsize=1553596 CPUtime=0.17 /proc/4969/task/4978/stat : 4978 (java) S 4967 4969 3792 0 -1 4202560 739 0 0 0 15 2 0 0 15 0 19 0 1051581 1590882304 31550 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4979] ppid=4967 vsize=1553596 CPUtime=0.18 /proc/4969/task/4979/stat : 4979 (java) S 4967 4969 3792 0 -1 4202560 528 0 0 0 15 3 0 0 15 0 19 0 1051581 1590882304 31550 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 4 0 0 0 [pid=4969/tid=4980] ppid=4967 vsize=1553596 CPUtime=8.52 /proc/4969/task/4980/stat : 4980 (java) S 4967 4969 3792 0 -1 4202560 2688 0 0 0 847 5 0 0 15 0 19 0 1051582 1590882304 31550 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 0 0 16800975 18446604471153301504 0 0 -1 7 0 0 0 [pid=4969/tid=4981] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4981/stat : 4981 (java) S 4967 4969 3792 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 1051582 1590882304 31550 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4982] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4982/stat : 4982 (java) S 4967 4969 3792 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 1051582 1590882304 31550 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4983] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4983/stat : 4983 (java) S 4967 4969 3792 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 1051585 1590882304 31550 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4984] ppid=4967 vsize=1553596 CPUtime=1.31 /proc/4969/task/4984/stat : 4984 (java) S 4967 4969 3792 0 -1 4202560 7350 0 0 0 131 0 0 0 15 0 19 0 1051585 1590882304 31550 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 6 0 0 0 [pid=4969/tid=4985] ppid=4967 vsize=1553596 CPUtime=0.79 /proc/4969/task/4985/stat : 4985 (java) S 4967 4969 3792 0 -1 4202560 4886 0 0 0 79 0 0 0 15 0 19 0 1051585 1590882304 31550 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 3 0 0 0 [pid=4969/tid=4986] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4986/stat : 4986 (java) S 4967 4969 3792 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 1051585 1590882304 31550 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 3 0 0 0 [pid=4969/tid=4987] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4987/stat : 4987 (java) S 4967 4969 3792 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 1051585 1590882304 31550 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 3 0 0 0 [pid=4969/tid=4988] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4988/stat : 4988 (java) S 4967 4969 3792 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 19 0 1051619 1590882304 31550 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 323.03 Current children cumulated vsize (KiB) 1553596 [startup+321.601 s] /proc/loadavg: 1.22 1.74 1.86 2/189 5021 /proc/meminfo: memFree=32336772/32950928 swapFree=67111528/67111528 [pid=4969] ppid=4967 vsize=1553596 CPUtime=324.64 /proc/4969/stat : 4969 (java) S 4967 4969 3792 0 -1 4202496 38283 0 1 0 32430 34 0 0 21 0 19 0 1051580 1590882304 31551 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4969/statm: 388399 31551 1445 10 0 385702 0 [pid=4969/tid=4970] ppid=4967 vsize=1553596 CPUtime=312.38 /proc/4969/task/4970/stat : 4970 (java) R 4967 4969 3792 0 -1 4202560 19890 0 1 0 31234 4 0 0 25 0 19 0 1051581 1590882304 31551 4089446400 134512640 134550932 4290580256 18446744073709551615 4109665327 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=4969/tid=4972] ppid=4967 vsize=1553596 CPUtime=0.19 /proc/4969/task/4972/stat : 4972 (java) S 4967 4969 3792 0 -1 4202560 196 0 0 0 16 3 0 0 15 0 19 0 1051581 1590882304 31551 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 2 0 0 0 [pid=4969/tid=4973] ppid=4967 vsize=1553596 CPUtime=0.17 /proc/4969/task/4973/stat : 4973 (java) S 4967 4969 3792 0 -1 4202560 214 0 0 0 16 1 0 0 15 0 19 0 1051581 1590882304 31551 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 6 0 0 0 [pid=4969/tid=4974] ppid=4967 vsize=1553596 CPUtime=0.18 /proc/4969/task/4974/stat : 4974 (java) S 4967 4969 3792 0 -1 4202560 170 0 0 0 16 2 0 0 16 0 19 0 1051581 1590882304 31551 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 0 0 0 0 [pid=4969/tid=4975] ppid=4967 vsize=1553596 CPUtime=0.2 /proc/4969/task/4975/stat : 4975 (java) S 4967 4969 3792 0 -1 4202560 53 0 0 0 17 3 0 0 16 0 19 0 1051581 1590882304 31551 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4976] ppid=4967 vsize=1553596 CPUtime=0.18 /proc/4969/task/4976/stat : 4976 (java) S 4967 4969 3792 0 -1 4202560 307 0 0 0 16 2 0 0 16 0 19 0 1051581 1590882304 31551 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 5 0 0 0 [pid=4969/tid=4977] ppid=4967 vsize=1553596 CPUtime=0.21 /proc/4969/task/4977/stat : 4977 (java) S 4967 4969 3792 0 -1 4202560 176 0 0 0 19 2 0 0 16 0 19 0 1051581 1590882304 31551 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 3 0 0 0 [pid=4969/tid=4978] ppid=4967 vsize=1553596 CPUtime=0.18 /proc/4969/task/4978/stat : 4978 (java) S 4967 4969 3792 0 -1 4202560 739 0 0 0 16 2 0 0 15 0 19 0 1051581 1590882304 31551 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4979] ppid=4967 vsize=1553596 CPUtime=0.18 /proc/4969/task/4979/stat : 4979 (java) S 4967 4969 3792 0 -1 4202560 528 0 0 0 15 3 0 0 16 0 19 0 1051581 1590882304 31551 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 4 0 0 0 [pid=4969/tid=4980] ppid=4967 vsize=1553596 CPUtime=8.56 /proc/4969/task/4980/stat : 4980 (java) S 4967 4969 3792 0 -1 4202560 2689 0 0 0 851 5 0 0 15 0 19 0 1051582 1590882304 31551 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 0 0 16800975 18446604471153301504 0 0 -1 7 0 0 0 [pid=4969/tid=4981] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4981/stat : 4981 (java) S 4967 4969 3792 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 1051582 1590882304 31551 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4982] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4982/stat : 4982 (java) S 4967 4969 3792 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 1051582 1590882304 31551 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4983] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4983/stat : 4983 (java) S 4967 4969 3792 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 1051585 1590882304 31551 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4984] ppid=4967 vsize=1553596 CPUtime=1.31 /proc/4969/task/4984/stat : 4984 (java) S 4967 4969 3792 0 -1 4202560 7350 0 0 0 131 0 0 0 15 0 19 0 1051585 1590882304 31551 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 6 0 0 0 [pid=4969/tid=4985] ppid=4967 vsize=1553596 CPUtime=0.79 /proc/4969/task/4985/stat : 4985 (java) S 4967 4969 3792 0 -1 4202560 4886 0 0 0 79 0 0 0 15 0 19 0 1051585 1590882304 31551 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 3 0 0 0 [pid=4969/tid=4986] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4986/stat : 4986 (java) S 4967 4969 3792 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 1051585 1590882304 31551 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 3 0 0 0 [pid=4969/tid=4987] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4987/stat : 4987 (java) S 4967 4969 3792 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 1051585 1590882304 31551 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 3 0 0 0 [pid=4969/tid=4988] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4988/stat : 4988 (java) S 4967 4969 3792 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 19 0 1051619 1590882304 31551 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 324.64 Current children cumulated vsize (KiB) 1553596 [startup+322.407 s] /proc/loadavg: 1.20 1.73 1.85 2/189 5021 /proc/meminfo: memFree=32336648/32950928 swapFree=67111528/67111528 [pid=4969] ppid=4967 vsize=1553596 CPUtime=325.45 /proc/4969/stat : 4969 (java) S 4967 4969 3792 0 -1 4202496 38285 0 1 0 32511 34 0 0 21 0 19 0 1051580 1590882304 31552 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4969/statm: 388399 31552 1445 10 0 385702 0 [pid=4969/tid=4970] ppid=4967 vsize=1553596 CPUtime=313.16 /proc/4969/task/4970/stat : 4970 (java) R 4967 4969 3792 0 -1 4202560 19891 0 1 0 31312 4 0 0 25 0 19 0 1051581 1590882304 31552 4089446400 134512640 134550932 4290580256 18446744073709551615 4109410378 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=4969/tid=4972] ppid=4967 vsize=1553596 CPUtime=0.19 /proc/4969/task/4972/stat : 4972 (java) S 4967 4969 3792 0 -1 4202560 196 0 0 0 16 3 0 0 15 0 19 0 1051581 1590882304 31552 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 2 0 0 0 [pid=4969/tid=4973] ppid=4967 vsize=1553596 CPUtime=0.17 /proc/4969/task/4973/stat : 4973 (java) S 4967 4969 3792 0 -1 4202560 214 0 0 0 16 1 0 0 15 0 19 0 1051581 1590882304 31552 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 6 0 0 0 [pid=4969/tid=4974] ppid=4967 vsize=1553596 CPUtime=0.18 /proc/4969/task/4974/stat : 4974 (java) S 4967 4969 3792 0 -1 4202560 170 0 0 0 16 2 0 0 15 0 19 0 1051581 1590882304 31552 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 0 0 0 0 [pid=4969/tid=4975] ppid=4967 vsize=1553596 CPUtime=0.2 /proc/4969/task/4975/stat : 4975 (java) S 4967 4969 3792 0 -1 4202560 53 0 0 0 17 3 0 0 15 0 19 0 1051581 1590882304 31552 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4976] ppid=4967 vsize=1553596 CPUtime=0.19 /proc/4969/task/4976/stat : 4976 (java) S 4967 4969 3792 0 -1 4202560 307 0 0 0 16 3 0 0 15 0 19 0 1051581 1590882304 31552 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 5 0 0 0 [pid=4969/tid=4977] ppid=4967 vsize=1553596 CPUtime=0.22 /proc/4969/task/4977/stat : 4977 (java) S 4967 4969 3792 0 -1 4202560 176 0 0 0 19 3 0 0 15 0 19 0 1051581 1590882304 31552 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 3 0 0 0 [pid=4969/tid=4978] ppid=4967 vsize=1553596 CPUtime=0.18 /proc/4969/task/4978/stat : 4978 (java) S 4967 4969 3792 0 -1 4202560 739 0 0 0 16 2 0 0 15 0 19 0 1051581 1590882304 31552 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4979] ppid=4967 vsize=1553596 CPUtime=0.18 /proc/4969/task/4979/stat : 4979 (java) S 4967 4969 3792 0 -1 4202560 528 0 0 0 15 3 0 0 15 0 19 0 1051581 1590882304 31552 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 4 0 0 0 [pid=4969/tid=4980] ppid=4967 vsize=1553596 CPUtime=8.58 /proc/4969/task/4980/stat : 4980 (java) S 4967 4969 3792 0 -1 4202560 2690 0 0 0 853 5 0 0 15 0 19 0 1051582 1590882304 31552 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 0 0 16800975 18446604471153301504 0 0 -1 7 0 0 0 [pid=4969/tid=4981] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4981/stat : 4981 (java) S 4967 4969 3792 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 1051582 1590882304 31552 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4982] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4982/stat : 4982 (java) S 4967 4969 3792 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 1051582 1590882304 31552 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4983] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4983/stat : 4983 (java) S 4967 4969 3792 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 1051585 1590882304 31552 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 1 0 0 0 [pid=4969/tid=4984] ppid=4967 vsize=1553596 CPUtime=1.31 /proc/4969/task/4984/stat : 4984 (java) S 4967 4969 3792 0 -1 4202560 7350 0 0 0 131 0 0 0 15 0 19 0 1051585 1590882304 31552 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 6 0 0 0 [pid=4969/tid=4985] ppid=4967 vsize=1553596 CPUtime=0.79 /proc/4969/task/4985/stat : 4985 (java) S 4967 4969 3792 0 -1 4202560 4886 0 0 0 79 0 0 0 15 0 19 0 1051585 1590882304 31552 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 3 0 0 0 [pid=4969/tid=4986] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4986/stat : 4986 (java) S 4967 4969 3792 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 1051585 1590882304 31552 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 3 0 0 0 [pid=4969/tid=4987] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4987/stat : 4987 (java) S 4967 4969 3792 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 1051585 1590882304 31552 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 3 0 0 0 [pid=4969/tid=4988] ppid=4967 vsize=1553596 CPUtime=0 /proc/4969/task/4988/stat : 4988 (java) S 4967 4969 3792 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 19 0 1051619 1590882304 31552 4089446400 134512640 134550932 4290580256 18446744073709551615 4294960144 0 4 0 16800975 18446604471153301504 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 325.45 Current children cumulated vsize (KiB) 1553596 [startup+322.601 s] /proc/loadavg: 1.20 1.73 1.85 2/189 5021 /proc/meminfo: memFree=32336648/32950928 swapFree=67111528/67111528 [pid=4969] ppid=4967 vsize=0 CPUtime=325.6 /proc/4969/stat : 4969 (java) Z 4967 4969 3792 0 -1 4203548 38301 0 1 0 32526 34 0 0 18 0 2 0 1051580 0 0 4089446400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4969/statm: 0 0 0 0 0 0 0 [pid=4969/tid=4983] ppid=4967 vsize=0 CPUtime=0 /proc/4969/task/4983/stat : 4983 (java) R 4967 4969 3792 0 -1 4203588 5 0 0 0 0 0 0 0 18 0 2 0 1051585 0 0 4089446400 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 325.6 Current children cumulated vsize (KiB) 0 Child status: 30 Real time (s): 322.603 CPU time (s): 325.622 CPU user time (s): 325.27 CPU system time (s): 0.351946 CPU usage (%): 100.936 Max. virtual memory (cumulated for all children) (KiB): 1556104 getrusage(RUSAGE_CHILDREN,...) data: user time used= 325.27 system time used= 0.351946 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38301 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= 18064 involuntary context switches= 92295 runsolver used 0.660899 second user time and 1.22881 second system time The end
Begin job on node116 at 2010-07-05 13:13:00 IDJOB=2698218 IDBENCH=79314 IDSOLVER=1211 FILE ID=node116/2698218-1278328380 PBS_JOBID= 11207465 Free space on /tmp= 74192 MiB SOLVER NAME= SAT4J PB Resolution 2.2.1 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900584219--soft-0-100-0.wbo COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698218-1278328380/watcher-2698218-1278328380 -o /tmp/evaluation-result-2698218-1278328380/solver-2698218-1278328380 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698218-1278328380.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 81f3c07bf85fb8fa2211498324cd1b10 RANDOM SEED=723554106 node116.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.858 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.71 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.858 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.858 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.75 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.858 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.83 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.858 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.73 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.858 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.858 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.858 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: 32391596 kB Buffers: 27472 kB Cached: 302836 kB SwapCached: 0 kB Active: 209924 kB Inactive: 248888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 32391596 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 420 kB Writeback: 0 kB AnonPages: 128952 kB Mapped: 20556 kB Slab: 36608 kB PageTables: 4944 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1638128 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= 74192 MiB End job on node116 at 2010-07-05 13:18:23