2.42/1.88
2.42/1.88 AbsCon 2
2.42/1.90
3.66/2.28 Instance
3.66/2.28 name=instance-4391345-1568389770, framework=COP, bounds=-infty..+infty
3.66/2.28
3.66/2.28 Loading variables...
4.36/2.41 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b8d7a02
6.71/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@772d1736
6.71/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9ed1062
6.71/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40bef710
6.71/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@193c8035
6.71/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f325675
6.71/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45ac8fbb
6.71/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79c217bc
6.71/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46fde25
6.71/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a45fb61
6.71/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f82f8a0
6.71/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52c8fc93
6.71/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b46bdc8
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55b8236f
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@306b6bd9
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f8a24bc
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b78dbe
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48917d34
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@576bbf63
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6262a828
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10a3422b
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e885b77
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55edd363
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44fafb3
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ba6ec87
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ac46fd5
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cc221ac
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d076770
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15751e4
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@434a07ef
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a5afd19
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a19fd6f
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c412314
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f49e51d
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e2fe3a6
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30936016
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73130204
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38e9fd48
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@160d7e8f
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fd179d7
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@556791c5
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7be29d5
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d34adf3
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77766e27
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1caacda4
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5962714e
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a309ff8
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64bbb2d2
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47b75af7
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1aac8ce6
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28136f6a
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31c208b2
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@208bfcfc
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@759efc80
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c05b1d3
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d1fd57f
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@690c5424
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f0e919b
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b9f3058
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@481a941
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39107d18
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c5dbe38
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61d9fd1b
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bf32056
6.71/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@536ffaae
6.71/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c85db69
6.71/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a101c22
6.71/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53ea489a
6.71/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e66cf84
6.71/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ab0d610
6.71/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f932838
6.71/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@778f6d74
6.71/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18de1f10
6.71/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@605dff9
6.71/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31aefb25
6.71/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c4c50ef
6.71/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@610a2a98
6.71/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e5cd85a
6.71/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15a6de11
6.71/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@241c8f2f
6.71/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@613103c7
6.71/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d35afab
6.71/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@668be61b
6.71/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a792aa9
6.71/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53cef597
6.71/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f3f3f9
7.02/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b1fdb48
7.34/3.39
7.34/3.39
7.34/3.39 Domains
7.34/3.39 nTypes=175, nValues=19490, sizes=[2#3917,3#2,4#1,5#2...169#1,171#1,173#1,175#1]
7.34/3.39 Variables
7.34/3.39 count=4090, degrees=[2#4002,87#88]
7.34/3.39 Objectives
7.34/3.39 way=min, type=SumSimpleLE
7.34/3.39 Constraints
7.34/3.39 count=4003, nSpecific=88, arities=[2#88,3#3829,4#1,5#1...85#1,86#1,87#2,88#1]
7.34/3.39 distribution=[CtrIntension#3915,SumSimpleLE#1,SumWeightedEQ#87]
7.34/3.39 nIntStructures=(88,shared:3827), nCftStructures=(88,shared:3827,unbuilt:88)
7.34/3.39 wck=1.537, cpu=3.318, mem=30M823
7.67/3.41 Solver SolverBacktrack being built...
7.67/3.41
7.67/3.47
7.67/3.47 Solver
7.67/3.47 guaranteedGAC=false
7.67/3.47 wck=1.62, cpu=3.4, mem=110M277
7.91/3.58
7.91/3.58 Preprocessing
7.91/3.58 filters=0, ccks=458179, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
7.91/3.58 wck=0.112, cpu=3.514, mem=110M277
7.91/3.58
8.71/3.81 o 223300
8.71/3.83 num=0, depth=4091..4089, filters=9592, revisions=(15399,useless=9635), ccks=924094, wck=0.355, mem=115M507
8.71/3.83 decisions=88, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=223300
8.71/3.83
9.34/4.04 o 208336
9.34/4.04 num=1, depth=0..4089, filters=19114, revisions=(30928,useless=19428), ccks=1046286, wck=0.572, mem=118M122
9.34/4.04 decisions=178, wrong=1, backtracks=0, failedAssignments=1, foundSolutions=2, bestBound=208336
9.34/4.04
9.77/4.21 o 194060
9.77/4.22 num=2, depth=87..4089, filters=28821, revisions=(46849,useless=29470), ccks=1172588, wck=0.744, mem=120M737
9.77/4.22 decisions=267, wrong=2, backtracks=0, failedAssignments=2, nogoods=1, foundSolutions=3, bestBound=194060
9.77/4.22
10.07/4.39 o 36208
10.07/4.39 num=3, depth=47..4089, filters=38248, revisions=(68393,useless=45283), ccks=1201922, wck=0.922, mem=123M351
10.07/4.39 decisions=319, wrong=4, backtracks=0, failedAssignments=4, nogoods=3, foundSolutions=4, bestBound=36208
10.07/4.39
10.43/4.53 o 33656
10.43/4.54 num=4, depth=4091..4089, filters=45205, revisions=(86535,useless=59427), ccks=1231684, wck=1.067, mem=125M966
10.43/4.54 decisions=368, wrong=4, backtracks=0, failedAssignments=4, nogoods=3, foundSolutions=5, bestBound=33656
10.43/4.54
10.71/4.73 num=5, depth=48..89, filters=63490, revisions=(115674,useless=77289), ccks=1408788, wck=1.257, mem=125M966
10.71/4.73 decisions=486, wrong=22, backtracks=13, failedAssignments=15, nogoods=7, foundSolutions=5, bestBound=33656
10.71/4.73
10.71/4.79 o 24932
10.71/4.80 num=6, depth=79..4089, filters=71905, revisions=(144220,useless=100460), ccks=1548645, wck=1.324, mem=128M617
10.71/4.80 decisions=582, wrong=29, backtracks=16, failedAssignments=21, nogoods=11, foundSolutions=6, bestBound=24932
10.71/4.80
10.93/4.96 o 16092
10.93/4.96 num=7, depth=79..4089, filters=79399, revisions=(169935,useless=121326), ccks=1723973, wck=1.489, mem=131M231
10.93/4.96 decisions=666, wrong=31, backtracks=16, failedAssignments=23, nogoods=13, foundSolutions=7, bestBound=16092
10.93/4.96
11.19/5.12 num=8, depth=78..84, filters=92087, revisions=(193729,useless=136087), ccks=1942921, wck=1.649, mem=131M231
11.19/5.12 decisions=782, wrong=48, backtracks=24, failedAssignments=34, nogoods=17, foundSolutions=7, bestBound=16092
11.19/5.12
11.28/5.20 o 4376
11.28/5.21 num=9, depth=72..4089, filters=104875, revisions=(225227,useless=159863), ccks=2112453, wck=1.736, mem=133M952
11.28/5.21 decisions=864, wrong=51, backtracks=24, failedAssignments=37, nogoods=20, foundSolutions=8, bestBound=4376
11.28/5.21
11.48/5.41 num=10, depth=72..78, filters=128737, revisions=(261156,useless=181062), ccks=2336723, wck=1.937, mem=133M952
11.48/5.41 decisions=969, wrong=67, backtracks=35, failedAssignments=49, nogoods=25, foundSolutions=8, bestBound=4376
11.48/5.41
11.58/5.54 num=11, depth=75..82, filters=160688, revisions=(304960,useless=206091), ccks=2535125, wck=2.065, mem=133M952
11.58/5.54 decisions=1075, wrong=81, backtracks=39, failedAssignments=60, nogoods=35, foundSolutions=8, bestBound=4376
11.58/5.54
11.71/5.64 num=12, depth=80..85, filters=179753, revisions=(336830,useless=225278), ccks=2769171, wck=2.165, mem=136M567
11.71/5.64 decisions=1196, wrong=101, backtracks=49, failedAssignments=72, nogoods=41, foundSolutions=8, bestBound=4376
11.71/5.64
11.81/5.73 num=13, depth=79..85, filters=199858, revisions=(367408,useless=242502), ccks=3015524, wck=2.26, mem=136M567
11.81/5.73 decisions=1315, wrong=121, backtracks=62, failedAssignments=85, nogoods=42, foundSolutions=8, bestBound=4376
11.81/5.73
11.81/5.80 num=14, depth=79..90, filters=210527, revisions=(387159,useless=254587), ccks=3217800, wck=2.325, mem=136M567
11.81/5.80 decisions=1440, wrong=140, backtracks=67, failedAssignments=99, nogoods=51, foundSolutions=8, bestBound=4376
11.81/5.80
11.91/5.86 num=15, depth=78..87, filters=222354, revisions=(409037,useless=267830), ccks=3426798, wck=2.394, mem=136M567
11.91/5.86 decisions=1570, wrong=162, backtracks=75, failedAssignments=115, nogoods=56, foundSolutions=8, bestBound=4376
11.91/5.86
12.05/5.93 num=16, depth=82..87, filters=233059, revisions=(428917,useless=280064), ccks=3621304, wck=2.462, mem=136M567
12.05/5.93 decisions=1701, wrong=186, backtracks=84, failedAssignments=132, nogoods=58, foundSolutions=8, bestBound=4376
12.05/5.93
12.05/6.01 num=17, depth=83..92, filters=245609, revisions=(451126,useless=293092), ccks=3811412, wck=2.534, mem=136M567
12.05/6.01 decisions=1845, wrong=216, backtracks=95, failedAssignments=151, nogoods=63, foundSolutions=8, bestBound=4376
12.05/6.01
12.17/6.09 num=18, depth=83..91, filters=259722, revisions=(475409,useless=306969), ccks=4021953, wck=2.62, mem=136M567
12.17/6.09 decisions=1987, wrong=242, backtracks=100, failedAssignments=172, nogoods=80, foundSolutions=8, bestBound=4376
12.17/6.09
12.29/6.18 o 3660
12.29/6.18 num=19, depth=76..4089, filters=276739, revisions=(511222,useless=330184), ccks=4241679, wck=2.712, mem=139M182
12.29/6.18 decisions=2102, wrong=260, backtracks=112, failedAssignments=181, nogoods=81, foundSolutions=9, bestBound=3660
12.29/6.18
12.49/6.36 num=20, depth=85..92, filters=295617, revisions=(541115,useless=346080), ccks=4471014, wck=2.889, mem=139M182
12.49/6.36 decisions=2271, wrong=300, backtracks=128, failedAssignments=206, nogoods=89, foundSolutions=9, bestBound=3660
12.49/6.36
12.65/6.44 o 3472
12.65/6.44 num=21, depth=79..4089, filters=304012, revisions=(564350,useless=363552), ccks=4637587, wck=2.973, mem=141M796
12.65/6.44 decisions=2357, wrong=302, backtracks=128, failedAssignments=208, nogoods=91, foundSolutions=10, bestBound=3472
12.65/6.44
12.88/6.60 num=22, depth=85..90, filters=316353, revisions=(586018,useless=376238), ccks=4810432, wck=3.129, mem=144M411
12.88/6.60 decisions=2477, wrong=319, backtracks=134, failedAssignments=220, nogoods=98, foundSolutions=10, bestBound=3472
12.88/6.60
12.88/6.66 num=23, depth=84..88, filters=328165, revisions=(606785,useless=388655), ccks=4981010, wck=3.194, mem=144M411
12.88/6.66 decisions=2594, wrong=335, backtracks=139, failedAssignments=231, nogoods=106, foundSolutions=10, bestBound=3472
12.88/6.66
12.98/6.73 num=24, depth=82..86, filters=341708, revisions=(630567,useless=402413), ccks=5151034, wck=3.26, mem=144M411
12.98/6.73 decisions=2715, wrong=354, backtracks=147, failedAssignments=243, nogoods=108, foundSolutions=10, bestBound=3472
12.98/6.73
12.98/6.80 num=25, depth=82..89, filters=354118, revisions=(653328,useless=415942), ccks=5328323, wck=3.324, mem=144M411
12.98/6.80 decisions=2837, wrong=373, backtracks=154, failedAssignments=256, nogoods=111, foundSolutions=10, bestBound=3472
12.98/6.80
13.09/6.87 num=26, depth=81..86, filters=369433, revisions=(679653,useless=431114), ccks=5508472, wck=3.396, mem=144M411
13.09/6.87 decisions=2960, wrong=394, backtracks=163, failedAssignments=270, nogoods=113, foundSolutions=10, bestBound=3472
13.09/6.87
13.19/6.96 num=27, depth=79..84, filters=388624, revisions=(712964,useless=449984), ccks=5746474, wck=3.486, mem=144M411
13.19/6.96 decisions=3091, wrong=420, backtracks=176, failedAssignments=286, nogoods=115, foundSolutions=10, bestBound=3472
13.19/6.96
13.30/7.04 num=28, depth=78..85, filters=407201, revisions=(744298,useless=467659), ccks=5979684, wck=3.573, mem=144M411
13.30/7.04 decisions=3225, wrong=447, backtracks=188, failedAssignments=303, nogoods=118, foundSolutions=10, bestBound=3472
13.30/7.04
13.40/7.13 num=29, depth=80..87, filters=427950, revisions=(777231,useless=485248), ccks=6201273, wck=3.664, mem=147M26
13.40/7.13 decisions=3369, wrong=479, backtracks=204, failedAssignments=322, nogoods=119, foundSolutions=10, bestBound=3472
13.40/7.13
13.49/7.21 num=30, depth=82..86, filters=443708, revisions=(803886,useless=500481), ccks=6375361, wck=3.738, mem=147M26
13.49/7.21 decisions=3512, wrong=509, backtracks=218, failedAssignments=343, nogoods=129, foundSolutions=10, bestBound=3472
13.49/7.21
13.59/7.34 num=31, depth=73..81, filters=478897, revisions=(858550,useless=528462), ccks=6659895, wck=3.87, mem=147M26
13.59/7.34 decisions=3689, wrong=560, backtracks=257, failedAssignments=366, nogoods=134, foundSolutions=10, bestBound=3472
13.59/7.34
13.69/7.41 num=32, depth=85..91, filters=492824, revisions=(880759,useless=540594), ccks=6856299, wck=3.942, mem=147M26
13.69/7.41 decisions=3842, wrong=592, backtracks=265, failedAssignments=391, nogoods=143, foundSolutions=10, bestBound=3472
13.69/7.41
13.79/7.50 num=33, depth=80..93, filters=513164, revisions=(911144,useless=555955), ccks=7044060, wck=4.03, mem=147M26
13.79/7.50 decisions=4010, wrong=633, backtracks=282, failedAssignments=419, nogoods=155, foundSolutions=10, bestBound=3472
13.79/7.50
13.79/7.58 num=34, depth=84..91, filters=529412, revisions=(936103,useless=568894), ccks=7217964, wck=4.105, mem=147M26
13.79/7.58 decisions=4189, wrong=679, backtracks=299, failedAssignments=450, nogoods=159, foundSolutions=10, bestBound=3472
13.79/7.58
14.17/7.80 num=35, depth=77..83, filters=575245, revisions=(998305,useless=597230), ccks=7607181, wck=4.331, mem=149M640
14.17/7.80 decisions=4405, wrong=747, backtracks=346, failedAssignments=484, nogoods=163, foundSolutions=10, bestBound=3472
14.17/7.80
14.17/7.88 num=36, depth=83..91, filters=593367, revisions=(1026191,useless=611238), ccks=7790162, wck=4.409, mem=149M640
14.17/7.88 decisions=4603, wrong=803, backtracks=366, failedAssignments=521, nogoods=167, foundSolutions=10, bestBound=3472
14.17/7.88
14.28/7.97 num=37, depth=76..87, filters=609916, revisions=(1051531,useless=625146), ccks=8023277, wck=4.501, mem=149M640
14.28/7.97 decisions=4791, wrong=858, backtracks=410, failedAssignments=562, nogoods=170, foundSolutions=10, bestBound=3472
14.28/7.97
14.39/8.08 num=38, depth=80..88, filters=637007, revisions=(1094445,useless=646717), ccks=8259355, wck=4.604, mem=149M640
14.39/8.08 decisions=5011, wrong=926, backtracks=440, failedAssignments=607, nogoods=175, foundSolutions=10, bestBound=3472
14.39/8.08
14.58/8.21 num=39, depth=80..87, filters=676292, revisions=(1153560,useless=675788), ccks=8529044, wck=4.74, mem=152M255
14.58/8.21 decisions=5265, wrong=1012, backtracks=483, failedAssignments=657, nogoods=184, foundSolutions=10, bestBound=3472
14.58/8.21
14.68/8.34 num=40, depth=80..87, filters=708280, revisions=(1202667,useless=701001), ccks=8798759, wck=4.87, mem=152M255
14.68/8.34 decisions=5507, wrong=1092, backtracks=524, failedAssignments=712, nogoods=193, foundSolutions=10, bestBound=3472
14.68/8.34
14.78/8.46 num=41, depth=26..92, filters=738444, revisions=(1247909,useless=723651), ccks=9063109, wck=4.988, mem=152M255
14.78/8.46 decisions=5777, wrong=1186, backtracks=567, failedAssignments=773, nogoods=199, foundSolutions=10, bestBound=3472
14.78/8.46
14.98/8.65 num=42, depth=46..89, filters=789368, revisions=(1325156,useless=761572), ccks=9528274, wck=5.182, mem=154M870
14.98/8.65 decisions=6098, wrong=1307, backtracks=636, failedAssignments=840, nogoods=207, foundSolutions=10, bestBound=3472
14.98/8.65
15.08/8.79 num=43, depth=82..89, filters=825272, revisions=(1374941,useless=783867), ccks=9803906, wck=5.317, mem=154M870
15.08/8.79 decisions=6405, wrong=1419, backtracks=681, failedAssignments=914, nogoods=213, foundSolutions=10, bestBound=3472
15.08/8.79
15.28/8.94 num=44, depth=67..80, filters=849910, revisions=(1414510,useless=806463), ccks=10252917, wck=5.466, mem=154M870
15.28/8.94 decisions=6713, wrong=1538, backtracks=777, failedAssignments=995, nogoods=218, foundSolutions=10, bestBound=3472
15.28/8.94
15.54/9.16 num=45, depth=79..87, filters=890727, revisions=(1484346,useless=844099), ccks=10664883, wck=5.689, mem=109M684
15.54/9.16 decisions=7058, wrong=1670, backtracks=837, failedAssignments=1084, nogoods=226, foundSolutions=10, bestBound=3472
15.54/9.16
15.94/9.48 num=46, depth=79..87, filters=978450, revisions=(1608510,useless=903320), ccks=11297685, wck=6.006, mem=109M684
15.94/9.48 decisions=7451, wrong=1825, backtracks=921, failedAssignments=1182, nogoods=231, foundSolutions=10, bestBound=3472
15.94/9.48
16.24/9.73 num=47, depth=37..86, filters=1034917, revisions=(1737155,useless=980230), ccks=11553130, wck=6.26, mem=109M684
16.24/9.73 decisions=8570, wrong=2350, backtracks=1388, failedAssignments=1290, nogoods=234, foundSolutions=10, bestBound=3472
16.24/9.73
16.74/10.23 num=48, depth=75..88, filters=1147189, revisions=(1960590,useless=1110702), ccks=12417969, wck=6.762, mem=113M826
16.74/10.23 decisions=9018, wrong=2535, backtracks=1507, failedAssignments=1409, nogoods=246, foundSolutions=10, bestBound=3472
16.74/10.23
17.15/10.67 num=49, depth=75..86, filters=1259578, revisions=(2173493,useless=1229388), ccks=13268633, wck=7.201, mem=118M853
17.15/10.67 decisions=9509, wrong=2742, backtracks=1629, failedAssignments=1540, nogoods=250, foundSolutions=10, bestBound=3472
17.15/10.67
17.45/10.95 num=50, depth=72..82, filters=1348502, revisions=(2348392,useless=1323903), ccks=13617710, wck=7.481, mem=118M853
17.45/10.95 decisions=10051, wrong=2975, backtracks=1759, failedAssignments=1684, nogoods=255, foundSolutions=10, bestBound=3472
17.45/10.95
18.06/11.56 num=51, depth=75..85, filters=1515037, revisions=(2601283,useless=1448412), ccks=14821277, wck=8.086, mem=122M995
18.06/11.56 decisions=10627, wrong=3225, backtracks=1912, failedAssignments=1842, nogoods=262, foundSolutions=10, bestBound=3472
18.06/11.56
18.57/12.10 num=52, depth=76..87, filters=1675506, revisions=(2836613,useless=1559315), ccks=15776561, wck=8.626, mem=127M137
18.57/12.10 decisions=11308, wrong=3526, backtracks=2087, failedAssignments=2016, nogoods=269, foundSolutions=10, bestBound=3472
18.57/12.10
19.26/12.71 num=53, depth=78..87, filters=1862375, revisions=(3083315,useless=1667616), ccks=16814027, wck=9.239, mem=131M280
19.26/12.71 decisions=12024, wrong=3843, backtracks=2261, failedAssignments=2207, nogoods=288, foundSolutions=10, bestBound=3472
19.26/12.71
19.86/13.35 num=54, depth=72..90, filters=2052549, revisions=(3333741,useless=1776314), ccks=17836251, wck=9.878, mem=135M422
19.86/13.35 decisions=12898, wrong=4241, backtracks=2566, failedAssignments=2418, nogoods=294, foundSolutions=10, bestBound=3472
19.86/13.35
20.48/13.95 num=55, depth=77..87, filters=2237684, revisions=(3574901,useless=1875340), ccks=18868579, wck=10.479, mem=139M564
20.48/13.95 decisions=13794, wrong=4650, backtracks=2828, failedAssignments=2650, nogoods=302, foundSolutions=10, bestBound=3472
20.48/13.95
20.88/14.34 num=56, depth=78..89, filters=2365853, revisions=(3736350,useless=1936789), ccks=19535993, wck=10.873, mem=143M707
20.88/14.34 decisions=14626, wrong=5025, backtracks=3009, failedAssignments=2905, nogoods=318, foundSolutions=10, bestBound=3472
20.88/14.34
22.00/15.43 num=57, depth=66..84, filters=2658939, revisions=(4089771,useless=2067310), ccks=20923961, wck=11.956, mem=147M849
22.00/15.43 decisions=15585, wrong=5469, backtracks=3360, failedAssignments=3186, nogoods=322, foundSolutions=10, bestBound=3472
22.00/15.43
22.50/15.98 num=58, depth=74..86, filters=2853360, revisions=(4334403,useless=2145707), ccks=22039485, wck=12.514, mem=151M991
22.50/15.98 decisions=16583, wrong=5930, backtracks=3590, failedAssignments=3495, nogoods=329, foundSolutions=10, bestBound=3472
22.50/15.98
24.30/17.78 num=59, depth=60..81, filters=3261745, revisions=(4831194,useless=2323376), ccks=24035460, wck=14.308, mem=160M276
24.30/17.78 decisions=17650, wrong=6430, backtracks=3985, failedAssignments=3835, nogoods=345, foundSolutions=10, bestBound=3472
24.30/17.78
25.71/19.13 num=60, depth=67..77, filters=3613322, revisions=(5283239,useless=2469067), ccks=27303794, wck=15.655, mem=164M418
25.71/19.13 decisions=18763, wrong=6951, backtracks=4362, failedAssignments=4209, nogoods=357, foundSolutions=10, bestBound=3472
25.71/19.13
26.90/20.31 num=61, depth=63..75, filters=3959886, revisions=(5745232,useless=2619484), ccks=29755914, wck=16.835, mem=172M703
26.90/20.31 decisions=19962, wrong=7518, backtracks=4704, failedAssignments=4620, nogoods=365, foundSolutions=10, bestBound=3472
26.90/20.31
28.30/21.78 num=62, depth=62..80, filters=4335395, revisions=(6195521,useless=2773519), ccks=31868154, wck=18.311, mem=180M988
28.30/21.78 decisions=21216, wrong=8112, backtracks=5135, failedAssignments=5072, nogoods=369, foundSolutions=10, bestBound=3472
28.30/21.78
29.20/22.63 num=63, depth=63..83, filters=4504156, revisions=(6432743,useless=2883192), ccks=34398279, wck=19.164, mem=185M130
29.20/22.63 decisions=22549, wrong=8745, backtracks=5709, failedAssignments=5569, nogoods=376, foundSolutions=10, bestBound=3472
29.20/22.63
30.80/24.25 num=64, depth=66..76, filters=4874065, revisions=(6900219,useless=3035976), ccks=38237441, wck=20.777, mem=193M415
30.80/24.25 decisions=24102, wrong=9488, backtracks=6205, failedAssignments=6116, nogoods=395, foundSolutions=10, bestBound=3472
30.80/24.25
32.92/26.35 num=65, depth=67..77, filters=5323977, revisions=(7457283,useless=3217295), ccks=43825763, wck=22.875, mem=201M699
32.92/26.35 decisions=25846, wrong=10326, backtracks=6872, failedAssignments=6718, nogoods=410, foundSolutions=10, bestBound=3472
32.92/26.35
35.12/28.59 num=66, depth=64..76, filters=5885883, revisions=(8175868,useless=3444319), ccks=49226959, wck=25.124, mem=214M126
35.12/28.59 decisions=27726, wrong=11233, backtracks=7504, failedAssignments=7380, nogoods=420, foundSolutions=10, bestBound=3472
35.12/28.59
37.66/31.09 num=67, depth=61..73, filters=6537327, revisions=(9057631,useless=3737053), ccks=55718440, wck=27.618, mem=226M553
37.66/31.09 decisions=29781, wrong=12229, backtracks=8250, failedAssignments=8108, nogoods=437, foundSolutions=10, bestBound=3472
37.66/31.09
40.45/33.84 num=68, depth=61..72, filters=7234988, revisions=(9992429,useless=4061592), ccks=61964234, wck=30.374, mem=243M123
40.45/33.84 decisions=31995, wrong=13305, backtracks=9046, failedAssignments=8909, nogoods=452, foundSolutions=10, bestBound=3472
40.45/33.84
43.66/37.03 num=69, depth=62..75, filters=8066277, revisions=(11079726,useless=4411553), ccks=69853252, wck=33.557, mem=259M692
43.66/37.03 decisions=34455, wrong=14503, backtracks=9955, failedAssignments=9790, nogoods=466, foundSolutions=10, bestBound=3472
43.66/37.03
48.95/42.34 num=70, depth=23..71, filters=9600302, revisions=(14758548,useless=6605070), ccks=72262340, wck=38.871, mem=292M831
48.95/42.34 decisions=38056, wrong=16287, backtracks=11618, failedAssignments=10760, nogoods=470, foundSolutions=10, bestBound=3472
48.95/42.34
53.50/46.80 num=71, depth=67..78, filters=11017206, revisions=(16510163,useless=7173749), ccks=80240957, wck=43.333, mem=109M839
53.50/46.80 decisions=41379, wrong=17913, backtracks=13016, failedAssignments=11827, nogoods=480, foundSolutions=10, bestBound=3472
53.50/46.80
58.21/51.54 num=72, depth=66..78, filters=12255195, revisions=(18050662,useless=7664083), ccks=91017106, wck=48.07, mem=135M180
58.21/51.54 decisions=44739, wrong=19559, backtracks=14484, failedAssignments=13000, nogoods=492, foundSolutions=10, bestBound=3472
58.21/51.54
63.31/56.60 num=73, depth=65..77, filters=13567847, revisions=(19692716,useless=8180510), ccks=102594031, wck=53.134, mem=160M521
63.31/56.60 decisions=48501, wrong=21406, backtracks=15935, failedAssignments=14291, nogoods=498, foundSolutions=10, bestBound=3472
63.31/56.60
68.61/62.00 num=74, depth=65..79, filters=14985265, revisions=(21460439,useless=8715095), ccks=114893491, wck=58.533, mem=190M85
68.61/62.00 decisions=52502, wrong=23372, backtracks=17475, failedAssignments=15711, nogoods=511, foundSolutions=10, bestBound=3472
68.61/62.00
74.82/68.13 num=75, depth=62..74, filters=16539042, revisions=(23506044,useless=9365567), ccks=130748249, wck=64.664, mem=223M873
74.82/68.13 decisions=57032, wrong=25605, backtracks=19178, failedAssignments=17273, nogoods=526, foundSolutions=10, bestBound=3472
74.82/68.13
81.11/74.48 num=76, depth=61..74, filters=18061143, revisions=(25498264,useless=10019362), ccks=146261433, wck=71.013, mem=257M661
81.11/74.48 decisions=61779, wrong=27947, backtracks=20946, failedAssignments=18991, nogoods=547, foundSolutions=10, bestBound=3472
81.11/74.48
87.91/81.30 num=77, depth=59..72, filters=19801169, revisions=(27838070,useless=10806036), ccks=162021005, wck=77.825, mem=291M448
87.91/81.30 decisions=66865, wrong=30459, backtracks=22879, failedAssignments=20881, nogoods=564, foundSolutions=10, bestBound=3472
87.91/81.30
95.66/88.97 num=78, depth=59..74, filters=21664282, revisions=(30335628,useless=11647733), ccks=180010455, wck=85.495, mem=122M181
95.66/88.97 decisions=72425, wrong=33209, backtracks=25068, failedAssignments=22960, nogoods=586, foundSolutions=10, bestBound=3472
95.66/88.97
103.46/96.76 num=79, depth=61..74, filters=23418704, revisions=(32629862,useless=12412475), ccks=200270350, wck=93.293, mem=159M453
103.46/96.76 decisions=78754, wrong=36342, backtracks=27471, failedAssignments=25247, nogoods=604, foundSolutions=10, bestBound=3472
103.46/96.76
112.78/106.10 num=80, depth=59..73, filters=25613065, revisions=(35546266,useless=13409724), ccks=223514824, wck=102.63, mem=209M150
112.78/106.10 decisions=85712, wrong=39790, backtracks=30176, failedAssignments=27763, nogoods=619, foundSolutions=10, bestBound=3472
112.78/106.10
121.59/114.81 num=81, depth=58..73, filters=27575797, revisions=(38235838,useless=14382889), ccks=245609554, wck=111.335, mem=250M564
121.59/114.81 decisions=93063, wrong=43435, backtracks=33076, failedAssignments=30531, nogoods=637, foundSolutions=10, bestBound=3472
121.59/114.81
132.20/125.45 num=82, depth=60..74, filters=30149684, revisions=(41550636,useless=15484324), ccks=270168225, wck=121.981, mem=304M402
132.20/125.45 decisions=101365, wrong=47555, backtracks=36194, failedAssignments=33575, nogoods=650, foundSolutions=10, bestBound=3472
132.20/125.45
145.85/139.10 num=83, depth=59..76, filters=33485517, revisions=(45972336,useless=16973237), ccks=302756282, wck=135.634, mem=170M526
145.85/139.10 decisions=110341, wrong=52012, backtracks=40060, failedAssignments=36924, nogoods=662, foundSolutions=10, bestBound=3472
145.85/139.10
160.24/153.41 num=84, depth=60..74, filters=36804659, revisions=(50300240,useless=18368223), ccks=339848545, wck=149.944, mem=243M513
160.24/153.41 decisions=120188, wrong=56904, backtracks=44228, failedAssignments=40608, nogoods=673, foundSolutions=10, bestBound=3472
160.24/153.41
173.89/167.01 num=85, depth=60..74, filters=39860412, revisions=(54266017,useless=19663960), ccks=374487439, wck=163.542, mem=109M613
173.89/167.01 decisions=131185, wrong=62371, backtracks=48411, failedAssignments=44660, nogoods=690, foundSolutions=10, bestBound=3472
173.89/167.01
188.90/182.02 num=86, depth=59..74, filters=43474135, revisions=(58990866,useless=21225914), ccks=409429383, wck=178.551, mem=184M957
188.90/182.02 decisions=143139, wrong=68317, backtracks=52887, failedAssignments=49117, nogoods=699, foundSolutions=10, bestBound=3472
188.90/182.02
191.79/184.94 num=87, depth=26..80, filters=44240393, revisions=(61366081,useless=22848940), ccks=412151092, wck=181.469, mem=216M681
191.79/184.94 decisions=157968, wrong=75714, backtracks=59383, failedAssignments=54020, nogoods=712, foundSolutions=10, bestBound=3472
191.79/184.94
211.21/204.34 num=88, depth=59..75, filters=48636030, revisions=(67158370,useless=24758669), ccks=460839462, wck=200.87, mem=113M466
211.21/204.34 decisions=172265, wrong=82832, backtracks=65303, failedAssignments=59414, nogoods=728, foundSolutions=10, bestBound=3472
211.21/204.34
232.42/225.57 num=89, depth=58..75, filters=54141912, revisions=(74419038,useless=27146780), ccks=506453061, wck=222.096, mem=230M7
232.42/225.57 decisions=188116, wrong=90727, backtracks=71366, failedAssignments=65347, nogoods=754, foundSolutions=10, bestBound=3472
232.42/225.57
256.36/249.44 num=90, depth=59..74, filters=59545279, revisions=(81516656,useless=29516607), ccks=568966068, wck=245.97, mem=155M118
256.36/249.44 decisions=205852, wrong=99563, backtracks=78938, failedAssignments=71873, nogoods=766, foundSolutions=10, bestBound=3472
256.36/249.44
282.29/275.35 num=91, depth=59..75, filters=65453052, revisions=(89258239,useless=32150694), ccks=636869208, wck=271.875, mem=284M414
282.29/275.35 decisions=226436, wrong=109823, backtracks=86795, failedAssignments=79052, nogoods=778, foundSolutions=10, bestBound=3472
282.29/275.35
312.02/305.04 num=92, depth=60..74, filters=72215861, revisions=(97908115,useless=34971925), ccks=712046463, wck=301.565, mem=243M362
312.02/305.04 decisions=248510, wrong=120828, backtracks=95510, failedAssignments=86949, nogoods=793, foundSolutions=10, bestBound=3472
312.02/305.04
345.86/338.88 num=93, depth=58..74, filters=80444966, revisions=(108658745,useless=38518474), ccks=792154532, wck=335.411, mem=233M22
345.86/338.88 decisions=272058, wrong=132571, backtracks=105356, failedAssignments=95636, nogoods=807, foundSolutions=10, bestBound=3472
345.86/338.88
378.39/371.30 num=94, depth=60..75, filters=87797000, revisions=(118101026,useless=41533316), ccks=876920771, wck=367.832, mem=212M649
378.39/371.30 decisions=297515, wrong=145269, backtracks=115708, failedAssignments=105191, nogoods=822, foundSolutions=10, bestBound=3472
378.39/371.30
422.23/415.16 num=95, depth=58..75, filters=97887619, revisions=(131257521,useless=45842763), ccks=996195029, wck=411.694, mem=262M857
422.23/415.16 decisions=328264, wrong=160612, backtracks=128476, failedAssignments=115702, nogoods=833, foundSolutions=10, bestBound=3472
422.23/415.16
472.37/465.28 num=96, depth=58..74, filters=109730124, revisions=(146355514,useless=50636418), ccks=1115169336, wck=461.808, mem=165M960
472.37/465.28 decisions=360439, wrong=176667, backtracks=142260, failedAssignments=127264, nogoods=838, foundSolutions=10, bestBound=3472
472.37/465.28
518.31/511.16 num=97, depth=59..75, filters=119508000, revisions=(158935321,useless=54752400), ccks=1240012280, wck=507.689, mem=221M374
518.31/511.16 decisions=395564, wrong=194198, backtracks=157021, failedAssignments=139982, nogoods=847, foundSolutions=10, bestBound=3472
518.31/511.16
566.25/559.01 num=98, depth=59..75, filters=131401060, revisions=(174305941,useless=59576636), ccks=1375633854, wck=555.535, mem=150M720
566.25/559.01 decisions=433704, wrong=213236, backtracks=172965, failedAssignments=153972, nogoods=858, foundSolutions=10, bestBound=3472
566.25/559.01
616.75/609.55 num=99, depth=57..73, filters=144731561, revisions=(191806634,useless=65394917), ccks=1499507861, wck=606.075, mem=121M333
616.75/609.55 decisions=476062, wrong=234384, backtracks=189144, failedAssignments=169361, nogoods=868, foundSolutions=10, bestBound=3472
616.75/609.55
675.40/668.18 num=100, depth=60..76, filters=159195084, revisions=(209961190,useless=71046985), ccks=1653685195, wck=664.712, mem=129M271
675.40/668.18 decisions=522839, wrong=257741, backtracks=207854, failedAssignments=186289, nogoods=889, foundSolutions=10, bestBound=3472
675.40/668.18
750.45/743.16 num=101, depth=59..74, filters=177203716, revisions=(232932684,useless=78286721), ccks=1863866925, wck=739.686, mem=235M368
750.45/743.16 decisions=575272, wrong=283926, backtracks=231252, failedAssignments=204910, nogoods=903, foundSolutions=10, bestBound=3472
750.45/743.16
823.27/815.97 num=102, depth=59..76, filters=193543916, revisions=(253798186,useless=84795569), ccks=2070894441, wck=812.497, mem=190M807
823.27/815.97 decisions=631060, wrong=311788, backtracks=255248, failedAssignments=225394, nogoods=921, foundSolutions=10, bestBound=3472
823.27/815.97
902.43/895.06 num=103, depth=57..74, filters=213625359, revisions=(280290141,useless=93940032), ccks=2267169961, wck=891.591, mem=99M793
902.43/895.06 decisions=694699, wrong=343577, backtracks=281032, failedAssignments=247926, nogoods=935, foundSolutions=10, bestBound=3472
902.43/895.06
999.58/992.15 num=104, depth=58..75, filters=235668972, revisions=(308230575,useless=102727963), ccks=2523520608, wck=988.68, mem=216M341
999.58/992.15 decisions=763342, wrong=377867, backtracks=310496, failedAssignments=272711, nogoods=949, foundSolutions=10, bestBound=3472
999.58/992.15
1108.54/1101.09 num=105, depth=57..74, filters=259611809, revisions=(339070495,useless=112821859), ccks=2817507350, wck=1097.623, mem=170M736
1108.54/1101.09 decisions=838216, wrong=415273, backtracks=344185, failedAssignments=299975, nogoods=965, foundSolutions=10, bestBound=3472
1108.54/1101.09
1220.79/1213.21 num=106, depth=58..75, filters=285663319, revisions=(372185191,useless=123415833), ccks=3116633209, wck=1209.736, mem=198M670
1220.79/1213.21 decisions=921476, wrong=456871, backtracks=380131, failedAssignments=329965, nogoods=975, foundSolutions=10, bestBound=3472
1220.79/1213.21
1361.49/1353.82 num=107, depth=59..77, filters=316096416, revisions=(410450699,useless=135245009), ccks=3517707752, wck=1350.349, mem=103M90
1361.49/1353.82 decisions=1014968, wrong=503586, backtracks=424842, failedAssignments=362954, nogoods=989, foundSolutions=10, bestBound=3472
1361.49/1353.82
1505.40/1497.66 num=108, depth=57..75, filters=351056847, revisions=(455691323,useless=149855895), ccks=3900088768, wck=1494.185, mem=141M947
1505.40/1497.66 decisions=1117076, wrong=554610, backtracks=468468, failedAssignments=399242, nogoods=1002, foundSolutions=10, bestBound=3472
1505.40/1497.66
1661.71/1653.87 num=109, depth=57..75, filters=388117946, revisions=(503250995,useless=165397110), ccks=4303612714, wck=1650.403, mem=132M936
1661.71/1653.87 decisions=1229997, wrong=611039, backtracks=516547, failedAssignments=439159, nogoods=1016, foundSolutions=10, bestBound=3472
1661.71/1653.87
1826.34/1818.37 num=110, depth=60..77, filters=428510661, revisions=(553847278,useless=181355838), ccks=4731841493, wck=1814.898, mem=110M281
1826.34/1818.37 decisions=1354782, wrong=673399, backtracks=572553, failedAssignments=483068, nogoods=1031, foundSolutions=10, bestBound=3472
1826.34/1818.37
2002.19/1994.05 num=111, depth=58..74, filters=468965159, revisions=(605301735,useless=197967760), ccks=5200417485, wck=1990.582, mem=115M467
2002.19/1994.05 decisions=1490659, wrong=741307, backtracks=629581, failedAssignments=531368, nogoods=1052, foundSolutions=10, bestBound=3472
2002.19/1994.05
2199.65/2191.32 num=112, depth=58..78, filters=515864281, revisions=(664584514,useless=216807514), ccks=5704017287, wck=2187.849, mem=104M106
2199.65/2191.32 decisions=1636003, wrong=813949, backtracks=693317, failedAssignments=584498, nogoods=1070, foundSolutions=10, bestBound=3472
2199.65/2191.32
2400.02/2391.50
2400.02/2391.50 v <instantiation id='sol10' type='solution' cost='3472'> <list> x[] y[][] c[] s[] </list> <values> -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 * 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 * * 1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 * * * -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 * * * * 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 1 -1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 1 * * * * * 1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 * * * * * * -1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 * * * * * * * -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 * * * * * * * * 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 * * * * * * * * * 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 1 1 1 * * * * * * * * * * 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 * * * * * * * * * * * -1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 * * * * * * * * * * * * -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 * * * * * * * * * * * * * -1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 * * * * * * * * * * * * * * -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 1 1 -1 -1 1 -1 * * * * * * * * * * * * * * * 1 1 1 1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 1 -1 1 * * * * * * * * * * * * * * * * -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 * * * * * * * * * * * * * * * * * 1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * 1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 1 -1 -1 1 1 1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 1 1 1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 1 1 1 1 1 -1 1 1 -1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 1 1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 1 1 1 -1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 -1 1 -1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 -1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -9 12 -29 8 -11 8 3 2 -5 -2 -5 6 -3 -2 1 2 13 0 -5 -2 -1 12 -1 6 -9 -6 -5 -2 11 -2 -3 -6 -5 -2 -1 14 3 0 5 4 3 -10 5 -2 -1 -2 9 -4 -1 -8 5 2 9 -2 -7 2 -5 6 -3 10 -3 2 -7 6 -3 0 -7 10 5 4 -9 -2 -1 2 3 2 1 -2 1 -2 1 0 3 0 1 0 1 81 144 841 64 121 64 9 4 25 4 25 36 9 4 1 4 169 0 25 4 1 144 1 36 81 36 25 4 121 4 9 36 25 4 1 196 9 0 25 16 9 100 25 4 1 4 81 16 1 64 25 4 81 4 49 4 25 36 9 100 9 4 49 36 9 0 49 100 25 16 81 4 1 4 9 4 1 4 1 4 1 0 9 0 1 0 1 </values> </instantiation>
2400.02/2391.50 s SATISFIABLE
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 (11652 MiB free)
memory of node 1: 16384 MiB (13892 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391345-1568389770/watcher-4391345-1568389770 -o /tmp/evaluation-result-4391345-1568389770/solver-4391345-1568389770 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568389280-3789 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391345-1568389770.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=5552, runsolver pid=5549
[startup+0.100137 s]*
/proc/loadavg: 2.16 1.92 1.89 4/228 5567
/proc/meminfo: memFree=26142696/32770624 swapFree=66957012/67108860
[pid=5552] ppid=5549 vsize=10659884 memory=28220 CPUtime=0.13 cores=0,2,4,6
/proc/5552/stat : 5552 (java) S 5549 5552 3758 0 -1 1077944320 5543 0 0 0 12 1 0 0 20 0 15 0 414890805 10915721216 7055 33554432000 4194304 4196468 140726121166720 140726121149264 140631501704951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
/proc/5552/statm: 2664971 7055 2910 1 0 2627468 0
[pid=5552/tid=5554] ppid=5549 vsize=10659884 memory=-8969869124567921856 CPUtime=0.09 cores=0,2,4,6
/proc/5552/task/5554/stat : 5554 (java) R 5549 5552 3758 0 -1 4202560 3296 0 0 0 8 1 0 0 20 0 15 0 414890805 10915721216 7121 33554432000 4194304 4196468 140726121166720 140631505934536 140631501716886 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5555] ppid=5549 vsize=10659884 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5555/stat : 5555 (java) S 5549 5552 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414890806 10915721216 7121 33554432000 4194304 4196468 140726121166720 140631458258064 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5556] ppid=5549 vsize=10659884 memory=139710851659392 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5556/stat : 5556 (java) S 5549 5552 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414890806 10915721216 7121 33554432000 4194304 4196468 140726121166720 140631107099664 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5557] ppid=5549 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5557/stat : 5557 (java) S 5549 5552 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414890806 10915721216 7121 33554432000 4194304 4196468 140726121166720 140631106046864 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5558] ppid=5549 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5558/stat : 5558 (java) S 5549 5552 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414890806 10915721216 7121 33554432000 4194304 4196468 140726121166720 140631104994064 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5559] ppid=5549 vsize=10659884 memory=139710851659392 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5559/stat : 5559 (java) S 5549 5552 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414890807 10915721216 7121 33554432000 4194304 4196468 140726121166720 140631060900208 140631501716098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5560] ppid=5549 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5560/stat : 5560 (java) S 5549 5552 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414890808 10915721216 7121 33554432000 4194304 4196468 140726121166720 140631059846176 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5561] ppid=5549 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5561/stat : 5561 (java) S 5549 5552 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414890808 10915721216 7121 33554432000 4194304 4196468 140726121166720 140631058793328 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5562] ppid=5549 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5562/stat : 5562 (java) S 5549 5552 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414890810 10915721216 7121 33554432000 4194304 4196468 140726121166720 140631057741648 140631501723547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5563] ppid=5549 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5563/stat : 5563 (java) S 5549 5552 3758 0 -1 1077944384 334 0 0 0 0 0 0 0 20 0 15 0 414890810 10915721216 7121 33554432000 4194304 4196468 140726121166720 140631056690032 140631501716098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5564] ppid=5549 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5564/stat : 5564 (java) R 5549 5552 3758 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 414890810 10915721216 7121 33554432000 4194304 4196468 140726121166720 140631055637232 140631501716098 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5565] ppid=5549 vsize=10659884 memory=139710851659392 CPUtime=0.02 cores=0,2,4,6
/proc/5552/task/5565/stat : 5565 (java) R 5549 5552 3758 0 -1 4202560 361 0 0 0 2 0 0 0 20 0 15 0 414890810 10915721216 7121 33554432000 4194304 4196468 140726121166720 140630986579576 140631480840478 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5566] ppid=5549 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5566/stat : 5566 (java) S 5549 5552 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414890810 10915721216 7121 33554432000 4194304 4196468 140726121166720 140630985530080 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5567] ppid=5549 vsize=10659884 memory=139710851659392 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5567/stat : 5567 (java) R 5549 5552 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414890811 10915721216 7121 33554432000 4194304 4196468 140726121166720 140630984477360 140631501716098 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28220 KiB
[startup+0.211332 s]*
/proc/loadavg: 2.16 1.92 1.89 3/228 5567
/proc/meminfo: memFree=26130820/32770624 swapFree=66957012/67108860
[pid=5552] ppid=5549 vsize=10659884 memory=37636 CPUtime=0.33 cores=0,2,4,6
/proc/5552/stat : 5552 (java) S 5549 5552 3758 0 -1 1077944320 9135 0 0 0 30 3 0 0 20 0 15 0 414890805 10915721216 9409 33554432000 4194304 4196468 140726121166720 140726121149264 140631501704951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
/proc/5552/statm: 2664971 9409 2990 1 0 2627468 0
[pid=5552/tid=5554] ppid=5549 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/5552/task/5554/stat : 5554 (java) R 5549 5552 3758 0 -1 4202560 6121 0 0 0 18 2 0 0 20 0 15 0 414890805 10915721216 9409 33554432000 4194304 4196468 140726121166720 140631505931312 140631501726877 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5555] ppid=5549 vsize=10659884 memory=339 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5555/stat : 5555 (java) S 5549 5552 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414890806 10915721216 9409 33554432000 4194304 4196468 140726121166720 140631458258064 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5556] ppid=5549 vsize=10659884 memory=139710852924004 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5556/stat : 5556 (java) S 5549 5552 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414890806 10915721216 9409 33554432000 4194304 4196468 140726121166720 140631107099664 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5557] ppid=5549 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5557/stat : 5557 (java) S 5549 5552 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414890806 10915721216 9409 33554432000 4194304 4196468 140726121166720 140631106046864 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5558] ppid=5549 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5558/stat : 5558 (java) S 5549 5552 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414890806 10915721216 9409 33554432000 4194304 4196468 140726121166720 140631104994064 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5559] ppid=5549 vsize=10659884 memory=139710851659392 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5559/stat : 5559 (java) S 5549 5552 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414890807 10915721216 9409 33554432000 4194304 4196468 140726121166720 140631060900208 140631501716098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5560] ppid=5549 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5560/stat : 5560 (java) S 5549 5552 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414890808 10915721216 9409 33554432000 4194304 4196468 140726121166720 140631059846176 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5561] ppid=5549 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5561/stat : 5561 (java) S 5549 5552 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414890808 10915721216 9409 33554432000 4194304 4196468 140726121166720 140631058793328 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5562] ppid=5549 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5562/stat : 5562 (java) S 5549 5552 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414890810 10915721216 9409 33554432000 4194304 4196468 140726121166720 140631057741648 140631501723547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5563] ppid=5549 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5552/task/5563/stat : 5563 (java) S 5549 5552 3758 0 -1 1077944384 397 0 0 0 2 0 0 0 20 0 15 0 414890810 10915721216 9409 33554432000 4194304 4196468 140726121166720 140631056690032 140631501716098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5564] ppid=5549 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/5552/task/5564/stat : 5564 (java) S 5549 5552 3758 0 -1 1077944384 574 0 0 0 3 0 0 0 20 0 15 0 414890810 10915721216 9409 33554432000 4194304 4196468 140726121166720 140631055637232 140631501716098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5565] ppid=5549 vsize=10659884 memory=139710851659392 CPUtime=0.06 cores=0,2,4,6
/proc/5552/task/5565/stat : 5565 (java) S 5549 5552 3758 0 -1 1077944384 683 0 0 0 6 0 0 0 20 0 15 0 414890810 10915721216 9409 33554432000 4194304 4196468 140726121166720 140630986582640 140631501716098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5566] ppid=5549 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5566/stat : 5566 (java) S 5549 5552 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414890810 10915721216 9409 33554432000 4194304 4196468 140726121166720 140630985530080 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5567] ppid=5549 vsize=10659884 memory=139710851659392 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5567/stat : 5567 (java) S 5549 5552 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414890811 10915721216 9409 33554432000 4194304 4196468 140726121166720 140630984477360 140631501716098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37636 KiB
[startup+0.310463 s]*
/proc/loadavg: 2.16 1.92 1.89 3/228 5567
/proc/meminfo: memFree=26129008/32770624 swapFree=66957012/67108860
[pid=5552] ppid=5549 vsize=10659884 memory=40432 CPUtime=0.48 cores=0,2,4,6
/proc/5552/stat : 5552 (java) S 5549 5552 3758 0 -1 1077944320 9353 0 0 0 44 4 0 0 20 0 15 0 414890805 10915721216 10108 33554432000 4194304 4196468 140726121166720 140726121149264 140631501704951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
/proc/5552/statm: 2664971 10108 3019 1 0 2627468 0
[pid=5552/tid=5554] ppid=5549 vsize=10659884 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/5552/task/5554/stat : 5554 (java) R 5549 5552 3758 0 -1 4202560 6268 0 0 0 27 2 0 0 20 0 15 0 414890805 10915721216 10108 33554432000 4194304 4196468 140726121166720 140631505943936 140631501726877 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5555] ppid=5549 vsize=10659884 memory=290763870908448791 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5555/stat : 5555 (java) S 5549 5552 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414890806 10915721216 10108 33554432000 4194304 4196468 140726121166720 140631458258064 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5556] ppid=5549 vsize=10659884 memory=14271962326185624 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5556/stat : 5556 (java) S 5549 5552 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414890806 10915721216 10108 33554432000 4194304 4196468 140726121166720 140631107099664 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5557] ppid=5549 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5557/stat : 5557 (java) S 5549 5552 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414890806 10915721216 10108 33554432000 4194304 4196468 140726121166720 140631106046864 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5558] ppid=5549 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5558/stat : 5558 (java) S 5549 5552 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414890806 10915721216 10108 33554432000 4194304 4196468 140726121166720 140631104994064 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5559] ppid=5549 vsize=10659884 memory=139710851659392 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5559/stat : 5559 (java) S 5549 5552 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414890807 10915721216 10108 33554432000 4194304 4196468 140726121166720 140631060900208 140631501716098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5560] ppid=5549 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5560/stat : 5560 (java) S 5549 5552 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414890808 10915721216 10108 33554432000 4194304 4196468 140726121166720 140631059846176 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5561] ppid=5549 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5561/stat : 5561 (java) S 5549 5552 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414890808 10915721216 10108 33554432000 4194304 4196468 140726121166720 140631058793328 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5562] ppid=5549 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5562/stat : 5562 (java) S 5549 5552 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414890810 10915721216 10108 33554432000 4194304 4196468 140726121166720 140631057741648 140631501723547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5563] ppid=5549 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5552/task/5563/stat : 5563 (java) R 5549 5552 3758 0 -1 1077944384 405 0 0 0 3 0 0 0 20 0 15 0 414890810 10915721216 10108 33554432000 4194304 4196468 140726121166720 140631056690128 140631501715157 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5564] ppid=5549 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/5552/task/5564/stat : 5564 (java) R 5549 5552 3758 0 -1 4202560 612 0 0 0 4 0 0 0 20 0 15 0 414890810 10915721216 10108 33554432000 4194304 4196468 140726121166720 140631055628736 140631481566441 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5565] ppid=5549 vsize=10659884 memory=139710851659392 CPUtime=0.08 cores=0,2,4,6
/proc/5552/task/5565/stat : 5565 (java) S 5549 5552 3758 0 -1 1077944384 709 0 0 0 8 0 0 0 20 0 15 0 414890810 10915721216 10108 33554432000 4194304 4196468 140726121166720 140630986582640 140631501716098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5566] ppid=5549 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5566/stat : 5566 (java) S 5549 5552 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414890810 10915721216 10108 33554432000 4194304 4196468 140726121166720 140630985530080 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5567] ppid=5549 vsize=10659884 memory=139710851659392 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5567/stat : 5567 (java) S 5549 5552 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414890811 10915721216 10108 33554432000 4194304 4196468 140726121166720 140630984477360 140631501716098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40432 KiB
[startup+0.700728 s]
/proc/loadavg: 2.16 1.92 1.89 3/228 5567
/proc/meminfo: memFree=26119208/32770624 swapFree=66957012/67108860
[pid=5552] ppid=5549 vsize=10661932 memory=63700 CPUtime=1.11 cores=0,2,4,6
/proc/5552/stat : 5552 (java) S 5549 5552 3758 0 -1 1077944320 12964 0 0 0 105 6 0 0 20 0 15 0 414890805 10917818368 15925 33554432000 4194304 4196468 140726121166720 140726121149264 140631501704951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
/proc/5552/statm: 2665483 15925 3061 1 0 2627980 0
[pid=5552/tid=5554] ppid=5549 vsize=10661932 memory=1368 CPUtime=0.68 cores=0,2,4,6
/proc/5552/task/5554/stat : 5554 (java) R 5549 5552 3758 0 -1 4202560 8818 0 0 0 64 4 0 0 20 0 15 0 414890805 10917818368 15925 33554432000 4194304 4196468 140726121166720 140631505930832 140631484891760 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5555] ppid=5549 vsize=10661932 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5555/stat : 5555 (java) S 5549 5552 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414890806 10917818368 15925 33554432000 4194304 4196468 140726121166720 140631458258064 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5556] ppid=5549 vsize=10661932 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5556/stat : 5556 (java) S 5549 5552 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414890806 10917818368 15925 33554432000 4194304 4196468 140726121166720 140631107099664 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5557] ppid=5549 vsize=10661932 memory=6100 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5557/stat : 5557 (java) S 5549 5552 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414890806 10917818368 15925 33554432000 4194304 4196468 140726121166720 140631106046864 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5558] ppid=5549 vsize=10661932 memory=11624 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5558/stat : 5558 (java) S 5549 5552 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414890806 10917818368 15925 33554432000 4194304 4196468 140726121166720 140631104994064 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5559] ppid=5549 vsize=10661932 memory=732 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5559/stat : 5559 (java) S 5549 5552 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414890807 10917818368 15925 33554432000 4194304 4196468 140726121166720 140631060900208 140631501716098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5560] ppid=5549 vsize=10661932 memory=776 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5560/stat : 5560 (java) S 5549 5552 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414890808 10917818368 15925 33554432000 4194304 4196468 140726121166720 140631059846176 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5561] ppid=5549 vsize=10661932 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5561/stat : 5561 (java) S 5549 5552 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414890808 10917818368 15925 33554432000 4194304 4196468 140726121166720 140631058793328 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5562] ppid=5549 vsize=10661932 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5562/stat : 5562 (java) S 5549 5552 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414890810 10917818368 15925 33554432000 4194304 4196468 140726121166720 140631057741648 140631501723547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5563] ppid=5549 vsize=10661932 memory=4639098309541126765 CPUtime=0.1 cores=0,2,4,6
/proc/5552/task/5563/stat : 5563 (java) R 5549 5552 3758 0 -1 4202560 714 0 0 0 10 0 0 0 20 0 15 0 414890810 10917818368 15925 33554432000 4194304 4196468 140726121166720 140631056690032 140631482884596 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5564] ppid=5549 vsize=10661932 memory=7380108234216663121 CPUtime=0.11 cores=0,2,4,6
/proc/5552/task/5564/stat : 5564 (java) S 5549 5552 3758 0 -1 1077944384 866 0 0 0 11 0 0 0 20 0 15 0 414890810 10917818368 15925 33554432000 4194304 4196468 140726121166720 140631055637232 140631501716098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5565] ppid=5549 vsize=10661932 memory=5787782378022856021 CPUtime=0.19 cores=0,2,4,6
/proc/5552/task/5565/stat : 5565 (java) S 5549 5552 3758 0 -1 1077944384 1206 0 0 0 19 0 0 0 20 0 15 0 414890810 10917818368 15925 33554432000 4194304 4196468 140726121166720 140630986582640 140631501716098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5566] ppid=5549 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5566/stat : 5566 (java) S 5549 5552 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414890810 10917818368 15925 33554432000 4194304 4196468 140726121166720 140630985530080 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5567] ppid=5549 vsize=10661932 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5567/stat : 5567 (java) S 5549 5552 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414890811 10917818368 15925 33554432000 4194304 4196468 140726121166720 140630984477360 140631501716098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63700 KiB
[startup+1.5008 s]
/proc/loadavg: 2.16 1.92 1.89 3/228 5567
/proc/meminfo: memFree=26103276/32770624 swapFree=66957012/67108860
[pid=5552] ppid=5549 vsize=10663980 memory=75712 CPUtime=2.01 cores=0,2,4,6
/proc/5552/stat : 5552 (java) S 5549 5552 3758 0 -1 1077944320 18565 0 0 0 194 7 0 0 20 0 15 0 414890805 10919915520 18928 33554432000 4194304 4196468 140726121166720 140726121149264 140631501704951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
/proc/5552/statm: 2665995 18928 3097 1 0 2628492 0
[pid=5552/tid=5554] ppid=5549 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/5552/task/5554/stat : 5554 (java) R 5549 5552 3758 0 -1 4202560 13024 0 0 0 143 5 0 0 20 0 15 0 414890805 10919915520 18928 33554432000 4194304 4196468 140726121166720 140631505936976 140631483268507 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5555] ppid=5549 vsize=10663980 memory=7235428992464153433 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5555/stat : 5555 (java) S 5549 5552 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414890806 10919915520 18928 33554432000 4194304 4196468 140726121166720 140631458258064 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5556] ppid=5549 vsize=10663980 memory=7305792226182194773 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5556/stat : 5556 (java) S 5549 5552 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414890806 10919915520 18928 33554432000 4194304 4196468 140726121166720 140631107099664 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5557] ppid=5549 vsize=10663980 memory=7451882158599990102 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5557/stat : 5557 (java) S 5549 5552 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414890806 10919915520 18928 33554432000 4194304 4196468 140726121166720 140631106046864 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5558] ppid=5549 vsize=10663980 memory=7667777919618011495 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5558/stat : 5558 (java) S 5549 5552 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414890806 10919915520 18928 33554432000 4194304 4196468 140726121166720 140631104994064 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5559] ppid=5549 vsize=10663980 memory=7236554896314034789 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5559/stat : 5559 (java) S 5549 5552 3758 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 414890807 10919915520 18928 33554432000 4194304 4196468 140726121166720 140631060900208 140631501716098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
################
# More data... #
################
/proc/5552/task/5558/stat : 5558 (java) S 5549 5552 3758 0 -1 1077944384 7384 0 0 0 39 8 0 0 20 0 16 0 414890806 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631104994064 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5559] ppid=5549 vsize=10748324 memory=302812 CPUtime=0.16 cores=0,2,4,6
/proc/5552/task/5559/stat : 5559 (java) S 5549 5552 3758 0 -1 1077944384 8735 0 0 0 13 3 0 0 20 0 16 0 414890807 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631060900208 140631501716098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5560] ppid=5549 vsize=10748324 memory=302812 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5560/stat : 5560 (java) S 5549 5552 3758 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414890808 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631059846240 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5561] ppid=5549 vsize=10748324 memory=302812 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5561/stat : 5561 (java) S 5549 5552 3758 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414890808 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631058793344 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5562] ppid=5549 vsize=10748324 memory=279421445895664 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5562/stat : 5562 (java) S 5549 5552 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414890810 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631057741648 140631501723547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5563] ppid=5549 vsize=10748324 memory=302812 CPUtime=2.74 cores=0,2,4,6
/proc/5552/task/5563/stat : 5563 (java) S 5549 5552 3758 0 -1 1077944384 12052 0 0 0 273 1 0 0 20 0 16 0 414890810 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631056690032 140631501716098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5564] ppid=5549 vsize=10748324 memory=302812 CPUtime=2.7 cores=0,2,4,6
/proc/5552/task/5564/stat : 5564 (java) S 5549 5552 3758 0 -1 1077944384 13973 0 0 0 268 2 0 0 20 0 16 0 414890810 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631055637232 140631501716098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5565] ppid=5549 vsize=10748324 memory=3512 CPUtime=1.09 cores=0,2,4,6
/proc/5552/task/5565/stat : 5565 (java) S 5549 5552 3758 0 -1 1077944384 11209 0 0 0 107 2 0 0 20 0 16 0 414890810 11006283776 75703 33554432000 4194304 4196468 140726121166720 140630986582640 140631501716098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5566] ppid=5549 vsize=10748324 memory=2704 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5566/stat : 5566 (java) S 5549 5552 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414890810 11006283776 75703 33554432000 4194304 4196468 140726121166720 140630985530080 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5567] ppid=5549 vsize=10748324 memory=2696 CPUtime=0.65 cores=0,2,4,6
/proc/5552/task/5567/stat : 5567 (java) S 5549 5552 3758 0 -1 1077944384 2104 0 0 0 30 35 0 0 20 0 16 0 414890811 11006283776 75703 33554432000 4194304 4196468 140726121166720 140630984477360 140631501716098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5568] ppid=5549 vsize=10748324 memory=302812 CPUtime=2319.61 cores=0,2,4,6
/proc/5552/task/5568/stat : 5568 (java) R 5549 5552 3758 0 -1 4202560 25030 0 0 0 231952 9 0 0 20 0 16 0 414890993 11006283776 75703 33554432000 4194304 4196468 140726121166720 140630967815328 140631145923212 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
Current children cumulated CPU time: 2330.77 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 302812 KiB
[startup+2382.3 s]
/proc/loadavg: 1.84 1.99 1.97 3/229 5892
/proc/meminfo: memFree=21219308/32770624 swapFree=66957012/67108860
[pid=5552] ppid=5549 vsize=10748324 memory=302812 CPUtime=2390.81 cores=0,2,4,6
/proc/5552/stat : 5552 (java) S 5549 5552 3758 0 -1 1077944320 115269 0 0 0 238999 82 0 0 20 0 16 0 414890805 11006283776 75703 33554432000 4194304 4196468 140726121166720 140726121149264 140631501704951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
/proc/5552/statm: 2687081 75703 3384 1 0 2647217 0
[pid=5552/tid=5554] ppid=5549 vsize=10748324 memory=302812 CPUtime=1.87 cores=0,2,4,6
/proc/5552/task/5554/stat : 5554 (java) S 5549 5552 3758 0 -1 1077944384 15300 0 0 0 180 7 0 0 20 0 16 0 414890805 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631505947824 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5555] ppid=5549 vsize=10748324 memory=302812 CPUtime=0.48 cores=0,2,4,6
/proc/5552/task/5555/stat : 5555 (java) S 5549 5552 3758 0 -1 1077944384 6272 0 0 0 41 7 0 0 20 0 16 0 414890806 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631458258064 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5556] ppid=5549 vsize=10748324 memory=302812 CPUtime=0.47 cores=0,2,4,6
/proc/5552/task/5556/stat : 5556 (java) S 5549 5552 3758 0 -1 1077944384 6581 0 0 0 40 7 0 0 20 0 16 0 414890806 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631107099664 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5557] ppid=5549 vsize=10748324 memory=302812 CPUtime=0.46 cores=0,2,4,6
/proc/5552/task/5557/stat : 5557 (java) S 5549 5552 3758 0 -1 1077944384 4738 0 0 0 38 8 0 0 20 0 16 0 414890806 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631106046864 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5558] ppid=5549 vsize=10748324 memory=302812 CPUtime=0.48 cores=0,2,4,6
/proc/5552/task/5558/stat : 5558 (java) S 5549 5552 3758 0 -1 1077944384 7420 0 0 0 40 8 0 0 20 0 16 0 414890806 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631104994064 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5559] ppid=5549 vsize=10748324 memory=139710723055424 CPUtime=0.16 cores=0,2,4,6
/proc/5552/task/5559/stat : 5559 (java) S 5549 5552 3758 0 -1 1077944384 8922 0 0 0 13 3 0 0 20 0 16 0 414890807 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631060900208 140631501716098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5560] ppid=5549 vsize=10748324 memory=302812 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5560/stat : 5560 (java) S 5549 5552 3758 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414890808 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631059846240 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5561] ppid=5549 vsize=10748324 memory=302812 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5561/stat : 5561 (java) S 5549 5552 3758 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414890808 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631058793344 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5562] ppid=5549 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5562/stat : 5562 (java) S 5549 5552 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414890810 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631057741648 140631501723547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5563] ppid=5549 vsize=10748324 memory=288230600329134386 CPUtime=2.74 cores=0,2,4,6
/proc/5552/task/5563/stat : 5563 (java) S 5549 5552 3758 0 -1 1077944384 12054 0 0 0 273 1 0 0 20 0 16 0 414890810 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631056690032 140631501716098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5564] ppid=5549 vsize=10748324 memory=3512 CPUtime=2.7 cores=0,2,4,6
/proc/5552/task/5564/stat : 5564 (java) S 5549 5552 3758 0 -1 1077944384 13975 0 0 0 268 2 0 0 20 0 16 0 414890810 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631055637232 140631501716098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5565] ppid=5549 vsize=10748324 memory=39816 CPUtime=1.09 cores=0,2,4,6
/proc/5552/task/5565/stat : 5565 (java) S 5549 5552 3758 0 -1 1077944384 11211 0 0 0 107 2 0 0 20 0 16 0 414890810 11006283776 75703 33554432000 4194304 4196468 140726121166720 140630986582640 140631501716098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5566] ppid=5549 vsize=10748324 memory=302812 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5566/stat : 5566 (java) S 5549 5552 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414890810 11006283776 75703 33554432000 4194304 4196468 140726121166720 140630985530080 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5567] ppid=5549 vsize=10748324 memory=12040 CPUtime=0.67 cores=0,2,4,6
/proc/5552/task/5567/stat : 5567 (java) S 5549 5552 3758 0 -1 1077944384 2132 0 0 0 31 36 0 0 20 0 16 0 414890811 11006283776 75703 33554432000 4194304 4196468 140726121166720 140630984477360 140631501716098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5568] ppid=5549 vsize=10748324 memory=3512 CPUtime=2379.59 cores=0,2,4,6
/proc/5552/task/5568/stat : 5568 (java) R 5549 5552 3758 0 -1 4202560 25232 0 0 0 237950 9 0 0 20 0 16 0 414890993 11006283776 75703 33554432000 4194304 4196468 140726121166720 140630967815360 140631148316950 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
Current children cumulated CPU time: 2390.81 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 302812 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2391.5 s]
/proc/loadavg: 1.86 1.99 1.97 3/229 5892
/proc/meminfo: memFree=21219216/32770624 swapFree=66957012/67108860
[pid=5552] ppid=5549 vsize=10748324 memory=302812 CPUtime=2400.02 cores=0,2,4,6
/proc/5552/stat : 5552 (java) S 5549 5552 3758 0 -1 1077944320 115274 0 0 0 239920 82 0 0 20 0 16 0 414890805 11006283776 75703 33554432000 4194304 4196468 140726121166720 140726121149264 140631501704951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
/proc/5552/statm: 2687081 75703 3384 1 0 2647217 0
[pid=5552/tid=5554] ppid=5549 vsize=10748324 memory=302812 CPUtime=1.87 cores=0,2,4,6
/proc/5552/task/5554/stat : 5554 (java) S 5549 5552 3758 0 -1 1077944384 15300 0 0 0 180 7 0 0 20 0 16 0 414890805 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631505947824 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5555] ppid=5549 vsize=10748324 memory=302812 CPUtime=0.48 cores=0,2,4,6
/proc/5552/task/5555/stat : 5555 (java) S 5549 5552 3758 0 -1 1077944384 6272 0 0 0 41 7 0 0 20 0 16 0 414890806 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631458258064 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5556] ppid=5549 vsize=10748324 memory=302812 CPUtime=0.47 cores=0,2,4,6
/proc/5552/task/5556/stat : 5556 (java) S 5549 5552 3758 0 -1 1077944384 6581 0 0 0 40 7 0 0 20 0 16 0 414890806 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631107099664 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5557] ppid=5549 vsize=10748324 memory=302812 CPUtime=0.47 cores=0,2,4,6
/proc/5552/task/5557/stat : 5557 (java) S 5549 5552 3758 0 -1 1077944384 4738 0 0 0 39 8 0 0 20 0 16 0 414890806 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631106046864 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5558] ppid=5549 vsize=10748324 memory=302812 CPUtime=0.48 cores=0,2,4,6
/proc/5552/task/5558/stat : 5558 (java) S 5549 5552 3758 0 -1 1077944384 7420 0 0 0 40 8 0 0 20 0 16 0 414890806 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631104994064 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5559] ppid=5549 vsize=10748324 memory=302812 CPUtime=0.16 cores=0,2,4,6
/proc/5552/task/5559/stat : 5559 (java) S 5549 5552 3758 0 -1 1077944384 8922 0 0 0 13 3 0 0 20 0 16 0 414890807 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631060900208 140631501716098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5560] ppid=5549 vsize=10748324 memory=279421446399312 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5560/stat : 5560 (java) S 5549 5552 3758 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414890808 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631059846240 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5561] ppid=5549 vsize=10748324 memory=302812 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5561/stat : 5561 (java) S 5549 5552 3758 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414890808 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631058793344 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5562] ppid=5549 vsize=10748324 memory=302812 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5562/stat : 5562 (java) S 5549 5552 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414890810 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631057741648 140631501723547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5563] ppid=5549 vsize=10748324 memory=302812 CPUtime=2.74 cores=0,2,4,6
/proc/5552/task/5563/stat : 5563 (java) S 5549 5552 3758 0 -1 1077944384 12054 0 0 0 273 1 0 0 20 0 16 0 414890810 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631056690032 140631501716098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5564] ppid=5549 vsize=10748324 memory=302812 CPUtime=2.7 cores=0,2,4,6
/proc/5552/task/5564/stat : 5564 (java) S 5549 5552 3758 0 -1 1077944384 13975 0 0 0 268 2 0 0 20 0 16 0 414890810 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631055637232 140631501716098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5565] ppid=5549 vsize=10748324 memory=8112282956445269571 CPUtime=1.09 cores=0,2,4,6
/proc/5552/task/5565/stat : 5565 (java) S 5549 5552 3758 0 -1 1077944384 11211 0 0 0 107 2 0 0 20 0 16 0 414890810 11006283776 75703 33554432000 4194304 4196468 140726121166720 140630986582640 140631501716098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5566] ppid=5549 vsize=10748324 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5566/stat : 5566 (java) S 5549 5552 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414890810 11006283776 75703 33554432000 4194304 4196468 140726121166720 140630985530080 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5567] ppid=5549 vsize=10748324 memory=302812 CPUtime=0.67 cores=0,2,4,6
/proc/5552/task/5567/stat : 5567 (java) S 5549 5552 3758 0 -1 1077944384 2134 0 0 0 31 36 0 0 20 0 16 0 414890811 11006283776 75703 33554432000 4194304 4196468 140726121166720 140630984477360 140631501716098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5568] ppid=5549 vsize=10748324 memory=302812 CPUtime=2388.79 cores=0,2,4,6
/proc/5552/task/5568/stat : 5568 (java) R 5549 5552 3758 0 -1 4202560 25235 0 0 0 238870 9 0 0 20 0 16 0 414890993 11006283776 75703 33554432000 4194304 4196468 140726121166720 140630967815360 140631147533280 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 302812 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2391.52 s]
# the end of solver process 5552 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.22 s, system=0.829091 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2391.5 s]
/proc/loadavg: 1.86 1.99 1.97 3/229 5892
/proc/meminfo: memFree=21219216/32770624 swapFree=66957012/67108860
[pid=5552] ppid=5549 vsize=10748324 memory=302812 CPUtime=2400.02 cores=0,2,4,6
/proc/5552/stat : 5552 (java) S 5549 5552 3758 0 -1 1077944320 115274 0 0 0 239920 82 0 0 20 0 16 0 414890805 11006283776 75703 33554432000 4194304 4196468 140726121166720 140726121149264 140631501704951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
/proc/5552/statm: 2687081 75703 3384 1 0 2647217 0
[pid=5552/tid=5554] ppid=5549 vsize=10748324 memory=302812 CPUtime=1.87 cores=0,2,4,6
/proc/5552/task/5554/stat : 5554 (java) S 5549 5552 3758 0 -1 1077944384 15300 0 0 0 180 7 0 0 20 0 16 0 414890805 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631505947824 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5555] ppid=5549 vsize=10748324 memory=302812 CPUtime=0.48 cores=0,2,4,6
/proc/5552/task/5555/stat : 5555 (java) S 5549 5552 3758 0 -1 1077944384 6272 0 0 0 41 7 0 0 20 0 16 0 414890806 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631458258064 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5556] ppid=5549 vsize=10748324 memory=302812 CPUtime=0.47 cores=0,2,4,6
/proc/5552/task/5556/stat : 5556 (java) S 5549 5552 3758 0 -1 1077944384 6581 0 0 0 40 7 0 0 20 0 16 0 414890806 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631107099664 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5557] ppid=5549 vsize=10748324 memory=302812 CPUtime=0.47 cores=0,2,4,6
/proc/5552/task/5557/stat : 5557 (java) S 5549 5552 3758 0 -1 1077944384 4738 0 0 0 39 8 0 0 20 0 16 0 414890806 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631106046864 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5558] ppid=5549 vsize=10748324 memory=302812 CPUtime=0.48 cores=0,2,4,6
/proc/5552/task/5558/stat : 5558 (java) S 5549 5552 3758 0 -1 1077944384 7420 0 0 0 40 8 0 0 20 0 16 0 414890806 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631104994064 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5559] ppid=5549 vsize=10748324 memory=302812 CPUtime=0.16 cores=0,2,4,6
/proc/5552/task/5559/stat : 5559 (java) S 5549 5552 3758 0 -1 1077944384 8922 0 0 0 13 3 0 0 20 0 16 0 414890807 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631060900208 140631501716098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5560] ppid=5549 vsize=10748324 memory=279421446399312 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5560/stat : 5560 (java) S 5549 5552 3758 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414890808 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631059846240 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5561] ppid=5549 vsize=10748324 memory=302812 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5561/stat : 5561 (java) S 5549 5552 3758 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414890808 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631058793344 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5562] ppid=5549 vsize=10748324 memory=302812 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5562/stat : 5562 (java) S 5549 5552 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414890810 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631057741648 140631501723547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5563] ppid=5549 vsize=10748324 memory=302812 CPUtime=2.74 cores=0,2,4,6
/proc/5552/task/5563/stat : 5563 (java) S 5549 5552 3758 0 -1 1077944384 12054 0 0 0 273 1 0 0 20 0 16 0 414890810 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631056690032 140631501716098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5564] ppid=5549 vsize=10748324 memory=302812 CPUtime=2.7 cores=0,2,4,6
/proc/5552/task/5564/stat : 5564 (java) S 5549 5552 3758 0 -1 1077944384 13975 0 0 0 268 2 0 0 20 0 16 0 414890810 11006283776 75703 33554432000 4194304 4196468 140726121166720 140631055637232 140631501716098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5565] ppid=5549 vsize=10748324 memory=8112282956445269571 CPUtime=1.09 cores=0,2,4,6
/proc/5552/task/5565/stat : 5565 (java) S 5549 5552 3758 0 -1 1077944384 11211 0 0 0 107 2 0 0 20 0 16 0 414890810 11006283776 75703 33554432000 4194304 4196468 140726121166720 140630986582640 140631501716098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5566] ppid=5549 vsize=10748324 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/5552/task/5566/stat : 5566 (java) S 5549 5552 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414890810 11006283776 75703 33554432000 4194304 4196468 140726121166720 140630985530080 140631501715157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5567] ppid=5549 vsize=10748324 memory=302812 CPUtime=0.67 cores=0,2,4,6
/proc/5552/task/5567/stat : 5567 (java) S 5549 5552 3758 0 -1 1077944384 2134 0 0 0 31 36 0 0 20 0 16 0 414890811 11006283776 75703 33554432000 4194304 4196468 140726121166720 140630984477360 140631501716098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
[pid=5552/tid=5568] ppid=5549 vsize=10748324 memory=302812 CPUtime=2388.79 cores=0,2,4,6
/proc/5552/task/5568/stat : 5568 (java) R 5549 5552 3758 0 -1 4202560 25235 0 0 0 238870 9 0 0 20 0 16 0 414890993 11006283776 75703 33554432000 4194304 4196468 140726121166720 140630967815360 140631147533280 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33316864 140726121174027 140726121174130 140726121174130 140726121177039 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 302812 KiB
Child status: 143
Real time (s): 2391.53
CPU time (s): 2400.05
CPU user time (s): 2399.22
CPU system time (s): 0.829091
CPU usage (%): 100.356
Max. virtual memory (cumulated for all children) (KiB): 10748352
Max. memory (cumulated for all children) (KiB): 492568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.22
system time used= 0.829091
maximum resident set size= 495720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115789
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57401
involuntary context switches= 2610
# summary of solver processes directly reported to runsolver:
# pid: 5552
# total CPU time (s): 2400.05
# total CPU user time (s): 2399.22
# total CPU system time (s): 0.829091
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7287 second user time and 22.0599 second system time
The end