2.40/1.87
2.40/1.87 AbsCon 2
2.40/1.89
2.94/2.05 Instance
2.94/2.05 name=instance-4390489-1568380599, framework=CSP
2.94/2.05
2.94/2.05 Loading variables...
2.94/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ce669d0
3.23/2.12 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58ba5ddd
3.23/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e5dfdda
3.23/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a42fd6b
3.23/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c544dab
3.23/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11cc8dfc
3.23/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4716595
3.23/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9a28761
3.23/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e8d8555
3.23/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68edb192
3.23/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f07deab
3.23/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75b02f3c
3.23/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c8bb131
3.23/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bbdbcff
3.23/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71384f72
3.23/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d215424
3.23/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7592a78e
3.23/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a646c3
3.23/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34c2834b
3.23/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c3b1700
3.23/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f78f29c
3.23/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40cfde77
3.23/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2094669e
3.23/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@287f4901
3.23/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37583fca
3.23/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bb04cfd
3.23/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18dfe6f
3.23/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78ea53bf
3.23/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8f01d07
3.23/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@622f37fd
3.23/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b77d62d
3.23/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f463d45
3.23/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46b50dd6
3.23/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7523196
3.23/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29b8d3d8
3.23/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42320b36
3.23/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b6714b
3.23/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53861007
3.23/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75af959f
3.23/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@690fb65d
3.23/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d99f695
3.23/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@574d5c07
3.23/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dfec882
3.23/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56d7a5b9
3.23/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fc0b1e8
3.23/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44cb977c
3.23/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@346cf346
3.23/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@538b8662
3.23/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@457ba18
3.23/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c141da7
3.23/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26b03cc8
3.23/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@109582a8
3.23/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e91a373
3.23/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cce626e
3.23/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22bdd5a6
3.23/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c7cba0a
3.23/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62408d2d
3.23/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bf3becd
3.23/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20000f8a
3.23/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13a31f00
3.23/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bd4bbc8
3.23/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3521e24
3.23/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42fa7c67
3.23/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b0bba9d
3.23/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42c3d401
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55d4ba49
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b50e7f
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c8b9a6f
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7db1d45d
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a096254
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55d9e41a
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@102a414b
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6265fa63
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45851448
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41f35df5
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@120fbcc4
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54b3301
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b58c81b
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f6d7427
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c9ff2b
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2027e857
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@752947d0
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b637de
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d67fca7
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6361fde8
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a22e8ee
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4863399d
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58586e2d
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25f9a8fc
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fe593ee
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dbf7273
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@478a7dca
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18938cd9
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1769ab72
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7789242b
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@612368de
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6824df71
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72a744cc
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a4de854
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fb5f8d7
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d9360eb
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38473059
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f8a1c41
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3694a427
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52abdcb
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25945610
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@310f6830
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13f066a1
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@627dc808
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ac46859
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15b1756d
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28ed463e
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29e8f748
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9512283
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@376749e6
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d7a5d2
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f943144
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24813a02
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38d19e5
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e9a9450
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d37104
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ebb0a9e
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ec767e4
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b89e6d
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ec4dcfe
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@405be9e7
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78f8b478
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c0b7793
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c4eae9e
3.23/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d410f91
3.23/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d410f91
3.23/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d410f91
3.23/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d410f91
3.23/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d410f91
3.23/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d410f91
3.23/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d410f91
3.23/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d410f91
3.23/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9a8e43a
3.23/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9a8e43a
3.23/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9a8e43a
3.23/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9a8e43a
3.23/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9a8e43a
3.23/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9a8e43a
3.23/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9a8e43a
3.23/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@417672e4
3.23/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@417672e4
3.23/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@417672e4
3.23/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@417672e4
3.23/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@417672e4
3.23/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@417672e4
3.23/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@536944b0
3.23/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@536944b0
3.23/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@536944b0
3.23/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@536944b0
3.23/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@536944b0
3.23/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41a7e79c
3.23/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41a7e79c
3.23/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41a7e79c
3.23/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41a7e79c
3.23/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12e72981
3.23/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12e72981
3.23/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12e72981
3.23/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a656db2
3.23/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a656db2
3.23/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50c889cd
3.56/2.29
3.56/2.29
3.56/2.29 Domains
3.56/2.29 nTypes=1, nValues=2160, sizes=[2#1080]
3.56/2.29 Variables
3.56/2.29 count=1080, degrees=[12#4,13#250,14#826]
3.56/2.29 Constraints
3.56/2.29 count=292, nSpecific=292, arities=[9#120,18#119,120#9,240#44]
3.56/2.29 distribution=[LexicographicLe#127,SumScalarBooleanEQ#36,SumSimpleEQ#129]
3.56/2.29 wck=0.45, cpu=2.262, mem=50M295
3.56/2.30 Solver SolverBacktrack being built...
3.56/2.30
3.83/2.34
3.83/2.34 Solver
3.83/2.34 guaranteedGAC=true
3.83/2.34 wck=0.498, cpu=2.308, mem=63M584
3.83/2.35
3.83/2.35 Preprocessing
3.83/2.35 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.83/2.35 wck=0.008, cpu=2.318, mem=63M584
3.83/2.35
3.83/2.39 num=0, depth=150..160, filters=211, wck=0.054, mem=66M227
3.83/2.39 decisions=190, wrong=20, backtracks=12, failedAssignments=10, nogoods=1
3.83/2.39
4.12/2.43 num=1, depth=3..56, filters=1205, wck=0.088, mem=66M227
4.12/2.43 decisions=284, wrong=47, backtracks=28, failedAssignments=21, nogoods=5
4.12/2.43
4.12/2.45 num=2, depth=0..35, filters=1965, wck=0.111, mem=66M227
4.12/2.45 decisions=357, wrong=77, backtracks=55, failedAssignments=33, nogoods=7
4.12/2.45
4.12/2.46 num=3, depth=0..57, filters=2309, wck=0.124, mem=66M227
4.12/2.46 decisions=428, wrong=90, backtracks=55, failedAssignments=46, nogoods=19
4.12/2.46
4.12/2.48 num=4, depth=12..89, filters=2855, wck=0.138, mem=66M227
4.12/2.48 decisions=551, wrong=115, backtracks=69, failedAssignments=60, nogoods=30
4.12/2.48
4.12/2.49 num=5, depth=6..52, filters=3395, wck=0.151, mem=66M227
4.12/2.49 decisions=625, wrong=133, backtracks=72, failedAssignments=76, nogoods=45
4.12/2.49
4.43/2.51 num=6, depth=5..41, filters=3895, wck=0.16, mem=66M227
4.43/2.51 decisions=707, wrong=161, backtracks=90, failedAssignments=93, nogoods=52
4.43/2.51
4.43/2.51 num=7, depth=2..32, filters=4379, wck=0.168, mem=66M227
4.43/2.51 decisions=782, wrong=189, backtracks=106, failedAssignments=112, nogoods=62
4.43/2.51
4.43/2.51 num=8, depth=5..47, filters=4632, wck=0.173, mem=66M227
4.43/2.51 decisions=857, wrong=212, backtracks=122, failedAssignments=133, nogoods=69
4.43/2.51
4.43/2.52 num=9, depth=7..70, filters=5235, wck=0.185, mem=66M227
4.43/2.52 decisions=1006, wrong=259, backtracks=166, failedAssignments=156, nogoods=72
4.43/2.52
4.43/2.55 num=10, depth=15..57, filters=6911, wck=0.211, mem=66M227
4.43/2.55 decisions=1192, wrong=341, backtracks=241, failedAssignments=181, nogoods=78
4.43/2.55
4.43/2.57 num=11, depth=8..51, filters=8192, wck=0.229, mem=68M869
4.43/2.57 decisions=1375, wrong=412, backtracks=299, failedAssignments=209, nogoods=83
4.43/2.57
4.43/2.59 num=12, depth=7..40, filters=10064, wck=0.253, mem=68M869
4.43/2.59 decisions=1543, wrong=488, backtracks=350, failedAssignments=240, nogoods=92
4.43/2.59
4.74/2.61 num=13, depth=6..25, filters=11072, wck=0.267, mem=68M869
4.74/2.61 decisions=1660, wrong=541, backtracks=389, failedAssignments=274, nogoods=97
4.74/2.61
4.74/2.62 num=14, depth=0..47, filters=12144, wck=0.283, mem=68M869
4.74/2.62 decisions=1792, wrong=593, backtracks=430, failedAssignments=311, nogoods=106
4.74/2.62
4.74/2.63 num=15, depth=8..27, filters=12883, wck=0.293, mem=68M869
4.74/2.63 decisions=1946, wrong=663, backtracks=487, failedAssignments=352, nogoods=114
4.74/2.63
4.74/2.66 num=16, depth=8..58, filters=14845, wck=0.317, mem=68M869
4.74/2.66 decisions=2130, wrong=740, backtracks=525, failedAssignments=397, nogoods=129
4.74/2.66
4.74/2.67 num=17, depth=11..101, filters=15664, wck=0.331, mem=68M869
4.74/2.67 decisions=2352, wrong=810, backtracks=569, failedAssignments=447, nogoods=150
4.74/2.67
4.74/2.69 num=18, depth=8..138, filters=16490, wck=0.345, mem=68M869
4.74/2.69 decisions=2602, wrong=880, backtracks=614, failedAssignments=502, nogoods=175
4.74/2.69
5.05/2.70 num=19, depth=5..150, filters=17648, wck=0.365, mem=68M869
5.05/2.70 decisions=2890, wrong=971, backtracks=668, failedAssignments=563, nogoods=202
5.05/2.70
5.05/2.72 num=20, depth=12..99, filters=18839, wck=0.383, mem=68M869
5.05/2.72 decisions=3182, wrong=1083, backtracks=743, failedAssignments=630, nogoods=219
5.05/2.72
5.05/2.74 num=21, depth=10..80, filters=19886, wck=0.399, mem=68M869
5.05/2.74 decisions=3481, wrong=1200, backtracks=838, failedAssignments=704, nogoods=236
5.05/2.74
5.05/2.76 num=22, depth=10..104, filters=21308, wck=0.418, mem=68M869
5.05/2.76 decisions=3832, wrong=1337, backtracks=947, failedAssignments=785, nogoods=255
5.05/2.76
5.05/2.77 num=23, depth=9..31, filters=22302, wck=0.43, mem=68M869
5.05/2.77 decisions=4109, wrong=1466, backtracks=1065, failedAssignments=874, nogoods=264
5.05/2.77
5.21/2.80 num=24, depth=20..140, filters=24740, wck=0.461, mem=68M869
5.21/2.80 decisions=4568, wrong=1652, backtracks=1205, failedAssignments=972, nogoods=288
5.21/2.80
5.21/2.82 num=25, depth=3..114, filters=26578, wck=0.485, mem=68M869
5.21/2.82 decisions=5027, wrong=1850, backtracks=1351, failedAssignments=1080, nogoods=308
5.21/2.82
5.21/2.85 num=26, depth=7..74, filters=28722, wck=0.513, mem=68M869
5.21/2.85 decisions=5479, wrong=2054, backtracks=1474, failedAssignments=1199, nogoods=330
5.21/2.85
5.21/2.88 num=27, depth=11..98, filters=31181, wck=0.542, mem=68M869
5.21/2.88 decisions=5989, wrong=2279, backtracks=1633, failedAssignments=1330, nogoods=358
5.21/2.88
5.31/2.91 num=28, depth=9..91, filters=33298, wck=0.568, mem=68M869
5.31/2.91 decisions=6547, wrong=2537, backtracks=1844, failedAssignments=1474, nogoods=392
5.31/2.91
5.31/2.95 num=29, depth=15..87, filters=36283, wck=0.606, mem=68M869
5.31/2.95 decisions=7192, wrong=2835, backtracks=2090, failedAssignments=1632, nogoods=410
5.31/2.95
5.31/2.99 num=30, depth=20..92, filters=40013, wck=0.649, mem=68M869
5.31/2.99 decisions=7944, wrong=3185, backtracks=2375, failedAssignments=1806, nogoods=431
5.31/2.99
5.60/3.04 num=31, depth=18..76, filters=43933, wck=0.704, mem=71M512
5.60/3.04 decisions=8687, wrong=3533, backtracks=2690, failedAssignments=1997, nogoods=444
5.60/3.04
5.60/3.08 num=32, depth=8..93, filters=46833, wck=0.738, mem=71M512
5.60/3.08 decisions=9418, wrong=3871, backtracks=2979, failedAssignments=2208, nogoods=476
5.60/3.08
5.78/3.13 num=33, depth=2..171, filters=50879, wck=0.787, mem=71M512
5.78/3.13 decisions=10386, wrong=4295, backtracks=3312, failedAssignments=2440, nogoods=518
5.78/3.13
5.78/3.19 num=34, depth=7..80, filters=55418, wck=0.847, mem=71M512
5.78/3.19 decisions=11330, wrong=4748, backtracks=3710, failedAssignments=2695, nogoods=533
5.78/3.19
5.88/3.23 num=35, depth=6..132, filters=58881, wck=0.886, mem=71M512
5.88/3.23 decisions=12413, wrong=5254, backtracks=4172, failedAssignments=2976, nogoods=565
5.88/3.23
5.88/3.29 num=36, depth=13..131, filters=65322, wck=0.953, mem=71M512
5.88/3.29 decisions=13686, wrong=5850, backtracks=4680, failedAssignments=3285, nogoods=579
5.88/3.29
6.00/3.39 num=37, depth=3..93, filters=73483, wck=1.046, mem=71M512
6.00/3.39 decisions=15253, wrong=6607, backtracks=5316, failedAssignments=3625, nogoods=604
6.00/3.39
6.11/3.46 num=38, depth=8..103, filters=80350, wck=1.123, mem=71M512
6.11/3.46 decisions=16857, wrong=7378, backtracks=6011, failedAssignments=3999, nogoods=632
6.11/3.46
6.21/3.53 num=39, depth=8..124, filters=86068, wck=1.194, mem=71M512
6.21/3.53 decisions=18439, wrong=8127, backtracks=6665, failedAssignments=4410, nogoods=666
6.21/3.53
6.41/3.70 num=40, depth=11..124, filters=100215, wck=1.361, mem=74M154
6.41/3.70 decisions=20702, wrong=9227, backtracks=7591, failedAssignments=4862, nogoods=674
6.41/3.70
6.51/3.80 num=41, depth=4..203, filters=108988, wck=1.463, mem=74M154
6.51/3.80 decisions=22703, wrong=10168, backtracks=8373, failedAssignments=5359, nogoods=745
6.51/3.80
6.61/3.95 num=42, depth=9..190, filters=121484, wck=1.607, mem=74M154
6.61/3.95 decisions=25190, wrong=11356, backtracks=9403, failedAssignments=5906, nogoods=798
6.61/3.95
6.72/4.06 num=43, depth=23..174, filters=132362, wck=1.724, mem=74M154
6.72/4.06 decisions=27660, wrong=12537, backtracks=10468, failedAssignments=6508, nogoods=851
6.72/4.06
6.82/4.20 num=44, depth=17..95, filters=143735, wck=1.856, mem=74M154
6.82/4.20 decisions=30612, wrong=13985, backtracks=11788, failedAssignments=7170, nogoods=884
6.82/4.20
7.11/4.40 num=45, depth=42..128, filters=161442, wck=2.065, mem=76M797
7.11/4.40 decisions=33787, wrong=15527, backtracks=13070, failedAssignments=7898, nogoods=905
7.11/4.40
7.21/4.56 num=46, depth=7..111, filters=175612, wck=2.219, mem=76M797
7.21/4.56 decisions=37073, wrong=17139, backtracks=14527, failedAssignments=8699, nogoods=935
7.21/4.56
7.51/4.84 num=47, depth=60..136, filters=197541, wck=2.502, mem=79M439
7.51/4.84 decisions=40695, wrong=18899, backtracks=16056, failedAssignments=9580, nogoods=951
7.51/4.84
7.72/5.07 num=48, depth=46..106, filters=216205, wck=2.735, mem=79M439
7.72/5.07 decisions=44266, wrong=20656, backtracks=17637, failedAssignments=10550, nogoods=955
7.72/5.07
7.92/5.29 num=49, depth=15..150, filters=235294, wck=2.952, mem=79M439
7.92/5.29 decisions=48516, wrong=22737, backtracks=19486, failedAssignments=11617, nogoods=985
7.92/5.29
8.12/5.42 num=50, depth=14..114, filters=244265, wck=3.082, mem=82M82
8.12/5.42 decisions=51545, wrong=24213, backtracks=20861, failedAssignments=12790, nogoods=1003
8.12/5.42
8.12/5.50 num=51, depth=74..108, filters=248823, wck=3.156, mem=82M82
8.12/5.50 decisions=54629, wrong=25716, backtracks=22345, failedAssignments=14081, nogoods=1009
8.12/5.50
8.22/5.56 num=52, depth=74..115, filters=252538, wck=3.219, mem=84M724
8.22/5.56 decisions=57978, wrong=27351, backtracks=23960, failedAssignments=15501, nogoods=1032
8.22/5.56
8.32/5.64 num=53, depth=73..114, filters=257483, wck=3.298, mem=84M724
8.32/5.64 decisions=61610, wrong=29128, backtracks=25714, failedAssignments=17063, nogoods=1055
8.32/5.64
8.52/5.82 num=54, depth=72..90, filters=267514, wck=3.483, mem=87M367
8.52/5.82 decisions=67368, wrong=31969, backtracks=28538, failedAssignments=18781, nogoods=1063
8.52/5.82
8.73/6.06 num=55, depth=68..108, filters=287997, wck=3.719, mem=90M9
8.73/6.06 decisions=72182, wrong=34335, backtracks=30788, failedAssignments=20671, nogoods=1080
8.73/6.06
8.92/6.25 num=56, depth=73..105, filters=302029, wck=3.907, mem=92M651
8.92/6.25 decisions=77559, wrong=36984, backtracks=33325, failedAssignments=22750, nogoods=1093
8.92/6.25
9.05/6.34 num=57, depth=60..107, filters=307385, wck=3.998, mem=92M651
9.05/6.34 decisions=82954, wrong=39643, backtracks=35978, failedAssignments=25037, nogoods=1103
9.05/6.34
9.15/6.46 num=58, depth=62..107, filters=314818, wck=4.119, mem=95M294
9.15/6.46 decisions=88829, wrong=42541, backtracks=38847, failedAssignments=27553, nogoods=1110
9.15/6.46
9.24/6.59 num=59, depth=75..112, filters=321948, wck=4.247, mem=97M936
9.24/6.59 decisions=95198, wrong=45686, backtracks=41979, failedAssignments=30321, nogoods=1122
9.24/6.59
9.45/6.73 num=60, depth=54..108, filters=330267, wck=4.391, mem=100M579
9.45/6.73 decisions=103204, wrong=49650, backtracks=45925, failedAssignments=33365, nogoods=1144
9.45/6.73
9.65/6.91 num=61, depth=73..113, filters=341700, wck=4.574, mem=103M221
9.65/6.91 decisions=111729, wrong=53873, backtracks=50107, failedAssignments=36714, nogoods=1163
9.65/6.91
9.86/7.15 num=62, depth=73..99, filters=354931, wck=4.81, mem=108M506
9.86/7.15 decisions=122582, wrong=59260, backtracks=55487, failedAssignments=40398, nogoods=1177
9.86/7.15
10.27/7.55 num=63, depth=71..115, filters=383394, wck=5.211, mem=111M148
10.27/7.55 decisions=133123, wrong=64491, backtracks=60481, failedAssignments=44450, nogoods=1213
10.27/7.55
10.68/7.96 num=64, depth=72..109, filters=413487, wck=5.618, mem=116M433
10.68/7.96 decisions=144284, wrong=70032, backtracks=65877, failedAssignments=48907, nogoods=1238
10.68/7.96
10.98/8.20 num=65, depth=73..115, filters=427966, wck=5.865, mem=119M76
10.98/8.20 decisions=155735, wrong=75719, backtracks=71543, failedAssignments=53810, nogoods=1253
10.98/8.20
11.28/8.58 num=66, depth=74..107, filters=456913, wck=6.237, mem=124M361
11.28/8.58 decisions=168380, wrong=82002, backtracks=77636, failedAssignments=59204, nogoods=1275
11.28/8.58
11.59/8.86 num=67, depth=74..109, filters=473845, wck=6.525, mem=129M646
11.59/8.86 decisions=182531, wrong=89038, backtracks=84657, failedAssignments=65137, nogoods=1287
11.59/8.86
11.90/9.16 num=68, depth=53..115, filters=492785, wck=6.821, mem=134M930
11.90/9.16 decisions=198063, wrong=96765, backtracks=92343, failedAssignments=71663, nogoods=1303
11.90/9.16
12.29/9.51 num=69, depth=73..108, filters=513380, wck=7.173, mem=140M215
12.29/9.51 decisions=215321, wrong=105355, backtracks=100925, failedAssignments=78842, nogoods=1323
12.29/9.51
12.63/9.85 num=70, depth=75..113, filters=533048, wck=7.508, mem=28M478
12.63/9.85 decisions=232560, wrong=113935, backtracks=109494, failedAssignments=86739, nogoods=1340
12.63/9.85
13.03/10.21 num=71, depth=73..114, filters=554637, wck=7.873, mem=36M167
13.03/10.21 decisions=252493, wrong=123862, backtracks=119414, failedAssignments=95426, nogoods=1358
13.03/10.21
13.53/10.70 num=72, depth=74..112, filters=582115, wck=8.36, mem=43M856
13.53/10.70 decisions=275500, wrong=135326, backtracks=130864, failedAssignments=104981, nogoods=1375
13.53/10.70
13.94/11.12 num=73, depth=74..114, filters=606905, wck=8.778, mem=54M109
13.94/11.12 decisions=298468, wrong=146771, backtracks=142312, failedAssignments=115492, nogoods=1385
13.94/11.12
14.43/11.66 num=74, depth=74..110, filters=638605, wck=9.322, mem=64M361
14.43/11.66 decisions=326197, wrong=160596, backtracks=156125, failedAssignments=127054, nogoods=1397
14.43/11.66
15.20/12.36 num=75, depth=70..127, filters=682699, wck=10.019, mem=74M614
15.20/12.36 decisions=355291, wrong=175105, backtracks=170459, failedAssignments=139772, nogoods=1414
15.20/12.36
15.90/13.06 num=76, depth=73..113, filters=723229, wck=10.725, mem=87M429
15.90/13.06 decisions=387976, wrong=191408, backtracks=186748, failedAssignments=153762, nogoods=1432
15.90/13.06
17.06/14.18 num=77, depth=72..132, filters=798582, wck=11.839, mem=100M245
17.06/14.18 decisions=425652, wrong=210207, backtracks=204523, failedAssignments=169151, nogoods=1457
17.06/14.18
18.06/15.13 num=78, depth=73..106, filters=850920, wck=12.788, mem=118M187
18.06/15.13 decisions=469198, wrong=231941, backtracks=226247, failedAssignments=186079, nogoods=1466
18.06/15.13
19.35/16.45 num=79, depth=54..122, filters=941919, wck=14.109, mem=131M2
19.35/16.45 decisions=514162, wrong=254384, backtracks=247928, failedAssignments=204700, nogoods=1494
19.35/16.45
20.25/17.33 num=80, depth=73..116, filters=995747, wck=14.994, mem=146M381
20.25/17.33 decisions=561622, wrong=278075, backtracks=271533, failedAssignments=225184, nogoods=1505
20.25/17.33
21.49/18.57 num=81, depth=71..106, filters=1067192, wck=16.232, mem=31M198
21.49/18.57 decisions=622395, wrong=308423, backtracks=301670, failedAssignments=247716, nogoods=1520
21.49/18.57
22.73/19.70 num=82, depth=56..104, filters=1134656, wck=17.358, mem=49M334
22.73/19.70 decisions=688373, wrong=341373, backtracks=334599, failedAssignments=272501, nogoods=1545
22.73/19.70
24.23/21.23 num=83, depth=52..102, filters=1221583, wck=18.895, mem=70M61
24.23/21.23 decisions=775113, wrong=384705, backtracks=377912, failedAssignments=299765, nogoods=1567
24.23/21.23
30.23/27.29 num=84, depth=53..120, filters=1690495, wck=24.954, mem=111M515
30.23/27.29 decisions=875920, wrong=435069, backtracks=422989, failedAssignments=329755, nogoods=1581
30.23/27.29
34.93/31.90 num=85, depth=54..117, filters=2053671, wck=29.56, mem=147M787
34.93/31.90 decisions=970404, wrong=482275, backtracks=467188, failedAssignments=362744, nogoods=1594
34.93/31.90
37.67/34.66 num=86, depth=68..108, filters=2257682, wck=32.319, mem=52M156
37.67/34.66 decisions=1058455, wrong=526261, backtracks=510813, failedAssignments=399032, nogoods=1612
37.67/34.66
40.47/37.46 num=87, depth=58..109, filters=2470193, wck=35.125, mem=80M854
40.47/37.46 decisions=1154985, wrong=574488, backtracks=557959, failedAssignments=438949, nogoods=1626
40.47/37.46
42.47/39.48 num=88, depth=73..115, filters=2591058, wck=37.137, mem=117M379
42.47/39.48 decisions=1253730, wrong=623821, backtracks=607086, failedAssignments=482858, nogoods=1655
42.47/39.48
45.27/42.22 num=89, depth=60..118, filters=2785155, wck=39.883, mem=151M294
45.27/42.22 decisions=1366060, wrong=679947, backtracks=662610, failedAssignments=531158, nogoods=1679
45.27/42.22
47.90/44.85 num=90, depth=70..122, filters=2951076, wck=42.506, mem=64M755
47.90/44.85 decisions=1487859, wrong=740807, backtracks=722944, failedAssignments=584288, nogoods=1694
47.90/44.85
50.60/47.51 num=91, depth=73..113, filters=3113299, wck=45.173, mem=100M862
50.60/47.51 decisions=1620208, wrong=806942, backtracks=788942, failedAssignments=642731, nogoods=1716
50.60/47.51
54.05/50.99 num=92, depth=71..112, filters=3312739, wck=48.651, mem=31M158
54.05/50.99 decisions=1775316, wrong=884457, backtracks=866287, failedAssignments=707018, nogoods=1727
54.05/50.99
58.65/55.54 num=93, depth=54..120, filters=3610009, wck=53.197, mem=79M509
58.65/55.54 decisions=1942852, wrong=968185, backtracks=948671, failedAssignments=777734, nogoods=1755
58.65/55.54
62.85/59.79 num=94, depth=70..115, filters=3863715, wck=57.451, mem=143M130
62.85/59.79 decisions=2164382, wrong=1078911, backtracks=1058738, failedAssignments=855521, nogoods=1782
62.85/59.79
66.88/63.73 num=95, depth=55..115, filters=4104053, wck=61.389, mem=66M197
66.88/63.73 decisions=2363473, wrong=1178417, backtracks=1158027, failedAssignments=941087, nogoods=1796
66.88/63.73
71.29/68.16 num=96, depth=56..112, filters=4366236, wck=65.824, mem=138M924
71.29/68.16 decisions=2605442, wrong=1299362, backtracks=1278833, failedAssignments=1035210, nogoods=1810
71.29/68.16
76.42/73.20 num=97, depth=53..132, filters=4719342, wck=70.858, mem=80M260
76.42/73.20 decisions=2851734, wrong=1422469, backtracks=1400372, failedAssignments=1138745, nogoods=1836
76.42/73.20
82.92/79.77 num=98, depth=70..110, filters=5100378, wck=77.431, mem=67M303
82.92/79.77 decisions=3156624, wrong=1574875, backtracks=1551899, failedAssignments=1252634, nogoods=1847
82.92/79.77
87.82/84.62 num=99, depth=54..110, filters=5403540, wck=82.282, mem=140M177
87.82/84.62 decisions=3457920, wrong=1725484, backtracks=1702480, failedAssignments=1377912, nogoods=1877
87.82/84.62
95.84/92.61 num=100, depth=63..105, filters=5858658, wck=90.269, mem=116M729
95.84/92.61 decisions=3892552, wrong=1942762, backtracks=1919621, failedAssignments=1515718, nogoods=1888
95.84/92.61
102.25/99.05 num=101, depth=55..112, filters=6266176, wck=96.714, mem=91M923
102.25/99.05 decisions=4286031, wrong=2139462, backtracks=2116191, failedAssignments=1667304, nogoods=1919
102.25/99.05
137.56/134.38 num=102, depth=47..231, filters=8953774, wck=132.045, mem=32M762
137.56/134.38 decisions=4845746, wrong=2419282, backtracks=2364116, failedAssignments=1834049, nogoods=1931
137.56/134.38
146.07/142.86 num=103, depth=55..114, filters=9477607, wck=140.518, mem=32M670
146.07/142.86 decisions=5291664, wrong=2642202, backtracks=2586422, failedAssignments=2017468, nogoods=1955
146.07/142.86
154.29/151.08 num=104, depth=65..114, filters=10009586, wck=148.738, mem=34M745
154.29/151.08 decisions=5761510, wrong=2877086, backtracks=2821276, failedAssignments=2219229, nogoods=1977
154.29/151.08
164.99/161.78 num=105, depth=70..104, filters=10658736, wck=159.436, mem=120M493
164.99/161.78 decisions=6325705, wrong=3159144, backtracks=3102285, failedAssignments=2441167, nogoods=1992
164.99/161.78
179.81/176.51 num=106, depth=51..107, filters=11722593, wck=174.168, mem=66M396
179.81/176.51 decisions=6916820, wrong=3454663, backtracks=3393642, failedAssignments=2685298, nogoods=2016
179.81/176.51
190.03/186.71 num=107, depth=50..105, filters=12372755, wck=184.373, mem=118M490
190.03/186.71 decisions=7558460, wrong=3775444, backtracks=3714417, failedAssignments=2953843, nogoods=2024
190.03/186.71
211.55/208.20 num=108, depth=68..106, filters=13938021, wck=205.863, mem=31M701
211.55/208.20 decisions=8321919, wrong=4157134, backtracks=4084030, failedAssignments=3249242, nogoods=2042
211.55/208.20
224.47/221.18 num=109, depth=70..104, filters=14751980, wck=218.843, mem=113M301
224.47/221.18 decisions=9101878, wrong=4547074, backtracks=4473959, failedAssignments=3574181, nogoods=2059
224.47/221.18
262.69/259.37 num=110, depth=60..112, filters=17883003, wck=257.034, mem=40M856
262.69/259.37 decisions=10022638, wrong=5007418, backtracks=4924567, failedAssignments=3931614, nogoods=2072
262.69/259.37
277.81/274.40 num=111, depth=59..113, filters=18850137, wck=272.063, mem=75M958
277.81/274.40 decisions=10956825, wrong=5474472, backtracks=5391570, failedAssignments=4324790, nogoods=2095
277.81/274.40
296.72/293.31 num=112, depth=59..108, filters=20101924, wck=290.969, mem=41M806
296.72/293.31 decisions=11974183, wrong=5983114, backtracks=5898523, failedAssignments=4757284, nogoods=2106
296.72/293.31
322.26/318.85 num=113, depth=69..101, filters=21594649, wck=316.506, mem=71M383
322.26/318.85 decisions=13269672, wrong=6630819, backtracks=6545316, failedAssignments=5233028, nogoods=2123
322.26/318.85
354.28/350.89 num=114, depth=67..107, filters=23948513, wck=348.551, mem=91M699
354.28/350.89 decisions=14570782, wrong=7281335, backtracks=7188238, failedAssignments=5756346, nogoods=2143
354.28/350.89
442.65/439.12 num=115, depth=63..108, filters=31530620, wck=436.78, mem=34M480
442.65/439.12 decisions=16253002, wrong=8122407, backtracks=7998866, failedAssignments=6331996, nogoods=2168
442.65/439.12
471.78/468.26 num=116, depth=70..115, filters=33281231, wck=465.92, mem=68M825
471.78/468.26 decisions=17788643, wrong=8890188, backtracks=8763182, failedAssignments=6965211, nogoods=2186
471.78/468.26
512.31/508.79 num=117, depth=58..108, filters=36136197, wck=506.451, mem=87M661
512.31/508.79 decisions=19476192, wrong=9733923, backtracks=9596990, failedAssignments=7661747, nogoods=2207
512.31/508.79
542.77/539.15 num=118, depth=69..113, filters=38083167, wck=536.814, mem=43M520
542.77/539.15 decisions=21230685, wrong=10611131, backtracks=10473529, failedAssignments=8427937, nogoods=2232
542.77/539.15
603.32/599.63 num=119, depth=67..106, filters=42599097, wck=597.286, mem=55M418
603.32/599.63 decisions=23298071, wrong=11644784, backtracks=11498899, failedAssignments=9270746, nogoods=2247
603.32/599.63
647.18/643.48 num=120, depth=69..117, filters=45526805, wck=641.137, mem=56M806
647.18/643.48 decisions=25433960, wrong=12712691, backtracks=12562354, failedAssignments=10197836, nogoods=2262
647.18/643.48
704.46/700.65 num=121, depth=63..116, filters=49556701, wck=698.306, mem=73M281
704.46/700.65 decisions=27864178, wrong=13927761, backtracks=13771775, failedAssignments=11217635, nogoods=2289
704.46/700.65
753.55/749.68 num=122, depth=70..115, filters=52570673, wck=747.345, mem=47M661
753.55/749.68 decisions=30423487, wrong=15207376, backtracks=15049603, failedAssignments=12339414, nogoods=2311
753.55/749.68
832.46/828.43 num=123, depth=64..112, filters=58404349, wck=826.089, mem=53M34
832.46/828.43 decisions=33361973, wrong=16676580, backtracks=16505026, failedAssignments=13573371, nogoods=2334
832.46/828.43
900.06/895.92 num=124, depth=69..108, filters=62737620, wck=893.579, mem=69M44
900.06/895.92 decisions=36642059, wrong=18316585, backtracks=18140319, failedAssignments=14930724, nogoods=2355
900.06/895.92
977.95/973.77 num=125, depth=51..111, filters=68141048, wck=971.431, mem=77M625
977.95/973.77 decisions=40168548, wrong=20079791, backtracks=19893207, failedAssignments=16423812, nogoods=2371
977.95/973.77
1050.39/1046.06 num=126, depth=68..116, filters=72737097, wck=1043.721, mem=50M911
1050.39/1046.06 decisions=43975011, wrong=21982983, backtracks=21791761, failedAssignments=18066209, nogoods=2387
1050.39/1046.06
1132.90/1128.46 num=127, depth=69..113, filters=78123532, wck=1126.119, mem=72M318
1132.90/1128.46 decisions=48209001, wrong=24099938, backtracks=23905893, failedAssignments=19872846, nogoods=2405
1132.90/1128.46
1312.13/1307.59 num=128, depth=66..115, filters=91456325, wck=1305.248, mem=60M578
1312.13/1307.59 decisions=53199760, wrong=26595278, backtracks=26367065, failedAssignments=21860147, nogoods=2434
1312.13/1307.59
1401.24/1396.53 num=129, depth=57..106, filters=96898086, wck=1394.187, mem=26M377
1401.24/1396.53 decisions=58621988, wrong=29306353, backtracks=29078123, failedAssignments=24046178, nogoods=2450
1401.24/1396.53
1535.46/1530.63 num=130, depth=56..114, filters=106291327, wck=1528.295, mem=63M827
1535.46/1530.63 decisions=64461220, wrong=32225929, backtracks=31979304, failedAssignments=26450812, nogoods=2473
1535.46/1530.63
1666.12/1661.16 num=131, depth=68..109, filters=114137421, wck=1658.824, mem=75M617
1666.12/1661.16 decisions=71489033, wrong=35739796, backtracks=35483207, failedAssignments=29095909, nogoods=2487
1666.12/1661.16
1887.18/1882.08 num=132, depth=61..110, filters=130384180, wck=1879.743, mem=39M277
1887.18/1882.08 decisions=79339670, wrong=39665075, backtracks=39338033, failedAssignments=32005516, nogoods=2502
1887.18/1882.08
2222.37/2217.02 num=133, depth=62..139, filters=156708093, wck=2214.681, mem=39M301
2222.37/2217.02 decisions=88077319, wrong=44033860, backtracks=43618780, failedAssignments=35206084, nogoods=2515
2222.37/2217.02
2363.73/2358.21 num=134, depth=71..112, filters=165422283, wck=2355.866, mem=39M326
2363.73/2358.21 decisions=96427558, wrong=48208940, backtracks=47791613, failedAssignments=38726709, nogoods=2533
2363.73/2358.21
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 (15030 MiB free)
memory of node 1: 16384 MiB (15413 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390489-1568380599/watcher-4390489-1568380599 -o /tmp/evaluation-result-4390489-1568380599/solver-4390489-1568380599 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568376800-8553 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390489-1568380599.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8681, runsolver pid=8678
[startup+0.102882 s]*
/proc/loadavg: 1.45 0.48 0.21 4/228 8696
/proc/meminfo: memFree=31159468/32770624 swapFree=66922024/67108860
[pid=8681] ppid=8678 vsize=10659884 memory=27584 CPUtime=0.14 cores=1,3,5,7
/proc/8681/stat : 8681 (java) S 8678 8681 8521 0 -1 1077944320 5481 0 0 0 13 1 0 0 20 0 15 0 414315966 10915721216 6896 33554432000 4194304 4196468 140720386344064 140720386326608 140224881184503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
/proc/8681/statm: 2664971 6896 2846 1 0 2627468 0
[pid=8681/tid=8683] ppid=8678 vsize=10659884 memory=-8617482348318186131 CPUtime=0.09 cores=1,3,5,7
/proc/8681/task/8683/stat : 8683 (java) R 8678 8681 8521 0 -1 4202560 3246 0 0 0 9 0 0 0 20 0 15 0 414315966 10915721216 7028 33554432000 4194304 4196468 140720386344064 140224885415944 140224863053037 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8684] ppid=8678 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8684/stat : 8684 (java) S 8678 8681 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414315967 10915721216 7028 33554432000 4194304 4196468 140720386344064 140224487939088 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8685] ppid=8678 vsize=10659884 memory=140714627294848 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8685/stat : 8685 (java) S 8678 8681 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414315967 10915721216 7028 33554432000 4194304 4196468 140720386344064 140224486886544 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8686] ppid=8678 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8686/stat : 8686 (java) S 8678 8681 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414315967 10915721216 7028 33554432000 4194304 4196468 140720386344064 140224485833488 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8687] ppid=8678 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8687/stat : 8687 (java) S 8678 8681 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414315967 10915721216 7028 33554432000 4194304 4196468 140720386344064 140224484780944 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8688] ppid=8678 vsize=10659884 memory=140714627294848 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8688/stat : 8688 (java) S 8678 8681 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414315969 10915721216 7028 33554432000 4194304 4196468 140720386344064 140223916792048 140224881195650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8689] ppid=8678 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8689/stat : 8689 (java) S 8678 8681 8521 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414315969 10915721216 7028 33554432000 4194304 4196468 140720386344064 140223915738272 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8690] ppid=8678 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8690/stat : 8690 (java) S 8678 8681 8521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414315969 10915721216 7028 33554432000 4194304 4196468 140720386344064 140223914685168 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8691] ppid=8678 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8691/stat : 8691 (java) S 8678 8681 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414315972 10915721216 7028 33554432000 4194304 4196468 140720386344064 140223913633744 140224881203099 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8692] ppid=8678 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8681/task/8692/stat : 8692 (java) R 8678 8681 8521 0 -1 4202560 427 0 0 0 1 0 0 0 20 0 15 0 414315972 10915721216 7028 33554432000 4194304 4196468 140720386344064 140223912581872 140224867206705 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8693] ppid=8678 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8693/stat : 8693 (java) R 8678 8681 8521 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 414315972 10915721216 7028 33554432000 4194304 4196468 140720386344064 140223911529328 140224881195650 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8694] ppid=8678 vsize=10659884 memory=140714627294848 CPUtime=0.02 cores=1,3,5,7
/proc/8681/task/8694/stat : 8694 (java) R 8678 8681 8521 0 -1 4202560 411 0 0 0 2 0 0 0 20 0 15 0 414315972 10915721216 7028 33554432000 4194304 4196468 140720386344064 140223910472152 140224860125950 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8695] ppid=8678 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8695/stat : 8695 (java) S 8678 8681 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414315972 10915721216 7028 33554432000 4194304 4196468 140720386344064 140223909423968 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8696] ppid=8678 vsize=10659884 memory=140714627294848 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8696/stat : 8696 (java) S 8678 8681 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414315972 10915721216 7028 33554432000 4194304 4196468 140720386344064 140223908370992 140224881195650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27584 KiB
[startup+0.210705 s]*
/proc/loadavg: 1.45 0.48 0.21 3/228 8696
/proc/meminfo: memFree=31152740/32770624 swapFree=66922024/67108860
[pid=8681] ppid=8678 vsize=10659884 memory=35116 CPUtime=0.32 cores=1,3,5,7
/proc/8681/stat : 8681 (java) S 8678 8681 8521 0 -1 1077944320 6936 0 0 0 31 1 0 0 20 0 15 0 414315966 10915721216 8779 33554432000 4194304 4196468 140720386344064 140720386326608 140224881184503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
/proc/8681/statm: 2664971 8779 2990 1 0 2627468 0
[pid=8681/tid=8683] ppid=8678 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/8681/task/8683/stat : 8683 (java) R 8678 8681 8521 0 -1 4202560 3892 0 0 0 19 1 0 0 20 0 15 0 414315966 10915721216 8779 33554432000 4194304 4196468 140720386344064 140224885410864 140224881206429 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8684] ppid=8678 vsize=10659884 memory=365 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8684/stat : 8684 (java) S 8678 8681 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414315967 10915721216 8779 33554432000 4194304 4196468 140720386344064 140224487939088 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8685] ppid=8678 vsize=10659884 memory=140714627303786 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8685/stat : 8685 (java) S 8678 8681 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414315967 10915721216 8779 33554432000 4194304 4196468 140720386344064 140224486886544 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8686] ppid=8678 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8686/stat : 8686 (java) S 8678 8681 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414315967 10915721216 8779 33554432000 4194304 4196468 140720386344064 140224485833488 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8687] ppid=8678 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8687/stat : 8687 (java) S 8678 8681 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414315967 10915721216 8779 33554432000 4194304 4196468 140720386344064 140224484780944 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8688] ppid=8678 vsize=10659884 memory=140714627294848 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8688/stat : 8688 (java) S 8678 8681 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414315969 10915721216 8779 33554432000 4194304 4196468 140720386344064 140223916792048 140224881195650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8689] ppid=8678 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8689/stat : 8689 (java) S 8678 8681 8521 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414315969 10915721216 8779 33554432000 4194304 4196468 140720386344064 140223915738272 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8690] ppid=8678 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8690/stat : 8690 (java) S 8678 8681 8521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414315969 10915721216 8779 33554432000 4194304 4196468 140720386344064 140223914685168 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8691] ppid=8678 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8691/stat : 8691 (java) S 8678 8681 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414315972 10915721216 8779 33554432000 4194304 4196468 140720386344064 140223913633744 140224881203099 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8692] ppid=8678 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8681/task/8692/stat : 8692 (java) S 8678 8681 8521 0 -1 1077944384 705 0 0 0 3 0 0 0 20 0 15 0 414315972 10915721216 8779 33554432000 4194304 4196468 140720386344064 140223912581872 140224881195650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8693] ppid=8678 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8681/task/8693/stat : 8693 (java) S 8678 8681 8521 0 -1 1077944384 275 0 0 0 2 0 0 0 20 0 15 0 414315972 10915721216 8779 33554432000 4194304 4196468 140720386344064 140223911529328 140224881195650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8694] ppid=8678 vsize=10659884 memory=140714627294848 CPUtime=0.05 cores=1,3,5,7
/proc/8681/task/8694/stat : 8694 (java) S 8678 8681 8521 0 -1 1077944384 705 0 0 0 5 0 0 0 20 0 15 0 414315972 10915721216 8779 33554432000 4194304 4196468 140720386344064 140223910476272 140224881195650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8695] ppid=8678 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8695/stat : 8695 (java) S 8678 8681 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414315972 10915721216 8779 33554432000 4194304 4196468 140720386344064 140223909423968 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8696] ppid=8678 vsize=10659884 memory=140714627294848 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8696/stat : 8696 (java) S 8678 8681 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414315972 10915721216 8779 33554432000 4194304 4196468 140720386344064 140223908370992 140224881195650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35116 KiB
[startup+0.310101 s]*
/proc/loadavg: 1.45 0.48 0.21 3/228 8696
/proc/meminfo: memFree=31144648/32770624 swapFree=66922024/67108860
[pid=8681] ppid=8678 vsize=10659884 memory=40504 CPUtime=0.47 cores=1,3,5,7
/proc/8681/stat : 8681 (java) S 8678 8681 8521 0 -1 1077944320 9483 0 0 0 44 3 0 0 20 0 15 0 414315966 10915721216 10126 33554432000 4194304 4196468 140720386344064 140720386326608 140224881184503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
/proc/8681/statm: 2664971 10126 3003 1 0 2627468 0
[pid=8681/tid=8683] ppid=8678 vsize=10659884 memory=8390339637985935414 CPUtime=0.3 cores=1,3,5,7
/proc/8681/task/8683/stat : 8683 (java) R 8678 8681 8521 0 -1 4202560 6360 0 0 0 28 2 0 0 20 0 15 0 414315966 10915721216 10126 33554432000 4194304 4196468 140720386344064 140224885416304 140224881206429 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8684] ppid=8678 vsize=10659884 memory=304556144784048151 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8684/stat : 8684 (java) S 8678 8681 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414315967 10915721216 10126 33554432000 4194304 4196468 140720386344064 140224487939088 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8685] ppid=8678 vsize=10659884 memory=15119590105540248 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8685/stat : 8685 (java) S 8678 8681 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414315967 10915721216 10126 33554432000 4194304 4196468 140720386344064 140224486886544 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8686] ppid=8678 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8686/stat : 8686 (java) S 8678 8681 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414315967 10915721216 10126 33554432000 4194304 4196468 140720386344064 140224485833488 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8687] ppid=8678 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8687/stat : 8687 (java) S 8678 8681 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414315967 10915721216 10126 33554432000 4194304 4196468 140720386344064 140224484780944 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8688] ppid=8678 vsize=10659884 memory=140714627294848 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8688/stat : 8688 (java) S 8678 8681 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414315969 10915721216 10126 33554432000 4194304 4196468 140720386344064 140223916792048 140224881195650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8689] ppid=8678 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8689/stat : 8689 (java) S 8678 8681 8521 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414315969 10915721216 10126 33554432000 4194304 4196468 140720386344064 140223915738272 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8690] ppid=8678 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8690/stat : 8690 (java) S 8678 8681 8521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414315969 10915721216 10126 33554432000 4194304 4196468 140720386344064 140223914685168 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8691] ppid=8678 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8691/stat : 8691 (java) S 8678 8681 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414315972 10915721216 10126 33554432000 4194304 4196468 140720386344064 140223913633744 140224881203099 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8692] ppid=8678 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/8681/task/8692/stat : 8692 (java) S 8678 8681 8521 0 -1 1077944384 713 0 0 0 4 0 0 0 20 0 15 0 414315972 10915721216 10126 33554432000 4194304 4196468 140720386344064 140223912581872 140224881195650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8693] ppid=8678 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/8681/task/8693/stat : 8693 (java) S 8678 8681 8521 0 -1 1077944384 315 0 0 0 3 0 0 0 20 0 15 0 414315972 10915721216 10126 33554432000 4194304 4196468 140720386344064 140223911529328 140224881195650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8694] ppid=8678 vsize=10659884 memory=140714627294848 CPUtime=0.07 cores=1,3,5,7
/proc/8681/task/8694/stat : 8694 (java) S 8678 8681 8521 0 -1 1077944384 740 0 0 0 7 0 0 0 20 0 15 0 414315972 10915721216 10126 33554432000 4194304 4196468 140720386344064 140223910476272 140224881195650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8695] ppid=8678 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8695/stat : 8695 (java) S 8678 8681 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414315972 10915721216 10126 33554432000 4194304 4196468 140720386344064 140223909423968 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8696] ppid=8678 vsize=10659884 memory=140714627294848 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8696/stat : 8696 (java) S 8678 8681 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414315972 10915721216 10126 33554432000 4194304 4196468 140720386344064 140223908370992 140224881195650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40504 KiB
[startup+0.700767 s]
/proc/loadavg: 1.45 0.48 0.21 3/228 8696
/proc/meminfo: memFree=31137228/32770624 swapFree=66922024/67108860
[pid=8681] ppid=8678 vsize=10661932 memory=62648 CPUtime=1.09 cores=1,3,5,7
/proc/8681/stat : 8681 (java) S 8678 8681 8521 0 -1 1077944320 12804 0 0 0 104 5 0 0 20 0 15 0 414315966 10917818368 15662 33554432000 4194304 4196468 140720386344064 140720386326608 140224881184503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
/proc/8681/statm: 2665483 15662 3073 1 0 2627980 0
[pid=8681/tid=8683] ppid=8678 vsize=10661932 memory=1284 CPUtime=0.68 cores=1,3,5,7
/proc/8681/task/8683/stat : 8683 (java) R 8678 8681 8521 0 -1 4202560 8911 0 0 0 64 4 0 0 20 0 15 0 414315966 10917818368 15662 33554432000 4194304 4196468 140720386344064 140224885416528 140224862748080 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8684] ppid=8678 vsize=10661932 memory=1044 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8684/stat : 8684 (java) S 8678 8681 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414315967 10917818368 15662 33554432000 4194304 4196468 140720386344064 140224487939088 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8685] ppid=8678 vsize=10661932 memory=708 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8685/stat : 8685 (java) S 8678 8681 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414315967 10917818368 15662 33554432000 4194304 4196468 140720386344064 140224486886544 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8686] ppid=8678 vsize=10661932 memory=9364 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8686/stat : 8686 (java) S 8678 8681 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414315967 10917818368 15662 33554432000 4194304 4196468 140720386344064 140224485833488 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8687] ppid=8678 vsize=10661932 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8687/stat : 8687 (java) S 8678 8681 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414315967 10917818368 15662 33554432000 4194304 4196468 140720386344064 140224484780944 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8688] ppid=8678 vsize=10661932 memory=776 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8688/stat : 8688 (java) S 8678 8681 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414315969 10917818368 15662 33554432000 4194304 4196468 140720386344064 140223916792048 140224881195650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8689] ppid=8678 vsize=10661932 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8689/stat : 8689 (java) S 8678 8681 8521 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414315969 10917818368 15662 33554432000 4194304 4196468 140720386344064 140223915738272 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8690] ppid=8678 vsize=10661932 memory=8040 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8690/stat : 8690 (java) S 8678 8681 8521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414315969 10917818368 15662 33554432000 4194304 4196468 140720386344064 140223914685168 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8691] ppid=8678 vsize=10661932 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8691/stat : 8691 (java) S 8678 8681 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414315972 10917818368 15662 33554432000 4194304 4196468 140720386344064 140223913633744 140224881203099 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8692] ppid=8678 vsize=10661932 memory=7811607157311039314 CPUtime=0.1 cores=1,3,5,7
/proc/8681/task/8692/stat : 8692 (java) R 8678 8681 8521 0 -1 4202560 935 0 0 0 10 0 0 0 20 0 15 0 414315972 10917818368 15662 33554432000 4194304 4196468 140720386344064 140223912581872 140224866310272 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8693] ppid=8678 vsize=10661932 memory=5865188000529146989 CPUtime=0.09 cores=1,3,5,7
/proc/8681/task/8693/stat : 8693 (java) S 8678 8681 8521 0 -1 1077944384 549 0 0 0 9 0 0 0 20 0 15 0 414315972 10917818368 15662 33554432000 4194304 4196468 140720386344064 140223911529328 140224881195650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8694] ppid=8678 vsize=10661932 memory=-8412654363917126771 CPUtime=0.18 cores=1,3,5,7
/proc/8681/task/8694/stat : 8694 (java) S 8678 8681 8521 0 -1 1077944384 1050 0 0 0 18 0 0 0 20 0 15 0 414315972 10917818368 15662 33554432000 4194304 4196468 140720386344064 140223910476272 140224881195650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8695] ppid=8678 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8695/stat : 8695 (java) S 8678 8681 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414315972 10917818368 15662 33554432000 4194304 4196468 140720386344064 140223909423968 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8696] ppid=8678 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8696/stat : 8696 (java) S 8678 8681 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414315972 10917818368 15662 33554432000 4194304 4196468 140720386344064 140223908370992 140224881195650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62648 KiB
[startup+1.50078 s]
/proc/loadavg: 1.45 0.48 0.21 3/228 8696
/proc/meminfo: memFree=31120792/32770624 swapFree=66922024/67108860
[pid=8681] ppid=8678 vsize=10663980 memory=74920 CPUtime=1.97 cores=1,3,5,7
/proc/8681/stat : 8681 (java) S 8678 8681 8521 0 -1 1077944320 16425 0 0 0 192 5 0 0 20 0 15 0 414315966 10919915520 18730 33554432000 4194304 4196468 140720386344064 140720386326608 140224881184503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
/proc/8681/statm: 2665995 18730 3091 1 0 2628492 0
[pid=8681/tid=8683] ppid=8678 vsize=10663980 memory=8112282956445269571 CPUtime=1.48 cores=1,3,5,7
/proc/8681/task/8683/stat : 8683 (java) R 8678 8681 8521 0 -1 4202560 11508 0 0 0 144 4 0 0 20 0 15 0 414315966 10919915520 18730 33554432000 4194304 4196468 140720386344064 140224885416528 140224861460239 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8684] ppid=8678 vsize=10663980 memory=33 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8684/stat : 8684 (java) S 8678 8681 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414315967 10919915520 18730 33554432000 4194304 4196468 140720386344064 140224487939088 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8685] ppid=8678 vsize=10663980 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8685/stat : 8685 (java) S 8678 8681 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414315967 10919915520 18730 33554432000 4194304 4196468 140720386344064 140224486886544 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8686] ppid=8678 vsize=10663980 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8686/stat : 8686 (java) S 8678 8681 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414315967 10919915520 18730 33554432000 4194304 4196468 140720386344064 140224485833488 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8687] ppid=8678 vsize=10663980 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8687/stat : 8687 (java) S 8678 8681 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414315967 10919915520 18730 33554432000 4194304 4196468 140720386344064 140224484780944 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8688] ppid=8678 vsize=10663980 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8688/stat : 8688 (java) S 8678 8681 8521 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 414315969 10919915520 18730 33554432000 4194304 4196468 140720386344064 140223916792048 140224881195650 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
################
# More data... #
################
/proc/8681/task/8687/stat : 8687 (java) S 8678 8681 8521 0 -1 1077944384 3011 0 0 0 76 3 0 0 20 0 16 0 414315967 11006283776 47931 33554432000 4194304 4196468 140720386344064 140224484780944 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8688] ppid=8678 vsize=10748324 memory=191724 CPUtime=0.36 cores=1,3,5,7
/proc/8681/task/8688/stat : 8688 (java) S 8678 8681 8521 0 -1 1077944384 4441 0 0 0 32 4 0 0 20 0 16 0 414315969 11006283776 47931 33554432000 4194304 4196468 140720386344064 140223916792048 140224881195650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8689] ppid=8678 vsize=10748324 memory=191724 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8689/stat : 8689 (java) S 8678 8681 8521 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414315969 11006283776 47931 33554432000 4194304 4196468 140720386344064 140223915738336 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8690] ppid=8678 vsize=10748324 memory=191724 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8690/stat : 8690 (java) S 8678 8681 8521 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414315969 11006283776 47931 33554432000 4194304 4196468 140720386344064 140223914685184 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8691] ppid=8678 vsize=10748324 memory=191724 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8691/stat : 8691 (java) S 8678 8681 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414315972 11006283776 47931 33554432000 4194304 4196468 140720386344064 140223913633744 140224881203099 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8692] ppid=8678 vsize=10748324 memory=191724 CPUtime=1.23 cores=1,3,5,7
/proc/8681/task/8692/stat : 8692 (java) S 8678 8681 8521 0 -1 1077944384 5881 0 0 0 122 1 0 0 20 0 16 0 414315972 11006283776 47931 33554432000 4194304 4196468 140720386344064 140223912581872 140224881195650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8693] ppid=8678 vsize=10748324 memory=191724 CPUtime=1.08 cores=1,3,5,7
/proc/8681/task/8693/stat : 8693 (java) S 8678 8681 8521 0 -1 1077944384 3536 0 0 0 107 1 0 0 20 0 16 0 414315972 11006283776 47931 33554432000 4194304 4196468 140720386344064 140223911529328 140224881195650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8694] ppid=8678 vsize=10748324 memory=6140 CPUtime=0.66 cores=1,3,5,7
/proc/8681/task/8694/stat : 8694 (java) S 8678 8681 8521 0 -1 1077944384 8138 0 0 0 65 1 0 0 20 0 16 0 414315972 11006283776 47931 33554432000 4194304 4196468 140720386344064 140223910476272 140224881195650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8695] ppid=8678 vsize=10748324 memory=1680 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8695/stat : 8695 (java) S 8678 8681 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414315972 11006283776 47931 33554432000 4194304 4196468 140720386344064 140223909423968 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8696] ppid=8678 vsize=10748324 memory=1444 CPUtime=0.46 cores=1,3,5,7
/proc/8681/task/8696/stat : 8696 (java) S 8678 8681 8521 0 -1 1077944384 797 0 0 0 19 27 0 0 20 0 16 0 414315972 11006283776 47931 33554432000 4194304 4196468 140720386344064 140223908370992 140224881195650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8697] ppid=8678 vsize=10748324 memory=191724 CPUtime=2378.93 cores=1,3,5,7
/proc/8681/task/8697/stat : 8697 (java) R 8678 8681 8521 0 -1 4202560 14698 0 0 0 237888 5 0 0 20 0 16 0 414316154 11006283776 47931 33554432000 4194304 4196468 140720386344064 140223583301200 140224524921491 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
Current children cumulated CPU time: 2387.84 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 191724 KiB
[startup+2442.3 s]
/proc/loadavg: 1.87 1.88 1.78 3/228 8999
/proc/meminfo: memFree=31076412/32770624 swapFree=66922064/67108860
[pid=8681] ppid=8678 vsize=10748324 memory=191724 CPUtime=2447.89 cores=1,3,5,7
/proc/8681/stat : 8681 (java) S 8678 8681 8521 0 -1 1077944320 66968 0 0 0 244734 55 0 0 20 0 16 0 414315966 11006283776 47931 33554432000 4194304 4196468 140720386344064 140720386326608 140224881184503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
/proc/8681/statm: 2687081 47931 3374 1 0 2647217 0
[pid=8681/tid=8683] ppid=8678 vsize=10748324 memory=191724 CPUtime=1.85 cores=1,3,5,7
/proc/8681/task/8683/stat : 8683 (java) S 8678 8681 8521 0 -1 1077944384 13187 0 0 0 180 5 0 0 20 0 16 0 414315966 11006283776 47931 33554432000 4194304 4196468 140720386344064 140224885427376 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8684] ppid=8678 vsize=10748324 memory=191724 CPUtime=0.8 cores=1,3,5,7
/proc/8681/task/8684/stat : 8684 (java) S 8678 8681 8521 0 -1 1077944384 3192 0 0 0 76 4 0 0 20 0 16 0 414315967 11006283776 47931 33554432000 4194304 4196468 140720386344064 140224487939088 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8685] ppid=8678 vsize=10748324 memory=191724 CPUtime=0.79 cores=1,3,5,7
/proc/8681/task/8685/stat : 8685 (java) S 8678 8681 8521 0 -1 1077944384 3673 0 0 0 77 2 0 0 20 0 16 0 414315967 11006283776 47931 33554432000 4194304 4196468 140720386344064 140224486886544 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8686] ppid=8678 vsize=10748324 memory=191724 CPUtime=0.81 cores=1,3,5,7
/proc/8681/task/8686/stat : 8686 (java) S 8678 8681 8521 0 -1 1077944384 4940 0 0 0 78 3 0 0 20 0 16 0 414315967 11006283776 47931 33554432000 4194304 4196468 140720386344064 140224485833488 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8687] ppid=8678 vsize=10748324 memory=191724 CPUtime=0.8 cores=1,3,5,7
/proc/8681/task/8687/stat : 8687 (java) S 8678 8681 8521 0 -1 1077944384 3012 0 0 0 77 3 0 0 20 0 16 0 414315967 11006283776 47931 33554432000 4194304 4196468 140720386344064 140224484780944 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8688] ppid=8678 vsize=10748324 memory=191724 CPUtime=0.37 cores=1,3,5,7
/proc/8681/task/8688/stat : 8688 (java) S 8678 8681 8521 0 -1 1077944384 4447 0 0 0 33 4 0 0 20 0 16 0 414315969 11006283776 47931 33554432000 4194304 4196468 140720386344064 140223916792048 140224881195650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8689] ppid=8678 vsize=10748324 memory=191724 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8689/stat : 8689 (java) S 8678 8681 8521 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414315969 11006283776 47931 33554432000 4194304 4196468 140720386344064 140223915738336 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8690] ppid=8678 vsize=10748324 memory=191724 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8690/stat : 8690 (java) S 8678 8681 8521 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414315969 11006283776 47931 33554432000 4194304 4196468 140720386344064 140223914685184 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8691] ppid=8678 vsize=10748324 memory=191724 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8691/stat : 8691 (java) S 8678 8681 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414315972 11006283776 47931 33554432000 4194304 4196468 140720386344064 140223913633744 140224881203099 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8692] ppid=8678 vsize=10748324 memory=191724 CPUtime=1.23 cores=1,3,5,7
/proc/8681/task/8692/stat : 8692 (java) S 8678 8681 8521 0 -1 1077944384 5881 0 0 0 122 1 0 0 20 0 16 0 414315972 11006283776 47931 33554432000 4194304 4196468 140720386344064 140223912581872 140224881195650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8693] ppid=8678 vsize=10748324 memory=191724 CPUtime=1.08 cores=1,3,5,7
/proc/8681/task/8693/stat : 8693 (java) S 8678 8681 8521 0 -1 1077944384 3536 0 0 0 107 1 0 0 20 0 16 0 414315972 11006283776 47931 33554432000 4194304 4196468 140720386344064 140223911529328 140224881195650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8694] ppid=8678 vsize=10748324 memory=191724 CPUtime=0.66 cores=1,3,5,7
/proc/8681/task/8694/stat : 8694 (java) S 8678 8681 8521 0 -1 1077944384 8138 0 0 0 65 1 0 0 20 0 16 0 414315972 11006283776 47931 33554432000 4194304 4196468 140720386344064 140223910476272 140224881195650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8695] ppid=8678 vsize=10748324 memory=191724 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8695/stat : 8695 (java) S 8678 8681 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414315972 11006283776 47931 33554432000 4194304 4196468 140720386344064 140223909423968 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8696] ppid=8678 vsize=10748324 memory=2620 CPUtime=0.48 cores=1,3,5,7
/proc/8681/task/8696/stat : 8696 (java) S 8678 8681 8521 0 -1 1077944384 801 0 0 0 20 28 0 0 20 0 16 0 414315972 11006283776 47931 33554432000 4194304 4196468 140720386344064 140223908370992 140224881195650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8697] ppid=8678 vsize=10748324 memory=191724 CPUtime=2438.91 cores=1,3,5,7
/proc/8681/task/8697/stat : 8697 (java) R 8678 8681 8521 0 -1 4202560 14727 0 0 0 243886 5 0 0 20 0 16 0 414316154 11006283776 47931 33554432000 4194304 4196468 140720386344064 140223583300992 140224525318009 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
Current children cumulated CPU time: 2447.89 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 191724 KiB
[startup+2502.3 s]
/proc/loadavg: 1.95 1.90 1.79 3/228 9005
/proc/meminfo: memFree=30981828/32770624 swapFree=66922064/67108860
[pid=8681] ppid=8678 vsize=10748324 memory=191728 CPUtime=2507.94 cores=1,3,5,7
/proc/8681/stat : 8681 (java) S 8678 8681 8521 0 -1 1077944320 67296 0 0 0 250738 56 0 0 20 0 16 0 414315966 11006283776 47932 33554432000 4194304 4196468 140720386344064 140720386326608 140224881184503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
/proc/8681/statm: 2687081 47932 3374 1 0 2647217 0
[pid=8681/tid=8683] ppid=8678 vsize=10748324 memory=191724 CPUtime=1.85 cores=1,3,5,7
/proc/8681/task/8683/stat : 8683 (java) S 8678 8681 8521 0 -1 1077944384 13187 0 0 0 180 5 0 0 20 0 16 0 414315966 11006283776 47932 33554432000 4194304 4196468 140720386344064 140224885427376 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8684] ppid=8678 vsize=10748324 memory=191724 CPUtime=0.81 cores=1,3,5,7
/proc/8681/task/8684/stat : 8684 (java) S 8678 8681 8521 0 -1 1077944384 3202 0 0 0 77 4 0 0 20 0 16 0 414315967 11006283776 47932 33554432000 4194304 4196468 140720386344064 140224487939088 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8685] ppid=8678 vsize=10748324 memory=191728 CPUtime=0.81 cores=1,3,5,7
/proc/8681/task/8685/stat : 8685 (java) S 8678 8681 8521 0 -1 1077944384 3686 0 0 0 79 2 0 0 20 0 16 0 414315967 11006283776 47932 33554432000 4194304 4196468 140720386344064 140224486886544 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8686] ppid=8678 vsize=10748324 memory=191728 CPUtime=0.82 cores=1,3,5,7
/proc/8681/task/8686/stat : 8686 (java) S 8678 8681 8521 0 -1 1077944384 5184 0 0 0 79 3 0 0 20 0 16 0 414315967 11006283776 47932 33554432000 4194304 4196468 140720386344064 140224485833488 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8687] ppid=8678 vsize=10748324 memory=191728 CPUtime=0.82 cores=1,3,5,7
/proc/8681/task/8687/stat : 8687 (java) S 8678 8681 8521 0 -1 1077944384 3014 0 0 0 79 3 0 0 20 0 16 0 414315967 11006283776 47932 33554432000 4194304 4196468 140720386344064 140224484780944 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8688] ppid=8678 vsize=10748324 memory=191728 CPUtime=0.37 cores=1,3,5,7
/proc/8681/task/8688/stat : 8688 (java) S 8678 8681 8521 0 -1 1077944384 4467 0 0 0 33 4 0 0 20 0 16 0 414315969 11006283776 47932 33554432000 4194304 4196468 140720386344064 140223916792048 140224881195650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8689] ppid=8678 vsize=10748324 memory=191728 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8689/stat : 8689 (java) S 8678 8681 8521 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414315969 11006283776 47932 33554432000 4194304 4196468 140720386344064 140223915738336 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8690] ppid=8678 vsize=10748324 memory=191728 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8690/stat : 8690 (java) S 8678 8681 8521 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414315969 11006283776 47932 33554432000 4194304 4196468 140720386344064 140223914685184 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8691] ppid=8678 vsize=10748324 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8691/stat : 8691 (java) S 8678 8681 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414315972 11006283776 47932 33554432000 4194304 4196468 140720386344064 140223913633744 140224881203099 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8692] ppid=8678 vsize=10748324 memory=191728 CPUtime=1.23 cores=1,3,5,7
/proc/8681/task/8692/stat : 8692 (java) S 8678 8681 8521 0 -1 1077944384 5883 0 0 0 122 1 0 0 20 0 16 0 414315972 11006283776 47932 33554432000 4194304 4196468 140720386344064 140223912581872 140224881195650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8693] ppid=8678 vsize=10748324 memory=191728 CPUtime=1.08 cores=1,3,5,7
/proc/8681/task/8693/stat : 8693 (java) S 8678 8681 8521 0 -1 1077944384 3538 0 0 0 107 1 0 0 20 0 16 0 414315972 11006283776 47932 33554432000 4194304 4196468 140720386344064 140223911529328 140224881195650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8694] ppid=8678 vsize=10748324 memory=81 CPUtime=0.66 cores=1,3,5,7
/proc/8681/task/8694/stat : 8694 (java) S 8678 8681 8521 0 -1 1077944384 8140 0 0 0 65 1 0 0 20 0 16 0 414315972 11006283776 47932 33554432000 4194304 4196468 140720386344064 140223910476272 140224881195650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8695] ppid=8678 vsize=10748324 memory=81 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8695/stat : 8695 (java) S 8678 8681 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414315972 11006283776 47932 33554432000 4194304 4196468 140720386344064 140223909423968 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8696] ppid=8678 vsize=10748324 memory=19404 CPUtime=0.48 cores=1,3,5,7
/proc/8681/task/8696/stat : 8696 (java) S 8678 8681 8521 0 -1 1077944384 807 0 0 0 20 28 0 0 20 0 16 0 414315972 11006283776 47932 33554432000 4194304 4196468 140720386344064 140223908370992 140224881195650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8697] ppid=8678 vsize=10748324 memory=988 CPUtime=2498.88 cores=1,3,5,7
/proc/8681/task/8697/stat : 8697 (java) R 8678 8681 8521 0 -1 4202560 14754 0 0 0 249883 5 0 0 20 0 16 0 414316154 11006283776 47932 33554432000 4194304 4196468 140720386344064 140223583300992 140224525280531 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
Current children cumulated CPU time: 2507.94 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 191728 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2514.4 s]
/proc/loadavg: 2.04 1.92 1.80 3/228 9005
/proc/meminfo: memFree=30981860/32770624 swapFree=66922064/67108860
[pid=8681] ppid=8678 vsize=10748324 memory=191728 CPUtime=2520.04 cores=1,3,5,7
/proc/8681/stat : 8681 (java) S 8678 8681 8521 0 -1 1077944320 67302 0 0 0 251948 56 0 0 20 0 16 0 414315966 11006283776 47932 33554432000 4194304 4196468 140720386344064 140720386326608 140224881184503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
/proc/8681/statm: 2687081 47932 3374 1 0 2647217 0
[pid=8681/tid=8683] ppid=8678 vsize=10748324 memory=1284 CPUtime=1.85 cores=1,3,5,7
/proc/8681/task/8683/stat : 8683 (java) S 8678 8681 8521 0 -1 1077944384 13187 0 0 0 180 5 0 0 20 0 16 0 414315966 11006283776 47932 33554432000 4194304 4196468 140720386344064 140224885427376 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8684] ppid=8678 vsize=10748324 memory=1044 CPUtime=0.81 cores=1,3,5,7
/proc/8681/task/8684/stat : 8684 (java) S 8678 8681 8521 0 -1 1077944384 3202 0 0 0 77 4 0 0 20 0 16 0 414315967 11006283776 47932 33554432000 4194304 4196468 140720386344064 140224487939088 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8685] ppid=8678 vsize=10748324 memory=708 CPUtime=0.81 cores=1,3,5,7
/proc/8681/task/8685/stat : 8685 (java) S 8678 8681 8521 0 -1 1077944384 3686 0 0 0 79 2 0 0 20 0 16 0 414315967 11006283776 47932 33554432000 4194304 4196468 140720386344064 140224486886544 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8686] ppid=8678 vsize=10748324 memory=191728 CPUtime=0.82 cores=1,3,5,7
/proc/8681/task/8686/stat : 8686 (java) S 8678 8681 8521 0 -1 1077944384 5184 0 0 0 79 3 0 0 20 0 16 0 414315967 11006283776 47932 33554432000 4194304 4196468 140720386344064 140224485833488 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8687] ppid=8678 vsize=10748324 memory=8112282956445269571 CPUtime=0.82 cores=1,3,5,7
/proc/8681/task/8687/stat : 8687 (java) S 8678 8681 8521 0 -1 1077944384 3014 0 0 0 79 3 0 0 20 0 16 0 414315967 11006283776 47932 33554432000 4194304 4196468 140720386344064 140224484780944 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8688] ppid=8678 vsize=10748324 memory=3444 CPUtime=0.38 cores=1,3,5,7
/proc/8681/task/8688/stat : 8688 (java) S 8678 8681 8521 0 -1 1077944384 4469 0 0 0 34 4 0 0 20 0 16 0 414315969 11006283776 47932 33554432000 4194304 4196468 140720386344064 140223916792048 140224881195650 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8689] ppid=8678 vsize=10748324 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8689/stat : 8689 (java) S 8678 8681 8521 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414315969 11006283776 47932 33554432000 4194304 4196468 140720386344064 140223915738336 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8690] ppid=8678 vsize=10748324 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8690/stat : 8690 (java) S 8678 8681 8521 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414315969 11006283776 47932 33554432000 4194304 4196468 140720386344064 140223914685184 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8691] ppid=8678 vsize=10748324 memory=984 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8691/stat : 8691 (java) S 8678 8681 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414315972 11006283776 47932 33554432000 4194304 4196468 140720386344064 140223913633744 140224881203099 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8692] ppid=8678 vsize=10748324 memory=8112282956445269571 CPUtime=1.23 cores=1,3,5,7
/proc/8681/task/8692/stat : 8692 (java) S 8678 8681 8521 0 -1 1077944384 5883 0 0 0 122 1 0 0 20 0 16 0 414315972 11006283776 47932 33554432000 4194304 4196468 140720386344064 140223912581872 140224881195650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8693] ppid=8678 vsize=10748324 memory=2620 CPUtime=1.08 cores=1,3,5,7
/proc/8681/task/8693/stat : 8693 (java) S 8678 8681 8521 0 -1 1077944384 3538 0 0 0 107 1 0 0 20 0 16 0 414315972 11006283776 47932 33554432000 4194304 4196468 140720386344064 140223911529328 140224881195650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8694] ppid=8678 vsize=10748324 memory=1404 CPUtime=0.66 cores=1,3,5,7
/proc/8681/task/8694/stat : 8694 (java) S 8678 8681 8521 0 -1 1077944384 8140 0 0 0 65 1 0 0 20 0 16 0 414315972 11006283776 47932 33554432000 4194304 4196468 140720386344064 140223910476272 140224881195650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8695] ppid=8678 vsize=10748324 memory=3272 CPUtime=0 cores=1,3,5,7
/proc/8681/task/8695/stat : 8695 (java) S 8678 8681 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414315972 11006283776 47932 33554432000 4194304 4196468 140720386344064 140223909423968 140224881194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8696] ppid=8678 vsize=10748324 memory=191728 CPUtime=0.49 cores=1,3,5,7
/proc/8681/task/8696/stat : 8696 (java) S 8678 8681 8521 0 -1 1077944384 809 0 0 0 20 29 0 0 20 0 16 0 414315972 11006283776 47932 33554432000 4194304 4196468 140720386344064 140223908370992 140224881195650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
[pid=8681/tid=8697] ppid=8678 vsize=10748324 memory=4108 CPUtime=2510.98 cores=1,3,5,7
/proc/8681/task/8697/stat : 8697 (java) R 8678 8681 8521 0 -1 4202560 14756 0 0 0 251093 5 0 0 20 0 16 0 414316154 11006283776 47932 33554432000 4194304 4196468 140720386344064 140223583300992 140224525280571 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25038848 140720386352139 140720386352242 140720386352242 140720386355151 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 191728 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2514.41 s]
# the end of solver process 8681 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.5 s, system=0.565074 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2514.41
CPU time (s): 2520.06
CPU user time (s): 2519.5
CPU system time (s): 0.565074
CPU usage (%): 100.225
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 268036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.5
system time used= 0.565074
maximum resident set size= 268540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67615
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65207
involuntary context switches= 2055
# summary of solver processes directly reported to runsolver:
# pid: 8681
# total CPU time (s): 2520.06
# total CPU user time (s): 2519.5
# total CPU system time (s): 0.565074
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4638 second user time and 22.1274 second system time
The end