Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB07: SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 68 | 1800.49 | 1794.92 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-alu4.b.opb |
MD5SUM | 9c27419d6022516b3a8580fda3ca43ee |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 50 |
Best CPU time to get the best result obtained on this benchmark | 1.46878 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 50 |
Optimality of the best value was proved | NO |
Number of variables | 807 |
Total number of constraints | 1823 |
Number of constraints which are clauses | 1823 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 98 |
Number of terms in the objective function | 807 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 807 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 807 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.00/0.08 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.00/0.08 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.00/0.08 c no version file found!!! 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 1599470296 0.00/0.08 c Max memory 1607860224 0.00/0.08 c Total memory 1607860224 0.00/0.08 c Number of processors 8 0.08/0.10 --- Begin Solver configuration --- 0.08/0.10 c Stops conflict analysis at the first Unique Implication Point 0.08/0.10 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1cb1c5fa 0.08/0.10 c Learn all clauses as in MiniSAT 0.08/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.10 c VSIDS like heuristics from MiniSAT using a heap 0.08/0.10 c No reason simplification 0.08/0.10 c --- End Solver configuration --- 0.08/0.11 c solving HOME/instance-3732374-1338690279.opb 0.08/0.11 c reading problem ... 0.53/0.39 c ... done. Wall clock time 0.288s. 0.53/0.39 c CPU time (experimental) 0.35s. 0.53/0.39 c #vars 807 0.53/0.39 c #constraints 1695 0.82/0.41 c SATISFIABLE 0.82/0.41 c OPTIMIZING... 0.82/0.41 c Got one! Elapsed wall clock time (in seconds):0.308 0.82/0.42 o 68 791.92/788.20 c cleaning 1966481 clauses out of 3933000 for limit 218.81811138248122 886.41/882.68 c cleaning 983508 clauses out of 1967023 for limit 724.42212814129 903.90/900.19 c cleaning 492001 clauses out of 984011 for limit 2378.5869533289915 914.51/910.79 c cleaning 246221 clauses out of 492510 for limit 7837.179969939464 918.10/914.39 c cleaning 123386 clauses out of 246791 for limit 25844.638718828974 919.80/916.06 c cleaning 61946 clauses out of 123903 for limit 84723.68267135561 920.20/916.40 c cleaning 31209 clauses out of 62457 for limit 277179.6958481521 920.30/916.52 c cleaning 15854 clauses out of 31748 for limit 899253.3184914825 920.40/916.61 c cleaning 8177 clauses out of 16394 for limit 2871900.4193724026 920.40/916.69 c cleaning 4324 clauses out of 8717 for limit 8907239.888405781 920.50/916.76 c cleaning 2434 clauses out of 4893 for limit 2.616922529126903E7 920.60/916.81 c cleaning 1453 clauses out of 2959 for limit 7.136364163516454E7 920.60/916.86 c cleaning 977 clauses out of 2006 for limit 1.7359888328625938E8 920.70/916.91 c cleaning 730 clauses out of 1529 for limit 3.7560058277136284E8 920.70/916.97 c cleaning 649 clauses out of 1299 for limit 7.290888872483866E8 920.80/917.03 c cleaning 575 clauses out of 1151 for limit 1.3583281622019796E9 920.80/917.08 c cleaning 537 clauses out of 1075 for limit 2.3960337968120923E9 920.90/917.14 c cleaning 498 clauses out of 1038 for limit 4.0922290815082855E9 920.90/917.18 c cleaning 496 clauses out of 1040 for limit 6.735655063242479E9 921.00/917.23 c cleaning 491 clauses out of 1044 for limit 1.1065436906383392E10 921.00/917.29 c cleaning 526 clauses out of 1053 for limit 1.8092416657178173E10 921.11/917.34 c cleaning 513 clauses out of 1027 for limit 3.059217784378105E10 921.11/917.39 c cleaning 464 clauses out of 1014 for limit 5.1097396297506874E10 921.21/917.43 c cleaning 500 clauses out of 1050 for limit 8.137730702144553E10 921.21/917.49 c cleaning 508 clauses out of 1051 for limit 1.3420858444240352E11 921.30/917.55 c cleaning 501 clauses out of 1042 for limit 2.2301633168692267E11 921.40/917.62 c cleaning 520 clauses out of 1041 for limit 3.6813706406880347E11 921.40/917.68 c cleaning 511 clauses out of 1022 for limit 6.190130101703793E11 921.50/917.73 c cleaning 479 clauses out of 1010 for limit 1.0319310356583821E12 921.50/917.79 c cleaning 484 clauses out of 1031 for limit 1.6671292437783433E12 921.60/917.83 c cleaning 493 clauses out of 1047 for limit 2.707304719316833E12 921.60/917.88 c cleaning 526 clauses out of 1054 for limit 4.435055900253752E12 921.70/917.95 c cleaning 513 clauses out of 1029 for limit 7.499196492098361E12 921.80/918.03 c cleaning 486 clauses out of 1019 for limit 1.252608476018073E13 921.80/918.09 c cleaning 487 clauses out of 1029 for limit 2.03747362379433E13 921.90/918.16 c cleaning 521 clauses out of 1043 for limit 3.3182832925228914E13 922.00/918.21 c cleaning 479 clauses out of 1021 for limit 5.584617102196864E13 922.00/918.27 c cleaning 498 clauses out of 1042 for limit 9.024170914486905E13 922.10/918.35 c cleaning 522 clauses out of 1044 for limit 1.4853555366776425E14 922.21/918.42 c cleaning 491 clauses out of 1022 for limit 2.5022800261554588E14 922.21/918.49 c cleaning 511 clauses out of 1031 for limit 4.090571863657567E14 922.31/918.56 c cleaning 511 clauses out of 1022 for limit 6.818937452462176E14 922.40/918.62 c cleaning 502 clauses out of 1009 for limit 1.1367456471378705E15 922.40/918.69 c cleaning 482 clauses out of 1008 for limit 1.8783837945401175E15 922.50/918.74 c cleaning 485 clauses out of 1026 for limit 3.0433604407291275E15 922.60/918.81 c cleaning 508 clauses out of 1041 for limit 4.946589933952335E15 922.60/918.88 c cleaning 504 clauses out of 1032 for limit 8.220501574303679E-5 922.70/918.94 c cleaning 510 clauses out of 1031 for limit 1.361064702296572E-4 922.80/919.00 c cleaning 500 clauses out of 1018 for limit 2.2664284343527663E-4 922.80/919.06 c cleaning 494 clauses out of 1018 for limit 3.737643685619252E-4 922.90/919.12 c cleaning 497 clauses out of 1024 for limit 6.12775799875375E-4 922.90/919.16 c cleaning 491 clauses out of 1027 for limit 0.001007597324388104 923.00/919.22 c cleaning 497 clauses out of 1036 for limit 0.0016472274874373479 923.00/919.29 c cleaning 497 clauses out of 1039 for limit 0.0027086548936830403 923.10/919.34 c cleaning 495 clauses out of 1043 for limit 0.004454257434670735 923.10/919.39 c cleaning 482 clauses out of 1047 for limit 0.007310285114023258 923.20/919.45 c cleaning 513 clauses out of 1066 for limit 0.01185261536999267 923.30/919.51 c cleaning 498 clauses out of 1052 for limit 0.01978686685439052 923.30/919.56 c cleaning 509 clauses out of 1054 for limit 0.032569271715061125 923.40/919.63 c cleaning 466 clauses out of 1047 for limit 0.05417848880352383 923.40/919.67 c cleaning 522 clauses out of 1081 for limit 0.08653738387894103 923.50/919.73 c cleaning 516 clauses out of 1059 for limit 0.14567646111963242 923.50/919.79 c cleaning 501 clauses out of 1041 for limit 0.24390543436322273 923.60/919.84 c cleaning 504 clauses out of 1041 for limit 0.4026353256758819 923.70/919.90 c cleaning 501 clauses out of 1041 for limit 0.6666621669906831 923.70/919.96 c cleaning 499 clauses out of 1040 for limit 1.1004722277385297 923.82/920.00 c cleaning 485 clauses out of 1036 for limit 1.8127420072344513 923.82/920.06 c cleaning 501 clauses out of 1051 for limit 2.9467882215875982 923.92/920.12 c cleaning 502 clauses out of 1050 for limit 4.864276227856005 923.92/920.18 c cleaning 509 clauses out of 1048 for limit 8.037151090185668 924.02/920.25 c cleaning 498 clauses out of 1039 for limit 13.369148730321085 924.12/920.31 c cleaning 495 clauses out of 1041 for limit 22.005156411364926 924.12/920.38 c cleaning 483 clauses out of 1047 for limit 36.1176018759909 924.22/920.44 c cleaning 512 clauses out of 1067 for limit 58.6219945898827 924.32/920.51 c cleaning 509 clauses out of 1051 for limit 97.75525982246396 924.32/920.58 c cleaning 472 clauses out of 1043 for limit 162.6106331244434 924.42/920.64 c cleaning 512 clauses out of 1070 for limit 261.13846485855635 924.42/920.68 c cleaning 496 clauses out of 1058 for limit 435.53678775304974 924.52/920.74 c cleaning 512 clauses out of 1062 for limit 715.5531232600026 924.62/920.80 c cleaning 489 clauses out of 1050 for limit 1193.529028957013 924.62/920.87 c cleaning 503 clauses out of 1061 for limit 1947.8826465762465 924.72/920.92 c cleaning 498 clauses out of 1058 for limit 3221.4277224829057 924.72/920.98 c cleaning 503 clauses out of 1061 for limit 5302.846725030688 924.82/921.04 c cleaning 500 clauses out of 1057 for limit 8769.419507567774 924.92/921.11 c cleaning 510 clauses out of 1058 for limit 14462.73952342572 924.92/921.17 c cleaning 512 clauses out of 1052 for limit 24083.212989069285 925.02/921.23 c cleaning 499 clauses out of 1036 for limit 40168.74385886243 925.02/921.29 c cleaning 485 clauses out of 1036 for limit 66177.38866937695 925.12/921.34 c cleaning 502 clauses out of 1051 for limit 107577.77371963521 925.22/921.41 c cleaning 497 clauses out of 1049 for limit 177748.3865769036 925.22/921.46 c cleaning 503 clauses out of 1052 for limit 292294.9436899099 925.32/921.53 c cleaning 502 clauses out of 1053 for limit 483506.8212689693 925.32/921.59 c cleaning 505 clauses out of 1047 for limit 798733.9324494324 925.42/921.64 c cleaning 506 clauses out of 1042 for limit 1323539.7364367596 925.42/921.69 c cleaning 495 clauses out of 1038 for limit 2195494.030474099 925.52/921.75 c cleaning 520 clauses out of 1041 for limit 3603012.3276966517 925.62/921.81 c cleaning 511 clauses out of 1023 for limit 6058508.958722132 925.62/921.86 c cleaning 505 clauses out of 1011 for limit 1.0099772883182136E7 925.71/921.91 c cleaning 501 clauses out of 1007 for limit 1.6738775767323432E7 925.71/921.97 c cleaning 484 clauses out of 1005 for limit 2.763175538845249E7 925.81/922.03 c cleaning 493 clauses out of 1021 for limit 4.485436185248692E7 925.91/922.11 c cleaning 496 clauses out of 1027 for limit 7.346514769259721E7 925.91/922.18 c cleaning 501 clauses out of 1032 for limit 1.2068755835604292E8 926.01/922.25 c cleaning 500 clauses out of 1030 for limit 1.9921697850851357E8 926.11/922.32 c cleaning 515 clauses out of 1030 for limit 3.28535448331122E8 926.11/922.39 c cleaning 507 clauses out of 1015 for limit 5.498057853532094E8 926.21/922.44 c cleaning 503 clauses out of 1009 for limit 9.130079942437555E8 926.31/922.52 c cleaning 485 clauses out of 1006 for limit 1.5101623990407956E9 926.31/922.57 c cleaning 510 clauses out of 1021 for limit 2.453871283899319E9 926.41/922.62 c cleaning 505 clauses out of 1011 for limit 4.086789339862542E9 926.41/922.67 c cleaning 502 clauses out of 1005 for limit 6.773119233301016E9 926.51/922.74 c cleaning 488 clauses out of 1003 for limit 1.1192052448585003E10 926.51/922.79 c cleaning 470 clauses out of 1015 for limit 1.8238978629465588E10 926.62/922.85 c cleaning 510 clauses out of 1045 for limit 2.9215017667751694E10 926.62/922.90 c cleaning 520 clauses out of 1040 for limit 4.865388791533982E10 926.72/922.94 c cleaning 506 clauses out of 1025 for limit 8.181924545945221E10 926.72/922.99 c cleaning 505 clauses out of 1010 for limit 1.3570731024562012E11 926.81/923.05 c cleaning 486 clauses out of 1004 for limit 2.2491181950383423E11 926.91/923.12 c cleaning 485 clauses out of 1018 for limit 3.6580875956860876E11 926.91/923.19 c cleaning 487 clauses out of 1033 for limit 5.945076457084741E11 927.01/923.25 c cleaning 524 clauses out of 1049 for limit 9.683708324614392E11 927.11/923.30 c cleaning 486 clauses out of 1022 for limit 1.6342505658304958E12 927.11/923.35 c cleaning 519 clauses out of 1039 for limit 2.658969860244318E12 927.21/923.41 c cleaning 508 clauses out of 1017 for limit 4.466428241260913E12 927.21/923.46 c cleaning 481 clauses out of 1010 for limit 7.424211556550749E12 927.31/923.52 c cleaning 514 clauses out of 1028 for limit 1.2017108246376285E13 927.31/923.58 c cleaning 503 clauses out of 1014 for limit 2.009143792264827E13 927.41/923.63 c cleaning 473 clauses out of 1011 for limit 3.3231787817795137E13 927.41/923.69 c cleaning 496 clauses out of 1040 for limit 5.338219570360456E13 927.51/923.76 c cleaning 498 clauses out of 1042 for limit 8.76897671602722E13 927.61/923.83 c cleaning 500 clauses out of 1044 for limit 1.4433512219098866E14 927.61/923.90 c cleaning 488 clauses out of 1044 for limit 2.3802792530013856E14 927.72/923.95 c cleaning 504 clauses out of 1056 for limit 3.880792110394259E14 927.82/924.02 c cleaning 498 clauses out of 1055 for limit 6.425268187215735E14 927.82/924.08 c cleaning 527 clauses out of 1054 for limit 1.0574393316737076E15 927.91/924.15 c cleaning 514 clauses out of 1028 for limit 1.7897540549236575E15 928.01/924.22 c cleaning 483 clauses out of 1013 for limit 2.9922536097981485E15 928.01/924.29 c cleaning 515 clauses out of 1030 for limit 4.853181207351026E15 928.11/924.35 c cleaning 503 clauses out of 1015 for limit 8.121824048891534E-5 928.21/924.41 c cleaning 503 clauses out of 1012 for limit 1.3433679832437623E-4 928.21/924.48 c cleaning 500 clauses out of 1009 for limit 2.2219804153871615E-4 928.31/924.53 c cleaning 495 clauses out of 1010 for limit 3.664379273135633E-4 928.31/924.58 c cleaning 493 clauses out of 1015 for limit 6.013282906031992E-4 928.41/924.63 c cleaning 484 clauses out of 1021 for limit 9.848573080692995E-4 928.41/924.69 c cleaning 503 clauses out of 1038 for limit 0.0015991606668034793 928.51/924.74 c cleaning 503 clauses out of 1035 for limit 0.0026448740160004624 928.51/924.79 c cleaning 501 clauses out of 1033 for limit 0.004374570470766959 928.61/924.84 c cleaning 488 clauses out of 1030 for limit 0.0072208010167564675 928.71/924.90 c cleaning 497 clauses out of 1042 for limit 0.011770929811758766 928.71/924.96 c cleaning 499 clauses out of 1045 for limit 0.01935611018196874 928.82/925.01 c cleaning 487 clauses out of 1046 for limit 0.0318902980725118 928.82/925.07 c cleaning 508 clauses out of 1059 for limit 0.05194577020290029 928.92/925.12 c cleaning 490 clauses out of 1051 for limit 0.08631759293612999 928.92/925.17 c cleaning 500 clauses out of 1061 for limit 0.14100760629257036 929.01/925.21 c cleaning 506 clauses out of 1062 for limit 0.23255399583120057 929.01/925.26 c cleaning 501 clauses out of 1057 for limit 0.3857125184981247 929.11/925.33 c cleaning 502 clauses out of 1054 for limit 0.636626883740439 929.11/925.39 c cleaning 496 clauses out of 1053 for limit 1.0519318693670647 929.21/925.46 c cleaning 494 clauses out of 1056 for limit 1.7281181874969964 929.31/925.52 c cleaning 492 clauses out of 1062 for limit 2.8337969556315454 929.31/925.56 c cleaning 499 clauses out of 1070 for limit 4.638369640815203 929.41/925.63 c cleaning 504 clauses out of 1071 for limit 7.642149851570485 929.41/925.69 c cleaning 510 clauses out of 1067 for limit 12.650173667266191 929.51/925.75 c cleaning 504 clauses out of 1057 for limit 21.05919698138707 929.61/925.80 c cleaning 502 clauses out of 1053 for limit 34.861358742962615 929.61/925.86 c cleaning 498 clauses out of 1051 for limit 57.60044679429551 929.71/925.93 c cleaning 495 clauses out of 1053 for limit 94.8104229599285 929.71/925.98 c cleaning 502 clauses out of 1058 for limit 155.61615286760411 929.81/926.04 c cleaning 486 clauses out of 1056 for limit 257.1178992132583 929.81/926.10 c cleaning 499 clauses out of 1070 for limit 418.4738634722908 929.92/926.17 c cleaning 513 clauses out of 1072 for limit 689.5213685033309 930.02/926.23 c cleaning 503 clauses out of 1058 for limit 1151.0076829562333 930.02/926.28 c cleaning 506 clauses out of 1059 for limit 1903.9777296485033 930.11/926.34 c cleaning 498 clauses out of 1052 for limit 3157.6461426082296 930.21/926.41 c cleaning 492 clauses out of 1051 for limit 5196.714228127503 930.21/926.47 c cleaning 502 clauses out of 1060 for limit 8505.817979723945 930.31/926.52 c cleaning 497 clauses out of 1057 for limit 14052.977081445544 930.31/926.59 c cleaning 501 clauses out of 1061 for limit 23110.978852799428 930.41/926.64 c cleaning 504 clauses out of 1065 for limit 38160.368703068314 930.51/926.70 c cleaning 501 clauses out of 1056 for limit 63151.19599453792 930.51/926.75 c cleaning 495 clauses out of 1055 for limit 104243.48583303887 930.61/926.83 c cleaning 518 clauses out of 1060 for limit 171100.5504997845 930.71/926.90 c cleaning 504 clauses out of 1043 for limit 287053.8410203675 930.71/926.97 c cleaning 479 clauses out of 1037 for limit 475177.401159497 930.81/927.03 c cleaning 502 clauses out of 1058 for limit 768076.9880944567 930.81/927.09 c cleaning 515 clauses out of 1059 for limit 1269269.614912649 930.91/927.16 c cleaning 501 clauses out of 1041 for limit 2123007.19426854 931.02/927.21 c cleaning 521 clauses out of 1042 for limit 3504768.904451796 931.02/927.27 c cleaning 509 clauses out of 1019 for limit 5898475.575064063 931.12/927.32 c cleaning 502 clauses out of 1010 for limit 9814054.889171366 931.12/927.36 c cleaning 488 clauses out of 1009 for limit 1.6216946686178869E7 931.21/927.43 c cleaning 492 clauses out of 1020 for limit 2.642904428528531E7 931.21/927.48 c cleaning 496 clauses out of 1028 for limit 4.324584653068077E7 931.31/927.56 c cleaning 500 clauses out of 1035 for limit 7.104877428146037E7 931.41/927.64 c cleaning 516 clauses out of 1032 for limit 1.1715736467844667E8 931.51/927.70 c cleaning 508 clauses out of 1016 for limit 1.962508156919047E8 931.51/927.76 c cleaning 503 clauses out of 1008 for limit 3.262124510168829E8 931.61/927.81 c cleaning 479 clauses out of 1005 for limit 5.395738461900207E8 931.61/927.89 c cleaning 501 clauses out of 1026 for limit 8.716165716777881E8 931.71/927.97 c cleaning 494 clauses out of 1025 for limit 1.4388146829676962E9 931.81/928.02 c cleaning 514 clauses out of 1033 for limit 2.359137833987403E9 931.81/928.08 c cleaning 509 clauses out of 1019 for limit 3.943985776608713E9 931.91/928.14 c cleaning 504 clauses out of 1008 for limit 6.561994399824242E9 932.01/928.20 c cleaning 475 clauses out of 1004 for limit 1.086472058378623E10 932.01/928.25 c cleaning 494 clauses out of 1032 for limit 1.7483645800241276E10 932.12/928.31 c cleaning 486 clauses out of 1035 for limit 2.866313563343125E10 932.12/928.37 c cleaning 496 clauses out of 1049 for limit 4.663848639208181E10 932.22/928.43 c cleaning 501 clauses out of 1053 for limit 7.66209357119324E10 932.22/928.49 c cleaning 526 clauses out of 1052 for limit 1.2647828548626906E11 932.31/928.54 c cleaning 512 clauses out of 1027 for limit 2.1387088411790308E11 932.31/928.59 c cleaning 486 clauses out of 1014 for limit 3.5686629218415515E11 932.41/928.65 c cleaning 498 clauses out of 1028 for limit 5.80505389223294E11 932.51/928.72 c cleaning 513 clauses out of 1030 for limit 9.554721502169288E11 932.51/928.78 c cleaning 508 clauses out of 1017 for limit 1.5958431055847822E12 932.61/928.84 c cleaning 486 clauses out of 1009 for limit 2.652625042870751E12 932.71/928.91 c cleaning 510 clauses out of 1023 for limit 4.3146670181242285E12 932.71/928.96 c cleaning 492 clauses out of 1013 for limit 7.185704610507735E12 932.81/929.02 c cleaning 495 clauses out of 1021 for limit 1.175733656762991E13 932.81/929.08 c cleaning 498 clauses out of 1026 for limit 1.9294930513258977E13 932.91/929.13 c cleaning 514 clauses out of 1028 for limit 3.1758015183641773E13 933.01/929.20 c cleaning 483 clauses out of 1014 for limit 5.309631714443988E13 933.01/929.27 c cleaning 510 clauses out of 1031 for limit 8.611911841938038E13 933.11/929.31 c cleaning 469 clauses out of 1021 for limit 1.4341295537970716E14 933.11/929.37 c cleaning 525 clauses out of 1052 for limit 2.2953783173877438E14 933.22/929.42 c cleaning 490 clauses out of 1027 for limit 3.877532602921772E14 933.22/929.47 c cleaning 517 clauses out of 1037 for limit 6.332905862062639E14 933.32/929.52 c cleaning 509 clauses out of 1021 for limit 1.0618091058079754E15 933.32/929.58 c cleaning 505 clauses out of 1011 for limit 1.7666170075399418E15 933.41/929.63 c cleaning 495 clauses out of 1006 for limit 2.927867837773323E-5 933.41/929.69 c cleaning 503 clauses out of 1016 for limit 4.804898165190024E-5 933.51/929.74 c cleaning 489 clauses out of 1008 for limit 7.946953862727098E-5 933.51/929.79 c cleaning 503 clauses out of 1020 for limit 1.2964371002823936E-4 933.62/929.85 c cleaning 500 clauses out of 1019 for limit 2.1443829678436361E-4 933.62/929.89 c cleaning 490 clauses out of 1016 for limit 3.5361866223411676E-4 933.72/929.94 c cleaning 485 clauses out of 1026 for limit 5.774806159521127E-4 933.72/929.99 c cleaning 491 clauses out of 1042 for limit 9.386581420301102E-4 933.82/930.03 c cleaning 491 clauses out of 1050 for limit 0.0015346425900393044 933.82/930.08 c cleaning 508 clauses out of 1059 for limit 0.0025093224536136987 933.92/930.14 c cleaning 493 clauses out of 1053 for limit 0.004170124030238041 933.92/930.19 c cleaning 510 clauses out of 1058 for limit 0.006830909619100022 934.02/930.24 c cleaning 504 clauses out of 1053 for limit 0.01137533725757544 934.12/930.30 c cleaning 496 clauses out of 1045 for limit 0.018827567018757162 934.12/930.36 c cleaning 496 clauses out of 1048 for limit 0.030929335194224222 934.22/930.41 c cleaning 492 clauses out of 1052 for limit 0.050812669899546185 934.22/930.47 c cleaning 501 clauses out of 1060 for limit 0.08316446090125124 934.33/930.52 c cleaning 493 clauses out of 1059 for limit 0.13727882989879192 934.33/930.58 c cleaning 504 clauses out of 1066 for limit 0.22490453424133228 934.43/930.63 c cleaning 497 clauses out of 1063 for limit 0.3723167287592833 934.43/930.68 c cleaning 489 clauses out of 1065 for limit 0.6122341945048668 934.52/930.73 c cleaning 492 clauses out of 1076 for limit 0.9993343269622704 934.52/930.78 c cleaning 502 clauses out of 1085 for limit 1.6360016507176482 934.62/930.83 c cleaning 495 clauses out of 1083 for limit 2.7029680119337516 934.72/930.90 c cleaning 521 clauses out of 1088 for limit 4.4370707570557 934.72/930.95 c cleaning 509 clauses out of 1066 for limit 7.460869097734786 934.82/931.00 c cleaning 501 clauses out of 1059 for limit 12.410108412168883 934.82/931.05 c cleaning 493 clauses out of 1056 for limit 20.483043192372968 934.92/931.10 c cleaning 500 clauses out of 1063 for limit 33.55683724076561 934.92/931.16 c cleaning 496 clauses out of 1063 for limit 55.33971376339434 935.02/931.21 c cleaning 498 clauses out of 1067 for limit 90.9204634081952 935.02/931.27 c cleaning 522 clauses out of 1069 for limit 149.65948341440824 935.12/931.32 c cleaning 504 clauses out of 1047 for limit 251.99455241191117 935.12/931.38 c cleaning 502 clauses out of 1043 for limit 417.16648741960415 935.22/931.43 c cleaning 490 clauses out of 1041 for limit 689.2850808228742 935.22/931.49 c cleaning 514 clauses out of 1054 for limit 1126.0778591853416 935.32/931.54 c cleaning 499 clauses out of 1040 for limit 1882.0518246370846 935.32/931.60 c cleaning 482 clauses out of 1038 for limit 3100.4156153934046 935.43/931.65 c cleaning 504 clauses out of 1056 for limit 5025.8467048967195 935.53/931.70 c cleaning 495 clauses out of 1052 for limit 8319.807986308699 935.53/931.76 c cleaning 502 clauses out of 1057 for limit 13655.573457749322 935.62/931.80 c cleaning 492 clauses out of 1055 for limit 22562.559133595583 935.62/931.86 c cleaning 493 clauses out of 1063 for limit 36928.65069347566 935.72/931.92 c cleaning 519 clauses out of 1070 for limit 60501.8721391682 935.72/931.98 c cleaning 508 clauses out of 1051 for limit 101579.42780195903 935.82/932.04 c cleaning 497 clauses out of 1043 for limit 168802.95957676915 935.82/932.08 c cleaning 505 clauses out of 1046 for limit 277580.25323243765 935.92/932.14 c cleaning 499 clauses out of 1044 for limit 460022.60803999193 935.92/932.18 c cleaning 500 clauses out of 1044 for limit 757880.1825600608 936.02/932.24 c cleaning 496 clauses out of 1042 for limit 1249741.50748634 936.02/932.29 c cleaning 499 clauses out of 1046 for limit 2053109.5147898658 936.12/932.34 c cleaning 502 clauses out of 1051 for limit 3383257.2276389142 936.12/932.38 c cleaning 522 clauses out of 1045 for limit 5589066.587299576 936.22/932.44 c cleaning 512 clauses out of 1024 for limit 9415556.989271192 936.22/932.49 c cleaning 506 clauses out of 1012 for limit 1.5711633774279581E7 936.32/932.54 c cleaning 502 clauses out of 1005 for limit 2.6064966643842805E7 936.32/932.59 c cleaning 501 clauses out of 1003 for limit 4.307032900206766E7 936.42/932.64 c cleaning 501 clauses out of 1002 for limit 7.109962133038902E7 936.42/932.70 c cleaning 482 clauses out of 1001 for limit 1.1736992276244435E8 936.52/932.75 c cleaning 509 clauses out of 1019 for limit 1.901396102126891E8 936.52/932.80 c cleaning 478 clauses out of 1010 for limit 3.163598030517768E8 936.62/932.85 c cleaning 484 clauses out of 1032 for limit 5.105977068416288E8 936.72/932.90 c cleaning 510 clauses out of 1049 for limit 8.292270637891344E8 936.72/932.95 c cleaning 519 clauses out of 1038 for limit 1.380616240537751E9 936.82/933.01 c cleaning 507 clauses out of 1019 for limit 2.3192738660235806E9 936.82/933.06 c cleaning 506 clauses out of 1012 for limit 3.8512489491575074E9 936.92/933.11 c cleaning 477 clauses out of 1009 for limit 6.389257058519104E9 936.92/933.15 c cleaning 476 clauses out of 1029 for limit 1.0300979065985218E10 937.02/933.20 c cleaning 501 clauses out of 1053 for limit 1.6600508645032137E10 937.02/933.25 c cleaning 506 clauses out of 1052 for limit 2.740248278247887E10 937.12/933.30 c cleaning 523 clauses out of 1047 for limit 4.545162035398064E10 937.12/933.35 c cleaning 511 clauses out of 1023 for limit 7.663758197373894E10 937.22/933.40 c cleaning 506 clauses out of 1012 for limit 1.277593818611957E11 937.22/933.45 c cleaning 503 clauses out of 1006 for limit 2.1194892622051898E11 937.32/933.52 c cleaning 501 clauses out of 1004 for limit 3.505789914993271E11 937.32/933.58 c cleaning 486 clauses out of 1003 for limit 5.787280789902378E11 937.42/933.64 c cleaning 493 clauses out of 1016 for limit 9.412460235810535E11 937.52/933.71 c cleaning 488 clauses out of 1023 for limit 1.5416192182735479E12 937.52/933.75 c cleaning 491 clauses out of 1035 for limit 2.5128599618732925E12 937.52/933.80 c cleaning 521 clauses out of 1044 for limit 4.1083177394384614E12 937.62/933.85 c cleaning 511 clauses out of 1023 for limit 6.914245198036553E12 937.62/933.90 c cleaning 481 clauses out of 1015 for limit 1.1526933575985588E13 937.72/933.95 c cleaning 515 clauses out of 1031 for limit 1.8658362189654445E13 937.82/934.00 c cleaning 508 clauses out of 1016 for limit 3.122441881570133E13 937.82/934.06 c cleaning 484 clauses out of 1009 for limit 5.190238370698803E13 937.92/934.12 c cleaning 512 clauses out of 1024 for limit 8.425581597324458E13 937.92/934.16 c cleaning 480 clauses out of 1013 for limit 1.4059853611878017E14 938.02/934.22 c cleaning 495 clauses out of 1032 for limit 2.2736935104664422E14 938.02/934.27 c cleaning 492 clauses out of 1037 for limit 3.731545574360958E14 938.12/934.33 c cleaning 495 clauses out of 1049 for limit 6.107816100255001E14 938.12/934.39 c cleaning 524 clauses out of 1050 for limit 1.0022821166712509E15 938.22/934.45 c cleaning 513 clauses out of 1026 for limit 1.6915615574642305E15 938.32/934.52 c cleaning 485 clauses out of 1014 for limit 2.825449902712693E15 938.32/934.57 c cleaning 503 clauses out of 1029 for limit 4.591621476870585E15 938.42/934.62 c cleaning 498 clauses out of 1026 for limit 7.594339001524888E15 938.42/934.68 c cleaning 494 clauses out of 1027 for limit 1.2499374259060554E-4 938.52/934.73 c cleaning 501 clauses out of 1033 for limit 2.0493412466003594E-4 938.52/934.78 c cleaning 506 clauses out of 1032 for limit 3.382912714509964E-4 938.62/934.83 c cleaning 477 clauses out of 1026 for limit 5.611500627843545E-4 938.62/934.88 c cleaning 504 clauses out of 1051 for limit 9.052083911530715E-4 938.72/934.93 c cleaning 511 clauses out of 1045 for limit 0.0014983796295896937 938.72/934.98 c cleaning 507 clauses out of 1036 for limit 0.0024974873995913167 938.82/935.04 c cleaning 500 clauses out of 1027 for limit 0.004146479103457215 938.82/935.09 c cleaning 490 clauses out of 1027 for limit 0.006838098747651319 938.92/935.15 c cleaning 503 clauses out of 1037 for limit 0.01116819381782457 939.02/935.20 c cleaning 503 clauses out of 1034 for limit 0.018471282349367287 939.02/935.25 c cleaning 494 clauses out of 1031 for limit 0.030550252734960533 939.12/935.31 c cleaning 494 clauses out of 1037 for limit 0.05008995059241223 939.12/935.37 c cleaning 497 clauses out of 1043 for limit 0.08212983272281485 939.22/935.42 c cleaning 516 clauses out of 1050 for limit 0.13507963602355452 939.22/935.49 c cleaning 506 clauses out of 1030 for limit 0.22618291455861933 939.32/935.54 c cleaning 497 clauses out of 1025 for limit 0.3752006258410767 939.32/935.59 c cleaning 494 clauses out of 1028 for limit 0.6169503172081765 939.42/935.64 c cleaning 496 clauses out of 1033 for limit 1.011496443820792 939.52/935.70 c cleaning 508 clauses out of 1037 for limit 1.6616586488246519 939.52/935.75 c cleaning 497 clauses out of 1029 for limit 2.761601951992405 939.62/935.81 c cleaning 505 clauses out of 1032 for limit 4.541011957418395 939.62/935.87 c cleaning 496 clauses out of 1027 for limit 7.525195483939689 939.72/935.92 c cleaning 501 clauses out of 1031 for limit 12.361906416256577 939.72/935.98 c cleaning 493 clauses out of 1031 for limit 20.406844270931693 939.82/936.02 c cleaning 498 clauses out of 1044 for limit 33.43466488000821 939.82/936.08 c cleaning 503 clauses out of 1044 for limit 55.02801386442147 939.92/936.12 c cleaning 503 clauses out of 1036 for limit 90.9929844235188 939.92/936.17 c cleaning 495 clauses out of 1033 for limit 150.49540163313492 940.02/936.23 c cleaning 498 clauses out of 1039 for limit 247.0008245632845 940.02/936.28 c cleaning 491 clauses out of 1040 for limit 406.53878657200033 940.12/936.33 c cleaning 505 clauses out of 1049 for limit 664.6847651447272 940.12/936.38 c cleaning 500 clauses out of 1044 for limit 1101.4038778219062 940.22/936.43 c cleaning 489 clauses out of 1044 for limit 1816.36233770302 940.22/936.48 c cleaning 496 clauses out of 1055 for limit 2964.192569432828 940.32/936.53 c cleaning 502 clauses out of 1060 for limit 4870.161996439143 940.32/936.58 c cleaning 507 clauses out of 1057 for limit 8046.289619885286 940.42/936.63 c cleaning 498 clauses out of 1055 for limit 13361.23597343426 940.42/936.68 c cleaning 506 clauses out of 1052 for limit 21987.035727488626 940.52/936.73 c cleaning 494 clauses out of 1046 for limit 36467.55313441935 940.52/936.78 c cleaning 491 clauses out of 1052 for limit 59796.87057892053 940.62/936.83 c cleaning 509 clauses out of 1066 for limit 97805.98633752551 940.62/936.87 c cleaning 500 clauses out of 1052 for limit 162626.0936376164 940.72/936.95 c cleaning 507 clauses out of 1052 for limit 268192.18413801066 940.82/937.01 c cleaning 508 clauses out of 1046 for limit 445267.0632575191 940.82/937.06 c cleaning 507 clauses out of 1038 for limit 739964.3371493921 940.92/937.12 c cleaning 494 clauses out of 1030 for limit 1228548.464045883 940.92/937.17 c cleaning 500 clauses out of 1036 for limit 2014306.9426345031 941.02/937.22 c cleaning 494 clauses out of 1036 for limit 3321861.6175660854 941.02/937.29 c cleaning 521 clauses out of 1042 for limit 5446649.893659773 941.12/937.36 c cleaning 506 clauses out of 1022 for limit 9167199.484844914 941.22/937.41 c cleaning 487 clauses out of 1015 for limit 1.5206977760117857E7 941.22/937.47 c cleaning 492 clauses out of 1030 for limit 2.4762622608532254E7 941.32/937.54 c cleaning 504 clauses out of 1036 for limit 4.051921021374678E7 941.42/937.60 c cleaning 516 clauses out of 1033 for limit 6.708274173576158E7 941.42/937.66 c cleaning 507 clauses out of 1016 for limit 1.1236700181349438E8 941.52/937.73 c cleaning 504 clauses out of 1009 for limit 1.865938054210927E8 941.62/937.83 c cleaning 481 clauses out of 1005 for limit 3.0894289605670696E8 941.72/937.92 c cleaning 503 clauses out of 1024 for limit 5.0003477154777443E8 941.72/937.99 c cleaning 466 clauses out of 1021 for limit 8.270472216444068E8 941.82/938.04 c cleaning 523 clauses out of 1055 for limit 1.3199560668968563E9 941.92/938.11 c cleaning 499 clauses out of 1032 for limit 2.225297734781584E9 941.92/938.16 c cleaning 517 clauses out of 1035 for limit 3.6665058638391385E9 942.02/938.21 c cleaning 499 clauses out of 1017 for limit 6.147423825895233E9 942.02/938.26 c cleaning 509 clauses out of 1019 for limit 1.0128154640655241E10 942.12/938.31 c cleaning 480 clauses out of 1008 for limit 1.6851200231680548E10 942.12/938.36 c cleaning 491 clauses out of 1029 for limit 2.724999300879027E10 942.22/938.40 c cleaning 508 clauses out of 1037 for limit 4.454760793847308E10 942.22/938.45 c cleaning 515 clauses out of 1031 for limit 7.404050810717145E10 942.22/938.50 c cleaning 507 clauses out of 1014 for limit 1.2390161413520189E11 942.32/938.54 c cleaning 497 clauses out of 1007 for limit 2.0575070674074307E11 942.32/938.59 c cleaning 486 clauses out of 1010 for limit 3.3830258745976416E11 942.42/938.65 c cleaning 497 clauses out of 1024 for limit 5.502785998749349E11 942.52/938.70 c cleaning 513 clauses out of 1027 for limit 9.048321507063119E11 942.52/938.75 c cleaning 507 clauses out of 1015 for limit 1.5113422515024084E12 942.62/938.80 c cleaning 503 clauses out of 1007 for limit 2.509693990252223E12 942.62/938.86 c cleaning 470 clauses out of 1006 for limit 4.151233583026658E12 942.72/938.91 c cleaning 502 clauses out of 1038 for limit 6.648179071840574E12 942.72/938.97 c cleaning 500 clauses out of 1032 for limit 1.0983435525479209E13 942.82/939.02 c cleaning 497 clauses out of 1032 for limit 1.8113154519232293E13 942.82/939.08 c cleaning 518 clauses out of 1037 for limit 2.9786532105690434E13 942.92/939.13 c cleaning 485 clauses out of 1017 for limit 4.998786754569494E13 942.92/939.18 c cleaning 516 clauses out of 1032 for limit 8.123847326978069E13 943.02/939.23 c cleaning 508 clauses out of 1016 for limit 1.3608292307118156E14 943.02/939.28 c cleaning 501 clauses out of 1009 for limit 2.262020673914777E14 943.12/939.34 c cleaning 493 clauses out of 1009 for limit 3.734108807805167E14 943.12/939.40 c cleaning 492 clauses out of 1014 for limit 6.11543061895204E14 943.22/939.45 c cleaning 511 clauses out of 1022 for limit 1.00062186723093E15 943.32/939.50 c cleaning 505 clauses out of 1011 for limit 1.6681135755680592E15 943.32/939.55 c cleaning 504 clauses out of 1009 for limit 2.7646810036844855E15 943.42/939.61 c cleaning 501 clauses out of 1003 for limit 4.577434358643805E15 943.42/939.67 c cleaning 496 clauses out of 1001 for limit 7.556320252190812E-5 943.52/939.72 c cleaning 490 clauses out of 1009 for limit 1.2412155313183196E-4 943.52/939.77 c cleaning 489 clauses out of 1015 for limit 2.0267032558010715E-4 943.62/939.82 c cleaning 503 clauses out of 1026 for limit 3.306471119173263E-4 943.62/939.89 c cleaning 505 clauses out of 1023 for limit 5.468803861876291E-4 943.72/939.94 c cleaning 488 clauses out of 1021 for limit 9.063619428376299E-4 943.72/939.99 c cleaning 498 clauses out of 1030 for limit 0.00147721099251442 943.82/940.04 c cleaning 499 clauses out of 1032 for limit 0.002431397384437555 943.92/940.10 c cleaning 509 clauses out of 1034 for limit 0.004005949798126075 943.92/940.15 c cleaning 497 clauses out of 1024 for limit 0.006664191369881825 944.02/940.20 c cleaning 506 clauses out of 1033 for limit 0.010959987343120207 944.02/940.27 c cleaning 488 clauses out of 1021 for limit 0.018177470496080265 944.12/940.33 c cleaning 497 clauses out of 1033 for limit 0.029628847317377548 944.12/940.39 c cleaning 494 clauses out of 1036 for limit 0.048720440818941765 944.22/940.45 c cleaning 500 clauses out of 1042 for limit 0.07988387667996122 944.22/940.50 c cleaning 496 clauses out of 1042 for limit 0.1317391993190859 944.32/940.56 c cleaning 500 clauses out of 1046 for limit 0.21642475821806734 944.42/940.61 c cleaning 498 clauses out of 1047 for limit 0.3569294170252377 944.42/940.67 c cleaning 508 clauses out of 1048 for limit 0.5874746306808 944.52/940.71 c cleaning 499 clauses out of 1040 for limit 0.9762767512268579 944.52/940.76 c cleaning 506 clauses out of 1041 for limit 1.608464366387972 944.62/940.82 c cleaning 485 clauses out of 1035 for limit 2.6679501509866737 944.62/940.87 c cleaning 503 clauses out of 1051 for limit 4.337162991580078 944.72/940.93 c cleaning 509 clauses out of 1050 for limit 7.173714206898132 944.72/940.99 c cleaning 494 clauses out of 1038 for limit 11.93131654909478 944.82/941.05 c cleaning 501 clauses out of 1046 for limit 19.56495924785904 944.92/941.12 c cleaning 502 clauses out of 1045 for limit 32.29611097625448 944.92/941.18 c cleaning 505 clauses out of 1041 for limit 53.35838215300019 945.02/941.22 c cleaning 493 clauses out of 1036 for limit 88.41979715285734 945.02/941.28 c cleaning 497 clauses out of 1044 for limit 144.84355309455395 945.12/941.34 c cleaning 504 clauses out of 1047 for limit 238.18196494304294 945.22/941.43 c cleaning 509 clauses out of 1042 for limit 394.2840525678276 945.22/941.49 c cleaning 495 clauses out of 1033 for limit 655.8922452292361 945.32/941.54 c cleaning 503 clauses out of 1039 for limit 1076.4842223632156 945.32/941.59 c cleaning 504 clauses out of 1035 for limit 1780.3452980373509 945.42/941.64 c cleaning 492 clauses out of 1031 for limit 2947.4185563864253 945.52/941.72 c cleaning 509 clauses out of 1040 for limit 4823.447303574659 945.52/941.79 c cleaning 501 clauses out of 1030 for limit 8023.7063858990505 945.62/941.85 c cleaning 492 clauses out of 1029 for limit 13245.024469641983 945.72/941.92 c cleaning 495 clauses out of 1037 for limit 21674.309486999126 945.72/941.98 c cleaning 498 clauses out of 1042 for limit 35572.3203540483 945.82/942.04 c cleaning 503 clauses out of 1044 for limit 58551.13283097724 945.92/942.11 c cleaning 482 clauses out of 1041 for limit 96836.9178740821 945.92/942.17 c cleaning 519 clauses out of 1059 for limit 156982.63503783883 946.02/942.22 c cleaning 504 clauses out of 1040 for limit 263615.00243170175 946.02/942.28 c cleaning 498 clauses out of 1038 for limit 436446.50375342084 946.12/942.33 c cleaning 510 clauses out of 1038 for limit 718319.8738738375 946.12/942.38 c cleaning 494 clauses out of 1028 for limit 1196128.9675899534 946.22/942.43 c cleaning 483 clauses out of 1034 for limit 1961130.3964656335 946.22/942.48 c cleaning 505 clauses out of 1051 for limit 3181853.507128473 946.32/942.54 c cleaning 523 clauses out of 1046 for limit 5272384.799995932 946.32/942.59 c cleaning 497 clauses out of 1023 for limit 8890353.64992652 946.42/942.64 c cleaning 493 clauses out of 1026 for limit 1.4618512959491512E7 946.42/942.69 c cleaning 516 clauses out of 1033 for limit 2.3944519332889087E7 946.52/942.74 c cleaning 507 clauses out of 1017 for limit 4.010895795073368E7 946.52/942.80 c cleaning 505 clauses out of 1010 for limit 6.66034682930281E7 946.62/942.85 c cleaning 492 clauses out of 1006 for limit 1.1038514614063555E8 946.72/942.90 c cleaning 506 clauses out of 1013 for limit 1.806011650272064E8 946.72/942.96 c cleaning 501 clauses out of 1008 for limit 2.996124525132801E8 946.82/943.01 c cleaning 500 clauses out of 1006 for limit 4.945882404895664E8 946.82/943.06 c cleaning 503 clauses out of 1006 for limit 8.156421733983723E8 946.92/943.12 c cleaning 472 clauses out of 1003 for limit 1.3491262980491352E9 946.92/943.17 c cleaning 517 clauses out of 1034 for limit 2.1646736195394907E9 947.02/943.23 c cleaning 484 clauses out of 1016 for limit 3.6294484347384324E9 947.02/943.28 c cleaning 493 clauses out of 1030 for limit 5.892288154231903E9 947.12/943.34 c cleaning 519 clauses out of 1039 for limit 9.652294518273563E9 947.22/943.40 c cleaning 509 clauses out of 1018 for limit 1.6213814424526043E10 947.22/943.49 c cleaning 503 clauses out of 1009 for limit 2.697725125262178E10 947.32/943.55 c cleaning 503 clauses out of 1006 for limit 4.4621767528914734E10 947.42/943.61 c cleaning 491 clauses out of 1003 for limit 7.3807365536126E10 947.42/943.67 c cleaning 469 clauses out of 1012 for limit 1.2063574525732156E11 947.52/943.72 c cleaning 494 clauses out of 1043 for limit 1.9303146316211334E11 947.52/943.77 c cleaning 486 clauses out of 1049 for limit 3.165139164930911E11 947.62/943.83 c cleaning 497 clauses out of 1064 for limit 5.151302679739082E11 947.72/943.93 c cleaning 534 clauses out of 1068 for limit 8.471841909038759E11 947.82/944.00 c cleaning 480 clauses out of 1032 for limit 1.442966543763739E12 947.82/944.09 c cleaning 498 clauses out of 1052 for limit 2.334404470560776E12 947.92/944.15 c cleaning 515 clauses out of 1057 for limit 3.843052178690478E12 948.02/944.21 c cleaning 507 clauses out of 1040 for limit 6.428428125920994E12 948.02/944.28 c cleaning 516 clauses out of 1033 for limit 1.0673176648352045E13 948.12/944.36 c cleaning 476 clauses out of 1016 for limit 1.7878113338378523E13 948.22/944.43 c cleaning 499 clauses out of 1040 for limit 2.880301441882573E13 948.22/944.49 c cleaning 478 clauses out of 1041 for limit 4.7454394749255734E13 948.32/944.54 c cleaning 531 clauses out of 1063 for limit 7.663899316390202E13 948.42/944.61 c cleaning 516 clauses out of 1033 for limit 1.3018865264468748E14 948.42/944.67 c cleaning 507 clauses out of 1017 for limit 2.180762587877932E14 948.52/944.74 c cleaning 455 clauses out of 1009 for limit 3.6212586860722806E14 948.52/944.80 c cleaning 490 clauses out of 1055 for limit 5.717269380093891E14 948.62/944.86 c cleaning 510 clauses out of 1064 for limit 9.339440555730411E14 948.72/944.92 c cleaning 529 clauses out of 1058 for limit 1.5551445280392545E15 948.72/944.98 c cleaning 492 clauses out of 1025 for limit 2.636637343353946E15 948.81/945.04 c cleaning 514 clauses out of 1033 for limit 4.314493605788559E15 948.81/945.09 c cleaning 482 clauses out of 1019 for limit 7.212932270997678E15 948.91/945.16 c cleaning 509 clauses out of 1038 for limit 1.1689046424383203E-4 949.01/945.22 c cleaning 503 clauses out of 1029 for limit 1.9445403046985222E-4 949.11/945.30 c cleaning 481 clauses out of 1026 for limit 3.2161837273384853E-4 949.11/945.37 c cleaning 517 clauses out of 1044 for limit 5.207257900755294E-4 949.21/945.43 c cleaning 485 clauses out of 1027 for limit 8.729613776172997E-4 949.21/945.48 c cleaning 500 clauses out of 1042 for limit 0.0014189060527090374 949.31/945.53 c cleaning 497 clauses out of 1042 for limit 0.0023399658987729617 949.41/945.60 c cleaning 486 clauses out of 1045 for limit 0.003847838572060218 949.41/945.66 c cleaning 487 clauses out of 1059 for limit 0.006261711600718068 949.51/945.72 c cleaning 501 clauses out of 1073 for limit 0.010201867956168217 949.51/945.77 c cleaning 509 clauses out of 1071 for limit 0.016838807202874007 949.61/945.82 c cleaning 491 clauses out of 1062 for limit 0.028004780018737 949.61/945.86 c cleaning 519 clauses out of 1071 for limit 0.045795530943482154 949.72/945.92 c cleaning 515 clauses out of 1052 for limit 0.07688696471980114 949.72/945.97 c cleaning 496 clauses out of 1038 for limit 0.12863569628113705 949.82/946.03 c cleaning 502 clauses out of 1041 for limit 0.21131459843779163 949.82/946.09 c cleaning 499 clauses out of 1039 for limit 0.34915685246057054 949.91/946.14 c cleaning 495 clauses out of 1041 for limit 0.5752753782403773 949.91/946.19 c cleaning 505 clauses out of 1045 for limit 0.9441295722875911 950.01/946.26 c cleaning 509 clauses out of 1041 for limit 1.5645432047427945 950.11/946.33 c cleaning 494 clauses out of 1031 for limit 2.6025614951523175 950.11/946.39 c cleaning 495 clauses out of 1037 for limit 4.267139058941814 950.21/946.46 c cleaning 503 clauses out of 1043 for limit 7.003604978527684 950.31/946.52 c cleaning 504 clauses out of 1039 for limit 11.582752564650882 950.31/946.58 c cleaning 488 clauses out of 1035 for limit 19.17533074706717 950.41/946.64 c cleaning 508 clauses out of 1047 for limit 31.26024797409663 950.41/946.68 c cleaning 505 clauses out of 1041 for limit 51.95331710112775 950.51/946.74 c cleaning 495 clauses out of 1035 for limit 86.08847932078373 950.61/946.80 c cleaning 496 clauses out of 1039 for limit 141.2834247938292 950.61/946.85 c cleaning 501 clauses out of 1043 for limit 232.10170996849808 950.71/946.90 c cleaning 507 clauses out of 1048 for limit 383.2342571004008 950.71/946.97 c cleaning 491 clauses out of 1035 for limit 636.1127092979061 950.82/947.04 c cleaning 501 clauses out of 1044 for limit 1039.9915504812463 950.92/947.11 c cleaning 498 clauses out of 1043 for limit 1716.7295713081182 950.92/947.17 c cleaning 491 clauses out of 1045 for limit 2825.6983178487494 951.01/947.24 c cleaning 496 clauses out of 1055 for limit 4620.404760825909 951.01/947.29 c cleaning 490 clauses out of 1058 for limit 7590.461640624389 951.11/947.34 c cleaning 521 clauses out of 1068 for limit 12400.479875068879 951.21/947.42 c cleaning 514 clauses out of 1047 for limit 20860.22314756614 951.21/947.48 c cleaning 502 clauses out of 1036 for limit 34871.07199218068 951.31/947.53 c cleaning 502 clauses out of 1031 for limit 57612.76785821711 951.31/947.59 c cleaning 502 clauses out of 1029 for limit 95195.82847695175 951.41/947.65 c cleaning 500 clauses out of 1027 for limit 157296.38292036662 951.51/947.72 c cleaning 498 clauses out of 1027 for limit 259402.77816932247 951.51/947.78 c cleaning 488 clauses out of 1029 for limit 426958.416266371 951.61/947.84 c cleaning 488 clauses out of 1041 for limit 695994.9862914048 951.71/947.90 c cleaning 519 clauses out of 1054 for limit 1134766.8193966958 951.71/947.97 c cleaning 517 clauses out of 1034 for limit 1905671.6618800971 951.81/948.03 c cleaning 509 clauses out of 1018 for limit 3195297.0277347867 951.81/948.10 c cleaning 504 clauses out of 1008 for limit 5316427.019650344 951.92/948.17 c cleaning 490 clauses out of 1006 for limit 8802526.040091097 952.02/948.24 c cleaning 488 clauses out of 1016 for limit 1.4373663660533415E7 952.02/948.29 c cleaning 490 clauses out of 1027 for limit 2.342675403972018E7 952.11/948.34 c cleaning 505 clauses out of 1036 for limit 3.825993089637902E7 952.11/948.39 c cleaning 505 clauses out of 1031 for limit 6.3401737310803086E7 952.21/948.45 c cleaning 513 clauses out of 1026 for limit 1.0506748820808123E8 952.31/948.50 c cleaning 506 clauses out of 1013 for limit 1.7549395130234003E8 952.31/948.56 c cleaning 503 clauses out of 1007 for limit 2.911374100253218E8 952.41/948.62 c cleaning 500 clauses out of 1004 for limit 4.815591718677797E8 952.41/948.67 c cleaning 497 clauses out of 1009 for limit 7.941831186955948E8 952.51/948.74 c cleaning 489 clauses out of 1007 for limit 1.3057669594251187E9 952.61/948.80 c cleaning 474 clauses out of 1018 for limit 2.1301160012376776E9 952.61/948.84 c cleaning 508 clauses out of 1044 for limit 3.42536157119053E9 952.61/948.90 c cleaning 518 clauses out of 1036 for limit 5.692500158435222E9 952.71/948.95 c cleaning 509 clauses out of 1019 for limit 9.55386326931211E9 952.81/949.00 c cleaning 489 clauses out of 1009 for limit 1.58958375053687E10 952.81/949.05 c cleaning 493 clauses out of 1020 for limit 2.5931658643559586E10 952.91/949.12 c cleaning 490 clauses out of 1027 for limit 4.247329081015385E10 952.91/949.17 c cleaning 518 clauses out of 1037 for limit 6.936868877647481E10 953.02/949.24 c cleaning 507 clauses out of 1019 for limit 1.1641902152800755E11 953.02/949.30 c cleaning 484 clauses out of 1012 for limit 1.933185385693156E11 953.12/949.36 c cleaning 494 clauses out of 1029 for limit 3.13854991409012E11 953.21/949.42 c cleaning 505 clauses out of 1034 for limit 5.145709340606982E11 953.21/949.48 c cleaning 495 clauses out of 1030 for limit 8.527445725506548E11 953.31/949.54 c cleaning 515 clauses out of 1034 for limit 1.3994488356260295E12 953.41/949.61 c cleaning 509 clauses out of 1019 for limit 2.3418510388503345E12 953.41/949.65 c cleaning 477 clauses out of 1010 for limit 3.8964397402443354E12 953.51/949.72 c cleaning 499 clauses out of 1033 for limit 6.282679469434823E12 953.51/949.78 c cleaning 488 clauses out of 1036 for limit 1.035166907867845E13 953.61/949.84 c cleaning 508 clauses out of 1047 for limit 1.6875040702527984E13 953.71/949.90 c cleaning 519 clauses out of 1038 for limit 2.804242276609875E13 953.71/949.95 c cleaning 510 clauses out of 1020 for limit 4.7108916210229195E13 953.81/950.01 c cleaning 501 clauses out of 1011 for limit 7.845895653091644E13 953.81/950.07 c cleaning 481 clauses out of 1009 for limit 1.2951613998230336E14 953.91/950.13 c cleaning 496 clauses out of 1027 for limit 2.0963606077370338E14 953.91/950.19 c cleaning 508 clauses out of 1031 for limit 3.443766172304746E14 954.01/950.25 c cleaning 500 clauses out of 1024 for limit 5.723777763653841E14 954.12/950.31 c cleaning 498 clauses out of 1023 for limit 9.43905379628264E14 954.12/950.37 c cleaning 513 clauses out of 1027 for limit 1.553669220049353E15 954.22/950.43 c cleaning 489 clauses out of 1012 for limit 2.5949880157078615E15 954.22/950.48 c cleaning 500 clauses out of 1023 for limit 4.233466449519527E-5 954.31/950.55 c cleaning 502 clauses out of 1023 for limit 6.981552518267038E-5 954.41/950.61 c cleaning 473 clauses out of 1021 for limit 1.1536067484625821E-4 954.41/950.66 c cleaning 497 clauses out of 1048 for limit 1.8534383052660783E-4 954.51/950.72 c cleaning 513 clauses out of 1051 for limit 3.047842972590512E-4 954.51/950.78 c cleaning 502 clauses out of 1038 for limit 5.08925061221765E-4 954.61/950.84 c cleaning 504 clauses out of 1039 for limit 8.40998199164898E-4 954.61/950.89 c cleaning 509 clauses out of 1033 for limit 0.0013921856576826323 954.71/950.95 c cleaning 500 clauses out of 1023 for limit 0.0023160248686608467 954.81/951.01 c cleaning 478 clauses out of 1023 for limit 0.003819434840685538 954.81/951.06 c cleaning 504 clauses out of 1047 for limit 0.006166702083985809 954.91/951.13 c cleaning 500 clauses out of 1041 for limit 0.010207885349762403 954.91/951.19 c cleaning 502 clauses out of 1041 for limit 0.01683416852822896 955.01/951.25 c cleaning 508 clauses out of 1039 for limit 0.027815235391025563 955.11/951.30 c cleaning 491 clauses out of 1031 for limit 0.04622697860312392 955.11/951.36 c cleaning 492 clauses out of 1040 for limit 0.0755747504600911 955.22/951.42 c cleaning 499 clauses out of 1048 for limit 0.12368147773534838 1800.04/1794.91 c starts : 28 1800.04/1794.91 c conflicts : 8276000 1800.04/1794.91 c decisions : 32257481 1800.04/1794.91 c propagations : 979070249 1800.04/1794.91 c inspects : 3201651285 1800.04/1794.91 c learnt literals : 0 1800.04/1794.91 c learnt binary clauses : 0 1800.04/1794.91 c learnt ternary clauses : 0 1800.04/1794.91 c learnt clauses : 8276000 1800.04/1794.91 c root simplifications : 0 1800.04/1794.91 c removed literals (reason simplification) : 0 1800.04/1794.91 c reason swapping (by a shorter reason) : 0 1800.04/1794.91 c Calls to reduceDB : 615 1800.04/1794.91 c speed (decisions/second) : 17975.918969419046 1800.04/1794.91 c non guided choices 318 1800.04/1794.91 s SATISFIABLE 1800.04/1794.91 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 x26 x27 x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 x36 x37 -x38 -x39 x40 x41 -x42 -x43 x44 -x45 -x46 x47 -x48 x49 -x50 -x51 -x52 x53 x54 x55 x56 x57 x58 x59 -x60 -x61 x62 -x63 x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 x444 x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 x624 -x625 -x626 x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 x638 -x639 -x640 -x641 -x642 x643 -x644 -x645 x646 -x647 -x648 -x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 x734 x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 x766 x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 x795 x796 x797 -x798 -x799 -x800 -x801 -x802 x803 -x804 -x805 -x806 -x807 1800.04/1794.91 c objective function=68 1800.04/1794.91 c Total wall clock time (ms): 1794.807
OK 68
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3732374-1338690279/watcher-3732374-1338690279 -o /tmp/evaluation-result-3732374-1338690279/solver-3732374-1338690279 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3732374-1338690279.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.00 2.01 2.00 4/194 32633 /proc/meminfo: memFree=26200168/32873648 swapFree=7112/7112 [pid=32633] ppid=32631 vsize=2500 CPUtime=0 cores=1,3,5,7 /proc/32633/stat : 32633 (java) D 32631 32633 29837 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 335153776 2560000 46 33554432000 1073741824 1073778376 140733771367920 140733771365048 242158234919 0 0 4096 0 18446744072100609316 0 0 17 3 0 0 0 0 0 /proc/32633/statm: 625 46 37 9 0 29 0 [startup+0.0336089 s] /proc/loadavg: 2.00 2.01 2.00 4/194 32633 /proc/meminfo: memFree=26200168/32873648 swapFree=7112/7112 [pid=32633] ppid=32631 vsize=2414972 CPUtime=0 cores=1,3,5,7 /proc/32633/stat : 32633 (java) S 32631 32633 29837 0 -1 4202496 3170 0 1 0 0 0 0 0 20 0 10 0 335153776 2472931328 4379 33554432000 1073741824 1073778376 140737081947264 140737081938400 242170757181 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/32633/statm: 603743 4379 1537 9 0 594444 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2414972 [startup+0.100192 s] /proc/loadavg: 2.00 2.01 2.00 4/194 32633 /proc/meminfo: memFree=26200168/32873648 swapFree=7112/7112 [pid=32633] ppid=32631 vsize=2957856 CPUtime=0.08 cores=1,3,5,7 /proc/32633/stat : 32633 (java) S 32631 32633 29837 0 -1 4202496 4285 0 1 0 7 1 0 0 20 0 18 0 335153776 3028844544 6502 33554432000 1073741824 1073778376 140737081947264 140737081938400 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/32633/statm: 739464 6504 2057 9 0 729885 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2957856 [startup+0.300181 s] /proc/loadavg: 2.00 2.01 2.00 4/194 32633 /proc/meminfo: memFree=26200168/32873648 swapFree=7112/7112 [pid=32633] ppid=32631 vsize=2957856 CPUtime=0.53 cores=1,3,5,7 /proc/32633/stat : 32633 (java) S 32631 32633 29837 0 -1 4202496 8354 0 1 0 51 2 0 0 20 0 18 0 335153776 3028844544 11850 33554432000 1073741824 1073778376 140737081947264 140737081938400 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/32633/statm: 739464 11850 2246 9 0 729885 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 2957856 [startup+0.700168 s] /proc/loadavg: 2.00 2.01 2.00 4/194 32633 /proc/meminfo: memFree=26200168/32873648 swapFree=7112/7112 [pid=32633] ppid=32631 vsize=3024420 CPUtime=1.36 cores=1,3,5,7 /proc/32633/stat : 32633 (java) S 32631 32633 29837 0 -1 4202496 9220 0 1 0 134 2 0 0 20 0 19 0 335153776 3097006080 15815 33554432000 1073741824 1073778376 140737081947264 140737081938400 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/32633/statm: 756105 15815 2278 9 0 746526 0 Current children cumulated CPU time (s) 1.36 Current children cumulated vsize (KiB) 3024420 [startup+1.50053 s] /proc/loadavg: 2.00 2.01 2.00 3/213 32653 /proc/meminfo: memFree=26143580/32873648 swapFree=7112/7112 [pid=32633] ppid=32631 vsize=3024420 CPUtime=2.19 cores=1,3,5,7 /proc/32633/stat : 32633 (java) S 32631 32633 29837 0 -1 4202496 9225 0 1 0 217 2 0 0 20 0 19 0 335153776 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140737081938400 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/32633/statm: 756105 16841 2279 9 0 746526 0 [pid=32633/tid=32635] ppid=32631 vsize=3024420 CPUtime=1.45 cores=1,3,5,7 /proc/32633/task/32635/stat : 32635 (java) R 32631 32633 29837 0 -1 4202560 2533 0 1 0 144 1 0 0 20 0 19 0 335153777 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065952363144 140065813155380 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=32633/tid=32636] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32636/stat : 32636 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065935788968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32637] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32637/stat : 32637 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065934736424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32633/tid=32638] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32638/stat : 32638 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065933683368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32633/tid=32639] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32639/stat : 32639 (java) S 32631 32633 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065932630824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32633/tid=32640] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32640/stat : 32640 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065931577768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32641] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32641/stat : 32641 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065812507176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32633/tid=32642] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32642/stat : 32642 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065811454120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32633/tid=32643] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32643/stat : 32643 (java) S 32631 32633 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065810401576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32644] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32644/stat : 32644 (java) S 32631 32633 29837 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065798204264 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32645] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32645/stat : 32645 (java) S 32631 32633 29837 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065797150584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32646] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32646/stat : 32646 (java) S 32631 32633 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065191749000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32647] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32647/stat : 32647 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065190697744 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32648] ppid=32631 vsize=3024420 CPUtime=0.33 cores=1,3,5,7 /proc/32633/task/32648/stat : 32648 (java) S 32631 32633 29837 0 -1 4202560 2262 0 0 0 33 0 0 0 20 0 19 0 335153783 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065189644600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32649] ppid=32631 vsize=3024420 CPUtime=0.36 cores=1,3,5,7 /proc/32633/task/32649/stat : 32649 (java) S 32631 32633 29837 0 -1 4202560 3229 0 0 0 36 0 0 0 20 0 19 0 335153783 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065188592056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32633/tid=32650] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32650/stat : 32650 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065187539192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32633/tid=32651] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32651/stat : 32651 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065186486856 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32653] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32653/stat : 32653 (java) S 32631 32633 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335153819 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065184356008 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.19 Current children cumulated vsize (KiB) 3024420 [startup+3.10054 s] /proc/loadavg: 2.00 2.01 2.00 3/213 32653 /proc/meminfo: memFree=26138988/32873648 swapFree=7112/7112 [pid=32633] ppid=32631 vsize=3024420 CPUtime=3.84 cores=1,3,5,7 /proc/32633/stat : 32633 (java) S 32631 32633 29837 0 -1 4202496 9263 0 1 0 382 2 0 0 20 0 19 0 335153776 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140737081938400 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/32633/statm: 756105 17865 2279 9 0 746526 0 [pid=32633/tid=32635] ppid=32631 vsize=3024420 CPUtime=3.04 cores=1,3,5,7 /proc/32633/task/32635/stat : 32635 (java) R 32631 32633 29837 0 -1 4202560 2536 0 1 0 303 1 0 0 20 0 19 0 335153777 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065952363024 140065813155359 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=32633/tid=32636] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32636/stat : 32636 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065935788968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32637] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32637/stat : 32637 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065934736424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32633/tid=32638] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32638/stat : 32638 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065933683368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32633/tid=32639] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32639/stat : 32639 (java) S 32631 32633 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065932630824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32633/tid=32640] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32640/stat : 32640 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065931577768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32641] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32641/stat : 32641 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065812507176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32633/tid=32642] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32642/stat : 32642 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065811454120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32633/tid=32643] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32643/stat : 32643 (java) S 32631 32633 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065810401576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32644] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32644/stat : 32644 (java) S 32631 32633 29837 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065798204264 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32645] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32645/stat : 32645 (java) S 32631 32633 29837 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065797150584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32646] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32646/stat : 32646 (java) S 32631 32633 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065191749000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32647] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32647/stat : 32647 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065190697744 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32648] ppid=32631 vsize=3024420 CPUtime=0.35 cores=1,3,5,7 /proc/32633/task/32648/stat : 32648 (java) S 32631 32633 29837 0 -1 4202560 2297 0 0 0 35 0 0 0 20 0 19 0 335153783 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065189644600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32649] ppid=32631 vsize=3024420 CPUtime=0.4 cores=1,3,5,7 /proc/32633/task/32649/stat : 32649 (java) S 32631 32633 29837 0 -1 4202560 3229 0 0 0 40 0 0 0 20 0 19 0 335153783 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065188592056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32633/tid=32650] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32650/stat : 32650 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065187539192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32633/tid=32651] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32651/stat : 32651 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065186486856 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32653] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32653/stat : 32653 (java) S 32631 32633 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335153819 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065184356008 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.84 Current children cumulated vsize (KiB) 3024420 [startup+6.30058 s] /proc/loadavg: 2.00 2.01 2.00 3/213 32653 /proc/meminfo: memFree=26130440/32873648 swapFree=7112/7112 [pid=32633] ppid=32631 vsize=3024420 CPUtime=7.04 cores=1,3,5,7 /proc/32633/stat : 32633 (java) S 32631 32633 29837 0 -1 4202496 9270 0 1 0 702 2 0 0 20 0 19 0 335153776 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140737081938400 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/32633/statm: 756105 20873 2279 9 0 746526 0 [pid=32633/tid=32635] ppid=32631 vsize=3024420 CPUtime=6.24 cores=1,3,5,7 /proc/32633/task/32635/stat : 32635 (java) R 32631 32633 29837 0 -1 4202560 2543 0 1 0 623 1 0 0 20 0 19 0 335153777 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065952362856 140065813180032 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=32633/tid=32636] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32636/stat : 32636 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065935788968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32637] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32637/stat : 32637 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065934736424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32633/tid=32638] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32638/stat : 32638 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065933683368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32633/tid=32639] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32639/stat : 32639 (java) S 32631 32633 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065932630824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32633/tid=32640] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32640/stat : 32640 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065931577768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32641] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32641/stat : 32641 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065812507176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32633/tid=32642] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32642/stat : 32642 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065811454120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32633/tid=32643] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32643/stat : 32643 (java) S 32631 32633 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065810401576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32644] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32644/stat : 32644 (java) S 32631 32633 29837 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065798204264 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32645] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32645/stat : 32645 (java) S 32631 32633 29837 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065797150584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32646] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32646/stat : 32646 (java) S 32631 32633 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065191749000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32647] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32647/stat : 32647 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065190697744 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32648] ppid=32631 vsize=3024420 CPUtime=0.35 cores=1,3,5,7 /proc/32633/task/32648/stat : 32648 (java) S 32631 32633 29837 0 -1 4202560 2297 0 0 0 35 0 0 0 20 0 19 0 335153783 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065189644600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32649] ppid=32631 vsize=3024420 CPUtime=0.41 cores=1,3,5,7 /proc/32633/task/32649/stat : 32649 (java) S 32631 32633 29837 0 -1 4202560 3229 0 0 0 41 0 0 0 20 0 19 0 335153783 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065188592056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32633/tid=32650] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32650/stat : 32650 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065187539192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32633/tid=32651] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32651/stat : 32651 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065186486856 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32653] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32653/stat : 32653 (java) S 32631 32633 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335153819 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065184356008 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 7.04 Current children cumulated vsize (KiB) 3024420 [startup+12.7006 s] ################ # More data... # ################ [pid=32633/tid=32641] ppid=32631 vsize=3024420 CPUtime=0.51 cores=1,3,5,7 /proc/32633/task/32641/stat : 32641 (java) S 32631 32633 29837 0 -1 4202560 274 0 0 0 37 14 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065812507176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32633/tid=32642] ppid=32631 vsize=3024420 CPUtime=0.89 cores=1,3,5,7 /proc/32633/task/32642/stat : 32642 (java) S 32631 32633 29837 0 -1 4202560 453 0 0 0 67 22 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065811454120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32633/tid=32643] ppid=32631 vsize=3024420 CPUtime=0.63 cores=1,3,5,7 /proc/32633/task/32643/stat : 32643 (java) S 32631 32633 29837 0 -1 4202560 306 0 0 0 49 14 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065810401576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32644] ppid=32631 vsize=3024420 CPUtime=4.14 cores=1,3,5,7 /proc/32633/task/32644/stat : 32644 (java) S 32631 32633 29837 0 -1 4202560 49 0 0 0 412 2 0 0 20 0 19 0 335153780 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065798204264 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32633/tid=32645] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32645/stat : 32645 (java) S 32631 32633 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065797150584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32633/tid=32646] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32646/stat : 32646 (java) S 32631 32633 29837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065191749000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32647] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32647/stat : 32647 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065190697744 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32648] ppid=32631 vsize=3024420 CPUtime=0.42 cores=1,3,5,7 /proc/32633/task/32648/stat : 32648 (java) S 32631 32633 29837 0 -1 4202560 2419 0 0 0 42 0 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065189644600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32633/tid=32649] ppid=32631 vsize=3024420 CPUtime=0.47 cores=1,3,5,7 /proc/32633/task/32649/stat : 32649 (java) S 32631 32633 29837 0 -1 4202560 3235 0 0 0 47 0 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065188592056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32633/tid=32650] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32650/stat : 32650 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065187539192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32633/tid=32651] ppid=32631 vsize=3024420 CPUtime=0.36 cores=1,3,5,7 /proc/32633/task/32651/stat : 32651 (java) S 32631 32633 29837 0 -1 4202560 99 0 0 0 16 20 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065186486856 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32633/tid=32653] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32653/stat : 32653 (java) S 32631 32633 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335153819 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065184356008 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1727.44 Current children cumulated vsize (KiB) 3024420 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/213 856 /proc/meminfo: memFree=24473124/32873648 swapFree=7112/7112 [pid=32633] ppid=32631 vsize=3024420 CPUtime=1787.43 cores=1,3,5,7 /proc/32633/stat : 32633 (java) S 32631 32633 29837 0 -1 4202496 12936 0 1 0 178576 167 0 0 20 0 19 0 335153776 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140737081938400 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/32633/statm: 756105 419948 2306 9 0 746526 0 [pid=32633/tid=32635] ppid=32631 vsize=3024420 CPUtime=1776.43 cores=1,3,5,7 /proc/32633/task/32635/stat : 32635 (java) R 32631 32633 29837 0 -1 4202560 2731 0 1 0 177607 36 0 0 20 0 19 0 335153777 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065952361864 140065813372288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32636] ppid=32631 vsize=3024420 CPUtime=0.62 cores=1,3,5,7 /proc/32633/task/32636/stat : 32636 (java) S 32631 32633 29837 0 -1 4202560 271 0 0 0 49 13 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065935788968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32633/tid=32637] ppid=32631 vsize=3024420 CPUtime=0.98 cores=1,3,5,7 /proc/32633/task/32637/stat : 32637 (java) S 32631 32633 29837 0 -1 4202560 570 0 0 0 74 24 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065934736424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32633/tid=32638] ppid=32631 vsize=3024420 CPUtime=0.73 cores=1,3,5,7 /proc/32633/task/32638/stat : 32638 (java) S 32631 32633 29837 0 -1 4202560 553 0 0 0 54 19 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065933683368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32633/tid=32639] ppid=32631 vsize=3024420 CPUtime=0.76 cores=1,3,5,7 /proc/32633/task/32639/stat : 32639 (java) S 32631 32633 29837 0 -1 4202560 502 0 0 0 55 21 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065932630824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32640] ppid=32631 vsize=3024420 CPUtime=0.66 cores=1,3,5,7 /proc/32633/task/32640/stat : 32640 (java) S 32631 32633 29837 0 -1 4202560 282 0 0 0 54 12 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065931577768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32633/tid=32641] ppid=32631 vsize=3024420 CPUtime=0.51 cores=1,3,5,7 /proc/32633/task/32641/stat : 32641 (java) S 32631 32633 29837 0 -1 4202560 274 0 0 0 37 14 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065812507176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32633/tid=32642] ppid=32631 vsize=3024420 CPUtime=0.89 cores=1,3,5,7 /proc/32633/task/32642/stat : 32642 (java) S 32631 32633 29837 0 -1 4202560 453 0 0 0 67 22 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065811454120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32633/tid=32643] ppid=32631 vsize=3024420 CPUtime=0.63 cores=1,3,5,7 /proc/32633/task/32643/stat : 32643 (java) S 32631 32633 29837 0 -1 4202560 306 0 0 0 49 14 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065810401576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32644] ppid=32631 vsize=3024420 CPUtime=4.14 cores=1,3,5,7 /proc/32633/task/32644/stat : 32644 (java) S 32631 32633 29837 0 -1 4202560 49 0 0 0 412 2 0 0 20 0 19 0 335153780 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065798204264 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32633/tid=32645] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32645/stat : 32645 (java) S 32631 32633 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065797150584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32633/tid=32646] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32646/stat : 32646 (java) S 32631 32633 29837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065191749000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32647] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32647/stat : 32647 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065190697744 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32648] ppid=32631 vsize=3024420 CPUtime=0.42 cores=1,3,5,7 /proc/32633/task/32648/stat : 32648 (java) S 32631 32633 29837 0 -1 4202560 2419 0 0 0 42 0 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065189644600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32633/tid=32649] ppid=32631 vsize=3024420 CPUtime=0.47 cores=1,3,5,7 /proc/32633/task/32649/stat : 32649 (java) S 32631 32633 29837 0 -1 4202560 3235 0 0 0 47 0 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065188592056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32633/tid=32650] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32650/stat : 32650 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065187539192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32633/tid=32651] ppid=32631 vsize=3024420 CPUtime=0.37 cores=1,3,5,7 /proc/32633/task/32651/stat : 32651 (java) S 32631 32633 29837 0 -1 4202560 103 0 0 0 16 21 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065186486856 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32633/tid=32653] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32653/stat : 32653 (java) S 32631 32633 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335153819 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065184356008 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1787.43 Current children cumulated vsize (KiB) 3024420 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1794.9 s] /proc/loadavg: 2.00 2.02 2.00 3/213 856 /proc/meminfo: memFree=24473128/32873648 swapFree=7112/7112 [pid=32633] ppid=32631 vsize=3024420 CPUtime=1800.04 cores=1,3,5,7 /proc/32633/stat : 32633 (java) S 32631 32633 29837 0 -1 4202496 12936 0 1 0 179837 167 0 0 20 0 19 0 335153776 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140737081938400 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/32633/statm: 756105 419948 2306 9 0 746526 0 [pid=32633/tid=32635] ppid=32631 vsize=3024420 CPUtime=1789.04 cores=1,3,5,7 /proc/32633/task/32635/stat : 32635 (java) R 32631 32633 29837 0 -1 4202560 2731 0 1 0 178868 36 0 0 20 0 19 0 335153777 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065952361864 140065813372317 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32636] ppid=32631 vsize=3024420 CPUtime=0.62 cores=1,3,5,7 /proc/32633/task/32636/stat : 32636 (java) S 32631 32633 29837 0 -1 4202560 271 0 0 0 49 13 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065935788968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32633/tid=32637] ppid=32631 vsize=3024420 CPUtime=0.98 cores=1,3,5,7 /proc/32633/task/32637/stat : 32637 (java) S 32631 32633 29837 0 -1 4202560 570 0 0 0 74 24 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065934736424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32633/tid=32638] ppid=32631 vsize=3024420 CPUtime=0.73 cores=1,3,5,7 /proc/32633/task/32638/stat : 32638 (java) S 32631 32633 29837 0 -1 4202560 553 0 0 0 54 19 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065933683368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32633/tid=32639] ppid=32631 vsize=3024420 CPUtime=0.76 cores=1,3,5,7 /proc/32633/task/32639/stat : 32639 (java) S 32631 32633 29837 0 -1 4202560 502 0 0 0 55 21 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065932630824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32640] ppid=32631 vsize=3024420 CPUtime=0.66 cores=1,3,5,7 /proc/32633/task/32640/stat : 32640 (java) S 32631 32633 29837 0 -1 4202560 282 0 0 0 54 12 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065931577768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32633/tid=32641] ppid=32631 vsize=3024420 CPUtime=0.51 cores=1,3,5,7 /proc/32633/task/32641/stat : 32641 (java) S 32631 32633 29837 0 -1 4202560 274 0 0 0 37 14 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065812507176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32633/tid=32642] ppid=32631 vsize=3024420 CPUtime=0.89 cores=1,3,5,7 /proc/32633/task/32642/stat : 32642 (java) S 32631 32633 29837 0 -1 4202560 453 0 0 0 67 22 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065811454120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32633/tid=32643] ppid=32631 vsize=3024420 CPUtime=0.63 cores=1,3,5,7 /proc/32633/task/32643/stat : 32643 (java) S 32631 32633 29837 0 -1 4202560 306 0 0 0 49 14 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065810401576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32644] ppid=32631 vsize=3024420 CPUtime=4.14 cores=1,3,5,7 /proc/32633/task/32644/stat : 32644 (java) S 32631 32633 29837 0 -1 4202560 49 0 0 0 412 2 0 0 20 0 19 0 335153780 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065798204264 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32633/tid=32645] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32645/stat : 32645 (java) S 32631 32633 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065797150584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32633/tid=32646] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32646/stat : 32646 (java) S 32631 32633 29837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065191749000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32647] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32647/stat : 32647 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065190697744 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32648] ppid=32631 vsize=3024420 CPUtime=0.42 cores=1,3,5,7 /proc/32633/task/32648/stat : 32648 (java) S 32631 32633 29837 0 -1 4202560 2419 0 0 0 42 0 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065189644600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32633/tid=32649] ppid=32631 vsize=3024420 CPUtime=0.47 cores=1,3,5,7 /proc/32633/task/32649/stat : 32649 (java) S 32631 32633 29837 0 -1 4202560 3235 0 0 0 47 0 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065188592056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32633/tid=32650] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32650/stat : 32650 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065187539192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32633/tid=32651] ppid=32631 vsize=3024420 CPUtime=0.37 cores=1,3,5,7 /proc/32633/task/32651/stat : 32651 (java) S 32631 32633 29837 0 -1 4202560 103 0 0 0 16 21 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065186486856 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32633/tid=32653] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32653/stat : 32653 (java) S 32631 32633 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335153819 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065184356008 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 3024420 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1794.9 s] /proc/loadavg: 2.00 2.02 2.00 3/213 856 /proc/meminfo: memFree=24473128/32873648 swapFree=7112/7112 [pid=32633] ppid=32631 vsize=3024420 CPUtime=1800.04 cores=1,3,5,7 /proc/32633/stat : 32633 (java) S 32631 32633 29837 0 -1 4202496 12936 0 1 0 179837 167 0 0 20 0 19 0 335153776 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140737081938400 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/32633/statm: 756105 419948 2306 9 0 746526 0 [pid=32633/tid=32635] ppid=32631 vsize=3024420 CPUtime=1789.04 cores=1,3,5,7 /proc/32633/task/32635/stat : 32635 (java) R 32631 32633 29837 0 -1 4202560 2731 0 1 0 178868 36 0 0 20 0 19 0 335153777 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065952361864 140065813372317 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32636] ppid=32631 vsize=3024420 CPUtime=0.62 cores=1,3,5,7 /proc/32633/task/32636/stat : 32636 (java) S 32631 32633 29837 0 -1 4202560 271 0 0 0 49 13 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065935788968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32633/tid=32637] ppid=32631 vsize=3024420 CPUtime=0.98 cores=1,3,5,7 /proc/32633/task/32637/stat : 32637 (java) S 32631 32633 29837 0 -1 4202560 570 0 0 0 74 24 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065934736424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32633/tid=32638] ppid=32631 vsize=3024420 CPUtime=0.73 cores=1,3,5,7 /proc/32633/task/32638/stat : 32638 (java) S 32631 32633 29837 0 -1 4202560 553 0 0 0 54 19 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065933683368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32633/tid=32639] ppid=32631 vsize=3024420 CPUtime=0.76 cores=1,3,5,7 /proc/32633/task/32639/stat : 32639 (java) S 32631 32633 29837 0 -1 4202560 502 0 0 0 55 21 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065932630824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32640] ppid=32631 vsize=3024420 CPUtime=0.66 cores=1,3,5,7 /proc/32633/task/32640/stat : 32640 (java) S 32631 32633 29837 0 -1 4202560 282 0 0 0 54 12 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065931577768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32633/tid=32641] ppid=32631 vsize=3024420 CPUtime=0.51 cores=1,3,5,7 /proc/32633/task/32641/stat : 32641 (java) S 32631 32633 29837 0 -1 4202560 274 0 0 0 37 14 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065812507176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32633/tid=32642] ppid=32631 vsize=3024420 CPUtime=0.89 cores=1,3,5,7 /proc/32633/task/32642/stat : 32642 (java) S 32631 32633 29837 0 -1 4202560 453 0 0 0 67 22 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065811454120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32633/tid=32643] ppid=32631 vsize=3024420 CPUtime=0.63 cores=1,3,5,7 /proc/32633/task/32643/stat : 32643 (java) S 32631 32633 29837 0 -1 4202560 306 0 0 0 49 14 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065810401576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32644] ppid=32631 vsize=3024420 CPUtime=4.14 cores=1,3,5,7 /proc/32633/task/32644/stat : 32644 (java) S 32631 32633 29837 0 -1 4202560 49 0 0 0 412 2 0 0 20 0 19 0 335153780 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065798204264 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32633/tid=32645] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32645/stat : 32645 (java) S 32631 32633 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065797150584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32633/tid=32646] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32646/stat : 32646 (java) S 32631 32633 29837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065191749000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32647] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32647/stat : 32647 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065190697744 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32633/tid=32648] ppid=32631 vsize=3024420 CPUtime=0.42 cores=1,3,5,7 /proc/32633/task/32648/stat : 32648 (java) S 32631 32633 29837 0 -1 4202560 2419 0 0 0 42 0 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065189644600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32633/tid=32649] ppid=32631 vsize=3024420 CPUtime=0.47 cores=1,3,5,7 /proc/32633/task/32649/stat : 32649 (java) S 32631 32633 29837 0 -1 4202560 3235 0 0 0 47 0 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065188592056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32633/tid=32650] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32650/stat : 32650 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065187539192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32633/tid=32651] ppid=32631 vsize=3024420 CPUtime=0.37 cores=1,3,5,7 /proc/32633/task/32651/stat : 32651 (java) S 32631 32633 29837 0 -1 4202560 103 0 0 0 16 21 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065186486856 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32633/tid=32653] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/32633/task/32653/stat : 32653 (java) S 32631 32633 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335153819 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065184356008 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 3024420 Child status: 143 Real time (s): 1794.92 CPU time (s): 1800.49 CPU user time (s): 1798.38 CPU system time (s): 2.11068 CPU usage (%): 100.31 Max. virtual memory (cumulated for all children) (KiB): 3024420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.38 system time used= 2.11068 maximum resident set size= 1679904 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12965 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1128 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38135 involuntary context switches= 19345 runsolver used 6.00209 second user time and 14.7728 second system time The end
Begin job on node126 at 2012-06-03 04:24:39 IDJOB=3732374 IDBENCH=2052 IDSOLVER=2319 FILE ID=node126/3732374-1338690279 RUNJOBID= node126-1338678624-29857 PBS_JOBID= 14636687 Free space on /tmp= 70788 MiB SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-alu4.b.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732374-1338690279/watcher-3732374-1338690279 -o /tmp/evaluation-result-3732374-1338690279/solver-3732374-1338690279 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3732374-1338690279.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9c27419d6022516b3a8580fda3ca43ee RANDOM SEED=477491994 node126.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 26200432 kB Buffers: 405264 kB Cached: 3776836 kB SwapCached: 9476 kB Active: 3093616 kB Inactive: 2716788 kB Active(anon): 1618232 kB Inactive(anon): 12168 kB Active(file): 1475384 kB Inactive(file): 2704620 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67094928 kB Dirty: 3940 kB Writeback: 0 kB AnonPages: 1626440 kB Mapped: 17836 kB Shmem: 0 kB Slab: 722524 kB SReclaimable: 166624 kB SUnreclaim: 555900 kB KernelStack: 1632 kB PageTables: 7040 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 1825296 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 1585152 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70784 MiB End job on node126 at 2012-06-03 04:54:36