Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution 2.3.0 | OPT | 60 | 362.352 | 361.156 |
Name | normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb |
MD5SUM | 8521955d0869ff4fe0390118a5fbc0f9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 60 |
Best CPU time to get the best result obtained on this benchmark | 0.051992 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 60 |
Optimality of the best value was proved | YES |
Number of variables | 696 |
Total number of constraints | 2096 |
Number of constraints which are clauses | 2072 |
Number of constraints which are cardinality constraints (but not clauses) | 24 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 29 |
Number of terms in the objective function | 696 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 696 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 3 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 696 |
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.03/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.03/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.09 c See www.sat4j.org for details. 0.08/0.10 c version 2.3.1.v20110525 0.08/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.08/0.10 c java.vm.version 19.1-b02 0.08/0.10 c java.vm.vendor Sun Microsystems Inc. 0.08/0.10 c sun.arch.data.model 64 0.08/0.10 c java.version 1.6.0_24 0.08/0.10 c os.name Linux 0.08/0.10 c os.version 2.6.18-164.el5 0.08/0.10 c os.arch amd64 0.08/0.10 c Free memory 12995394264 0.08/0.10 c Max memory 13063553024 0.08/0.10 c Total memory 13063553024 0.08/0.10 c Number of processors 8 0.08/0.12 c Pseudo Boolean Optimization 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.12 c Expensive reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/0.12 c Glucose learned constraints deletion strategy 0.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 c solving HOME/instance-3459446-1307146634.opb 0.08/0.12 c reading problem ... 0.24/0.29 c ... done. Wall clock time 0.166s. 0.24/0.29 c #vars 696 0.24/0.29 c #constraints 2096 0.24/0.29 c constraints type 0.24/0.29 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1666 0.24/0.29 c org.sat4j.minisat.constraints.card.MinWatchCard => 24 0.24/0.29 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 406 0.88/0.51 c SATISFIABLE 0.88/0.51 c OPTIMIZING... 0.88/0.51 c Got one! Elapsed wall clock time (in seconds):0.388 0.88/0.51 o 72 1.05/0.63 c cleaning 2678 clauses out of 5362 with flag 2000/5362 1.30/0.84 c Got one! Elapsed wall clock time (in seconds):0.714 1.30/0.84 o 70 1.30/0.85 c Got one! Elapsed wall clock time (in seconds):0.727 1.30/0.85 o 68 1.56/1.09 c cleaning 6699 clauses out of 13412 with flag 5001/16091 1.86/1.35 c cleaning 6356 clauses out of 12716 with flag 11004/22094 2.26/1.67 c cleaning 6675 clauses out of 13358 with flag 18002/29092 2.71/2.02 c cleaning 7335 clauses out of 14683 with flag 26002/37092 2.82/2.18 c Got one! Elapsed wall clock time (in seconds):2.062 2.82/2.18 o 66 2.93/2.29 c cleaning 6431 clauses out of 12865 with flag 2000/42610 3.21/2.59 c cleaning 6200 clauses out of 12435 with flag 8001/48611 3.42/2.71 c Got one! Elapsed wall clock time (in seconds):2.584 3.42/2.71 o 64 3.62/2.97 c cleaning 5873 clauses out of 11773 with flag 4000/54149 3.93/3.27 c cleaning 5934 clauses out of 11900 with flag 10000/60149 4.32/3.70 c cleaning 6465 clauses out of 12967 with flag 17001/67150 4.83/4.17 c cleaning 7237 clauses out of 14501 with flag 25000/75149 5.15/4.42 c Got one! Elapsed wall clock time (in seconds):4.299 5.15/4.42 o 62 5.15/4.49 c cleaning 6134 clauses out of 12289 with flag 1001/80174 5.63/4.93 c cleaning 6066 clauses out of 12155 with flag 7001/86174 5.93/5.28 c cleaning 6525 clauses out of 13088 with flag 14001/93174 6.43/5.76 c cleaning 7262 clauses out of 14563 with flag 22001/101174 7.03/6.31 c cleaning 8133 clauses out of 16300 with flag 31000/110173 7.63/6.96 c cleaning 9068 clauses out of 18168 with flag 41001/120174 8.23/7.58 c cleaning 9539 clauses out of 19100 with flag 51001/130174 8.83/8.18 c cleaning 9769 clauses out of 19560 with flag 61000/140173 9.44/8.81 c cleaning 9880 clauses out of 19791 with flag 71000/150173 10.14/9.48 c cleaning 9950 clauses out of 19913 with flag 81002/160175 10.85/10.12 c cleaning 9963 clauses out of 19960 with flag 91000/170173 11.45/10.75 c cleaning 9987 clauses out of 19997 with flag 101000/180173 12.05/11.37 c cleaning 10000 clauses out of 20011 with flag 111001/190174 12.76/12.04 c cleaning 9997 clauses out of 20011 with flag 121001/200174 13.45/12.70 c cleaning 9985 clauses out of 20013 with flag 131000/210173 14.05/13.37 c cleaning 9995 clauses out of 20028 with flag 141000/220173 14.75/14.06 c cleaning 9991 clauses out of 20033 with flag 151000/230173 15.45/14.77 c cleaning 10009 clauses out of 20043 with flag 161001/240174 16.25/15.55 c cleaning 10006 clauses out of 20033 with flag 171000/250173 16.95/16.22 c cleaning 9997 clauses out of 20027 with flag 181000/260173 17.65/16.91 c cleaning 9992 clauses out of 20030 with flag 191000/270173 18.26/17.59 c cleaning 9992 clauses out of 20038 with flag 201000/280173 18.96/18.23 c cleaning 10019 clauses out of 20047 with flag 211001/290174 19.66/18.91 c cleaning 10005 clauses out of 20027 with flag 221000/300173 20.26/19.57 c cleaning 9991 clauses out of 20022 with flag 231000/310173 20.96/20.27 c cleaning 9996 clauses out of 20031 with flag 241000/320173 21.68/20.97 c cleaning 9997 clauses out of 20035 with flag 251000/330173 22.46/21.72 c cleaning 9992 clauses out of 20038 with flag 261000/340173 23.16/22.41 c cleaning 10015 clauses out of 20046 with flag 271000/350173 23.88/23.15 c cleaning 9993 clauses out of 20032 with flag 281001/360174 24.56/23.88 c cleaning 10015 clauses out of 20042 with flag 291004/370177 25.36/24.64 c cleaning 9986 clauses out of 20024 with flag 301001/380174 26.08/25.33 c cleaning 9991 clauses out of 20037 with flag 311000/390173 26.76/26.04 c cleaning 10004 clauses out of 20047 with flag 321001/400174 27.47/26.78 c cleaning 10015 clauses out of 20042 with flag 331000/410173 28.18/27.47 c cleaning 9996 clauses out of 20027 with flag 341000/420173 28.87/28.13 c cleaning 10006 clauses out of 20033 with flag 351002/430175 29.57/28.82 c cleaning 10003 clauses out of 20025 with flag 361000/440173 30.27/29.55 c cleaning 10001 clauses out of 20021 with flag 371000/450173 30.97/30.24 c cleaning 9990 clauses out of 20022 with flag 381002/460175 31.67/30.90 c cleaning 9996 clauses out of 20031 with flag 391001/470174 32.37/31.63 c cleaning 9996 clauses out of 20035 with flag 401001/480174 33.07/32.36 c cleaning 10009 clauses out of 20040 with flag 411002/490175 33.68/33.00 c cleaning 10002 clauses out of 20027 with flag 421000/500173 34.47/33.75 c cleaning 9992 clauses out of 20025 with flag 431000/510173 35.17/34.49 c cleaning 10000 clauses out of 20034 with flag 441001/520174 35.88/35.18 c cleaning 10006 clauses out of 20033 with flag 451000/530173 36.68/35.93 c cleaning 9984 clauses out of 20027 with flag 461000/540173 37.48/36.73 c cleaning 10000 clauses out of 20044 with flag 471001/550174 38.20/37.44 c cleaning 9994 clauses out of 20043 with flag 481000/560173 38.98/38.22 c cleaning 10005 clauses out of 20051 with flag 491002/570175 39.68/38.94 c cleaning 10005 clauses out of 20045 with flag 501001/580174 40.42/39.67 c cleaning 10000 clauses out of 20039 with flag 511000/590173 41.20/40.43 c cleaning 10006 clauses out of 20039 with flag 521000/600173 41.90/41.17 c cleaning 10004 clauses out of 20033 with flag 531000/610173 42.70/41.91 c cleaning 9996 clauses out of 20029 with flag 541000/620173 43.40/42.64 c cleaning 9998 clauses out of 20034 with flag 551001/630174 44.10/43.36 c cleaning 10007 clauses out of 20035 with flag 561000/640173 44.82/44.04 c cleaning 10005 clauses out of 20030 with flag 571002/650175 45.50/44.77 c cleaning 9991 clauses out of 20023 with flag 581001/660174 46.20/45.49 c cleaning 9990 clauses out of 20033 with flag 591002/670175 46.91/46.21 c cleaning 10013 clauses out of 20041 with flag 601000/680173 47.70/46.91 c cleaning 9991 clauses out of 20029 with flag 611001/690174 48.40/47.62 c cleaning 9998 clauses out of 20038 with flag 621001/700174 49.11/48.35 c cleaning 9995 clauses out of 20039 with flag 631000/710173 49.90/49.10 c cleaning 10008 clauses out of 20045 with flag 641001/720174 50.61/49.81 c cleaning 10003 clauses out of 20037 with flag 651001/730174 51.31/50.54 c cleaning 9997 clauses out of 20033 with flag 661000/740173 52.01/51.24 c cleaning 9998 clauses out of 20037 with flag 671001/750174 52.71/51.98 c cleaning 10000 clauses out of 20040 with flag 681002/760175 53.51/52.74 c cleaning 10003 clauses out of 20038 with flag 691000/770173 54.21/53.49 c cleaning 9994 clauses out of 20035 with flag 701000/780173 55.01/54.24 c cleaning 10003 clauses out of 20040 with flag 711000/790173 55.71/54.96 c cleaning 10000 clauses out of 20037 with flag 721000/800173 56.51/55.71 c cleaning 10003 clauses out of 20037 with flag 731000/810173 57.22/56.42 c cleaning 9996 clauses out of 20034 with flag 741000/820173 57.92/57.20 c cleaning 10010 clauses out of 20038 with flag 751000/830173 58.72/57.95 c cleaning 10006 clauses out of 20029 with flag 761001/840174 59.52/58.70 c cleaning 9992 clauses out of 20022 with flag 771000/850173 60.13/59.42 c cleaning 10001 clauses out of 20030 with flag 781000/860173 60.92/60.17 c cleaning 10001 clauses out of 20029 with flag 791000/870173 61.62/60.86 c cleaning 10007 clauses out of 20027 with flag 801000/880173 62.33/61.58 c cleaning 9987 clauses out of 20020 with flag 811000/890173 63.02/62.28 c cleaning 9994 clauses out of 20034 with flag 821001/900174 63.73/62.97 c cleaning 9998 clauses out of 20040 with flag 831001/910174 64.43/63.70 c cleaning 10003 clauses out of 20041 with flag 841000/920173 65.23/64.45 c cleaning 9995 clauses out of 20038 with flag 851000/930173 66.02/65.23 c cleaning 10005 clauses out of 20045 with flag 861002/940175 66.73/65.94 c cleaning 9997 clauses out of 20038 with flag 871000/950173 67.43/66.62 c cleaning 10005 clauses out of 20043 with flag 881002/960175 68.13/67.32 c cleaning 10006 clauses out of 20038 with flag 891002/970175 68.83/68.01 c cleaning 10005 clauses out of 20031 with flag 901001/980174 69.43/68.70 c cleaning 9996 clauses out of 20025 with flag 911000/990173 70.23/69.41 c cleaning 10003 clauses out of 20029 with flag 921000/1000173 70.93/70.17 c cleaning 9997 clauses out of 20027 with flag 931001/1010174 71.73/70.96 c cleaning 9982 clauses out of 20030 with flag 941001/1020174 72.53/71.76 c cleaning 10010 clauses out of 20048 with flag 951001/1030174 73.23/72.49 c cleaning 9999 clauses out of 20037 with flag 961000/1040173 73.93/73.19 c cleaning 9997 clauses out of 20038 with flag 971000/1050173 74.73/73.90 c cleaning 9998 clauses out of 20041 with flag 981000/1060173 75.43/74.62 c cleaning 10006 clauses out of 20043 with flag 991000/1070173 76.13/75.35 c cleaning 9995 clauses out of 20038 with flag 1001001/1080174 76.83/76.08 c cleaning 10000 clauses out of 20043 with flag 1011001/1090174 77.53/76.75 c cleaning 10008 clauses out of 20043 with flag 1021001/1100174 78.23/77.48 c cleaning 10004 clauses out of 20035 with flag 1031001/1110174 79.03/78.28 c cleaning 10001 clauses out of 20030 with flag 1041000/1120173 79.83/79.00 c cleaning 9999 clauses out of 20030 with flag 1051001/1130174 80.53/79.75 c cleaning 10000 clauses out of 20030 with flag 1061000/1140173 81.23/80.47 c cleaning 9987 clauses out of 20030 with flag 1071000/1150173 82.03/81.20 c cleaning 9998 clauses out of 20044 with flag 1081001/1160174 82.74/81.92 c cleaning 10007 clauses out of 20045 with flag 1091000/1170173 83.44/82.68 c cleaning 10005 clauses out of 20039 with flag 1101001/1180174 84.24/83.43 c cleaning 9992 clauses out of 20034 with flag 1111001/1190174 84.94/84.18 c cleaning 9999 clauses out of 20041 with flag 1121000/1200173 85.74/84.93 c cleaning 9998 clauses out of 20043 with flag 1131001/1210174 86.44/85.65 c cleaning 10008 clauses out of 20045 with flag 1141001/1220174 87.24/86.41 c cleaning 9998 clauses out of 20035 with flag 1151000/1230173 87.94/87.14 c cleaning 9989 clauses out of 20038 with flag 1161001/1240174 88.65/87.89 c cleaning 9993 clauses out of 20048 with flag 1171000/1250173 89.45/88.63 c cleaning 9998 clauses out of 20055 with flag 1181000/1260173 90.15/89.37 c cleaning 10006 clauses out of 20058 with flag 1191001/1270174 90.85/90.10 c cleaning 10001 clauses out of 20050 with flag 1201000/1280173 91.65/90.83 c cleaning 10002 clauses out of 20050 with flag 1211001/1290174 92.35/91.55 c cleaning 10012 clauses out of 20050 with flag 1221003/1300176 93.16/92.36 c cleaning 9995 clauses out of 20035 with flag 1231000/1310173 93.96/93.13 c cleaning 9997 clauses out of 20040 with flag 1241000/1320173 94.66/93.85 c cleaning 9994 clauses out of 20043 with flag 1251000/1330173 95.36/94.59 c cleaning 10004 clauses out of 20049 with flag 1261000/1340173 96.16/95.34 c cleaning 10009 clauses out of 20046 with flag 1271001/1350174 96.86/96.09 c cleaning 9987 clauses out of 20036 with flag 1281000/1360173 97.68/96.85 c cleaning 10008 clauses out of 20050 with flag 1291001/1370174 98.36/97.57 c cleaning 9999 clauses out of 20042 with flag 1301001/1380174 99.06/98.25 c cleaning 10001 clauses out of 20042 with flag 1311000/1390173 99.77/98.97 c cleaning 9999 clauses out of 20043 with flag 1321002/1400175 100.56/99.70 c cleaning 10006 clauses out of 20043 with flag 1331001/1410174 101.26/100.44 c cleaning 10006 clauses out of 20036 with flag 1341000/1420173 101.97/101.18 c cleaning 10000 clauses out of 20030 with flag 1351000/1430173 102.76/101.91 c cleaning 9999 clauses out of 20030 with flag 1361000/1440173 103.46/102.69 c cleaning 9999 clauses out of 20032 with flag 1371001/1450174 104.28/103.48 c cleaning 10002 clauses out of 20032 with flag 1381000/1460173 105.06/104.23 c cleaning 9979 clauses out of 20030 with flag 1391000/1470173 105.76/104.97 c cleaning 9999 clauses out of 20052 with flag 1401001/1480174 106.49/105.67 c cleaning 10007 clauses out of 20052 with flag 1411000/1490173 107.27/106.44 c cleaning 10004 clauses out of 20046 with flag 1421002/1500175 108.07/107.26 c cleaning 9998 clauses out of 20040 with flag 1431000/1510173 108.86/108.06 c cleaning 10000 clauses out of 20042 with flag 1441000/1520173 109.56/108.76 c cleaning 10008 clauses out of 20043 with flag 1451001/1530174 110.26/109.50 c cleaning 10011 clauses out of 20033 with flag 1461000/1540173 111.06/110.24 c cleaning 9993 clauses out of 20022 with flag 1471000/1550173 111.76/111.01 c cleaning 9993 clauses out of 20030 with flag 1481001/1560174 112.67/111.81 c cleaning 10003 clauses out of 20037 with flag 1491001/1570174 113.38/112.56 c cleaning 10001 clauses out of 20033 with flag 1501000/1580173 114.09/113.31 c cleaning 10005 clauses out of 20033 with flag 1511001/1590174 114.88/114.05 c cleaning 9994 clauses out of 20028 with flag 1521001/1600174 115.68/114.83 c cleaning 10004 clauses out of 20034 with flag 1531001/1610174 116.48/115.60 c cleaning 10002 clauses out of 20029 with flag 1541000/1620173 117.18/116.35 c cleaning 9989 clauses out of 20028 with flag 1551001/1630174 117.88/117.05 c cleaning 10015 clauses out of 20037 with flag 1561000/1640173 118.68/117.82 c cleaning 9984 clauses out of 20022 with flag 1571000/1650173 118.68/117.87 c Got one! Elapsed wall clock time (in seconds):117.747 118.68/117.87 o 60 119.02/118.16 c cleaning 7706 clauses out of 15440 with flag 5002/1655575 119.42/118.52 c cleaning 6853 clauses out of 13732 with flag 11000/1661573 119.82/118.95 c cleaning 6929 clauses out of 13879 with flag 18000/1668573 120.32/119.46 c cleaning 7463 clauses out of 14950 with flag 26000/1676573 120.92/120.02 c cleaning 8239 clauses out of 16487 with flag 35000/1685573 121.53/120.64 c cleaning 9117 clauses out of 18248 with flag 45000/1695573 122.13/121.27 c cleaning 9559 clauses out of 19132 with flag 55001/1705574 122.83/121.92 c cleaning 9781 clauses out of 19572 with flag 65000/1715573 123.43/122.59 c cleaning 9883 clauses out of 19792 with flag 75001/1725574 124.15/123.29 c cleaning 9947 clauses out of 19909 with flag 85001/1735574 124.83/123.99 c cleaning 9964 clauses out of 19961 with flag 95000/1745573 125.63/124.70 c cleaning 9983 clauses out of 19997 with flag 105000/1755573 126.23/125.35 c cleaning 9994 clauses out of 20015 with flag 115001/1765574 126.93/126.02 c cleaning 9998 clauses out of 20020 with flag 125000/1775573 127.53/126.68 c cleaning 10005 clauses out of 20024 with flag 135002/1785575 128.23/127.34 c cleaning 10001 clauses out of 20018 with flag 145001/1795574 128.93/128.01 c cleaning 9992 clauses out of 20015 with flag 155000/1805573 129.66/128.73 c cleaning 10009 clauses out of 20023 with flag 165000/1815573 130.34/129.45 c cleaning 10003 clauses out of 20014 with flag 175000/1825573 131.14/130.20 c cleaning 9999 clauses out of 20012 with flag 185001/1835574 131.86/130.94 c cleaning 9991 clauses out of 20012 with flag 195000/1845573 132.54/131.63 c cleaning 9999 clauses out of 20021 with flag 205000/1855573 133.24/132.38 c cleaning 10000 clauses out of 20022 with flag 215000/1865573 134.06/133.14 c cleaning 9997 clauses out of 20022 with flag 225000/1875573 134.74/133.88 c cleaning 9991 clauses out of 20026 with flag 235001/1885574 135.44/134.57 c cleaning 10004 clauses out of 20035 with flag 245001/1895574 136.15/135.27 c cleaning 9998 clauses out of 20030 with flag 255000/1905573 136.84/135.96 c cleaning 10003 clauses out of 20032 with flag 265000/1915573 137.54/136.63 c cleaning 9996 clauses out of 20029 with flag 275000/1925573 138.24/137.34 c cleaning 10004 clauses out of 20033 with flag 285000/1935573 139.04/138.10 c cleaning 10000 clauses out of 20029 with flag 295000/1945573 139.74/138.87 c cleaning 9996 clauses out of 20029 with flag 305000/1955573 140.44/139.60 c cleaning 10007 clauses out of 20034 with flag 315001/1965574 141.25/140.35 c cleaning 9988 clauses out of 20027 with flag 325001/1975574 142.05/141.16 c cleaning 9997 clauses out of 20038 with flag 335000/1985573 142.87/141.93 c cleaning 10019 clauses out of 20041 with flag 345000/1995573 143.55/142.66 c cleaning 9993 clauses out of 20022 with flag 355000/2005573 144.35/143.40 c cleaning 10002 clauses out of 20029 with flag 365000/2015573 144.96/144.08 c cleaning 9988 clauses out of 20027 with flag 375000/2025573 145.65/144.79 c cleaning 10010 clauses out of 20041 with flag 385002/2035575 146.35/145.48 c cleaning 10002 clauses out of 20029 with flag 395000/2045573 147.05/146.19 c cleaning 9993 clauses out of 20027 with flag 405000/2055573 147.75/146.89 c cleaning 9991 clauses out of 20035 with flag 415001/2065574 148.55/147.65 c cleaning 10007 clauses out of 20043 with flag 425000/2075573 149.25/148.36 c cleaning 10002 clauses out of 20036 with flag 435000/2085573 149.95/149.07 c cleaning 10006 clauses out of 20034 with flag 445000/2095573 150.76/149.83 c cleaning 9997 clauses out of 20029 with flag 455001/2105574 151.46/150.61 c cleaning 9998 clauses out of 20031 with flag 465000/2115573 152.16/151.28 c cleaning 10004 clauses out of 20035 with flag 475002/2125575 152.86/151.96 c cleaning 10000 clauses out of 20029 with flag 485000/2135573 153.57/152.65 c cleaning 10003 clauses out of 20029 with flag 495000/2145573 154.27/153.38 c cleaning 9994 clauses out of 20026 with flag 505000/2155573 155.07/154.14 c cleaning 9997 clauses out of 20033 with flag 515001/2165574 155.77/154.84 c cleaning 10007 clauses out of 20035 with flag 525000/2175573 156.47/155.53 c cleaning 10001 clauses out of 20028 with flag 535000/2185573 157.07/156.18 c cleaning 9990 clauses out of 20028 with flag 545001/2195574 157.77/156.87 c cleaning 10006 clauses out of 20037 with flag 555000/2205573 158.47/157.58 c cleaning 10001 clauses out of 20032 with flag 565001/2215574 159.17/158.30 c cleaning 10001 clauses out of 20030 with flag 575000/2225573 159.98/159.05 c cleaning 9995 clauses out of 20029 with flag 585000/2235573 160.69/159.78 c cleaning 9998 clauses out of 20034 with flag 595000/2245573 161.39/160.51 c cleaning 10004 clauses out of 20036 with flag 605000/2255573 162.28/161.30 c cleaning 10002 clauses out of 20033 with flag 615001/2265574 162.99/162.06 c cleaning 9992 clauses out of 20030 with flag 625000/2275573 163.81/162.84 c cleaning 9997 clauses out of 20039 with flag 635001/2285574 164.59/163.61 c cleaning 10007 clauses out of 20042 with flag 645001/2295574 165.29/164.38 c cleaning 9994 clauses out of 20035 with flag 655001/2305574 166.09/165.17 c cleaning 9995 clauses out of 20040 with flag 665000/2315573 166.89/165.97 c cleaning 10015 clauses out of 20045 with flag 675000/2325573 167.69/166.78 c cleaning 9995 clauses out of 20031 with flag 685001/2335574 168.49/167.56 c cleaning 10000 clauses out of 20035 with flag 695000/2345573 169.19/168.29 c cleaning 10000 clauses out of 20035 with flag 705000/2355573 169.99/169.06 c cleaning 10004 clauses out of 20035 with flag 715000/2365573 170.79/169.81 c cleaning 10007 clauses out of 20031 with flag 725000/2375573 171.51/170.59 c cleaning 9989 clauses out of 20024 with flag 735000/2385573 172.29/171.36 c cleaning 9994 clauses out of 20035 with flag 745000/2395573 173.09/172.12 c cleaning 10009 clauses out of 20041 with flag 755000/2405573 173.79/172.87 c cleaning 9999 clauses out of 20032 with flag 765000/2415573 174.59/173.64 c cleaning 10004 clauses out of 20033 with flag 775000/2425573 175.39/174.40 c cleaning 9999 clauses out of 20030 with flag 785001/2435574 176.19/175.20 c cleaning 10001 clauses out of 20030 with flag 795000/2445573 176.89/175.96 c cleaning 9998 clauses out of 20030 with flag 805001/2455574 177.69/176.70 c cleaning 10006 clauses out of 20032 with flag 815001/2465574 178.39/177.42 c cleaning 9996 clauses out of 20025 with flag 825000/2475573 179.09/178.12 c cleaning 9997 clauses out of 20029 with flag 835000/2485573 179.79/178.84 c cleaning 10001 clauses out of 20032 with flag 845000/2495573 180.49/179.55 c cleaning 10004 clauses out of 20033 with flag 855002/2505575 181.20/180.28 c cleaning 9997 clauses out of 20029 with flag 865002/2515575 182.00/181.00 c cleaning 10001 clauses out of 20030 with flag 875000/2525573 182.70/181.75 c cleaning 10002 clauses out of 20029 with flag 885000/2535573 183.51/182.54 c cleaning 9998 clauses out of 20028 with flag 895001/2545574 184.20/183.27 c cleaning 9993 clauses out of 20030 with flag 905001/2555574 185.00/184.00 c cleaning 10001 clauses out of 20036 with flag 915000/2565573 185.60/184.72 c cleaning 10001 clauses out of 20037 with flag 925002/2575575 186.40/185.46 c cleaning 10002 clauses out of 20034 with flag 935000/2585573 187.20/186.22 c cleaning 10007 clauses out of 20033 with flag 945001/2595574 188.02/187.03 c cleaning 9995 clauses out of 20026 with flag 955001/2605574 188.80/187.84 c cleaning 9997 clauses out of 20030 with flag 965000/2615573 189.60/188.63 c cleaning 9997 clauses out of 20034 with flag 975001/2625574 190.40/189.42 c cleaning 10006 clauses out of 20038 with flag 985002/2635575 191.10/190.20 c cleaning 10001 clauses out of 20030 with flag 995000/2645573 191.90/190.93 c cleaning 9996 clauses out of 20029 with flag 1005000/2655573 192.60/191.65 c cleaning 10007 clauses out of 20033 with flag 1015000/2665573 193.41/192.42 c cleaning 9991 clauses out of 20026 with flag 1025000/2675573 194.10/193.18 c cleaning 10003 clauses out of 20035 with flag 1035000/2685573 194.90/193.92 c cleaning 10005 clauses out of 20035 with flag 1045003/2695576 195.61/194.64 c cleaning 9998 clauses out of 20027 with flag 1055000/2705573 196.30/195.35 c cleaning 9993 clauses out of 20029 with flag 1065000/2715573 197.10/196.10 c cleaning 10003 clauses out of 20038 with flag 1075002/2725575 197.81/196.90 c cleaning 10009 clauses out of 20033 with flag 1085000/2735573 198.60/197.69 c cleaning 9989 clauses out of 20024 with flag 1095000/2745573 199.40/198.46 c cleaning 10003 clauses out of 20037 with flag 1105002/2755575 200.20/199.20 c cleaning 9995 clauses out of 20032 with flag 1115000/2765573 200.90/199.97 c cleaning 9996 clauses out of 20037 with flag 1125000/2775573 201.71/200.72 c cleaning 10007 clauses out of 20042 with flag 1135001/2785574 202.41/201.47 c cleaning 10001 clauses out of 20034 with flag 1145000/2795573 203.21/202.23 c cleaning 10016 clauses out of 20034 with flag 1155001/2805574 203.91/202.96 c cleaning 9993 clauses out of 20017 with flag 1165000/2815573 204.71/203.71 c cleaning 9995 clauses out of 20024 with flag 1175000/2825573 205.41/204.45 c cleaning 10009 clauses out of 20029 with flag 1185000/2835573 206.11/205.16 c cleaning 9991 clauses out of 20021 with flag 1195001/2845574 206.91/205.92 c cleaning 9993 clauses out of 20030 with flag 1205001/2855574 207.61/206.70 c cleaning 10004 clauses out of 20036 with flag 1215000/2865573 208.52/207.50 c cleaning 10014 clauses out of 20032 with flag 1225000/2875573 209.22/208.23 c cleaning 9998 clauses out of 20017 with flag 1235000/2885573 209.92/209.00 c cleaning 10000 clauses out of 20019 with flag 1245000/2895573 210.71/209.71 c cleaning 9994 clauses out of 20019 with flag 1255000/2905573 211.41/210.48 c cleaning 9987 clauses out of 20025 with flag 1265000/2915573 212.12/211.21 c cleaning 9999 clauses out of 20038 with flag 1275000/2925573 212.92/211.93 c cleaning 10007 clauses out of 20039 with flag 1285000/2935573 213.72/212.72 c cleaning 10000 clauses out of 20034 with flag 1295002/2945575 214.44/213.48 c cleaning 9999 clauses out of 20032 with flag 1305000/2955573 215.22/214.26 c cleaning 9992 clauses out of 20034 with flag 1315001/2965574 216.02/215.01 c cleaning 9999 clauses out of 20041 with flag 1325000/2975573 216.72/215.74 c cleaning 10001 clauses out of 20042 with flag 1335000/2985573 217.42/216.49 c cleaning 9995 clauses out of 20041 with flag 1345000/2995573 218.22/217.25 c cleaning 9994 clauses out of 20046 with flag 1355000/3005573 218.92/217.98 c cleaning 10003 clauses out of 20053 with flag 1365001/3015574 219.72/218.73 c cleaning 10009 clauses out of 20049 with flag 1375000/3025573 220.42/219.48 c cleaning 10005 clauses out of 20040 with flag 1385000/3035573 221.12/220.19 c cleaning 10003 clauses out of 20036 with flag 1395001/3045574 221.92/220.95 c cleaning 9997 clauses out of 20032 with flag 1405000/3055573 222.63/221.69 c cleaning 9999 clauses out of 20035 with flag 1415000/3065573 223.43/222.44 c cleaning 9996 clauses out of 20036 with flag 1425000/3075573 224.13/223.19 c cleaning 10011 clauses out of 20041 with flag 1435001/3085574 224.83/223.89 c cleaning 10004 clauses out of 20029 with flag 1445000/3095573 225.63/224.64 c cleaning 10010 clauses out of 20025 with flag 1455000/3105573 226.33/225.34 c cleaning 9991 clauses out of 20016 with flag 1465001/3115574 227.03/226.08 c cleaning 9992 clauses out of 20024 with flag 1475000/3125573 227.84/226.82 c cleaning 9995 clauses out of 20033 with flag 1485001/3135574 228.64/227.62 c cleaning 10003 clauses out of 20037 with flag 1495000/3145573 229.34/228.34 c cleaning 9998 clauses out of 20034 with flag 1505000/3155573 230.04/229.08 c cleaning 10002 clauses out of 20036 with flag 1515000/3165573 230.74/229.79 c cleaning 9999 clauses out of 20034 with flag 1525000/3175573 231.54/230.52 c cleaning 10002 clauses out of 20036 with flag 1535001/3185574 232.24/231.29 c cleaning 10000 clauses out of 20034 with flag 1545001/3195574 233.05/232.05 c cleaning 9993 clauses out of 20033 with flag 1555000/3205573 233.74/232.78 c cleaning 9996 clauses out of 20040 with flag 1565000/3215573 234.54/233.51 c cleaning 10013 clauses out of 20044 with flag 1575000/3225573 235.14/234.22 c cleaning 10007 clauses out of 20031 with flag 1585000/3235573 235.94/234.93 c cleaning 10005 clauses out of 20024 with flag 1595000/3245573 236.64/235.66 c cleaning 9998 clauses out of 20019 with flag 1605000/3255573 237.34/236.40 c cleaning 9996 clauses out of 20020 with flag 1615000/3265573 238.04/237.09 c cleaning 9995 clauses out of 20024 with flag 1625000/3275573 238.74/237.79 c cleaning 10002 clauses out of 20030 with flag 1635001/3285574 239.54/238.51 c cleaning 9993 clauses out of 20027 with flag 1645000/3295573 240.24/239.24 c cleaning 9998 clauses out of 20035 with flag 1655001/3305574 240.94/239.99 c cleaning 9999 clauses out of 20036 with flag 1665000/3315573 241.74/240.71 c cleaning 10013 clauses out of 20038 with flag 1675001/3325574 242.44/241.44 c cleaning 10009 clauses out of 20024 with flag 1685000/3335573 243.14/242.16 c cleaning 9988 clauses out of 20015 with flag 1695000/3345573 243.94/242.91 c cleaning 9997 clauses out of 20028 with flag 1705001/3355574 244.64/243.62 c cleaning 10001 clauses out of 20029 with flag 1715000/3365573 245.34/244.34 c cleaning 10005 clauses out of 20031 with flag 1725003/3375576 246.04/245.08 c cleaning 9999 clauses out of 20023 with flag 1735000/3385573 246.84/245.82 c cleaning 9991 clauses out of 20025 with flag 1745001/3395574 247.54/246.57 c cleaning 10000 clauses out of 20033 with flag 1755000/3405573 248.34/247.32 c cleaning 9996 clauses out of 20035 with flag 1765002/3415575 249.05/248.06 c cleaning 10006 clauses out of 20038 with flag 1775001/3425574 249.75/248.77 c cleaning 10004 clauses out of 20031 with flag 1785000/3435573 250.55/249.52 c cleaning 10003 clauses out of 20029 with flag 1795002/3445575 251.24/250.28 c cleaning 9996 clauses out of 20026 with flag 1805002/3455575 252.05/251.03 c cleaning 9994 clauses out of 20029 with flag 1815001/3465574 252.75/251.77 c cleaning 10005 clauses out of 20035 with flag 1825001/3475574 253.55/252.51 c cleaning 9997 clauses out of 20030 with flag 1835001/3485574 254.25/253.21 c cleaning 10002 clauses out of 20032 with flag 1845000/3495573 254.95/253.94 c cleaning 9998 clauses out of 20030 with flag 1855000/3505573 255.65/254.70 c cleaning 9995 clauses out of 20032 with flag 1865000/3515573 256.45/255.50 c cleaning 9997 clauses out of 20037 with flag 1875000/3525573 257.25/256.23 c cleaning 10006 clauses out of 20041 with flag 1885001/3535574 257.95/256.96 c cleaning 10002 clauses out of 20035 with flag 1895001/3545574 258.65/257.68 c cleaning 9997 clauses out of 20033 with flag 1905001/3555574 259.35/258.38 c cleaning 10001 clauses out of 20035 with flag 1915000/3565573 260.15/259.15 c cleaning 10008 clauses out of 20036 with flag 1925002/3575575 260.95/259.92 c cleaning 10002 clauses out of 20027 with flag 1935001/3585574 261.66/260.69 c cleaning 10005 clauses out of 20025 with flag 1945001/3595574 262.45/261.46 c cleaning 9995 clauses out of 20019 with flag 1955000/3605573 263.25/262.22 c cleaning 9998 clauses out of 20025 with flag 1965001/3615574 263.97/262.98 c cleaning 10002 clauses out of 20026 with flag 1975000/3625573 264.75/263.73 c cleaning 10001 clauses out of 20025 with flag 1985001/3635574 265.46/264.49 c cleaning 9994 clauses out of 20024 with flag 1995001/3645574 266.26/265.21 c cleaning 9996 clauses out of 20029 with flag 2005000/3655573 266.96/265.96 c cleaning 10005 clauses out of 20034 with flag 2015001/3665574 267.77/266.71 c cleaning 10004 clauses out of 20029 with flag 2025001/3675574 268.57/267.51 c cleaning 9999 clauses out of 20025 with flag 2035001/3685574 269.27/268.26 c cleaning 10003 clauses out of 20026 with flag 2045001/3695574 270.07/269.02 c cleaning 10006 clauses out of 20023 with flag 2055001/3705574 270.77/269.73 c cleaning 9995 clauses out of 20017 with flag 2065001/3715574 271.47/270.47 c cleaning 9992 clauses out of 20022 with flag 2075001/3725574 272.27/271.23 c cleaning 10013 clauses out of 20030 with flag 2085001/3735574 272.97/271.94 c cleaning 9984 clauses out of 20016 with flag 2095000/3745573 273.67/272.67 c cleaning 10001 clauses out of 20032 with flag 2105000/3755573 274.47/273.43 c cleaning 9996 clauses out of 20031 with flag 2115000/3765573 275.27/274.20 c cleaning 10008 clauses out of 20035 with flag 2125000/3775573 275.97/274.94 c cleaning 9990 clauses out of 20027 with flag 2135000/3785573 276.77/275.71 c cleaning 10002 clauses out of 20037 with flag 2145000/3795573 277.47/276.49 c cleaning 10003 clauses out of 20035 with flag 2155000/3805573 278.37/277.31 c cleaning 10005 clauses out of 20034 with flag 2165002/3815575 279.17/278.10 c cleaning 10000 clauses out of 20027 with flag 2175000/3825573 279.87/278.83 c cleaning 9990 clauses out of 20027 with flag 2185000/3835573 280.67/279.61 c cleaning 10000 clauses out of 20038 with flag 2195001/3845574 281.37/280.35 c cleaning 10001 clauses out of 20037 with flag 2205000/3855573 282.17/281.10 c cleaning 9999 clauses out of 20036 with flag 2215000/3865573 282.87/281.87 c cleaning 9996 clauses out of 20037 with flag 2225000/3875573 283.68/282.63 c cleaning 10014 clauses out of 20043 with flag 2235002/3885575 284.38/283.39 c cleaning 10001 clauses out of 20028 with flag 2245001/3895574 285.18/284.13 c cleaning 9995 clauses out of 20027 with flag 2255001/3905574 285.89/284.88 c cleaning 9992 clauses out of 20032 with flag 2265001/3915574 286.58/285.56 c cleaning 10005 clauses out of 20039 with flag 2275000/3925573 287.28/286.28 c cleaning 9997 clauses out of 20035 with flag 2285001/3935574 287.98/287.01 c cleaning 10004 clauses out of 20039 with flag 2295002/3945575 288.78/287.70 c cleaning 10001 clauses out of 20033 with flag 2305000/3955573 289.48/288.43 c cleaning 10000 clauses out of 20032 with flag 2315000/3965573 290.19/289.17 c cleaning 10005 clauses out of 20033 with flag 2325001/3975574 290.89/289.87 c cleaning 9997 clauses out of 20029 with flag 2335002/3985575 291.69/290.61 c cleaning 10000 clauses out of 20031 with flag 2345001/3995574 292.39/291.33 c cleaning 10004 clauses out of 20031 with flag 2355001/4005574 293.09/292.07 c cleaning 10001 clauses out of 20026 with flag 2365000/4015573 293.89/292.82 c cleaning 9995 clauses out of 20026 with flag 2375001/4025574 294.59/293.61 c cleaning 10003 clauses out of 20032 with flag 2385002/4035575 295.39/294.37 c cleaning 9990 clauses out of 20028 with flag 2395001/4045574 296.19/295.11 c cleaning 10002 clauses out of 20038 with flag 2405001/4055574 296.89/295.83 c cleaning 9998 clauses out of 20035 with flag 2415000/4065573 297.59/296.56 c cleaning 9999 clauses out of 20037 with flag 2425000/4075573 298.29/297.30 c cleaning 10006 clauses out of 20039 with flag 2435001/4085574 299.10/298.08 c cleaning 10004 clauses out of 20032 with flag 2445000/4095573 299.89/298.89 c cleaning 9994 clauses out of 20028 with flag 2455000/4105573 300.69/299.67 c cleaning 9997 clauses out of 20034 with flag 2465000/4115573 301.49/300.41 c cleaning 10002 clauses out of 20037 with flag 2475000/4125573 302.19/301.12 c cleaning 10000 clauses out of 20037 with flag 2485002/4135575 302.89/301.83 c cleaning 9992 clauses out of 20035 with flag 2495000/4145573 303.63/302.57 c cleaning 9999 clauses out of 20044 with flag 2505001/4155574 304.31/303.27 c cleaning 9995 clauses out of 20044 with flag 2515000/4165573 305.01/303.98 c cleaning 10012 clauses out of 20050 with flag 2525001/4175574 305.83/304.73 c cleaning 9997 clauses out of 20037 with flag 2535000/4185573 306.51/305.49 c cleaning 10012 clauses out of 20041 with flag 2545001/4195574 307.31/306.28 c cleaning 9997 clauses out of 20028 with flag 2555000/4205573 308.11/307.02 c cleaning 9996 clauses out of 20031 with flag 2565000/4215573 308.81/307.79 c cleaning 10005 clauses out of 20035 with flag 2575000/4225573 309.61/308.58 c cleaning 10007 clauses out of 20030 with flag 2585000/4235573 310.41/309.33 c cleaning 9998 clauses out of 20024 with flag 2595001/4245574 311.11/310.06 c cleaning 9996 clauses out of 20025 with flag 2605000/4255573 311.81/310.78 c cleaning 9993 clauses out of 20029 with flag 2615000/4265573 312.62/311.51 c cleaning 10002 clauses out of 20036 with flag 2625000/4275573 313.32/312.26 c cleaning 9999 clauses out of 20035 with flag 2635001/4285574 314.11/313.01 c cleaning 9997 clauses out of 20035 with flag 2645000/4295573 314.92/313.81 c cleaning 10000 clauses out of 20038 with flag 2655000/4305573 315.62/314.60 c cleaning 10002 clauses out of 20038 with flag 2665000/4315573 316.42/315.34 c cleaning 9996 clauses out of 20037 with flag 2675001/4325574 317.12/316.07 c cleaning 10005 clauses out of 20040 with flag 2685000/4335573 317.83/316.78 c cleaning 9999 clauses out of 20035 with flag 2695000/4345573 318.62/317.56 c cleaning 10007 clauses out of 20036 with flag 2705000/4355573 319.42/318.31 c cleaning 9998 clauses out of 20029 with flag 2715000/4365573 320.14/319.05 c cleaning 9993 clauses out of 20031 with flag 2725000/4375573 320.82/319.75 c cleaning 10001 clauses out of 20039 with flag 2735001/4385574 321.52/320.49 c cleaning 10009 clauses out of 20037 with flag 2745000/4395573 322.23/321.22 c cleaning 9992 clauses out of 20028 with flag 2755000/4405573 323.02/321.95 c cleaning 10002 clauses out of 20037 with flag 2765001/4415574 323.82/322.71 c cleaning 10001 clauses out of 20035 with flag 2775001/4425574 324.56/323.47 c cleaning 10000 clauses out of 20034 with flag 2785001/4435574 325.33/324.24 c cleaning 10005 clauses out of 20033 with flag 2795000/4445573 326.04/324.91 c cleaning 9996 clauses out of 20028 with flag 2805000/4455573 326.76/325.69 c cleaning 10003 clauses out of 20032 with flag 2815000/4465573 327.54/326.43 c cleaning 10001 clauses out of 20031 with flag 2825002/4475575 328.24/327.16 c cleaning 9999 clauses out of 20029 with flag 2835001/4485574 329.04/327.93 c cleaning 9996 clauses out of 20030 with flag 2845001/4495574 329.84/328.72 c cleaning 10004 clauses out of 20033 with flag 2855000/4505573 330.54/329.49 c cleaning 9991 clauses out of 20030 with flag 2865001/4515574 331.34/330.22 c cleaning 10003 clauses out of 20039 with flag 2875001/4525574 332.04/330.97 c cleaning 10010 clauses out of 20035 with flag 2885000/4535573 332.84/331.74 c cleaning 9998 clauses out of 20026 with flag 2895001/4545574 333.54/332.49 c cleaning 9992 clauses out of 20027 with flag 2905000/4555573 334.35/333.23 c cleaning 10010 clauses out of 20035 with flag 2915000/4565573 335.14/334.04 c cleaning 10011 clauses out of 20025 with flag 2925000/4575573 335.94/334.81 c cleaning 9993 clauses out of 20015 with flag 2935001/4585574 336.66/335.59 c cleaning 9994 clauses out of 20021 with flag 2945000/4595573 337.44/336.33 c cleaning 9999 clauses out of 20028 with flag 2955001/4605574 338.15/337.03 c cleaning 9995 clauses out of 20028 with flag 2965000/4615573 338.88/337.75 c cleaning 10002 clauses out of 20033 with flag 2975000/4625573 339.56/338.48 c cleaning 9992 clauses out of 20031 with flag 2985000/4635573 340.36/339.23 c cleaning 10007 clauses out of 20039 with flag 2995000/4645573 341.08/339.97 c cleaning 9993 clauses out of 20032 with flag 3005000/4655573 341.76/340.68 c cleaning 10000 clauses out of 20041 with flag 3015002/4665575 342.56/341.40 c cleaning 10000 clauses out of 20039 with flag 3025000/4675573 343.28/342.13 c cleaning 9999 clauses out of 20040 with flag 3035001/4685574 343.96/342.86 c cleaning 10002 clauses out of 20040 with flag 3045000/4695573 344.76/343.64 c cleaning 10004 clauses out of 20039 with flag 3055001/4705574 345.56/344.41 c cleaning 10005 clauses out of 20034 with flag 3065000/4715573 346.26/345.17 c cleaning 10011 clauses out of 20030 with flag 3075001/4725574 347.06/345.94 c cleaning 9991 clauses out of 20017 with flag 3085000/4735573 347.76/346.66 c cleaning 10000 clauses out of 20027 with flag 3095001/4745574 348.56/347.40 c cleaning 9996 clauses out of 20027 with flag 3105001/4755574 349.16/348.08 c cleaning 9993 clauses out of 20030 with flag 3115000/4765573 349.89/348.78 c cleaning 10008 clauses out of 20038 with flag 3125001/4775574 350.67/349.50 c cleaning 9997 clauses out of 20030 with flag 3135001/4785574 351.37/350.21 c cleaning 9998 clauses out of 20032 with flag 3145000/4795573 352.09/350.94 c cleaning 9999 clauses out of 20034 with flag 3155000/4805573 352.77/351.66 c cleaning 10012 clauses out of 20035 with flag 3165000/4815573 353.47/352.36 c cleaning 9997 clauses out of 20023 with flag 3175000/4825573 354.29/353.14 c cleaning 9988 clauses out of 20026 with flag 3185000/4835573 355.07/353.93 c cleaning 10002 clauses out of 20039 with flag 3195001/4845574 355.87/354.70 c cleaning 10001 clauses out of 20036 with flag 3205000/4855573 356.57/355.47 c cleaning 10000 clauses out of 20035 with flag 3215000/4865573 357.37/356.20 c cleaning 10002 clauses out of 20035 with flag 3225000/4875573 358.08/356.93 c cleaning 10013 clauses out of 20033 with flag 3235000/4885573 358.78/357.66 c cleaning 9999 clauses out of 20020 with flag 3245000/4895573 359.48/358.38 c cleaning 10006 clauses out of 20020 with flag 3255000/4905573 360.18/359.02 c cleaning 9995 clauses out of 20013 with flag 3265000/4915573 360.79/359.69 c cleaning 9996 clauses out of 20018 with flag 3275000/4925573 361.48/360.33 c cleaning 9999 clauses out of 20021 with flag 3285000/4935573 362.09/360.99 c cleaning 10002 clauses out of 20021 with flag 3295001/4945574 362.29/361.14 c starts : 260 362.29/361.14 c conflicts : 4947850 362.29/361.14 c decisions : 5257460 362.29/361.14 c propagations : 291402751 362.29/361.14 c inspects : 2078990898 362.29/361.14 c shortcuts : 0 362.29/361.14 c learnt literals : 32 362.29/361.14 c learnt binary clauses : 306 362.29/361.14 c learnt ternary clauses : 1370 362.29/361.14 c learnt constraints : 4947817 362.29/361.14 c ignored constraints : 0 362.29/361.14 c root simplifications : 0 362.29/361.14 c removed literals (reason simplification) : 93176064 362.29/361.14 c reason swapping (by a shorter reason) : 0 362.29/361.14 c Calls to reduceDB : 501 362.29/361.14 c number of reductions to clauses (during analyze) : 0 362.29/361.14 c number of learned constraints concerned by reduction : 0 362.29/361.14 c number of learning phase by resolution : 0 362.29/361.14 c number of learning phase by cutting planes : 0 362.29/361.14 c speed (assignments/second) : 1197837.6275310966 362.29/361.14 c non guided choices 269 362.29/361.14 c learnt constraints type 362.29/361.14 c constraints type 362.29/361.14 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1666 362.29/361.14 c org.sat4j.minisat.constraints.card.MinWatchCard => 24 362.29/361.14 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 406 362.29/361.14 s OPTIMUM FOUND 362.29/361.15 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 x694 -x695 -x696 362.29/361.15 c objective function=60 362.29/361.15 c Total wall clock time (in seconds): 361.025
OK 60
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3459446-1307146634/watcher-3459446-1307146634 -o /tmp/evaluation-result-3459446-1307146634/solver-3459446-1307146634 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459446-1307146634.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.02 1.48 1.78 3/557 5312 /proc/meminfo: memFree=28720092/32951124 swapFree=34426104/67111528 [pid=5312] ppid=5308 vsize=23028 CPUtime=0 cores=1,3,5,7 /proc/5312/stat : 5312 (java) R 5308 5312 3728 0 -1 4202496 539 0 0 0 0 0 0 0 17 0 1 0 904894035 23580672 283 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224279963413 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/5312/statm: 5757 295 227 9 0 124 0 [pid=5312/tid=5314] ppid=5308 vsize=13508980 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5314/stat : 5314 (java) R 5308 5312 3728 0 -1 4202560 2356 0 1 0 0 0 0 0 17 0 2 0 904894035 13833195520 3172 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224284619835 0 4 0 16784584 0 0 0 -1 3 0 0 0 [startup+0.0508179 s] /proc/loadavg: 1.02 1.48 1.78 3/557 5312 /proc/meminfo: memFree=28720092/32951124 swapFree=34426104/67111528 [pid=5312] ppid=5308 vsize=13549480 CPUtime=0.03 cores=1,3,5,7 /proc/5312/stat : 5312 (java) S 5308 5312 3728 0 -1 4202496 13587 0 1 0 2 1 0 0 17 0 13 0 904894035 13874667520 13286 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/5312/statm: 3387370 13286 1633 9 0 3378118 0 [pid=5312/tid=5314] ppid=5308 vsize=13549480 CPUtime=0.03 cores=1,3,5,7 /proc/5312/task/5314/stat : 5314 (java) R 5308 5312 3728 0 -1 4202560 12447 0 1 0 2 1 0 0 20 0 13 0 904894035 13874667520 13287 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 47812805401539 0 4 0 16784584 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 13549480 [startup+0.100774 s] /proc/loadavg: 1.02 1.48 1.78 3/557 5312 /proc/meminfo: memFree=28720092/32951124 swapFree=34426104/67111528 [pid=5312] ppid=5308 vsize=13621372 CPUtime=0.08 cores=1,3,5,7 /proc/5312/stat : 5312 (java) S 5308 5312 3728 0 -1 4202496 15106 0 1 0 7 1 0 0 17 0 18 0 904894035 13948284928 14803 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/5312/statm: 3405343 14810 2018 9 0 3396077 0 [pid=5312/tid=5314] ppid=5308 vsize=13621372 CPUtime=0.07 cores=1,3,5,7 /proc/5312/task/5314/stat : 5314 (java) R 5308 5312 3728 0 -1 4202560 13436 0 1 0 6 1 0 0 18 0 18 0 904894035 13948284928 14811 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224284921701 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 13621372 [startup+0.300741 s] /proc/loadavg: 1.02 1.48 1.78 3/557 5312 /proc/meminfo: memFree=28720092/32951124 swapFree=34426104/67111528 [pid=5312] ppid=5308 vsize=13624656 CPUtime=0.46 cores=1,3,5,7 /proc/5312/stat : 5312 (java) S 5308 5312 3728 0 -1 4202496 18259 0 1 0 44 2 0 0 17 0 19 0 904894035 13951647744 17690 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/5312/statm: 3406164 17690 2208 9 0 3396898 0 [pid=5312/tid=5314] ppid=5308 vsize=13624656 CPUtime=0.27 cores=1,3,5,7 /proc/5312/task/5314/stat : 5314 (java) R 5308 5312 3728 0 -1 4202560 15282 0 1 0 26 1 0 0 19 0 19 0 904894035 13951647744 17690 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 46912505175300 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 13624656 [startup+0.700709 s] /proc/loadavg: 1.02 1.48 1.78 3/557 5312 /proc/meminfo: memFree=28720092/32951124 swapFree=34426104/67111528 [pid=5312] ppid=5308 vsize=13625100 CPUtime=1.19 cores=1,3,5,7 /proc/5312/stat : 5312 (java) S 5308 5312 3728 0 -1 4202496 21464 0 1 0 117 2 0 0 17 0 19 0 904894035 13952102400 19007 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/5312/statm: 3406275 19007 2252 9 0 3397009 0 [pid=5312/tid=5314] ppid=5308 vsize=13625100 CPUtime=0.65 cores=1,3,5,7 /proc/5312/task/5314/stat : 5314 (java) R 5308 5312 3728 0 -1 4202560 15570 0 1 0 64 1 0 0 19 0 19 0 904894035 13952102400 19007 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 46912505665076 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1.19 Current children cumulated vsize (KiB) 13625100 [startup+1.50157 s] /proc/loadavg: 1.02 1.48 1.78 4/595 5350 /proc/meminfo: memFree=28581172/32951124 swapFree=34426104/67111528 [pid=5312] ppid=5308 vsize=13625240 CPUtime=2.16 cores=1,3,5,7 /proc/5312/stat : 5312 (java) S 5308 5312 3728 0 -1 4202496 24324 0 1 0 213 3 0 0 17 0 19 0 904894035 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/5312/statm: 3406310 20767 2252 9 0 3397044 0 [pid=5312/tid=5314] ppid=5308 vsize=13625240 CPUtime=1.42 cores=1,3,5,7 /proc/5312/task/5314/stat : 5314 (java) R 5308 5312 3728 0 -1 4202560 15576 0 1 0 141 1 0 0 20 0 19 0 904894035 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 46912505622468 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=5312/tid=5317] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5317/stat : 5317 (java) S 5308 5312 3728 0 -1 4202560 267 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0 [pid=5312/tid=5318] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5318/stat : 5318 (java) S 5308 5312 3728 0 -1 4202560 204 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5320] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5320/stat : 5320 (java) S 5308 5312 3728 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5322] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5322/stat : 5322 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0 [pid=5312/tid=5324] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5324/stat : 5324 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0 [pid=5312/tid=5326] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5326/stat : 5326 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0 [pid=5312/tid=5328] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5328/stat : 5328 (java) S 5308 5312 3728 0 -1 4202560 119 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5330] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5330/stat : 5330 (java) S 5308 5312 3728 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 904894038 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0 [pid=5312/tid=5334] ppid=5308 vsize=13625240 CPUtime=0.04 cores=1,3,5,7 /proc/5312/task/5334/stat : 5334 (java) S 5308 5312 3728 0 -1 4202560 534 0 0 0 4 0 0 0 16 0 19 0 904894039 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 0 0 16800975 18446604470983619840 0 0 -1 3 0 0 0 [pid=5312/tid=5335] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5335/stat : 5335 (java) S 5308 5312 3728 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 904894040 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0 [pid=5312/tid=5337] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5337/stat : 5337 (java) S 5308 5312 3728 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 904894040 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5339] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5339/stat : 5339 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 904894042 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296749489 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0 [pid=5312/tid=5340] ppid=5308 vsize=13625240 CPUtime=0.38 cores=1,3,5,7 /proc/5312/task/5340/stat : 5340 (java) S 5308 5312 3728 0 -1 4202560 4675 0 0 0 37 1 0 0 15 0 19 0 904894042 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 5 0 0 0 [pid=5312/tid=5343] ppid=5308 vsize=13625240 CPUtime=0.29 cores=1,3,5,7 /proc/5312/task/5343/stat : 5343 (java) S 5308 5312 3728 0 -1 4202560 1788 0 0 0 29 0 0 0 15 0 19 0 904894042 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5344] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5344/stat : 5344 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 904894042 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0 [pid=5312/tid=5347] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5347/stat : 5347 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904894042 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0 [pid=5312/tid=5349] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5349/stat : 5349 (java) S 5308 5312 3728 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904894065 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2.16 Current children cumulated vsize (KiB) 13625240 [startup+3.10131 s] /proc/loadavg: 1.18 1.51 1.79 4/595 5350 /proc/meminfo: memFree=28570260/32951124 swapFree=34426104/67111528 [pid=5312] ppid=5308 vsize=13625240 CPUtime=3.82 cores=1,3,5,7 /proc/5312/stat : 5312 (java) S 5308 5312 3728 0 -1 4202496 24469 0 1 0 378 4 0 0 17 0 19 0 904894035 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/5312/statm: 3406310 20907 2252 9 0 3397044 0 [pid=5312/tid=5314] ppid=5308 vsize=13625240 CPUtime=2.94 cores=1,3,5,7 /proc/5312/task/5314/stat : 5314 (java) R 5308 5312 3728 0 -1 4202560 15582 0 1 0 293 1 0 0 24 0 19 0 904894035 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 46912505615904 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=5312/tid=5317] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5317/stat : 5317 (java) S 5308 5312 3728 0 -1 4202560 270 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0 [pid=5312/tid=5318] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5318/stat : 5318 (java) S 5308 5312 3728 0 -1 4202560 206 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5320] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5320/stat : 5320 (java) S 5308 5312 3728 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0 [pid=5312/tid=5322] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5322/stat : 5322 (java) S 5308 5312 3728 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0 [pid=5312/tid=5324] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5324/stat : 5324 (java) S 5308 5312 3728 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5326] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5326/stat : 5326 (java) S 5308 5312 3728 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5328] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5328/stat : 5328 (java) S 5308 5312 3728 0 -1 4202560 119 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5330] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5330/stat : 5330 (java) S 5308 5312 3728 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0 [pid=5312/tid=5334] ppid=5308 vsize=13625240 CPUtime=0.11 cores=1,3,5,7 /proc/5312/task/5334/stat : 5334 (java) S 5308 5312 3728 0 -1 4202560 582 0 0 0 11 0 0 0 16 0 19 0 904894039 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 0 0 16800975 18446604470983619840 0 0 -1 3 0 0 0 [pid=5312/tid=5335] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5335/stat : 5335 (java) S 5308 5312 3728 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 904894040 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0 [pid=5312/tid=5337] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5337/stat : 5337 (java) S 5308 5312 3728 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 904894040 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5339] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5339/stat : 5339 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 904894042 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296749489 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0 [pid=5312/tid=5340] ppid=5308 vsize=13625240 CPUtime=0.43 cores=1,3,5,7 /proc/5312/task/5340/stat : 5340 (java) S 5308 5312 3728 0 -1 4202560 4757 0 0 0 42 1 0 0 15 0 19 0 904894042 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 5 0 0 0 [pid=5312/tid=5343] ppid=5308 vsize=13625240 CPUtime=0.29 cores=1,3,5,7 /proc/5312/task/5343/stat : 5343 (java) S 5308 5312 3728 0 -1 4202560 1788 0 0 0 29 0 0 0 15 0 19 0 904894042 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5344] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5344/stat : 5344 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 904894042 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0 [pid=5312/tid=5347] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5347/stat : 5347 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904894042 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0 [pid=5312/tid=5349] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5349/stat : 5349 (java) S 5308 5312 3728 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904894065 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3.82 Current children cumulated vsize (KiB) 13625240 [startup+6.30077 s] /proc/loadavg: 1.18 1.51 1.79 4/595 5350 /proc/meminfo: memFree=28568468/32951124 swapFree=34426104/67111528 [pid=5312] ppid=5308 vsize=13625240 CPUtime=7.03 cores=1,3,5,7 /proc/5312/stat : 5312 (java) S 5308 5312 3728 0 -1 4202496 24493 0 1 0 699 4 0 0 17 0 19 0 904894035 13952245760 20923 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/5312/statm: 3406310 20923 2252 9 0 3397044 0 [pid=5312/tid=5314] ppid=5308 vsize=13625240 CPUtime=6.03 cores=1,3,5,7 /proc/5312/task/5314/stat : 5314 (java) R 5308 5312 3728 0 -1 4202560 15590 0 1 0 602 1 0 0 25 0 19 0 904894035 13952245760 20923 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 46912505649377 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=5312/tid=5317] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5317/stat : 5317 (java) S 5308 5312 3728 0 -1 4202560 270 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20923 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0 [pid=5312/tid=5318] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5318/stat : 5318 (java) S 5308 5312 3728 0 -1 4202560 206 0 0 0 0 0 0 0 16 0 19 0 904894038 13952245760 20923 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0 [pid=5312/tid=5320] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5320/stat : 5320 (java) S 5308 5312 3728 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20923 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5322] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5322/stat : 5322 (java) S 5308 5312 3728 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20923 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0 [pid=5312/tid=5324] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5324/stat : 5324 (java) S 5308 5312 3728 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20923 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5326] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5326/stat : 5326 (java) S 5308 5312 3728 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20923 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5328] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5328/stat : 5328 (java) S 5308 5312 3728 0 -1 4202560 119 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20923 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5330] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5330/stat : 5330 (java) S 5308 5312 3728 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20923 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5334] ppid=5308 vsize=13625240 CPUtime=0.21 cores=1,3,5,7 /proc/5312/task/5334/stat : 5334 (java) S 5308 5312 3728 0 -1 4202560 593 0 0 0 21 0 0 0 16 0 19 0 904894039 13952245760 20923 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 0 0 16800975 18446604470983619840 0 0 -1 3 0 0 0 [pid=5312/tid=5335] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5335/stat : 5335 (java) S 5308 5312 3728 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 904894040 13952245760 20923 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0 [pid=5312/tid=5337] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5337/stat : 5337 (java) S 5308 5312 3728 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 904894040 13952245760 20923 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5339] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5339/stat : 5339 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 904894042 13952245760 20923 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296749489 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0 [pid=5312/tid=5340] ppid=5308 vsize=13625240 CPUtime=0.44 cores=1,3,5,7 /proc/5312/task/5340/stat : 5340 (java) S 5308 5312 3728 0 -1 4202560 4757 0 0 0 43 1 0 0 15 0 19 0 904894042 13952245760 20923 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 5 0 0 0 [pid=5312/tid=5343] ppid=5308 vsize=13625240 CPUtime=0.29 cores=1,3,5,7 /proc/5312/task/5343/stat : 5343 (java) S 5308 5312 3728 0 -1 4202560 1788 0 0 0 29 0 0 0 15 0 19 0 904894042 13952245760 20923 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 ################ # More data... # ################ /proc/5312/task/5317/stat : 5317 (java) S 5308 5312 3728 0 -1 4202560 287 0 0 0 15 0 0 0 15 0 19 0 904894038 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5318] ppid=5308 vsize=13625240 CPUtime=0.15 cores=1,3,5,7 /proc/5312/task/5318/stat : 5318 (java) S 5308 5312 3728 0 -1 4202560 225 0 0 0 15 0 0 0 16 0 19 0 904894038 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0 [pid=5312/tid=5320] ppid=5308 vsize=13625240 CPUtime=0.13 cores=1,3,5,7 /proc/5312/task/5320/stat : 5320 (java) S 5308 5312 3728 0 -1 4202560 43 0 0 0 13 0 0 0 15 0 19 0 904894038 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5322] ppid=5308 vsize=13625240 CPUtime=0.14 cores=1,3,5,7 /proc/5312/task/5322/stat : 5322 (java) S 5308 5312 3728 0 -1 4202560 67 0 0 0 14 0 0 0 16 0 19 0 904894038 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0 [pid=5312/tid=5324] ppid=5308 vsize=13625240 CPUtime=0.13 cores=1,3,5,7 /proc/5312/task/5324/stat : 5324 (java) S 5308 5312 3728 0 -1 4202560 23 0 0 0 13 0 0 0 15 0 19 0 904894038 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 5 0 0 0 [pid=5312/tid=5326] ppid=5308 vsize=13625240 CPUtime=0.14 cores=1,3,5,7 /proc/5312/task/5326/stat : 5326 (java) S 5308 5312 3728 0 -1 4202560 36 0 0 0 14 0 0 0 15 0 19 0 904894038 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 5 0 0 0 [pid=5312/tid=5328] ppid=5308 vsize=13625240 CPUtime=0.12 cores=1,3,5,7 /proc/5312/task/5328/stat : 5328 (java) S 5308 5312 3728 0 -1 4202560 126 0 0 0 12 0 0 0 15 0 19 0 904894038 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5330] ppid=5308 vsize=13625240 CPUtime=0.11 cores=1,3,5,7 /proc/5312/task/5330/stat : 5330 (java) S 5308 5312 3728 0 -1 4202560 15 0 0 0 11 0 0 0 15 0 19 0 904894038 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5334] ppid=5308 vsize=13625240 CPUtime=8.02 cores=1,3,5,7 /proc/5312/task/5334/stat : 5334 (java) S 5308 5312 3728 0 -1 4202560 1190 0 0 0 794 8 0 0 15 0 19 0 904894039 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 0 0 16800975 18446604470983619840 0 0 -1 3 0 0 0 [pid=5312/tid=5335] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5335/stat : 5335 (java) S 5308 5312 3728 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 904894040 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0 [pid=5312/tid=5337] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5337/stat : 5337 (java) S 5308 5312 3728 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 904894040 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5339] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5339/stat : 5339 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 904894042 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296749489 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0 [pid=5312/tid=5340] ppid=5308 vsize=13625240 CPUtime=0.49 cores=1,3,5,7 /proc/5312/task/5340/stat : 5340 (java) S 5308 5312 3728 0 -1 4202560 4838 0 0 0 48 1 0 0 15 0 19 0 904894042 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 5 0 0 0 [pid=5312/tid=5343] ppid=5308 vsize=13625240 CPUtime=0.31 cores=1,3,5,7 /proc/5312/task/5343/stat : 5343 (java) S 5308 5312 3728 0 -1 4202560 1788 0 0 0 31 0 0 0 15 0 19 0 904894042 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5344] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5344/stat : 5344 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 904894042 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0 [pid=5312/tid=5347] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5347/stat : 5347 (java) S 5308 5312 3728 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 904894042 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5349] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5349/stat : 5349 (java) S 5308 5312 3728 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904894065 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 359.48 Current children cumulated vsize (KiB) 13625240 [startup+359.901 s] /proc/loadavg: 2.31 1.94 1.87 3/595 5406 /proc/meminfo: memFree=28506936/32951124 swapFree=34426104/67111528 [pid=5312] ppid=5308 vsize=13625240 CPUtime=361.08 cores=1,3,5,7 /proc/5312/stat : 5312 (java) S 5308 5312 3728 0 -1 4202496 25888 0 1 0 36092 16 0 0 17 0 19 0 904894035 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/5312/statm: 3406310 20486 2253 9 0 3397044 0 [pid=5312/tid=5314] ppid=5308 vsize=13625240 CPUtime=351.03 cores=1,3,5,7 /proc/5312/task/5314/stat : 5314 (java) R 5308 5312 3728 0 -1 4202560 16073 0 1 0 35101 2 0 0 25 0 19 0 904894035 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 46912505764825 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=5312/tid=5317] ppid=5308 vsize=13625240 CPUtime=0.15 cores=1,3,5,7 /proc/5312/task/5317/stat : 5317 (java) S 5308 5312 3728 0 -1 4202560 287 0 0 0 15 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5318] ppid=5308 vsize=13625240 CPUtime=0.15 cores=1,3,5,7 /proc/5312/task/5318/stat : 5318 (java) S 5308 5312 3728 0 -1 4202560 225 0 0 0 15 0 0 0 16 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0 [pid=5312/tid=5320] ppid=5308 vsize=13625240 CPUtime=0.13 cores=1,3,5,7 /proc/5312/task/5320/stat : 5320 (java) S 5308 5312 3728 0 -1 4202560 43 0 0 0 13 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0 [pid=5312/tid=5322] ppid=5308 vsize=13625240 CPUtime=0.14 cores=1,3,5,7 /proc/5312/task/5322/stat : 5322 (java) S 5308 5312 3728 0 -1 4202560 67 0 0 0 14 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0 [pid=5312/tid=5324] ppid=5308 vsize=13625240 CPUtime=0.13 cores=1,3,5,7 /proc/5312/task/5324/stat : 5324 (java) S 5308 5312 3728 0 -1 4202560 23 0 0 0 13 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 5 0 0 0 [pid=5312/tid=5326] ppid=5308 vsize=13625240 CPUtime=0.14 cores=1,3,5,7 /proc/5312/task/5326/stat : 5326 (java) S 5308 5312 3728 0 -1 4202560 36 0 0 0 14 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 5 0 0 0 [pid=5312/tid=5328] ppid=5308 vsize=13625240 CPUtime=0.13 cores=1,3,5,7 /proc/5312/task/5328/stat : 5328 (java) S 5308 5312 3728 0 -1 4202560 126 0 0 0 13 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5330] ppid=5308 vsize=13625240 CPUtime=0.11 cores=1,3,5,7 /proc/5312/task/5330/stat : 5330 (java) S 5308 5312 3728 0 -1 4202560 15 0 0 0 11 0 0 0 16 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5334] ppid=5308 vsize=13625240 CPUtime=8.07 cores=1,3,5,7 /proc/5312/task/5334/stat : 5334 (java) S 5308 5312 3728 0 -1 4202560 1196 0 0 0 799 8 0 0 15 0 19 0 904894039 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 0 0 16800975 18446604470983619840 0 0 -1 3 0 0 0 [pid=5312/tid=5335] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5335/stat : 5335 (java) S 5308 5312 3728 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 904894040 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0 [pid=5312/tid=5337] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5337/stat : 5337 (java) S 5308 5312 3728 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 904894040 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5339] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5339/stat : 5339 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 904894042 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296749489 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0 [pid=5312/tid=5340] ppid=5308 vsize=13625240 CPUtime=0.49 cores=1,3,5,7 /proc/5312/task/5340/stat : 5340 (java) S 5308 5312 3728 0 -1 4202560 4838 0 0 0 48 1 0 0 15 0 19 0 904894042 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 5 0 0 0 [pid=5312/tid=5343] ppid=5308 vsize=13625240 CPUtime=0.31 cores=1,3,5,7 /proc/5312/task/5343/stat : 5343 (java) S 5308 5312 3728 0 -1 4202560 1788 0 0 0 31 0 0 0 15 0 19 0 904894042 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5344] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5344/stat : 5344 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 904894042 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0 [pid=5312/tid=5347] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5347/stat : 5347 (java) S 5308 5312 3728 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 904894042 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5349] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5349/stat : 5349 (java) S 5308 5312 3728 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904894065 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 361.08 Current children cumulated vsize (KiB) 13625240 [startup+360.701 s] /proc/loadavg: 2.31 1.94 1.87 3/595 5406 /proc/meminfo: memFree=28506936/32951124 swapFree=34426104/67111528 [pid=5312] ppid=5308 vsize=13625240 CPUtime=361.9 cores=1,3,5,7 /proc/5312/stat : 5312 (java) S 5308 5312 3728 0 -1 4202496 25889 0 1 0 36173 17 0 0 17 0 19 0 904894035 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/5312/statm: 3406310 20486 2253 9 0 3397044 0 [pid=5312/tid=5314] ppid=5308 vsize=13625240 CPUtime=351.84 cores=1,3,5,7 /proc/5312/task/5314/stat : 5314 (java) R 5308 5312 3728 0 -1 4202560 16074 0 1 0 35182 2 0 0 25 0 19 0 904894035 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 46912505624813 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=5312/tid=5317] ppid=5308 vsize=13625240 CPUtime=0.15 cores=1,3,5,7 /proc/5312/task/5317/stat : 5317 (java) S 5308 5312 3728 0 -1 4202560 287 0 0 0 15 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5318] ppid=5308 vsize=13625240 CPUtime=0.15 cores=1,3,5,7 /proc/5312/task/5318/stat : 5318 (java) S 5308 5312 3728 0 -1 4202560 225 0 0 0 15 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0 [pid=5312/tid=5320] ppid=5308 vsize=13625240 CPUtime=0.13 cores=1,3,5,7 /proc/5312/task/5320/stat : 5320 (java) S 5308 5312 3728 0 -1 4202560 43 0 0 0 13 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0 [pid=5312/tid=5322] ppid=5308 vsize=13625240 CPUtime=0.14 cores=1,3,5,7 /proc/5312/task/5322/stat : 5322 (java) S 5308 5312 3728 0 -1 4202560 67 0 0 0 14 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0 [pid=5312/tid=5324] ppid=5308 vsize=13625240 CPUtime=0.13 cores=1,3,5,7 /proc/5312/task/5324/stat : 5324 (java) S 5308 5312 3728 0 -1 4202560 23 0 0 0 13 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 5 0 0 0 [pid=5312/tid=5326] ppid=5308 vsize=13625240 CPUtime=0.14 cores=1,3,5,7 /proc/5312/task/5326/stat : 5326 (java) S 5308 5312 3728 0 -1 4202560 36 0 0 0 14 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 5 0 0 0 [pid=5312/tid=5328] ppid=5308 vsize=13625240 CPUtime=0.13 cores=1,3,5,7 /proc/5312/task/5328/stat : 5328 (java) S 5308 5312 3728 0 -1 4202560 126 0 0 0 13 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5330] ppid=5308 vsize=13625240 CPUtime=0.11 cores=1,3,5,7 /proc/5312/task/5330/stat : 5330 (java) S 5308 5312 3728 0 -1 4202560 15 0 0 0 11 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5334] ppid=5308 vsize=13625240 CPUtime=8.08 cores=1,3,5,7 /proc/5312/task/5334/stat : 5334 (java) S 5308 5312 3728 0 -1 4202560 1196 0 0 0 800 8 0 0 15 0 19 0 904894039 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 0 0 16800975 18446604470983619840 0 0 -1 3 0 0 0 [pid=5312/tid=5335] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5335/stat : 5335 (java) S 5308 5312 3728 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 904894040 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0 [pid=5312/tid=5337] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5337/stat : 5337 (java) S 5308 5312 3728 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 904894040 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5339] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5339/stat : 5339 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 904894042 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296749489 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0 [pid=5312/tid=5340] ppid=5308 vsize=13625240 CPUtime=0.49 cores=1,3,5,7 /proc/5312/task/5340/stat : 5340 (java) S 5308 5312 3728 0 -1 4202560 4838 0 0 0 48 1 0 0 15 0 19 0 904894042 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 5 0 0 0 [pid=5312/tid=5343] ppid=5308 vsize=13625240 CPUtime=0.31 cores=1,3,5,7 /proc/5312/task/5343/stat : 5343 (java) S 5308 5312 3728 0 -1 4202560 1788 0 0 0 31 0 0 0 15 0 19 0 904894042 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5344] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5344/stat : 5344 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 904894042 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0 [pid=5312/tid=5347] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5347/stat : 5347 (java) R 5308 5312 3728 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 904894042 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=5312/tid=5349] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5349/stat : 5349 (java) S 5308 5312 3728 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904894065 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 361.9 Current children cumulated vsize (KiB) 13625240 [startup+361.102 s] /proc/loadavg: 2.31 1.94 1.87 3/595 5406 /proc/meminfo: memFree=28506936/32951124 swapFree=34426104/67111528 [pid=5312] ppid=5308 vsize=13625240 CPUtime=362.29 cores=1,3,5,7 /proc/5312/stat : 5312 (java) S 5308 5312 3728 0 -1 4202496 25890 0 1 0 36212 17 0 0 17 0 19 0 904894035 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/5312/statm: 3406310 20486 2253 9 0 3397044 0 [pid=5312/tid=5314] ppid=5308 vsize=13625240 CPUtime=352.2 cores=1,3,5,7 /proc/5312/task/5314/stat : 5314 (java) R 5308 5312 3728 0 -1 4202560 16075 0 1 0 35218 2 0 0 25 0 19 0 904894035 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 46912505656142 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=5312/tid=5317] ppid=5308 vsize=13625240 CPUtime=0.15 cores=1,3,5,7 /proc/5312/task/5317/stat : 5317 (java) S 5308 5312 3728 0 -1 4202560 287 0 0 0 15 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5318] ppid=5308 vsize=13625240 CPUtime=0.15 cores=1,3,5,7 /proc/5312/task/5318/stat : 5318 (java) S 5308 5312 3728 0 -1 4202560 225 0 0 0 15 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0 [pid=5312/tid=5320] ppid=5308 vsize=13625240 CPUtime=0.13 cores=1,3,5,7 /proc/5312/task/5320/stat : 5320 (java) S 5308 5312 3728 0 -1 4202560 43 0 0 0 13 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0 [pid=5312/tid=5322] ppid=5308 vsize=13625240 CPUtime=0.14 cores=1,3,5,7 /proc/5312/task/5322/stat : 5322 (java) S 5308 5312 3728 0 -1 4202560 67 0 0 0 14 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0 [pid=5312/tid=5324] ppid=5308 vsize=13625240 CPUtime=0.13 cores=1,3,5,7 /proc/5312/task/5324/stat : 5324 (java) S 5308 5312 3728 0 -1 4202560 23 0 0 0 13 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 5 0 0 0 [pid=5312/tid=5326] ppid=5308 vsize=13625240 CPUtime=0.14 cores=1,3,5,7 /proc/5312/task/5326/stat : 5326 (java) S 5308 5312 3728 0 -1 4202560 36 0 0 0 14 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 5 0 0 0 [pid=5312/tid=5328] ppid=5308 vsize=13625240 CPUtime=0.13 cores=1,3,5,7 /proc/5312/task/5328/stat : 5328 (java) S 5308 5312 3728 0 -1 4202560 126 0 0 0 13 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0 [pid=5312/tid=5330] ppid=5308 vsize=13625240 CPUtime=0.11 cores=1,3,5,7 /proc/5312/task/5330/stat : 5330 (java) S 5308 5312 3728 0 -1 4202560 15 0 0 0 11 0 0 0 16 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5334] ppid=5308 vsize=13625240 CPUtime=8.1 cores=1,3,5,7 /proc/5312/task/5334/stat : 5334 (java) S 5308 5312 3728 0 -1 4202560 1196 0 0 0 802 8 0 0 15 0 19 0 904894039 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 0 0 16800975 18446604470983619840 0 0 -1 3 0 0 0 [pid=5312/tid=5335] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5335/stat : 5335 (java) S 5308 5312 3728 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 904894040 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0 [pid=5312/tid=5337] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5337/stat : 5337 (java) S 5308 5312 3728 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 904894040 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5339] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5339/stat : 5339 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 904894042 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296749489 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0 [pid=5312/tid=5340] ppid=5308 vsize=13625240 CPUtime=0.49 cores=1,3,5,7 /proc/5312/task/5340/stat : 5340 (java) S 5308 5312 3728 0 -1 4202560 4838 0 0 0 48 1 0 0 15 0 19 0 904894042 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 5 0 0 0 [pid=5312/tid=5343] ppid=5308 vsize=13625240 CPUtime=0.31 cores=1,3,5,7 /proc/5312/task/5343/stat : 5343 (java) S 5308 5312 3728 0 -1 4202560 1788 0 0 0 31 0 0 0 15 0 19 0 904894042 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5344] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5344/stat : 5344 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 904894042 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0 [pid=5312/tid=5347] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5347/stat : 5347 (java) S 5308 5312 3728 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 904894042 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 [pid=5312/tid=5349] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7 /proc/5312/task/5349/stat : 5349 (java) S 5308 5312 3728 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904894065 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 362.29 Current children cumulated vsize (KiB) 13625240 Child status: 30 Real time (s): 361.156 CPU time (s): 362.352 CPU user time (s): 362.175 CPU system time (s): 0.176973 CPU usage (%): 100.331 Max. virtual memory (cumulated for all children) (KiB): 13625472 getrusage(RUSAGE_CHILDREN,...) data: user time used= 362.175 system time used= 0.176973 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25919 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= 21655 involuntary context switches= 12427 runsolver used 2.05969 second user time and 4.96225 second system time The end
Begin job on node118 at 2011-06-04 02:17:14 IDJOB=3459446 IDBENCH=2028 IDSOLVER=1952 FILE ID=node118/3459446-1307146634 RUNJOBID= node118-1307146634-5294 PBS_JOBID= 13508798 Free space on /tmp= 73752 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3459446-1307146634/watcher-3459446-1307146634 -o /tmp/evaluation-result-3459446-1307146634/solver-3459446-1307146634 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459446-1307146634.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8521955d0869ff4fe0390118a5fbc0f9 RANDOM SEED=313081734 node118.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.842 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.68 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.842 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.75 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.842 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.74 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.842 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.75 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.842 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.68 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.842 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.842 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.842 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 : 5374.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28720272 kB Buffers: 318744 kB Cached: 2013544 kB SwapCached: 56168 kB Active: 862332 kB Inactive: 3030652 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28720272 kB SwapTotal: 67111528 kB SwapFree: 34426104 kB Dirty: 828 kB Writeback: 0 kB AnonPages: 1518020 kB Mapped: 14384 kB Slab: 150716 kB PageTables: 114780 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 183775616 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= 73748 MiB End job on node118 at 2011-06-04 02:23:15