2.42/1.88
2.42/1.88 AbsCon 2
2.42/1.90
4.30/2.49 Instance
4.30/2.49 name=instance-4390880-1568381567, framework=COP, bounds=-infty..+infty
4.30/2.49
4.30/2.49 Loading variables...
4.99/2.61 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8d47560
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35b46c91
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3445a1c8
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@862c4d5
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c8dfb71
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bd1b8cf
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@177bbb96
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58aec2dc
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@223d780b
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a520780
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d946240
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7db199f
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@683db524
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61114600
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1827f808
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7afa16
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d7654f2
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35d5b8c3
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10675694
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2842eb3c
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e527f8
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22006d2f
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41fc4367
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5edbf7b2
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31c7a1e7
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53f3d8e6
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5442112a
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d400781
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43793793
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40c383df
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78a0ec2d
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e660d07
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ffb0c5e
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e5c9b38
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33525092
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c9476cd
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5857604b
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c998f8d
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@653c9580
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33520dc8
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63d9a134
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b043114
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72560744
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ac51640
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7236e4f1
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18161857
8.71/3.87 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28e38ede
8.71/3.88 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1afd9d0
8.71/3.88 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@679c3e81
8.71/3.88 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca543c1
9.04/3.91
9.04/3.91
9.04/3.91 Domains
9.04/3.91 nTypes=17, nValues=118550, sizes=[2#5100,5#50,6#50,19#50...48#100,49#200,50#100,51#50]
9.04/3.91 Variables
9.04/3.91 count=7600, degrees=[2#2600,3#4950,51#50]
9.04/3.91 Objectives
9.04/3.91 way=min, type=ObjMaximumLE
9.04/3.91 Constraints
9.04/3.91 count=7552, nSpecific=2602, arities=[2#2550,3#4950,50#2,51#50]
9.04/3.91 distribution=[AllDifferent#1,CtrExtensionCT-Table#2500,CtrExtensionV-Bits#2500,CtrIntension#2450,EQ#50,ObjMaximumLE#1,SumWeightedEQ#50]
9.04/3.91 tables=[3#100,6#50,7#50,20#50...48#500,49#100,50#200,51#50], nTotalTuples=106000
9.04/3.91 nExtStructures=(2516,shared:2484), nIntStructures=(16,shared:2434), nCftStructures=(2516,shared:2434,unbuilt:2602)
9.04/3.91 wck=2.062, cpu=3.789, mem=82M124
18.49/7.41 Solver SolverBacktrack being built...
18.49/7.41
19.60/7.77
19.60/7.77 Solver
19.60/7.77 guaranteedGAC=false
19.60/7.77 wck=5.918, cpu=5.335, mem=1058M493
20.83/8.32
20.83/8.32 Preprocessing
20.83/8.32 filters=1970, revisions=(3940,useless=2018), ccks=2800058, nACremovedValues=43637, nTotalRemovedValues=43637, inconcistency=false
20.83/8.32 wck=0.547, cpu=5.886, mem=1058M493
20.83/8.32
22.83/9.11 o 49
23.98/10.12 num=0, depth=7601..7599, filters=66784, revisions=(180097,useless=118362), ccks=5164749, wck=2.348, mem=1058M493
23.98/10.12 decisions=49, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=49
23.98/10.12 nFilterCalls=69276, avgTableProportion=0.9739697131672282, avgTableSize=44.286433974247934
23.98/10.12
25.14/10.70 num=1, depth=0..29, filters=114043, revisions=(308739,useless=204496), ccks=6680082, wck=2.935, mem=1058M493
25.14/10.70 decisions=104, wrong=13, backtracks=2, failedAssignments=11, nogoods=9, foundSolutions=1, bestBound=49
25.14/10.70 nFilterCalls=112598, avgTableProportion=0.9743816126201431, avgTableSize=44.38550418302279
25.14/10.70
25.80/11.22 o 48
26.74/12.17 num=2, depth=7601..7599, filters=175324, revisions=(482133,useless=321367), ccks=8387979, wck=4.404, mem=1069M546
26.74/12.17 decisions=166, wrong=13, backtracks=2, failedAssignments=11, nogoods=9, foundSolutions=2, bestBound=48
26.74/12.17 nFilterCalls=174097, avgTableProportion=0.974387900130796, avgTableSize=44.40099484769985
26.74/12.17
27.39/12.70 num=3, depth=0..43, filters=229332, revisions=(634108,useless=424150), ccks=9985632, wck=4.93, mem=1069M546
27.39/12.70 decisions=236, wrong=27, backtracks=5, failedAssignments=23, nogoods=19, foundSolutions=2, bestBound=48
27.39/12.70 nFilterCalls=223531, avgTableProportion=0.9746197579800913, avgTableSize=44.46070567393337
27.39/12.70
27.81/13.18 o 47
28.81/14.13 num=4, depth=62..7599, filters=288452, revisions=(806525,useless=542177), ccks=11618221, wck=6.365, mem=1069M546
28.81/14.13 decisions=311, wrong=31, backtracks=5, failedAssignments=27, nogoods=23, foundSolutions=3, bestBound=47
28.81/14.13 nFilterCalls=282718, avgTableProportion=0.974552893759013, avgTableSize=44.450335670173104
28.81/14.13
29.01/14.37 num=5, depth=1..5, filters=291005, revisions=(816710,useless=550759), ccks=11704505, wck=6.599, mem=1069M546
29.01/14.37 decisions=346, wrong=48, backtracks=16, failedAssignments=39, nogoods=26, foundSolutions=3, bestBound=47
29.01/14.37 nFilterCalls=286360, avgTableProportion=0.9741570255013834, avgTableSize=44.369356753736554
29.01/14.37
29.12/14.41 num=6, depth=18..25, filters=299860, revisions=(827653,useless=556874), ccks=11794792, wck=6.637, mem=1069M546
29.12/14.41 decisions=392, wrong=59, backtracks=16, failedAssignments=50, nogoods=37, foundSolutions=3, bestBound=47
29.12/14.41 nFilterCalls=289349, avgTableProportion=0.9740431353869082, avgTableSize=44.349781751448944
29.12/14.41
29.45/14.73 num=7, depth=20..71, filters=360249, revisions=(997394,useless=670822), ccks=13452859, wck=6.963, mem=1069M546
29.45/14.73 decisions=493, wrong=75, backtracks=20, failedAssignments=62, nogoods=44, foundSolutions=3, bestBound=47
29.45/14.73 nFilterCalls=341810, avgTableProportion=0.9742960031330703, avgTableSize=44.40083379655364
29.45/14.73
29.60/14.85 num=8, depth=26..37, filters=372234, revisions=(1023821,useless=689413), ccks=14272546, wck=7.085, mem=1069M546
29.60/14.85 decisions=560, wrong=93, backtracks=27, failedAssignments=75, nogoods=50, foundSolutions=3, bestBound=47
29.60/14.85 nFilterCalls=347561, avgTableProportion=0.9740697194007608, avgTableSize=44.31620060938943
29.60/14.85
30.10/15.31 o 46
31.00/16.26 num=9, depth=9..7599, filters=429638, revisions=(1182287,useless=794579), ccks=15823517, wck=8.495, mem=1069M546
31.00/16.26 decisions=658, wrong=103, backtracks=31, failedAssignments=83, nogoods=56, foundSolutions=4, bestBound=46
31.00/16.26 nFilterCalls=405518, avgTableProportion=0.9740520008043685, avgTableSize=44.31557908650171
31.00/16.26
31.30/16.57 num=10, depth=0..35, filters=440800, revisions=(1212844,useless=817338), ccks=16298499, wck=8.806, mem=1069M546
31.30/16.57 decisions=737, wrong=127, backtracks=43, failedAssignments=99, nogoods=64, foundSolutions=4, bestBound=46
31.30/16.57 nFilterCalls=414034, avgTableProportion=0.9736375499012113, avgTableSize=44.22452262374588
31.30/16.57
31.44/16.68 num=11, depth=9..20, filters=457562, revisions=(1254083,useless=845412), ccks=16997848, wck=8.913, mem=1069M546
31.44/16.68 decisions=789, wrong=146, backtracks=53, failedAssignments=110, nogoods=66, foundSolutions=4, bestBound=46
31.44/16.68 nFilterCalls=425091, avgTableProportion=0.9736252797003044, avgTableSize=44.24084019656968
31.44/16.68
31.54/16.77 num=12, depth=9..29, filters=469781, revisions=(1281330,useless=863672), ccks=17535093, wck=9.003, mem=1069M546
31.54/16.77 decisions=856, wrong=173, backtracks=68, failedAssignments=122, nogoods=68, foundSolutions=4, bestBound=46
31.54/16.77 nFilterCalls=432461, avgTableProportion=0.9734873532375049, avgTableSize=44.20579659206264
31.54/16.77
31.64/16.84 num=13, depth=14..24, filters=477977, revisions=(1300036,useless=876693), ccks=17909462, wck=9.073, mem=1069M546
31.64/16.84 decisions=918, wrong=196, backtracks=81, failedAssignments=135, nogoods=72, foundSolutions=4, bestBound=46
31.64/16.84 nFilterCalls=436576, avgTableProportion=0.9733855241363292, avgTableSize=44.17667485157224
31.64/16.84
31.74/16.91 num=14, depth=15..18, filters=488212, revisions=(1321661,useless=890851), ccks=18313318, wck=9.145, mem=1069M546
31.74/16.91 decisions=967, wrong=213, backtracks=88, failedAssignments=149, nogoods=84, foundSolutions=4, bestBound=46
31.74/16.91 nFilterCalls=442081, avgTableProportion=0.9732012804711869, avgTableSize=44.11479118080171
31.74/16.91
31.85/17.01 num=15, depth=7..16, filters=501846, revisions=(1350704,useless=910525), ccks=18838639, wck=9.242, mem=1069M546
31.85/17.01 decisions=1024, wrong=236, backtracks=98, failedAssignments=165, nogoods=92, foundSolutions=4, bestBound=46
31.85/17.01 nFilterCalls=449090, avgTableProportion=0.9730295638237241, avgTableSize=44.0559197488254
31.85/17.01
31.96/17.12 num=16, depth=18..26, filters=516524, revisions=(1378306,useless=928119), ccks=19448618, wck=9.35, mem=1069M546
31.96/17.12 decisions=1097, wrong=263, backtracks=115, failedAssignments=182, nogoods=98, foundSolutions=4, bestBound=46
31.96/17.12 nFilterCalls=456612, avgTableProportion=0.972899124331684, avgTableSize=44.0106764605398
31.96/17.12
32.05/17.22 num=17, depth=0..26, filters=529564, revisions=(1403619,useless=942700), ccks=19995747, wck=9.451, mem=1069M546
32.05/17.22 decisions=1191, wrong=302, backtracks=143, failedAssignments=201, nogoods=105, foundSolutions=4, bestBound=46
32.05/17.22 nFilterCalls=463603, avgTableProportion=0.9726964066895794, avgTableSize=43.93779807292015
32.05/17.22
32.25/17.46 num=18, depth=15..31, filters=562369, revisions=(1471877,useless=987311), ccks=21573248, wck=9.692, mem=1069M546
32.25/17.46 decisions=1288, wrong=339, backtracks=163, failedAssignments=222, nogoods=111, foundSolutions=4, bestBound=46
32.25/17.46 nFilterCalls=483355, avgTableProportion=0.972602493877584, avgTableSize=43.857222952074565
32.25/17.46
32.45/17.60 num=19, depth=8..32, filters=580859, revisions=(1519845,useless=1019689), ccks=22465195, wck=9.831, mem=1069M546
32.45/17.60 decisions=1368, wrong=366, backtracks=167, failedAssignments=245, nogoods=126, foundSolutions=4, bestBound=46
32.45/17.60 nFilterCalls=495217, avgTableProportion=0.9723868196490324, avgTableSize=43.77513292152733
32.45/17.60
32.55/17.76 num=20, depth=8..25, filters=601071, revisions=(1564594,useless=1048885), ccks=23493776, wck=9.988, mem=1069M546
32.55/17.76 decisions=1448, wrong=398, backtracks=176, failedAssignments=270, nogoods=140, foundSolutions=4, bestBound=46
32.55/17.76 nFilterCalls=507245, avgTableProportion=0.9722281725123784, avgTableSize=43.715843428717875
32.55/17.76
32.76/17.91 num=21, depth=9..37, filters=623221, revisions=(1633670,useless=1098327), ccks=24371845, wck=10.146, mem=1069M546
32.76/17.91 decisions=1558, wrong=438, backtracks=191, failedAssignments=298, nogoods=158, foundSolutions=4, bestBound=46
32.76/17.91 nFilterCalls=522711, avgTableProportion=0.9720538326094965, avgTableSize=43.6633474329027
32.76/17.91
32.97/18.17 num=22, depth=10..47, filters=665684, revisions=(1733797,useless=1164446), ccks=25694488, wck=10.403, mem=1069M546
32.97/18.17 decisions=1696, wrong=490, backtracks=217, failedAssignments=329, nogoods=178, foundSolutions=4, bestBound=46
32.97/18.17 nFilterCalls=550575, avgTableProportion=0.9719966989488779, avgTableSize=43.61311356309313
32.97/18.17
33.16/18.32 num=23, depth=11..22, filters=684481, revisions=(1782783,useless=1197350), ccks=26586314, wck=10.549, mem=1069M546
33.16/18.32 decisions=1800, wrong=533, backtracks=229, failedAssignments=363, nogoods=202, foundSolutions=4, bestBound=46
33.16/18.32 nFilterCalls=562667, avgTableProportion=0.9718856843448183, avgTableSize=43.554827277945925
33.16/18.32
33.46/18.65 num=24, depth=6..45, filters=735926, revisions=(1917587,useless=1286755), ccks=28478694, wck=10.881, mem=1069M546
33.46/18.65 decisions=1946, wrong=589, backtracks=251, failedAssignments=400, nogoods=221, foundSolutions=4, bestBound=46
33.46/18.65 nFilterCalls=600953, avgTableProportion=0.9718942326268944, avgTableSize=43.51316825109451
33.46/18.65
33.76/18.91 num=25, depth=8..31, filters=770663, revisions=(2019091,useless=1356487), ccks=30251583, wck=11.144, mem=1069M546
33.76/18.91 decisions=2075, wrong=644, backtracks=270, failedAssignments=441, nogoods=225, foundSolutions=4, bestBound=46
33.76/18.91 nFilterCalls=624611, avgTableProportion=0.9717847168947407, avgTableSize=43.46127429712253
33.76/18.91
34.06/19.25 num=26, depth=8..41, filters=821186, revisions=(2155353,useless=1448529), ccks=32259536, wck=11.484, mem=1069M546
34.06/19.25 decisions=2242, wrong=710, backtracks=295, failedAssignments=486, nogoods=249, foundSolutions=4, bestBound=46
34.06/19.25 nFilterCalls=660834, avgTableProportion=0.9718257099141191, avgTableSize=43.441933980394474
34.06/19.25
34.16/19.36 num=27, depth=0..36, filters=834965, revisions=(2179966,useless=1462220), ccks=32817357, wck=11.59, mem=1069M546
34.16/19.36 decisions=2368, wrong=764, backtracks=312, failedAssignments=536, nogoods=282, foundSolutions=4, bestBound=46
34.16/19.36 nFilterCalls=667440, avgTableProportion=0.9716801141283493, avgTableSize=43.41203404051301
34.16/19.36
34.68/19.82 num=28, depth=16..38, filters=906823, revisions=(2369515,useless=1587142), ccks=35503565, wck=12.053, mem=1069M546
34.68/19.82 decisions=2577, wrong=860, backtracks=375, failedAssignments=591, nogoods=285, foundSolutions=4, bestBound=46
34.68/19.82 nFilterCalls=721073, avgTableProportion=0.9715252154022657, avgTableSize=43.281028411825154
34.68/19.82
34.98/20.12 num=29, depth=10..22, filters=956432, revisions=(2491828,useless=1666821), ccks=37298035, wck=12.356, mem=1069M546
34.98/20.12 decisions=2737, wrong=931, backtracks=390, failedAssignments=652, nogoods=303, foundSolutions=4, bestBound=46
34.98/20.12 nFilterCalls=753716, avgTableProportion=0.9712550267365804, avgTableSize=43.138410223479404
34.98/20.12
35.48/20.64 num=30, depth=12..47, filters=1036552, revisions=(2714808,useless=1822486), ccks=40363685, wck=12.868, mem=1069M546
35.48/20.64 decisions=2972, wrong=1034, backtracks=437, failedAssignments=719, nogoods=311, foundSolutions=4, bestBound=46
35.48/20.64 nFilterCalls=809096, avgTableProportion=0.971296255236598, avgTableSize=43.13299781484521
35.48/20.64
35.78/20.99 num=31, depth=12..52, filters=1099737, revisions=(2859148,useless=1910430), ccks=42331633, wck=13.225, mem=1069M546
35.78/20.99 decisions=3217, wrong=1137, backtracks=479, failedAssignments=793, nogoods=326, foundSolutions=4, bestBound=46
35.78/20.99 nFilterCalls=854501, avgTableProportion=0.9709149815111838, avgTableSize=43.076418869024145
35.78/20.99
36.29/21.44 num=32, depth=10..42, filters=1172006, revisions=(3040308,useless=2023605), ccks=45129004, wck=13.668, mem=1069M546
36.29/21.44 decisions=3454, wrong=1246, backtracks=513, failedAssignments=874, nogoods=342, foundSolutions=4, bestBound=46
36.29/21.44 nFilterCalls=909093, avgTableProportion=0.9709493732113947, avgTableSize=43.115886933460054
36.29/21.44
36.59/21.77 num=33, depth=11..63, filters=1230619, revisions=(3175204,useless=2106226), ccks=46914672, wck=13.998, mem=1069M546
36.59/21.77 decisions=3718, wrong=1354, backtracks=540, failedAssignments=963, nogoods=366, foundSolutions=4, bestBound=46
36.59/21.77 nFilterCalls=950566, avgTableProportion=0.9709043898582538, avgTableSize=43.10885198923589
36.59/21.77
36.90/22.06 num=34, depth=12..52, filters=1290268, revisions=(3307416,useless=2183310), ccks=48536727, wck=14.296, mem=1069M546
36.90/22.06 decisions=3988, wrong=1467, backtracks=568, failedAssignments=1061, nogoods=387, foundSolutions=4, bestBound=46
36.90/22.06 nFilterCalls=994568, avgTableProportion=0.9710625533519185, avgTableSize=43.1702136002767
36.90/22.06
37.19/22.38 num=35, depth=13..57, filters=1360639, revisions=(3469509,useless=2279171), ccks=50174423, wck=14.612, mem=1069M546
37.19/22.38 decisions=4281, wrong=1588, backtracks=584, failedAssignments=1169, nogoods=406, foundSolutions=4, bestBound=46
37.19/22.38 nFilterCalls=1051518, avgTableProportion=0.9712824867935806, avgTableSize=43.245654377766236
37.19/22.38
37.61/22.74 num=36, depth=2..58, filters=1448096, revisions=(3664806,useless=2393302), ccks=51899943, wck=14.972, mem=1069M546
37.61/22.74 decisions=4604, wrong=1725, backtracks=604, failedAssignments=1288, nogoods=420, foundSolutions=4, bestBound=46
37.61/22.74 nFilterCalls=1121304, avgTableProportion=0.9715113744072581, avgTableSize=43.31599726746716
37.61/22.74
37.92/23.07 num=37, depth=2..56, filters=1522077, revisions=(3830908,useless=2490326), ccks=53600226, wck=15.299, mem=1069M546
37.92/23.07 decisions=4938, wrong=1873, backtracks=621, failedAssignments=1419, nogoods=430, foundSolutions=4, bestBound=46
37.92/23.07 nFilterCalls=1179099, avgTableProportion=0.9716964657185154, avgTableSize=43.372894896866164
37.92/23.07
38.31/23.41 num=38, depth=3..60, filters=1610049, revisions=(4018685,useless=2600243), ccks=55301789, wck=15.646, mem=1069M546
38.31/23.41 decisions=5298, wrong=2032, backtracks=636, failedAssignments=1563, nogoods=437, foundSolutions=4, bestBound=46
38.31/23.41 nFilterCalls=1244867, avgTableProportion=0.971728181374235, avgTableSize=43.42085218742243
38.31/23.41
38.92/24.01 o 45
39.82/24.97 num=39, depth=4..7599, filters=1697156, revisions=(4227091,useless=2728779), ccks=57747166, wck=17.198, mem=1069M546
39.82/24.97 decisions=5511, wrong=2110, backtracks=657, failedAssignments=1621, nogoods=448, foundSolutions=5, bestBound=45
39.82/24.97 nFilterCalls=1322253, avgTableProportion=0.9716914012150113, avgTableSize=43.432760598765896
39.82/24.97
40.42/25.57 num=40, depth=4..36, filters=1759641, revisions=(4353744,useless=2804155), ccks=59895410, wck=17.8, mem=1069M546
40.42/25.57 decisions=5912, wrong=2305, backtracks=694, failedAssignments=1795, nogoods=454, foundSolutions=5, bestBound=45
40.42/25.57 nFilterCalls=1361112, avgTableProportion=0.9714728375117367, avgTableSize=43.375765550520455
40.42/25.57
40.52/25.63 num=41, depth=1..9, filters=1769235, revisions=(4367112,useless=2811559), ccks=60201020, wck=17.857, mem=1069M546
40.52/25.63 decisions=5944, wrong=2318, backtracks=696, failedAssignments=1806, nogoods=462, foundSolutions=5, bestBound=45
40.52/25.63 nFilterCalls=1366203, avgTableProportion=0.9714865174499506, avgTableSize=43.380099443494125
40.52/25.63
40.62/25.71 num=42, depth=1..18, filters=1784381, revisions=(4387367,useless=2822362), ccks=60678882, wck=17.944, mem=1069M546
40.62/25.71 decisions=5985, wrong=2334, backtracks=701, failedAssignments=1818, nogoods=471, foundSolutions=5, bestBound=45
40.62/25.71 nFilterCalls=1374365, avgTableProportion=0.9715180333865573, avgTableSize=43.392936374252834
40.62/25.71
40.72/25.81 num=43, depth=1..18, filters=1802972, revisions=(4409100,useless=2833279), ccks=61215100, wck=18.044, mem=1069M546
40.72/25.81 decisions=6024, wrong=2350, backtracks=704, failedAssignments=1831, nogoods=483, foundSolutions=5, bestBound=45
40.72/25.81 nFilterCalls=1383754, avgTableProportion=0.9715539788444497, avgTableSize=43.40721688970727
40.72/25.81
40.72/25.89 num=44, depth=4..14, filters=1816130, revisions=(4429983,useless=2844482), ccks=61672566, wck=18.123, mem=1069M546
40.72/25.89 decisions=6068, wrong=2367, backtracks=707, failedAssignments=1845, nogoods=496, foundSolutions=5, bestBound=45
40.72/25.89 nFilterCalls=1391981, avgTableProportion=0.9715643448506305, avgTableSize=43.41256525771544
40.72/25.89
40.82/25.96 num=45, depth=1..10, filters=1827623, revisions=(4446664,useless=2853434), ccks=62051936, wck=18.191, mem=1069M546
40.82/25.96 decisions=6114, wrong=2387, backtracks=711, failedAssignments=1861, nogoods=508, foundSolutions=5, bestBound=45
40.82/25.96 nFilterCalls=1398403, avgTableProportion=0.9715835586971767, avgTableSize=43.41958290993369
40.82/25.96
40.93/26.02 num=46, depth=6..10, filters=1835213, revisions=(4460381,useless=2861751), ccks=62502077, wck=18.256, mem=1069M546
40.93/26.02 decisions=6158, wrong=2405, backtracks=712, failedAssignments=1878, nogoods=525, foundSolutions=5, bestBound=45
40.93/26.02 nFilterCalls=1402498, avgTableProportion=0.9715888947169119, avgTableSize=43.42116780202182
40.93/26.02
41.03/26.12 num=47, depth=4..15, filters=1849063, revisions=(4484320,useless=2875899), ccks=63065201, wck=18.352, mem=1069M546
41.03/26.12 decisions=6214, wrong=2428, backtracks=716, failedAssignments=1897, nogoods=537, foundSolutions=5, bestBound=45
41.03/26.12 nFilterCalls=1410649, avgTableProportion=0.9716023880256723, avgTableSize=43.42789099201857
41.03/26.12
41.12/26.26 num=48, depth=4..27, filters=1869940, revisions=(4524908,useless=2900612), ccks=63900327, wck=18.492, mem=1069M546
41.12/26.26 decisions=6290, wrong=2463, backtracks=736, failedAssignments=1918, nogoods=539, foundSolutions=5, bestBound=45
41.12/26.26 nFilterCalls=1423254, avgTableProportion=0.9715780152293559, avgTableSize=43.42821450001195
41.12/26.26
41.22/26.37 num=49, depth=0..20, filters=1886424, revisions=(4554010,useless=2916936), ccks=64565086, wck=18.601, mem=1069M546
41.22/26.37 decisions=6354, wrong=2488, backtracks=740, failedAssignments=1941, nogoods=550, foundSolutions=5, bestBound=45
41.22/26.37 nFilterCalls=1434160, avgTableProportion=0.9715882627620569, avgTableSize=43.43594020193005
41.22/26.37
41.42/26.50 num=50, depth=1..39, filters=1909919, revisions=(4586785,useless=2935399), ccks=65237599, wck=18.736, mem=1069M546
41.42/26.50 decisions=6431, wrong=2520, backtracks=754, failedAssignments=1966, nogoods=564, foundSolutions=5, bestBound=45
41.42/26.50 nFilterCalls=1445616, avgTableProportion=0.9715525159678422, avgTableSize=43.436195365850956
41.42/26.50
41.42/26.58 num=51, depth=1..12, filters=1921467, revisions=(4606077,useless=2947093), ccks=65600492, wck=18.808, mem=1069M546
41.42/26.58 decisions=6497, wrong=2552, backtracks=762, failedAssignments=1994, nogoods=573, foundSolutions=5, bestBound=45
41.42/26.58 nFilterCalls=1450994, avgTableProportion=0.9715455028512685, avgTableSize=43.43419131988141
41.42/26.58
41.62/26.72 num=52, depth=12..33, filters=1943095, revisions=(4646698,useless=2972115), ccks=66427164, wck=18.956, mem=1069M546
41.62/26.72 decisions=6584, wrong=2586, backtracks=770, failedAssignments=2025, nogoods=597, foundSolutions=5, bestBound=45
41.62/26.72 nFilterCalls=1462480, avgTableProportion=0.9715126061577536, avgTableSize=43.42735490399869
41.62/26.72
41.82/26.91 num=53, depth=6..19, filters=1972938, revisions=(4696405,useless=3000040), ccks=67551500, wck=19.145, mem=1069M546
41.82/26.91 decisions=6685, wrong=2632, backtracks=787, failedAssignments=2059, nogoods=606, foundSolutions=5, bestBound=45
41.82/26.91 nFilterCalls=1480745, avgTableProportion=0.9714960963316454, avgTableSize=43.43213179852034
41.82/26.91
42.03/27.11 num=54, depth=0..33, filters=2002268, revisions=(4758090,useless=3038139), ccks=68703847, wck=19.344, mem=1069M546
42.03/27.11 decisions=6794, wrong=2675, backtracks=796, failedAssignments=2096, nogoods=625, foundSolutions=5, bestBound=45
42.03/27.11 nFilterCalls=1500063, avgTableProportion=0.9715142874551854, avgTableSize=43.44291606419197
42.03/27.11
42.12/27.27 num=55, depth=1..30, filters=2023512, revisions=(4808305,useless=3071869), ccks=69654832, wck=19.503, mem=1069M546
42.12/27.27 decisions=6909, wrong=2726, backtracks=813, failedAssignments=2137, nogoods=653, foundSolutions=5, bestBound=45
42.12/27.27 nFilterCalls=1512423, avgTableProportion=0.9714991685946324, avgTableSize=43.44028357146116
42.12/27.27
42.32/27.46 num=56, depth=8..13, filters=2051326, revisions=(4877214,useless=3118674), ccks=70797493, wck=19.692, mem=1069M546
42.32/27.46 decisions=7024, wrong=2779, backtracks=823, failedAssignments=2182, nogoods=656, foundSolutions=5, bestBound=45
42.32/27.46 nFilterCalls=1529970, avgTableProportion=0.9714440086658517, avgTableSize=43.43216010771453
42.32/27.46
42.53/27.67 num=57, depth=11..23, filters=2101596, revisions=(4947817,useless=3156495), ccks=71737231, wck=19.906, mem=1069M546
42.53/27.67 decisions=7153, wrong=2838, backtracks=835, failedAssignments=2232, nogoods=676, foundSolutions=5, bestBound=45
42.53/27.67 nFilterCalls=1555570, avgTableProportion=0.9714088452992528, avgTableSize=43.42157472823467
42.53/27.67
42.73/27.84 num=58, depth=1..25, filters=2125315, revisions=(5005027,useless=3195664), ccks=72632818, wck=20.067, mem=1069M546
42.73/27.84 decisions=7296, wrong=2906, backtracks=853, failedAssignments=2287, nogoods=694, foundSolutions=5, bestBound=45
42.73/27.84 nFilterCalls=1568525, avgTableProportion=0.9713541785340222, avgTableSize=43.41165744887713
42.73/27.84
42.94/28.07 num=59, depth=1..31, filters=2155092, revisions=(5093337,useless=3260627), ccks=74068497, wck=20.298, mem=1069M546
42.94/28.07 decisions=7460, wrong=2982, backtracks=879, failedAssignments=2348, nogoods=717, foundSolutions=5, bestBound=45
42.94/28.07 nFilterCalls=1584988, avgTableProportion=0.9712740097897288, avgTableSize=43.39348625983288
42.94/28.07
43.23/28.35 num=60, depth=8..21, filters=2198057, revisions=(5207335,useless=3340848), ccks=75712506, wck=20.586, mem=1069M546
43.23/28.35 decisions=7635, wrong=3062, backtracks=902, failedAssignments=2415, nogoods=731, foundSolutions=5, bestBound=45
43.23/28.35 nFilterCalls=1611950, avgTableProportion=0.9712274309149616, avgTableSize=43.38448152858339
43.23/28.35
43.54/28.63 num=61, depth=1..22, filters=2231455, revisions=(5315510,useless=3421785), ccks=77541000, wck=20.86, mem=1069M546
43.54/28.63 decisions=7821, wrong=3150, backtracks=921, failedAssignments=2489, nogoods=747, foundSolutions=5, bestBound=45
43.54/28.63 nFilterCalls=1629410, avgTableProportion=0.9710438998728441, avgTableSize=43.34362253821936
43.54/28.63
43.84/28.97 num=62, depth=9..17, filters=2283443, revisions=(5429558,useless=3494928), ccks=79650991, wck=21.197, mem=1069M546
43.84/28.97 decisions=8020, wrong=3244, backtracks=943, failedAssignments=2570, nogoods=803, foundSolutions=5, bestBound=45
43.84/28.97 nFilterCalls=1658061, avgTableProportion=0.971000657589942, avgTableSize=43.32503689550626
43.84/28.97
44.24/29.38 num=63, depth=9..18, filters=2350068, revisions=(5595856,useless=3609445), ccks=82068450, wck=21.613, mem=1069M546
44.24/29.38 decisions=8244, wrong=3351, backtracks=969, failedAssignments=2659, nogoods=825, foundSolutions=5, bestBound=45
44.24/29.38 nFilterCalls=1698517, avgTableProportion=0.9709569454677016, avgTableSize=43.3078673925548
44.24/29.38
44.54/29.68 num=64, depth=1..34, filters=2389319, revisions=(5706675,useless=3688409), ccks=83994299, wck=21.916, mem=1069M546
44.54/29.68 decisions=8490, wrong=3470, backtracks=1008, failedAssignments=2757, nogoods=853, foundSolutions=5, bestBound=45
44.54/29.68 nFilterCalls=1718796, avgTableProportion=0.9707802103637317, avgTableSize=43.26205727730341
44.54/29.68
44.98/30.05 num=65, depth=7..13, filters=2437963, revisions=(5833542,useless=3775450), ccks=86383242, wck=22.279, mem=1069M546
44.98/30.05 decisions=8759, wrong=3600, backtracks=1035, failedAssignments=2865, nogoods=874, foundSolutions=5, bestBound=45
44.98/30.05 nFilterCalls=1744923, avgTableProportion=0.9707190720605176, avgTableSize=43.21202482860275
44.98/30.05
45.27/30.35 num=66, depth=10..21, filters=2485706, revisions=(5940361,useless=3845291), ccks=88091243, wck=22.58, mem=1069M546
45.27/30.35 decisions=9038, wrong=3734, backtracks=1058, failedAssignments=2984, nogoods=917, foundSolutions=5, bestBound=45
45.27/30.35 nFilterCalls=1771574, avgTableProportion=0.9706888975237521, avgTableSize=43.19570111098944
45.27/30.35
45.67/30.75 num=67, depth=1..25, filters=2549771, revisions=(6070302,useless=3922985), ccks=90472941, wck=22.978, mem=1069M546
45.67/30.75 decisions=9378, wrong=3898, backtracks=1105, failedAssignments=3115, nogoods=955, foundSolutions=5, bestBound=45
45.67/30.75 nFilterCalls=1806243, avgTableProportion=0.9705476023522832, avgTableSize=43.16961615906608
45.67/30.75
46.03/31.07 num=68, depth=6..27, filters=2600185, revisions=(6162556,useless=3976032), ccks=92352329, wck=23.307, mem=1069M546
46.03/31.07 decisions=9717, wrong=4064, backtracks=1142, failedAssignments=3259, nogoods=961, foundSolutions=5, bestBound=45
46.03/31.07 nFilterCalls=1835207, avgTableProportion=0.9705125927719022, avgTableSize=43.1642125384221
46.03/31.07
46.52/31.57 num=69, depth=0..27, filters=2691198, revisions=(6310471,useless=4063083), ccks=94903969, wck=23.797, mem=1069M546
46.52/31.57 decisions=10120, wrong=4263, backtracks=1208, failedAssignments=3417, nogoods=965, foundSolutions=5, bestBound=45
46.52/31.57 nFilterCalls=1880288, avgTableProportion=0.9704306797083919, avgTableSize=43.13607117633043
46.52/31.57
46.92/31.93 num=70, depth=0..11, filters=2749287, revisions=(6415891,useless=4120064), ccks=96986737, wck=24.16, mem=1069M546
46.92/31.93 decisions=10506, wrong=4454, backtracks=1241, failedAssignments=3591, nogoods=966, foundSolutions=5, bestBound=45
46.92/31.93 nFilterCalls=1913022, avgTableProportion=0.9704081334664796, avgTableSize=43.11923281593207
46.92/31.93
47.32/32.39 num=71, depth=2..15, filters=2827807, revisions=(6559685,useless=4202576), ccks=99527755, wck=24.618, mem=1069M546
47.32/32.39 decisions=10960, wrong=4677, backtracks=1284, failedAssignments=3782, nogoods=988, foundSolutions=5, bestBound=45
47.32/32.39 nFilterCalls=1955657, avgTableProportion=0.9702889587210916, avgTableSize=43.07109170984482
47.32/32.39
47.84/32.87 num=72, depth=0..19, filters=2911321, revisions=(6697490,useless=4276861), ccks=102188361, wck=25.105, mem=1069M546
47.84/32.87 decisions=11446, wrong=4917, backtracks=1328, failedAssignments=3993, nogoods=1015, foundSolutions=5, bestBound=45
47.84/32.87 nFilterCalls=1998781, avgTableProportion=0.970199200045455, avgTableSize=43.0452680909014
47.84/32.87
48.35/33.38 num=73, depth=0..18, filters=2994136, revisions=(6835900,useless=4351219), ccks=104979958, wck=25.616, mem=1069M546
48.35/33.38 decisions=11986, wrong=5186, backtracks=1408, failedAssignments=4225, nogoods=1031, foundSolutions=5, bestBound=45
48.35/33.38 nFilterCalls=2041949, avgTableProportion=0.970133335128515, avgTableSize=43.020306089917035
48.35/33.38
50.26/35.20 num=74, depth=2..14, filters=3522514, revisions=(7340508,useless=4615079), ccks=112264985, wck=27.43, mem=1069M546
50.26/35.20 decisions=12535, wrong=5459, backtracks=1446, failedAssignments=4480, nogoods=1049, foundSolutions=5, bestBound=45
50.26/35.20 nFilterCalls=2254986, avgTableProportion=0.9703821542925836, avgTableSize=43.05712762739991
50.26/35.20
50.96/35.91 num=75, depth=2..15, filters=3630719, revisions=(7544593,useless=4732448), ccks=116454074, wck=28.143, mem=1069M546
50.96/35.91 decisions=13199, wrong=5790, backtracks=1520, failedAssignments=4761, nogoods=1085, foundSolutions=5, bestBound=45
50.96/35.91 nFilterCalls=2312545, avgTableProportion=0.9702443196001037, avgTableSize=43.013201040412184
50.96/35.91
51.46/36.45 num=76, depth=2..17, filters=3725472, revisions=(7708689,useless=4822172), ccks=119466547, wck=28.683, mem=1069M546
51.46/36.45 decisions=13854, wrong=6115, backtracks=1551, failedAssignments=5070, nogoods=1156, foundSolutions=5, bestBound=45
51.46/36.45 nFilterCalls=2359735, avgTableProportion=0.9699926256491511, avgTableSize=42.93375018805078
51.46/36.45
52.30/37.27 num=77, depth=0..19, filters=3858879, revisions=(7931535,useless=4946738), ccks=123996065, wck=29.506, mem=1080M599
52.30/37.27 decisions=14658, wrong=6514, backtracks=1659, failedAssignments=5410, nogoods=1172, foundSolutions=5, bestBound=45
52.30/37.27 nFilterCalls=2427207, avgTableProportion=0.9698922190946241, avgTableSize=42.88194126005734
52.30/37.27
53.11/38.08 num=78, depth=2..17, filters=3986119, revisions=(8175771,useless=5085810), ccks=128559169, wck=30.308, mem=1080M599
53.11/38.08 decisions=15481, wrong=6924, backtracks=1729, failedAssignments=5784, nogoods=1217, foundSolutions=5, bestBound=45
53.11/38.08 nFilterCalls=2494725, avgTableProportion=0.9696755105255601, avgTableSize=42.796150677930434
53.11/38.08
54.21/39.17 num=79, depth=0..29, filters=4170259, revisions=(8491525,useless=5258549), ccks=134887465, wck=31.404, mem=1080M599
54.21/39.17 decisions=16422, wrong=7392, backtracks=1842, failedAssignments=6195, nogoods=1256, foundSolutions=5, bestBound=45
54.21/39.17 nFilterCalls=2589572, avgTableProportion=0.9693677489366543, avgTableSize=42.66646650488961
54.21/39.17
55.32/40.22 num=80, depth=0..32, filters=4324286, revisions=(8809688,useless=5446463), ccks=140964239, wck=32.455, mem=1080M599
55.32/40.22 decisions=17480, wrong=7919, backtracks=1978, failedAssignments=6647, nogoods=1288, foundSolutions=5, bestBound=45
55.32/40.22 nFilterCalls=2671113, avgTableProportion=0.9691695581337338, avgTableSize=42.57318316372239
55.32/40.22
56.32/41.25 num=81, depth=0..17, filters=4491317, revisions=(9094617,useless=5602809), ccks=146990908, wck=33.484, mem=1080M599
56.32/41.25 decisions=18547, wrong=8452, backtracks=2049, failedAssignments=7144, nogoods=1316, foundSolutions=5, bestBound=45
56.32/41.25 nFilterCalls=2754548, avgTableProportion=0.9689544111781638, avgTableSize=42.49026627962192
56.32/41.25
57.42/42.37 num=82, depth=0..26, filters=4677674, revisions=(9400716,useless=5770295), ccks=153116748, wck=34.597, mem=1080M599
57.42/42.37 decisions=19783, wrong=9069, backtracks=2194, failedAssignments=7691, nogoods=1327, foundSolutions=5, bestBound=45
57.42/42.37 nFilterCalls=2844689, avgTableProportion=0.9687733696614629, avgTableSize=42.41111102127508
57.42/42.37
58.72/43.60 num=83, depth=0..22, filters=4857652, revisions=(9779340,useless=5995826), ccks=160333409, wck=35.836, mem=1080M599
58.72/43.60 decisions=21128, wrong=9738, backtracks=2321, failedAssignments=8293, nogoods=1358, foundSolutions=5, bestBound=45
58.72/43.60 nFilterCalls=2943696, avgTableProportion=0.9685783155776556, avgTableSize=42.325233991553475
58.72/43.60
60.23/45.11 num=84, depth=0..25, filters=5113284, revisions=(10211542,useless=6234652), ccks=168953971, wck=37.341, mem=1080M599
60.23/45.11 decisions=22580, wrong=10463, backtracks=2436, failedAssignments=8955, nogoods=1393, foundSolutions=5, bestBound=45
60.23/45.11 nFilterCalls=3070641, avgTableProportion=0.9683128195686148, avgTableSize=42.21910832298533
60.23/45.11
61.52/46.47 num=85, depth=0..14, filters=5338027, revisions=(10607995,useless=6445188), ccks=176703372, wck=38.704, mem=1080M599
61.52/46.47 decisions=24131, wrong=11238, backtracks=2503, failedAssignments=9683, nogoods=1414, foundSolutions=5, bestBound=45
61.52/46.47 nFilterCalls=3184454, avgTableProportion=0.9678640373240444, avgTableSize=42.06029762087943
61.52/46.47
63.23/48.17 num=86, depth=0..32, filters=5600304, revisions=(11103655,useless=6724944), ccks=186577663, wck=40.403, mem=1080M599
63.23/48.17 decisions=25912, wrong=12125, backtracks=2667, failedAssignments=10484, nogoods=1440, foundSolutions=5, bestBound=45
63.23/48.17 nFilterCalls=3319910, avgTableProportion=0.9676457644900753, avgTableSize=41.970116057363
63.23/48.17
65.25/50.17 num=87, depth=0..23, filters=5911319, revisions=(11712575,useless=7075508), ccks=198213056, wck=42.405, mem=1080M599
65.25/50.17 decisions=27881, wrong=13109, backtracks=2846, failedAssignments=11365, nogoods=1441, foundSolutions=5, bestBound=45
65.25/50.17 nFilterCalls=3479580, avgTableProportion=0.9673429681518063, avgTableSize=41.84918036084815
65.25/50.17
67.74/52.66 num=88, depth=0..15, filters=6293679, revisions=(12486421,useless=7533752), ccks=213157258, wck=44.896, mem=1080M599
67.74/52.66 decisions=30132, wrong=14233, backtracks=3067, failedAssignments=12335, nogoods=1477, foundSolutions=5, bestBound=45
67.74/52.66 nFilterCalls=3683034, avgTableProportion=0.9671568656458182, avgTableSize=41.73492479298318
67.74/52.66
70.04/54.97
70.04/54.97 New Bounds: 45..44
70.04/54.97 num=89, depth=0..19, filters=6627657, revisions=(13138911,useless=7917033), ccks=226940606, wck=47.205, mem=1080M599
70.04/54.97 decisions=32504, wrong=15420, backtracks=3301, failedAssignments=13370, foundSolutions=5, bestBound=45
70.04/54.97 nFilterCalls=3858911, avgTableProportion=0.9670624058341925, avgTableSize=41.69488775460227
70.04/54.97
70.04/54.97 Global
70.04/54.97 filters=6627657, revisions=(13138911,useless=7917033), ccks=226940606
70.04/54.97 Stop=FULL_EXPLORATION, wrong=15420, bestBound=45, bestBoundWck=22.16, bestBoundCpu=21.574, foundSolutions=5, firstSolCpu=6.662
70.04/54.97 wck=53.126, cpu=52.541, mem=1080M599
70.04/54.98
70.04/54.98 v <instantiation id='sol5' type='solution' cost='45'> <list> p[] np[][] r[][] o[][] so[] </list> <values> 31 19 14 4 8 0 38 47 15 13 18 22 46 40 16 2 26 20 11 25 23 5 29 49 36 27 1 39 10 9 32 30 45 34 12 3 42 24 43 35 48 33 17 6 41 21 37 28 7 44 1 2 3 4 5 5 6 7 8 9 10 10 11 12 13 14 15 16 17 17 18 19 20 21 22 23 24 25 26 27 28 29 30 30 31 32 33 34 35 36 37 38 38 38 39 40 41 42 43 44 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 1 2 3 4 5 6 7 8 9 10 11 12 13 14 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 29 30 31 32 33 34 35 36 37 38 39 40 41 42 42 42 43 44 45 46 1 2 3 4 5 6 7 8 9 10 11 12 13 14 14 14 15 16 17 18 19 20 21 22 23 24 25 25 26 27 28 29 30 31 32 33 34 35 35 36 37 38 39 40 41 42 43 44 45 46 1 2 3 4 5 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 1 2 2 3 4 5 6 7 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 24 25 26 27 28 29 30 31 32 33 34 35 35 36 37 38 39 40 41 42 43 44 45 45 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 24 24 25 26 27 28 29 30 31 32 33 34 35 36 36 37 38 39 40 41 42 43 44 44 45 46 1 1 2 3 4 5 6 7 7 8 9 10 11 12 12 13 14 15 16 16 17 18 19 20 21 22 23 24 24 25 26 27 28 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 1 2 3 4 5 6 7 7 8 9 9 10 11 11 12 13 14 15 16 17 18 19 20 20 21 22 23 24 25 26 27 28 29 30 31 32 32 33 34 35 36 37 38 39 40 41 42 42 43 44 1 2 3 4 5 6 7 8 9 10 10 11 12 13 14 15 16 17 18 19 20 21 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 36 36 36 37 37 38 39 40 41 42 43 44 1 2 3 4 5 6 7 8 9 10 11 12 12 13 14 15 16 17 18 19 20 21 22 22 23 24 24 25 26 27 28 29 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 43 44 45 0 1 2 3 3 4 5 6 7 8 9 10 11 12 13 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 1 2 3 4 5 6 7 8 9 10 10 11 12 13 14 15 16 17 18 18 19 20 21 22 23 23 24 25 26 27 27 27 28 29 30 31 32 33 33 34 35 36 37 38 39 39 40 41 42 42 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 1 2 3 4 5 6 7 8 9 9 10 11 12 12 13 14 15 16 17 18 18 19 20 21 22 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 1 2 3 4 5 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 19 20 21 22 23 24 25 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 43 44 45 46 0 0 0 0 0 1 1 2 3 4 5 6 7 8 9 10 11 11 12 13 14 15 16 17 18 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 1 2 2 3 4 5 5 6 7 8 9 10 11 12 13 13 14 15 16 17 18 19 19 20 21 22 22 23 24 25 26 27 28 29 30 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 1 2 3 4 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 1 1 2 3 4 4 4 4 5 6 7 8 8 9 10 11 11 12 13 14 15 16 17 18 19 19 20 21 22 23 24 25 25 26 27 28 29 30 30 31 31 32 32 33 34 35 36 37 38 39 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 20 21 22 23 23 24 25 26 26 27 28 29 29 30 30 31 32 33 34 35 36 37 38 39 40 41 42 42 43 44 1 2 3 4 5 6 7 8 8 9 10 11 12 12 13 14 14 15 16 17 18 19 20 21 22 23 23 24 25 26 27 28 29 30 31 32 33 34 34 35 36 37 38 39 40 41 42 43 44 44 0 1 2 3 4 5 6 7 8 9 9 10 11 12 13 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 41 42 43 44 45 0 1 1 1 2 3 3 4 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 21 22 23 24 24 25 26 27 28 29 30 31 32 33 33 33 34 35 36 37 38 39 40 41 1 1 2 2 3 4 4 5 6 7 8 9 10 11 12 12 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 41 42 43 44 1 2 3 4 5 6 7 8 9 10 11 12 13 13 13 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 36 37 38 39 40 41 42 43 44 44 45 1 2 3 4 5 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 27 28 29 30 31 32 32 33 34 35 36 37 38 39 40 40 41 42 43 44 45 46 1 2 3 4 4 5 5 6 7 8 9 10 11 12 13 14 15 16 17 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 39 40 41 42 43 44 45 46 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 20 20 21 22 23 24 25 25 25 26 27 28 29 30 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 38 39 40 41 41 42 43 44 44 45 1 2 3 4 5 6 7 8 8 9 10 10 11 12 12 13 14 14 15 15 16 17 17 18 19 20 21 22 23 24 25 25 26 26 27 28 29 30 31 32 33 34 34 35 36 37 38 39 40 40 1 2 3 4 5 5 6 7 8 9 10 10 11 12 13 14 15 16 17 18 18 19 19 20 21 22 23 24 25 26 27 28 29 30 31 32 32 33 33 34 34 35 36 37 38 39 40 41 42 43 0 1 2 3 3 4 4 5 6 7 8 9 9 10 11 11 12 13 14 15 16 17 18 19 20 21 21 22 23 24 25 26 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 3 4 5 6 7 8 9 10 10 11 12 13 14 15 16 17 18 18 18 18 18 18 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 33 34 35 36 37 38 38 39 40 41 42 43 44 45 46 47 48 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 26 27 28 29 30 31 32 33 34 35 35 36 37 38 39 40 40 41 42 43 44 45 46 46 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 26 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 44 45 46 47 1 1 2 2 3 4 5 6 7 7 8 9 10 11 12 13 14 15 16 17 17 18 19 20 21 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 37 38 39 40 41 42 43 43 1 1 2 3 4 5 6 7 8 9 10 11 12 12 13 14 15 15 15 16 17 18 18 19 20 21 22 23 24 25 26 27 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 0 1 1 2 2 3 4 5 6 7 8 9 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 29 30 31 32 33 34 35 36 36 37 38 38 39 40 41 42 43 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 3 4 1 2 3 4 5 6 7 8 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 30 31 32 33 34 35 36 37 37 38 39 40 41 42 43 43 44 44 45 1 2 3 4 5 6 7 8 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 25 25 26 27 28 29 30 31 32 33 34 35 35 36 37 38 39 40 41 42 43 44 45 46 1 2 3 4 5 6 7 8 9 10 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 0 1 2 3 4 5 6 7 8 9 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 24 25 26 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 40 41 42 43 44 44 1 2 3 3 4 5 6 6 7 7 8 9 10 11 12 13 14 15 16 17 17 18 19 20 21 21 22 23 24 25 26 27 28 29 30 31 32 32 33 34 35 36 37 37 38 39 40 41 42 43 1 2 3 4 5 6 7 8 8 9 9 10 11 11 12 13 14 15 16 17 18 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 40 41 42 43 44 45 1 2 3 4 4 5 6 7 8 9 10 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 46 47 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 1 0 1 1 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 0 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 38 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 39 </values> </instantiation>
70.04/54.98 s OPTIMUM FOUND
70.04/54.98
70.04/54.98 d WRONG_DECISIONS 15420
70.04/54.98 d NUMBER_SOLUTIONS 5
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 (15305 MiB free)
memory of node 1: 16384 MiB (13297 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390880-1568381567/watcher-4390880-1568381567 -o /tmp/evaluation-result-4390880-1568381567/solver-4390880-1568381567 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568380473-21312 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390880-1568381567.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=21846, runsolver pid=21843
[startup+0.100153 s]*
/proc/loadavg: 1.86 1.80 1.25 5/229 21861
/proc/meminfo: memFree=29273008/32770624 swapFree=66958212/67108860
[pid=21846] ppid=21843 vsize=10659884 memory=28228 CPUtime=0.14 cores=1,3,5,7
/proc/21846/stat : 21846 (java) S 21843 21846 21280 0 -1 1077944320 5517 0 0 0 13 1 0 0 20 0 15 0 414093182 10915721216 7057 33554432000 4194304 4196468 140728384313472 140728384296016 140481301987063 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
/proc/21846/statm: 2664971 7057 2902 1 0 2627468 0
[pid=21846/tid=21848] ppid=21843 vsize=10659884 memory=8514726395714820750 CPUtime=0.09 cores=1,3,5,7
/proc/21846/task/21848/stat : 21848 (java) R 21843 21846 21280 0 -1 4202560 3248 0 0 0 9 0 0 0 20 0 15 0 414093182 10915721216 7057 33554432000 4194304 4196468 140728384313472 140481306212960 140481302008989 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21849] ppid=21843 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21849/stat : 21849 (java) S 21843 21846 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414093183 10915721216 7057 33554432000 4194304 4196468 140728384313472 140480908732816 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21850] ppid=21843 vsize=10659884 memory=140687607596672 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21850/stat : 21850 (java) S 21843 21846 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414093183 10915721216 7057 33554432000 4194304 4196468 140728384313472 140480907680016 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21851] ppid=21843 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21851/stat : 21851 (java) S 21843 21846 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414093183 10915721216 7057 33554432000 4194304 4196468 140728384313472 140480906627728 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21852] ppid=21843 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21852/stat : 21852 (java) S 21843 21846 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414093183 10915721216 7057 33554432000 4194304 4196468 140728384313472 140480905574928 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21853] ppid=21843 vsize=10659884 memory=140687607596672 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21853/stat : 21853 (java) S 21843 21846 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414093184 10915721216 7123 33554432000 4194304 4196468 140728384313472 140480404765296 140481301998210 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21854] ppid=21843 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21854/stat : 21854 (java) S 21843 21846 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414093185 10915721216 7123 33554432000 4194304 4196468 140728384313472 140480403711264 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21855] ppid=21843 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21855/stat : 21855 (java) S 21843 21846 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414093185 10915721216 7123 33554432000 4194304 4196468 140728384313472 140480402658928 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21856] ppid=21843 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21856/stat : 21856 (java) S 21843 21846 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414093187 10915721216 7123 33554432000 4194304 4196468 140728384313472 140480401607248 140481302005659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21857] ppid=21843 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21846/task/21857/stat : 21857 (java) S 21843 21846 21280 0 -1 1077944384 501 0 0 0 1 0 0 0 20 0 15 0 414093187 10915721216 7123 33554432000 4194304 4196468 140728384313472 140480400554096 140481301998210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21858] ppid=21843 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21858/stat : 21858 (java) S 21843 21846 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414093187 10915721216 7123 33554432000 4194304 4196468 140728384313472 140480399501296 140481301998210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21859] ppid=21843 vsize=10659884 memory=140687607596672 CPUtime=0.02 cores=1,3,5,7
/proc/21846/task/21859/stat : 21859 (java) R 21843 21846 21280 0 -1 4202560 488 0 0 0 2 0 0 0 20 0 15 0 414093187 10915721216 7123 33554432000 4194304 4196468 140728384313472 140480398445880 140481287283492 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21860] ppid=21843 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21860/stat : 21860 (java) S 21843 21846 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414093187 10915721216 7123 33554432000 4194304 4196468 140728384313472 140480397396448 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21861] ppid=21843 vsize=10659884 memory=140687607596672 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21861/stat : 21861 (java) S 21843 21846 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414093188 10915721216 7123 33554432000 4194304 4196468 140728384313472 140480396344240 140481301998210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28228 KiB
[startup+0.211648 s]*
/proc/loadavg: 1.86 1.80 1.25 3/229 21861
/proc/meminfo: memFree=29265496/32770624 swapFree=66958212/67108860
[pid=21846] ppid=21843 vsize=10659884 memory=35368 CPUtime=0.33 cores=1,3,5,7
/proc/21846/stat : 21846 (java) S 21843 21846 21280 0 -1 1077944320 6954 0 0 0 31 2 0 0 20 0 15 0 414093182 10915721216 8842 33554432000 4194304 4196468 140728384313472 140728384296016 140481301987063 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
/proc/21846/statm: 2664971 8842 2987 1 0 2627468 0
[pid=21846/tid=21848] ppid=21843 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/21846/task/21848/stat : 21848 (java) R 21843 21846 21280 0 -1 4202560 3897 0 0 0 19 1 0 0 20 0 15 0 414093182 10915721216 8842 33554432000 4194304 4196468 140728384313472 140481306219152 140481302008989 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21849] ppid=21843 vsize=10659884 memory=331 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21849/stat : 21849 (java) S 21843 21846 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414093183 10915721216 8842 33554432000 4194304 4196468 140728384313472 140480908732816 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21850] ppid=21843 vsize=10659884 memory=140687607618011 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21850/stat : 21850 (java) S 21843 21846 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414093183 10915721216 8842 33554432000 4194304 4196468 140728384313472 140480907680016 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21851] ppid=21843 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21851/stat : 21851 (java) S 21843 21846 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414093183 10915721216 8842 33554432000 4194304 4196468 140728384313472 140480906627728 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21852] ppid=21843 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21852/stat : 21852 (java) S 21843 21846 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414093183 10915721216 8842 33554432000 4194304 4196468 140728384313472 140480905574928 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21853] ppid=21843 vsize=10659884 memory=140687607596672 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21853/stat : 21853 (java) S 21843 21846 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414093184 10915721216 8842 33554432000 4194304 4196468 140728384313472 140480404765296 140481301998210 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21854] ppid=21843 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21854/stat : 21854 (java) S 21843 21846 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414093185 10915721216 8842 33554432000 4194304 4196468 140728384313472 140480403711264 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21855] ppid=21843 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21855/stat : 21855 (java) S 21843 21846 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414093185 10915721216 8842 33554432000 4194304 4196468 140728384313472 140480402658928 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21856] ppid=21843 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21856/stat : 21856 (java) S 21843 21846 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414093187 10915721216 8842 33554432000 4194304 4196468 140728384313472 140480401607248 140481302005659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21857] ppid=21843 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/21846/task/21857/stat : 21857 (java) S 21843 21846 21280 0 -1 1077944384 721 0 0 0 3 0 0 0 20 0 15 0 414093187 10915721216 8842 33554432000 4194304 4196468 140728384313472 140480400554096 140481301998210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21858] ppid=21843 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21846/task/21858/stat : 21858 (java) S 21843 21846 21280 0 -1 1077944384 219 0 0 0 2 0 0 0 20 0 15 0 414093187 10915721216 8842 33554432000 4194304 4196468 140728384313472 140480399501296 140481301998210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21859] ppid=21843 vsize=10659884 memory=140687607596672 CPUtime=0.05 cores=1,3,5,7
/proc/21846/task/21859/stat : 21859 (java) S 21843 21846 21280 0 -1 1077944384 757 0 0 0 5 0 0 0 20 0 15 0 414093187 10915721216 8842 33554432000 4194304 4196468 140728384313472 140480398449008 140481301998210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21860] ppid=21843 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21860/stat : 21860 (java) S 21843 21846 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414093187 10915721216 8842 33554432000 4194304 4196468 140728384313472 140480397396448 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21861] ppid=21843 vsize=10659884 memory=140687607596672 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21861/stat : 21861 (java) S 21843 21846 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414093188 10915721216 8842 33554432000 4194304 4196468 140728384313472 140480396344240 140481301998210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35368 KiB
[startup+0.310512 s]*
/proc/loadavg: 1.86 1.80 1.25 3/229 21861
/proc/meminfo: memFree=29258532/32770624 swapFree=66958212/67108860
[pid=21846] ppid=21843 vsize=10659884 memory=40496 CPUtime=0.47 cores=1,3,5,7
/proc/21846/stat : 21846 (java) S 21843 21846 21280 0 -1 1077944320 9473 0 0 0 43 4 0 0 20 0 15 0 414093182 10915721216 10124 33554432000 4194304 4196468 140728384313472 140728384296016 140481301987063 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
/proc/21846/statm: 2664971 10124 2999 1 0 2627468 0
[pid=21846/tid=21848] ppid=21843 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/21846/task/21848/stat : 21848 (java) R 21843 21846 21280 0 -1 4202560 6340 0 0 0 27 3 0 0 20 0 15 0 414093182 10915721216 10124 33554432000 4194304 4196468 140728384313472 140481306219472 140481286067550 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21849] ppid=21843 vsize=10659884 memory=8900 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21849/stat : 21849 (java) S 21843 21846 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414093183 10915721216 10124 33554432000 4194304 4196468 140728384313472 140480908732816 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21850] ppid=21843 vsize=10659884 memory=140687607617945 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21850/stat : 21850 (java) S 21843 21846 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414093183 10915721216 10124 33554432000 4194304 4196468 140728384313472 140480907680016 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21851] ppid=21843 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21851/stat : 21851 (java) S 21843 21846 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414093183 10915721216 10124 33554432000 4194304 4196468 140728384313472 140480906627728 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21852] ppid=21843 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21852/stat : 21852 (java) S 21843 21846 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414093183 10915721216 10124 33554432000 4194304 4196468 140728384313472 140480905574928 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21853] ppid=21843 vsize=10659884 memory=140687607596672 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21853/stat : 21853 (java) S 21843 21846 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414093184 10915721216 10124 33554432000 4194304 4196468 140728384313472 140480404765296 140481301998210 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21854] ppid=21843 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21854/stat : 21854 (java) S 21843 21846 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414093185 10915721216 10124 33554432000 4194304 4196468 140728384313472 140480403711264 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21855] ppid=21843 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21855/stat : 21855 (java) S 21843 21846 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414093185 10915721216 10124 33554432000 4194304 4196468 140728384313472 140480402658928 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21856] ppid=21843 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21856/stat : 21856 (java) S 21843 21846 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414093187 10915721216 10124 33554432000 4194304 4196468 140728384313472 140480401607248 140481302005659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21857] ppid=21843 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/21846/task/21857/stat : 21857 (java) S 21843 21846 21280 0 -1 1077944384 756 0 0 0 4 0 0 0 20 0 15 0 414093187 10915721216 10124 33554432000 4194304 4196468 140728384313472 140480400554096 140481301998210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21858] ppid=21843 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/21846/task/21858/stat : 21858 (java) S 21843 21846 21280 0 -1 1077944384 241 0 0 0 3 0 0 0 20 0 15 0 414093187 10915721216 10124 33554432000 4194304 4196468 140728384313472 140480399501296 140481301998210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21859] ppid=21843 vsize=10659884 memory=140687607596672 CPUtime=0.08 cores=1,3,5,7
/proc/21846/task/21859/stat : 21859 (java) R 21843 21846 21280 0 -1 4202560 778 0 0 0 8 0 0 0 20 0 15 0 414093187 10915721216 10124 33554432000 4194304 4196468 140728384313472 140480398449008 140481302008410 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21860] ppid=21843 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21860/stat : 21860 (java) S 21843 21846 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414093187 10915721216 10124 33554432000 4194304 4196468 140728384313472 140480397396448 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21861] ppid=21843 vsize=10659884 memory=140687607596672 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21861/stat : 21861 (java) S 21843 21846 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414093188 10915721216 10124 33554432000 4194304 4196468 140728384313472 140480396344240 140481301998210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40496 KiB
[startup+0.700773 s]
/proc/loadavg: 1.86 1.80 1.25 3/229 21861
/proc/meminfo: memFree=29249244/32770624 swapFree=66958212/67108860
[pid=21846] ppid=21843 vsize=10661932 memory=63944 CPUtime=1.11 cores=1,3,5,7
/proc/21846/stat : 21846 (java) S 21843 21846 21280 0 -1 1077944320 13069 0 0 0 105 6 0 0 20 0 15 0 414093182 10917818368 15986 33554432000 4194304 4196468 140728384313472 140728384296016 140481301987063 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
/proc/21846/statm: 2665483 15986 3069 1 0 2627980 0
[pid=21846/tid=21848] ppid=21843 vsize=10661932 memory=33 CPUtime=0.68 cores=1,3,5,7
/proc/21846/task/21848/stat : 21848 (java) R 21843 21846 21280 0 -1 4202560 8893 0 0 0 63 5 0 0 20 0 15 0 414093182 10917818368 15986 33554432000 4194304 4196468 140728384313472 140481306204000 140481302008989 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21849] ppid=21843 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21849/stat : 21849 (java) S 21843 21846 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414093183 10917818368 15986 33554432000 4194304 4196468 140728384313472 140480908732816 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21850] ppid=21843 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21850/stat : 21850 (java) S 21843 21846 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414093183 10917818368 15986 33554432000 4194304 4196468 140728384313472 140480907680016 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21851] ppid=21843 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21851/stat : 21851 (java) S 21843 21846 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414093183 10917818368 15986 33554432000 4194304 4196468 140728384313472 140480906627728 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21852] ppid=21843 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21852/stat : 21852 (java) S 21843 21846 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414093183 10917818368 15986 33554432000 4194304 4196468 140728384313472 140480905574928 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21853] ppid=21843 vsize=10661932 memory=234545412597948 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21853/stat : 21853 (java) S 21843 21846 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414093184 10917818368 15986 33554432000 4194304 4196468 140728384313472 140480404765296 140481301998210 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21854] ppid=21843 vsize=10661932 memory=2925980 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21854/stat : 21854 (java) S 21843 21846 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414093185 10917818368 15986 33554432000 4194304 4196468 140728384313472 140480403711264 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21855] ppid=21843 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21855/stat : 21855 (java) S 21843 21846 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414093185 10917818368 15986 33554432000 4194304 4196468 140728384313472 140480402658928 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21856] ppid=21843 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21856/stat : 21856 (java) S 21843 21846 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414093187 10917818368 15986 33554432000 4194304 4196468 140728384313472 140480401607248 140481302005659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21857] ppid=21843 vsize=10661932 memory=7809523229951467576 CPUtime=0.12 cores=1,3,5,7
/proc/21846/task/21857/stat : 21857 (java) R 21843 21846 21280 0 -1 4202560 1120 0 0 0 12 0 0 0 20 0 15 0 414093187 10917818368 15986 33554432000 4194304 4196468 140728384313472 140480400554096 140481286882005 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21858] ppid=21843 vsize=10661932 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/21846/task/21858/stat : 21858 (java) S 21843 21846 21280 0 -1 1077944384 517 0 0 0 9 0 0 0 20 0 15 0 414093187 10917818368 15986 33554432000 4194304 4196468 140728384313472 140480399501296 140481301998210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21859] ppid=21843 vsize=10661932 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/21846/task/21859/stat : 21859 (java) S 21843 21846 21280 0 -1 1077944384 1179 0 0 0 19 0 0 0 20 0 15 0 414093187 10917818368 15986 33554432000 4194304 4196468 140728384313472 140480398449008 140481301998210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21860] ppid=21843 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21860/stat : 21860 (java) S 21843 21846 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414093187 10917818368 15986 33554432000 4194304 4196468 140728384313472 140480397396448 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21861] ppid=21843 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21861/stat : 21861 (java) S 21843 21846 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414093188 10917818368 15986 33554432000 4194304 4196468 140728384313472 140480396344240 140481301998210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63944 KiB
[startup+1.50072 s]
/proc/loadavg: 1.86 1.80 1.25 3/229 21861
/proc/meminfo: memFree=29233052/32770624 swapFree=66958212/67108860
[pid=21846] ppid=21843 vsize=10663980 memory=75776 CPUtime=2.01 cores=1,3,5,7
/proc/21846/stat : 21846 (java) S 21843 21846 21280 0 -1 1077944320 16788 0 0 0 194 7 0 0 20 0 15 0 414093182 10919915520 18944 33554432000 4194304 4196468 140728384313472 140728384296016 140481301987063 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
/proc/21846/statm: 2665995 18944 3093 1 0 2628492 0
[pid=21846/tid=21848] ppid=21843 vsize=10663980 memory=187724430617274 CPUtime=1.48 cores=1,3,5,7
/proc/21846/task/21848/stat : 21848 (java) R 21843 21846 21280 0 -1 4202560 11585 0 0 0 142 6 0 0 20 0 15 0 414093182 10919915520 18944 33554432000 4194304 4196468 140728384313472 140481306212944 140481283550688 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21849] ppid=21843 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21849/stat : 21849 (java) S 21843 21846 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414093183 10919915520 18944 33554432000 4194304 4196468 140728384313472 140480908732816 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21850] ppid=21843 vsize=10663980 memory=3608 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21850/stat : 21850 (java) S 21843 21846 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414093183 10919915520 18944 33554432000 4194304 4196468 140728384313472 140480907680016 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21851] ppid=21843 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21851/stat : 21851 (java) S 21843 21846 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414093183 10919915520 18944 33554432000 4194304 4196468 140728384313472 140480906627728 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21852] ppid=21843 vsize=10663980 memory=3472468983719954576 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21852/stat : 21852 (java) S 21843 21846 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414093183 10919915520 18944 33554432000 4194304 4196468 140728384313472 140480905574928 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21853] ppid=21843 vsize=10663980 memory=56 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21853/stat : 21853 (java) S 21843 21846 21280 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 414093184 10919915520 18944 33554432000 4194304 4196468 140728384313472 140480404765296 140481301998210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
################
# More data... #
################
[startup+53.6007 s]
/proc/loadavg: 1.95 1.83 1.30 3/230 21865
/proc/meminfo: memFree=27392320/32770624 swapFree=66958212/67108860
[pid=21846] ppid=21843 vsize=10748324 memory=1906248 CPUtime=68.74 cores=1,3,5,7
/proc/21846/stat : 21846 (java) S 21843 21846 21280 0 -1 1077944320 66175 0 0 0 6682 192 0 0 20 0 16 0 414093182 11006283776 476562 33554432000 4194304 4196468 140728384313472 140728384296016 140481301987063 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
/proc/21846/statm: 2687081 476562 3385 1 0 2647217 0
[pid=21846/tid=21848] ppid=21843 vsize=10748324 memory=1906248 CPUtime=1.86 cores=1,3,5,7
/proc/21846/task/21848/stat : 21848 (java) S 21843 21846 21280 0 -1 1077944384 13159 0 0 0 178 8 0 0 20 0 16 0 414093182 11006283776 476562 33554432000 4194304 4196468 140728384313472 140481306229936 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21849] ppid=21843 vsize=10748324 memory=1906248 CPUtime=2.24 cores=1,3,5,7
/proc/21846/task/21849/stat : 21849 (java) S 21843 21846 21280 0 -1 1077944384 1116 0 0 0 184 40 0 0 20 0 16 0 414093183 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480908732816 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21850] ppid=21843 vsize=10748324 memory=1906248 CPUtime=2.24 cores=1,3,5,7
/proc/21846/task/21850/stat : 21850 (java) S 21843 21846 21280 0 -1 1077944384 954 0 0 0 181 43 0 0 20 0 16 0 414093183 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480907680016 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21851] ppid=21843 vsize=10748324 memory=6791534058613427641 CPUtime=2.24 cores=1,3,5,7
/proc/21846/task/21851/stat : 21851 (java) S 21843 21846 21280 0 -1 1077944384 921 0 0 0 183 41 0 0 20 0 16 0 414093183 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480906627728 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21852] ppid=21843 vsize=10748324 memory=38888 CPUtime=2.2 cores=1,3,5,7
/proc/21846/task/21852/stat : 21852 (java) S 21843 21846 21280 0 -1 1077944384 812 0 0 0 180 40 0 0 20 0 16 0 414093183 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480905574928 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21853] ppid=21843 vsize=10748324 memory=988 CPUtime=0.13 cores=1,3,5,7
/proc/21846/task/21853/stat : 21853 (java) S 21843 21846 21280 0 -1 1077944384 2872 0 0 0 13 0 0 0 20 0 16 0 414093184 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480404765296 140481301998210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21854] ppid=21843 vsize=10748324 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21854/stat : 21854 (java) S 21843 21846 21280 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414093185 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480403711328 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21855] ppid=21843 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21855/stat : 21855 (java) S 21843 21846 21280 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 414093185 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480402658944 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21856] ppid=21843 vsize=10748324 memory=5860978997287080016 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21856/stat : 21856 (java) S 21843 21846 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414093187 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480401607248 140481302005659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21857] ppid=21843 vsize=10748324 memory=0 CPUtime=3.7 cores=1,3,5,7
/proc/21846/task/21857/stat : 21857 (java) S 21843 21846 21280 0 -1 1077944384 9393 0 0 0 368 2 0 0 20 0 16 0 414093187 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480400554096 140481301998210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21858] ppid=21843 vsize=10748324 memory=281374984567584 CPUtime=3.47 cores=1,3,5,7
/proc/21846/task/21858/stat : 21858 (java) S 21843 21846 21280 0 -1 1077944384 11319 0 0 0 346 1 0 0 20 0 16 0 414093187 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480399501296 140481301998210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21859] ppid=21843 vsize=10748324 memory=2111038099417364 CPUtime=1.24 cores=1,3,5,7
/proc/21846/task/21859/stat : 21859 (java) S 21843 21846 21280 0 -1 1077944384 11465 0 0 0 122 2 0 0 20 0 16 0 414093187 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480398449008 140481301998210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21860] ppid=21843 vsize=10748324 memory=1906248 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21860/stat : 21860 (java) S 21843 21846 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414093187 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480397396448 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21861] ppid=21843 vsize=10748324 memory=1432 CPUtime=0.02 cores=1,3,5,7
/proc/21846/task/21861/stat : 21861 (java) S 21843 21846 21280 0 -1 1077944384 585 0 0 0 1 1 0 0 20 0 16 0 414093188 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480396344240 140481301998210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21862] ppid=21843 vsize=10748324 memory=776 CPUtime=49.28 cores=1,3,5,7
/proc/21846/task/21862/stat : 21862 (java) R 21843 21846 21280 0 -1 4202560 12176 0 0 0 4921 7 0 0 20 0 16 0 414093370 11006283776 476562 33554432000 4194304 4196468 140728384313472 140479937056336 140480947431488 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
Current children cumulated CPU time: 68.74 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1906248 KiB
[startup+54.4008 s]
/proc/loadavg: 1.95 1.83 1.30 3/230 21865
/proc/meminfo: memFree=27392328/32770624 swapFree=66958212/67108860
[pid=21846] ppid=21843 vsize=10748324 memory=1906248 CPUtime=69.54 cores=1,3,5,7
/proc/21846/stat : 21846 (java) S 21843 21846 21280 0 -1 1077944320 66175 0 0 0 6762 192 0 0 20 0 16 0 414093182 11006283776 476562 33554432000 4194304 4196468 140728384313472 140728384296016 140481301987063 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
/proc/21846/statm: 2687081 476562 3385 1 0 2647217 0
[pid=21846/tid=21848] ppid=21843 vsize=10748324 memory=6791534058613427641 CPUtime=1.86 cores=1,3,5,7
/proc/21846/task/21848/stat : 21848 (java) S 21843 21846 21280 0 -1 1077944384 13159 0 0 0 178 8 0 0 20 0 16 0 414093182 11006283776 476562 33554432000 4194304 4196468 140728384313472 140481306229936 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21849] ppid=21843 vsize=10748324 memory=1568 CPUtime=2.24 cores=1,3,5,7
/proc/21846/task/21849/stat : 21849 (java) S 21843 21846 21280 0 -1 1077944384 1116 0 0 0 184 40 0 0 20 0 16 0 414093183 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480908732816 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21850] ppid=21843 vsize=10748324 memory=1444 CPUtime=2.24 cores=1,3,5,7
/proc/21846/task/21850/stat : 21850 (java) S 21843 21846 21280 0 -1 1077944384 954 0 0 0 181 43 0 0 20 0 16 0 414093183 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480907680016 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21851] ppid=21843 vsize=10748324 memory=1906248 CPUtime=2.24 cores=1,3,5,7
/proc/21846/task/21851/stat : 21851 (java) S 21843 21846 21280 0 -1 1077944384 921 0 0 0 183 41 0 0 20 0 16 0 414093183 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480906627728 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21852] ppid=21843 vsize=10748324 memory=38888 CPUtime=2.2 cores=1,3,5,7
/proc/21846/task/21852/stat : 21852 (java) S 21843 21846 21280 0 -1 1077944384 812 0 0 0 180 40 0 0 20 0 16 0 414093183 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480905574928 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21853] ppid=21843 vsize=10748324 memory=988 CPUtime=0.13 cores=1,3,5,7
/proc/21846/task/21853/stat : 21853 (java) S 21843 21846 21280 0 -1 1077944384 2872 0 0 0 13 0 0 0 20 0 16 0 414093184 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480404765296 140481301998210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21854] ppid=21843 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21854/stat : 21854 (java) S 21843 21846 21280 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414093185 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480403711328 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21855] ppid=21843 vsize=10748324 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21855/stat : 21855 (java) S 21843 21846 21280 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 414093185 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480402658944 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21856] ppid=21843 vsize=10748324 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21856/stat : 21856 (java) S 21843 21846 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414093187 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480401607248 140481302005659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21857] ppid=21843 vsize=10748324 memory=1196 CPUtime=3.7 cores=1,3,5,7
/proc/21846/task/21857/stat : 21857 (java) S 21843 21846 21280 0 -1 1077944384 9393 0 0 0 368 2 0 0 20 0 16 0 414093187 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480400554096 140481301998210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21858] ppid=21843 vsize=10748324 memory=6791534058613427641 CPUtime=3.47 cores=1,3,5,7
/proc/21846/task/21858/stat : 21858 (java) S 21843 21846 21280 0 -1 1077944384 11319 0 0 0 346 1 0 0 20 0 16 0 414093187 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480399501296 140481301998210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21859] ppid=21843 vsize=10748324 memory=2832 CPUtime=1.24 cores=1,3,5,7
/proc/21846/task/21859/stat : 21859 (java) S 21843 21846 21280 0 -1 1077944384 11465 0 0 0 122 2 0 0 20 0 16 0 414093187 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480398449008 140481301998210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21860] ppid=21843 vsize=10748324 memory=7976 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21860/stat : 21860 (java) S 21843 21846 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414093187 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480397396448 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21861] ppid=21843 vsize=10748324 memory=10428 CPUtime=0.03 cores=1,3,5,7
/proc/21846/task/21861/stat : 21861 (java) S 21843 21846 21280 0 -1 1077944384 585 0 0 0 1 2 0 0 20 0 16 0 414093188 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480396344240 140481301998210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21862] ppid=21843 vsize=10748324 memory=14012 CPUtime=50.08 cores=1,3,5,7
/proc/21846/task/21862/stat : 21862 (java) R 21843 21846 21280 0 -1 4202560 12176 0 0 0 5001 7 0 0 20 0 16 0 414093370 11006283776 476562 33554432000 4194304 4196468 140728384313472 140479937056336 140480947454983 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
Current children cumulated CPU time: 69.54 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1906248 KiB
[startup+54.8007 s]
/proc/loadavg: 1.95 1.83 1.30 3/230 21865
/proc/meminfo: memFree=27392328/32770624 swapFree=66958212/67108860
[pid=21846] ppid=21843 vsize=10748324 memory=1906248 CPUtime=69.94 cores=1,3,5,7
/proc/21846/stat : 21846 (java) S 21843 21846 21280 0 -1 1077944320 66175 0 0 0 6802 192 0 0 20 0 16 0 414093182 11006283776 476562 33554432000 4194304 4196468 140728384313472 140728384296016 140481301987063 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
/proc/21846/statm: 2687081 476562 3385 1 0 2647217 0
[pid=21846/tid=21848] ppid=21843 vsize=10748324 memory=1906248 CPUtime=1.86 cores=1,3,5,7
/proc/21846/task/21848/stat : 21848 (java) S 21843 21846 21280 0 -1 1077944384 13159 0 0 0 178 8 0 0 20 0 16 0 414093182 11006283776 476562 33554432000 4194304 4196468 140728384313472 140481306229936 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21849] ppid=21843 vsize=10748324 memory=1906248 CPUtime=2.24 cores=1,3,5,7
/proc/21846/task/21849/stat : 21849 (java) S 21843 21846 21280 0 -1 1077944384 1116 0 0 0 184 40 0 0 20 0 16 0 414093183 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480908732816 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21850] ppid=21843 vsize=10748324 memory=1044 CPUtime=2.24 cores=1,3,5,7
/proc/21846/task/21850/stat : 21850 (java) S 21843 21846 21280 0 -1 1077944384 954 0 0 0 181 43 0 0 20 0 16 0 414093183 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480907680016 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21851] ppid=21843 vsize=10748324 memory=712 CPUtime=2.24 cores=1,3,5,7
/proc/21846/task/21851/stat : 21851 (java) S 21843 21846 21280 0 -1 1077944384 921 0 0 0 183 41 0 0 20 0 16 0 414093183 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480906627728 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21852] ppid=21843 vsize=10748324 memory=2832 CPUtime=2.2 cores=1,3,5,7
/proc/21846/task/21852/stat : 21852 (java) S 21843 21846 21280 0 -1 1077944384 812 0 0 0 180 40 0 0 20 0 16 0 414093183 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480905574928 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21853] ppid=21843 vsize=10748324 memory=7976 CPUtime=0.13 cores=1,3,5,7
/proc/21846/task/21853/stat : 21853 (java) S 21843 21846 21280 0 -1 1077944384 2872 0 0 0 13 0 0 0 20 0 16 0 414093184 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480404765296 140481301998210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21854] ppid=21843 vsize=10748324 memory=10428 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21854/stat : 21854 (java) S 21843 21846 21280 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414093185 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480403711328 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21855] ppid=21843 vsize=10748324 memory=2972 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21855/stat : 21855 (java) S 21843 21846 21280 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 414093185 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480402658944 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21856] ppid=21843 vsize=10748324 memory=1906248 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21856/stat : 21856 (java) S 21843 21846 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414093187 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480401607248 140481302005659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21857] ppid=21843 vsize=10748324 memory=1660 CPUtime=3.7 cores=1,3,5,7
/proc/21846/task/21857/stat : 21857 (java) S 21843 21846 21280 0 -1 1077944384 9393 0 0 0 368 2 0 0 20 0 16 0 414093187 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480400554096 140481301998210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21858] ppid=21843 vsize=10748324 memory=1398722017469774279 CPUtime=3.47 cores=1,3,5,7
/proc/21846/task/21858/stat : 21858 (java) S 21843 21846 21280 0 -1 1077944384 11319 0 0 0 346 1 0 0 20 0 16 0 414093187 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480399501296 140481301998210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21859] ppid=21843 vsize=10748324 memory=4872558044660077418 CPUtime=1.24 cores=1,3,5,7
/proc/21846/task/21859/stat : 21859 (java) S 21843 21846 21280 0 -1 1077944384 11465 0 0 0 122 2 0 0 20 0 16 0 414093187 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480398449008 140481301998210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21860] ppid=21843 vsize=10748324 memory=6865 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21860/stat : 21860 (java) S 21843 21846 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414093187 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480397396448 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21861] ppid=21843 vsize=10748324 memory=4420 CPUtime=0.03 cores=1,3,5,7
/proc/21846/task/21861/stat : 21861 (java) S 21843 21846 21280 0 -1 1077944384 585 0 0 0 1 2 0 0 20 0 16 0 414093188 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480396344240 140481301998210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21862] ppid=21843 vsize=10748324 memory=6628 CPUtime=50.48 cores=1,3,5,7
/proc/21846/task/21862/stat : 21862 (java) R 21843 21846 21280 0 -1 4202560 12176 0 0 0 5041 7 0 0 20 0 16 0 414093370 11006283776 476562 33554432000 4194304 4196468 140728384313472 140479937056336 140480947454983 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
Current children cumulated CPU time: 69.94 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1906248 KiB
[startup+54.9007 s]
/proc/loadavg: 1.95 1.83 1.30 3/230 21865
/proc/meminfo: memFree=27392328/32770624 swapFree=66958212/67108860
[pid=21846] ppid=21843 vsize=10748324 memory=1906248 CPUtime=70.04 cores=1,3,5,7
/proc/21846/stat : 21846 (java) S 21843 21846 21280 0 -1 1077944320 66175 0 0 0 6812 192 0 0 20 0 16 0 414093182 11006283776 476562 33554432000 4194304 4196468 140728384313472 140728384296016 140481301987063 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
/proc/21846/statm: 2687081 476562 3385 1 0 2647217 0
[pid=21846/tid=21848] ppid=21843 vsize=10748324 memory=1906248 CPUtime=1.86 cores=1,3,5,7
/proc/21846/task/21848/stat : 21848 (java) S 21843 21846 21280 0 -1 1077944384 13159 0 0 0 178 8 0 0 20 0 16 0 414093182 11006283776 476562 33554432000 4194304 4196468 140728384313472 140481306229936 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21849] ppid=21843 vsize=10748324 memory=1906248 CPUtime=2.24 cores=1,3,5,7
/proc/21846/task/21849/stat : 21849 (java) S 21843 21846 21280 0 -1 1077944384 1116 0 0 0 184 40 0 0 20 0 16 0 414093183 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480908732816 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21850] ppid=21843 vsize=10748324 memory=1906248 CPUtime=2.24 cores=1,3,5,7
/proc/21846/task/21850/stat : 21850 (java) S 21843 21846 21280 0 -1 1077944384 954 0 0 0 181 43 0 0 20 0 16 0 414093183 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480907680016 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21851] ppid=21843 vsize=10748324 memory=281374984978224 CPUtime=2.24 cores=1,3,5,7
/proc/21846/task/21851/stat : 21851 (java) S 21843 21846 21280 0 -1 1077944384 921 0 0 0 183 41 0 0 20 0 16 0 414093183 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480906627728 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21852] ppid=21843 vsize=10748324 memory=1906248 CPUtime=2.2 cores=1,3,5,7
/proc/21846/task/21852/stat : 21852 (java) S 21843 21846 21280 0 -1 1077944384 812 0 0 0 180 40 0 0 20 0 16 0 414093183 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480905574928 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21853] ppid=21843 vsize=10748324 memory=1906248 CPUtime=0.13 cores=1,3,5,7
/proc/21846/task/21853/stat : 21853 (java) S 21843 21846 21280 0 -1 1077944384 2872 0 0 0 13 0 0 0 20 0 16 0 414093184 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480404765296 140481301998210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21854] ppid=21843 vsize=10748324 memory=1906248 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21854/stat : 21854 (java) S 21843 21846 21280 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414093185 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480403711328 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21855] ppid=21843 vsize=10748324 memory=1906248 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21855/stat : 21855 (java) S 21843 21846 21280 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 414093185 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480402658944 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21856] ppid=21843 vsize=10748324 memory=988 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21856/stat : 21856 (java) S 21843 21846 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414093187 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480401607248 140481302005659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21857] ppid=21843 vsize=10748324 memory=6791534058613427641 CPUtime=3.7 cores=1,3,5,7
/proc/21846/task/21857/stat : 21857 (java) S 21843 21846 21280 0 -1 1077944384 9393 0 0 0 368 2 0 0 20 0 16 0 414093187 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480400554096 140481301998210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21858] ppid=21843 vsize=10748324 memory=2616 CPUtime=3.47 cores=1,3,5,7
/proc/21846/task/21858/stat : 21858 (java) S 21843 21846 21280 0 -1 1077944384 11319 0 0 0 346 1 0 0 20 0 16 0 414093187 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480399501296 140481301998210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21859] ppid=21843 vsize=10748324 memory=1906248 CPUtime=1.24 cores=1,3,5,7
/proc/21846/task/21859/stat : 21859 (java) S 21843 21846 21280 0 -1 1077944384 11465 0 0 0 122 2 0 0 20 0 16 0 414093187 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480398449008 140481301998210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21860] ppid=21843 vsize=10748324 memory=7013062643969123904 CPUtime=0 cores=1,3,5,7
/proc/21846/task/21860/stat : 21860 (java) S 21843 21846 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414093187 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480397396448 140481301997269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21861] ppid=21843 vsize=10748324 memory=1906248 CPUtime=0.03 cores=1,3,5,7
/proc/21846/task/21861/stat : 21861 (java) S 21843 21846 21280 0 -1 1077944384 585 0 0 0 1 2 0 0 20 0 16 0 414093188 11006283776 476562 33554432000 4194304 4196468 140728384313472 140480396344240 140481301998210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
[pid=21846/tid=21862] ppid=21843 vsize=10748324 memory=1906248 CPUtime=50.58 cores=1,3,5,7
/proc/21846/task/21862/stat : 21862 (java) R 21843 21846 21280 0 -1 4202560 12176 0 0 0 5051 7 0 0 20 0 16 0 414093370 11006283776 476562 33554432000 4194304 4196468 140728384313472 140479937056336 140480951133394 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13230080 140728384316427 140728384316530 140728384316530 140728384319439 0
Current children cumulated CPU time: 70.04 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1906248 KiB
Child status: 0
Real time (s): 54.9984
CPU time (s): 70.154
CPU user time (s): 68.2146
CPU system time (s): 1.93943
CPU usage (%): 127.556
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 1906248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 68.2146
system time used= 1.93943
maximum resident set size= 1906444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67188
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5280
involuntary context switches= 143
# summary of solver processes directly reported to runsolver:
# pid: 21846
# total CPU time (s): 70.154
# total CPU user time (s): 68.2146
# total CPU system time (s): 1.93943
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.337999 second user time and 0.577869 second system time
The end