2.40/1.89
2.40/1.89 AbsCon 2
2.65/1.90
4.32/2.41 Instance
4.32/2.41 name=instance-4391161-1568391494, framework=COP, bounds=-infty..+infty
4.32/2.41
4.32/2.41 Loading variables...
4.68/2.54 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8d47560
8.87/3.81 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35b46c91
8.87/3.81 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3445a1c8
8.87/3.81 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@862c4d5
8.87/3.81 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c8dfb71
8.87/3.81 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bd1b8cf
8.87/3.81 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@177bbb96
8.87/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58aec2dc
8.87/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@223d780b
8.87/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a520780
8.87/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d946240
8.87/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7db199f
8.87/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@683db524
8.87/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61114600
8.87/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1827f808
8.87/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7afa16
8.87/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d7654f2
8.87/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35d5b8c3
8.87/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10675694
8.87/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2842eb3c
8.87/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e527f8
8.87/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22006d2f
8.87/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41fc4367
8.87/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5edbf7b2
8.87/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31c7a1e7
8.87/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53f3d8e6
8.87/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5442112a
8.87/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d400781
8.87/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43793793
8.87/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40c383df
8.87/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78a0ec2d
8.87/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e660d07
8.87/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ffb0c5e
8.87/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e5c9b38
8.87/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33525092
8.87/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c9476cd
8.87/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5857604b
8.87/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c998f8d
8.87/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@653c9580
8.87/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33520dc8
8.87/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63d9a134
8.87/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b043114
8.87/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72560744
8.87/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ac51640
8.87/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7236e4f1
8.87/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18161857
8.87/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28e38ede
8.87/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1afd9d0
8.87/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@679c3e81
8.87/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca543c1
8.87/3.87
8.87/3.87
8.87/3.87 Domains
8.87/3.87 nTypes=17, nValues=118550, sizes=[2#5100,5#50,6#50,19#50...48#100,49#200,50#100,51#50]
8.87/3.87 Variables
8.87/3.87 count=7600, degrees=[2#2600,3#4950,51#50]
8.87/3.87 Objectives
8.87/3.87 way=min, type=ObjMaximumLE
8.87/3.87 Constraints
8.87/3.87 count=7552, nSpecific=2602, arities=[2#2550,3#4950,50#2,51#50]
8.87/3.87 distribution=[AllDifferent#1,CtrExtensionCT-Table#2500,CtrExtensionV-Bits#2500,CtrIntension#2450,EQ#50,ObjMaximumLE#1,SumWeightedEQ#50]
8.87/3.87 tables=[3#100,9#50,11#50,37#50...93#500,95#100,97#200,99#50], nTotalTuples=204500
8.87/3.87 nExtStructures=(2516,shared:2484), nIntStructures=(16,shared:2434), nCftStructures=(2516,shared:2434,unbuilt:2602)
8.87/3.87 wck=2.011, cpu=3.757, mem=86M735
19.07/7.44 Solver SolverBacktrack being built...
19.07/7.44
19.37/7.52
19.37/7.52 Solver
19.37/7.52 guaranteedGAC=false
19.37/7.52 wck=5.662, cpu=5.152, mem=1063M679
20.40/8.04
20.40/8.04 Preprocessing
20.40/8.04 filters=1970, revisions=(3940,useless=2018), ccks=2800058, nACremovedValues=43637, nTotalRemovedValues=43637, inconcistency=false
20.40/8.04 wck=0.521, cpu=5.678, mem=1063M679
20.40/8.04
22.03/8.79 o 49
23.39/9.80 num=0, depth=7601..7599, filters=66784, revisions=(180097,useless=118362), ccks=5164749, wck=2.279, mem=1063M679
23.39/9.80 decisions=49, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=49
23.39/9.80 nFilterCalls=69276, avgTableProportion=0.9851048995111885, avgTableSize=86.57286794849587
23.39/9.80
24.24/10.38 num=1, depth=0..29, filters=114043, revisions=(308739,useless=204496), ccks=6680082, wck=2.861, mem=1063M679
24.24/10.38 decisions=104, wrong=13, backtracks=2, failedAssignments=11, nogoods=9, foundSolutions=1, bestBound=49
24.24/10.38 nFilterCalls=112598, avgTableProportion=0.9854895253292904, avgTableSize=86.77100836604558
24.24/10.38
25.06/10.91 o 48
25.98/11.86 num=2, depth=7601..7599, filters=175324, revisions=(482133,useless=321367), ccks=8387979, wck=4.336, mem=1074M569
25.98/11.86 decisions=166, wrong=13, backtracks=2, failedAssignments=11, nogoods=9, foundSolutions=2, bestBound=48
25.98/11.86 nFilterCalls=174097, avgTableProportion=0.9854750913614514, avgTableSize=86.8019896953997
25.98/11.86
26.54/12.40 num=3, depth=0..43, filters=229332, revisions=(634108,useless=424150), ccks=9985632, wck=4.877, mem=1074M569
26.54/12.40 decisions=236, wrong=27, backtracks=5, failedAssignments=23, nogoods=19, foundSolutions=2, bestBound=48
26.54/12.40 nFilterCalls=223531, avgTableProportion=0.9856762558687725, avgTableSize=86.92141134786674
26.54/12.40
27.05/12.88 o 47
28.05/13.83 num=4, depth=62..7599, filters=288452, revisions=(806525,useless=542177), ccks=11618221, wck=6.313, mem=1074M569
28.05/13.83 decisions=311, wrong=31, backtracks=5, failedAssignments=27, nogoods=23, foundSolutions=3, bestBound=47
28.05/13.83 nFilterCalls=282718, avgTableProportion=0.9855976876034839, avgTableSize=86.90067134034621
28.05/13.83
28.27/14.07 num=5, depth=1..5, filters=291005, revisions=(816710,useless=550759), ccks=11704505, wck=6.555, mem=1074M569
28.27/14.07 decisions=346, wrong=48, backtracks=16, failedAssignments=39, nogoods=26, foundSolutions=3, bestBound=47
28.27/14.07 nFilterCalls=286360, avgTableProportion=0.9852483159788302, avgTableSize=86.73871350747311
28.27/14.07
28.27/14.11 num=6, depth=18..25, filters=299860, revisions=(827653,useless=556874), ccks=11794792, wck=6.592, mem=1074M569
28.27/14.11 decisions=392, wrong=59, backtracks=16, failedAssignments=50, nogoods=37, foundSolutions=3, bestBound=47
28.27/14.11 nFilterCalls=289349, avgTableProportion=0.9851487293305937, avgTableSize=86.69956350289789
28.27/14.11
28.68/14.45 num=7, depth=20..71, filters=360249, revisions=(997394,useless=670822), ccks=13452859, wck=6.926, mem=1074M569
28.68/14.45 decisions=493, wrong=75, backtracks=20, failedAssignments=62, nogoods=44, foundSolutions=3, bestBound=47
28.68/14.45 nFilterCalls=341810, avgTableProportion=0.9853697306262525, avgTableSize=86.80166759310728
28.68/14.45
28.84/14.57 num=8, depth=26..37, filters=372234, revisions=(1023821,useless=689413), ccks=14272546, wck=7.049, mem=1074M569
28.84/14.57 decisions=560, wrong=93, backtracks=27, failedAssignments=75, nogoods=50, foundSolutions=3, bestBound=47
28.84/14.57 nFilterCalls=347561, avgTableProportion=0.9851962724333999, avgTableSize=86.63240121877887
28.84/14.57
29.35/15.02 o 46
30.24/15.96 num=9, depth=9..7599, filters=429638, revisions=(1182287,useless=794579), ccks=15823517, wck=8.444, mem=1085M460
30.24/15.96 decisions=658, wrong=103, backtracks=31, failedAssignments=83, nogoods=56, foundSolutions=4, bestBound=46
30.24/15.96 nFilterCalls=405518, avgTableProportion=0.9851681319540557, avgTableSize=86.63115817300341
30.24/15.96
30.54/16.27 num=10, depth=0..35, filters=440800, revisions=(1212844,useless=817338), ccks=16298499, wck=8.755, mem=1085M460
30.54/16.27 decisions=737, wrong=127, backtracks=43, failedAssignments=99, nogoods=64, foundSolutions=4, bestBound=46
30.54/16.27 nFilterCalls=414034, avgTableProportion=0.9847958570508336, avgTableSize=86.44904524749175
30.54/16.27
30.67/16.38 num=11, depth=9..20, filters=457562, revisions=(1254083,useless=845412), ccks=16997848, wck=8.862, mem=1085M460
30.67/16.38 decisions=789, wrong=146, backtracks=53, failedAssignments=110, nogoods=66, foundSolutions=4, bestBound=46
30.67/16.38 nFilterCalls=425091, avgTableProportion=0.9847924240664161, avgTableSize=86.48168039313936
30.67/16.38
30.77/16.47 num=12, depth=9..29, filters=469781, revisions=(1281330,useless=863672), ccks=17535093, wck=8.952, mem=1085M460
30.77/16.47 decisions=856, wrong=173, backtracks=68, failedAssignments=122, nogoods=68, foundSolutions=4, bestBound=46
30.77/16.47 nFilterCalls=432461, avgTableProportion=0.9846855772435806, avgTableSize=86.41159318412528
30.77/16.47
30.87/16.54 num=13, depth=14..24, filters=477977, revisions=(1300036,useless=876693), ccks=17909462, wck=9.02, mem=1085M460
30.87/16.54 decisions=918, wrong=196, backtracks=81, failedAssignments=135, nogoods=72, foundSolutions=4, bestBound=46
30.87/16.54 nFilterCalls=436576, avgTableProportion=0.9846023707480128, avgTableSize=86.35334970314447
30.87/16.54
30.97/16.61 num=14, depth=15..18, filters=488212, revisions=(1321661,useless=890851), ccks=18313318, wck=9.094, mem=1085M460
30.97/16.61 decisions=967, wrong=213, backtracks=88, failedAssignments=149, nogoods=84, foundSolutions=4, bestBound=46
30.97/16.61 nFilterCalls=442081, avgTableProportion=0.9844611631639301, avgTableSize=86.22958236160342
30.97/16.61
31.08/16.71 num=15, depth=7..16, filters=501846, revisions=(1350704,useless=910525), ccks=18838639, wck=9.19, mem=1085M460
31.08/16.71 decisions=1024, wrong=236, backtracks=98, failedAssignments=165, nogoods=92, foundSolutions=4, bestBound=46
31.08/16.71 nFilterCalls=449090, avgTableProportion=0.9843226459127264, avgTableSize=86.1118394976508
31.08/16.71
31.19/16.82 num=16, depth=18..26, filters=516524, revisions=(1378306,useless=928119), ccks=19448618, wck=9.298, mem=1085M460
31.19/16.82 decisions=1097, wrong=263, backtracks=115, failedAssignments=182, nogoods=98, foundSolutions=4, bestBound=46
31.19/16.82 nFilterCalls=456612, avgTableProportion=0.9842252130229272, avgTableSize=86.0213529210796
31.19/16.82
31.29/16.92 num=17, depth=0..26, filters=529564, revisions=(1403619,useless=942700), ccks=19995747, wck=9.398, mem=1085M460
31.29/16.92 decisions=1191, wrong=302, backtracks=143, failedAssignments=201, nogoods=105, foundSolutions=4, bestBound=46
31.29/16.92 nFilterCalls=463603, avgTableProportion=0.9840667955427059, avgTableSize=85.8755961458403
31.29/16.92
31.50/17.16 num=18, depth=15..31, filters=562369, revisions=(1471877,useless=987311), ccks=21573248, wck=9.641, mem=1085M460
31.50/17.16 decisions=1288, wrong=339, backtracks=163, failedAssignments=222, nogoods=111, foundSolutions=4, bestBound=46
31.50/17.16 nFilterCalls=483355, avgTableProportion=0.9840174307735499, avgTableSize=85.71444590414913
31.50/17.16
31.69/17.30 num=19, depth=8..32, filters=580859, revisions=(1519845,useless=1019689), ccks=22465195, wck=9.78, mem=1085M460
31.69/17.30 decisions=1368, wrong=366, backtracks=167, failedAssignments=245, nogoods=126, foundSolutions=4, bestBound=46
31.69/17.30 nFilterCalls=495217, avgTableProportion=0.9838357685161971, avgTableSize=85.55026584305466
31.69/17.30
31.79/17.46 num=20, depth=8..25, filters=601071, revisions=(1564594,useless=1048885), ccks=23493776, wck=9.938, mem=1085M460
31.79/17.46 decisions=1448, wrong=398, backtracks=176, failedAssignments=270, nogoods=140, foundSolutions=4, bestBound=46
31.79/17.46 nFilterCalls=507245, avgTableProportion=0.983704022316864, avgTableSize=85.43168685743575
31.79/17.46
32.00/17.62 num=21, depth=9..37, filters=623221, revisions=(1633670,useless=1098327), ccks=24371845, wck=10.096, mem=1085M460
32.00/17.62 decisions=1558, wrong=438, backtracks=191, failedAssignments=298, nogoods=158, foundSolutions=4, bestBound=46
32.00/17.62 nFilterCalls=522711, avgTableProportion=0.983562902534805, avgTableSize=85.3266948658054
32.00/17.62
32.20/17.87 num=22, depth=10..47, filters=665684, revisions=(1733797,useless=1164446), ccks=25694488, wck=10.35, mem=1085M460
32.20/17.87 decisions=1696, wrong=490, backtracks=217, failedAssignments=329, nogoods=178, foundSolutions=4, bestBound=46
32.20/17.87 nFilterCalls=550575, avgTableProportion=0.983547322505466, avgTableSize=85.22622712618626
32.20/17.87
32.41/18.02 num=23, depth=11..22, filters=684481, revisions=(1782783,useless=1197350), ccks=26586314, wck=10.496, mem=1096M350
32.41/18.02 decisions=1800, wrong=533, backtracks=229, failedAssignments=363, nogoods=202, foundSolutions=4, bestBound=46
32.41/18.02 nFilterCalls=562667, avgTableProportion=0.9834837010305225, avgTableSize=85.10965455589185
32.41/18.02
32.70/18.35 num=24, depth=6..45, filters=735926, revisions=(1917587,useless=1286755), ccks=28478694, wck=10.829, mem=1096M350
32.70/18.35 decisions=1946, wrong=589, backtracks=251, failedAssignments=400, nogoods=221, foundSolutions=4, bestBound=46
32.70/18.35 nFilterCalls=600953, avgTableProportion=0.9835215330820073, avgTableSize=85.02633650218903
32.70/18.35
33.00/18.61 num=25, depth=8..31, filters=770663, revisions=(2019091,useless=1356487), ccks=30251583, wck=11.092, mem=1096M350
33.00/18.61 decisions=2075, wrong=644, backtracks=270, failedAssignments=441, nogoods=225, foundSolutions=4, bestBound=46
33.00/18.61 nFilterCalls=624611, avgTableProportion=0.9834401276422761, avgTableSize=84.92254859424506
33.00/18.61
33.30/18.95 num=26, depth=8..41, filters=821186, revisions=(2155353,useless=1448529), ccks=32259536, wck=11.431, mem=1096M350
33.30/18.95 decisions=2242, wrong=710, backtracks=295, failedAssignments=486, nogoods=249, foundSolutions=4, bestBound=46
33.30/18.95 nFilterCalls=660834, avgTableProportion=0.9834867881622391, avgTableSize=84.88386796078895
33.30/18.95
33.41/19.06 num=27, depth=0..36, filters=834965, revisions=(2179966,useless=1462220), ccks=32817357, wck=11.536, mem=1096M350
33.41/19.06 decisions=2368, wrong=764, backtracks=312, failedAssignments=536, nogoods=282, foundSolutions=4, bestBound=46
33.41/19.06 nFilterCalls=667440, avgTableProportion=0.9833523290990671, avgTableSize=84.82406808102601
33.41/19.06
33.92/19.52 num=28, depth=16..38, filters=906823, revisions=(2369515,useless=1587142), ccks=35503565, wck=12.0, mem=1096M350
33.92/19.52 decisions=2577, wrong=860, backtracks=375, failedAssignments=591, nogoods=285, foundSolutions=4, bestBound=46
33.92/19.52 nFilterCalls=721073, avgTableProportion=0.9832679014625334, avgTableSize=84.56205682365031
33.92/19.52
34.22/19.82 num=29, depth=10..22, filters=956432, revisions=(2491828,useless=1666821), ccks=37298035, wck=12.3, mem=1096M350
34.22/19.82 decisions=2737, wrong=931, backtracks=390, failedAssignments=652, nogoods=303, foundSolutions=4, bestBound=46
34.22/19.82 nFilterCalls=753716, avgTableProportion=0.9831073573094379, avgTableSize=84.27682044695881
34.22/19.82
34.72/20.33 num=30, depth=12..47, filters=1036552, revisions=(2714808,useless=1822486), ccks=40363685, wck=12.815, mem=1107M241
34.72/20.33 decisions=2972, wrong=1034, backtracks=437, failedAssignments=719, nogoods=311, foundSolutions=4, bestBound=46
34.72/20.33 nFilterCalls=809096, avgTableProportion=0.9831561831598351, avgTableSize=84.26599562969042
34.72/20.33
35.02/20.69 num=31, depth=12..52, filters=1099737, revisions=(2859148,useless=1910430), ccks=42331633, wck=13.173, mem=1107M241
35.02/20.69 decisions=3217, wrong=1137, backtracks=479, failedAssignments=793, nogoods=326, foundSolutions=4, bestBound=46
35.02/20.69 nFilterCalls=854501, avgTableProportion=0.982795842597765, avgTableSize=84.15283773804829
35.02/20.69
35.53/21.14 num=32, depth=10..42, filters=1172006, revisions=(3040308,useless=2023605), ccks=45129004, wck=13.616, mem=1107M241
35.53/21.14 decisions=3454, wrong=1246, backtracks=513, failedAssignments=874, nogoods=342, foundSolutions=4, bestBound=46
35.53/21.14 nFilterCalls=909093, avgTableProportion=0.9828050488369119, avgTableSize=84.23177386692011
35.53/21.14
35.82/21.47 num=33, depth=11..63, filters=1230619, revisions=(3175204,useless=2106226), ccks=46914672, wck=13.949, mem=1107M241
35.82/21.47 decisions=3718, wrong=1354, backtracks=540, failedAssignments=963, nogoods=366, foundSolutions=4, bestBound=46
35.82/21.47 nFilterCalls=950566, avgTableProportion=0.9827723714265414, avgTableSize=84.21770397847177
35.82/21.47
36.12/21.77 num=34, depth=12..52, filters=1290268, revisions=(3307416,useless=2183310), ccks=48536727, wck=14.248, mem=1107M241
36.12/21.77 decisions=3988, wrong=1467, backtracks=568, failedAssignments=1061, nogoods=387, foundSolutions=4, bestBound=46
36.12/21.77 nFilterCalls=994568, avgTableProportion=0.9829060266113324, avgTableSize=84.3404272005534
36.12/21.77
36.43/22.09 num=35, depth=13..57, filters=1360639, revisions=(3469509,useless=2279171), ccks=50174423, wck=14.567, mem=1107M241
36.43/22.09 decisions=4281, wrong=1588, backtracks=584, failedAssignments=1169, nogoods=406, foundSolutions=4, bestBound=46
36.43/22.09 nFilterCalls=1051518, avgTableProportion=0.9830915118598818, avgTableSize=84.49130875553247
36.43/22.09
36.84/22.45 num=36, depth=2..58, filters=1448096, revisions=(3664806,useless=2393302), ccks=51899943, wck=14.929, mem=1118M131
36.84/22.45 decisions=4604, wrong=1725, backtracks=604, failedAssignments=1288, nogoods=420, foundSolutions=4, bestBound=46
36.84/22.45 nFilterCalls=1121304, avgTableProportion=0.9832901636608309, avgTableSize=84.63199453493432
36.84/22.45
37.14/22.78 num=37, depth=2..56, filters=1522077, revisions=(3830908,useless=2490326), ccks=53600226, wck=15.259, mem=1118M131
37.14/22.78 decisions=4938, wrong=1873, backtracks=621, failedAssignments=1419, nogoods=430, foundSolutions=4, bestBound=46
37.14/22.78 nFilterCalls=1179099, avgTableProportion=0.9834446464261681, avgTableSize=84.74578979373233
37.14/22.78
37.55/23.13 num=38, depth=3..60, filters=1610049, revisions=(4018685,useless=2600243), ccks=55301789, wck=15.611, mem=1118M131
37.55/23.13 decisions=5298, wrong=2032, backtracks=636, failedAssignments=1563, nogoods=437, foundSolutions=4, bestBound=46
37.55/23.13 nFilterCalls=1244867, avgTableProportion=0.9834261766087281, avgTableSize=84.84170437484487
37.55/23.13
38.14/23.73 o 45
39.05/24.67 num=39, depth=4..7599, filters=1697156, revisions=(4227091,useless=2728779), ccks=57747166, wck=17.148, mem=1118M131
39.05/24.67 decisions=5511, wrong=2110, backtracks=657, failedAssignments=1621, nogoods=448, foundSolutions=5, bestBound=45
39.05/24.67 nFilterCalls=1322253, avgTableProportion=0.9833964759178722, avgTableSize=84.86552119753179
39.05/24.67
39.65/25.27 num=40, depth=4..36, filters=1759641, revisions=(4353744,useless=2804155), ccks=59895410, wck=17.752, mem=1129M22
39.65/25.27 decisions=5912, wrong=2305, backtracks=694, failedAssignments=1795, nogoods=454, foundSolutions=5, bestBound=45
39.65/25.27 nFilterCalls=1361112, avgTableProportion=0.983226530299032, avgTableSize=84.75153110104091
39.65/25.27
39.75/25.33 num=41, depth=1..9, filters=1769235, revisions=(4367112,useless=2811559), ccks=60201020, wck=17.809, mem=1129M22
39.75/25.33 decisions=5944, wrong=2318, backtracks=696, failedAssignments=1806, nogoods=462, foundSolutions=5, bestBound=45
39.75/25.33 nFilterCalls=1366203, avgTableProportion=0.9832374838277266, avgTableSize=84.76019888698825
39.75/25.33
39.85/25.42 num=42, depth=1..18, filters=1784381, revisions=(4387367,useless=2822362), ccks=60678882, wck=17.896, mem=1129M22
39.85/25.42 decisions=5985, wrong=2334, backtracks=701, failedAssignments=1818, nogoods=471, foundSolutions=5, bestBound=45
39.85/25.42 nFilterCalls=1374365, avgTableProportion=0.9832619760373484, avgTableSize=84.78587274850567
39.85/25.42
39.95/25.52 num=43, depth=1..18, filters=1802972, revisions=(4409100,useless=2833279), ccks=61215100, wck=17.996, mem=1129M22
39.95/25.52 decisions=6024, wrong=2350, backtracks=704, failedAssignments=1831, nogoods=483, foundSolutions=5, bestBound=45
39.95/25.52 nFilterCalls=1383754, avgTableProportion=0.9832902865804213, avgTableSize=84.81443377941454
39.95/25.52
39.95/25.59 num=44, depth=4..14, filters=1816130, revisions=(4429983,useless=2844482), ccks=61672566, wck=18.075, mem=1129M22
39.95/25.59 decisions=6068, wrong=2367, backtracks=707, failedAssignments=1845, nogoods=496, foundSolutions=5, bestBound=45
39.95/25.59 nFilterCalls=1391981, avgTableProportion=0.983300072452981, avgTableSize=84.82513051543089
39.95/25.59
40.05/25.66 num=45, depth=1..10, filters=1827623, revisions=(4446664,useless=2853434), ccks=62051936, wck=18.143, mem=1129M22
40.05/25.66 decisions=6114, wrong=2387, backtracks=711, failedAssignments=1861, nogoods=508, foundSolutions=5, bestBound=45
40.05/25.66 nFilterCalls=1398403, avgTableProportion=0.9833153641398609, avgTableSize=84.83916581986738
40.05/25.66
40.15/25.73 num=46, depth=6..10, filters=1835213, revisions=(4460381,useless=2861751), ccks=62502077, wck=18.209, mem=1129M22
40.15/25.73 decisions=6158, wrong=2405, backtracks=712, failedAssignments=1878, nogoods=525, foundSolutions=5, bestBound=45
40.15/25.73 nFilterCalls=1402498, avgTableProportion=0.9833197097566232, avgTableSize=84.84233560404364
40.15/25.73
40.25/25.83 num=47, depth=4..15, filters=1849063, revisions=(4484320,useless=2875899), ccks=63065201, wck=18.305, mem=1129M22
40.25/25.83 decisions=6214, wrong=2428, backtracks=716, failedAssignments=1897, nogoods=537, foundSolutions=5, bestBound=45
40.25/25.83 nFilterCalls=1410649, avgTableProportion=0.9833293561193365, avgTableSize=84.85578198403714
40.25/25.83
40.35/25.97 num=48, depth=4..27, filters=1869940, revisions=(4524908,useless=2900612), ccks=63900327, wck=18.446, mem=1129M22
40.35/25.97 decisions=6290, wrong=2463, backtracks=736, failedAssignments=1918, nogoods=539, foundSolutions=5, bestBound=45
40.35/25.97 nFilterCalls=1423254, avgTableProportion=0.9833057807041117, avgTableSize=84.8564290000239
40.35/25.97
40.46/26.08 num=49, depth=0..20, filters=1886424, revisions=(4554010,useless=2916936), ccks=64565086, wck=18.556, mem=1129M22
40.46/26.08 decisions=6354, wrong=2488, backtracks=740, failedAssignments=1941, nogoods=550, foundSolutions=5, bestBound=45
40.46/26.08 nFilterCalls=1434160, avgTableProportion=0.9833141304644909, avgTableSize=84.8718804038601
40.46/26.08
40.65/26.21 num=50, depth=1..39, filters=1909919, revisions=(4586785,useless=2935399), ccks=65237599, wck=18.691, mem=1129M22
40.65/26.21 decisions=6431, wrong=2520, backtracks=754, failedAssignments=1966, nogoods=564, foundSolutions=5, bestBound=45
40.65/26.21 nFilterCalls=1445616, avgTableProportion=0.9832767407638074, avgTableSize=84.87239073170191
40.65/26.21
40.65/26.28 num=51, depth=1..12, filters=1921467, revisions=(4606077,useless=2947093), ccks=65600492, wck=18.762, mem=1129M22
40.65/26.28 decisions=6497, wrong=2552, backtracks=762, failedAssignments=1994, nogoods=573, foundSolutions=5, bestBound=45
40.65/26.28 nFilterCalls=1450994, avgTableProportion=0.9832714081122848, avgTableSize=84.86838263976281
40.65/26.28
40.85/26.43 num=52, depth=12..33, filters=1943095, revisions=(4646698,useless=2972115), ccks=66427164, wck=18.909, mem=1129M22
40.85/26.43 decisions=6584, wrong=2586, backtracks=770, failedAssignments=2025, nogoods=597, foundSolutions=5, bestBound=45
40.85/26.43 nFilterCalls=1462480, avgTableProportion=0.9832441226819882, avgTableSize=84.85470980799738
40.85/26.43
41.05/26.62 num=53, depth=6..19, filters=1972938, revisions=(4696405,useless=3000040), ccks=67551500, wck=19.099, mem=1129M22
41.05/26.62 decisions=6685, wrong=2632, backtracks=787, failedAssignments=2059, nogoods=606, foundSolutions=5, bestBound=45
41.05/26.62 nFilterCalls=1480745, avgTableProportion=0.9832283001424138, avgTableSize=84.86426359704068
41.05/26.62
41.26/26.82 num=54, depth=0..33, filters=2002268, revisions=(4758090,useless=3038139), ccks=68703847, wck=19.297, mem=1129M22
41.26/26.82 decisions=6794, wrong=2675, backtracks=796, failedAssignments=2096, nogoods=625, foundSolutions=5, bestBound=45
41.26/26.82 nFilterCalls=1500063, avgTableProportion=0.9832447890819173, avgTableSize=84.88583212838394
41.26/26.82
41.36/26.98 num=55, depth=1..30, filters=2023512, revisions=(4808305,useless=3071869), ccks=69654832, wck=19.456, mem=1129M22
41.36/26.98 decisions=6909, wrong=2726, backtracks=813, failedAssignments=2137, nogoods=653, foundSolutions=5, bestBound=45
41.36/26.98 nFilterCalls=1512423, avgTableProportion=0.9832318794276567, avgTableSize=84.88056714292232
41.36/26.98
41.57/27.17 num=56, depth=8..13, filters=2051326, revisions=(4877214,useless=3118674), ccks=70797493, wck=19.645, mem=1129M22
41.57/27.17 decisions=7024, wrong=2779, backtracks=823, failedAssignments=2182, nogoods=656, foundSolutions=5, bestBound=45
41.57/27.17 nFilterCalls=1529970, avgTableProportion=0.9831819999669511, avgTableSize=84.86432021542906
41.57/27.17
41.76/27.38 num=57, depth=11..23, filters=2101596, revisions=(4947817,useless=3156495), ccks=71737231, wck=19.859, mem=1129M22
41.76/27.38 decisions=7153, wrong=2838, backtracks=835, failedAssignments=2232, nogoods=676, foundSolutions=5, bestBound=45
41.76/27.38 nFilterCalls=1555570, avgTableProportion=0.9831523652366814, avgTableSize=84.84314945646933
41.76/27.38
41.96/27.54 num=58, depth=1..25, filters=2125315, revisions=(5005027,useless=3195664), ccks=72632818, wck=20.02, mem=1129M22
41.96/27.54 decisions=7296, wrong=2906, backtracks=853, failedAssignments=2287, nogoods=694, foundSolutions=5, bestBound=45
41.96/27.54 nFilterCalls=1568525, avgTableProportion=0.9831010478265647, avgTableSize=84.82331489775426
41.96/27.54
42.16/27.77 num=59, depth=1..31, filters=2155092, revisions=(5093337,useless=3260627), ccks=74068497, wck=20.251, mem=1129M22
42.16/27.77 decisions=7460, wrong=2982, backtracks=879, failedAssignments=2348, nogoods=717, foundSolutions=5, bestBound=45
42.16/27.77 nFilterCalls=1584988, avgTableProportion=0.9830327021115092, avgTableSize=84.78697251966577
42.16/27.77
42.48/28.06 num=60, depth=8..21, filters=2198057, revisions=(5207335,useless=3340848), ccks=75712506, wck=20.54, mem=1139M912
42.48/28.06 decisions=7635, wrong=3062, backtracks=902, failedAssignments=2415, nogoods=731, foundSolutions=5, bestBound=45
42.48/28.06 nFilterCalls=1611950, avgTableProportion=0.9829939313130945, avgTableSize=84.76896305716679
42.48/28.06
42.77/28.33 num=61, depth=1..22, filters=2231455, revisions=(5315510,useless=3421785), ccks=77541000, wck=20.813, mem=1139M912
42.77/28.33 decisions=7821, wrong=3150, backtracks=921, failedAssignments=2489, nogoods=747, foundSolutions=5, bestBound=45
42.77/28.33 nFilterCalls=1629410, avgTableProportion=0.9828344109373885, avgTableSize=84.68724507643871
42.77/28.33
43.07/28.67 num=62, depth=9..17, filters=2283443, revisions=(5429558,useless=3494928), ccks=79650991, wck=21.151, mem=1139M912
43.07/28.67 decisions=8020, wrong=3244, backtracks=943, failedAssignments=2570, nogoods=803, foundSolutions=5, bestBound=45
43.07/28.67 nFilterCalls=1658061, avgTableProportion=0.982806433454541, avgTableSize=84.65007379101252
43.07/28.67
43.48/29.09 num=63, depth=9..18, filters=2350068, revisions=(5595856,useless=3609445), ccks=82068450, wck=21.567, mem=1139M912
43.48/29.09 decisions=8244, wrong=3351, backtracks=969, failedAssignments=2659, nogoods=825, foundSolutions=5, bestBound=45
43.48/29.09 nFilterCalls=1698517, avgTableProportion=0.9827844970662766, avgTableSize=84.6157347851096
43.48/29.09
43.77/29.39 num=64, depth=1..34, filters=2389319, revisions=(5706675,useless=3688409), ccks=83994299, wck=21.869, mem=1139M912
43.77/29.39 decisions=8490, wrong=3470, backtracks=1008, failedAssignments=2757, nogoods=853, foundSolutions=5, bestBound=45
43.77/29.39 nFilterCalls=1718796, avgTableProportion=0.982639685087929, avgTableSize=84.52411455460683
43.77/29.39
44.20/29.75 num=65, depth=7..13, filters=2437963, revisions=(5833542,useless=3775450), ccks=86383242, wck=22.23, mem=1139M912
44.20/29.75 decisions=8759, wrong=3600, backtracks=1035, failedAssignments=2865, nogoods=874, foundSolutions=5, bestBound=45
44.20/29.75 nFilterCalls=1744923, avgTableProportion=0.9826109520346098, avgTableSize=84.4240496572055
44.20/29.75
44.51/30.05 num=66, depth=10..21, filters=2485706, revisions=(5940361,useless=3845291), ccks=88091243, wck=22.532, mem=1139M912
44.51/30.05 decisions=9038, wrong=3734, backtracks=1058, failedAssignments=2984, nogoods=917, foundSolutions=5, bestBound=45
44.51/30.05 nFilterCalls=1771574, avgTableProportion=0.9825945310131166, avgTableSize=84.39140222197888
44.51/30.05
44.90/30.45 num=67, depth=1..25, filters=2549771, revisions=(6070302,useless=3922985), ccks=90472941, wck=22.934, mem=1150M803
44.90/30.45 decisions=9378, wrong=3898, backtracks=1105, failedAssignments=3115, nogoods=955, foundSolutions=5, bestBound=45
44.90/30.45 nFilterCalls=1806243, avgTableProportion=0.9824859278995639, avgTableSize=84.33923231813216
44.90/30.45
45.24/30.78 num=68, depth=6..27, filters=2600185, revisions=(6162556,useless=3976032), ccks=92352329, wck=23.261, mem=1150M803
45.24/30.78 decisions=9717, wrong=4064, backtracks=1142, failedAssignments=3259, nogoods=961, foundSolutions=5, bestBound=45
45.24/30.78 nFilterCalls=1835207, avgTableProportion=0.9824616168989407, avgTableSize=84.3284250768442
45.24/30.78
45.74/31.27 num=69, depth=0..27, filters=2691198, revisions=(6310471,useless=4063083), ccks=94903969, wck=23.75, mem=1150M803
45.74/31.27 decisions=10120, wrong=4263, backtracks=1208, failedAssignments=3417, nogoods=965, foundSolutions=5, bestBound=45
45.74/31.27 nFilterCalls=1880288, avgTableProportion=0.9824133511831908, avgTableSize=84.27214235266086
45.74/31.27
46.14/31.64 num=70, depth=0..11, filters=2749287, revisions=(6415891,useless=4120064), ccks=96986737, wck=24.116, mem=1150M803
46.14/31.64 decisions=10506, wrong=4454, backtracks=1241, failedAssignments=3591, nogoods=966, foundSolutions=5, bestBound=45
46.14/31.64 nFilterCalls=1913022, avgTableProportion=0.982402543461506, avgTableSize=84.23846563186414
46.14/31.64
46.55/32.09 num=71, depth=2..15, filters=2827807, revisions=(6559685,useless=4202576), ccks=99527755, wck=24.572, mem=1150M803
46.55/32.09 decisions=10960, wrong=4677, backtracks=1284, failedAssignments=3782, nogoods=988, foundSolutions=5, bestBound=45
46.55/32.09 nFilterCalls=1955657, avgTableProportion=0.9823118042536767, avgTableSize=84.14218341968964
46.55/32.09
47.07/32.58 num=72, depth=0..19, filters=2911321, revisions=(6697490,useless=4276861), ccks=102188361, wck=25.06, mem=1161M693
47.07/32.58 decisions=11446, wrong=4917, backtracks=1328, failedAssignments=3993, nogoods=1015, foundSolutions=5, bestBound=45
47.07/32.58 nFilterCalls=1998781, avgTableProportion=0.9822456895355428, avgTableSize=84.0905361818028
47.07/32.58
47.60/33.09 num=73, depth=0..18, filters=2994136, revisions=(6835900,useless=4351219), ccks=104979958, wck=25.571, mem=1161M693
47.60/33.09 decisions=11986, wrong=5186, backtracks=1408, failedAssignments=4225, nogoods=1031, foundSolutions=5, bestBound=45
47.60/33.09 nFilterCalls=2041949, avgTableProportion=0.9821975853192838, avgTableSize=84.04061217983407
47.60/33.09
49.39/34.89 num=74, depth=2..14, filters=3522514, revisions=(7340508,useless=4615079), ccks=112264985, wck=27.375, mem=1161M693
49.39/34.89 decisions=12535, wrong=5459, backtracks=1446, failedAssignments=4480, nogoods=1049, foundSolutions=5, bestBound=45
49.39/34.89 nFilterCalls=2254986, avgTableProportion=0.9824174057640083, avgTableSize=84.11425525479982
49.39/34.89
50.19/35.61 num=75, depth=2..15, filters=3630719, revisions=(7544593,useless=4732448), ccks=116454074, wck=28.09, mem=1172M584
50.19/35.61 decisions=13199, wrong=5790, backtracks=1520, failedAssignments=4761, nogoods=1085, foundSolutions=5, bestBound=45
50.19/35.61 nFilterCalls=2312545, avgTableProportion=0.9823042860184565, avgTableSize=84.02640208082437
50.19/35.61
50.70/36.15 num=76, depth=2..17, filters=3725472, revisions=(7708689,useless=4822172), ccks=119466547, wck=28.629, mem=1172M584
50.70/36.15 decisions=13854, wrong=6115, backtracks=1551, failedAssignments=5070, nogoods=1156, foundSolutions=5, bestBound=45
50.70/36.15 nFilterCalls=2359735, avgTableProportion=0.9821039969692925, avgTableSize=83.86750037610156
50.70/36.15
51.58/36.97 num=77, depth=0..19, filters=3858879, revisions=(7931535,useless=4946738), ccks=123996065, wck=29.455, mem=1172M584
51.58/36.97 decisions=14658, wrong=6514, backtracks=1659, failedAssignments=5410, nogoods=1172, foundSolutions=5, bestBound=45
51.58/36.97 nFilterCalls=2427207, avgTableProportion=0.9820391784978428, avgTableSize=83.76388252011468
51.58/36.97
52.38/37.77 num=78, depth=2..17, filters=3986119, revisions=(8175771,useless=5085810), ccks=128559169, wck=30.254, mem=1183M474
52.38/37.77 decisions=15481, wrong=6924, backtracks=1729, failedAssignments=5784, nogoods=1217, foundSolutions=5, bestBound=45
52.38/37.77 nFilterCalls=2494725, avgTableProportion=0.9818821015872493, avgTableSize=83.59230135586087
52.38/37.77
53.49/38.87 num=79, depth=0..29, filters=4170259, revisions=(8491525,useless=5258549), ccks=134887465, wck=31.345, mem=1183M474
53.49/38.87 decisions=16422, wrong=7392, backtracks=1842, failedAssignments=6195, nogoods=1256, foundSolutions=5, bestBound=45
53.49/38.87 nFilterCalls=2589572, avgTableProportion=0.9816688416041749, avgTableSize=83.33293300977923
53.49/38.87
54.61/39.92 num=80, depth=0..32, filters=4324286, revisions=(8809688,useless=5446463), ccks=140964239, wck=32.395, mem=1194M365
54.61/39.92 decisions=17480, wrong=7919, backtracks=1978, failedAssignments=6647, nogoods=1288, foundSolutions=5, bestBound=45
54.61/39.92 nFilterCalls=2671113, avgTableProportion=0.9815297131198801, avgTableSize=83.14636632744478
54.61/39.92
55.61/40.94 num=81, depth=0..17, filters=4491317, revisions=(9094617,useless=5602809), ccks=146990908, wck=33.423, mem=1194M365
55.61/40.94 decisions=18547, wrong=8452, backtracks=2049, failedAssignments=7144, nogoods=1316, foundSolutions=5, bestBound=45
55.61/40.94 nFilterCalls=2754548, avgTableProportion=0.9813732445250856, avgTableSize=82.98053255924384
55.61/40.94
56.72/42.05 num=82, depth=0..26, filters=4677674, revisions=(9400716,useless=5770295), ccks=153116748, wck=34.534, mem=1205M255
56.72/42.05 decisions=19783, wrong=9069, backtracks=2194, failedAssignments=7691, nogoods=1327, foundSolutions=5, bestBound=45
56.72/42.05 nFilterCalls=2844689, avgTableProportion=0.9812414782732403, avgTableSize=82.82222204255017
56.72/42.05
57.91/43.29 num=83, depth=0..22, filters=4857652, revisions=(9779340,useless=5995826), ccks=160333409, wck=35.77, mem=1205M255
57.91/43.29 decisions=21128, wrong=9738, backtracks=2321, failedAssignments=8293, nogoods=1358, foundSolutions=5, bestBound=45
57.91/43.29 nFilterCalls=2943696, avgTableProportion=0.9811028935188871, avgTableSize=82.65046798310695
57.91/43.29
59.41/44.79 num=84, depth=0..25, filters=5113284, revisions=(10211542,useless=6234652), ccks=168953971, wck=37.27, mem=1216M145
59.41/44.79 decisions=22580, wrong=10463, backtracks=2436, failedAssignments=8955, nogoods=1393, foundSolutions=5, bestBound=45
59.41/44.79 nFilterCalls=3070641, avgTableProportion=0.9809037029383755, avgTableSize=82.43821664597066
59.41/44.79
60.83/46.15 num=85, depth=0..14, filters=5338027, revisions=(10607995,useless=6445188), ccks=176703372, wck=38.629, mem=1227M36
60.83/46.15 decisions=24131, wrong=11238, backtracks=2503, failedAssignments=9683, nogoods=1414, foundSolutions=5, bestBound=45
60.83/46.15 nFilterCalls=3184454, avgTableProportion=0.9805488237723898, avgTableSize=82.12059524175886
60.83/46.15
62.53/47.84 num=86, depth=0..32, filters=5600304, revisions=(11103655,useless=6724944), ccks=186577663, wck=40.324, mem=1237M926
62.53/47.84 decisions=25912, wrong=12125, backtracks=2667, failedAssignments=10484, nogoods=1440, foundSolutions=5, bestBound=45
62.53/47.84 nFilterCalls=3319910, avgTableProportion=0.9803824782811053, avgTableSize=81.940232114726
62.53/47.84
64.53/49.84 num=87, depth=0..23, filters=5911319, revisions=(11712575,useless=7075508), ccks=198213056, wck=42.322, mem=1248M817
64.53/49.84 decisions=27881, wrong=13109, backtracks=2846, failedAssignments=11365, nogoods=1441, foundSolutions=5, bestBound=45
64.53/49.84 nFilterCalls=3479580, avgTableProportion=0.9801438058931757, avgTableSize=81.6983607216963
64.53/49.84
67.03/52.33 num=88, depth=0..15, filters=6293679, revisions=(12486421,useless=7533752), ccks=213157258, wck=44.812, mem=1259M707
67.03/52.33 decisions=30132, wrong=14233, backtracks=3067, failedAssignments=12335, nogoods=1477, foundSolutions=5, bestBound=45
67.03/52.33 nFilterCalls=3683034, avgTableProportion=0.9800337000344518, avgTableSize=81.46984958596636
67.03/52.33
69.34/54.63
69.34/54.63 New Bounds: 45..44
69.34/54.64 num=89, depth=0..19, filters=6627657, revisions=(13138911,useless=7917033), ccks=226940606, wck=47.117, mem=1270M598
69.34/54.64 decisions=32504, wrong=15420, backtracks=3301, failedAssignments=13370, foundSolutions=5, bestBound=45
69.34/54.64 nFilterCalls=3858911, avgTableProportion=0.9799678482253006, avgTableSize=81.38977550920454
69.34/54.64
69.34/54.64 Global
69.34/54.64 filters=6627657, revisions=(13138911,useless=7917033), ccks=226940606
69.34/54.64 Stop=FULL_EXPLORATION, wrong=15420, bestBound=45, bestBoundWck=21.871, bestBoundCpu=21.354, foundSolutions=5, firstSolCpu=6.411
69.34/54.64 wck=52.782, cpu=52.268, mem=1270M598
69.34/54.64
69.34/54.64 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>
69.34/54.64 s OPTIMUM FOUND
69.34/54.64
69.34/54.64 d WRONG_DECISIONS 15420
69.34/54.64 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 (15301 MiB free)
memory of node 1: 16384 MiB (13961 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391161-1568391494/watcher-4391161-1568391494 -o /tmp/evaluation-result-4391161-1568391494/solver-4391161-1568391494 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568388891-27766 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391161-1568391494.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28776, runsolver pid=28773
[startup+0.100058 s]*
/proc/loadavg: 2.01 1.81 1.74 4/230 28791
/proc/meminfo: memFree=29949016/32770624 swapFree=66918708/67108860
[pid=28776] ppid=28773 vsize=10659884 memory=27684 CPUtime=0.13 cores=0,2,4,6
/proc/28776/stat : 28776 (java) S 28773 28776 26121 0 -1 1077944320 5398 0 0 0 12 1 0 0 20 0 15 0 415087329 10915721216 6921 33554432000 4194304 4196468 140721504728704 140721504711248 140242612379383 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
/proc/28776/statm: 2664971 6921 2907 1 0 2627468 0
[pid=28776/tid=28778] ppid=28773 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=0,2,4,6
/proc/28776/task/28778/stat : 28778 (java) R 28773 28776 26121 0 -1 4202560 3193 0 0 0 8 1 0 0 20 0 15 0 415087329 10915721216 6921 33554432000 4194304 4196468 140721504728704 140242616609520 140242598703749 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28779] ppid=28773 vsize=10659884 memory=-7025452035940392864 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28779/stat : 28779 (java) S 28773 28776 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415087330 10915721216 6921 33554432000 4194304 4196468 140721504728704 140242565000336 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28780] ppid=28773 vsize=10659884 memory=139826953582208 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28780/stat : 28780 (java) S 28773 28776 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415087330 10915721216 6921 33554432000 4194304 4196468 140721504728704 140242563947536 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28781] ppid=28773 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28781/stat : 28781 (java) S 28773 28776 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415087330 10915721216 6921 33554432000 4194304 4196468 140721504728704 140242562894736 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28782] ppid=28773 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28782/stat : 28782 (java) S 28773 28776 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415087330 10915721216 6921 33554432000 4194304 4196468 140721504728704 140242561841936 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28783] ppid=28773 vsize=10659884 memory=139826953582208 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28783/stat : 28783 (java) S 28773 28776 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415087332 10915721216 6921 33554432000 4194304 4196468 140721504728704 140242171537776 140242612390530 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28784] ppid=28773 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28784/stat : 28784 (java) S 28773 28776 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415087332 10915721216 6921 33554432000 4194304 4196468 140721504728704 140242170483744 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28785] ppid=28773 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28785/stat : 28785 (java) S 28773 28776 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415087332 10915721216 6921 33554432000 4194304 4196468 140721504728704 140242169430896 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28786] ppid=28773 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28786/stat : 28786 (java) S 28773 28776 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415087335 10915721216 6921 33554432000 4194304 4196468 140721504728704 140242168379216 140242612397979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28787] ppid=28773 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28787/stat : 28787 (java) S 28773 28776 26121 0 -1 1077944384 345 0 0 0 0 0 0 0 20 0 15 0 415087335 10915721216 6921 33554432000 4194304 4196468 140721504728704 140242167327696 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28788] ppid=28773 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28788/stat : 28788 (java) R 28773 28776 26121 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 15 0 415087335 10915721216 6921 33554432000 4194304 4196468 140721504728704 140242166274800 140242612390530 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28789] ppid=28773 vsize=10659884 memory=139826953582208 CPUtime=0.02 cores=0,2,4,6
/proc/28776/task/28789/stat : 28789 (java) R 28773 28776 26121 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 15 0 415087335 10915721216 6921 33554432000 4194304 4196468 140721504728704 140242165222000 140242591397322 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28790] ppid=28773 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28790/stat : 28790 (java) S 28773 28776 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415087335 10915721216 6921 33554432000 4194304 4196468 140721504728704 140242164169440 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28791] ppid=28773 vsize=10659884 memory=139826953582208 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28791/stat : 28791 (java) S 28773 28776 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415087335 10915721216 6921 33554432000 4194304 4196468 140721504728704 140242163116720 140242612390530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27684 KiB
[startup+0.211018 s]*
/proc/loadavg: 2.01 1.81 1.74 5/230 28791
/proc/meminfo: memFree=29936140/32770624 swapFree=66918708/67108860
[pid=28776] ppid=28773 vsize=10659884 memory=37532 CPUtime=0.33 cores=0,2,4,6
/proc/28776/stat : 28776 (java) S 28773 28776 26121 0 -1 1077944320 9163 0 0 0 30 3 0 0 20 0 15 0 415087329 10915721216 9383 33554432000 4194304 4196468 140721504728704 140721504711248 140242612379383 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
/proc/28776/statm: 2664971 9383 2984 1 0 2627468 0
[pid=28776/tid=28778] ppid=28773 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/28776/task/28778/stat : 28778 (java) R 28773 28776 26121 0 -1 4202560 6098 0 0 0 18 2 0 0 20 0 15 0 415087329 10915721216 9383 33554432000 4194304 4196468 140721504728704 140242616611184 140242612401309 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28779] ppid=28773 vsize=10659884 memory=345 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28779/stat : 28779 (java) S 28773 28776 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415087330 10915721216 9383 33554432000 4194304 4196468 140721504728704 140242565000336 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28780] ppid=28773 vsize=10659884 memory=288370203105293952 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28780/stat : 28780 (java) S 28773 28776 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415087330 10915721216 9383 33554432000 4194304 4196468 140721504728704 140242563947536 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28781] ppid=28773 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28781/stat : 28781 (java) S 28773 28776 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415087330 10915721216 9383 33554432000 4194304 4196468 140721504728704 140242562894736 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28782] ppid=28773 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28782/stat : 28782 (java) S 28773 28776 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415087330 10915721216 9383 33554432000 4194304 4196468 140721504728704 140242561841936 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28783] ppid=28773 vsize=10659884 memory=139826953582208 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28783/stat : 28783 (java) S 28773 28776 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415087332 10915721216 9383 33554432000 4194304 4196468 140721504728704 140242171537776 140242612390530 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28784] ppid=28773 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28784/stat : 28784 (java) S 28773 28776 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415087332 10915721216 9383 33554432000 4194304 4196468 140721504728704 140242170483744 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28785] ppid=28773 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28785/stat : 28785 (java) S 28773 28776 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415087332 10915721216 9383 33554432000 4194304 4196468 140721504728704 140242169430896 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28786] ppid=28773 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28786/stat : 28786 (java) S 28773 28776 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415087335 10915721216 9383 33554432000 4194304 4196468 140721504728704 140242168379216 140242612397979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28787] ppid=28773 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/28776/task/28787/stat : 28787 (java) S 28773 28776 26121 0 -1 1077944384 653 0 0 0 3 0 0 0 20 0 15 0 415087335 10915721216 9383 33554432000 4194304 4196468 140721504728704 140242167327600 140242612390530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28788] ppid=28773 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/28776/task/28788/stat : 28788 (java) S 28773 28776 26121 0 -1 1077944384 320 0 0 0 3 0 0 0 20 0 15 0 415087335 10915721216 9383 33554432000 4194304 4196468 140721504728704 140242166274800 140242612390530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28789] ppid=28773 vsize=10659884 memory=139826953582208 CPUtime=0.05 cores=0,2,4,6
/proc/28776/task/28789/stat : 28789 (java) S 28773 28776 26121 0 -1 1077944384 733 0 0 0 5 0 0 0 20 0 15 0 415087335 10915721216 9383 33554432000 4194304 4196468 140721504728704 140242165222000 140242612390530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28790] ppid=28773 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28790/stat : 28790 (java) S 28773 28776 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415087335 10915721216 9383 33554432000 4194304 4196468 140721504728704 140242164169440 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28791] ppid=28773 vsize=10659884 memory=139826953582208 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28791/stat : 28791 (java) S 28773 28776 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415087335 10915721216 9383 33554432000 4194304 4196468 140721504728704 140242163116720 140242612390530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37532 KiB
[startup+0.310491 s]*
/proc/loadavg: 2.01 1.81 1.74 3/230 28791
/proc/meminfo: memFree=29934328/32770624 swapFree=66918708/67108860
[pid=28776] ppid=28773 vsize=10659884 memory=40092 CPUtime=0.46 cores=0,2,4,6
/proc/28776/stat : 28776 (java) S 28773 28776 26121 0 -1 1077944320 9350 0 0 0 43 3 0 0 20 0 15 0 415087329 10915721216 10023 33554432000 4194304 4196468 140721504728704 140721504711248 140242612379383 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
/proc/28776/statm: 2664971 10023 3010 1 0 2627468 0
[pid=28776/tid=28778] ppid=28773 vsize=10659884 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/28776/task/28778/stat : 28778 (java) R 28773 28776 26121 0 -1 4202560 6222 0 0 0 27 2 0 0 20 0 15 0 415087329 10915721216 10084 33554432000 4194304 4196468 140721504728704 140242616611184 140242612401309 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28779] ppid=28773 vsize=10659884 memory=2810766 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28779/stat : 28779 (java) S 28773 28776 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415087330 10915721216 10084 33554432000 4194304 4196468 140721504728704 140242565000336 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28780] ppid=28773 vsize=10659884 memory=288370203105293952 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28780/stat : 28780 (java) S 28773 28776 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415087330 10915721216 10084 33554432000 4194304 4196468 140721504728704 140242563947536 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28781] ppid=28773 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28781/stat : 28781 (java) S 28773 28776 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415087330 10915721216 10084 33554432000 4194304 4196468 140721504728704 140242562894736 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28782] ppid=28773 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28782/stat : 28782 (java) S 28773 28776 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415087330 10915721216 10084 33554432000 4194304 4196468 140721504728704 140242561841936 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28783] ppid=28773 vsize=10659884 memory=139826953582208 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28783/stat : 28783 (java) S 28773 28776 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415087332 10915721216 10084 33554432000 4194304 4196468 140721504728704 140242171537776 140242612390530 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28784] ppid=28773 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28784/stat : 28784 (java) S 28773 28776 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415087332 10915721216 10084 33554432000 4194304 4196468 140721504728704 140242170483744 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28785] ppid=28773 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28785/stat : 28785 (java) S 28773 28776 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415087332 10915721216 10084 33554432000 4194304 4196468 140721504728704 140242169430896 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28786] ppid=28773 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28786/stat : 28786 (java) S 28773 28776 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415087335 10915721216 10084 33554432000 4194304 4196468 140721504728704 140242168379216 140242612397979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28787] ppid=28773 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/28776/task/28787/stat : 28787 (java) S 28773 28776 26121 0 -1 1077944384 688 0 0 0 4 0 0 0 20 0 15 0 415087335 10915721216 10084 33554432000 4194304 4196468 140721504728704 140242167327600 140242612390530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28788] ppid=28773 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/28776/task/28788/stat : 28788 (java) S 28773 28776 26121 0 -1 1077944384 328 0 0 0 3 0 0 0 20 0 15 0 415087335 10915721216 10084 33554432000 4194304 4196468 140721504728704 140242166274800 140242612390530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28789] ppid=28773 vsize=10659884 memory=139826953582208 CPUtime=0.07 cores=0,2,4,6
/proc/28776/task/28789/stat : 28789 (java) S 28773 28776 26121 0 -1 1077944384 754 0 0 0 7 0 0 0 20 0 15 0 415087335 10915721216 10084 33554432000 4194304 4196468 140721504728704 140242165222000 140242612390530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28790] ppid=28773 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28790/stat : 28790 (java) S 28773 28776 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415087335 10915721216 10084 33554432000 4194304 4196468 140721504728704 140242164169440 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28791] ppid=28773 vsize=10659884 memory=139826953582208 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28791/stat : 28791 (java) S 28773 28776 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415087335 10915721216 10084 33554432000 4194304 4196468 140721504728704 140242163116720 140242612390530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40092 KiB
[startup+0.700717 s]
/proc/loadavg: 2.01 1.81 1.74 3/230 28791
/proc/meminfo: memFree=29924596/32770624 swapFree=66918708/67108860
[pid=28776] ppid=28773 vsize=10661932 memory=63900 CPUtime=1.1 cores=0,2,4,6
/proc/28776/stat : 28776 (java) S 28773 28776 26121 0 -1 1077944320 12974 0 0 0 104 6 0 0 20 0 15 0 415087329 10917818368 15975 33554432000 4194304 4196468 140721504728704 140721504711248 140242612379383 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
/proc/28776/statm: 2665483 15975 3073 1 0 2627980 0
[pid=28776/tid=28778] ppid=28773 vsize=10661932 memory=4481 CPUtime=0.68 cores=0,2,4,6
/proc/28776/task/28778/stat : 28778 (java) R 28773 28776 26121 0 -1 4202560 8777 0 0 0 64 4 0 0 20 0 15 0 415087329 10917818368 15975 33554432000 4194304 4196468 140721504728704 140242616602320 140242596459870 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28779] ppid=28773 vsize=10661932 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28779/stat : 28779 (java) S 28773 28776 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415087330 10917818368 15975 33554432000 4194304 4196468 140721504728704 140242565000336 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28780] ppid=28773 vsize=10661932 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28780/stat : 28780 (java) S 28773 28776 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415087330 10917818368 15975 33554432000 4194304 4196468 140721504728704 140242563947536 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28781] ppid=28773 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28781/stat : 28781 (java) S 28773 28776 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415087330 10917818368 15975 33554432000 4194304 4196468 140721504728704 140242562894736 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28782] ppid=28773 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28782/stat : 28782 (java) S 28773 28776 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415087330 10917818368 15975 33554432000 4194304 4196468 140721504728704 140242561841936 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28783] ppid=28773 vsize=10661932 memory=263448864785358 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28783/stat : 28783 (java) S 28773 28776 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415087332 10917818368 15975 33554432000 4194304 4196468 140721504728704 140242171537776 140242612390530 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28784] ppid=28773 vsize=10661932 memory=3545796572287875304 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28784/stat : 28784 (java) S 28773 28776 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415087332 10917818368 15975 33554432000 4194304 4196468 140721504728704 140242170483744 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28785] ppid=28773 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28785/stat : 28785 (java) S 28773 28776 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415087332 10917818368 15975 33554432000 4194304 4196468 140721504728704 140242169430896 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28786] ppid=28773 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28786/stat : 28786 (java) S 28773 28776 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415087335 10917818368 15975 33554432000 4194304 4196468 140721504728704 140242168379216 140242612397979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28787] ppid=28773 vsize=10661932 memory=279653642169248 CPUtime=0.11 cores=0,2,4,6
/proc/28776/task/28787/stat : 28787 (java) S 28773 28776 26121 0 -1 1077944384 1078 0 0 0 11 0 0 0 20 0 15 0 415087335 10917818368 15975 33554432000 4194304 4196468 140721504728704 140242167327600 140242612390530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28788] ppid=28773 vsize=10661932 memory=19153 CPUtime=0.1 cores=0,2,4,6
/proc/28776/task/28788/stat : 28788 (java) R 28773 28776 26121 0 -1 4202560 553 0 0 0 10 0 0 0 20 0 15 0 415087335 10917818368 15975 33554432000 4194304 4196468 140721504728704 140242166274800 140242591777877 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28789] ppid=28773 vsize=10661932 memory=279653642141936 CPUtime=0.18 cores=0,2,4,6
/proc/28776/task/28789/stat : 28789 (java) S 28773 28776 26121 0 -1 1077944384 1207 0 0 0 18 0 0 0 20 0 15 0 415087335 10917818368 15975 33554432000 4194304 4196468 140721504728704 140242165222000 140242612390530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28790] ppid=28773 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28790/stat : 28790 (java) S 28773 28776 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415087335 10917818368 15975 33554432000 4194304 4196468 140721504728704 140242164169440 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28791] ppid=28773 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28791/stat : 28791 (java) S 28773 28776 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415087335 10917818368 15975 33554432000 4194304 4196468 140721504728704 140242163116720 140242612390530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63900 KiB
[startup+1.50081 s]
/proc/loadavg: 2.01 1.81 1.74 3/230 28791
/proc/meminfo: memFree=29909188/32770624 swapFree=66918708/67108860
[pid=28776] ppid=28773 vsize=10663980 memory=75888 CPUtime=2.01 cores=0,2,4,6
/proc/28776/stat : 28776 (java) S 28773 28776 26121 0 -1 1077944320 18608 0 0 0 195 6 0 0 20 0 15 0 415087329 10919915520 18972 33554432000 4194304 4196468 140721504728704 140721504711248 140242612379383 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
/proc/28776/statm: 2665995 18972 3096 1 0 2628492 0
[pid=28776/tid=28778] ppid=28773 vsize=10663980 memory=279653643018912 CPUtime=1.47 cores=0,2,4,6
/proc/28776/task/28778/stat : 28778 (java) R 28773 28776 26121 0 -1 4202560 13094 0 0 0 143 4 0 0 20 0 15 0 415087329 10919915520 18972 33554432000 4194304 4196468 140721504728704 140242616610440 140242593944353 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28779] ppid=28773 vsize=10663980 memory=279653642191792 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28779/stat : 28779 (java) S 28773 28776 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415087330 10919915520 18972 33554432000 4194304 4196468 140721504728704 140242565000336 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28780] ppid=28773 vsize=10663980 memory=56 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28780/stat : 28780 (java) S 28773 28776 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415087330 10919915520 18972 33554432000 4194304 4196468 140721504728704 140242563947536 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28781] ppid=28773 vsize=10663980 memory=2811011 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28781/stat : 28781 (java) S 28773 28776 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415087330 10919915520 18972 33554432000 4194304 4196468 140721504728704 140242562894736 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28782] ppid=28773 vsize=10663980 memory=2812297 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28782/stat : 28782 (java) S 28773 28776 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415087330 10919915520 18972 33554432000 4194304 4196468 140721504728704 140242561841936 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28783] ppid=28773 vsize=10663980 memory=-1161699032756226647 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28783/stat : 28783 (java) S 28773 28776 26121 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 415087332 10919915520 18972 33554432000 4194304 4196468 140721504728704 140242171537776 140242612390530 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
################
# More data... #
################
[startup+52.8008 s]
/proc/loadavg: 1.92 1.81 1.74 3/230 28795
/proc/meminfo: memFree=28095408/32770624 swapFree=66918708/67108860
[pid=28776] ppid=28773 vsize=10748324 memory=1876372 CPUtime=67.53 cores=0,2,4,6
/proc/28776/stat : 28776 (java) S 28773 28776 26121 0 -1 1077944320 68526 0 0 0 6559 194 0 0 20 0 16 0 415087329 11006283776 469093 33554432000 4194304 4196468 140721504728704 140721504711248 140242612379383 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
/proc/28776/statm: 2687081 469093 3389 1 0 2647217 0
[pid=28776/tid=28778] ppid=28773 vsize=10748324 memory=800 CPUtime=1.86 cores=0,2,4,6
/proc/28776/task/28778/stat : 28778 (java) S 28773 28776 26121 0 -1 1077944384 15358 0 0 0 180 6 0 0 20 0 16 0 415087329 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242616622256 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28779] ppid=28773 vsize=10748324 memory=1876372 CPUtime=2.19 cores=0,2,4,6
/proc/28776/task/28779/stat : 28779 (java) S 28773 28776 26121 0 -1 1077944384 858 0 0 0 178 41 0 0 20 0 16 0 415087330 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242565000336 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28780] ppid=28773 vsize=10748324 memory=916 CPUtime=2.17 cores=0,2,4,6
/proc/28776/task/28780/stat : 28780 (java) S 28773 28776 26121 0 -1 1077944384 1156 0 0 0 174 43 0 0 20 0 16 0 415087330 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242563947536 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28781] ppid=28773 vsize=10748324 memory=1560 CPUtime=2.19 cores=0,2,4,6
/proc/28776/task/28781/stat : 28781 (java) S 28773 28776 26121 0 -1 1077944384 1127 0 0 0 177 42 0 0 20 0 16 0 415087330 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242562894736 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28782] ppid=28773 vsize=10748324 memory=932 CPUtime=2.16 cores=0,2,4,6
/proc/28776/task/28782/stat : 28782 (java) S 28773 28776 26121 0 -1 1077944384 1032 0 0 0 174 42 0 0 20 0 16 0 415087330 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242561841936 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28783] ppid=28773 vsize=10748324 memory=1492 CPUtime=0.13 cores=0,2,4,6
/proc/28776/task/28783/stat : 28783 (java) S 28773 28776 26121 0 -1 1077944384 2954 0 0 0 13 0 0 0 20 0 16 0 415087332 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242171537776 140242612390530 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28784] ppid=28773 vsize=10748324 memory=864 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28784/stat : 28784 (java) S 28773 28776 26121 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 415087332 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242170483808 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28785] ppid=28773 vsize=10748324 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28785/stat : 28785 (java) S 28773 28776 26121 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415087332 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242169430912 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28786] ppid=28773 vsize=10748324 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28786/stat : 28786 (java) S 28773 28776 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415087335 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242168379216 140242612397979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28787] ppid=28773 vsize=10748324 memory=1876372 CPUtime=3.41 cores=0,2,4,6
/proc/28776/task/28787/stat : 28787 (java) S 28773 28776 26121 0 -1 1077944384 12212 0 0 0 339 2 0 0 20 0 16 0 415087335 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242167327600 140242612390530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28788] ppid=28773 vsize=10748324 memory=1876372 CPUtime=3.49 cores=0,2,4,6
/proc/28776/task/28788/stat : 28788 (java) S 28773 28776 26121 0 -1 1077944384 10404 0 0 0 347 2 0 0 20 0 16 0 415087335 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242166274800 140242612390530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28789] ppid=28773 vsize=10748324 memory=2012 CPUtime=1.27 cores=0,2,4,6
/proc/28776/task/28789/stat : 28789 (java) S 28773 28776 26121 0 -1 1077944384 11025 0 0 0 125 2 0 0 20 0 16 0 415087335 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242165222000 140242612390530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28790] ppid=28773 vsize=10748324 memory=1324 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28790/stat : 28790 (java) S 28773 28776 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415087335 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242164169440 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28791] ppid=28773 vsize=10748324 memory=1704 CPUtime=0.02 cores=0,2,4,6
/proc/28776/task/28791/stat : 28791 (java) S 28773 28776 26121 0 -1 1077944384 219 0 0 0 1 1 0 0 20 0 16 0 415087335 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242163116720 140242612390530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28792] ppid=28773 vsize=10748324 memory=1876372 CPUtime=48.53 cores=0,2,4,6
/proc/28776/task/28792/stat : 28792 (java) R 28773 28776 26121 0 -1 4202560 10786 0 0 0 4845 8 0 0 20 0 16 0 415087518 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242159557336 140242249756628 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
Current children cumulated CPU time: 67.53 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1876372 KiB
[startup+53.6008 s]
/proc/loadavg: 1.92 1.81 1.74 3/230 28795
/proc/meminfo: memFree=28095408/32770624 swapFree=66918708/67108860
[pid=28776] ppid=28773 vsize=10748324 memory=1876372 CPUtime=68.33 cores=0,2,4,6
/proc/28776/stat : 28776 (java) S 28773 28776 26121 0 -1 1077944320 68659 0 0 0 6639 194 0 0 20 0 16 0 415087329 11006283776 469093 33554432000 4194304 4196468 140721504728704 140721504711248 140242612379383 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
/proc/28776/statm: 2687081 469093 3389 1 0 2647217 0
[pid=28776/tid=28778] ppid=28773 vsize=10748324 memory=0 CPUtime=1.86 cores=0,2,4,6
/proc/28776/task/28778/stat : 28778 (java) S 28773 28776 26121 0 -1 1077944384 15358 0 0 0 180 6 0 0 20 0 16 0 415087329 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242616622256 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28779] ppid=28773 vsize=10748324 memory=15622 CPUtime=2.19 cores=0,2,4,6
/proc/28776/task/28779/stat : 28779 (java) S 28773 28776 26121 0 -1 1077944384 858 0 0 0 178 41 0 0 20 0 16 0 415087330 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242565000336 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28780] ppid=28773 vsize=10748324 memory=6791534058613427641 CPUtime=2.17 cores=0,2,4,6
/proc/28776/task/28780/stat : 28780 (java) S 28773 28776 26121 0 -1 1077944384 1156 0 0 0 174 43 0 0 20 0 16 0 415087330 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242563947536 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28781] ppid=28773 vsize=10748324 memory=528 CPUtime=2.19 cores=0,2,4,6
/proc/28776/task/28781/stat : 28781 (java) S 28773 28776 26121 0 -1 1077944384 1127 0 0 0 177 42 0 0 20 0 16 0 415087330 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242562894736 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28782] ppid=28773 vsize=10748324 memory=1560 CPUtime=2.16 cores=0,2,4,6
/proc/28776/task/28782/stat : 28782 (java) S 28773 28776 26121 0 -1 1077944384 1032 0 0 0 174 42 0 0 20 0 16 0 415087330 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242561841936 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28783] ppid=28773 vsize=10748324 memory=932 CPUtime=0.13 cores=0,2,4,6
/proc/28776/task/28783/stat : 28783 (java) S 28773 28776 26121 0 -1 1077944384 2954 0 0 0 13 0 0 0 20 0 16 0 415087332 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242171537776 140242612390530 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28784] ppid=28773 vsize=10748324 memory=1000 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28784/stat : 28784 (java) S 28773 28776 26121 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 415087332 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242170483808 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28785] ppid=28773 vsize=10748324 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28785/stat : 28785 (java) S 28773 28776 26121 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415087332 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242169430912 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28786] ppid=28773 vsize=10748324 memory=1172 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28786/stat : 28786 (java) S 28773 28776 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415087335 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242168379216 140242612397979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28787] ppid=28773 vsize=10748324 memory=14008 CPUtime=3.41 cores=0,2,4,6
/proc/28776/task/28787/stat : 28787 (java) S 28773 28776 26121 0 -1 1077944384 12212 0 0 0 339 2 0 0 20 0 16 0 415087335 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242167327600 140242612390530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28788] ppid=28773 vsize=10748324 memory=14072 CPUtime=3.49 cores=0,2,4,6
/proc/28776/task/28788/stat : 28788 (java) S 28773 28776 26121 0 -1 1077944384 10404 0 0 0 347 2 0 0 20 0 16 0 415087335 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242166274800 140242612390530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28789] ppid=28773 vsize=10748324 memory=3616 CPUtime=1.27 cores=0,2,4,6
/proc/28776/task/28789/stat : 28789 (java) S 28773 28776 26121 0 -1 1077944384 11025 0 0 0 125 2 0 0 20 0 16 0 415087335 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242165222000 140242612390530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28790] ppid=28773 vsize=10748324 memory=21504 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28790/stat : 28790 (java) S 28773 28776 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415087335 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242164169440 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28791] ppid=28773 vsize=10748324 memory=988 CPUtime=0.02 cores=0,2,4,6
/proc/28776/task/28791/stat : 28791 (java) S 28773 28776 26121 0 -1 1077944384 219 0 0 0 1 1 0 0 20 0 16 0 415087335 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242163116720 140242612390530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28792] ppid=28773 vsize=10748324 memory=2012 CPUtime=49.33 cores=0,2,4,6
/proc/28776/task/28792/stat : 28792 (java) R 28773 28776 26121 0 -1 4202560 10919 0 0 0 4925 8 0 0 20 0 16 0 415087518 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242159557336 140242253003308 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
Current children cumulated CPU time: 68.33 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1876372 KiB
[startup+54.4008 s]
/proc/loadavg: 1.92 1.81 1.74 3/230 28795
/proc/meminfo: memFree=28095408/32770624 swapFree=66918708/67108860
[pid=28776] ppid=28773 vsize=10748324 memory=1876372 CPUtime=69.14 cores=0,2,4,6
/proc/28776/stat : 28776 (java) S 28773 28776 26121 0 -1 1077944320 68665 0 0 0 6720 194 0 0 20 0 16 0 415087329 11006283776 469093 33554432000 4194304 4196468 140721504728704 140721504711248 140242612379383 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
/proc/28776/statm: 2687081 469093 3389 1 0 2647217 0
[pid=28776/tid=28778] ppid=28773 vsize=10748324 memory=1876372 CPUtime=1.86 cores=0,2,4,6
/proc/28776/task/28778/stat : 28778 (java) S 28773 28776 26121 0 -1 1077944384 15358 0 0 0 180 6 0 0 20 0 16 0 415087329 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242616622256 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28779] ppid=28773 vsize=10748324 memory=6791534058613427641 CPUtime=2.19 cores=0,2,4,6
/proc/28776/task/28779/stat : 28779 (java) S 28773 28776 26121 0 -1 1077944384 858 0 0 0 178 41 0 0 20 0 16 0 415087330 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242565000336 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28780] ppid=28773 vsize=10748324 memory=1704 CPUtime=2.17 cores=0,2,4,6
/proc/28776/task/28780/stat : 28780 (java) S 28773 28776 26121 0 -1 1077944384 1156 0 0 0 174 43 0 0 20 0 16 0 415087330 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242563947536 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28781] ppid=28773 vsize=10748324 memory=5936 CPUtime=2.19 cores=0,2,4,6
/proc/28776/task/28781/stat : 28781 (java) S 28773 28776 26121 0 -1 1077944384 1127 0 0 0 177 42 0 0 20 0 16 0 415087330 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242562894736 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28782] ppid=28773 vsize=10748324 memory=588 CPUtime=2.16 cores=0,2,4,6
/proc/28776/task/28782/stat : 28782 (java) S 28773 28776 26121 0 -1 1077944384 1032 0 0 0 174 42 0 0 20 0 16 0 415087330 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242561841936 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28783] ppid=28773 vsize=10748324 memory=1876372 CPUtime=0.13 cores=0,2,4,6
/proc/28776/task/28783/stat : 28783 (java) S 28773 28776 26121 0 -1 1077944384 2954 0 0 0 13 0 0 0 20 0 16 0 415087332 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242171537776 140242612390530 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28784] ppid=28773 vsize=10748324 memory=11 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28784/stat : 28784 (java) S 28773 28776 26121 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 415087332 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242170483808 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28785] ppid=28773 vsize=10748324 memory=150 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28785/stat : 28785 (java) S 28773 28776 26121 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415087332 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242169430912 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28786] ppid=28773 vsize=10748324 memory=13 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28786/stat : 28786 (java) S 28773 28776 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415087335 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242168379216 140242612397979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28787] ppid=28773 vsize=10748324 memory=780 CPUtime=3.41 cores=0,2,4,6
/proc/28776/task/28787/stat : 28787 (java) S 28773 28776 26121 0 -1 1077944384 12212 0 0 0 339 2 0 0 20 0 16 0 415087335 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242167327600 140242612390530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28788] ppid=28773 vsize=10748324 memory=1056 CPUtime=3.49 cores=0,2,4,6
/proc/28776/task/28788/stat : 28788 (java) S 28773 28776 26121 0 -1 1077944384 10404 0 0 0 347 2 0 0 20 0 16 0 415087335 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242166274800 140242612390530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28789] ppid=28773 vsize=10748324 memory=11464 CPUtime=1.27 cores=0,2,4,6
/proc/28776/task/28789/stat : 28789 (java) S 28773 28776 26121 0 -1 1077944384 11025 0 0 0 125 2 0 0 20 0 16 0 415087335 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242165222000 140242612390530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28790] ppid=28773 vsize=10748324 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28790/stat : 28790 (java) S 28773 28776 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415087335 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242164169440 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28791] ppid=28773 vsize=10748324 memory=2828 CPUtime=0.02 cores=0,2,4,6
/proc/28776/task/28791/stat : 28791 (java) S 28773 28776 26121 0 -1 1077944384 219 0 0 0 1 1 0 0 20 0 16 0 415087335 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242163116720 140242612390530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28792] ppid=28773 vsize=10748324 memory=1000 CPUtime=50.13 cores=0,2,4,6
/proc/28776/task/28792/stat : 28792 (java) R 28773 28776 26121 0 -1 4202560 10925 0 0 0 5005 8 0 0 20 0 16 0 415087518 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242159557336 140242250034506 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
Current children cumulated CPU time: 69.14 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1876372 KiB
[startup+54.6008 s]
/proc/loadavg: 1.92 1.81 1.74 3/230 28795
/proc/meminfo: memFree=28095408/32770624 swapFree=66918708/67108860
[pid=28776] ppid=28773 vsize=10748324 memory=1876372 CPUtime=69.34 cores=0,2,4,6
/proc/28776/stat : 28776 (java) S 28773 28776 26121 0 -1 1077944320 68665 0 0 0 6740 194 0 0 20 0 16 0 415087329 11006283776 469093 33554432000 4194304 4196468 140721504728704 140721504711248 140242612379383 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
/proc/28776/statm: 2687081 469093 3389 1 0 2647217 0
[pid=28776/tid=28778] ppid=28773 vsize=10748324 memory=1172 CPUtime=1.86 cores=0,2,4,6
/proc/28776/task/28778/stat : 28778 (java) S 28773 28776 26121 0 -1 1077944384 15358 0 0 0 180 6 0 0 20 0 16 0 415087329 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242616622256 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28779] ppid=28773 vsize=10748324 memory=14008 CPUtime=2.19 cores=0,2,4,6
/proc/28776/task/28779/stat : 28779 (java) S 28773 28776 26121 0 -1 1077944384 858 0 0 0 178 41 0 0 20 0 16 0 415087330 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242565000336 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28780] ppid=28773 vsize=10748324 memory=14072 CPUtime=2.17 cores=0,2,4,6
/proc/28776/task/28780/stat : 28780 (java) S 28773 28776 26121 0 -1 1077944384 1156 0 0 0 174 43 0 0 20 0 16 0 415087330 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242563947536 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28781] ppid=28773 vsize=10748324 memory=2116 CPUtime=2.19 cores=0,2,4,6
/proc/28776/task/28781/stat : 28781 (java) S 28773 28776 26121 0 -1 1077944384 1127 0 0 0 177 42 0 0 20 0 16 0 415087330 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242562894736 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28782] ppid=28773 vsize=10748324 memory=8252 CPUtime=2.16 cores=0,2,4,6
/proc/28776/task/28782/stat : 28782 (java) S 28773 28776 26121 0 -1 1077944384 1032 0 0 0 174 42 0 0 20 0 16 0 415087330 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242561841936 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28783] ppid=28773 vsize=10748324 memory=3616 CPUtime=0.13 cores=0,2,4,6
/proc/28776/task/28783/stat : 28783 (java) S 28773 28776 26121 0 -1 1077944384 2954 0 0 0 13 0 0 0 20 0 16 0 415087332 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242171537776 140242612390530 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28784] ppid=28773 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28784/stat : 28784 (java) S 28773 28776 26121 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 415087332 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242170483808 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28785] ppid=28773 vsize=10748324 memory=279653642485380 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28785/stat : 28785 (java) S 28773 28776 26121 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415087332 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242169430912 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28786] ppid=28773 vsize=10748324 memory=279653642663488 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28786/stat : 28786 (java) S 28773 28776 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415087335 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242168379216 140242612397979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28787] ppid=28773 vsize=10748324 memory=2110177428348724 CPUtime=3.41 cores=0,2,4,6
/proc/28776/task/28787/stat : 28787 (java) S 28773 28776 26121 0 -1 1077944384 12212 0 0 0 339 2 0 0 20 0 16 0 415087335 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242167327600 140242612390530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28788] ppid=28773 vsize=10748324 memory=0 CPUtime=3.49 cores=0,2,4,6
/proc/28776/task/28788/stat : 28788 (java) S 28773 28776 26121 0 -1 1077944384 10404 0 0 0 347 2 0 0 20 0 16 0 415087335 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242166274800 140242612390530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28789] ppid=28773 vsize=10748324 memory=6944656575208382560 CPUtime=1.27 cores=0,2,4,6
/proc/28776/task/28789/stat : 28789 (java) S 28773 28776 26121 0 -1 1077944384 11025 0 0 0 125 2 0 0 20 0 16 0 415087335 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242165222000 140242612390530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28790] ppid=28773 vsize=10748324 memory=1876372 CPUtime=0 cores=0,2,4,6
/proc/28776/task/28790/stat : 28790 (java) S 28773 28776 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415087335 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242164169440 140242612389589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28791] ppid=28773 vsize=10748324 memory=1876372 CPUtime=0.02 cores=0,2,4,6
/proc/28776/task/28791/stat : 28791 (java) S 28773 28776 26121 0 -1 1077944384 219 0 0 0 1 1 0 0 20 0 16 0 415087335 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242163116720 140242612390530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
[pid=28776/tid=28792] ppid=28773 vsize=10748324 memory=7682744562830902074 CPUtime=50.33 cores=0,2,4,6
/proc/28776/task/28792/stat : 28792 (java) R 28773 28776 26121 0 -1 4202560 10925 0 0 0 5025 8 0 0 20 0 16 0 415087518 11006283776 469093 33554432000 4194304 4196468 140721504728704 140242159557336 140242245788322 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140721504736267 140721504736370 140721504736370 140721504739279 0
Current children cumulated CPU time: 69.34 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1876372 KiB
Child status: 0
Real time (s): 54.659
CPU time (s): 69.4066
CPU user time (s): 67.4505
CPU system time (s): 1.9561
CPU usage (%): 126.981
Max. virtual memory (cumulated for all children) (KiB): 10748428
Max. memory (cumulated for all children) (KiB): 1876372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 67.4505
system time used= 1.9561
maximum resident set size= 1876552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69824
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= 5333
involuntary context switches= 192
# summary of solver processes directly reported to runsolver:
# pid: 28776
# total CPU time (s): 69.4066
# total CPU user time (s): 67.4505
# total CPU system time (s): 1.9561
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.334869 second user time and 0.606041 second system time
The end