Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
AbsCon 2019-07-23 | OPT | 89 | 68.6486 | 65.4792 |
Diagnostic | Value |
---|---|
WRONG_DECISIONS | 92912 |
Name | PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-1.xml |
MD5SUM | 105bb238691d484e064b3a25c3dae36e |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 89 |
Best CPU time to get the best result obtained on this benchmark | 50.4403 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 72 |
Number of constraints | 97 |
Number of domains | 24 |
Minimum domain size | 4 |
Maximum domain size | 25 |
Distribution of domain sizes | [{"size":4,"count":8},{"size":5,"count":14},{"size":6,"count":2},{"size":25,"count":48}] |
Minimum variable degree | 2 |
Maximum variable degree | 27 |
Distribution of variable degrees | [{"degree":2,"count":24},{"degree":25,"count":23},{"degree":26,"count":1},{"degree":27,"count":24}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 25 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":48},{"arity":24,"count":24},{"arity":25,"count":24}] |
Number of extensional constraints | 48 |
Number of intensional constraints | 25 |
Distribution of constraint types | [{"type":"extension","count":48},{"type":"intension","count":25},{"type":"count","count":24}] |
Optimization problem | YES |
Type of objective | max SUM |
2.38/2.09 2.38/2.09 AbsCon 2 2.38/2.10 3.17/2.39 Instance 3.17/2.39 name=instance-4391257-1568389953, framework=COP, bounds=-infty..+infty 3.17/2.39 3.17/2.39 Loading variables... 3.52/2.42 Loading constraints... 4.15/2.63 4.15/2.63 Domains 4.15/2.63 nTypes=24, nValues=1314, sizes=[4#8,5#14,6#2,25#48] 4.15/2.63 Variables 4.15/2.63 count=72, degrees=[2#24,25#23,26#1,27#24] 4.15/2.63 Objectives 4.15/2.63 way=max, type=SumSimpleGE 4.15/2.63 Constraints 4.15/2.63 count=98, nSpecific=49, arities=[1#1,2#48,24#25,25#24] 4.15/2.63 distribution=[AtMost1#24,CtrExtensionCT-Table#24,CtrExtensionV-Bits#24,CtrIntension#25,SumSimpleGE#1] 4.15/2.63 tables=[530#23,554#1], nTotalTuples=12744 4.15/2.63 nExtStructures=(48,shared:0), nIntStructures=(2,shared:23), nCftStructures=(25,shared:23,unbuilt:50) 4.15/2.63 wck=0.565, cpu=2.38, mem=82M59 4.15/2.63 Solver SolverBacktrack being built... 4.15/2.63 4.15/2.65 4.15/2.65 Solver 4.15/2.65 guaranteedGAC=true 4.15/2.65 wck=0.594, cpu=2.408, mem=95M346 4.15/2.66 4.15/2.66 Preprocessing 4.15/2.66 filters=26, revisions=(49,useless=46), ccks=698, nACremovedValues=49, nTotalRemovedValues=49, inconcistency=false 4.15/2.66 wck=0.007, cpu=2.415, mem=95M346 4.15/2.66 4.15/2.68 o -1000 4.15/2.68 num=0, depth=73..71, filters=358, revisions=(647,useless=566), ccks=1349, wck=0.033, mem=95M346 4.15/2.68 decisions=23, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=-1000 4.15/2.68 nFilterCalls=624, avgTableProportion=0.9981166133097205, avgTableSize=530.0 4.15/2.68 4.45/2.71 num=1, depth=17..21, filters=1075, revisions=(1239,useless=894), ccks=3841, wck=0.059, mem=95M346 4.45/2.71 decisions=76, wrong=18, backtracks=10, failedAssignments=11, nogoods=2, foundSolutions=1, bestBound=-1000 4.45/2.71 nFilterCalls=4287, avgTableProportion=0.9981166967259321, avgTableSize=530.0244926522043 4.45/2.71 4.45/2.74 num=2, depth=14..19, filters=1922, revisions=(2114,useless=1498), ccks=5917, wck=0.093, mem=95M346 4.45/2.74 decisions=143, wrong=44, backtracks=26, failedAssignments=22, nogoods=5, foundSolutions=1, bestBound=-1000 4.45/2.74 nFilterCalls=8745, avgTableProportion=0.9981167219670027, avgTableSize=530.0319039451115 4.45/2.74 4.45/2.75 num=3, depth=15..18, filters=2286, revisions=(2483,useless=1687), ccks=6542, wck=0.103, mem=95M346 4.45/2.75 decisions=191, wrong=59, backtracks=30, failedAssignments=34, nogoods=10, foundSolutions=1, bestBound=-1000 4.45/2.75 nFilterCalls=10354, avgTableProportion=0.9981168784288602, avgTableSize=530.0778443113772 4.45/2.75 4.45/2.77 num=4, depth=15..20, filters=2870, revisions=(3050,useless=1978), ccks=8400, wck=0.117, mem=95M346 4.45/2.77 decisions=257, wrong=84, backtracks=44, failedAssignments=47, nogoods=15, foundSolutions=1, bestBound=-1000 4.45/2.77 nFilterCalls=12285, avgTableProportion=0.9981169068953948, avgTableSize=530.0862026862027 4.45/2.77 4.45/2.78 num=5, depth=13..17, filters=3538, revisions=(3622,useless=2283), ccks=10642, wck=0.134, mem=95M346 4.45/2.78 decisions=314, wrong=106, backtracks=54, failedAssignments=61, nogoods=18, foundSolutions=1, bestBound=-1000 4.45/2.78 nFilterCalls=15072, avgTableProportion=0.9981168844688477, avgTableSize=530.0796178343949 4.45/2.78 4.76/2.81 num=6, depth=13..17, filters=4434, revisions=(4367,useless=2723), ccks=13624, wck=0.16, mem=95M346 4.76/2.81 decisions=384, wrong=134, backtracks=69, failedAssignments=77, nogoods=20, foundSolutions=1, bestBound=-1000 4.76/2.81 nFilterCalls=19820, avgTableProportion=0.9981169109271916, avgTableSize=530.0873864783048 4.76/2.81 4.76/2.82 o -996 4.76/2.82 num=7, depth=73..71, filters=4603, revisions=(4576,useless=2840), ccks=14270, wck=0.168, mem=95M346 4.76/2.82 decisions=403, wrong=134, backtracks=69, failedAssignments=77, nogoods=20, foundSolutions=2, bestBound=-996 4.76/2.82 nFilterCalls=20372, avgTableProportion=0.998116906875257, avgTableSize=530.0861967406244 4.76/2.82 4.76/2.84 num=8, depth=15..20, filters=5238, revisions=(5095,useless=3168), ccks=15783, wck=0.188, mem=95M346 4.76/2.84 decisions=465, wrong=157, backtracks=76, failedAssignments=96, nogoods=34, foundSolutions=2, bestBound=-996 4.76/2.84 nFilterCalls=24501, avgTableProportion=0.9981169273221953, avgTableSize=530.0922003183543 4.76/2.84 4.76/2.85 num=9, depth=13..19, filters=5837, revisions=(5653,useless=3461), ccks=18093, wck=0.203, mem=95M346 4.76/2.85 decisions=527, wrong=181, backtracks=90, failedAssignments=107, nogoods=36, foundSolutions=2, bestBound=-996 4.76/2.85 nFilterCalls=26853, avgTableProportion=0.99811692112598, avgTableSize=530.090380963021 4.76/2.85 4.76/2.87 num=10, depth=16..20, filters=6688, revisions=(6247,useless=3809), ccks=20541, wck=0.217, mem=95M346 4.76/2.87 decisions=583, wrong=201, backtracks=101, failedAssignments=119, nogoods=40, foundSolutions=2, bestBound=-996 4.76/2.87 nFilterCalls=31454, avgTableProportion=0.9981169080415321, avgTableSize=530.0865390729319 4.76/2.87 4.76/2.88 num=11, depth=15..20, filters=7558, revisions=(6869,useless=4209), ccks=22618, wck=0.233, mem=95M346 4.76/2.88 decisions=640, wrong=222, backtracks=114, failedAssignments=132, nogoods=41, foundSolutions=2, bestBound=-996 4.76/2.88 nFilterCalls=36728, avgTableProportion=0.9981169196877594, avgTableSize=530.0899586146809 4.76/2.88 5.07/2.90 num=12, depth=16..20, filters=8602, revisions=(7538,useless=4658), ccks=24609, wck=0.25, mem=95M346 5.07/2.90 decisions=697, wrong=241, backtracks=124, failedAssignments=146, nogoods=46, foundSolutions=2, bestBound=-996 5.07/2.90 nFilterCalls=43058, avgTableProportion=0.9981169225797693, avgTableSize=530.0908077476892 5.07/2.90 5.07/2.92 num=13, depth=14..18, filters=9795, revisions=(8337,useless=5184), ccks=27043, wck=0.271, mem=97M989 5.07/2.92 decisions=765, wrong=267, backtracks=140, failedAssignments=162, nogoods=52, foundSolutions=2, bestBound=-996 5.07/2.92 nFilterCalls=49278, avgTableProportion=0.9981169645437057, avgTableSize=530.1031291854378 5.07/2.92 5.07/2.94 num=14, depth=16..21, filters=10926, revisions=(9100,useless=5705), ccks=29357, wck=0.289, mem=97M989 5.07/2.94 decisions=833, wrong=293, backtracks=156, failedAssignments=179, nogoods=56, foundSolutions=2, bestBound=-996 5.07/2.94 nFilterCalls=55743, avgTableProportion=0.9981169760465738, avgTableSize=530.1065066465744 5.07/2.94 5.07/2.96 num=15, depth=15..20, filters=12304, revisions=(9984,useless=6282), ccks=31789, wck=0.309, mem=97M989 5.07/2.96 decisions=908, wrong=323, backtracks=180, failedAssignments=198, nogoods=60, foundSolutions=2, bestBound=-996 5.07/2.96 nFilterCalls=63595, avgTableProportion=0.9981169875987184, avgTableSize=530.1098985769321 5.07/2.96 5.07/2.98 num=16, depth=14..19, filters=13499, revisions=(10938,useless=6933), ccks=35050, wck=0.326, mem=97M989 5.07/2.98 decisions=985, wrong=354, backtracks=200, failedAssignments=219, nogoods=67, foundSolutions=2, bestBound=-996 5.07/2.98 nFilterCalls=68942, avgTableProportion=0.9981169991274234, avgTableSize=530.1132836297178 5.07/2.98 5.07/2.98 o -979 5.07/2.98 num=17, depth=15..71, filters=13980, revisions=(11498,useless=7353), ccks=36119, wck=0.334, mem=97M989 5.07/2.98 decisions=1016, wrong=362, backtracks=206, failedAssignments=225, nogoods=68, foundSolutions=3, bestBound=-979 5.07/2.98 nFilterCalls=70455, avgTableProportion=0.9981169989148246, avgTableSize=530.1132212050245 5.07/2.98 5.07/3.01 num=18, depth=15..20, filters=15546, revisions=(12773,useless=8113), ccks=41251, wck=0.36, mem=97M989 5.07/3.01 decisions=1134, wrong=413, backtracks=236, failedAssignments=250, nogoods=76, foundSolutions=3, bestBound=-979 5.07/3.01 nFilterCalls=78337, avgTableProportion=0.9981169972449631, avgTableSize=530.1127308934475 5.07/3.01 5.44/3.02 o -973 5.44/3.02 num=19, depth=13..71, filters=16226, revisions=(13468,useless=8679), ccks=42233, wck=0.37, mem=97M989 5.44/3.02 decisions=1162, wrong=418, backtracks=239, failedAssignments=253, nogoods=78, foundSolutions=4, bestBound=-973 5.44/3.02 nFilterCalls=80796, avgTableProportion=0.9981170043179555, avgTableSize=530.1148076637458 5.44/3.02 5.44/3.03 num=20, depth=15..20, filters=16790, revisions=(14008,useless=8991), ccks=44259, wck=0.379, mem=97M989 5.44/3.03 decisions=1219, wrong=438, backtracks=251, failedAssignments=265, nogoods=80, foundSolutions=4, bestBound=-973 5.44/3.03 nFilterCalls=83194, avgTableProportion=0.9981169960768638, avgTableSize=530.1123879125898 5.44/3.03 5.44/3.04 num=21, depth=15..20, filters=17535, revisions=(14595,useless=9370), ccks=45805, wck=0.389, mem=97M989 5.44/3.04 decisions=1266, wrong=454, backtracks=260, failedAssignments=276, nogoods=81, foundSolutions=4, bestBound=-973 5.44/3.04 nFilterCalls=86317, avgTableProportion=0.9981169972610594, avgTableSize=530.1127356140737 5.44/3.04 5.44/3.05 o 12 5.44/3.05 num=22, depth=14..71, filters=18274, revisions=(15522,useless=10052), ccks=47859, wck=0.399, mem=97M989 5.44/3.05 decisions=1321, wrong=472, backtracks=270, failedAssignments=287, nogoods=83, foundSolutions=5, bestBound=12 5.44/3.05 nFilterCalls=88520, avgTableProportion=0.9981169906682069, avgTableSize=530.1107998192499 5.44/3.05 5.44/3.07 num=23, depth=8..14, filters=19218, revisions=(16313,useless=10471), ccks=51076, wck=0.419, mem=97M989 5.44/3.07 decisions=1387, wrong=500, backtracks=288, failedAssignments=300, nogoods=85, foundSolutions=5, bestBound=12 5.44/3.07 nFilterCalls=92322, avgTableProportion=0.9981169968930063, avgTableSize=530.1126275427308 5.44/3.07 5.44/3.08 num=24, depth=17..21, filters=19877, revisions=(16778,useless=10728), ccks=53029, wck=0.428, mem=97M989 5.44/3.08 decisions=1442, wrong=519, backtracks=297, failedAssignments=311, nogoods=88, foundSolutions=5, bestBound=12 5.44/3.08 nFilterCalls=96441, avgTableProportion=0.9981170037117834, avgTableSize=530.1146296699536 5.44/3.08 5.44/3.09 num=25, depth=15..21, filters=20621, revisions=(17316,useless=11016), ccks=55260, wck=0.437, mem=97M989 5.44/3.09 decisions=1502, wrong=541, backtracks=307, failedAssignments=323, nogoods=92, foundSolutions=5, bestBound=12 5.44/3.09 nFilterCalls=100692, avgTableProportion=0.9981170082343146, avgTableSize=530.1159575735908 5.44/3.09 5.44/3.10 num=26, depth=15..19, filters=21430, revisions=(17871,useless=11337), ccks=57610, wck=0.448, mem=97M989 5.44/3.10 decisions=1563, wrong=563, backtracks=317, failedAssignments=336, nogoods=96, foundSolutions=5, bestBound=12 5.44/3.10 nFilterCalls=104983, avgTableProportion=0.9981170226195433, avgTableSize=530.1201813626968 5.44/3.10 5.73/3.11 num=27, depth=15..20, filters=22315, revisions=(18490,useless=11678), ccks=60232, wck=0.462, mem=97M989 5.73/3.11 decisions=1634, wrong=590, backtracks=336, failedAssignments=350, nogoods=99, foundSolutions=5, bestBound=12 5.73/3.11 nFilterCalls=110181, avgTableProportion=0.9981170310673372, avgTableSize=530.1226618019441 5.73/3.11 5.73/3.12 num=28, depth=16..19, filters=23008, revisions=(19051,useless=11962), ccks=62576, wck=0.47, mem=97M989 5.73/3.12 decisions=1703, wrong=616, backtracks=347, failedAssignments=366, nogoods=104, foundSolutions=5, bestBound=12 5.73/3.12 nFilterCalls=113787, avgTableProportion=0.9981170248321553, avgTableSize=530.1208310263914 5.73/3.12 5.73/3.13 num=29, depth=15..20, filters=23912, revisions=(19689,useless=12280), ccks=65517, wck=0.483, mem=97M989 5.73/3.13 decisions=1780, wrong=647, backtracks=364, failedAssignments=383, nogoods=107, foundSolutions=5, bestBound=12 5.73/3.13 nFilterCalls=118840, avgTableProportion=0.99811701659118, avgTableSize=530.1184113093235 5.73/3.13 5.73/3.15 num=30, depth=15..20, filters=24938, revisions=(20426,useless=12719), ccks=68557, wck=0.497, mem=97M989 5.73/3.15 decisions=1861, wrong=679, backtracks=381, failedAssignments=402, nogoods=112, foundSolutions=5, bestBound=12 5.73/3.15 nFilterCalls=125327, avgTableProportion=0.9981170092231136, avgTableSize=530.1162478955054 5.73/3.15 5.73/3.16 num=31, depth=15..20, filters=26036, revisions=(21201,useless=13160), ccks=71880, wck=0.512, mem=97M989 5.73/3.16 decisions=1955, wrong=718, backtracks=403, failedAssignments=423, nogoods=119, foundSolutions=5, bestBound=12 5.73/3.16 nFilterCalls=131500, avgTableProportion=0.9981170209659239, avgTableSize=530.1196958174905 5.73/3.16 5.73/3.18 num=32, depth=16..20, filters=27296, revisions=(22069,useless=13668), ccks=75614, wck=0.53, mem=97M989 5.73/3.18 decisions=2050, wrong=757, backtracks=424, failedAssignments=446, nogoods=125, foundSolutions=5, bestBound=12 5.73/3.18 nFilterCalls=139077, avgTableProportion=0.9981170136210562, avgTableSize=530.1175392049009 5.73/3.18 5.73/3.19 o 18 5.73/3.19 num=33, depth=13..71, filters=28251, revisions=(22750,useless=14016), ccks=78308, wck=0.542, mem=97M989 5.73/3.19 decisions=2123, wrong=783, backtracks=437, failedAssignments=463, nogoods=129, foundSolutions=6, bestBound=18 5.73/3.19 nFilterCalls=143344, avgTableProportion=0.9981170172196777, avgTableSize=530.118595825427 5.73/3.19 5.92/3.22 num=34, depth=11..16, filters=29886, revisions=(24181,useless=14795), ccks=84098, wck=0.574, mem=97M989 5.92/3.22 decisions=2244, wrong=838, backtracks=471, failedAssignments=491, nogoods=136, foundSolutions=6, bestBound=18 5.92/3.22 nFilterCalls=150553, avgTableProportion=0.9981170074481096, avgTableSize=530.1157266876116 5.92/3.22 5.92/3.23 num=35, depth=15..20, filters=30485, revisions=(24605,useless=15021), ccks=85815, wck=0.583, mem=97M989 5.92/3.23 decisions=2300, wrong=858, backtracks=483, failedAssignments=502, nogoods=140, foundSolutions=6, bestBound=18 5.92/3.23 nFilterCalls=153434, avgTableProportion=0.9981170106798044, avgTableSize=530.1166755738624 5.92/3.23 5.92/3.24 num=36, depth=16..20, filters=31360, revisions=(25171,useless=15358), ccks=87938, wck=0.592, mem=97M989 5.92/3.24 decisions=2357, wrong=878, backtracks=493, failedAssignments=514, nogoods=145, foundSolutions=6, bestBound=18 5.92/3.24 nFilterCalls=157624, avgTableProportion=0.998117024705483, avgTableSize=530.1207937877481 5.92/3.24 5.92/3.25 num=37, depth=16..20, filters=31996, revisions=(25663,useless=15616), ccks=90211, wck=0.603, mem=97M989 5.92/3.25 decisions=2420, wrong=901, backtracks=506, failedAssignments=527, nogoods=150, foundSolutions=6, bestBound=18 5.92/3.25 nFilterCalls=161408, avgTableProportion=0.998117024851435, avgTableSize=530.1208366375893 5.92/3.25 5.92/3.27 num=38, depth=15..19, filters=33084, revisions=(26351,useless=16013), ccks=92834, wck=0.616, mem=100M631 5.92/3.27 decisions=2490, wrong=928, backtracks=521, failedAssignments=541, nogoods=152, foundSolutions=6, bestBound=18 5.92/3.27 nFilterCalls=167131, avgTableProportion=0.9981170320540319, avgTableSize=530.1229514572401 5.92/3.27 5.92/3.28 num=39, depth=15..19, filters=34347, revisions=(27122,useless=16450), ccks=96010, wck=0.631, mem=100M631 5.92/3.28 decisions=2566, wrong=958, backtracks=539, failedAssignments=557, nogoods=155, foundSolutions=6, bestBound=18 5.92/3.28 nFilterCalls=172900, avgTableProportion=0.9981170462698739, avgTableSize=530.1271255060728 5.92/3.28 5.92/3.29 num=40, depth=16..19, filters=35250, revisions=(27768,useless=16831), ccks=98412, wck=0.643, mem=100M631 5.92/3.29 decisions=2632, wrong=983, backtracks=554, failedAssignments=574, nogoods=161, foundSolutions=6, bestBound=18 5.92/3.29 nFilterCalls=177541, avgTableProportion=0.998117064244531, avgTableSize=530.132403219538 5.92/3.29 6.04/3.31 num=41, depth=14..20, filters=36347, revisions=(28605,useless=17288), ccks=102124, wck=0.66, mem=100M631 6.04/3.31 decisions=2731, wrong=1025, backtracks=584, failedAssignments=593, nogoods=164, foundSolutions=6, bestBound=18 6.04/3.31 nFilterCalls=183699, avgTableProportion=0.9981170586577524, avgTableSize=530.1307628239674 6.04/3.31 6.04/3.33 num=42, depth=13..19, filters=37545, revisions=(29470,useless=17774), ccks=105741, wck=0.677, mem=100M631 6.04/3.33 decisions=2827, wrong=1065, backtracks=609, failedAssignments=614, nogoods=166, foundSolutions=6, bestBound=18 6.04/3.33 nFilterCalls=189871, avgTableProportion=0.9981170587462348, avgTableSize=530.1307887987107 6.04/3.33 6.04/3.34 num=43, depth=14..20, filters=38593, revisions=(30334,useless=18212), ccks=108988, wck=0.688, mem=100M631 6.04/3.34 decisions=2924, wrong=1106, backtracks=632, failedAssignments=637, nogoods=169, foundSolutions=6, bestBound=18 6.04/3.34 nFilterCalls=193835, avgTableProportion=0.998117066434241, avgTableSize=530.1330461474965 6.04/3.34 6.04/3.36 num=44, depth=15..20, filters=40030, revisions=(31294,useless=18718), ccks=113307, wck=0.706, mem=100M631 6.04/3.36 decisions=3028, wrong=1150, backtracks=659, failedAssignments=662, nogoods=172, foundSolutions=6, bestBound=18 6.04/3.36 nFilterCalls=201087, avgTableProportion=0.9981170573417478, avgTableSize=530.130376404243 6.04/3.36 6.04/3.38 num=45, depth=15..20, filters=41905, revisions=(32439,useless=19382), ccks=117983, wck=0.73, mem=100M631 6.04/3.38 decisions=3134, wrong=1195, backtracks=686, failedAssignments=690, nogoods=175, foundSolutions=6, bestBound=18 6.04/3.38 nFilterCalls=211084, avgTableProportion=0.9981170647576872, avgTableSize=530.1325538648122 6.04/3.38 6.15/3.40 num=46, depth=14..21, filters=43618, revisions=(33580,useless=20035), ccks=122781, wck=0.751, mem=100M631 6.15/3.40 decisions=3248, wrong=1245, backtracks=718, failedAssignments=721, nogoods=176, foundSolutions=6, bestBound=18 6.15/3.40 nFilterCalls=219687, avgTableProportion=0.9981170699765545, avgTableSize=530.1340862226714 6.15/3.40 6.15/3.44 num=47, depth=13..20, filters=46340, revisions=(35190,useless=20981), ccks=128967, wck=0.786, mem=100M631 6.15/3.44 decisions=3389, wrong=1309, backtracks=761, failedAssignments=755, nogoods=177, foundSolutions=6, bestBound=18 6.15/3.44 nFilterCalls=232678, avgTableProportion=0.9981170802092668, avgTableSize=530.1370907434308 6.15/3.44 6.15/3.47 num=48, depth=13..18, filters=49112, revisions=(36868,useless=22016), ccks=135255, wck=0.822, mem=100M631 6.15/3.47 decisions=3527, wrong=1371, backtracks=792, failedAssignments=792, nogoods=182, foundSolutions=6, bestBound=18 6.15/3.47 nFilterCalls=246628, avgTableProportion=0.9981171001165773, avgTableSize=530.1429359196848 6.15/3.47 6.26/3.51 num=49, depth=13..18, filters=51700, revisions=(38502,useless=22965), ccks=141826, wck=0.86, mem=100M631 6.26/3.51 decisions=3678, wrong=1439, backtracks=838, failedAssignments=833, nogoods=187, foundSolutions=6, bestBound=18 6.26/3.51 nFilterCalls=259385, avgTableProportion=0.9981170977474797, avgTableSize=530.1422402991692 6.26/3.51 6.26/3.54 num=50, depth=13..19, filters=53999, revisions=(40120,useless=23859), ccks=148866, wck=0.895, mem=100M631 6.26/3.54 decisions=3838, wrong=1512, backtracks=881, failedAssignments=878, nogoods=194, foundSolutions=6, bestBound=18 6.26/3.54 nFilterCalls=270800, avgTableProportion=0.998117103699542, avgTableSize=530.143988183161 6.26/3.54 6.26/3.56 o 24 6.26/3.56 num=51, depth=14..71, filters=55101, revisions=(40940,useless=24273), ccks=152448, wck=0.907, mem=100M631 6.26/3.56 decisions=3931, wrong=1551, backtracks=904, failedAssignments=902, nogoods=196, foundSolutions=7, bestBound=24 6.26/3.56 nFilterCalls=276765, avgTableProportion=0.9981170985811937, avgTableSize=530.1424855021409 6.26/3.56 6.26/3.57 o 37 6.26/3.57 num=52, depth=12..71, filters=55610, revisions=(41402,useless=24548), ccks=153897, wck=0.919, mem=100M631 6.26/3.57 decisions=3969, wrong=1563, backtracks=910, failedAssignments=910, nogoods=199, foundSolutions=8, bestBound=37 6.26/3.57 nFilterCalls=279214, avgTableProportion=0.9981170978253564, avgTableSize=530.1422636400754 6.26/3.57 6.26/3.58 num=53, depth=14..17, filters=56267, revisions=(41940,useless=24866), ccks=155991, wck=0.928, mem=100M631 6.26/3.58 decisions=4017, wrong=1580, backtracks=917, failedAssignments=921, nogoods=206, foundSolutions=8, bestBound=37 6.26/3.58 nFilterCalls=281976, avgTableProportion=0.9981171000120792, avgTableSize=530.1429057792152 6.26/3.58 6.26/3.59 num=54, depth=13..17, filters=56918, revisions=(42449,useless=25111), ccks=158483, wck=0.939, mem=100M631 6.26/3.59 decisions=4073, wrong=1601, backtracks=932, failedAssignments=932, nogoods=211, foundSolutions=8, bestBound=37 6.26/3.59 nFilterCalls=285221, avgTableProportion=0.9981170990000555, avgTableSize=530.1426087139446 6.26/3.59 6.26/3.59 num=55, depth=13..17, filters=57443, revisions=(42918,useless=25328), ccks=160062, wck=0.945, mem=100M631 6.26/3.59 decisions=4124, wrong=1620, backtracks=942, failedAssignments=944, nogoods=212, foundSolutions=8, bestBound=37 6.26/3.59 nFilterCalls=287071, avgTableProportion=0.9981170984087643, avgTableSize=530.1424351467059 6.26/3.59 6.38/3.61 num=56, depth=14..21, filters=58395, revisions=(43562,useless=25681), ccks=162736, wck=0.958, mem=100M631 6.38/3.61 decisions=4188, wrong=1645, backtracks=962, failedAssignments=957, nogoods=214, foundSolutions=8, bestBound=37 6.38/3.61 nFilterCalls=291677, avgTableProportion=0.998117097496946, avgTableSize=530.1421675346359 6.38/3.61 6.38/3.62 num=57, depth=14..19, filters=59334, revisions=(44189,useless=26015), ccks=165138, wck=0.971, mem=100M631 6.38/3.62 decisions=4250, wrong=1668, backtracks=977, failedAssignments=971, nogoods=218, foundSolutions=8, bestBound=37 6.38/3.62 nFilterCalls=296015, avgTableProportion=0.9981170995822485, avgTableSize=530.1427799266929 6.38/3.62 6.38/3.63 num=58, depth=14..18, filters=60084, revisions=(44816,useless=26346), ccks=167755, wck=0.982, mem=100M631 6.38/3.63 decisions=4318, wrong=1695, backtracks=994, failedAssignments=987, nogoods=222, foundSolutions=8, bestBound=37 6.38/3.63 nFilterCalls=299032, avgTableProportion=0.9981170974890267, avgTableSize=530.142165386982 6.38/3.63 6.38/3.64 num=59, depth=13..17, filters=60726, revisions=(45413,useless=26654), ccks=169899, wck=0.989, mem=100M631 6.38/3.64 decisions=4381, wrong=1720, backtracks=1005, failedAssignments=1004, nogoods=224, foundSolutions=8, bestBound=37 6.38/3.64 nFilterCalls=300980, avgTableProportion=0.998117097840354, avgTableSize=530.1422685892751 6.38/3.64 6.38/3.65 num=60, depth=13..19, filters=61873, revisions=(46166,useless=27084), ccks=173123, wck=1.005, mem=103M274 6.38/3.65 decisions=4456, wrong=1751, backtracks=1024, failedAssignments=1023, nogoods=225, foundSolutions=8, bestBound=37 6.38/3.65 nFilterCalls=306368, avgTableProportion=0.9981171022582953, avgTableSize=530.1435659076666 6.38/3.65 6.38/3.67 num=61, depth=14..18, filters=63369, revisions=(47229,useless=27658), ccks=177302, wck=1.024, mem=103M274 6.38/3.67 decisions=4553, wrong=1792, backtracks=1049, failedAssignments=1044, nogoods=230, foundSolutions=8, bestBound=37 6.38/3.67 nFilterCalls=312734, avgTableProportion=0.9981171006031416, avgTableSize=530.1430800616498 6.38/3.67 6.38/3.70 num=62, depth=12..18, filters=64756, revisions=(48200,useless=28229), ccks=180790, wck=1.046, mem=103M274 6.38/3.70 decisions=4648, wrong=1832, backtracks=1072, failedAssignments=1067, nogoods=233, foundSolutions=8, bestBound=37 6.38/3.70 nFilterCalls=319178, avgTableProportion=0.9981171095870899, avgTableSize=530.145718063275 6.38/3.70 6.49/3.71 num=63, depth=13..17, filters=65906, revisions=(49201,useless=28733), ccks=184319, wck=1.06, mem=103M274 6.49/3.71 decisions=4748, wrong=1875, backtracks=1098, failedAssignments=1092, nogoods=236, foundSolutions=8, bestBound=37 6.49/3.71 nFilterCalls=323579, avgTableProportion=0.9981171080468789, avgTableSize=530.145265916515 6.49/3.71 6.49/3.73 num=64, depth=11..18, filters=67393, revisions=(50446,useless=29381), ccks=188882, wck=1.079, mem=103M274 6.49/3.73 decisions=4855, wrong=1922, backtracks=1129, failedAssignments=1120, nogoods=240, foundSolutions=8, bestBound=37 6.49/3.73 nFilterCalls=329073, avgTableProportion=0.9981171109848456, avgTableSize=530.1461286705381 6.49/3.73 6.49/3.76 num=65, depth=12..19, filters=69305, revisions=(51753,useless=30123), ccks=194019, wck=1.108, mem=103M274 6.49/3.76 decisions=4983, wrong=1979, backtracks=1167, failedAssignments=1151, nogoods=243, foundSolutions=8, bestBound=37 6.49/3.76 nFilterCalls=338309, avgTableProportion=0.9981171155582582, avgTableSize=530.1474716900822 6.49/3.76 6.49/3.79 num=66, depth=11..19, filters=71434, revisions=(53053,useless=30844), ccks=199080, wck=1.143, mem=103M274 6.49/3.79 decisions=5111, wrong=2037, backtracks=1207, failedAssignments=1185, nogoods=247, foundSolutions=8, bestBound=37 6.49/3.79 nFilterCalls=348611, avgTableProportion=0.9981171229311484, avgTableSize=530.1496367010794 6.49/3.79 6.59/3.81 num=67, depth=12..17, filters=73118, revisions=(54545,useless=31656), ccks=204881, wck=1.163, mem=103M274 6.59/3.81 decisions=5250, wrong=2100, backtracks=1243, failedAssignments=1222, nogoods=252, foundSolutions=8, bestBound=37 6.59/3.81 nFilterCalls=354560, avgTableProportion=0.9981171213248538, avgTableSize=530.1491651624549 6.59/3.81 6.59/3.85 num=68, depth=11..20, filters=75137, revisions=(56131,useless=32523), ccks=211390, wck=1.198, mem=103M274 6.59/3.85 decisions=5409, wrong=2173, backtracks=1292, failedAssignments=1263, nogoods=255, foundSolutions=8, bestBound=37 6.59/3.85 nFilterCalls=364279, avgTableProportion=0.998117119223181, avgTableSize=530.1485482281438 6.59/3.85 6.59/3.87 num=69, depth=12..18, filters=77339, revisions=(58006,useless=33590), ccks=217938, wck=1.223, mem=103M274 6.59/3.87 decisions=5570, wrong=2247, backtracks=1339, failedAssignments=1308, nogoods=259, foundSolutions=8, bestBound=37 6.59/3.87 nFilterCalls=372081, avgTableProportion=0.9981171215571009, avgTableSize=530.1492336346118 6.59/3.87 6.69/3.93 num=70, depth=10..17, filters=81423, revisions=(60573,useless=35119), ccks=227056, wck=1.282, mem=103M274 6.69/3.93 decisions=5774, wrong=2343, backtracks=1401, failedAssignments=1358, nogoods=266, foundSolutions=8, bestBound=37 6.69/3.93 nFilterCalls=392407, avgTableProportion=0.9981171200344464, avgTableSize=530.14878684631 6.69/3.93 6.69/3.96 num=71, depth=12..19, filters=84148, revisions=(62677,useless=36304), ccks=233930, wck=1.312, mem=103M274 6.69/3.96 decisions=5963, wrong=2431, backtracks=1455, failedAssignments=1413, nogoods=270, foundSolutions=8, bestBound=37 6.69/3.96 nFilterCalls=403382, avgTableProportion=0.9981171221959068, avgTableSize=530.1494216400336 6.69/3.96 6.69/4.01 num=72, depth=11..18, filters=87167, revisions=(64978,useless=37601), ccks=243467, wck=1.356, mem=103M274 6.69/4.01 decisions=6166, wrong=2527, backtracks=1521, failedAssignments=1474, nogoods=277, foundSolutions=8, bestBound=37 6.69/4.01 nFilterCalls=415888, avgTableProportion=0.9981171227959057, avgTableSize=530.1495979686839 6.69/4.01 6.80/4.06 num=73, depth=11..19, filters=90595, revisions=(67390,useless=38942), ccks=253023, wck=1.408, mem=103M274 6.80/4.06 decisions=6394, wrong=2635, backtracks=1593, failedAssignments=1541, nogoods=279, foundSolutions=8, bestBound=37 6.80/4.06 nFilterCalls=432020, avgTableProportion=0.9981171277671756, avgTableSize=530.1510578213971 6.80/4.06 6.91/4.15 num=74, depth=9..17, filters=96548, revisions=(70857,useless=41060), ccks=266078, wck=1.501, mem=105M917 6.91/4.15 decisions=6664, wrong=2765, backtracks=1678, failedAssignments=1615, nogoods=286, foundSolutions=8, bestBound=37 6.91/4.15 nFilterCalls=460797, avgTableProportion=0.9981171371380309, avgTableSize=530.1538095951146 6.91/4.15 6.91/4.19 num=75, depth=10..17, filters=100207, revisions=(73979,useless=42711), ccks=277019, wck=1.542, mem=105M917 6.91/4.19 decisions=6934, wrong=2894, backtracks=1748, failedAssignments=1696, nogoods=290, foundSolutions=8, bestBound=37 6.91/4.19 nFilterCalls=472152, avgTableProportion=0.9981171371556322, avgTableSize=530.1538148731764 6.91/4.19 7.00/4.28 num=76, depth=11..19, filters=105552, revisions=(77564,useless=44766), ccks=291301, wck=1.634, mem=105M917 7.00/4.28 decisions=7283, wrong=3062, backtracks=1854, failedAssignments=1785, nogoods=295, foundSolutions=8, bestBound=37 7.00/4.28 nFilterCalls=499254, avgTableProportion=0.9981171299600171, avgTableSize=530.1517023398911 7.00/4.28 7.10/4.37 num=77, depth=11..18, filters=110827, revisions=(81153,useless=46859), ccks=305875, wck=1.722, mem=105M917 7.10/4.37 decisions=7631, wrong=3230, backtracks=1964, failedAssignments=1883, nogoods=304, foundSolutions=8, bestBound=37 7.10/4.37 nFilterCalls=526406, avgTableProportion=0.9981171242203832, avgTableSize=530.150017287037 7.10/4.37 7.21/4.47 num=78, depth=10..20, filters=116832, revisions=(85384,useless=49094), ccks=324719, wck=1.822, mem=105M917 7.21/4.47 decisions=8022, wrong=3419, backtracks=2090, failedAssignments=1991, nogoods=307, foundSolutions=8, bestBound=37 7.21/4.47 nFilterCalls=554852, avgTableProportion=0.9981171225906704, avgTableSize=530.1495389761594 7.21/4.47 7.31/4.54 o 43 7.31/4.55 num=79, depth=11..71, filters=122237, revisions=(89978,useless=51655), ccks=342988, wck=1.895, mem=105M917 7.31/4.55 decisions=8457, wrong=3630, backtracks=2221, failedAssignments=2106, nogoods=315, foundSolutions=9, bestBound=43 7.31/4.55 nFilterCalls=576894, avgTableProportion=0.9981171189409225, avgTableSize=530.1484674827611 7.31/4.55 7.31/4.55 o 79 7.31/4.55 num=80, depth=73..71, filters=122395, revisions=(90207,useless=51804), ccks=343348, wck=1.9, mem=105M917 7.31/4.55 decisions=8472, wrong=3630, backtracks=2221, failedAssignments=2106, nogoods=315, foundSolutions=10, bestBound=79 7.31/4.55 nFilterCalls=577700, avgTableProportion=0.9981171187188567, avgTableSize=530.148402284923 7.31/4.55 7.31/4.56 num=81, depth=8..14, filters=123095, revisions=(90860,useless=52162), ccks=344727, wck=1.91, mem=105M917 7.31/4.56 decisions=8512, wrong=3646, backtracks=2231, failedAssignments=2117, nogoods=317, foundSolutions=10, bestBound=79 7.31/4.56 nFilterCalls=579791, avgTableProportion=0.9981171187111216, avgTableSize=530.1484000269063 7.31/4.56 7.31/4.57 num=82, depth=9..13, filters=123601, revisions=(91360,useless=52410), ccks=346052, wck=1.918, mem=105M917 7.31/4.57 decisions=8550, wrong=3660, backtracks=2238, failedAssignments=2128, nogoods=322, foundSolutions=10, bestBound=79 7.31/4.57 nFilterCalls=581206, avgTableProportion=0.9981171181896491, avgTableSize=530.1482469210572 7.31/4.57 7.31/4.58 num=83, depth=6..11, filters=124294, revisions=(91964,useless=52679), ccks=347663, wck=1.929, mem=105M917 7.31/4.58 decisions=8594, wrong=3679, backtracks=2248, failedAssignments=2140, nogoods=328, foundSolutions=10, bestBound=79 7.31/4.58 nFilterCalls=583297, avgTableProportion=0.9981171163621468, avgTableSize=530.1477103431014 7.31/4.58 7.31/4.59 num=84, depth=6..10, filters=125031, revisions=(92638,useless=53014), ccks=349427, wck=1.942, mem=105M917 7.31/4.59 decisions=8645, wrong=3701, backtracks=2260, failedAssignments=2153, nogoods=331, foundSolutions=10, bestBound=79 7.31/4.59 nFilterCalls=585700, avgTableProportion=0.9981171155366887, avgTableSize=530.1474679870241 7.31/4.59 7.43/4.60 num=85, depth=8..13, filters=125896, revisions=(93470,useless=53414), ccks=351846, wck=1.951, mem=105M917 7.43/4.60 decisions=8708, wrong=3727, backtracks=2275, failedAssignments=2167, nogoods=335, foundSolutions=10, bestBound=79 7.43/4.60 nFilterCalls=587395, avgTableProportion=0.9981171148353276, avgTableSize=530.1472620638582 7.43/4.60 7.43/4.61 num=86, depth=7..11, filters=126838, revisions=(94405,useless=53907), ccks=354062, wck=1.965, mem=105M917 7.43/4.61 decisions=8763, wrong=3750, backtracks=2286, failedAssignments=2183, nogoods=344, foundSolutions=10, bestBound=79 7.43/4.61 nFilterCalls=589919, avgTableProportion=0.9981171130819929, avgTableSize=530.1467472653026 7.43/4.61 7.43/4.63 num=87, depth=9..15, filters=128066, revisions=(95437,useless=54459), ccks=356951, wck=1.981, mem=105M917 7.43/4.63 decisions=8834, wrong=3781, backtracks=2309, failedAssignments=2200, nogoods=348, foundSolutions=10, bestBound=79 7.43/4.63 nFilterCalls=593209, avgTableProportion=0.9981171137433266, avgTableSize=530.146941465824 7.43/4.63 7.43/4.64 num=88, depth=7..14, filters=129002, revisions=(96360,useless=54925), ccks=358990, wck=1.994, mem=105M917 7.43/4.64 decisions=8900, wrong=3810, backtracks=2323, failedAssignments=2219, nogoods=353, foundSolutions=10, bestBound=79 7.43/4.64 nFilterCalls=595815, avgTableProportion=0.9981171121603051, avgTableSize=530.1464766748068 7.43/4.64 7.43/4.66 num=89, depth=7..13, filters=130178, revisions=(97386,useless=55462), ccks=361764, wck=2.015, mem=105M917 7.43/4.66 decisions=8977, wrong=3844, backtracks=2346, failedAssignments=2240, nogoods=356, foundSolutions=10, bestBound=79 7.43/4.66 nFilterCalls=599882, avgTableProportion=0.9981171108957515, avgTableSize=530.1461054007289 7.43/4.66 7.43/4.69 num=90, depth=6..12, filters=131738, revisions=(98895,useless=56245), ccks=365233, wck=2.037, mem=108M559 7.43/4.69 decisions=9066, wrong=3885, backtracks=2371, failedAssignments=2263, nogoods=362, foundSolutions=10, bestBound=79 7.43/4.69 nFilterCalls=603970, avgTableProportion=0.998117108023866, avgTableSize=530.1452621818964 7.43/4.69 7.55/4.70 num=91, depth=8..14, filters=132962, revisions=(99985,useless=56798), ccks=368384, wck=2.053, mem=108M559 7.55/4.70 decisions=9147, wrong=3921, backtracks=2387, failedAssignments=2288, nogoods=371, foundSolutions=10, bestBound=79 7.55/4.70 nFilterCalls=607038, avgTableProportion=0.9981171064884222, avgTableSize=530.1448113627154 7.55/4.70 7.55/4.72 num=92, depth=6..12, filters=134468, revisions=(101511,useless=57617), ccks=371943, wck=2.074, mem=108M559 7.55/4.72 decisions=9242, wrong=3965, backtracks=2410, failedAssignments=2316, nogoods=383, foundSolutions=10, bestBound=79 7.55/4.72 nFilterCalls=610777, avgTableProportion=0.9981171034970434, avgTableSize=530.1439330557633 7.55/4.72 7.55/4.75 num=93, depth=6..14, filters=136026, revisions=(103035,useless=58415), ccks=376397, wck=2.096, mem=108M559 7.55/4.75 decisions=9343, wrong=4012, backtracks=2434, failedAssignments=2347, nogoods=391, foundSolutions=10, bestBound=79 7.55/4.75 nFilterCalls=614641, avgTableProportion=0.9981171025430351, avgTableSize=530.1436529616475 7.55/4.75 7.55/4.78 num=94, depth=6..12, filters=138060, revisions=(104891,useless=59392), ccks=381574, wck=2.128, mem=108M559 7.55/4.78 decisions=9471, wrong=4072, backtracks=2469, failedAssignments=2381, nogoods=398, foundSolutions=10, bestBound=79 7.55/4.78 nFilterCalls=620832, avgTableProportion=0.998117099381144, avgTableSize=530.1427246018246 7.55/4.78 7.65/4.82 num=95, depth=5..15, filters=140705, revisions=(107366,useless=60721), ccks=387350, wck=2.171, mem=108M559 7.65/4.82 decisions=9627, wrong=4146, backtracks=2521, failedAssignments=2418, nogoods=401, foundSolutions=10, bestBound=79 7.65/4.82 nFilterCalls=628587, avgTableProportion=0.9981170966186816, avgTableSize=530.1419135298694 7.65/4.82 7.65/4.86 num=96, depth=7..15, filters=143187, revisions=(109572,useless=61914), ccks=394063, wck=2.211, mem=108M559 7.65/4.86 decisions=9788, wrong=4221, backtracks=2568, failedAssignments=2459, nogoods=404, foundSolutions=10, bestBound=79 7.65/4.86 nFilterCalls=636938, avgTableProportion=0.9981170931102006, avgTableSize=530.1408834140842 7.65/4.86 7.75/4.90 num=97, depth=5..13, filters=146160, revisions=(112336,useless=63347), ccks=401398, wck=2.255, mem=108M559 7.75/4.90 decisions=9959, wrong=4302, backtracks=2616, failedAssignments=2504, nogoods=413, foundSolutions=10, bestBound=79 7.75/4.90 nFilterCalls=644822, avgTableProportion=0.998117086673109, avgTableSize=530.1389933966273 7.75/4.90 7.75/4.95 num=98, depth=6..15, filters=149298, revisions=(115200,useless=64860), ccks=409516, wck=2.302, mem=108M559 7.75/4.95 decisions=10142, wrong=4390, backtracks=2675, failedAssignments=2554, nogoods=417, foundSolutions=10, bestBound=79 7.75/4.95 nFilterCalls=654186, avgTableProportion=0.9981170822501816, avgTableSize=530.1376947840522 7.75/4.95 7.88/5.01 num=99, depth=6..12, filters=152630, revisions=(118182,useless=66472), ccks=418433, wck=2.358, mem=108M559 7.88/5.01 decisions=10338, wrong=4485, backtracks=2730, failedAssignments=2609, nogoods=423, foundSolutions=10, bestBound=79 7.88/5.01 nFilterCalls=664602, avgTableProportion=0.9981170793278622, avgTableSize=530.1368367835186 7.88/5.01 7.88/5.07 num=100, depth=5..13, filters=155873, revisions=(121016,useless=67936), ccks=426387, wck=2.419, mem=108M559 7.88/5.07 decisions=10541, wrong=4584, backtracks=2789, failedAssignments=2670, nogoods=431, foundSolutions=10, bestBound=79 7.88/5.07 nFilterCalls=676063, avgTableProportion=0.9981170768023773, avgTableSize=530.1360953047275 7.88/5.07 7.98/5.13 num=101, depth=5..14, filters=159595, revisions=(124322,useless=69667), ccks=435445, wck=2.481, mem=108M559 7.98/5.13 decisions=10758, wrong=4690, backtracks=2852, failedAssignments=2737, nogoods=439, foundSolutions=10, bestBound=79 7.98/5.13 nFilterCalls=687357, avgTableProportion=0.9981170742303265, avgTableSize=530.1353401507514 7.98/5.13 8.08/5.20 num=102, depth=7..15, filters=163620, revisions=(127933,useless=71614), ccks=446096, wck=2.55, mem=108M559 8.08/5.20 decisions=11021, wrong=4816, backtracks=2932, failedAssignments=2811, nogoods=448, foundSolutions=10, bestBound=79 8.08/5.20 nFilterCalls=700970, avgTableProportion=0.9981170694522031, avgTableSize=530.1339372583706 8.08/5.20 8.08/5.27 num=103, depth=3..14, filters=168180, revisions=(132156,useless=73753), ccks=457517, wck=2.617, mem=108M559 8.08/5.27 decisions=11293, wrong=4949, backtracks=3016, failedAssignments=2892, nogoods=454, foundSolutions=10, bestBound=79 8.08/5.27 nFilterCalls=713076, avgTableProportion=0.9981170686522881, avgTableSize=530.1337024384497 8.08/5.27 8.18/5.35 num=104, depth=4..12, filters=173665, revisions=(137046,useless=76336), ccks=470787, wck=2.702, mem=108M559 8.18/5.35 decisions=11597, wrong=5099, backtracks=3107, failedAssignments=2981, nogoods=455, foundSolutions=10, bestBound=79 8.18/5.35 nFilterCalls=728916, avgTableProportion=0.9981170657091939, avgTableSize=530.1328383517442 8.18/5.35 8.28/5.47 num=105, depth=8..15, filters=179489, revisions=(141568,useless=78820), ccks=487660, wck=2.817, mem=111M201 8.28/5.47 decisions=11994, wrong=5293, backtracks=3237, failedAssignments=3079, nogoods=465, foundSolutions=10, bestBound=79 8.28/5.47 nFilterCalls=754297, avgTableProportion=0.9981170649477429, avgTableSize=530.1326148718608 8.28/5.47 8.41/5.56 num=106, depth=6..14, filters=185229, revisions=(146887,useless=81601), ccks=503035, wck=2.908, mem=111M201 8.41/5.56 decisions=12358, wrong=5471, backtracks=3348, failedAssignments=3187, nogoods=475, foundSolutions=10, bestBound=79 8.41/5.56 nFilterCalls=770895, avgTableProportion=0.9981170630074387, avgTableSize=530.1320452201662 8.41/5.56 8.52/5.65 num=107, depth=6..15, filters=191743, revisions=(152609,useless=84724), ccks=519274, wck=3.004, mem=111M201 8.52/5.65 decisions=12766, wrong=5671, backtracks=3486, failedAssignments=3306, nogoods=483, foundSolutions=10, bestBound=79 8.52/5.65 nFilterCalls=790578, avgTableProportion=0.9981170626537573, avgTableSize=530.1319414403133 8.52/5.65 8.62/5.78 num=108, depth=3..13, filters=198729, revisions=(159043,useless=88113), ccks=538598, wck=3.126, mem=111M201 8.62/5.78 decisions=13219, wrong=5895, backtracks=3632, failedAssignments=3437, nogoods=487, foundSolutions=10, bestBound=79 8.62/5.78 nFilterCalls=811814, avgTableProportion=0.9981170576615545, avgTableSize=530.1304757000988 8.62/5.78 8.86/5.92 num=109, depth=4..11, filters=207493, revisions=(166774,useless=92219), ccks=560355, wck=3.275, mem=111M201 8.86/5.92 decisions=13709, wrong=6137, backtracks=3789, failedAssignments=3581, nogoods=499, foundSolutions=10, bestBound=79 8.86/5.92 nFilterCalls=838643, avgTableProportion=0.9981170512548462, avgTableSize=530.1285946463513 8.86/5.92 8.97/6.08 num=110, depth=7..15, filters=216257, revisions=(173814,useless=96042), ccks=584710, wck=3.433, mem=111M201 8.97/6.08 decisions=14270, wrong=6413, backtracks=3990, failedAssignments=3739, nogoods=508, foundSolutions=10, bestBound=79 8.97/6.08 nFilterCalls=872333, avgTableProportion=0.998117043265138, avgTableSize=530.1262488063618 8.97/6.08 9.26/6.31 num=111, depth=3..14, filters=227873, revisions=(183058,useless=101238), ccks=611268, wck=3.664, mem=113M844 9.26/6.31 decisions=14913, wrong=6732, backtracks=4202, failedAssignments=3913, nogoods=512, foundSolutions=10, bestBound=79 9.26/6.31 nFilterCalls=916944, avgTableProportion=0.9981170441149847, avgTableSize=530.1264984557399 9.26/6.31 9.36/6.49 num=112, depth=6..14, filters=240214, revisions=(193503,useless=106927), ccks=645117, wck=3.839, mem=113M844 9.36/6.49 decisions=15637, wrong=7090, backtracks=4426, failedAssignments=4104, nogoods=521, foundSolutions=10, bestBound=79 9.36/6.49 nFilterCalls=952380, avgTableProportion=0.9981170361951626, avgTableSize=530.1241731241731 9.36/6.49 9.66/6.72 num=113, depth=4..12, filters=254251, revisions=(205652,useless=113447), ccks=677148, wck=4.066, mem=113M844 9.66/6.72 decisions=16411, wrong=7473, backtracks=4688, failedAssignments=4315, nogoods=525, foundSolutions=10, bestBound=79 9.66/6.72 nFilterCalls=993869, avgTableProportion=0.9981170317235295, avgTableSize=530.122860256231 9.66/6.72 9.97/7.03 num=114, depth=4..13, filters=270482, revisions=(218971,useless=120923), ccks=712982, wck=4.38, mem=116M486 9.97/7.03 decisions=17293, wrong=7912, backtracks=4984, failedAssignments=4547, nogoods=530, foundSolutions=10, bestBound=79 9.97/7.03 nFilterCalls=1051508, avgTableProportion=0.9981170288711116, avgTableSize=530.122022847187 9.97/7.03 10.16/7.26 num=115, depth=6..15, filters=284721, revisions=(230736,useless=127618), ccks=751481, wck=4.614, mem=116M486 10.16/7.26 decisions=18188, wrong=8355, backtracks=5288, failedAssignments=4802, nogoods=540, foundSolutions=10, bestBound=79 10.16/7.26 nFilterCalls=1100827, avgTableProportion=0.9981170260705177, avgTableSize=530.121200697294 10.16/7.26 10.46/7.54 num=116, depth=5..14, filters=299540, revisions=(243188,useless=134604), ccks=794534, wck=4.891, mem=116M486 10.46/7.54 decisions=19154, wrong=8835, backtracks=5612, failedAssignments=5083, nogoods=550, foundSolutions=10, bestBound=79 10.46/7.54 nFilterCalls=1154834, avgTableProportion=0.9981170259263883, avgTableSize=530.121158538803 10.46/7.54 10.76/7.86 num=117, depth=6..16, filters=318451, revisions=(258274,useless=143290), ccks=837534, wck=5.21, mem=119M129 10.76/7.86 decisions=20214, wrong=9361, backtracks=5975, failedAssignments=5392, nogoods=563, foundSolutions=10, bestBound=79 10.76/7.86 nFilterCalls=1221245, avgTableProportion=0.9981170323921915, avgTableSize=530.1230572080132 10.76/7.86 11.16/8.28 num=118, depth=4..14, filters=340239, revisions=(275201,useless=153059), ccks=896156, wck=5.631, mem=119M129 11.16/8.28 decisions=21496, wrong=10000, backtracks=6400, failedAssignments=5732, nogoods=564, foundSolutions=10, bestBound=79 11.16/8.28 nFilterCalls=1305161, avgTableProportion=0.9981170322180658, avgTableSize=530.1230062804512 11.16/8.28 11.57/8.70 num=119, depth=3..13, filters=363150, revisions=(295653,useless=164518), ccks=953624, wck=6.046, mem=119M129 11.57/8.70 decisions=22830, wrong=10664, backtracks=6855, failedAssignments=6106, nogoods=572, foundSolutions=10, bestBound=79 11.57/8.70 nFilterCalls=1378825, avgTableProportion=0.9981170225618008, avgTableSize=530.120171160227 11.57/8.70 12.17/9.27 num=120, depth=3..15, filters=389759, revisions=(316669,useless=176539), ccks=1017231, wck=6.616, mem=121M771 12.17/9.27 decisions=24359, wrong=11427, backtracks=7372, failedAssignments=6517, nogoods=573, foundSolutions=10, bestBound=79 12.17/9.27 nFilterCalls=1487282, avgTableProportion=0.9981170275568041, avgTableSize=530.1216379946775 12.17/9.27 12.77/9.83 num=121, depth=3..15, filters=416456, revisions=(338496,useless=188587), ccks=1082857, wck=7.175, mem=124M414 12.77/9.83 decisions=26004, wrong=12247, backtracks=7923, failedAssignments=6969, nogoods=579, foundSolutions=10, bestBound=79 12.77/9.83 nFilterCalls=1590687, avgTableProportion=0.9981170238758047, avgTableSize=530.1205573440909 12.77/9.83 13.17/10.28 num=122, depth=5..14, filters=444939, revisions=(362471,useless=202413), ccks=1155909, wck=7.635, mem=124M414 13.17/10.28 decisions=27744, wrong=13114, backtracks=8487, failedAssignments=7466, nogoods=589, foundSolutions=10, bestBound=79 13.17/10.28 nFilterCalls=1681831, avgTableProportion=0.9981170310438149, avgTableSize=530.1226621461966 13.17/10.28 13.77/10.82 num=123, depth=4..14, filters=476897, revisions=(387763,useless=217113), ccks=1243226, wck=8.174, mem=127M56 13.77/10.82 decisions=29643, wrong=14060, backtracks=9085, failedAssignments=8013, nogoods=596, foundSolutions=10, bestBound=79 13.77/10.82 nFilterCalls=1795577, avgTableProportion=0.9981170368353784, avgTableSize=530.1243628092808 13.77/10.82 14.38/11.45 num=124, depth=3..13, filters=511596, revisions=(418963,useless=234692), ccks=1333531, wck=8.803, mem=129M698 14.38/11.45 decisions=31856, wrong=15164, backtracks=9811, failedAssignments=8615, nogoods=603, foundSolutions=10, bestBound=79 14.38/11.45 nFilterCalls=1908957, avgTableProportion=0.9981170350075839, avgTableSize=530.123826256956 14.38/11.45 15.18/12.21 num=125, depth=3..13, filters=554718, revisions=(456082,useless=255827), ccks=1438857, wck=9.562, mem=129M698 15.18/12.21 decisions=34263, wrong=16365, backtracks=10612, failedAssignments=9277, nogoods=617, foundSolutions=10, bestBound=79 15.18/12.21 nFilterCalls=2046407, avgTableProportion=0.9981170279674327, avgTableSize=530.1217592590331 15.18/12.21 15.99/13.09 num=126, depth=4..16, filters=601250, revisions=(490553,useless=276084), ccks=1556085, wck=10.438, mem=132M341 15.99/13.09 decisions=36811, wrong=17635, backtracks=11460, failedAssignments=10005, nogoods=629, foundSolutions=10, bestBound=79 15.99/13.09 nFilterCalls=2226420, avgTableProportion=0.9981170291863335, avgTableSize=530.1221171207588 15.99/13.09 17.11/14.12 num=127, depth=3..13, filters=654187, revisions=(533844,useless=300558), ccks=1690127, wck=11.473, mem=137M626 17.11/14.12 decisions=39693, wrong=19073, backtracks=12492, failedAssignments=10806, nogoods=645, foundSolutions=10, bestBound=79 17.11/14.12 nFilterCalls=2409034, avgTableProportion=0.9981170297602364, avgTableSize=530.1222855302167 17.11/14.12 18.11/15.11 num=128, depth=4..15, filters=706855, revisions=(576662,useless=325677), ccks=1829667, wck=12.458, mem=140M268 18.11/15.11 decisions=42808, wrong=20628, backtracks=13545, failedAssignments=11687, nogoods=657, foundSolutions=10, bestBound=79 18.11/15.11 nFilterCalls=2600651, avgTableProportion=0.9981170314459927, avgTableSize=530.12278041152 18.11/15.11 19.21/16.29 num=129, depth=3..16, filters=768036, revisions=(625606,useless=353727), ccks=1977698, wck=13.64, mem=142M778 19.21/16.29 decisions=46375, wrong=22409, backtracks=14744, failedAssignments=12657, nogoods=671, foundSolutions=10, bestBound=79 19.21/16.29 nFilterCalls=2827566, avgTableProportion=0.998117038914466, avgTableSize=530.1249732101744 19.21/16.29 20.55/17.53 num=130, depth=2..15, filters=829856, revisions=(678721,useless=384138), ccks=2133848, wck=14.881, mem=29M764 20.55/17.53 decisions=50135, wrong=24286, backtracks=16075, failedAssignments=13724, nogoods=677, foundSolutions=10, bestBound=79 20.55/17.53 nFilterCalls=3048512, avgTableProportion=0.9981170263236133, avgTableSize=530.1212762160687 20.55/17.53 21.85/18.88 num=131, depth=4..16, filters=905519, revisions=(735253,useless=418754), ccks=2318758, wck=16.233, mem=34M942 21.85/18.88 decisions=54262, wrong=26346, backtracks=17452, failedAssignments=14897, nogoods=686, foundSolutions=10, bestBound=79 21.85/18.88 nFilterCalls=3326180, avgTableProportion=0.9981170339024648, avgTableSize=530.1235014340775 21.85/18.88 23.45/20.40 num=132, depth=3..16, filters=981471, revisions=(797491,useless=454588), ccks=2526667, wck=17.75, mem=38M852 23.45/20.40 decisions=58832, wrong=28627, backtracks=19056, failedAssignments=16188, nogoods=693, foundSolutions=10, bestBound=79 23.45/20.40 nFilterCalls=3614645, avgTableProportion=0.9981170301537842, avgTableSize=530.1224006783516 23.45/20.40 25.16/22.14 num=133, depth=2..15, filters=1069903, revisions=(871478,useless=497236), ccks=2749993, wck=19.487, mem=44M31 25.16/22.14 decisions=63951, wrong=31184, backtracks=20783, failedAssignments=17608, nogoods=703, foundSolutions=10, bestBound=79 25.16/22.14 nFilterCalls=3933157, avgTableProportion=0.9981170319879361, avgTableSize=530.1229391554926 25.16/22.14 26.75/23.76 num=134, depth=2..15, filters=1160149, revisions=(952407,useless=544155), ccks=2987291, wck=21.113, mem=49M209 26.75/23.76 decisions=69524, wrong=33968, backtracks=22652, failedAssignments=19170, nogoods=709, foundSolutions=10, bestBound=79 26.75/23.76 nFilterCalls=4210896, avgTableProportion=0.9981170303931529, avgTableSize=530.1224708470596 26.75/23.76 27.85/24.84 o 84 27.85/24.84 num=135, depth=1..71, filters=1214726, revisions=(1000938,useless=571547), ccks=3134196, wck=22.192, mem=51M798 27.85/24.84 decisions=72996, wrong=35699, backtracks=23855, failedAssignments=20155, nogoods=717, foundSolutions=11, bestBound=84 27.85/24.84 nFilterCalls=4407125, avgTableProportion=0.9981170278605788, avgTableSize=530.1217272031085 27.85/24.84 28.85/25.84 o 89 28.85/25.84 num=136, depth=1..71, filters=1259710, revisions=(1038614,useless=593953), ccks=3236434, wck=23.186, mem=56M976 28.85/25.84 decisions=75536, wrong=36964, backtracks=24754, failedAssignments=20913, nogoods=733, foundSolutions=12, bestBound=89 28.85/25.84 nFilterCalls=4579367, avgTableProportion=0.998117027622274, avgTableSize=530.1216572072079 28.85/25.84 28.85/25.85 num=137, depth=5..14, filters=1260319, revisions=(1039191,useless=594294), ccks=3237945, wck=23.2, mem=56M976 28.85/25.85 decisions=75578, wrong=36982, backtracks=24767, failedAssignments=20924, nogoods=735, foundSolutions=12, bestBound=89 28.85/25.85 nFilterCalls=4581820, avgTableProportion=0.9981170276643284, avgTableSize=530.1216695548931 28.85/25.85 28.85/25.86 num=138, depth=5..9, filters=1260764, revisions=(1039649,useless=594508), ccks=3238776, wck=23.207, mem=56M976 28.85/25.86 decisions=75617, wrong=36999, backtracks=24777, failedAssignments=20935, nogoods=737, foundSolutions=12, bestBound=89 28.85/25.86 nFilterCalls=4583011, avgTableProportion=0.9981170275811666, avgTableSize=530.1216451367889 28.85/25.86 28.85/25.88 num=139, depth=6..12, filters=1261526, revisions=(1040309,useless=594858), ccks=3240740, wck=23.226, mem=56M976 28.85/25.88 decisions=75670, wrong=37021, backtracks=24792, failedAssignments=20947, nogoods=743, foundSolutions=12, bestBound=89 28.85/25.88 nFilterCalls=4586522, avgTableProportion=0.9981170275796117, avgTableSize=530.1216446797813 28.85/25.88 28.85/25.89 num=140, depth=5..11, filters=1262385, revisions=(1041162,useless=595298), ccks=3242779, wck=23.238, mem=56M976 28.85/25.89 decisions=75720, wrong=37043, backtracks=24808, failedAssignments=20960, nogoods=748, foundSolutions=12, bestBound=89 28.85/25.89 nFilterCalls=4588446, avgTableProportion=0.9981170275632503, avgTableSize=530.1216398754611 28.85/25.89 28.95/25.91 num=141, depth=2..12, filters=1263513, revisions=(1042105,useless=595794), ccks=3245036, wck=23.265, mem=56M976 28.95/25.91 decisions=75779, wrong=37069, backtracks=24826, failedAssignments=20974, nogoods=750, foundSolutions=12, bestBound=89 28.95/25.91 nFilterCalls=4593161, avgTableProportion=0.9981170274679477, avgTableSize=530.1216118921153 28.95/25.91 28.95/25.94 num=142, depth=3..10, filters=1264594, revisions=(1043064,useless=596330), ccks=3248072, wck=23.289, mem=56M976 28.95/25.94 decisions=75843, wrong=37096, backtracks=24843, failedAssignments=20990, nogoods=757, foundSolutions=12, bestBound=89 28.95/25.94 nFilterCalls=4597384, avgTableProportion=0.9981170274260445, avgTableSize=530.1215995879396 28.95/25.94 28.95/25.96 num=143, depth=4..10, filters=1265585, revisions=(1044015,useless=596829), ccks=3250578, wck=23.306, mem=56M976 28.95/25.96 decisions=75905, wrong=37125, backtracks=24860, failedAssignments=21007, nogoods=758, foundSolutions=12, bestBound=89 28.95/25.96 nFilterCalls=4600267, avgTableProportion=0.9981170273419641, avgTableSize=530.1215748998917 28.95/25.96 28.95/25.97 num=144, depth=4..9, filters=1266887, revisions=(1045198,useless=597415), ccks=3253119, wck=23.325, mem=56M976 28.95/25.97 decisions=75976, wrong=37158, backtracks=24880, failedAssignments=21026, nogoods=764, foundSolutions=12, bestBound=89 28.95/25.97 nFilterCalls=4603782, avgTableProportion=0.9981170273017694, avgTableSize=530.1215630974707 28.95/25.97 28.95/26.00 num=145, depth=5..11, filters=1267945, revisions=(1046142,useless=597945), ccks=3256036, wck=23.353, mem=56M976 28.95/26.00 decisions=76046, wrong=37190, backtracks=24904, failedAssignments=21047, nogoods=768, foundSolutions=12, bestBound=89 28.95/26.00 nFilterCalls=4608761, avgTableProportion=0.998117027449373, avgTableSize=530.1216064360899 28.95/26.00 29.06/26.03 num=146, depth=6..13, filters=1269569, revisions=(1047518,useless=598666), ccks=3259341, wck=23.381, mem=56M976 29.06/26.03 decisions=76139, wrong=37232, backtracks=24930, failedAssignments=21070, nogoods=775, foundSolutions=12, bestBound=89 29.06/26.03 nFilterCalls=4613671, avgTableProportion=0.9981170276183564, avgTableSize=530.1216560521979 29.06/26.03 29.06/26.07 num=147, depth=6..12, filters=1270930, revisions=(1048560,useless=599284), ccks=3262490, wck=23.416, mem=56M976 29.06/26.07 decisions=76229, wrong=37274, backtracks=24960, failedAssignments=21095, nogoods=776, foundSolutions=12, bestBound=89 29.06/26.07 nFilterCalls=4620229, avgTableProportion=0.9981170276273376, avgTableSize=530.1216586883464 29.06/26.07 29.06/26.10 num=148, depth=4..11, filters=1272836, revisions=(1050290,useless=600139), ccks=3266881, wck=23.446, mem=56M976 29.06/26.10 decisions=76330, wrong=37322, backtracks=24988, failedAssignments=21123, nogoods=780, foundSolutions=12, bestBound=89 29.06/26.10 nFilterCalls=4625250, avgTableProportion=0.9981170276333423, avgTableSize=530.1216604507864 29.06/26.10 29.16/26.12 num=149, depth=7..14, filters=1274695, revisions=(1051837,useless=600963), ccks=3271395, wck=23.474, mem=56M976 29.16/26.12 decisions=76440, wrong=37373, backtracks=25020, failedAssignments=21154, nogoods=787, foundSolutions=12, bestBound=89 29.16/26.12 nFilterCalls=4631171, avgTableProportion=0.99811702737349, avgTableSize=530.1215841522587 29.16/26.12 29.16/26.16 num=150, depth=5..10, filters=1276490, revisions=(1053404,useless=601852), ccks=3275776, wck=23.512, mem=56M976 29.16/26.16 decisions=76557, wrong=37429, backtracks=25057, failedAssignments=21188, nogoods=795, foundSolutions=12, bestBound=89 29.16/26.16 nFilterCalls=4638107, avgTableProportion=0.9981170275472967, avgTableSize=530.1216351843543 29.16/26.16 29.16/26.19 num=151, depth=6..13, filters=1278253, revisions=(1055036,useless=602727), ccks=3280746, wck=23.541, mem=56M976 29.16/26.19 decisions=76683, wrong=37488, backtracks=25093, failedAssignments=21225, nogoods=797, foundSolutions=12, bestBound=89 29.16/26.19 nFilterCalls=4643935, avgTableProportion=0.9981170273295663, avgTableSize=530.1215712536889 29.16/26.19 29.25/26.24 num=152, depth=3..13, filters=1280710, revisions=(1057293,useless=603938), ccks=3286789, wck=23.586, mem=56M976 29.25/26.24 decisions=76827, wrong=37558, backtracks=25136, failedAssignments=21266, nogoods=800, foundSolutions=12, bestBound=89 29.25/26.24 nFilterCalls=4651822, avgTableProportion=0.9981170268625895, avgTableSize=530.1214341391394 29.25/26.24 29.25/26.28 num=153, depth=3..10, filters=1283491, revisions=(1059961,useless=605322), ccks=3292925, wck=23.634, mem=56M976 29.25/26.28 decisions=76983, wrong=37634, backtracks=25184, failedAssignments=21311, nogoods=812, foundSolutions=12, bestBound=89 29.25/26.28 nFilterCalls=4659572, avgTableProportion=0.9981170265971857, avgTableSize=530.1213562103987 29.25/26.28 29.37/26.34 num=154, depth=4..11, filters=1286278, revisions=(1062421,useless=606518), ccks=3300632, wck=23.689, mem=56M976 29.37/26.34 decisions=77157, wrong=37718, backtracks=25240, failedAssignments=21361, nogoods=818, foundSolutions=12, bestBound=89 29.37/26.34 nFilterCalls=4668332, avgTableProportion=0.998117026434442, avgTableSize=530.1213084245079 29.37/26.34 29.47/26.40 num=155, depth=4..11, filters=1290288, revisions=(1066035,useless=608525), ccks=3309518, wck=23.752, mem=59M566 29.47/26.40 decisions=77371, wrong=37822, backtracks=25307, failedAssignments=21416, nogoods=826, foundSolutions=12, bestBound=89 29.47/26.40 nFilterCalls=4679142, avgTableProportion=0.9981170261539697, avgTableSize=530.1212260709335 29.47/26.40 29.47/26.46 num=156, depth=4..12, filters=1293619, revisions=(1069241,useless=610394), ccks=3318436, wck=23.808, mem=59M566 29.47/26.46 decisions=77578, wrong=37923, backtracks=25367, failedAssignments=21477, nogoods=833, foundSolutions=12, bestBound=89 29.47/26.46 nFilterCalls=4688533, avgTableProportion=0.9981170257577685, avgTableSize=530.1211097373101 29.47/26.46 29.57/26.53 num=157, depth=4..12, filters=1297620, revisions=(1072619,useless=612229), ccks=3327266, wck=23.881, mem=59M566 29.57/26.53 decisions=77799, wrong=38030, backtracks=25436, failedAssignments=21544, nogoods=844, foundSolutions=12, bestBound=89 29.57/26.53 nFilterCalls=4701570, avgTableProportion=0.9981170260707777, avgTableSize=530.1212016411539 29.57/26.53 29.57/26.60 num=158, depth=4..13, filters=1301656, revisions=(1076044,useless=614062), ccks=3335671, wck=23.946, mem=59M566 29.57/26.60 decisions=78039, wrong=38147, backtracks=25515, failedAssignments=21618, nogoods=850, foundSolutions=12, bestBound=89 29.57/26.60 nFilterCalls=4714501, avgTableProportion=0.9981170261558404, avgTableSize=530.1212266154997 29.57/26.60 29.67/26.68 num=159, depth=6..13, filters=1306485, revisions=(1080281,useless=616513), ccks=3349955, wck=24.028, mem=59M566 29.67/26.68 decisions=78347, wrong=38298, backtracks=25617, failedAssignments=21699, nogoods=860, foundSolutions=12, bestBound=89 29.67/26.68 nFilterCalls=4729708, avgTableProportion=0.9981170258717804, avgTableSize=530.121143207995 29.67/26.68 29.88/26.81 num=160, depth=3..11, filters=1312634, revisions=(1085352,useless=619525), ccks=3364210, wck=24.164, mem=59M566 29.88/26.81 decisions=78691, wrong=38467, backtracks=25728, failedAssignments=21788, nogoods=863, foundSolutions=12, bestBound=89 29.88/26.81 nFilterCalls=4753836, avgTableProportion=0.9981170260932072, avgTableSize=530.1212082200564 29.88/26.81 29.98/26.90 num=161, depth=4..14, filters=1317935, revisions=(1090203,useless=621975), ccks=3377784, wck=24.249, mem=59M566 29.98/26.90 decisions=79032, wrong=38635, backtracks=25828, failedAssignments=21886, nogoods=871, foundSolutions=12, bestBound=89 29.98/26.90 nFilterCalls=4768082, avgTableProportion=0.9981170255869767, avgTableSize=530.1210595790928 29.98/26.90 30.09/27.04 num=162, depth=6..13, filters=1325456, revisions=(1096272,useless=625414), ccks=3398481, wck=24.389, mem=59M566 30.09/27.04 decisions=79451, wrong=38841, backtracks=25968, failedAssignments=21994, nogoods=877, foundSolutions=12, bestBound=89 30.09/27.04 nFilterCalls=4794886, avgTableProportion=0.9981170256204567, avgTableSize=530.1210694060296 30.09/27.04 30.28/27.20 num=163, depth=4..15, filters=1333439, revisions=(1102606,useless=628992), ccks=3415294, wck=24.554, mem=62M155 30.28/27.20 decisions=79865, wrong=39044, backtracks=26113, failedAssignments=22113, nogoods=883, foundSolutions=12, bestBound=89 30.28/27.20 nFilterCalls=4824166, avgTableProportion=0.998117026625142, avgTableSize=530.1213643974938 30.28/27.20 30.38/27.34 num=164, depth=4..13, filters=1340987, revisions=(1109018,useless=632473), ccks=3437075, wck=24.689, mem=62M155 30.38/27.34 decisions=80341, wrong=39280, backtracks=26268, failedAssignments=22244, nogoods=884, foundSolutions=12, bestBound=89 30.38/27.34 nFilterCalls=4849143, avgTableProportion=0.9981170260349596, avgTableSize=530.1211911053149 30.38/27.34 30.58/27.54 num=165, depth=2..11, filters=1350041, revisions=(1117009,useless=636923), ccks=3458087, wck=24.886, mem=62M155 30.58/27.54 decisions=80901, wrong=39558, backtracks=26456, failedAssignments=22388, nogoods=896, foundSolutions=12, bestBound=89 30.58/27.54 nFilterCalls=4882708, avgTableProportion=0.9981170252476315, avgTableSize=530.120959926336 30.58/27.54 30.78/27.71 num=166, depth=3..12, filters=1359419, revisions=(1125035,useless=641370), ccks=3480754, wck=25.063, mem=62M155 30.78/27.71 decisions=81439, wrong=39825, backtracks=26630, failedAssignments=22546, nogoods=902, foundSolutions=12, bestBound=89 30.78/27.71 nFilterCalls=4912990, avgTableProportion=0.9981170255742128, avgTableSize=530.1210558132624 30.78/27.71 30.98/27.90 num=167, depth=3..12, filters=1370279, revisions=(1134207,useless=646702), ccks=3508722, wck=25.254, mem=62M155 30.98/27.90 decisions=82064, wrong=40135, backtracks=26846, failedAssignments=22720, nogoods=908, foundSolutions=12, bestBound=89 30.98/27.90 nFilterCalls=4949182, avgTableProportion=0.998117024954033, avgTableSize=530.1208737120598 30.98/27.90 31.19/28.15 num=168, depth=3..12, filters=1382482, revisions=(1144347,useless=652831), ccks=3534916, wck=25.502, mem=64M744 31.19/28.15 decisions=82737, wrong=40469, backtracks=27076, failedAssignments=22911, nogoods=916, foundSolutions=12, bestBound=89 31.19/28.15 nFilterCalls=4993375, avgTableProportion=0.9981170249876271, avgTableSize=530.1208835707312 31.19/28.15 31.38/28.38 num=169, depth=4..14, filters=1395072, revisions=(1155116,useless=659311), ccks=3567759, wck=25.729, mem=64M744 31.38/28.38 decisions=83464, wrong=40829, backtracks=27312, failedAssignments=23122, nogoods=927, foundSolutions=12, bestBound=89 31.38/28.38 nFilterCalls=5036671, avgTableProportion=0.998117025473304, avgTableSize=530.121026169865 31.38/28.38 31.69/28.67 num=170, depth=2..12, filters=1411297, revisions=(1169187,useless=667227), ccks=3604912, wck=26.017, mem=64M744 31.69/28.67 decisions=84336, wrong=41262, backtracks=27613, failedAssignments=23354, nogoods=933, foundSolutions=12, bestBound=89 31.69/28.67 nFilterCalls=5087078, avgTableProportion=0.9981170248389336, avgTableSize=530.1208399006266 31.69/28.67 31.99/28.99 num=171, depth=2..13, filters=1428287, revisions=(1184221,useless=675913), ccks=3644801, wck=26.34, mem=67M333 31.99/28.99 decisions=85272, wrong=41727, backtracks=27933, failedAssignments=23609, nogoods=945, foundSolutions=12, bestBound=89 31.99/28.99 nFilterCalls=5141235, avgTableProportion=0.9981170236907263, avgTableSize=530.1205027585785 31.99/28.99 32.38/29.35 num=172, depth=4..15, filters=1446627, revisions=(1199271,useless=684710), ccks=3695859, wck=26.705, mem=67M333 32.38/29.35 decisions=86303, wrong=42240, backtracks=28294, failedAssignments=23890, nogoods=954, foundSolutions=12, bestBound=89 32.38/29.35 nFilterCalls=5207626, avgTableProportion=0.9981170235080907, avgTableSize=530.1204491259549 32.38/29.35 32.78/29.76 num=173, depth=3..15, filters=1465750, revisions=(1214966,useless=693669), ccks=3742199, wck=27.108, mem=69M922 32.78/29.76 decisions=87440, wrong=42806, backtracks=28689, failedAssignments=24199, nogoods=965, foundSolutions=12, bestBound=89 32.78/29.76 nFilterCalls=5276940, avgTableProportion=0.9981170232145782, avgTableSize=530.1203629376116 32.78/29.76 33.19/30.15 num=174, depth=3..14, filters=1486593, revisions=(1232963,useless=703480), ccks=3791778, wck=27.502, mem=69M922 33.19/30.15 decisions=88598, wrong=43382, backtracks=29080, failedAssignments=24539, nogoods=973, foundSolutions=12, bestBound=89 33.19/30.15 nFilterCalls=5342838, avgTableProportion=0.9981170218035027, avgTableSize=530.1199486115806 33.19/30.15 33.68/30.63 num=175, depth=1..12, filters=1512784, revisions=(1255161,useless=715704), ccks=3852481, wck=27.981, mem=72M511 33.68/30.63 decisions=90033, wrong=44097, backtracks=29584, failedAssignments=24913, nogoods=984, foundSolutions=12, bestBound=89 33.68/30.63 nFilterCalls=5422451, avgTableProportion=0.9981170210784237, avgTableSize=530.1197357062332 33.68/30.63 34.12/31.09 num=176, depth=3..13, filters=1537221, revisions=(1275511,useless=727902), ccks=3913331, wck=28.436, mem=72M511 34.12/31.09 decisions=91426, wrong=44791, backtracks=30059, failedAssignments=25324, nogoods=998, foundSolutions=12, bestBound=89 34.12/31.09 nFilterCalls=5509019, avgTableProportion=0.9981170217329709, avgTableSize=530.1199278855273 34.12/31.09 34.71/31.61 num=177, depth=2..14, filters=1563503, revisions=(1298194,useless=740747), ccks=3980087, wck=28.962, mem=75M100 34.71/31.61 decisions=92988, wrong=45569, backtracks=30582, failedAssignments=25776, nogoods=1007, foundSolutions=12, bestBound=89 34.71/31.61 nFilterCalls=5600229, avgTableProportion=0.9981170216280203, avgTableSize=530.1198970613523 34.71/31.61 35.31/32.20 num=178, depth=2..13, filters=1594051, revisions=(1324085,useless=755593), ccks=4062066, wck=29.552, mem=75M100 35.31/32.20 decisions=94788, wrong=46467, backtracks=31229, failedAssignments=26273, nogoods=1017, foundSolutions=12, bestBound=89 35.31/32.20 nFilterCalls=5707116, avgTableProportion=0.9981170205452731, avgTableSize=530.1195791359419 35.31/32.20 35.91/32.84 num=179, depth=3..13, filters=1627059, revisions=(1352524,useless=771705), ccks=4151388, wck=30.186, mem=77M690 35.91/32.84 decisions=96732, wrong=47437, backtracks=31864, failedAssignments=26820, nogoods=1029, foundSolutions=12, bestBound=89 35.91/32.84 nFilterCalls=5817114, avgTableProportion=0.998117019641647, avgTableSize=530.1193138040616 35.91/32.84 36.71/33.67 num=180, depth=1..13, filters=1667027, revisions=(1386307,useless=790859), ccks=4247782, wck=31.021, mem=80M279 36.71/33.67 decisions=98978, wrong=48557, backtracks=32640, failedAssignments=27422, nogoods=1037, foundSolutions=12, bestBound=89 36.71/33.67 nFilterCalls=5955999, avgTableProportion=0.9981170197744081, avgTableSize=530.119352773565 36.71/33.67 37.51/34.41 num=181, depth=1..12, filters=1707216, revisions=(1421462,useless=810718), ccks=4347636, wck=31.765, mem=82M868 37.51/34.41 decisions=101294, wrong=49713, backtracks=33445, failedAssignments=28084, nogoods=1049, foundSolutions=12, bestBound=89 37.51/34.41 nFilterCalls=6078013, avgTableProportion=0.9981170186623247, avgTableSize=530.119026234396 37.51/34.41 38.51/35.49 num=182, depth=2..13, filters=1754821, revisions=(1459596,useless=833538), ccks=4458514, wck=32.837, mem=85M457 38.51/35.49 decisions=103987, wrong=51057, backtracks=34394, failedAssignments=28812, nogoods=1059, foundSolutions=12, bestBound=89 38.51/35.49 nFilterCalls=6265678, avgTableProportion=0.9981170223661568, avgTableSize=530.1201137370928 38.51/35.49 39.51/36.43 num=183, depth=1..14, filters=1801711, revisions=(1501449,useless=856998), ccks=4586952, wck=33.779, mem=88M46 39.51/36.43 decisions=106885, wrong=52505, backtracks=35400, failedAssignments=29613, nogoods=1062, foundSolutions=12, bestBound=89 39.51/36.43 nFilterCalls=6424763, avgTableProportion=0.9981170210593431, avgTableSize=530.1197300196131 39.51/36.43 40.52/37.45 num=184, depth=3..17, filters=1856268, revisions=(1547123,useless=883877), ccks=4725596, wck=34.803, mem=90M635 40.52/37.45 decisions=110114, wrong=54117, backtracks=36529, failedAssignments=30494, nogoods=1071, foundSolutions=12, bestBound=89 40.52/37.45 nFilterCalls=6611986, avgTableProportion=0.9981170233715169, avgTableSize=530.120408905887 40.52/37.45 41.72/38.68 num=185, depth=1..12, filters=1919313, revisions=(1601083,useless=914496), ccks=4888503, wck=36.027, mem=93M224 41.72/38.68 decisions=113738, wrong=55926, backtracks=37729, failedAssignments=31464, nogoods=1083, foundSolutions=12, bestBound=89 41.72/38.68 nFilterCalls=6817648, avgTableProportion=0.9981170238863324, avgTableSize=530.1205600523817 41.72/38.68 43.02/39.95 num=186, depth=1..14, filters=1984931, revisions=(1656680,useless=946357), ccks=5050784, wck=37.3, mem=98M403 43.02/39.95 decisions=117616, wrong=57862, backtracks=39065, failedAssignments=32531, nogoods=1089, foundSolutions=12, bestBound=89 43.02/39.95 nFilterCalls=7038585, avgTableProportion=0.9981170257961328, avgTableSize=530.1211207934549 43.02/39.95 44.52/41.45 num=187, depth=3..17, filters=2062632, revisions=(1716595,useless=982763), ccks=5238466, wck=38.801, mem=103M581 44.52/41.45 decisions=121760, wrong=59931, backtracks=40454, failedAssignments=33704, nogoods=1094, foundSolutions=12, bestBound=89 44.52/41.45 nFilterCalls=7314034, avgTableProportion=0.9981170282643089, avgTableSize=530.1218454822606 44.52/41.45 46.42/43.35 num=188, depth=1..13, filters=2150443, revisions=(1787343,useless=1025092), ccks=5442985, wck=40.697, mem=108M759 46.42/43.35 decisions=126571, wrong=62335, backtracks=42124, failedAssignments=34995, nogoods=1108, foundSolutions=12, bestBound=89 46.42/43.35 nFilterCalls=7637654, avgTableProportion=0.9981170301034961, avgTableSize=530.1223854864334 46.42/43.35 48.13/45.10 num=189, depth=2..13, filters=2239271, revisions=(1864055,useless=1072158), ccks=5673849, wck=42.447, mem=111M348 48.13/45.10 decisions=131685, wrong=64890, backtracks=43875, failedAssignments=36415, nogoods=1122, foundSolutions=12, bestBound=89 48.13/45.10 nFilterCalls=7936623, avgTableProportion=0.9981170334238809, avgTableSize=530.1233604015209 48.13/45.10 50.02/46.99 num=190, depth=0..13, filters=2335860, revisions=(1948648,useless=1122095), ccks=5926099, wck=44.345, mem=116M527 50.02/46.99 decisions=137362, wrong=67726, backtracks=45862, failedAssignments=37977, nogoods=1132, foundSolutions=12, bestBound=89 50.02/46.99 nFilterCalls=8249671, avgTableProportion=0.9981170327329522, avgTableSize=530.1231575174331 50.02/46.99 52.23/49.17 num=191, depth=0..15, filters=2442516, revisions=(2040097,useless=1175852), ccks=6191975, wck=46.525, mem=124M294 52.23/49.17 decisions=143801, wrong=70942, backtracks=48125, failedAssignments=39695, nogoods=1138, foundSolutions=12, bestBound=89 52.23/49.17 nFilterCalls=8610547, avgTableProportion=0.9981170333086669, avgTableSize=530.1233265435982 52.23/49.17 54.82/51.74 num=192, depth=0..13, filters=2567301, revisions=(2143299,useless=1238028), ccks=6488561, wck=49.089, mem=132M62 54.82/51.74 decisions=150865, wrong=74473, backtracks=50568, failedAssignments=41585, nogoods=1156, foundSolutions=12, bestBound=89 54.82/51.74 nFilterCalls=9041924, avgTableProportion=0.9981170361769317, avgTableSize=530.124168705687 54.82/51.74 57.73/54.62 num=193, depth=0..14, filters=2713914, revisions=(2252526,useless=1307159), ccks=6797878, wck=51.971, mem=139M829 57.73/54.62 decisions=158138, wrong=78107, backtracks=53070, failedAssignments=43664, nogoods=1166, foundSolutions=12, bestBound=89 57.73/54.62 nFilterCalls=9558749, avgTableProportion=0.9981170415619135, avgTableSize=530.1257498235386 57.73/54.62 60.73/57.63 num=194, depth=0..14, filters=2860866, revisions=(2377531,useless=1384255), ccks=7137123, wck=54.983, mem=147M596 60.73/57.63 decisions=166549, wrong=82310, backtracks=56003, failedAssignments=45951, nogoods=1174, foundSolutions=12, bestBound=89 60.73/57.63 nFilterCalls=10047396, avgTableProportion=0.9981170424113309, avgTableSize=530.1259992141247 60.73/57.63 64.14/61.08 num=195, depth=0..16, filters=3029315, revisions=(2512304,useless=1467498), ccks=7503752, wck=58.435, mem=157M953 64.14/61.08 decisions=175563, wrong=86814, backtracks=59246, failedAssignments=48467, nogoods=1182, foundSolutions=12, bestBound=89 64.14/61.08 nFilterCalls=10620541, avgTableProportion=0.9981170470134858, avgTableSize=530.1273504805451 64.14/61.08 67.76/64.67 num=196, depth=0..12, filters=3226565, revisions=(2666740,useless=1568268), ccks=7887718, wck=62.021, mem=40M176 67.76/64.67 decisions=185689, wrong=91876, backtracks=62851, failedAssignments=51235, nogoods=1193, foundSolutions=12, bestBound=89 67.76/64.67 nFilterCalls=11224990, avgTableProportion=0.9981170549671532, avgTableSize=530.1296858170921 67.76/64.67 68.56/65.47 68.56/65.47 New Bounds: 90..89 68.56/65.47 num=197, depth=0..13, filters=3267263, revisions=(2696318,useless=1587645), ccks=7959118, wck=62.817, mem=42M774 68.56/65.47 decisions=187759, wrong=92912, backtracks=63582, failedAssignments=51823, foundSolutions=12, bestBound=89 68.56/65.47 nFilterCalls=11358042, avgTableProportion=0.9981170572139921, avgTableSize=530.1303455296256 68.56/65.47 68.56/65.47 Global 68.56/65.47 filters=3267263, revisions=(2696318,useless=1587645), ccks=7959118 68.56/65.47 Stop=FULL_EXPLORATION, wrong=92912, bestBound=89, bestBoundWck=23.781, bestBoundCpu=25.578, foundSolutions=12, firstSolCpu=2.433 68.56/65.47 wck=63.412, cpu=65.2, mem=42M774 68.56/65.47 68.56/65.47 v <instantiation id='sol12' type='solution' cost='89'> <list> s[] p[] g[] </list> <values> 6 0 8 2 3 4 12 1 7 -1 11 5 18 14 15 21 10 16 19 13 -1 22 23 17 0 21 18 17 16 15 1 20 19 -1 13 14 2 5 6 7 12 11 3 4 -1 8 9 10 -2 6 5 3 -1 8 -7 5 7 0 2 7 4 8 8 0 7 7 7 6 0 7 6 -4 </values> </instantiation> 68.56/65.47 s OPTIMUM FOUND 68.56/65.47 68.56/65.47 d WRONG_DECISIONS 92912 68.56/65.47 d NUMBER_SOLUTIONS 12
OK 89
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL 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. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (13604 MiB free) memory of node 1: 16384 MiB (14177 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391257-1568389953/watcher-4391257-1568389953 -o /tmp/evaluation-result-4391257-1568389953/solver-4391257-1568389953 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568389883-24253 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391257-1568389953.xml -cm running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=24455, runsolver pid=24452 [startup+0.102629 s]* /proc/loadavg: 1.52 1.20 1.35 4/229 24470 /proc/meminfo: memFree=28433332/32770624 swapFree=67004752/67108860 [pid=24455] ppid=24452 vsize=10659884 memory=29460 CPUtime=0.14 cores=1,3,5,7 /proc/24455/stat : 24455 (java) S 24452 24455 24221 0 -1 1077944320 5860 0 0 0 14 0 0 0 20 0 15 0 415263057 10915721216 7365 33554432000 4194304 4196468 140722013976240 140722013958784 140382424084215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 /proc/24455/statm: 2664971 7365 2884 1 0 2627468 0 [pid=24455/tid=24457] ppid=24452 vsize=10659884 memory=8514726395714820750 CPUtime=0.09 cores=1,3,5,7 /proc/24455/task/24457/stat : 24457 (java) R 24452 24455 24221 0 -1 4202560 3291 0 0 0 9 0 0 0 20 0 15 0 415263058 10915721216 7431 33554432000 4194304 4196468 140722013976240 140382428311128 140382416321342 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24458] ppid=24452 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24458/stat : 24458 (java) S 24452 24455 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415263059 10915721216 7431 33554432000 4194304 4196468 140722013976240 140382350158096 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24459] ppid=24452 vsize=10659884 memory=139977915917952 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24459/stat : 24459 (java) S 24452 24455 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415263059 10915721216 7431 33554432000 4194304 4196468 140722013976240 140382029474192 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24460] ppid=24452 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24460/stat : 24460 (java) S 24452 24455 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415263059 10915721216 7431 33554432000 4194304 4196468 140722013976240 140382028421648 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24461] ppid=24452 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24461/stat : 24461 (java) S 24452 24455 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415263059 10915721216 7431 33554432000 4194304 4196468 140722013976240 140382027369104 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24462] ppid=24452 vsize=10659884 memory=139977915917952 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24462/stat : 24462 (java) S 24452 24455 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415263060 10915721216 7431 33554432000 4194304 4196468 140722013976240 140381661362672 140382424095362 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24463] ppid=24452 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24463/stat : 24463 (java) S 24452 24455 24221 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415263060 10915721216 7431 33554432000 4194304 4196468 140722013976240 140381660308896 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24464] ppid=24452 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24464/stat : 24464 (java) S 24452 24455 24221 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415263061 10915721216 7431 33554432000 4194304 4196468 140722013976240 140381659256304 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24465] ppid=24452 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24465/stat : 24465 (java) S 24452 24455 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415263063 10915721216 7431 33554432000 4194304 4196468 140722013976240 140381658204880 140382424102811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24466] ppid=24452 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24466/stat : 24466 (java) S 24452 24455 24221 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 15 0 415263063 10915721216 7431 33554432000 4194304 4196468 140722013976240 140381657151472 140382424095362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24467] ppid=24452 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24467/stat : 24467 (java) R 24452 24455 24221 0 -1 4202560 162 0 0 0 0 0 0 0 20 0 15 0 415263063 10915721216 7431 33554432000 4194304 4196468 140722013976240 140381656079512 140382416373597 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24468] ppid=24452 vsize=10659884 memory=139977915917952 CPUtime=0.02 cores=1,3,5,7 /proc/24455/task/24468/stat : 24468 (java) R 24452 24455 24221 0 -1 4202560 695 0 0 0 2 0 0 0 20 0 15 0 415263063 10915721216 7431 33554432000 4194304 4196468 140722013976240 140381655042936 140382403482731 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24469] ppid=24452 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24469/stat : 24469 (java) S 24452 24455 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415263063 10915721216 7431 33554432000 4194304 4196468 140722013976240 140381653994080 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24470] ppid=24452 vsize=10659884 memory=139977915917952 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24470/stat : 24470 (java) S 24452 24455 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415263063 10915721216 7431 33554432000 4194304 4196468 140722013976240 140381652941616 140382424095362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 Current children cumulated CPU time: 0.14 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 29460 KiB [startup+0.210824 s]* /proc/loadavg: 1.52 1.20 1.35 3/229 24470 /proc/meminfo: memFree=28426116/32770624 swapFree=67004752/67108860 [pid=24455] ppid=24452 vsize=10659884 memory=35032 CPUtime=0.33 cores=1,3,5,7 /proc/24455/stat : 24455 (java) S 24452 24455 24221 0 -1 1077944320 6881 0 0 0 32 1 0 0 20 0 15 0 415263057 10915721216 8758 33554432000 4194304 4196468 140722013976240 140722013958784 140382424084215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 /proc/24455/statm: 2664971 8758 2990 1 0 2627468 0 [pid=24455/tid=24457] ppid=24452 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7 /proc/24455/task/24457/stat : 24457 (java) R 24452 24455 24221 0 -1 4202560 3870 0 0 0 20 0 0 0 20 0 15 0 415263058 10915721216 8758 33554432000 4194304 4196468 140722013976240 140382428310576 140382424106141 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24458] ppid=24452 vsize=10659884 memory=339 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24458/stat : 24458 (java) S 24452 24455 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415263059 10915721216 8758 33554432000 4194304 4196468 140722013976240 140382350158096 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24459] ppid=24452 vsize=10659884 memory=3618840772506838688 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24459/stat : 24459 (java) S 24452 24455 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415263059 10915721216 8758 33554432000 4194304 4196468 140722013976240 140382029474192 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24460] ppid=24452 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24460/stat : 24460 (java) S 24452 24455 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415263059 10915721216 8758 33554432000 4194304 4196468 140722013976240 140382028421648 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24461] ppid=24452 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24461/stat : 24461 (java) S 24452 24455 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415263059 10915721216 8758 33554432000 4194304 4196468 140722013976240 140382027369104 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24462] ppid=24452 vsize=10659884 memory=139977915917952 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24462/stat : 24462 (java) S 24452 24455 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415263060 10915721216 8758 33554432000 4194304 4196468 140722013976240 140381661362672 140382424095362 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24463] ppid=24452 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24463/stat : 24463 (java) S 24452 24455 24221 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415263060 10915721216 8758 33554432000 4194304 4196468 140722013976240 140381660308896 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24464] ppid=24452 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24464/stat : 24464 (java) S 24452 24455 24221 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415263061 10915721216 8758 33554432000 4194304 4196468 140722013976240 140381659256304 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24465] ppid=24452 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24465/stat : 24465 (java) S 24452 24455 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415263063 10915721216 8758 33554432000 4194304 4196468 140722013976240 140381658204880 140382424102811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24466] ppid=24452 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7 /proc/24455/task/24466/stat : 24466 (java) S 24452 24455 24221 0 -1 1077944384 551 0 0 0 3 0 0 0 20 0 15 0 415263063 10915721216 8758 33554432000 4194304 4196468 140722013976240 140381657151472 140382424095362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24467] ppid=24452 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7 /proc/24455/task/24467/stat : 24467 (java) S 24452 24455 24221 0 -1 1077944384 347 0 0 0 2 0 0 0 20 0 15 0 415263063 10915721216 8758 33554432000 4194304 4196468 140722013976240 140381656098928 140382424095362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24468] ppid=24452 vsize=10659884 memory=139977915917952 CPUtime=0.05 cores=1,3,5,7 /proc/24455/task/24468/stat : 24468 (java) S 24452 24455 24221 0 -1 1077944384 753 0 0 0 5 0 0 0 20 0 15 0 415263063 10915721216 8758 33554432000 4194304 4196468 140722013976240 140381655046384 140382424095362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24469] ppid=24452 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24469/stat : 24469 (java) S 24452 24455 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415263063 10915721216 8758 33554432000 4194304 4196468 140722013976240 140381653994080 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24470] ppid=24452 vsize=10659884 memory=139977915917952 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24470/stat : 24470 (java) S 24452 24455 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415263063 10915721216 8758 33554432000 4194304 4196468 140722013976240 140381652941616 140382424095362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 35032 KiB [startup+0.310229 s]* /proc/loadavg: 1.52 1.20 1.35 2/229 24470 /proc/meminfo: memFree=28422444/32770624 swapFree=67004752/67108860 [pid=24455] ppid=24452 vsize=10659884 memory=35032 CPUtime=0.39 cores=1,3,5,7 /proc/24455/stat : 24455 (java) S 24452 24455 24221 0 -1 1077944320 6907 0 0 0 38 1 0 0 20 0 15 0 415263057 10915721216 8758 33554432000 4194304 4196468 140722013976240 140722013958784 140382424084215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 /proc/24455/statm: 2664971 8758 2990 1 0 2627468 0 [pid=24455/tid=24457] ppid=24452 vsize=10659884 memory=8390339637985935414 CPUtime=0.25 cores=1,3,5,7 /proc/24455/task/24457/stat : 24457 (java) D 24452 24455 24221 0 -1 4202560 3882 0 0 0 25 0 0 0 20 0 15 0 415263058 10915721216 8758 33554432000 4194304 4196468 140722013976240 140382428316160 140382409824498 0 4 0 16800975 18446744072100592773 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24458] ppid=24452 vsize=10659884 memory=304556140472303639 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24458/stat : 24458 (java) S 24452 24455 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415263059 10915721216 8758 33554432000 4194304 4196468 140722013976240 140382350158096 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24459] ppid=24452 vsize=10659884 memory=3904819348844865184 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24459/stat : 24459 (java) S 24452 24455 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415263059 10915721216 8758 33554432000 4194304 4196468 140722013976240 140382029474192 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24460] ppid=24452 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24460/stat : 24460 (java) S 24452 24455 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415263059 10915721216 8758 33554432000 4194304 4196468 140722013976240 140382028421648 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24461] ppid=24452 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24461/stat : 24461 (java) S 24452 24455 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415263059 10915721216 8758 33554432000 4194304 4196468 140722013976240 140382027369104 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24462] ppid=24452 vsize=10659884 memory=139977915917952 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24462/stat : 24462 (java) S 24452 24455 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415263060 10915721216 8758 33554432000 4194304 4196468 140722013976240 140381661362672 140382424095362 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24463] ppid=24452 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24463/stat : 24463 (java) S 24452 24455 24221 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415263060 10915721216 8758 33554432000 4194304 4196468 140722013976240 140381660308896 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24464] ppid=24452 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24464/stat : 24464 (java) S 24452 24455 24221 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415263061 10915721216 8758 33554432000 4194304 4196468 140722013976240 140381659256304 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24465] ppid=24452 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24465/stat : 24465 (java) S 24452 24455 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415263063 10915721216 8758 33554432000 4194304 4196468 140722013976240 140381658204880 140382424102811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24466] ppid=24452 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7 /proc/24455/task/24466/stat : 24466 (java) S 24452 24455 24221 0 -1 1077944384 556 0 0 0 3 0 0 0 20 0 15 0 415263063 10915721216 8758 33554432000 4194304 4196468 140722013976240 140381657151472 140382424095362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24467] ppid=24452 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7 /proc/24455/task/24467/stat : 24467 (java) S 24452 24455 24221 0 -1 1077944384 356 0 0 0 3 0 0 0 20 0 15 0 415263063 10915721216 8758 33554432000 4194304 4196468 140722013976240 140381656098928 140382424095362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24468] ppid=24452 vsize=10659884 memory=139977915917952 CPUtime=0.05 cores=1,3,5,7 /proc/24455/task/24468/stat : 24468 (java) D 24452 24455 24221 0 -1 4202560 753 0 0 0 5 0 0 0 20 0 15 0 415263063 10915721216 8758 33554432000 4194304 4196468 140722013976240 140381655046680 140382404008351 0 4 0 16800975 18446744072100592773 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24469] ppid=24452 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24469/stat : 24469 (java) S 24452 24455 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415263063 10915721216 8758 33554432000 4194304 4196468 140722013976240 140381653994080 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24470] ppid=24452 vsize=10659884 memory=139977915917952 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24470/stat : 24470 (java) D 24452 24455 24221 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 415263063 10915721216 8758 33554432000 4194304 4196468 140722013976240 140381652941536 140382408940302 0 4 0 16800975 18446744072100592773 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 Current children cumulated CPU time: 0.39 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 35032 KiB [startup+0.700713 s] /proc/loadavg: 1.52 1.20 1.35 3/229 24470 /proc/meminfo: memFree=28423716/32770624 swapFree=67004752/67108860 [pid=24455] ppid=24452 vsize=10659884 memory=49844 CPUtime=0.75 cores=1,3,5,7 /proc/24455/stat : 24455 (java) S 24452 24455 24221 0 -1 1077944320 11300 0 0 0 72 3 0 0 20 0 15 0 415263057 10915721216 12461 33554432000 4194304 4196468 140722013976240 140722013958784 140382424084215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 /proc/24455/statm: 2664971 12461 3057 1 0 2627468 0 [pid=24455/tid=24457] ppid=24452 vsize=10659884 memory=1276 CPUtime=0.46 cores=1,3,5,7 /proc/24455/task/24457/stat : 24457 (java) R 24452 24455 24221 0 -1 4202560 7750 0 0 0 44 2 0 0 20 0 15 0 415263058 10915721216 12461 33554432000 4194304 4196468 140722013976240 140382428304592 140382424106141 0 4 0 16800975 0 0 0 -1 3 0 0 21 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24458] ppid=24452 vsize=10659884 memory=1060 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24458/stat : 24458 (java) S 24452 24455 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415263059 10915721216 12461 33554432000 4194304 4196468 140722013976240 140382350158096 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24459] ppid=24452 vsize=10659884 memory=752 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24459/stat : 24459 (java) S 24452 24455 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415263059 10915721216 12461 33554432000 4194304 4196468 140722013976240 140382029474192 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24460] ppid=24452 vsize=10659884 memory=1228 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24460/stat : 24460 (java) S 24452 24455 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415263059 10915721216 12461 33554432000 4194304 4196468 140722013976240 140382028421648 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24461] ppid=24452 vsize=10659884 memory=9584 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24461/stat : 24461 (java) S 24452 24455 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415263059 10915721216 12461 33554432000 4194304 4196468 140722013976240 140382027369104 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24462] ppid=24452 vsize=10659884 memory=4140 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24462/stat : 24462 (java) S 24452 24455 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415263060 10915721216 12461 33554432000 4194304 4196468 140722013976240 140381661362672 140382424095362 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24463] ppid=24452 vsize=10659884 memory=2832 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24463/stat : 24463 (java) S 24452 24455 24221 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415263060 10915721216 12461 33554432000 4194304 4196468 140722013976240 140381660308896 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24464] ppid=24452 vsize=10659884 memory=1540 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24464/stat : 24464 (java) S 24452 24455 24221 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415263061 10915721216 12461 33554432000 4194304 4196468 140722013976240 140381659256304 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24465] ppid=24452 vsize=10659884 memory=6296683642736693604 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24465/stat : 24465 (java) S 24452 24455 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415263063 10915721216 12461 33554432000 4194304 4196468 140722013976240 140381658204880 140382424102811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24466] ppid=24452 vsize=10659884 memory=7594592247738553961 CPUtime=0.06 cores=1,3,5,7 /proc/24455/task/24466/stat : 24466 (java) S 24452 24455 24221 0 -1 1077944384 642 0 0 0 6 0 0 0 20 0 15 0 415263063 10915721216 12461 33554432000 4194304 4196468 140722013976240 140381657151472 140382424095362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24467] ppid=24452 vsize=10659884 memory=5787213857196369745 CPUtime=0.07 cores=1,3,5,7 /proc/24455/task/24467/stat : 24467 (java) R 24452 24455 24221 0 -1 1077944384 598 0 0 0 7 0 0 0 20 0 15 0 415263063 10915721216 12461 33554432000 4194304 4196468 140722013976240 140381656098928 140382424095362 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24468] ppid=24452 vsize=10659884 memory=5450909908396308010 CPUtime=0.12 cores=1,3,5,7 /proc/24455/task/24468/stat : 24468 (java) S 24452 24455 24221 0 -1 1077944384 948 0 0 0 12 0 0 0 20 0 15 0 415263063 10915721216 12461 33554432000 4194304 4196468 140722013976240 140381655046384 140382424095362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24469] ppid=24452 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24469/stat : 24469 (java) S 24452 24455 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415263063 10915721216 12461 33554432000 4194304 4196468 140722013976240 140381653994080 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24470] ppid=24452 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24470/stat : 24470 (java) S 24452 24455 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415263063 10915721216 12461 33554432000 4194304 4196468 140722013976240 140381652941616 140382424095362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 22 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 Current children cumulated CPU time: 0.75 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 49844 KiB [startup+1.50072 s] /proc/loadavg: 1.52 1.20 1.35 3/229 24470 /proc/meminfo: memFree=28398368/32770624 swapFree=67004752/67108860 [pid=24455] ppid=24452 vsize=10663980 memory=70652 CPUtime=1.72 cores=1,3,5,7 /proc/24455/stat : 24455 (java) S 24452 24455 24221 0 -1 1077944320 15814 0 0 0 168 4 0 0 20 0 15 0 415263057 10919915520 17663 33554432000 4194304 4196468 140722013976240 140722013958784 140382424084215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 /proc/24455/statm: 2665995 17663 3081 1 0 2628492 0 [pid=24455/tid=24457] ppid=24452 vsize=10663980 memory=6791534058613427641 CPUtime=1.26 cores=1,3,5,7 /proc/24455/task/24457/stat : 24457 (java) R 24452 24455 24221 0 -1 4202560 11251 0 0 0 123 3 0 0 20 0 15 0 415263058 10919915520 17663 33554432000 4194304 4196468 140722013976240 140382428306656 140382407276949 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24458] ppid=24452 vsize=10663980 memory=33 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24458/stat : 24458 (java) S 24452 24455 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415263059 10919915520 17663 33554432000 4194304 4196468 140722013976240 140382350158096 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24459] ppid=24452 vsize=10663980 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24459/stat : 24459 (java) S 24452 24455 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415263059 10919915520 17663 33554432000 4194304 4196468 140722013976240 140382029474192 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24460] ppid=24452 vsize=10663980 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24460/stat : 24460 (java) S 24452 24455 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415263059 10919915520 17663 33554432000 4194304 4196468 140722013976240 140382028421648 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24461] ppid=24452 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24461/stat : 24461 (java) S 24452 24455 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415263059 10919915520 17663 33554432000 4194304 4196468 140722013976240 140382027369104 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24462] ppid=24452 vsize=10663980 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24462/stat : 24462 (java) S 24452 24455 24221 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 415263060 10919915520 17663 33554432000 4194304 4196468 140722013976240 140381661362672 140382424095362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 ################ # More data... # ################ [startup+64.0006 s]* /proc/loadavg: 1.82 1.35 1.39 3/230 24475 /proc/meminfo: memFree=28189384/32770624 swapFree=67004752/67108860 [pid=24455] ppid=24452 vsize=10748324 memory=260964 CPUtime=67.16 cores=1,3,5,7 /proc/24455/stat : 24455 (java) S 24452 24455 24221 0 -1 1077944320 47902 0 0 0 6698 18 0 0 20 0 16 0 415263057 11006283776 65241 33554432000 4194304 4196468 140722013976240 140722013958784 140382424084215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 /proc/24455/statm: 2687081 65241 3379 1 0 2647217 0 [pid=24455/tid=24457] ppid=24452 vsize=10748324 memory=1398722017469774279 CPUtime=1.86 cores=1,3,5,7 /proc/24455/task/24457/stat : 24457 (java) S 24452 24455 24221 0 -1 1077944384 13749 0 0 0 181 5 0 0 20 0 16 0 415263058 11006283776 65241 33554432000 4194304 4196468 140722013976240 140382428327088 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 21 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24458] ppid=24452 vsize=10748324 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7 /proc/24455/task/24458/stat : 24458 (java) S 24452 24455 24221 0 -1 1077944384 104 0 0 0 2 0 0 0 20 0 16 0 415263059 11006283776 65241 33554432000 4194304 4196468 140722013976240 140382350158096 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24459] ppid=24452 vsize=10748324 memory=1564 CPUtime=0.03 cores=1,3,5,7 /proc/24455/task/24459/stat : 24459 (java) S 24452 24455 24221 0 -1 1077944384 2313 0 0 0 2 1 0 0 20 0 16 0 415263059 11006283776 65241 33554432000 4194304 4196468 140722013976240 140382029474192 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24460] ppid=24452 vsize=10748324 memory=928 CPUtime=0.03 cores=1,3,5,7 /proc/24455/task/24460/stat : 24460 (java) S 24452 24455 24221 0 -1 1077944384 255 0 0 0 2 1 0 0 20 0 16 0 415263059 11006283776 65241 33554432000 4194304 4196468 140722013976240 140382028421648 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24461] ppid=24452 vsize=10748324 memory=4872558044660077418 CPUtime=0.03 cores=1,3,5,7 /proc/24455/task/24461/stat : 24461 (java) S 24452 24455 24221 0 -1 1077944384 198 0 0 0 2 1 0 0 20 0 16 0 415263059 11006283776 65241 33554432000 4194304 4196468 140722013976240 140382027369104 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24462] ppid=24452 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7 /proc/24455/task/24462/stat : 24462 (java) S 24452 24455 24221 0 -1 1077944384 1310 0 0 0 1 0 0 0 20 0 16 0 415263060 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381661362672 140382424095362 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24463] ppid=24452 vsize=10748324 memory=118 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24463/stat : 24463 (java) S 24452 24455 24221 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 415263060 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381660308960 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24464] ppid=24452 vsize=10748324 memory=132 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24464/stat : 24464 (java) S 24452 24455 24221 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 415263061 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381659256320 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24465] ppid=24452 vsize=10748324 memory=73 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24465/stat : 24465 (java) S 24452 24455 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415263063 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381658204880 140382424102811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24466] ppid=24452 vsize=10748324 memory=0 CPUtime=1.18 cores=1,3,5,7 /proc/24455/task/24466/stat : 24466 (java) S 24452 24455 24221 0 -1 1077944384 4868 0 0 0 117 1 0 0 20 0 16 0 415263063 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381657151472 140382424095362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24467] ppid=24452 vsize=10748324 memory=0 CPUtime=1.32 cores=1,3,5,7 /proc/24455/task/24467/stat : 24467 (java) S 24452 24455 24221 0 -1 1077944384 7841 0 0 0 131 1 0 0 20 0 16 0 415263063 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381656098928 140382424095362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24468] ppid=24452 vsize=10748324 memory=6065 CPUtime=0.73 cores=1,3,5,7 /proc/24455/task/24468/stat : 24468 (java) S 24452 24455 24221 0 -1 1077944384 6792 0 0 0 71 2 0 0 20 0 16 0 415263063 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381655046384 140382424095362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24469] ppid=24452 vsize=10748324 memory=2 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24469/stat : 24469 (java) S 24452 24455 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415263063 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381653994080 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24470] ppid=24452 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24470/stat : 24470 (java) S 24452 24455 24221 0 -1 1077944384 555 0 0 0 0 0 0 0 20 0 16 0 415263063 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381652941616 140382424095362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24471] ppid=24452 vsize=10748324 memory=0 CPUtime=61.86 cores=1,3,5,7 /proc/24455/task/24471/stat : 24471 (java) R 24452 24455 24221 0 -1 4202560 8478 0 0 0 6183 3 0 0 20 0 16 0 415263266 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381635874368 140382035949179 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 Current children cumulated CPU time: 67.16 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 260964 KiB [startup+64.8006 s] /proc/loadavg: 1.82 1.35 1.39 3/230 24475 /proc/meminfo: memFree=28189384/32770624 swapFree=67004752/67108860 [pid=24455] ppid=24452 vsize=10748324 memory=260964 CPUtime=67.96 cores=1,3,5,7 /proc/24455/stat : 24455 (java) S 24452 24455 24221 0 -1 1077944320 47902 0 0 0 6778 18 0 0 20 0 16 0 415263057 11006283776 65241 33554432000 4194304 4196468 140722013976240 140722013958784 140382424084215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 /proc/24455/statm: 2687081 65241 3379 1 0 2647217 0 [pid=24455/tid=24457] ppid=24452 vsize=10748324 memory=-8341965534556230502 CPUtime=1.86 cores=1,3,5,7 /proc/24455/task/24457/stat : 24457 (java) S 24452 24455 24221 0 -1 1077944384 13749 0 0 0 181 5 0 0 20 0 16 0 415263058 11006283776 65241 33554432000 4194304 4196468 140722013976240 140382428327088 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 21 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24458] ppid=24452 vsize=10748324 memory=9584 CPUtime=0.02 cores=1,3,5,7 /proc/24455/task/24458/stat : 24458 (java) S 24452 24455 24221 0 -1 1077944384 104 0 0 0 2 0 0 0 20 0 16 0 415263059 11006283776 65241 33554432000 4194304 4196468 140722013976240 140382350158096 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24459] ppid=24452 vsize=10748324 memory=4140 CPUtime=0.03 cores=1,3,5,7 /proc/24455/task/24459/stat : 24459 (java) S 24452 24455 24221 0 -1 1077944384 2313 0 0 0 2 1 0 0 20 0 16 0 415263059 11006283776 65241 33554432000 4194304 4196468 140722013976240 140382029474192 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24460] ppid=24452 vsize=10748324 memory=2832 CPUtime=0.03 cores=1,3,5,7 /proc/24455/task/24460/stat : 24460 (java) S 24452 24455 24221 0 -1 1077944384 255 0 0 0 2 1 0 0 20 0 16 0 415263059 11006283776 65241 33554432000 4194304 4196468 140722013976240 140382028421648 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24461] ppid=24452 vsize=10748324 memory=260964 CPUtime=0.03 cores=1,3,5,7 /proc/24455/task/24461/stat : 24461 (java) S 24452 24455 24221 0 -1 1077944384 198 0 0 0 2 1 0 0 20 0 16 0 415263059 11006283776 65241 33554432000 4194304 4196468 140722013976240 140382027369104 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24462] ppid=24452 vsize=10748324 memory=118 CPUtime=0.01 cores=1,3,5,7 /proc/24455/task/24462/stat : 24462 (java) S 24452 24455 24221 0 -1 1077944384 1310 0 0 0 1 0 0 0 20 0 16 0 415263060 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381661362672 140382424095362 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24463] ppid=24452 vsize=10748324 memory=132 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24463/stat : 24463 (java) S 24452 24455 24221 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 415263060 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381660308960 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24464] ppid=24452 vsize=10748324 memory=73 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24464/stat : 24464 (java) S 24452 24455 24221 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 415263061 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381659256320 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24465] ppid=24452 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24465/stat : 24465 (java) S 24452 24455 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415263063 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381658204880 140382424102811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24466] ppid=24452 vsize=10748324 memory=0 CPUtime=1.18 cores=1,3,5,7 /proc/24455/task/24466/stat : 24466 (java) S 24452 24455 24221 0 -1 1077944384 4868 0 0 0 117 1 0 0 20 0 16 0 415263063 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381657151472 140382424095362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24467] ppid=24452 vsize=10748324 memory=118 CPUtime=1.32 cores=1,3,5,7 /proc/24455/task/24467/stat : 24467 (java) S 24452 24455 24221 0 -1 1077944384 7841 0 0 0 131 1 0 0 20 0 16 0 415263063 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381656098928 140382424095362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24468] ppid=24452 vsize=10748324 memory=132 CPUtime=0.73 cores=1,3,5,7 /proc/24455/task/24468/stat : 24468 (java) S 24452 24455 24221 0 -1 1077944384 6792 0 0 0 71 2 0 0 20 0 16 0 415263063 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381655046384 140382424095362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24469] ppid=24452 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24469/stat : 24469 (java) S 24452 24455 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415263063 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381653994080 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24470] ppid=24452 vsize=10748324 memory=2616 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24470/stat : 24470 (java) S 24452 24455 24221 0 -1 1077944384 555 0 0 0 0 0 0 0 20 0 16 0 415263063 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381652941616 140382424095362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24471] ppid=24452 vsize=10748324 memory=1408 CPUtime=62.65 cores=1,3,5,7 /proc/24455/task/24471/stat : 24471 (java) R 24452 24455 24221 0 -1 4202560 8478 0 0 0 6262 3 0 0 20 0 16 0 415263266 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381635874368 140382035949005 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 Current children cumulated CPU time: 67.96 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 260964 KiB [startup+65.2006 s] /proc/loadavg: 1.84 1.36 1.39 3/231 24477 /proc/meminfo: memFree=28189384/32770624 swapFree=67004752/67108860 [pid=24455] ppid=24452 vsize=10748324 memory=260964 CPUtime=68.36 cores=1,3,5,7 /proc/24455/stat : 24455 (java) S 24452 24455 24221 0 -1 1077944320 47904 0 0 0 6818 18 0 0 20 0 16 0 415263057 11006283776 65241 33554432000 4194304 4196468 140722013976240 140722013958784 140382424084215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 /proc/24455/statm: 2687081 65241 3379 1 0 2647217 0 [pid=24455/tid=24457] ppid=24452 vsize=10748324 memory=6791534058613427641 CPUtime=1.86 cores=1,3,5,7 /proc/24455/task/24457/stat : 24457 (java) S 24452 24455 24221 0 -1 1077944384 13749 0 0 0 181 5 0 0 20 0 16 0 415263058 11006283776 65241 33554432000 4194304 4196468 140722013976240 140382428327088 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 21 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24458] ppid=24452 vsize=10748324 memory=288230617509003574 CPUtime=0.02 cores=1,3,5,7 /proc/24455/task/24458/stat : 24458 (java) S 24452 24455 24221 0 -1 1077944384 104 0 0 0 2 0 0 0 20 0 16 0 415263059 11006283776 65241 33554432000 4194304 4196468 140722013976240 140382350158096 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24459] ppid=24452 vsize=10748324 memory=16104775267649398 CPUtime=0.03 cores=1,3,5,7 /proc/24455/task/24459/stat : 24459 (java) S 24452 24455 24221 0 -1 1077944384 2313 0 0 0 2 1 0 0 20 0 16 0 415263059 11006283776 65241 33554432000 4194304 4196468 140722013976240 140382029474192 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24460] ppid=24452 vsize=10748324 memory=0 CPUtime=0.03 cores=1,3,5,7 /proc/24455/task/24460/stat : 24460 (java) S 24452 24455 24221 0 -1 1077944384 255 0 0 0 2 1 0 0 20 0 16 0 415263059 11006283776 65241 33554432000 4194304 4196468 140722013976240 140382028421648 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24461] ppid=24452 vsize=10748324 memory=0 CPUtime=0.03 cores=1,3,5,7 /proc/24455/task/24461/stat : 24461 (java) S 24452 24455 24221 0 -1 1077944384 198 0 0 0 2 1 0 0 20 0 16 0 415263059 11006283776 65241 33554432000 4194304 4196468 140722013976240 140382027369104 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24462] ppid=24452 vsize=10748324 memory=5226 CPUtime=0.01 cores=1,3,5,7 /proc/24455/task/24462/stat : 24462 (java) S 24452 24455 24221 0 -1 1077944384 1310 0 0 0 1 0 0 0 20 0 16 0 415263060 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381661362672 140382424095362 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24463] ppid=24452 vsize=10748324 memory=3 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24463/stat : 24463 (java) S 24452 24455 24221 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 415263060 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381660308960 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24464] ppid=24452 vsize=10748324 memory=3 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24464/stat : 24464 (java) S 24452 24455 24221 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 415263061 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381659256320 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24465] ppid=24452 vsize=10748324 memory=3 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24465/stat : 24465 (java) S 24452 24455 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415263063 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381658204880 140382424102811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24466] ppid=24452 vsize=10748324 memory=1 CPUtime=1.18 cores=1,3,5,7 /proc/24455/task/24466/stat : 24466 (java) S 24452 24455 24221 0 -1 1077944384 4868 0 0 0 117 1 0 0 20 0 16 0 415263063 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381657151472 140382424095362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24467] ppid=24452 vsize=10748324 memory=0 CPUtime=1.32 cores=1,3,5,7 /proc/24455/task/24467/stat : 24467 (java) S 24452 24455 24221 0 -1 1077944384 7841 0 0 0 131 1 0 0 20 0 16 0 415263063 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381656098928 140382424095362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24468] ppid=24452 vsize=10748324 memory=0 CPUtime=0.73 cores=1,3,5,7 /proc/24455/task/24468/stat : 24468 (java) S 24452 24455 24221 0 -1 1077944384 6792 0 0 0 71 2 0 0 20 0 16 0 415263063 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381655046384 140382424095362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24469] ppid=24452 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24469/stat : 24469 (java) S 24452 24455 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415263063 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381653994080 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24470] ppid=24452 vsize=10748324 memory=118 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24470/stat : 24470 (java) S 24452 24455 24221 0 -1 1077944384 555 0 0 0 0 0 0 0 20 0 16 0 415263063 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381652941616 140382424095362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24471] ppid=24452 vsize=10748324 memory=56 CPUtime=63.05 cores=1,3,5,7 /proc/24455/task/24471/stat : 24471 (java) R 24452 24455 24221 0 -1 4202560 8480 0 0 0 6302 3 0 0 20 0 16 0 415263266 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381635874368 140382035949152 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 Current children cumulated CPU time: 68.36 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 260964 KiB [startup+65.4006 s] /proc/loadavg: 1.84 1.36 1.39 3/231 24477 /proc/meminfo: memFree=28189384/32770624 swapFree=67004752/67108860 [pid=24455] ppid=24452 vsize=10748324 memory=260964 CPUtime=68.56 cores=1,3,5,7 /proc/24455/stat : 24455 (java) S 24452 24455 24221 0 -1 1077944320 47907 0 0 0 6838 18 0 0 20 0 16 0 415263057 11006283776 65241 33554432000 4194304 4196468 140722013976240 140722013958784 140382424084215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 /proc/24455/statm: 2687081 65241 3379 1 0 2647217 0 [pid=24455/tid=24457] ppid=24452 vsize=10748324 memory=288285597486033725 CPUtime=1.86 cores=1,3,5,7 /proc/24455/task/24457/stat : 24457 (java) S 24452 24455 24221 0 -1 1077944384 13749 0 0 0 181 5 0 0 20 0 16 0 415263058 11006283776 65241 33554432000 4194304 4196468 140722013976240 140382428327088 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 21 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24458] ppid=24452 vsize=10748324 memory=-7025448733113094249 CPUtime=0.02 cores=1,3,5,7 /proc/24455/task/24458/stat : 24458 (java) S 24452 24455 24221 0 -1 1077944384 104 0 0 0 2 0 0 0 20 0 16 0 415263059 11006283776 65241 33554432000 4194304 4196468 140722013976240 140382350158096 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24459] ppid=24452 vsize=10748324 memory=0 CPUtime=0.03 cores=1,3,5,7 /proc/24455/task/24459/stat : 24459 (java) S 24452 24455 24221 0 -1 1077944384 2313 0 0 0 2 1 0 0 20 0 16 0 415263059 11006283776 65241 33554432000 4194304 4196468 140722013976240 140382029474192 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24460] ppid=24452 vsize=10748324 memory=6944656592455359580 CPUtime=0.03 cores=1,3,5,7 /proc/24455/task/24460/stat : 24460 (java) S 24452 24455 24221 0 -1 1077944384 255 0 0 0 2 1 0 0 20 0 16 0 415263059 11006283776 65241 33554432000 4194304 4196468 140722013976240 140382028421648 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24461] ppid=24452 vsize=10748324 memory=6944656592455359580 CPUtime=0.03 cores=1,3,5,7 /proc/24455/task/24461/stat : 24461 (java) S 24452 24455 24221 0 -1 1077944384 198 0 0 0 2 1 0 0 20 0 16 0 415263059 11006283776 65241 33554432000 4194304 4196468 140722013976240 140382027369104 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24462] ppid=24452 vsize=10748324 memory=6944656592455097440 CPUtime=0.01 cores=1,3,5,7 /proc/24455/task/24462/stat : 24462 (java) S 24452 24455 24221 0 -1 1077944384 1310 0 0 0 1 0 0 0 20 0 16 0 415263060 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381661362672 140382424095362 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24463] ppid=24452 vsize=10748324 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24463/stat : 24463 (java) S 24452 24455 24221 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 415263060 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381660308960 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24464] ppid=24452 vsize=10748324 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24464/stat : 24464 (java) S 24452 24455 24221 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 415263061 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381659256320 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24465] ppid=24452 vsize=10748324 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24465/stat : 24465 (java) S 24452 24455 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415263063 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381658204880 140382424102811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24466] ppid=24452 vsize=10748324 memory=6944656592455360604 CPUtime=1.18 cores=1,3,5,7 /proc/24455/task/24466/stat : 24466 (java) S 24452 24455 24221 0 -1 1077944384 4868 0 0 0 117 1 0 0 20 0 16 0 415263063 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381657151472 140382424095362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24467] ppid=24452 vsize=10748324 memory=0 CPUtime=1.32 cores=1,3,5,7 /proc/24455/task/24467/stat : 24467 (java) S 24452 24455 24221 0 -1 1077944384 7841 0 0 0 131 1 0 0 20 0 16 0 415263063 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381656098928 140382424095362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24468] ppid=24452 vsize=10748324 memory=6944652177228980320 CPUtime=0.73 cores=1,3,5,7 /proc/24455/task/24468/stat : 24468 (java) S 24452 24455 24221 0 -1 1077944384 6792 0 0 0 71 2 0 0 20 0 16 0 415263063 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381655046384 140382424095362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24469] ppid=24452 vsize=10748324 memory=6082202987142213207 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24469/stat : 24469 (java) S 24452 24455 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415263063 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381653994080 140382424094421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24470] ppid=24452 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24455/task/24470/stat : 24470 (java) S 24452 24455 24221 0 -1 1077944384 555 0 0 0 0 0 0 0 20 0 16 0 415263063 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381652941616 140382424095362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 [pid=24455/tid=24471] ppid=24452 vsize=10748324 memory=1764 CPUtime=63.25 cores=1,3,5,7 /proc/24455/task/24471/stat : 24471 (java) R 24452 24455 24221 0 -1 4202560 8483 0 0 0 6322 3 0 0 20 0 16 0 415263266 11006283776 65241 33554432000 4194304 4196468 140722013976240 140381635874368 140382035946975 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140722013979659 140722013979762 140722013979762 140722013982671 0 Current children cumulated CPU time: 68.56 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 260964 KiB Child status: 0 Real time (s): 65.4792 CPU time (s): 68.6486 CPU user time (s): 68.4553 CPU system time (s): 0.193362 CPU usage (%): 104.84 Max. virtual memory (cumulated for all children) (KiB): 10748324 Max. memory (cumulated for all children) (KiB): 260964 getrusage(RUSAGE_CHILDREN,...) data: user time used= 68.4553 system time used= 0.193362 maximum resident set size= 261016 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48937 page faults= 0 swaps= 0 block input operations= 0 block output operations= 184 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4258 involuntary context switches= 50 # summary of solver processes directly reported to runsolver: # pid: 24455 # total CPU time (s): 68.6486 # total CPU user time (s): 68.4553 # total CPU system time (s): 0.193362 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.386278 second user time and 0.632015 second system time The end
Begin job on node126 at 2019-09-13 17:51:55 IDJOB=4391257 IDBENCH=127972 IDSOLVER=2833 FILE ID=node126/4391257-1568389953 RUNJOBID= node126-1568389883-24253 PBS_JOBID= 21701858 Free space on /tmp= 55764 MiB SOLVER NAME= AbsCon 2019-07-23 BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-24-4-6-1.xml COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391257-1568389953/watcher-4391257-1568389953 -o /tmp/evaluation-result-4391257-1568389953/solver-4391257-1568389953 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568389883-24253 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391257-1568389953.xml -cm TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 105bb238691d484e064b3a25c3dae36e RANDOM SEED=772678239 node126.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.45 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.45 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.45 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.45 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28449228 kB MemAvailable: 31610568 kB Buffers: 157244 kB Cached: 3249244 kB SwapCached: 2860 kB Active: 1903528 kB Inactive: 1757252 kB Active(anon): 252320 kB Inactive(anon): 43548 kB Active(file): 1651208 kB Inactive(file): 1713704 kB Unevictable: 108840 kB Mlocked: 108840 kB SwapTotal: 67108860 kB SwapFree: 67004752 kB Dirty: 9516 kB Writeback: 0 kB AnonPages: 457836 kB Mapped: 56596 kB Shmem: 32816 kB Slab: 255040 kB SReclaimable: 224528 kB SUnreclaim: 30512 kB KernelStack: 4048 kB PageTables: 6544 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1343300 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 350208 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 55756 MiB End job on node126 at 2019-09-13 17:53:00