Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution 2.3.0 | OPT | 3 | 573.417 | 570.588 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=307-P1=313-P2=331-P3=461-P4=131-P5=307-P6=149-P7=479-P8=317-P9=431-B.opb |
MD5SUM | 8b00ea770361f301179000d52beb4a25 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 3.98439 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 243 |
Total number of constraints | 19 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 19 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 729 |
Sum of products size (including duplicates) | 1458 |
Number of different products | 729 |
Sum of products size | 1458 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version 2.3.1.v20110525 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.18-164.el5 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 12995394264 0.00/0.09 c Max memory 13063553024 0.00/0.09 c Total memory 13063553024 0.00/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@761a626f 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3458090-1307157961.opb 0.10/0.11 c reading problem ... 0.26/0.21 c ... done. Wall clock time 0.1s. 0.26/0.21 c #vars 972 0.26/0.21 c #constraints 1486 0.26/0.21 c constraints type 0.26/0.21 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 729 0.26/0.21 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 757 1.08/0.75 c cleaning 2497 clauses out of 5000 with flag 5000/5000 1.75/1.36 c cleaning 4252 clauses out of 8503 with flag 11000/11000 2.67/2.23 c cleaning 5626 clauses out of 11252 with flag 18001/18001 3.46/3.04 c cleaning 6810 clauses out of 13625 with flag 26000/26000 4.10/3.66 c cleaning 7899 clauses out of 15815 with flag 35000/35000 5.00/4.54 c cleaning 8955 clauses out of 17917 with flag 45001/45001 6.04/5.54 c cleaning 9474 clauses out of 18961 with flag 55000/55000 6.74/6.24 c cleaning 9731 clauses out of 19487 with flag 65000/65000 7.55/7.06 c cleaning 9877 clauses out of 19757 with flag 75001/75001 8.45/7.97 c cleaning 9933 clauses out of 19880 with flag 85001/85001 9.26/8.79 c cleaning 9966 clauses out of 19948 with flag 95002/95002 10.06/9.58 c cleaning 9990 clauses out of 19980 with flag 105000/105000 10.96/10.46 c cleaning 9992 clauses out of 19990 with flag 115000/115000 11.76/11.26 c cleaning 9998 clauses out of 19999 with flag 125001/125001 12.76/12.21 c cleaning 9979 clauses out of 20000 with flag 135000/135000 13.37/12.80 c cleaning 10005 clauses out of 20022 with flag 145001/145001 14.07/13.57 c cleaning 9996 clauses out of 20016 with flag 155000/155000 15.17/14.66 c cleaning 9993 clauses out of 20020 with flag 165000/165000 16.18/15.62 c cleaning 10005 clauses out of 20027 with flag 175000/175000 17.09/16.59 c cleaning 10003 clauses out of 20022 with flag 185000/185000 17.98/17.45 c cleaning 10004 clauses out of 20019 with flag 195000/195000 18.79/18.29 c cleaning 10002 clauses out of 20015 with flag 205000/205000 19.69/19.13 c cleaning 10003 clauses out of 20013 with flag 215000/215000 20.70/20.16 c cleaning 10004 clauses out of 20011 with flag 225001/225001 21.70/21.17 c cleaning 10001 clauses out of 20007 with flag 235001/235001 22.51/21.91 c cleaning 9995 clauses out of 20005 with flag 245000/245000 23.41/22.82 c cleaning 9997 clauses out of 20010 with flag 255000/255000 24.21/23.66 c cleaning 10005 clauses out of 20015 with flag 265002/265002 25.12/24.53 c cleaning 10001 clauses out of 20009 with flag 275001/275001 25.83/25.25 c cleaning 9997 clauses out of 20008 with flag 285001/285001 26.82/26.22 c cleaning 9994 clauses out of 20011 with flag 295001/295001 27.83/27.22 c cleaning 9996 clauses out of 20016 with flag 305000/305000 28.73/28.18 c cleaning 10000 clauses out of 20020 with flag 315000/315000 29.53/28.98 c cleaning 10003 clauses out of 20020 with flag 325000/325000 30.25/29.68 c cleaning 10000 clauses out of 20017 with flag 335000/335000 30.94/30.34 c cleaning 9994 clauses out of 20017 with flag 345000/345000 31.94/31.35 c cleaning 10002 clauses out of 20023 with flag 355000/355000 33.04/32.40 c cleaning 10000 clauses out of 20021 with flag 365000/365000 34.05/33.43 c cleaning 9997 clauses out of 20021 with flag 375000/375000 35.15/34.53 c cleaning 10000 clauses out of 20025 with flag 385001/385001 36.15/35.58 c cleaning 10002 clauses out of 20024 with flag 395000/395000 37.16/36.53 c cleaning 10000 clauses out of 20023 with flag 405001/405001 38.48/37.52 c cleaning 10004 clauses out of 20023 with flag 415001/415001 39.90/38.61 c cleaning 10003 clauses out of 20018 with flag 425000/425000 40.60/39.35 c cleaning 10003 clauses out of 20016 with flag 435001/435001 41.51/40.20 c cleaning 10003 clauses out of 20013 with flag 445001/445001 42.11/40.87 c cleaning 9995 clauses out of 20010 with flag 455001/455001 42.91/41.64 c cleaning 10000 clauses out of 20014 with flag 465000/465000 43.71/42.47 c cleaning 9994 clauses out of 20015 with flag 475001/475001 44.62/43.39 c cleaning 9995 clauses out of 20020 with flag 485000/485000 45.62/44.37 c cleaning 9996 clauses out of 20027 with flag 495002/495002 46.72/45.45 c cleaning 10002 clauses out of 20029 with flag 505000/505000 47.63/46.36 c cleaning 9996 clauses out of 20027 with flag 515000/515000 48.46/47.17 c cleaning 10006 clauses out of 20030 with flag 525000/525000 49.27/47.96 c cleaning 10001 clauses out of 20024 with flag 535000/535000 50.07/48.71 c cleaning 9996 clauses out of 20023 with flag 545000/545000 51.08/49.74 c cleaning 9993 clauses out of 20027 with flag 555000/555000 51.89/50.56 c cleaning 10010 clauses out of 20034 with flag 565000/565000 52.58/51.25 c cleaning 9999 clauses out of 20024 with flag 575000/575000 53.78/52.41 c cleaning 9997 clauses out of 20026 with flag 585001/585001 54.88/53.60 c cleaning 10000 clauses out of 20029 with flag 595001/595001 56.09/54.76 c cleaning 10007 clauses out of 20028 with flag 605000/605000 57.30/55.91 c cleaning 10003 clauses out of 20021 with flag 615000/615000 58.40/57.08 c cleaning 10004 clauses out of 20020 with flag 625002/625002 59.50/58.15 c cleaning 10003 clauses out of 20015 with flag 635001/635001 60.40/59.09 c cleaning 10000 clauses out of 20011 with flag 645000/645000 61.60/60.23 c cleaning 9999 clauses out of 20011 with flag 655000/655000 62.71/61.39 c cleaning 10001 clauses out of 20012 with flag 665000/665000 64.02/62.66 c cleaning 10001 clauses out of 20011 with flag 675000/675000 64.81/63.43 c cleaning 9992 clauses out of 20010 with flag 685000/685000 65.71/64.33 c cleaning 10000 clauses out of 20020 with flag 695002/695002 66.84/65.47 c cleaning 10001 clauses out of 20019 with flag 705001/705001 68.04/66.64 c cleaning 10003 clauses out of 20017 with flag 715000/715000 69.15/67.74 c cleaning 10001 clauses out of 20014 with flag 725000/725000 70.25/68.87 c cleaning 10004 clauses out of 20013 with flag 735000/735000 71.45/70.00 c cleaning 10002 clauses out of 20009 with flag 745000/745000 72.45/71.05 c cleaning 9997 clauses out of 20007 with flag 755000/755000 73.65/72.21 c cleaning 10000 clauses out of 20011 with flag 765001/765001 74.76/73.38 c cleaning 10001 clauses out of 20011 with flag 775001/775001 75.76/74.35 c cleaning 9999 clauses out of 20010 with flag 785001/785001 76.86/75.43 c cleaning 10000 clauses out of 20010 with flag 795000/795000 77.66/76.20 c cleaning 10001 clauses out of 20013 with flag 805003/805003 78.38/76.91 c cleaning 9995 clauses out of 20010 with flag 815001/815001 79.07/77.65 c cleaning 10000 clauses out of 20014 with flag 825000/825000 79.77/78.31 c cleaning 10000 clauses out of 20015 with flag 835001/835001 80.48/79.04 c cleaning 10000 clauses out of 20017 with flag 845003/845003 81.18/79.75 c cleaning 9996 clauses out of 20015 with flag 855001/855001 81.79/80.34 c cleaning 9994 clauses out of 20020 with flag 865002/865002 82.48/81.04 c cleaning 9991 clauses out of 20024 with flag 875000/875000 83.28/81.87 c cleaning 9998 clauses out of 20033 with flag 885000/885000 84.28/82.85 c cleaning 10000 clauses out of 20036 with flag 895001/895001 85.10/83.62 c cleaning 9997 clauses out of 20037 with flag 905002/905002 85.88/84.43 c cleaning 10001 clauses out of 20039 with flag 915001/915001 86.79/85.34 c cleaning 9999 clauses out of 20038 with flag 925001/925001 87.79/86.32 c cleaning 10014 clauses out of 20038 with flag 935000/935000 88.89/87.46 c cleaning 10006 clauses out of 20024 with flag 945000/945000 90.09/88.60 c cleaning 10002 clauses out of 20018 with flag 955000/955000 91.20/89.76 c cleaning 10004 clauses out of 20016 with flag 965000/965000 92.21/90.75 c cleaning 10000 clauses out of 20012 with flag 975000/975000 92.83/91.36 c cleaning 9999 clauses out of 20012 with flag 985000/985000 93.82/92.35 c cleaning 9994 clauses out of 20014 with flag 995001/995001 94.82/93.30 c cleaning 9999 clauses out of 20020 with flag 1005001/1005001 96.03/94.55 c cleaning 10003 clauses out of 20021 with flag 1015001/1015001 96.82/95.37 c cleaning 10001 clauses out of 20019 with flag 1025002/1025002 97.83/96.34 c cleaning 9996 clauses out of 20016 with flag 1035000/1035000 98.73/97.20 c cleaning 10001 clauses out of 20020 with flag 1045000/1045000 99.45/97.97 c cleaning 10001 clauses out of 20019 with flag 1055000/1055000 100.33/98.88 c cleaning 9999 clauses out of 20018 with flag 1065000/1065000 101.43/99.97 c cleaning 10004 clauses out of 20019 with flag 1075000/1075000 102.54/101.04 c cleaning 9998 clauses out of 20016 with flag 1085001/1085001 103.64/102.17 c cleaning 10000 clauses out of 20018 with flag 1095001/1095001 104.85/103.38 c cleaning 9999 clauses out of 20018 with flag 1105001/1105001 106.05/104.52 c cleaning 10001 clauses out of 20019 with flag 1115001/1115001 107.05/105.60 c cleaning 10004 clauses out of 20017 with flag 1125000/1125000 107.84/106.31 c cleaning 9990 clauses out of 20013 with flag 1135000/1135000 108.35/106.86 c cleaning 10002 clauses out of 20024 with flag 1145001/1145001 109.05/107.54 c cleaning 9997 clauses out of 20022 with flag 1155001/1155001 109.85/108.30 c cleaning 10002 clauses out of 20025 with flag 1165001/1165001 110.47/108.93 c cleaning 9998 clauses out of 20022 with flag 1175000/1175000 111.06/109.58 c cleaning 9998 clauses out of 20025 with flag 1185001/1185001 111.86/110.36 c cleaning 9999 clauses out of 20027 with flag 1195001/1195001 112.57/111.05 c cleaning 10003 clauses out of 20027 with flag 1205000/1205000 113.36/111.82 c cleaning 10000 clauses out of 20025 with flag 1215001/1215001 114.16/112.65 c cleaning 10005 clauses out of 20025 with flag 1225001/1225001 115.07/113.56 c cleaning 9999 clauses out of 20020 with flag 1235001/1235001 116.07/114.54 c cleaning 10001 clauses out of 20021 with flag 1245001/1245001 116.67/115.11 c cleaning 9991 clauses out of 20019 with flag 1255000/1255000 117.18/115.67 c cleaning 9992 clauses out of 20029 with flag 1265001/1265001 117.78/116.25 c cleaning 10003 clauses out of 20036 with flag 1275000/1275000 118.38/116.85 c cleaning 10004 clauses out of 20033 with flag 1285000/1285000 118.98/117.47 c cleaning 10000 clauses out of 20031 with flag 1295002/1295002 119.68/118.14 c cleaning 9998 clauses out of 20029 with flag 1305000/1305000 119.98/118.40 c SATISFIABLE 119.98/118.40 c OPTIMIZING... 119.98/118.40 c Got one! Elapsed wall clock time (in seconds):118.291 119.98/118.40 o 9 119.98/118.46 c cleaning 7697 clauses out of 15414 with flag 1000/1310383 120.40/118.84 c cleaning 6843 clauses out of 13717 with flag 7000/1316383 120.79/119.28 c cleaning 6927 clauses out of 13874 with flag 14000/1323383 121.40/119.86 c cleaning 7461 clauses out of 14948 with flag 22001/1331384 121.99/120.49 c cleaning 8228 clauses out of 16488 with flag 31002/1340385 122.69/121.18 c cleaning 9120 clauses out of 18258 with flag 41000/1350383 123.41/121.85 c cleaning 9550 clauses out of 19138 with flag 51000/1360383 124.11/122.52 c cleaning 9774 clauses out of 19588 with flag 61000/1370383 124.83/123.22 c cleaning 9889 clauses out of 19816 with flag 71002/1380385 125.51/123.92 c cleaning 9937 clauses out of 19926 with flag 81001/1390384 126.41/124.88 c cleaning 9975 clauses out of 19989 with flag 91001/1400384 127.32/125.73 c cleaning 9985 clauses out of 20014 with flag 101001/1410384 128.03/126.43 c cleaning 9992 clauses out of 20028 with flag 111000/1420383 128.62/127.09 c cleaning 9998 clauses out of 20037 with flag 121001/1430384 129.42/127.87 c cleaning 9995 clauses out of 20039 with flag 131001/1440384 130.12/128.58 c cleaning 9999 clauses out of 20044 with flag 141001/1450384 130.83/129.29 c cleaning 10021 clauses out of 20045 with flag 151001/1460384 131.83/130.25 c cleaning 10009 clauses out of 20024 with flag 161001/1470384 132.74/131.18 c cleaning 9995 clauses out of 20014 with flag 171000/1480383 133.66/132.06 c cleaning 10007 clauses out of 20020 with flag 181001/1490384 134.54/132.94 c cleaning 9995 clauses out of 20013 with flag 191001/1500384 135.45/133.81 c cleaning 10001 clauses out of 20018 with flag 201001/1510384 136.05/134.49 c cleaning 9990 clauses out of 20017 with flag 211001/1520384 136.86/135.23 c cleaning 9992 clauses out of 20026 with flag 221000/1530383 137.65/136.01 c cleaning 10000 clauses out of 20037 with flag 231003/1540386 138.25/136.64 c cleaning 10004 clauses out of 20034 with flag 241000/1550383 139.07/137.46 c cleaning 9998 clauses out of 20031 with flag 251001/1560384 140.28/138.61 c cleaning 9998 clauses out of 20032 with flag 261000/1570383 141.27/139.69 c cleaning 10000 clauses out of 20034 with flag 271000/1580383 142.26/140.66 c cleaning 10005 clauses out of 20037 with flag 281003/1590386 142.97/141.39 c cleaning 9997 clauses out of 20029 with flag 291000/1600383 143.67/142.07 c cleaning 9998 clauses out of 20032 with flag 301000/1610383 144.37/142.76 c cleaning 10001 clauses out of 20035 with flag 311001/1620384 145.07/143.44 c cleaning 9996 clauses out of 20033 with flag 321000/1630383 145.79/144.15 c cleaning 10001 clauses out of 20037 with flag 331000/1640383 146.47/144.84 c cleaning 9998 clauses out of 20036 with flag 341000/1650383 147.28/145.66 c cleaning 10007 clauses out of 20038 with flag 351000/1660383 148.39/146.77 c cleaning 10006 clauses out of 20032 with flag 361001/1670384 149.60/147.92 c cleaning 10004 clauses out of 20025 with flag 371000/1680383 150.80/149.10 c cleaning 10002 clauses out of 20021 with flag 381000/1690383 152.10/150.44 c cleaning 9998 clauses out of 20019 with flag 391000/1700383 153.41/151.77 c cleaning 9999 clauses out of 20021 with flag 401000/1710383 154.70/153.06 c cleaning 9999 clauses out of 20022 with flag 411000/1720383 156.10/154.48 c cleaning 10001 clauses out of 20024 with flag 421001/1730384 157.60/155.93 c cleaning 10003 clauses out of 20022 with flag 431000/1740383 158.80/157.13 c cleaning 10003 clauses out of 20019 with flag 441000/1750383 159.81/158.14 c cleaning 9999 clauses out of 20017 with flag 451001/1760384 160.71/159.00 c cleaning 10000 clauses out of 20019 with flag 461002/1770385 161.41/159.70 c cleaning 9988 clauses out of 20017 with flag 471000/1780383 162.12/160.44 c cleaning 9991 clauses out of 20030 with flag 481001/1790384 162.52/160.83 c Got one! Elapsed wall clock time (in seconds):160.724 162.52/160.83 o 5 162.82/161.13 c cleaning 10812 clauses out of 21650 with flag 5001/1801995 163.22/161.60 c cleaning 8403 clauses out of 16837 with flag 11000/1807994 163.92/162.21 c cleaning 7700 clauses out of 15434 with flag 18000/1814994 164.62/162.98 c cleaning 7850 clauses out of 15736 with flag 26002/1822996 165.53/163.85 c cleaning 8432 clauses out of 16885 with flag 35001/1831995 166.74/165.04 c cleaning 9214 clauses out of 18452 with flag 45000/1841994 167.93/166.20 c cleaning 9606 clauses out of 19238 with flag 55000/1851994 168.73/167.11 c cleaning 9803 clauses out of 19634 with flag 65002/1861996 169.73/168.05 c cleaning 9903 clauses out of 19829 with flag 75000/1871994 170.63/168.94 c cleaning 9945 clauses out of 19926 with flag 85000/1881994 171.73/170.00 c cleaning 9977 clauses out of 19982 with flag 95001/1891995 173.03/171.34 c cleaning 9984 clauses out of 20005 with flag 105001/1901995 173.93/172.20 c cleaning 9996 clauses out of 20021 with flag 115001/1911995 174.63/172.91 c cleaning 9990 clauses out of 20024 with flag 125000/1921994 175.34/173.66 c cleaning 9995 clauses out of 20034 with flag 135000/1931994 176.04/174.37 c cleaning 10000 clauses out of 20040 with flag 145001/1941995 176.74/175.05 c cleaning 9991 clauses out of 20039 with flag 155000/1951994 177.85/176.10 c cleaning 9991 clauses out of 20049 with flag 165001/1961995 178.77/177.08 c cleaning 9999 clauses out of 20058 with flag 175001/1971995 179.87/178.17 c cleaning 10006 clauses out of 20059 with flag 185001/1981995 181.08/179.36 c cleaning 10004 clauses out of 20053 with flag 195001/1991995 182.26/180.55 c cleaning 9998 clauses out of 20048 with flag 205000/2001994 183.47/181.70 c cleaning 9999 clauses out of 20050 with flag 215000/2011994 184.47/182.79 c cleaning 10002 clauses out of 20051 with flag 225000/2021994 185.27/183.55 c cleaning 10016 clauses out of 20048 with flag 235000/2031994 185.97/184.20 c cleaning 9997 clauses out of 20032 with flag 245000/2041994 186.68/184.90 c cleaning 10001 clauses out of 20036 with flag 255001/2051995 187.38/185.61 c cleaning 10002 clauses out of 20035 with flag 265001/2061995 188.18/186.45 c cleaning 9996 clauses out of 20032 with flag 275000/2071994 188.88/187.10 c cleaning 9999 clauses out of 20037 with flag 285001/2081995 189.48/187.78 c cleaning 10000 clauses out of 20037 with flag 295000/2091994 190.28/188.56 c cleaning 9999 clauses out of 20039 with flag 305002/2101996 191.00/189.24 c cleaning 9997 clauses out of 20039 with flag 315001/2111995 191.78/190.02 c cleaning 10006 clauses out of 20043 with flag 325002/2121996 192.48/190.74 c cleaning 9998 clauses out of 20035 with flag 335000/2131994 193.38/191.65 c cleaning 10002 clauses out of 20037 with flag 345000/2141994 194.39/192.62 c cleaning 10000 clauses out of 20037 with flag 355002/2151996 195.09/193.34 c cleaning 10007 clauses out of 20035 with flag 365000/2161994 195.89/194.11 c cleaning 9995 clauses out of 20028 with flag 375000/2171994 196.51/194.80 c cleaning 10005 clauses out of 20035 with flag 385002/2181996 197.30/195.52 c cleaning 9997 clauses out of 20028 with flag 395000/2191994 197.90/196.19 c cleaning 10002 clauses out of 20031 with flag 405000/2201994 198.61/196.87 c cleaning 10001 clauses out of 20029 with flag 415000/2211994 199.30/197.59 c cleaning 10000 clauses out of 20029 with flag 425001/2221995 200.10/198.38 c cleaning 10001 clauses out of 20029 with flag 435001/2231995 200.92/199.13 c cleaning 9996 clauses out of 20027 with flag 445000/2241994 201.70/199.98 c cleaning 10012 clauses out of 20031 with flag 455000/2251994 202.60/200.83 c cleaning 10001 clauses out of 20019 with flag 465000/2261994 203.51/201.72 c cleaning 10000 clauses out of 20018 with flag 475000/2271994 204.42/202.62 c cleaning 9995 clauses out of 20018 with flag 485000/2281994 205.34/203.54 c cleaning 10008 clauses out of 20023 with flag 495000/2291994 206.23/204.42 c cleaning 10003 clauses out of 20016 with flag 505001/2301995 206.83/205.05 c cleaning 9993 clauses out of 20013 with flag 515001/2311995 207.55/205.72 c cleaning 9994 clauses out of 20020 with flag 525001/2321995 208.24/206.41 c cleaning 9999 clauses out of 20028 with flag 535003/2331997 209.04/207.24 c cleaning 10006 clauses out of 20026 with flag 545000/2341994 209.94/208.15 c cleaning 10005 clauses out of 20021 with flag 555001/2351995 210.94/209.10 c cleaning 10002 clauses out of 20015 with flag 565000/2361994 211.97/210.13 c cleaning 9993 clauses out of 20014 with flag 575001/2371995 212.75/210.95 c cleaning 10002 clauses out of 20020 with flag 585000/2381994 213.66/211.85 c cleaning 10001 clauses out of 20018 with flag 595000/2391994 214.36/212.56 c cleaning 9995 clauses out of 20018 with flag 605001/2401995 215.06/213.31 c cleaning 9993 clauses out of 20022 with flag 615000/2411994 215.88/214.08 c cleaning 10003 clauses out of 20030 with flag 625001/2421995 216.68/214.81 c cleaning 9998 clauses out of 20027 with flag 635001/2431995 217.28/215.51 c cleaning 10000 clauses out of 20029 with flag 645001/2441995 218.09/216.27 c cleaning 10000 clauses out of 20028 with flag 655000/2451994 218.99/217.16 c cleaning 9999 clauses out of 20028 with flag 665000/2461994 219.90/218.01 c cleaning 9998 clauses out of 20030 with flag 675001/2471995 220.10/218.23 c Got one! Elapsed wall clock time (in seconds):218.123 220.10/218.23 o 3 220.20/218.35 c cleaning 7619 clauses out of 15259 with flag 2005/2477222 220.71/218.84 c cleaning 6799 clauses out of 13635 with flag 8000/2483217 221.31/219.40 c cleaning 6901 clauses out of 13837 with flag 15001/2490218 222.01/220.12 c cleaning 7451 clauses out of 14936 with flag 23001/2498218 222.71/220.82 c cleaning 8226 clauses out of 16484 with flag 32000/2507217 223.51/221.65 c cleaning 9112 clauses out of 18259 with flag 42001/2517218 224.41/222.59 c cleaning 9555 clauses out of 19147 with flag 52001/2527218 225.41/223.57 c cleaning 9778 clauses out of 19591 with flag 62000/2537217 226.33/224.42 c cleaning 9889 clauses out of 19814 with flag 72001/2547218 227.11/225.24 c cleaning 9946 clauses out of 19924 with flag 82000/2557217 227.93/226.05 c cleaning 9973 clauses out of 19978 with flag 92000/2567217 228.73/226.80 c cleaning 9992 clauses out of 20005 with flag 102000/2577217 229.43/227.54 c cleaning 9998 clauses out of 20013 with flag 112000/2587217 230.23/228.32 c cleaning 10002 clauses out of 20016 with flag 122001/2597218 231.24/229.34 c cleaning 9998 clauses out of 20013 with flag 132000/2607217 232.34/230.44 c cleaning 9999 clauses out of 20015 with flag 142000/2617217 233.44/231.57 c cleaning 9994 clauses out of 20016 with flag 152000/2627217 234.45/232.58 c cleaning 10002 clauses out of 20023 with flag 162001/2637218 235.55/233.64 c cleaning 9997 clauses out of 20020 with flag 172000/2647217 236.65/234.73 c cleaning 9998 clauses out of 20023 with flag 182000/2657217 237.55/235.64 c cleaning 10000 clauses out of 20025 with flag 192000/2667217 238.55/236.61 c cleaning 10000 clauses out of 20025 with flag 202000/2677217 239.36/237.48 c cleaning 9995 clauses out of 20026 with flag 212001/2687218 240.26/238.39 c cleaning 10003 clauses out of 20031 with flag 222001/2697218 241.06/239.16 c cleaning 10000 clauses out of 20028 with flag 232001/2707218 241.96/240.02 c cleaning 10001 clauses out of 20028 with flag 242001/2717218 242.97/241.05 c cleaning 10009 clauses out of 20026 with flag 252000/2727217 243.77/241.91 c cleaning 9998 clauses out of 20019 with flag 262002/2737219 244.57/242.61 c cleaning 9999 clauses out of 20019 with flag 272000/2747217 245.27/243.31 c cleaning 9999 clauses out of 20020 with flag 282000/2757217 245.98/244.02 c cleaning 9997 clauses out of 20021 with flag 292000/2767217 246.68/244.79 c cleaning 9988 clauses out of 20024 with flag 302000/2777217 247.48/245.53 c cleaning 10005 clauses out of 20038 with flag 312002/2787219 248.18/246.29 c cleaning 10000 clauses out of 20031 with flag 322000/2797217 248.88/246.94 c cleaning 10002 clauses out of 20032 with flag 332001/2807218 249.58/247.61 c cleaning 9998 clauses out of 20030 with flag 342001/2817218 250.18/248.28 c cleaning 9997 clauses out of 20031 with flag 352000/2827217 250.88/248.91 c cleaning 10004 clauses out of 20035 with flag 362001/2837218 251.60/249.62 c cleaning 9994 clauses out of 20030 with flag 372000/2847217 252.38/250.43 c cleaning 10007 clauses out of 20037 with flag 382001/2857218 253.09/251.10 c cleaning 10000 clauses out of 20030 with flag 392001/2867218 253.69/251.80 c cleaning 10002 clauses out of 20030 with flag 402001/2877218 254.41/252.48 c cleaning 9999 clauses out of 20028 with flag 412001/2887218 255.21/253.22 c cleaning 9998 clauses out of 20029 with flag 422001/2897218 255.92/253.96 c cleaning 10000 clauses out of 20031 with flag 432001/2907218 256.82/254.82 c cleaning 9999 clauses out of 20031 with flag 442001/2917218 257.82/255.87 c cleaning 10000 clauses out of 20032 with flag 452001/2927218 258.63/256.67 c cleaning 10001 clauses out of 20032 with flag 462001/2937218 259.44/257.49 c cleaning 10011 clauses out of 20031 with flag 472001/2947218 260.33/258.38 c cleaning 9995 clauses out of 20021 with flag 482002/2957219 261.44/259.44 c cleaning 9996 clauses out of 20025 with flag 492001/2967218 262.54/260.50 c cleaning 9996 clauses out of 20029 with flag 502001/2977218 263.64/261.62 c cleaning 9999 clauses out of 20032 with flag 512000/2987217 264.75/262.77 c cleaning 10000 clauses out of 20034 with flag 522001/2997218 265.85/263.88 c cleaning 9997 clauses out of 20033 with flag 532000/3007217 266.65/264.67 c cleaning 10001 clauses out of 20036 with flag 542000/3017217 267.35/265.39 c cleaning 10004 clauses out of 20036 with flag 552001/3027218 268.16/266.13 c cleaning 10003 clauses out of 20032 with flag 562001/3037218 268.85/266.88 c cleaning 9997 clauses out of 20029 with flag 572001/3047218 269.75/267.78 c cleaning 10001 clauses out of 20031 with flag 582000/3057217 270.95/268.97 c cleaning 9999 clauses out of 20030 with flag 592000/3067217 272.06/270.04 c cleaning 10002 clauses out of 20032 with flag 602001/3077218 273.16/271.12 c cleaning 10002 clauses out of 20030 with flag 612001/3087218 274.16/272.17 c cleaning 9996 clauses out of 20027 with flag 622000/3097217 275.16/273.15 c cleaning 10004 clauses out of 20033 with flag 632002/3107219 276.17/274.19 c cleaning 9999 clauses out of 20027 with flag 642000/3117217 277.26/275.20 c cleaning 9998 clauses out of 20030 with flag 652002/3127219 278.37/276.31 c cleaning 9999 clauses out of 20030 with flag 662000/3137217 279.37/277.36 c cleaning 10001 clauses out of 20033 with flag 672002/3147219 280.48/278.44 c cleaning 10011 clauses out of 20029 with flag 682000/3157217 281.58/279.56 c cleaning 10008 clauses out of 20018 with flag 692000/3167217 282.68/280.61 c cleaning 10001 clauses out of 20011 with flag 702001/3177218 283.78/281.77 c cleaning 9999 clauses out of 20010 with flag 712001/3187218 284.88/282.88 c cleaning 10002 clauses out of 20010 with flag 722000/3197217 286.09/284.00 c cleaning 10001 clauses out of 20008 with flag 732000/3207217 286.69/284.68 c cleaning 9996 clauses out of 20007 with flag 742001/3217218 287.50/285.41 c cleaning 9995 clauses out of 20010 with flag 752000/3227217 288.20/286.10 c cleaning 9994 clauses out of 20016 with flag 762001/3237218 288.90/286.84 c cleaning 9997 clauses out of 20021 with flag 772000/3247217 289.60/287.58 c cleaning 9995 clauses out of 20025 with flag 782001/3257218 290.40/288.37 c cleaning 10001 clauses out of 20029 with flag 792000/3267217 291.20/289.12 c cleaning 9998 clauses out of 20028 with flag 802000/3277217 291.90/289.85 c cleaning 10002 clauses out of 20030 with flag 812000/3287217 292.71/290.64 c cleaning 9998 clauses out of 20029 with flag 822001/3297218 293.52/291.43 c cleaning 9999 clauses out of 20031 with flag 832001/3307218 294.31/292.24 c cleaning 10000 clauses out of 20031 with flag 842000/3317217 295.11/293.01 c cleaning 10001 clauses out of 20032 with flag 852001/3327218 295.83/293.75 c cleaning 10000 clauses out of 20033 with flag 862003/3337220 296.51/294.48 c cleaning 9998 clauses out of 20030 with flag 872000/3347217 297.41/295.30 c cleaning 10002 clauses out of 20032 with flag 882000/3357217 298.11/296.04 c cleaning 9998 clauses out of 20030 with flag 892000/3367217 298.91/296.80 c cleaning 10001 clauses out of 20033 with flag 902001/3377218 299.61/297.54 c cleaning 10002 clauses out of 20031 with flag 912000/3387217 300.41/298.30 c cleaning 10001 clauses out of 20029 with flag 922000/3397217 301.01/298.98 c cleaning 9999 clauses out of 20029 with flag 932001/3407218 301.72/299.69 c cleaning 9998 clauses out of 20029 with flag 942000/3417217 302.43/300.39 c cleaning 10003 clauses out of 20032 with flag 952001/3427218 303.13/301.09 c cleaning 10000 clauses out of 20029 with flag 962001/3437218 303.93/301.89 c cleaning 10001 clauses out of 20029 with flag 972001/3447218 304.65/302.56 c cleaning 9998 clauses out of 20027 with flag 982000/3457217 305.33/303.29 c cleaning 9997 clauses out of 20031 with flag 992002/3467219 306.23/304.16 c cleaning 10001 clauses out of 20033 with flag 1002001/3477218 307.03/304.96 c cleaning 9998 clauses out of 20032 with flag 1012001/3487218 307.85/305.72 c cleaning 10003 clauses out of 20035 with flag 1022002/3497219 308.73/306.64 c cleaning 10001 clauses out of 20030 with flag 1032000/3507217 309.44/307.37 c cleaning 9999 clauses out of 20030 with flag 1042001/3517218 310.24/308.20 c cleaning 9997 clauses out of 20031 with flag 1052001/3527218 311.04/308.95 c cleaning 10000 clauses out of 20034 with flag 1062001/3537218 311.75/309.60 c cleaning 10005 clauses out of 20034 with flag 1072001/3547218 312.55/310.46 c cleaning 10009 clauses out of 20028 with flag 1082000/3557217 313.37/311.23 c cleaning 9999 clauses out of 20021 with flag 1092002/3567219 314.26/312.17 c cleaning 9998 clauses out of 20020 with flag 1102000/3577217 315.16/313.02 c cleaning 10001 clauses out of 20022 with flag 1112000/3587217 315.77/313.68 c cleaning 9999 clauses out of 20022 with flag 1122001/3597218 316.68/314.56 c cleaning 10003 clauses out of 20023 with flag 1132001/3607218 317.57/315.49 c cleaning 10002 clauses out of 20020 with flag 1142001/3617218 318.58/316.45 c cleaning 9999 clauses out of 20018 with flag 1152001/3627218 319.68/317.53 c cleaning 10006 clauses out of 20019 with flag 1162001/3637218 320.78/318.64 c cleaning 10002 clauses out of 20013 with flag 1172001/3647218 321.88/319.72 c cleaning 10000 clauses out of 20010 with flag 1182000/3657217 322.99/320.88 c cleaning 10002 clauses out of 20010 with flag 1192000/3667217 324.19/322.08 c cleaning 10001 clauses out of 20009 with flag 1202001/3677218 325.29/323.14 c cleaning 9999 clauses out of 20007 with flag 1212000/3687217 326.40/324.24 c cleaning 10000 clauses out of 20009 with flag 1222001/3697218 327.40/325.22 c cleaning 10000 clauses out of 20009 with flag 1232001/3707218 328.50/326.34 c cleaning 9999 clauses out of 20008 with flag 1242000/3717217 329.71/327.51 c cleaning 9998 clauses out of 20009 with flag 1252000/3727217 330.81/328.63 c cleaning 10002 clauses out of 20012 with flag 1262001/3737218 331.91/329.76 c cleaning 10001 clauses out of 20009 with flag 1272000/3747217 332.91/330.71 c cleaning 9999 clauses out of 20008 with flag 1282000/3757217 333.91/331.70 c cleaning 10000 clauses out of 20010 with flag 1292001/3767218 334.92/332.72 c cleaning 10002 clauses out of 20010 with flag 1302001/3777218 335.92/333.72 c cleaning 10000 clauses out of 20007 with flag 1312000/3787217 337.02/334.81 c cleaning 10000 clauses out of 20007 with flag 1322000/3797217 338.12/335.91 c cleaning 10000 clauses out of 20008 with flag 1332001/3807218 339.22/337.07 c cleaning 10002 clauses out of 20007 with flag 1342000/3817217 340.32/338.15 c cleaning 9999 clauses out of 20006 with flag 1352001/3827218 341.33/339.13 c cleaning 9990 clauses out of 20005 with flag 1362000/3837217 342.04/339.85 c cleaning 10004 clauses out of 20017 with flag 1372002/3847219 342.74/340.57 c cleaning 10000 clauses out of 20011 with flag 1382000/3857217 343.55/341.33 c cleaning 10001 clauses out of 20012 with flag 1392001/3867218 344.26/342.10 c cleaning 9997 clauses out of 20010 with flag 1402000/3877217 345.05/342.85 c cleaning 9997 clauses out of 20013 with flag 1412000/3887217 345.85/343.60 c cleaning 10003 clauses out of 20017 with flag 1422001/3897218 346.57/344.37 c cleaning 9999 clauses out of 20014 with flag 1432001/3907218 347.35/345.13 c cleaning 9998 clauses out of 20014 with flag 1442000/3917217 348.06/345.86 c cleaning 10002 clauses out of 20016 with flag 1452000/3927217 348.86/346.60 c cleaning 10002 clauses out of 20015 with flag 1462001/3937218 349.46/347.30 c cleaning 10001 clauses out of 20012 with flag 1472000/3947217 350.26/348.01 c cleaning 10000 clauses out of 20011 with flag 1482000/3957217 350.87/348.68 c cleaning 9999 clauses out of 20012 with flag 1492001/3967218 351.56/349.35 c cleaning 9998 clauses out of 20012 with flag 1502000/3977217 352.16/349.96 c cleaning 9996 clauses out of 20015 with flag 1512001/3987218 353.18/350.95 c cleaning 10004 clauses out of 20019 with flag 1522001/3997218 354.18/351.91 c cleaning 9998 clauses out of 20016 with flag 1532002/4007219 354.97/352.71 c cleaning 10000 clauses out of 20018 with flag 1542002/4017219 355.77/353.53 c cleaning 10003 clauses out of 20017 with flag 1552001/4027218 356.67/354.41 c cleaning 9998 clauses out of 20014 with flag 1562001/4037218 357.37/355.19 c cleaning 9994 clauses out of 20016 with flag 1572001/4047218 358.17/355.97 c cleaning 9999 clauses out of 20022 with flag 1582001/4057218 358.88/356.67 c cleaning 9998 clauses out of 20022 with flag 1592000/4067217 359.58/357.36 c cleaning 9998 clauses out of 20025 with flag 1602001/4077218 360.18/357.99 c cleaning 9996 clauses out of 20026 with flag 1612000/4087217 360.90/358.68 c cleaning 10000 clauses out of 20030 with flag 1622000/4097217 361.58/359.37 c cleaning 9998 clauses out of 20030 with flag 1632000/4107217 362.29/360.03 c cleaning 10002 clauses out of 20033 with flag 1642001/4117218 363.00/360.75 c cleaning 10000 clauses out of 20030 with flag 1652000/4127217 363.69/361.46 c cleaning 10002 clauses out of 20030 with flag 1662000/4137217 364.39/362.16 c cleaning 9998 clauses out of 20028 with flag 1672000/4147217 365.09/362.80 c cleaning 9991 clauses out of 20030 with flag 1682000/4157217 365.79/363.52 c cleaning 9991 clauses out of 20040 with flag 1692001/4167218 366.50/364.27 c cleaning 9996 clauses out of 20049 with flag 1702001/4177218 367.20/364.95 c cleaning 10013 clauses out of 20053 with flag 1712001/4187218 367.90/365.68 c cleaning 10011 clauses out of 20041 with flag 1722002/4197219 368.70/366.43 c cleaning 10004 clauses out of 20029 with flag 1732001/4207218 369.51/367.25 c cleaning 10003 clauses out of 20025 with flag 1742001/4217218 370.41/368.20 c cleaning 10003 clauses out of 20022 with flag 1752001/4227218 371.31/369.09 c cleaning 9998 clauses out of 20019 with flag 1762001/4237218 372.41/370.11 c cleaning 9999 clauses out of 20021 with flag 1772001/4247218 373.42/371.17 c cleaning 10000 clauses out of 20021 with flag 1782000/4257217 374.52/372.25 c cleaning 9996 clauses out of 20022 with flag 1792001/4267218 375.62/373.37 c cleaning 9996 clauses out of 20026 with flag 1802001/4277218 376.63/374.38 c cleaning 10002 clauses out of 20030 with flag 1812001/4287218 377.63/375.36 c cleaning 9998 clauses out of 20027 with flag 1822000/4297217 378.63/376.30 c cleaning 10000 clauses out of 20029 with flag 1832000/4307217 379.54/377.29 c cleaning 10001 clauses out of 20031 with flag 1842002/4317219 380.53/378.21 c cleaning 9998 clauses out of 20028 with flag 1852000/4327217 381.33/379.09 c cleaning 10000 clauses out of 20030 with flag 1862000/4337217 382.34/380.03 c cleaning 10000 clauses out of 20030 with flag 1872000/4347217 383.15/380.83 c cleaning 10003 clauses out of 20031 with flag 1882001/4357218 384.07/381.75 c cleaning 10000 clauses out of 20027 with flag 1892000/4367217 385.06/382.77 c cleaning 9998 clauses out of 20028 with flag 1902001/4377218 386.05/383.74 c cleaning 10000 clauses out of 20029 with flag 1912000/4387217 387.05/384.75 c cleaning 10001 clauses out of 20030 with flag 1922001/4397218 388.06/385.76 c cleaning 9998 clauses out of 20028 with flag 1932000/4407217 388.96/386.69 c cleaning 10000 clauses out of 20030 with flag 1942000/4417217 390.06/387.70 c cleaning 9999 clauses out of 20030 with flag 1952000/4427217 390.96/388.68 c cleaning 10002 clauses out of 20032 with flag 1962001/4437218 392.07/389.70 c cleaning 10000 clauses out of 20030 with flag 1972001/4447218 392.97/390.69 c cleaning 10002 clauses out of 20031 with flag 1982002/4457219 393.99/391.65 c cleaning 10002 clauses out of 20027 with flag 1992000/4467217 395.09/392.78 c cleaning 10002 clauses out of 20027 with flag 2002002/4477219 396.19/393.89 c cleaning 10000 clauses out of 20023 with flag 2012000/4487217 397.29/394.94 c cleaning 10000 clauses out of 20023 with flag 2022000/4497217 398.29/395.99 c cleaning 10002 clauses out of 20023 with flag 2032000/4507217 399.39/397.02 c cleaning 9999 clauses out of 20022 with flag 2042001/4517218 400.38/398.09 c cleaning 10000 clauses out of 20022 with flag 2052000/4527217 401.48/399.20 c cleaning 10000 clauses out of 20022 with flag 2062000/4537217 402.59/400.27 c cleaning 10007 clauses out of 20023 with flag 2072001/4547218 403.69/401.34 c cleaning 10006 clauses out of 20016 with flag 2082001/4557218 404.79/402.40 c cleaning 10002 clauses out of 20009 with flag 2092000/4567217 405.60/403.24 c cleaning 9997 clauses out of 20008 with flag 2102001/4577218 406.50/404.18 c cleaning 9998 clauses out of 20010 with flag 2112000/4587217 407.51/405.17 c cleaning 9998 clauses out of 20013 with flag 2122001/4597218 408.41/406.02 c cleaning 10000 clauses out of 20014 with flag 2132000/4607217 409.32/406.96 c cleaning 10002 clauses out of 20015 with flag 2142001/4617218 410.21/407.81 c cleaning 9999 clauses out of 20012 with flag 2152000/4627217 410.91/408.57 c cleaning 9988 clauses out of 20013 with flag 2162000/4637217 411.63/409.24 c cleaning 10001 clauses out of 20025 with flag 2172000/4647217 412.32/409.92 c cleaning 10001 clauses out of 20025 with flag 2182001/4657218 413.02/410.68 c cleaning 10002 clauses out of 20024 with flag 2192001/4667218 413.73/411.40 c cleaning 9994 clauses out of 20021 with flag 2202000/4677217 414.42/412.09 c cleaning 10000 clauses out of 20027 with flag 2212000/4687217 415.12/412.77 c cleaning 9998 clauses out of 20027 with flag 2222000/4697217 415.82/413.47 c cleaning 9999 clauses out of 20029 with flag 2232000/4707217 416.53/414.19 c cleaning 10000 clauses out of 20031 with flag 2242001/4717218 417.23/414.88 c cleaning 10003 clauses out of 20033 with flag 2252003/4727220 417.93/415.56 c cleaning 9997 clauses out of 20027 with flag 2262000/4737217 418.63/416.26 c cleaning 9996 clauses out of 20030 with flag 2272000/4747217 419.24/416.90 c cleaning 10000 clauses out of 20035 with flag 2282001/4757218 419.93/417.55 c cleaning 10005 clauses out of 20035 with flag 2292001/4767218 420.63/418.23 c cleaning 9999 clauses out of 20029 with flag 2302000/4777217 421.33/418.90 c cleaning 10003 clauses out of 20031 with flag 2312001/4787218 421.94/419.60 c cleaning 9997 clauses out of 20027 with flag 2322000/4797217 422.66/420.28 c cleaning 9997 clauses out of 20031 with flag 2332001/4807218 423.34/420.96 c cleaning 9999 clauses out of 20034 with flag 2342001/4817218 424.04/421.66 c cleaning 10001 clauses out of 20034 with flag 2352000/4827217 424.76/422.33 c cleaning 9999 clauses out of 20033 with flag 2362000/4837217 425.45/423.00 c cleaning 10001 clauses out of 20034 with flag 2372000/4847217 426.05/423.68 c cleaning 10000 clauses out of 20034 with flag 2382001/4857218 426.75/424.35 c cleaning 10000 clauses out of 20034 with flag 2392001/4867218 427.45/425.07 c cleaning 10001 clauses out of 20034 with flag 2402001/4877218 428.06/425.71 c cleaning 10005 clauses out of 20035 with flag 2412003/4887220 428.86/426.42 c cleaning 10001 clauses out of 20027 with flag 2422000/4897217 429.46/427.07 c cleaning 10001 clauses out of 20027 with flag 2432001/4907218 430.27/427.82 c cleaning 9999 clauses out of 20025 with flag 2442000/4917217 430.97/428.51 c cleaning 9998 clauses out of 20027 with flag 2452001/4927218 431.67/429.24 c cleaning 10000 clauses out of 20029 with flag 2462001/4937218 432.37/429.95 c cleaning 10002 clauses out of 20029 with flag 2472001/4947218 433.07/430.69 c cleaning 9999 clauses out of 20027 with flag 2482001/4957218 433.78/431.38 c cleaning 9999 clauses out of 20029 with flag 2492002/4967219 434.48/432.09 c cleaning 9997 clauses out of 20029 with flag 2502001/4977218 435.18/432.77 c cleaning 10000 clauses out of 20032 with flag 2512001/4987218 435.90/433.47 c cleaning 10000 clauses out of 20032 with flag 2522001/4997218 436.58/434.14 c cleaning 10000 clauses out of 20031 with flag 2532000/5007217 437.38/434.90 c cleaning 10003 clauses out of 20032 with flag 2542001/5017218 438.00/435.59 c cleaning 10000 clauses out of 20029 with flag 2552001/5027218 438.78/436.32 c cleaning 10010 clauses out of 20028 with flag 2562000/5037217 439.99/437.50 c cleaning 10004 clauses out of 20017 with flag 2572000/5047217 441.19/438.74 c cleaning 10003 clauses out of 20013 with flag 2582000/5057217 442.29/439.91 c cleaning 10002 clauses out of 20010 with flag 2592000/5067217 443.61/441.12 c cleaning 10000 clauses out of 20009 with flag 2602001/5077218 444.61/442.19 c cleaning 9999 clauses out of 20009 with flag 2612001/5087218 445.40/442.94 c cleaning 9997 clauses out of 20009 with flag 2622000/5097217 446.40/443.92 c cleaning 10000 clauses out of 20013 with flag 2632001/5107218 447.41/444.94 c cleaning 9999 clauses out of 20013 with flag 2642001/5117218 448.21/445.79 c cleaning 9983 clauses out of 20014 with flag 2652001/5127218 448.91/446.48 c cleaning 9996 clauses out of 20031 with flag 2662001/5137218 449.52/447.09 c cleaning 9999 clauses out of 20035 with flag 2672001/5147218 450.13/447.69 c cleaning 10001 clauses out of 20035 with flag 2682000/5157217 450.82/448.34 c cleaning 9997 clauses out of 20035 with flag 2692001/5167218 451.72/449.26 c cleaning 10012 clauses out of 20038 with flag 2702001/5177218 452.92/450.48 c cleaning 10006 clauses out of 20026 with flag 2712001/5187218 454.12/451.61 c cleaning 10005 clauses out of 20019 with flag 2722000/5197217 455.23/452.74 c cleaning 10002 clauses out of 20014 with flag 2732000/5207217 456.23/453.78 c cleaning 9999 clauses out of 20012 with flag 2742000/5217217 457.34/454.83 c cleaning 10002 clauses out of 20013 with flag 2752000/5227217 458.44/455.91 c cleaning 9999 clauses out of 20012 with flag 2762001/5237218 459.44/456.93 c cleaning 10001 clauses out of 20012 with flag 2772000/5247217 460.35/457.81 c cleaning 10000 clauses out of 20012 with flag 2782001/5257218 461.34/458.81 c cleaning 10002 clauses out of 20012 with flag 2792001/5267218 462.36/459.85 c cleaning 10000 clauses out of 20009 with flag 2802000/5277217 463.25/460.79 c cleaning 10000 clauses out of 20010 with flag 2812001/5287218 464.35/461.86 c cleaning 9998 clauses out of 20009 with flag 2822000/5297217 465.35/462.87 c cleaning 10002 clauses out of 20012 with flag 2832001/5307218 466.46/463.96 c cleaning 9999 clauses out of 20009 with flag 2842000/5317217 467.26/464.72 c cleaning 9996 clauses out of 20010 with flag 2852000/5327217 467.96/465.47 c cleaning 9993 clauses out of 20014 with flag 2862000/5337217 468.98/466.47 c cleaning 9996 clauses out of 20022 with flag 2872001/5347218 470.17/467.65 c cleaning 10007 clauses out of 20025 with flag 2882000/5357217 471.57/469.03 c cleaning 10002 clauses out of 20020 with flag 2892002/5367219 472.67/470.17 c cleaning 10003 clauses out of 20017 with flag 2902001/5377218 473.48/470.93 c cleaning 10000 clauses out of 20015 with flag 2912003/5387220 474.50/471.92 c cleaning 9994 clauses out of 20012 with flag 2922000/5397217 475.50/472.93 c cleaning 10000 clauses out of 20018 with flag 2932000/5407217 476.28/473.80 c cleaning 10000 clauses out of 20018 with flag 2942000/5417217 477.19/474.69 c cleaning 9999 clauses out of 20018 with flag 2952000/5427217 478.19/475.67 c cleaning 10000 clauses out of 20019 with flag 2962000/5437217 479.19/476.62 c cleaning 9998 clauses out of 20019 with flag 2972000/5447217 480.01/477.49 c cleaning 10001 clauses out of 20022 with flag 2982001/5457218 480.79/478.25 c cleaning 10000 clauses out of 20020 with flag 2992000/5467217 481.79/479.28 c cleaning 10005 clauses out of 20020 with flag 3002000/5477217 482.60/480.04 c cleaning 10001 clauses out of 20016 with flag 3012001/5487218 483.50/480.93 c cleaning 10000 clauses out of 20014 with flag 3022000/5497217 484.42/481.83 c cleaning 9999 clauses out of 20015 with flag 3032001/5507218 485.31/482.74 c cleaning 10000 clauses out of 20016 with flag 3042001/5517218 486.21/483.61 c cleaning 10003 clauses out of 20016 with flag 3052001/5527218 487.11/484.60 c cleaning 10000 clauses out of 20012 with flag 3062000/5537217 488.21/485.63 c cleaning 10004 clauses out of 20013 with flag 3072001/5547218 489.31/486.74 c cleaning 10001 clauses out of 20008 with flag 3082000/5557217 490.11/487.50 c cleaning 10000 clauses out of 20007 with flag 3092000/5567217 491.23/488.64 c cleaning 9996 clauses out of 20007 with flag 3102000/5577217 492.43/489.81 c cleaning 10000 clauses out of 20011 with flag 3112000/5587217 493.54/490.96 c cleaning 9999 clauses out of 20012 with flag 3122001/5597218 494.74/492.10 c cleaning 10002 clauses out of 20012 with flag 3132000/5607217 495.54/492.96 c cleaning 9998 clauses out of 20010 with flag 3142000/5617217 496.56/493.96 c cleaning 10000 clauses out of 20012 with flag 3152000/5627217 497.56/494.94 c cleaning 10000 clauses out of 20012 with flag 3162000/5637217 498.55/495.90 c cleaning 9995 clauses out of 20012 with flag 3172000/5647217 499.16/496.58 c cleaning 10002 clauses out of 20018 with flag 3182001/5657218 500.16/497.58 c cleaning 10001 clauses out of 20016 with flag 3192001/5667218 501.26/498.69 c cleaning 10001 clauses out of 20015 with flag 3202001/5677218 502.37/499.78 c cleaning 10000 clauses out of 20013 with flag 3212000/5687217 503.47/500.81 c cleaning 9999 clauses out of 20014 with flag 3222001/5697218 504.57/501.97 c cleaning 10000 clauses out of 20014 with flag 3232000/5707217 505.47/502.83 c cleaning 9997 clauses out of 20014 with flag 3242000/5717217 506.39/503.75 c cleaning 10004 clauses out of 20017 with flag 3252000/5727217 507.38/504.71 c cleaning 9998 clauses out of 20013 with flag 3262000/5737217 508.38/505.73 c cleaning 10005 clauses out of 20015 with flag 3272000/5747217 509.08/506.47 c cleaning 9995 clauses out of 20010 with flag 3282000/5757217 509.89/507.25 c cleaning 10000 clauses out of 20015 with flag 3292000/5767217 510.59/507.98 c cleaning 9996 clauses out of 20015 with flag 3302000/5777217 511.39/508.74 c cleaning 10002 clauses out of 20019 with flag 3312000/5787217 512.19/509.56 c cleaning 10002 clauses out of 20018 with flag 3322001/5797218 513.01/510.40 c cleaning 9999 clauses out of 20015 with flag 3332000/5807217 513.89/511.22 c cleaning 9999 clauses out of 20017 with flag 3342001/5817218 514.80/512.13 c cleaning 10001 clauses out of 20017 with flag 3352000/5827217 515.80/513.15 c cleaning 10002 clauses out of 20017 with flag 3362001/5837218 516.79/514.19 c cleaning 10001 clauses out of 20017 with flag 3372003/5847220 517.90/515.29 c cleaning 9998 clauses out of 20013 with flag 3382000/5857217 518.90/516.22 c cleaning 9996 clauses out of 20016 with flag 3392001/5867218 519.80/517.18 c cleaning 10000 clauses out of 20019 with flag 3402000/5877217 520.82/518.15 c cleaning 10002 clauses out of 20019 with flag 3412000/5887217 521.71/519.02 c cleaning 9998 clauses out of 20017 with flag 3422000/5897217 522.61/519.92 c cleaning 10003 clauses out of 20019 with flag 3432000/5907217 523.51/520.86 c cleaning 9998 clauses out of 20017 with flag 3442001/5917218 524.41/521.76 c cleaning 9998 clauses out of 20018 with flag 3452000/5927217 525.31/522.62 c cleaning 9999 clauses out of 20020 with flag 3462000/5937217 526.23/523.60 c cleaning 10006 clauses out of 20021 with flag 3472001/5947218 527.12/524.47 c cleaning 10002 clauses out of 20015 with flag 3482001/5957218 528.02/525.33 c cleaning 10002 clauses out of 20013 with flag 3492001/5967218 528.82/526.15 c cleaning 9997 clauses out of 20010 with flag 3502000/5977217 529.64/526.98 c cleaning 10001 clauses out of 20014 with flag 3512001/5987218 530.43/527.78 c cleaning 10001 clauses out of 20013 with flag 3522001/5997218 531.43/528.71 c cleaning 10000 clauses out of 20011 with flag 3532000/6007217 532.33/529.63 c cleaning 9999 clauses out of 20011 with flag 3542000/6017217 533.23/530.50 c cleaning 10000 clauses out of 20012 with flag 3552000/6027217 533.94/531.31 c cleaning 10000 clauses out of 20013 with flag 3562001/6037218 534.73/532.07 c cleaning 10001 clauses out of 20013 with flag 3572001/6047218 535.53/532.89 c cleaning 10001 clauses out of 20011 with flag 3582000/6057217 536.44/533.77 c cleaning 9999 clauses out of 20010 with flag 3592000/6067217 537.25/534.57 c cleaning 9996 clauses out of 20012 with flag 3602001/6077218 538.04/535.33 c cleaning 10002 clauses out of 20016 with flag 3612001/6087218 539.04/536.37 c cleaning 10001 clauses out of 20014 with flag 3622001/6097218 539.94/537.21 c cleaning 9998 clauses out of 20013 with flag 3632001/6107218 540.75/538.06 c cleaning 10000 clauses out of 20015 with flag 3642001/6117218 541.55/538.88 c cleaning 10000 clauses out of 20014 with flag 3652000/6127217 542.45/539.72 c cleaning 10001 clauses out of 20014 with flag 3662000/6137217 543.25/540.58 c cleaning 10002 clauses out of 20016 with flag 3672003/6147220 544.25/541.54 c cleaning 9999 clauses out of 20011 with flag 3682000/6157217 545.07/542.40 c cleaning 10001 clauses out of 20013 with flag 3692001/6167218 546.07/543.37 c cleaning 10002 clauses out of 20011 with flag 3702000/6177217 546.86/544.13 c cleaning 10002 clauses out of 20009 with flag 3712000/6187217 547.66/544.95 c cleaning 9999 clauses out of 20007 with flag 3722000/6197217 548.46/545.74 c cleaning 10000 clauses out of 20010 with flag 3732002/6207219 549.26/546.58 c cleaning 9998 clauses out of 20010 with flag 3742002/6217219 550.16/547.42 c cleaning 9997 clauses out of 20010 with flag 3752000/6227217 550.97/548.25 c cleaning 10003 clauses out of 20013 with flag 3762000/6237217 551.77/549.06 c cleaning 10000 clauses out of 20011 with flag 3772001/6247218 552.57/549.80 c cleaning 9998 clauses out of 20011 with flag 3782001/6257218 553.47/550.70 c cleaning 10000 clauses out of 20012 with flag 3792000/6267217 554.27/551.56 c cleaning 10002 clauses out of 20012 with flag 3802000/6277217 555.27/552.59 c cleaning 10002 clauses out of 20010 with flag 3812000/6287217 556.27/553.57 c cleaning 10001 clauses out of 20009 with flag 3822001/6297218 557.19/554.44 c cleaning 9990 clauses out of 20007 with flag 3832000/6307217 558.08/555.35 c cleaning 10002 clauses out of 20019 with flag 3842002/6317219 558.79/556.02 c cleaning 10004 clauses out of 20016 with flag 3852001/6327218 559.80/557.02 c cleaning 10003 clauses out of 20011 with flag 3862000/6337217 560.90/558.10 c cleaning 9997 clauses out of 20008 with flag 3872001/6347218 561.90/559.12 c cleaning 10001 clauses out of 20011 with flag 3882001/6357218 562.91/560.13 c cleaning 9999 clauses out of 20009 with flag 3892000/6367217 563.91/561.17 c cleaning 10001 clauses out of 20011 with flag 3902001/6377218 564.93/562.17 c cleaning 10000 clauses out of 20010 with flag 3912001/6387218 565.93/563.15 c cleaning 10001 clauses out of 20010 with flag 3922001/6397218 566.92/564.10 c cleaning 10000 clauses out of 20009 with flag 3932001/6407218 567.82/565.08 c cleaning 10000 clauses out of 20010 with flag 3942002/6417219 568.92/566.16 c cleaning 10001 clauses out of 20009 with flag 3952001/6427218 570.03/567.23 c cleaning 9999 clauses out of 20007 with flag 3962001/6437218 570.93/568.18 c cleaning 9998 clauses out of 20008 with flag 3972001/6447218 571.93/569.15 c cleaning 10002 clauses out of 20010 with flag 3982001/6457218 572.93/570.15 c cleaning 10000 clauses out of 20006 with flag 3992000/6467217 573.34/570.56 c starts : 278 573.34/570.56 c conflicts : 6471659 573.34/570.56 c decisions : 6606689 573.34/570.56 c propagations : 139507933 573.34/570.56 c inspects : 3760991907 573.34/570.56 c shortcuts : 0 573.34/570.56 c learnt literals : 18 573.34/570.56 c learnt binary clauses : 113 573.34/570.56 c learnt ternary clauses : 505 573.34/570.56 c learnt constraints : 6471640 573.34/570.56 c ignored constraints : 0 573.34/570.56 c root simplifications : 0 573.34/570.56 c removed literals (reason simplification) : 266559429 573.34/570.56 c reason swapping (by a shorter reason) : 0 573.34/570.56 c Calls to reduceDB : 652 573.34/570.56 c number of reductions to clauses (during analyze) : 0 573.34/570.56 c number of learned constraints concerned by reduction : 0 573.34/570.56 c number of learning phase by resolution : 0 573.34/570.56 c number of learning phase by cutting planes : 0 573.34/570.56 c speed (assignments/second) : 395958.14435330516 573.34/570.56 c non guided choices 19318 573.34/570.56 c learnt constraints type 573.34/570.56 c constraints type 573.34/570.56 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 729 573.34/570.56 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 757 573.34/570.56 s OPTIMUM FOUND 573.34/570.56 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 x13 x14 -x15 x16 -x17 x18 x19 x20 x21 -x22 -x23 -x24 x25 -x26 x27 x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 x43 x44 x45 x46 -x47 -x48 x49 x50 x51 -x52 -x53 -x54 x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 x85 -x86 -x87 -x88 x89 -x90 x91 x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 x102 x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 x130 x131 x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 x156 -x157 x158 -x159 x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 x193 x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 x237 -x238 x239 -x240 -x241 -x242 -x243 573.34/570.56 c objective function=3 573.34/570.56 c Total wall clock time (in seconds): 570.456
OK 3
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-3458090-1307157961/watcher-3458090-1307157961 -o /tmp/evaluation-result-3458090-1307157961/solver-3458090-1307157961 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458090-1307157961.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: 2.01 2.02 2.00 2/479 20167 /proc/meminfo: memFree=28557072/32951124 swapFree=41830676/67111528 [pid=20167] ppid=20164 vsize=13508980 CPUtime=0 cores=1,3,5,7 /proc/20167/stat : 20167 (java) S 20164 20167 16141 0 -1 4202496 3521 0 1 0 0 0 0 0 25 0 2 0 827394038 13833195520 3224 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 /proc/20167/statm: 3377245 3237 906 9 0 3368401 0 [pid=20167/tid=20168] ppid=20164 vsize=13526316 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20168/stat : 20168 (java) R 20164 20167 16141 0 -1 4202560 5587 0 1 0 0 0 0 0 25 0 2 0 827394038 13850947584 6403 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 5 0 0 0 [startup+0.0892101 s] /proc/loadavg: 2.01 2.02 2.00 2/479 20167 /proc/meminfo: memFree=28557072/32951124 swapFree=41830676/67111528 [pid=20167] ppid=20164 vsize=13622608 CPUtime=0.09 cores=1,3,5,7 /proc/20167/stat : 20167 (java) S 20164 20167 16141 0 -1 4202496 15376 0 1 0 8 1 0 0 25 0 18 0 827394038 13949550592 15045 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/20167/statm: 3405652 15118 2093 9 0 3396386 0 [pid=20167/tid=20168] ppid=20164 vsize=13622608 CPUtime=0.07 cores=1,3,5,7 /proc/20167/task/20168/stat : 20168 (java) R 20164 20167 16141 0 -1 4202560 13509 0 1 0 6 1 0 0 25 0 18 0 827394038 13949550592 15119 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134542715 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13622608 [startup+0.105935 s] /proc/loadavg: 2.01 2.02 2.00 2/479 20167 /proc/meminfo: memFree=28557072/32951124 swapFree=41830676/67111528 [pid=20167] ppid=20164 vsize=13622608 CPUtime=0.1 cores=1,3,5,7 /proc/20167/stat : 20167 (java) S 20164 20167 16141 0 -1 4202496 15596 0 1 0 9 1 0 0 25 0 18 0 827394038 13949550592 15265 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/20167/statm: 3405652 15265 2093 9 0 3396386 0 [pid=20167/tid=20168] ppid=20164 vsize=13622608 CPUtime=0.09 cores=1,3,5,7 /proc/20167/task/20168/stat : 20168 (java) R 20164 20167 16141 0 -1 4202560 13655 0 1 0 8 1 0 0 25 0 18 0 827394038 13949550592 15265 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 47445341925381 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13622608 [startup+0.306934 s] /proc/loadavg: 2.01 2.02 2.00 2/479 20167 /proc/meminfo: memFree=28557072/32951124 swapFree=41830676/67111528 [pid=20167] ppid=20164 vsize=13626708 CPUtime=0.54 cores=1,3,5,7 /proc/20167/stat : 20167 (java) S 20164 20167 16141 0 -1 4202496 18347 0 1 0 52 2 0 0 25 0 19 0 827394038 13953748992 17557 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/20167/statm: 3406677 17557 2217 9 0 3397411 0 [pid=20167/tid=20168] ppid=20164 vsize=13626708 CPUtime=0.29 cores=1,3,5,7 /proc/20167/task/20168/stat : 20168 (java) R 20164 20167 16141 0 -1 4202560 14515 0 1 0 27 2 0 0 25 0 19 0 827394038 13953748992 17557 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 46912505121134 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.54 Current children cumulated vsize (KiB) 13626708 [startup+0.700828 s] /proc/loadavg: 2.01 2.02 2.00 2/479 20167 /proc/meminfo: memFree=28557072/32951124 swapFree=41830676/67111528 [pid=20167] ppid=20164 vsize=13626708 CPUtime=1.08 cores=1,3,5,7 /proc/20167/stat : 20167 (java) S 20164 20167 16141 0 -1 4202496 19107 0 1 0 106 2 0 0 25 0 19 0 827394038 13953748992 18222 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/20167/statm: 3406677 18222 2221 9 0 3397411 0 [pid=20167/tid=20168] ppid=20164 vsize=13626708 CPUtime=0.69 cores=1,3,5,7 /proc/20167/task/20168/stat : 20168 (java) R 20164 20167 16141 0 -1 4202560 15190 0 1 0 67 2 0 0 25 0 19 0 827394038 13953748992 18222 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 46912505580441 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1.08 Current children cumulated vsize (KiB) 13626708 [startup+1.50067 s] /proc/loadavg: 2.01 2.02 2.00 3/498 20189 /proc/meminfo: memFree=28487552/32951124 swapFree=41830676/67111528 [pid=20167] ppid=20164 vsize=13626708 CPUtime=1.95 cores=1,3,5,7 /proc/20167/stat : 20167 (java) S 20164 20167 16141 0 -1 4202496 21274 0 1 0 193 2 0 0 25 0 19 0 827394038 13953748992 20188 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/20167/statm: 3406677 20188 2249 9 0 3397411 0 [pid=20167/tid=20168] ppid=20164 vsize=13626708 CPUtime=1.45 cores=1,3,5,7 /proc/20167/task/20168/stat : 20168 (java) R 20164 20167 16141 0 -1 4202560 15222 0 1 0 143 2 0 0 25 0 19 0 827394038 13953748992 20188 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 46912505559685 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=20167/tid=20171] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20171/stat : 20171 (java) S 20164 20167 16141 0 -1 4202560 286 0 0 0 0 0 0 0 15 0 19 0 827394040 13953748992 20188 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 7 0 0 0 [pid=20167/tid=20173] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20173/stat : 20173 (java) S 20164 20167 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827394040 13953748992 20188 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 [pid=20167/tid=20174] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20174/stat : 20174 (java) S 20164 20167 16141 0 -1 4202560 72 0 0 0 0 0 0 0 16 0 19 0 827394040 13953748992 20188 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 7 0 0 0 [pid=20167/tid=20175] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20175/stat : 20175 (java) S 20164 20167 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827394040 13953748992 20188 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 1 0 0 0 [pid=20167/tid=20176] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20176/stat : 20176 (java) S 20164 20167 16141 0 -1 4202560 75 0 0 0 0 0 0 0 16 0 19 0 827394040 13953748992 20188 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 1 0 0 0 [pid=20167/tid=20177] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20177/stat : 20177 (java) S 20164 20167 16141 0 -1 4202560 248 0 0 0 0 0 0 0 15 0 19 0 827394040 13953748992 20188 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 [pid=20167/tid=20178] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20178/stat : 20178 (java) S 20164 20167 16141 0 -1 4202560 99 0 0 0 0 0 0 0 16 0 19 0 827394040 13953748992 20188 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 7 0 0 0 [pid=20167/tid=20179] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20179/stat : 20179 (java) S 20164 20167 16141 0 -1 4202560 264 0 0 0 0 0 0 0 15 0 19 0 827394040 13953748992 20188 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 7 0 0 0 [pid=20167/tid=20180] ppid=20164 vsize=13626708 CPUtime=0.03 cores=1,3,5,7 /proc/20167/task/20180/stat : 20180 (java) S 20164 20167 16141 0 -1 4202560 884 0 0 0 3 0 0 0 16 0 19 0 827394041 13953748992 20188 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134530560 0 0 0 16800975 18446604465814577600 0 0 -1 5 0 0 0 [pid=20167/tid=20181] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20181/stat : 20181 (java) S 20164 20167 16141 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827394042 13953748992 20188 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 5 0 0 0 [pid=20167/tid=20182] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20182/stat : 20182 (java) S 20164 20167 16141 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827394042 13953748992 20188 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 [pid=20167/tid=20184] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20184/stat : 20184 (java) S 20164 20167 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827394044 13953748992 20188 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134537649 0 4 0 16800975 18446604465814577600 0 0 -1 5 0 0 0 [pid=20167/tid=20185] ppid=20164 vsize=13626708 CPUtime=0.28 cores=1,3,5,7 /proc/20167/task/20185/stat : 20185 (java) S 20164 20167 16141 0 -1 4202560 1377 0 0 0 28 0 0 0 16 0 19 0 827394044 13953748992 20188 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 1 0 0 0 [pid=20167/tid=20186] ppid=20164 vsize=13626708 CPUtime=0.17 cores=1,3,5,7 /proc/20167/task/20186/stat : 20186 (java) S 20164 20167 16141 0 -1 4202560 1595 0 0 0 17 0 0 0 15 0 19 0 827394044 13953748992 20188 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 [pid=20167/tid=20187] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20187/stat : 20187 (java) S 20164 20167 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827394044 13953748992 20188 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 5 0 0 0 [pid=20167/tid=20188] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20188/stat : 20188 (java) S 20164 20167 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827394044 13953748992 20188 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134530560 0 4 0 16800975 18446604465814577600 0 0 -1 1 0 0 0 [pid=20167/tid=20189] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20189/stat : 20189 (java) S 20164 20167 16141 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827394060 13953748992 20188 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134530560 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1.95 Current children cumulated vsize (KiB) 13626708 [startup+3.10138 s] /proc/loadavg: 2.01 2.02 2.00 3/498 20189 /proc/meminfo: memFree=28482364/32951124 swapFree=41830676/67111528 [pid=20167] ppid=20164 vsize=13626708 CPUtime=3.6 cores=1,3,5,7 /proc/20167/stat : 20167 (java) S 20164 20167 16141 0 -1 4202496 21827 0 1 0 357 3 0 0 25 0 19 0 827394038 13953748992 20738 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/20167/statm: 3406677 20738 2250 9 0 3397411 0 [pid=20167/tid=20168] ppid=20164 vsize=13626708 CPUtime=3.01 cores=1,3,5,7 /proc/20167/task/20168/stat : 20168 (java) R 20164 20167 16141 0 -1 4202560 15224 0 1 0 299 2 0 0 25 0 19 0 827394038 13953748992 20738 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 46912505549288 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=20167/tid=20171] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20171/stat : 20171 (java) S 20164 20167 16141 0 -1 4202560 309 0 0 0 0 0 0 0 15 0 19 0 827394040 13953748992 20738 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 7 0 0 0 [pid=20167/tid=20173] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20173/stat : 20173 (java) S 20164 20167 16141 0 -1 4202560 39 0 0 0 0 0 0 0 16 0 19 0 827394040 13953748992 20738 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 1 0 0 0 [pid=20167/tid=20174] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20174/stat : 20174 (java) S 20164 20167 16141 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 827394040 13953748992 20738 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 7 0 0 0 [pid=20167/tid=20175] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20175/stat : 20175 (java) S 20164 20167 16141 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 827394040 13953748992 20738 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 1 0 0 0 [pid=20167/tid=20176] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20176/stat : 20176 (java) S 20164 20167 16141 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 827394040 13953748992 20738 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 1 0 0 0 [pid=20167/tid=20177] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20177/stat : 20177 (java) S 20164 20167 16141 0 -1 4202560 248 0 0 0 0 0 0 0 15 0 19 0 827394040 13953748992 20738 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 [pid=20167/tid=20178] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20178/stat : 20178 (java) S 20164 20167 16141 0 -1 4202560 105 0 0 0 0 0 0 0 16 0 19 0 827394040 13953748992 20738 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 7 0 0 0 [pid=20167/tid=20179] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20179/stat : 20179 (java) S 20164 20167 16141 0 -1 4202560 264 0 0 0 0 0 0 0 15 0 19 0 827394040 13953748992 20738 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 7 0 0 0 [pid=20167/tid=20180] ppid=20164 vsize=13626708 CPUtime=0.06 cores=1,3,5,7 /proc/20167/task/20180/stat : 20180 (java) S 20164 20167 16141 0 -1 4202560 1309 0 0 0 6 0 0 0 16 0 19 0 827394041 13953748992 20738 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134530560 0 0 0 16800975 18446604465814577600 0 0 -1 5 0 0 0 [pid=20167/tid=20181] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20181/stat : 20181 (java) S 20164 20167 16141 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827394042 13953748992 20738 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 5 0 0 0 [pid=20167/tid=20182] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20182/stat : 20182 (java) S 20164 20167 16141 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827394042 13953748992 20738 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 [pid=20167/tid=20184] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20184/stat : 20184 (java) S 20164 20167 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827394044 13953748992 20738 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134537649 0 4 0 16800975 18446604465814577600 0 0 -1 5 0 0 0 [pid=20167/tid=20185] ppid=20164 vsize=13626708 CPUtime=0.31 cores=1,3,5,7 /proc/20167/task/20185/stat : 20185 (java) S 20164 20167 16141 0 -1 4202560 1391 0 0 0 31 0 0 0 15 0 19 0 827394044 13953748992 20738 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 1 0 0 0 [pid=20167/tid=20186] ppid=20164 vsize=13626708 CPUtime=0.17 cores=1,3,5,7 /proc/20167/task/20186/stat : 20186 (java) S 20164 20167 16141 0 -1 4202560 1595 0 0 0 17 0 0 0 15 0 19 0 827394044 13953748992 20738 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 [pid=20167/tid=20187] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20187/stat : 20187 (java) S 20164 20167 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827394044 13953748992 20738 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 5 0 0 0 [pid=20167/tid=20188] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20188/stat : 20188 (java) S 20164 20167 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827394044 13953748992 20738 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134530560 0 4 0 16800975 18446604465814577600 0 0 -1 7 0 0 0 [pid=20167/tid=20189] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20189/stat : 20189 (java) S 20164 20167 16141 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827394060 13953748992 20738 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134530560 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3.6 Current children cumulated vsize (KiB) 13626708 [startup+6.3008 s] /proc/loadavg: 2.01 2.02 2.00 3/498 20189 /proc/meminfo: memFree=28480312/32951124 swapFree=41830676/67111528 [pid=20167] ppid=20164 vsize=13626708 CPUtime=6.85 cores=1,3,5,7 /proc/20167/stat : 20167 (java) S 20164 20167 16141 0 -1 4202496 22920 0 1 0 682 3 0 0 25 0 19 0 827394038 13953748992 21826 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/20167/statm: 3406677 21826 2250 9 0 3397411 0 [pid=20167/tid=20168] ppid=20164 vsize=13626708 CPUtime=6.12 cores=1,3,5,7 /proc/20167/task/20168/stat : 20168 (java) R 20164 20167 16141 0 -1 4202560 15229 0 1 0 610 2 0 0 18 0 19 0 827394038 13953748992 21826 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 46912505559593 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=20167/tid=20171] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20171/stat : 20171 (java) S 20164 20167 16141 0 -1 4202560 342 0 0 0 0 0 0 0 15 0 19 0 827394040 13953748992 21826 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 1 0 0 0 [pid=20167/tid=20173] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20173/stat : 20173 (java) S 20164 20167 16141 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 19 0 827394040 13953748992 21826 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 7 0 0 0 [pid=20167/tid=20174] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20174/stat : 20174 (java) S 20164 20167 16141 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 19 0 827394040 13953748992 21826 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 1 0 0 0 [pid=20167/tid=20175] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20175/stat : 20175 (java) S 20164 20167 16141 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 827394040 13953748992 21826 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 1 0 0 0 [pid=20167/tid=20176] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20176/stat : 20176 (java) S 20164 20167 16141 0 -1 4202560 157 0 0 0 0 0 0 0 16 0 19 0 827394040 13953748992 21826 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 1 0 0 0 [pid=20167/tid=20177] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20177/stat : 20177 (java) S 20164 20167 16141 0 -1 4202560 357 0 0 0 0 0 0 0 16 0 19 0 827394040 13953748992 21826 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 [pid=20167/tid=20178] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20178/stat : 20178 (java) S 20164 20167 16141 0 -1 4202560 125 0 0 0 0 0 0 0 15 0 19 0 827394040 13953748992 21826 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 7 0 0 0 [pid=20167/tid=20179] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20179/stat : 20179 (java) S 20164 20167 16141 0 -1 4202560 318 0 0 0 0 0 0 0 15 0 19 0 827394040 13953748992 21826 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 7 0 0 0 [pid=20167/tid=20180] ppid=20164 vsize=13626708 CPUtime=0.13 cores=1,3,5,7 /proc/20167/task/20180/stat : 20180 (java) S 20164 20167 16141 0 -1 4202560 2082 0 0 0 13 0 0 0 16 0 19 0 827394041 13953748992 21826 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134530560 0 0 0 16800975 18446604465814577600 0 0 -1 5 0 0 0 [pid=20167/tid=20181] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20181/stat : 20181 (java) S 20164 20167 16141 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827394042 13953748992 21826 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 5 0 0 0 [pid=20167/tid=20182] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20182/stat : 20182 (java) S 20164 20167 16141 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827394042 13953748992 21826 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 [pid=20167/tid=20184] ppid=20164 vsize=13626708 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20184/stat : 20184 (java) S 20164 20167 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827394044 13953748992 21826 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134537649 0 4 0 16800975 18446604465814577600 0 0 -1 5 0 0 0 [pid=20167/tid=20185] ppid=20164 vsize=13626708 CPUtime=0.35 cores=1,3,5,7 /proc/20167/task/20185/stat : 20185 (java) S 20164 20167 16141 0 -1 4202560 1399 0 0 0 35 0 0 0 15 0 19 0 827394044 13953748992 21826 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 1 0 0 0 [pid=20167/tid=20186] ppid=20164 vsize=13626708 CPUtime=0.17 cores=1,3,5,7 /proc/20167/task/20186/stat : 20186 (java) S 20164 20167 16141 0 -1 4202560 1595 0 0 0 17 0 0 0 15 0 19 0 827394044 13953748992 21826 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 ################ # More data... # ################ /proc/20167/task/20171/stat : 20171 (java) S 20164 20167 16141 0 -1 4202560 419 0 0 0 37 0 0 0 15 0 19 0 827394040 13977501696 34254 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 7 0 0 0 [pid=20167/tid=20173] ppid=20164 vsize=13649904 CPUtime=0.39 cores=1,3,5,7 /proc/20167/task/20173/stat : 20173 (java) S 20164 20167 16141 0 -1 4202560 136 0 0 0 39 0 0 0 15 0 19 0 827394040 13977501696 34254 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 [pid=20167/tid=20174] ppid=20164 vsize=13649904 CPUtime=0.34 cores=1,3,5,7 /proc/20167/task/20174/stat : 20174 (java) S 20164 20167 16141 0 -1 4202560 179 0 0 0 34 0 0 0 15 0 19 0 827394040 13977501696 34254 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 1 0 0 0 [pid=20167/tid=20175] ppid=20164 vsize=13649904 CPUtime=0.33 cores=1,3,5,7 /proc/20167/task/20175/stat : 20175 (java) S 20164 20167 16141 0 -1 4202560 64 0 0 0 33 0 0 0 15 0 19 0 827394040 13977501696 34254 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 1 0 0 0 [pid=20167/tid=20176] ppid=20164 vsize=13649904 CPUtime=0.38 cores=1,3,5,7 /proc/20167/task/20176/stat : 20176 (java) S 20164 20167 16141 0 -1 4202560 208 0 0 0 38 0 0 0 16 0 19 0 827394040 13977501696 34254 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 7 0 0 0 [pid=20167/tid=20177] ppid=20164 vsize=13649904 CPUtime=0.41 cores=1,3,5,7 /proc/20167/task/20177/stat : 20177 (java) S 20164 20167 16141 0 -1 4202560 431 0 0 0 41 0 0 0 15 0 19 0 827394040 13977501696 34254 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 1 0 0 0 [pid=20167/tid=20178] ppid=20164 vsize=13649904 CPUtime=0.35 cores=1,3,5,7 /proc/20167/task/20178/stat : 20178 (java) S 20164 20167 16141 0 -1 4202560 182 0 0 0 35 0 0 0 15 0 19 0 827394040 13977501696 34254 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 [pid=20167/tid=20179] ppid=20164 vsize=13649904 CPUtime=0.4 cores=1,3,5,7 /proc/20167/task/20179/stat : 20179 (java) S 20164 20167 16141 0 -1 4202560 372 0 0 0 40 0 0 0 16 0 19 0 827394040 13977501696 34254 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 [pid=20167/tid=20180] ppid=20164 vsize=13649904 CPUtime=18.23 cores=1,3,5,7 /proc/20167/task/20180/stat : 20180 (java) S 20164 20167 16141 0 -1 4202560 8718 0 0 0 1812 11 0 0 15 0 19 0 827394041 13977501696 34254 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134530560 0 0 0 16800975 18446604465814577600 0 0 -1 5 0 0 0 [pid=20167/tid=20181] ppid=20164 vsize=13649904 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20181/stat : 20181 (java) S 20164 20167 16141 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827394042 13977501696 34254 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 5 0 0 0 [pid=20167/tid=20182] ppid=20164 vsize=13649904 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20182/stat : 20182 (java) S 20164 20167 16141 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827394042 13977501696 34254 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 [pid=20167/tid=20184] ppid=20164 vsize=13649904 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20184/stat : 20184 (java) S 20164 20167 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827394044 13977501696 34254 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134537649 0 4 0 16800975 18446604465814577600 0 0 -1 5 0 0 0 [pid=20167/tid=20185] ppid=20164 vsize=13649904 CPUtime=0.99 cores=1,3,5,7 /proc/20167/task/20185/stat : 20185 (java) S 20164 20167 16141 0 -1 4202560 10281 0 0 0 98 1 0 0 15 0 19 0 827394044 13977501696 34254 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 1 0 0 0 [pid=20167/tid=20186] ppid=20164 vsize=13649904 CPUtime=0.25 cores=1,3,5,7 /proc/20167/task/20186/stat : 20186 (java) S 20164 20167 16141 0 -1 4202560 2193 0 0 0 25 0 0 0 15 0 19 0 827394044 13977501696 34254 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 [pid=20167/tid=20187] ppid=20164 vsize=13649904 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20187/stat : 20187 (java) S 20164 20167 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827394044 13977501696 34254 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 5 0 0 0 [pid=20167/tid=20188] ppid=20164 vsize=13649904 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20188/stat : 20188 (java) S 20164 20167 16141 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 19 0 827394044 13977501696 34254 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134530560 0 4 0 16800975 18446604465814577600 0 0 -1 7 0 0 0 [pid=20167/tid=20189] ppid=20164 vsize=13649904 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20189/stat : 20189 (java) S 20164 20167 16141 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827394060 13977501696 34254 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134530560 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 570.73 Current children cumulated vsize (KiB) 13649904 [startup+569.501 s] /proc/loadavg: 2.06 2.05 2.01 3/498 20559 /proc/meminfo: memFree=28441504/32951124 swapFree=41830676/67111528 [pid=20167] ppid=20164 vsize=13649904 CPUtime=572.33 cores=1,3,5,7 /proc/20167/stat : 20167 (java) S 20164 20167 16141 0 -1 4202496 40250 0 1 0 57211 22 0 0 25 0 19 0 827394038 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/20167/statm: 3412476 34257 2251 9 0 3403210 0 [pid=20167/tid=20168] ppid=20164 vsize=13649904 CPUtime=549.69 cores=1,3,5,7 /proc/20167/task/20168/stat : 20168 (java) R 20164 20167 16141 0 -1 4202560 15882 0 1 0 54966 3 0 0 25 0 19 0 827394038 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 46912505546568 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=20167/tid=20171] ppid=20164 vsize=13649904 CPUtime=0.37 cores=1,3,5,7 /proc/20167/task/20171/stat : 20171 (java) S 20164 20167 16141 0 -1 4202560 419 0 0 0 37 0 0 0 16 0 19 0 827394040 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 7 0 0 0 [pid=20167/tid=20173] ppid=20164 vsize=13649904 CPUtime=0.39 cores=1,3,5,7 /proc/20167/task/20173/stat : 20173 (java) S 20164 20167 16141 0 -1 4202560 136 0 0 0 39 0 0 0 15 0 19 0 827394040 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 [pid=20167/tid=20174] ppid=20164 vsize=13649904 CPUtime=0.34 cores=1,3,5,7 /proc/20167/task/20174/stat : 20174 (java) S 20164 20167 16141 0 -1 4202560 179 0 0 0 34 0 0 0 16 0 19 0 827394040 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 1 0 0 0 [pid=20167/tid=20175] ppid=20164 vsize=13649904 CPUtime=0.33 cores=1,3,5,7 /proc/20167/task/20175/stat : 20175 (java) S 20164 20167 16141 0 -1 4202560 64 0 0 0 33 0 0 0 15 0 19 0 827394040 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 1 0 0 0 [pid=20167/tid=20176] ppid=20164 vsize=13649904 CPUtime=0.38 cores=1,3,5,7 /proc/20167/task/20176/stat : 20176 (java) S 20164 20167 16141 0 -1 4202560 208 0 0 0 38 0 0 0 15 0 19 0 827394040 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 7 0 0 0 [pid=20167/tid=20177] ppid=20164 vsize=13649904 CPUtime=0.41 cores=1,3,5,7 /proc/20167/task/20177/stat : 20177 (java) S 20164 20167 16141 0 -1 4202560 434 0 0 0 41 0 0 0 15 0 19 0 827394040 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 1 0 0 0 [pid=20167/tid=20178] ppid=20164 vsize=13649904 CPUtime=0.35 cores=1,3,5,7 /proc/20167/task/20178/stat : 20178 (java) S 20164 20167 16141 0 -1 4202560 182 0 0 0 35 0 0 0 16 0 19 0 827394040 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 [pid=20167/tid=20179] ppid=20164 vsize=13649904 CPUtime=0.4 cores=1,3,5,7 /proc/20167/task/20179/stat : 20179 (java) S 20164 20167 16141 0 -1 4202560 372 0 0 0 40 0 0 0 15 0 19 0 827394040 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 [pid=20167/tid=20180] ppid=20164 vsize=13649904 CPUtime=18.29 cores=1,3,5,7 /proc/20167/task/20180/stat : 20180 (java) S 20164 20167 16141 0 -1 4202560 8718 0 0 0 1818 11 0 0 15 0 19 0 827394041 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134530560 0 0 0 16800975 18446604465814577600 0 0 -1 5 0 0 0 [pid=20167/tid=20181] ppid=20164 vsize=13649904 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20181/stat : 20181 (java) S 20164 20167 16141 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827394042 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 5 0 0 0 [pid=20167/tid=20182] ppid=20164 vsize=13649904 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20182/stat : 20182 (java) S 20164 20167 16141 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827394042 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 [pid=20167/tid=20184] ppid=20164 vsize=13649904 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20184/stat : 20184 (java) S 20164 20167 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827394044 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134537649 0 4 0 16800975 18446604465814577600 0 0 -1 5 0 0 0 [pid=20167/tid=20185] ppid=20164 vsize=13649904 CPUtime=0.99 cores=1,3,5,7 /proc/20167/task/20185/stat : 20185 (java) S 20164 20167 16141 0 -1 4202560 10281 0 0 0 98 1 0 0 15 0 19 0 827394044 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 1 0 0 0 [pid=20167/tid=20186] ppid=20164 vsize=13649904 CPUtime=0.25 cores=1,3,5,7 /proc/20167/task/20186/stat : 20186 (java) S 20164 20167 16141 0 -1 4202560 2193 0 0 0 25 0 0 0 15 0 19 0 827394044 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 [pid=20167/tid=20187] ppid=20164 vsize=13649904 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20187/stat : 20187 (java) S 20164 20167 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827394044 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 5 0 0 0 [pid=20167/tid=20188] ppid=20164 vsize=13649904 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20188/stat : 20188 (java) S 20164 20167 16141 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 19 0 827394044 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134530560 0 4 0 16800975 18446604465814577600 0 0 -1 7 0 0 0 [pid=20167/tid=20189] ppid=20164 vsize=13649904 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20189/stat : 20189 (java) S 20164 20167 16141 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827394060 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134530560 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 572.33 Current children cumulated vsize (KiB) 13649904 [startup+570.302 s] /proc/loadavg: 2.06 2.05 2.01 3/498 20559 /proc/meminfo: memFree=28441380/32951124 swapFree=41830676/67111528 [pid=20167] ppid=20164 vsize=13649904 CPUtime=573.14 cores=1,3,5,7 /proc/20167/stat : 20167 (java) S 20164 20167 16141 0 -1 4202496 40251 0 1 0 57292 22 0 0 25 0 19 0 827394038 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/20167/statm: 3412476 34257 2251 9 0 3403210 0 [pid=20167/tid=20168] ppid=20164 vsize=13649904 CPUtime=550.45 cores=1,3,5,7 /proc/20167/task/20168/stat : 20168 (java) R 20164 20167 16141 0 -1 4202560 15883 0 1 0 55042 3 0 0 25 0 19 0 827394038 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 46912505708471 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=20167/tid=20171] ppid=20164 vsize=13649904 CPUtime=0.37 cores=1,3,5,7 /proc/20167/task/20171/stat : 20171 (java) S 20164 20167 16141 0 -1 4202560 419 0 0 0 37 0 0 0 15 0 19 0 827394040 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 7 0 0 0 [pid=20167/tid=20173] ppid=20164 vsize=13649904 CPUtime=0.4 cores=1,3,5,7 /proc/20167/task/20173/stat : 20173 (java) S 20164 20167 16141 0 -1 4202560 136 0 0 0 40 0 0 0 16 0 19 0 827394040 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 [pid=20167/tid=20174] ppid=20164 vsize=13649904 CPUtime=0.34 cores=1,3,5,7 /proc/20167/task/20174/stat : 20174 (java) S 20164 20167 16141 0 -1 4202560 179 0 0 0 34 0 0 0 15 0 19 0 827394040 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 1 0 0 0 [pid=20167/tid=20175] ppid=20164 vsize=13649904 CPUtime=0.33 cores=1,3,5,7 /proc/20167/task/20175/stat : 20175 (java) S 20164 20167 16141 0 -1 4202560 64 0 0 0 33 0 0 0 15 0 19 0 827394040 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 1 0 0 0 [pid=20167/tid=20176] ppid=20164 vsize=13649904 CPUtime=0.38 cores=1,3,5,7 /proc/20167/task/20176/stat : 20176 (java) S 20164 20167 16141 0 -1 4202560 208 0 0 0 38 0 0 0 15 0 19 0 827394040 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 7 0 0 0 [pid=20167/tid=20177] ppid=20164 vsize=13649904 CPUtime=0.41 cores=1,3,5,7 /proc/20167/task/20177/stat : 20177 (java) S 20164 20167 16141 0 -1 4202560 434 0 0 0 41 0 0 0 15 0 19 0 827394040 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 1 0 0 0 [pid=20167/tid=20178] ppid=20164 vsize=13649904 CPUtime=0.35 cores=1,3,5,7 /proc/20167/task/20178/stat : 20178 (java) S 20164 20167 16141 0 -1 4202560 182 0 0 0 35 0 0 0 16 0 19 0 827394040 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 7 0 0 0 [pid=20167/tid=20179] ppid=20164 vsize=13649904 CPUtime=0.4 cores=1,3,5,7 /proc/20167/task/20179/stat : 20179 (java) S 20164 20167 16141 0 -1 4202560 372 0 0 0 40 0 0 0 15 0 19 0 827394040 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 [pid=20167/tid=20180] ppid=20164 vsize=13649904 CPUtime=18.33 cores=1,3,5,7 /proc/20167/task/20180/stat : 20180 (java) S 20164 20167 16141 0 -1 4202560 8718 0 0 0 1822 11 0 0 15 0 19 0 827394041 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134530560 0 0 0 16800975 18446604465814577600 0 0 -1 5 0 0 0 [pid=20167/tid=20181] ppid=20164 vsize=13649904 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20181/stat : 20181 (java) S 20164 20167 16141 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827394042 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 5 0 0 0 [pid=20167/tid=20182] ppid=20164 vsize=13649904 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20182/stat : 20182 (java) S 20164 20167 16141 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827394042 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 [pid=20167/tid=20184] ppid=20164 vsize=13649904 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20184/stat : 20184 (java) S 20164 20167 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827394044 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134537649 0 4 0 16800975 18446604465814577600 0 0 -1 5 0 0 0 [pid=20167/tid=20185] ppid=20164 vsize=13649904 CPUtime=0.99 cores=1,3,5,7 /proc/20167/task/20185/stat : 20185 (java) S 20164 20167 16141 0 -1 4202560 10281 0 0 0 98 1 0 0 15 0 19 0 827394044 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 1 0 0 0 [pid=20167/tid=20186] ppid=20164 vsize=13649904 CPUtime=0.25 cores=1,3,5,7 /proc/20167/task/20186/stat : 20186 (java) S 20164 20167 16141 0 -1 4202560 2193 0 0 0 25 0 0 0 15 0 19 0 827394044 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 [pid=20167/tid=20187] ppid=20164 vsize=13649904 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20187/stat : 20187 (java) S 20164 20167 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827394044 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 5 0 0 0 [pid=20167/tid=20188] ppid=20164 vsize=13649904 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20188/stat : 20188 (java) S 20164 20167 16141 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 19 0 827394044 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134530560 0 4 0 16800975 18446604465814577600 0 0 -1 7 0 0 0 [pid=20167/tid=20189] ppid=20164 vsize=13649904 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20189/stat : 20189 (java) S 20164 20167 16141 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827394060 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134530560 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 573.14 Current children cumulated vsize (KiB) 13649904 [startup+570.502 s] /proc/loadavg: 2.06 2.05 2.01 3/498 20559 /proc/meminfo: memFree=28441380/32951124 swapFree=41830676/67111528 [pid=20167] ppid=20164 vsize=13649904 CPUtime=573.34 cores=1,3,5,7 /proc/20167/stat : 20167 (java) S 20164 20167 16141 0 -1 4202496 40251 0 1 0 57312 22 0 0 25 0 19 0 827394038 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/20167/statm: 3412476 34257 2251 9 0 3403210 0 [pid=20167/tid=20168] ppid=20164 vsize=13649904 CPUtime=550.65 cores=1,3,5,7 /proc/20167/task/20168/stat : 20168 (java) R 20164 20167 16141 0 -1 4202560 15883 0 1 0 55062 3 0 0 25 0 19 0 827394038 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 46912505699203 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=20167/tid=20171] ppid=20164 vsize=13649904 CPUtime=0.37 cores=1,3,5,7 /proc/20167/task/20171/stat : 20171 (java) S 20164 20167 16141 0 -1 4202560 419 0 0 0 37 0 0 0 15 0 19 0 827394040 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 7 0 0 0 [pid=20167/tid=20173] ppid=20164 vsize=13649904 CPUtime=0.4 cores=1,3,5,7 /proc/20167/task/20173/stat : 20173 (java) S 20164 20167 16141 0 -1 4202560 136 0 0 0 40 0 0 0 16 0 19 0 827394040 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 [pid=20167/tid=20174] ppid=20164 vsize=13649904 CPUtime=0.34 cores=1,3,5,7 /proc/20167/task/20174/stat : 20174 (java) S 20164 20167 16141 0 -1 4202560 179 0 0 0 34 0 0 0 15 0 19 0 827394040 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 1 0 0 0 [pid=20167/tid=20175] ppid=20164 vsize=13649904 CPUtime=0.33 cores=1,3,5,7 /proc/20167/task/20175/stat : 20175 (java) S 20164 20167 16141 0 -1 4202560 64 0 0 0 33 0 0 0 15 0 19 0 827394040 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 1 0 0 0 [pid=20167/tid=20176] ppid=20164 vsize=13649904 CPUtime=0.38 cores=1,3,5,7 /proc/20167/task/20176/stat : 20176 (java) S 20164 20167 16141 0 -1 4202560 208 0 0 0 38 0 0 0 15 0 19 0 827394040 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 7 0 0 0 [pid=20167/tid=20177] ppid=20164 vsize=13649904 CPUtime=0.41 cores=1,3,5,7 /proc/20167/task/20177/stat : 20177 (java) S 20164 20167 16141 0 -1 4202560 434 0 0 0 41 0 0 0 15 0 19 0 827394040 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 1 0 0 0 [pid=20167/tid=20178] ppid=20164 vsize=13649904 CPUtime=0.35 cores=1,3,5,7 /proc/20167/task/20178/stat : 20178 (java) S 20164 20167 16141 0 -1 4202560 182 0 0 0 35 0 0 0 16 0 19 0 827394040 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 7 0 0 0 [pid=20167/tid=20179] ppid=20164 vsize=13649904 CPUtime=0.4 cores=1,3,5,7 /proc/20167/task/20179/stat : 20179 (java) S 20164 20167 16141 0 -1 4202560 372 0 0 0 40 0 0 0 15 0 19 0 827394040 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 [pid=20167/tid=20180] ppid=20164 vsize=13649904 CPUtime=18.33 cores=1,3,5,7 /proc/20167/task/20180/stat : 20180 (java) S 20164 20167 16141 0 -1 4202560 8718 0 0 0 1822 11 0 0 15 0 19 0 827394041 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134530560 0 0 0 16800975 18446604465814577600 0 0 -1 5 0 0 0 [pid=20167/tid=20181] ppid=20164 vsize=13649904 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20181/stat : 20181 (java) S 20164 20167 16141 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827394042 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 5 0 0 0 [pid=20167/tid=20182] ppid=20164 vsize=13649904 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20182/stat : 20182 (java) S 20164 20167 16141 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827394042 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 [pid=20167/tid=20184] ppid=20164 vsize=13649904 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20184/stat : 20184 (java) S 20164 20167 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827394044 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134537649 0 4 0 16800975 18446604465814577600 0 0 -1 5 0 0 0 [pid=20167/tid=20185] ppid=20164 vsize=13649904 CPUtime=0.99 cores=1,3,5,7 /proc/20167/task/20185/stat : 20185 (java) S 20164 20167 16141 0 -1 4202560 10281 0 0 0 98 1 0 0 15 0 19 0 827394044 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 1 0 0 0 [pid=20167/tid=20186] ppid=20164 vsize=13649904 CPUtime=0.25 cores=1,3,5,7 /proc/20167/task/20186/stat : 20186 (java) S 20164 20167 16141 0 -1 4202560 2193 0 0 0 25 0 0 0 15 0 19 0 827394044 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 [pid=20167/tid=20187] ppid=20164 vsize=13649904 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20187/stat : 20187 (java) S 20164 20167 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827394044 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134529945 0 4 0 16800975 18446604465814577600 0 0 -1 5 0 0 0 [pid=20167/tid=20188] ppid=20164 vsize=13649904 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20188/stat : 20188 (java) S 20164 20167 16141 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 19 0 827394044 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134530560 0 4 0 16800975 18446604465814577600 0 0 -1 7 0 0 0 [pid=20167/tid=20189] ppid=20164 vsize=13649904 CPUtime=0 cores=1,3,5,7 /proc/20167/task/20189/stat : 20189 (java) S 20164 20167 16141 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827394060 13977501696 34257 33554432000 1073741824 1073778376 140735912653696 18446744073709551615 228134530560 0 4 0 16800975 18446604465814577600 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 573.34 Current children cumulated vsize (KiB) 13649904 Child status: 30 Real time (s): 570.588 CPU time (s): 573.417 CPU user time (s): 573.187 CPU system time (s): 0.229965 CPU usage (%): 100.496 Max. virtual memory (cumulated for all children) (KiB): 13649904 getrusage(RUSAGE_CHILDREN,...) data: user time used= 573.187 system time used= 0.229965 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40274 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= 29060 involuntary context switches= 12790 runsolver used 2.6346 second user time and 5.9441 second system time The end
Begin job on node138 at 2011-06-04 05:26:01 IDJOB=3458090 IDBENCH=47910 IDSOLVER=1952 FILE ID=node138/3458090-1307157961 RUNJOBID= node138-1307156152-19868 PBS_JOBID= 13508778 Free space on /tmp= 73668 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=307-P1=313-P2=331-P3=461-P4=131-P5=307-P6=149-P7=479-P8=317-P9=431-B.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458090-1307157961/watcher-3458090-1307157961 -o /tmp/evaluation-result-3458090-1307157961/solver-3458090-1307157961 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458090-1307157961.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8b00ea770361f301179000d52beb4a25 RANDOM SEED=1876878385 node138.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.854 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.70 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.854 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.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 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.854 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.80 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.854 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.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28557328 kB Buffers: 311212 kB Cached: 1077276 kB SwapCached: 44568 kB Active: 2310412 kB Inactive: 1793204 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28557328 kB SwapTotal: 67111528 kB SwapFree: 41830676 kB Dirty: 1128 kB Writeback: 0 kB AnonPages: 2681668 kB Mapped: 24788 kB Slab: 128500 kB PageTables: 92584 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 144091832 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= 73668 MiB End job on node138 at 2011-06-04 05:35:31