2.39/1.89
2.39/1.89 AbsCon 2
2.63/1.90
2.92/2.04 Instance
2.92/2.04 name=instance-4390675-1568383177, framework=CSP
2.92/2.04
2.92/2.04 Loading variables...
2.92/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f55bcd9
2.92/2.07 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a1c3b08
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17addba3
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ebd5d2b
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76f32b0d
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30641ff3
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d534b
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a63bb8
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a03cf59
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2312c91
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22ee2db8
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e2afa8
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6af4cbf6
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1681bfeb
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46cac67e
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d7ac372
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fe1b765
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@381d8241
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66cf817d
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c7d3493
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58aab533
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@501f733b
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f04eed6
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29b260d5
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5582f051
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17831936
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e095677
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1703849b
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@464de8fc
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66ac744a
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@92539a
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68650f1c
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59c9912f
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a098d5
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e9a7c9
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cc9a757
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@648c67be
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f3a32f9
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28bfad76
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e770f05
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1869c8cd
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cc6f809
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@579a8e8b
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8073385
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@121eb4fd
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4473539b
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ea7de6b
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b19b499
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b338286
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ee2c290
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38cc07e9
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60a81326
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ddb40e
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e80e696
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bb0395d
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6377ed8a
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30dcffba
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@163bde00
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59e2e7f8
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@383f21d4
3.14/2.11
3.14/2.11
3.14/2.11 Domains
3.14/2.11 nTypes=1, nValues=6930, sizes=[70#99]
3.14/2.11 Variables
3.14/2.11 count=99, degrees=[1#14,2#13,3#22,4#24,5#17,6#6,7#2,8#1]
3.14/2.11 Constraints
3.14/2.11 count=60, nSpecific=60, arities=[3#5,4#10,5#15,6#8,7#9,8#13]
3.14/2.11 distribution=[SumWeightedEQ#60]
3.14/2.11 wck=0.251, cpu=2.082, mem=18M585
3.14/2.11 Solver SolverBacktrack being built...
3.14/2.11
3.14/2.14
3.14/2.14 Solver
3.14/2.14 guaranteedGAC=false
3.14/2.14 wck=0.282, cpu=2.111, mem=31M870
3.14/2.14
3.14/2.14 Preprocessing
3.14/2.14 filters=32, nACremovedValues=828, nTotalRemovedValues=828, inconcistency=false
3.14/2.14 wck=0.004, cpu=2.117, mem=31M870
3.14/2.14
3.14/2.15 num=0, depth=4..9, filters=399, wck=0.016, mem=31M870
3.14/2.15 decisions=32, wrong=12, backtracks=2, failedAssignments=10, nogoods=9
3.14/2.15
3.14/2.16 num=1, depth=0..4, filters=770, wck=0.019, mem=31M870
3.14/2.16 decisions=58, wrong=23, backtracks=2, failedAssignments=21, nogoods=17
3.14/2.16
3.14/2.16 num=2, depth=0..1, filters=1108, wck=0.023, mem=31M870
3.14/2.16 decisions=84, wrong=36, backtracks=3, failedAssignments=33, nogoods=17
3.14/2.16
3.14/2.16 num=3, depth=0..5, filters=1342, wck=0.025, mem=31M870
3.14/2.16 decisions=114, wrong=49, backtracks=3, failedAssignments=46, nogoods=26
3.14/2.16
3.14/2.17 num=4, depth=1..2, filters=1668, wck=0.028, mem=31M870
3.14/2.17 decisions=148, wrong=65, backtracks=5, failedAssignments=60, nogoods=30
3.14/2.17
3.14/2.17 num=5, depth=0..6, filters=2120, wck=0.032, mem=31M870
3.14/2.17 decisions=190, wrong=84, backtracks=8, failedAssignments=76, nogoods=36
3.14/2.17
3.14/2.19 num=6, depth=1..3, filters=3609, wck=0.051, mem=31M870
3.14/2.19 decisions=229, wrong=102, backtracks=9, failedAssignments=93, nogoods=52
3.14/2.19
3.14/2.19 num=7, depth=0..11, filters=3927, wck=0.053, mem=31M870
3.14/2.19 decisions=279, wrong=122, backtracks=10, failedAssignments=112, nogoods=70
3.14/2.19
3.14/2.20 num=8, depth=1..5, filters=4491, wck=0.057, mem=31M870
3.14/2.20 decisions=328, wrong=145, backtracks=12, failedAssignments=133, nogoods=77
3.14/2.20
3.40/2.20 num=9, depth=1..6, filters=5028, wck=0.06, mem=31M870
3.40/2.20 decisions=382, wrong=170, backtracks=14, failedAssignments=156, nogoods=89
3.40/2.20
3.40/2.20 num=10, depth=1..8, filters=5633, wck=0.063, mem=31M870
3.40/2.20 decisions=443, wrong=197, backtracks=16, failedAssignments=181, nogoods=114
3.40/2.20
3.40/2.21 num=11, depth=1..10, filters=6268, wck=0.067, mem=31M870
3.40/2.21 decisions=514, wrong=229, backtracks=20, failedAssignments=209, nogoods=139
3.40/2.21
3.40/2.21 num=12, depth=1..9, filters=6742, wck=0.071, mem=31M870
3.40/2.21 decisions=587, wrong=262, backtracks=22, failedAssignments=240, nogoods=158
3.40/2.21
3.40/2.21 num=13, depth=1..7, filters=7731, wck=0.075, mem=31M870
3.40/2.21 decisions=667, wrong=300, backtracks=26, failedAssignments=274, nogoods=186
3.40/2.21
3.40/2.22 num=14, depth=5..6, filters=9812, wck=0.082, mem=31M870
3.40/2.22 decisions=759, wrong=343, backtracks=32, failedAssignments=311, nogoods=201
3.40/2.22
3.40/2.23 num=15, depth=3..5, filters=11050, wck=0.086, mem=31M870
3.40/2.23 decisions=851, wrong=387, backtracks=35, failedAssignments=352, nogoods=208
3.40/2.23
3.40/2.23 num=16, depth=1..6, filters=11994, wck=0.091, mem=31M870
3.40/2.23 decisions=959, wrong=439, backtracks=43, failedAssignments=397, nogoods=223
3.40/2.23
3.40/2.24 num=17, depth=1..6, filters=13333, wck=0.096, mem=31M870
3.40/2.24 decisions=1077, wrong=496, backtracks=50, failedAssignments=447, nogoods=238
3.40/2.24
3.40/2.24 num=18, depth=1..9, filters=14270, wck=0.1, mem=31M870
3.40/2.24 decisions=1203, wrong=556, backtracks=55, failedAssignments=502, nogoods=265
3.40/2.24
3.40/2.24 num=19, depth=3..5, filters=15498, wck=0.105, mem=31M870
3.40/2.24 decisions=1335, wrong=620, backtracks=59, failedAssignments=563, nogoods=288
3.40/2.24
3.40/2.26 num=20, depth=1..3, filters=20484, wck=0.118, mem=31M870
3.40/2.26 decisions=1478, wrong=691, backtracks=63, failedAssignments=630, nogoods=294
3.40/2.26
3.40/2.26 num=21, depth=3..5, filters=22155, wck=0.123, mem=31M870
3.40/2.26 decisions=1643, wrong=771, backtracks=69, failedAssignments=704, nogoods=318
3.40/2.26
3.40/2.28 num=22, depth=3..4, filters=25014, wck=0.133, mem=31M870
3.40/2.28 decisions=1816, wrong=856, backtracks=73, failedAssignments=785, nogoods=326
3.40/2.28
3.40/2.28 num=23, depth=2..5, filters=27581, wck=0.142, mem=31M870
3.40/2.28 decisions=2050, wrong=972, backtracks=100, failedAssignments=874, nogoods=336
3.40/2.28
3.40/2.29 num=24, depth=2..8, filters=29423, wck=0.148, mem=31M870
3.40/2.29 decisions=2264, wrong=1077, backtracks=109, failedAssignments=972, nogoods=352
3.40/2.29
3.40/2.30 num=25, depth=4..6, filters=31810, wck=0.156, mem=31M870
3.40/2.30 decisions=2495, wrong=1190, backtracks=114, failedAssignments=1080, nogoods=373
3.40/2.30
3.71/2.30 num=26, depth=4..8, filters=32878, wck=0.162, mem=31M870
3.71/2.30 decisions=2759, wrong=1319, backtracks=125, failedAssignments=1199, nogoods=441
3.71/2.30
3.71/2.31 num=27, depth=2..9, filters=35181, wck=0.171, mem=31M870
3.71/2.31 decisions=3042, wrong=1457, backtracks=132, failedAssignments=1330, nogoods=474
3.71/2.31
3.71/2.32 num=28, depth=3..5, filters=37599, wck=0.179, mem=31M870
3.71/2.32 decisions=3346, wrong=1607, backtracks=139, failedAssignments=1474, nogoods=501
3.71/2.32
3.71/2.33 num=29, depth=2..8, filters=39764, wck=0.188, mem=31M870
3.71/2.33 decisions=3718, wrong=1791, backtracks=168, failedAssignments=1632, nogoods=524
3.71/2.33
3.71/2.34 num=30, depth=1..6, filters=43920, wck=0.201, mem=31M870
3.71/2.34 decisions=4100, wrong=1980, backtracks=185, failedAssignments=1806, nogoods=565
3.71/2.34
3.71/2.35 num=31, depth=1..8, filters=45848, wck=0.209, mem=31M870
3.71/2.35 decisions=4523, wrong=2189, backtracks=204, failedAssignments=1997, nogoods=654
3.71/2.35
3.71/2.36 num=32, depth=1..7, filters=49184, wck=0.221, mem=31M870
3.71/2.36 decisions=4992, wrong=2421, backtracks=229, failedAssignments=2208, nogoods=678
3.71/2.36
3.71/2.38 num=33, depth=3..7, filters=58967, wck=0.237, mem=31M870
3.71/2.38 decisions=5536, wrong=2691, backtracks=270, failedAssignments=2440, nogoods=726
3.71/2.38
3.71/2.38 num=34, depth=1..7, filters=63308, wck=0.246, mem=31M870
3.71/2.38 decisions=6099, wrong=2970, backtracks=298, failedAssignments=2695, nogoods=762
3.71/2.38
3.92/2.40 num=35, depth=2..4, filters=71197, wck=0.259, mem=31M870
3.92/2.40 decisions=6729, wrong=3283, backtracks=330, failedAssignments=2976, nogoods=802
3.92/2.40
3.92/2.41 num=36, depth=2..6, filters=80420, wck=0.272, mem=31M870
3.92/2.41 decisions=7422, wrong=3627, backtracks=366, failedAssignments=3285, nogoods=876
3.92/2.41
3.92/2.43 num=37, depth=3..6, filters=90000, wck=0.289, mem=31M870
3.92/2.43 decisions=8173, wrong=4000, backtracks=401, failedAssignments=3625, nogoods=893
3.92/2.43
3.92/2.45 num=38, depth=1..7, filters=100202, wck=0.307, mem=31M870
3.92/2.45 decisions=8984, wrong=4404, backtracks=436, failedAssignments=3999, nogoods=927
3.92/2.45
3.92/2.46 num=39, depth=1..4, filters=112008, wck=0.325, mem=31M870
3.92/2.46 decisions=9867, wrong=4844, backtracks=465, failedAssignments=4410, nogoods=1000
3.92/2.46
3.92/2.48 num=40, depth=3..7, filters=119858, wck=0.34, mem=31M870
3.92/2.48 decisions=10888, wrong=5353, backtracks=523, failedAssignments=4862, nogoods=1102
3.92/2.48
3.92/2.50 num=41, depth=3..7, filters=129014, wck=0.358, mem=34M513
3.92/2.50 decisions=11941, wrong=5877, backtracks=554, failedAssignments=5359, nogoods=1149
3.92/2.50
4.20/2.52 num=42, depth=2..6, filters=141520, wck=0.378, mem=34M513
4.20/2.52 decisions=13125, wrong=6467, backtracks=603, failedAssignments=5906, nogoods=1186
4.20/2.52
4.20/2.54 num=43, depth=2..5, filters=157787, wck=0.404, mem=34M513
4.20/2.54 decisions=14529, wrong=7167, backtracks=705, failedAssignments=6508, nogoods=1264
4.20/2.54
4.20/2.56 num=44, depth=3..6, filters=169767, wck=0.424, mem=34M513
4.20/2.56 decisions=15981, wrong=7891, backtracks=769, failedAssignments=7170, nogoods=1275
4.20/2.56
4.20/2.59 num=45, depth=1..8, filters=190103, wck=0.455, mem=34M513
4.20/2.59 decisions=17679, wrong=8739, backtracks=895, failedAssignments=7898, nogoods=1298
4.20/2.59
4.49/2.63 num=46, depth=1..9, filters=212685, wck=0.489, mem=34M513
4.49/2.63 decisions=19647, wrong=9721, backtracks=1081, failedAssignments=8699, nogoods=1316
4.49/2.63
4.49/2.65 num=47, depth=0..10, filters=229912, wck=0.516, mem=34M513
4.49/2.65 decisions=21645, wrong=10718, backtracks=1207, failedAssignments=9580, nogoods=1386
4.49/2.65
4.49/2.68 num=48, depth=2..8, filters=248244, wck=0.546, mem=34M513
4.49/2.68 decisions=23772, wrong=11779, backtracks=1305, failedAssignments=10550, nogoods=1424
4.49/2.68
4.75/2.71 num=49, depth=0..4, filters=266601, wck=0.573, mem=34M513
4.75/2.71 decisions=26046, wrong=12914, backtracks=1373, failedAssignments=11617, nogoods=1476
4.75/2.71
4.75/2.75 num=50, depth=1..11, filters=288244, wck=0.608, mem=34M513
4.75/2.75 decisions=28649, wrong=14213, backtracks=1510, failedAssignments=12790, nogoods=1539
4.75/2.75
4.75/2.78 num=51, depth=3..6, filters=312989, wck=0.646, mem=34M513
4.75/2.78 decisions=31407, wrong=15590, backtracks=1598, failedAssignments=14081, nogoods=1570
4.75/2.78
4.85/2.84 num=52, depth=1..7, filters=354095, wck=0.702, mem=34M513
4.85/2.84 decisions=34714, wrong=17241, backtracks=1841, failedAssignments=15501, nogoods=1639
4.85/2.84
4.95/2.91 num=53, depth=1..7, filters=406349, wck=0.773, mem=34M513
4.95/2.91 decisions=38388, wrong=19076, backtracks=2121, failedAssignments=17063, nogoods=1650
4.95/2.91
4.95/2.97 num=54, depth=2..7, filters=443173, wck=0.831, mem=34M513
4.95/2.97 decisions=42441, wrong=21101, backtracks=2434, failedAssignments=18781, nogoods=1730
4.95/2.97
5.06/3.02 num=55, depth=2..9, filters=472285, wck=0.881, mem=34M513
5.06/3.02 decisions=46472, wrong=23114, backtracks=2564, failedAssignments=20671, nogoods=1813
5.06/3.02
5.06/3.08 num=56, depth=3..8, filters=515756, wck=0.941, mem=34M513
5.06/3.08 decisions=51264, wrong=25507, backtracks=2882, failedAssignments=22750, nogoods=1933
5.06/3.08
5.17/3.13 num=57, depth=3..7, filters=553484, wck=0.996, mem=34M513
5.17/3.13 decisions=56256, wrong=28000, backtracks=3092, failedAssignments=25037, nogoods=2048
5.17/3.13
5.17/3.19 num=58, depth=3..8, filters=587951, wck=1.056, mem=34M513
5.17/3.19 decisions=61563, wrong=30651, backtracks=3235, failedAssignments=27553, nogoods=2113
5.17/3.19
5.36/3.30 num=59, depth=1..6, filters=660138, wck=1.158, mem=34M513
5.36/3.30 decisions=68046, wrong=33891, backtracks=3731, failedAssignments=30321, nogoods=2160
5.36/3.30
5.46/3.42 num=60, depth=2..6, filters=750301, wck=1.281, mem=34M513
5.46/3.42 decisions=74516, wrong=37124, backtracks=3926, failedAssignments=33365, nogoods=2196
5.46/3.42
5.57/3.50 num=61, depth=1..7, filters=804010, wck=1.365, mem=34M513
5.57/3.50 decisions=81589, wrong=40658, backtracks=4114, failedAssignments=36714, nogoods=2281
5.57/3.50
5.57/3.57 num=62, depth=2..7, filters=843046, wck=1.433, mem=34M513
5.57/3.57 decisions=89328, wrong=44525, backtracks=4302, failedAssignments=40398, nogoods=2351
5.57/3.57
5.67/3.66 num=63, depth=3..8, filters=898028, wck=1.521, mem=34M513
5.67/3.66 decisions=97950, wrong=48833, backtracks=4566, failedAssignments=44450, nogoods=2450
5.67/3.66
5.87/3.81 num=64, depth=0..9, filters=989663, wck=1.669, mem=34M513
5.87/3.81 decisions=107509, wrong=53610, backtracks=4896, failedAssignments=48907, nogoods=2542
5.87/3.81
5.97/3.93 num=65, depth=2..9, filters=1061798, wck=1.796, mem=34M513
5.97/3.93 decisions=118031, wrong=58867, backtracks=5262, failedAssignments=53810, nogoods=2573
5.97/3.93
6.08/4.01 num=66, depth=2..7, filters=1109298, wck=1.875, mem=34M513
6.08/4.01 decisions=129356, wrong=64527, backtracks=5535, failedAssignments=59204, nogoods=2626
6.08/4.01
6.18/4.19 num=67, depth=1..7, filters=1244369, wck=2.056, mem=34M513
6.18/4.19 decisions=142877, wrong=71286, backtracks=6416, failedAssignments=65137, nogoods=2668
6.18/4.19
6.37/4.30 num=68, depth=2..8, filters=1306094, wck=2.16, mem=37M155
6.37/4.30 decisions=156623, wrong=78156, backtracks=6772, failedAssignments=71663, nogoods=2810
6.37/4.30
6.57/4.51 num=69, depth=1..8, filters=1453080, wck=2.371, mem=37M155
6.57/4.51 decisions=172448, wrong=86067, backtracks=7542, failedAssignments=78842, nogoods=2907
6.57/4.51
6.77/4.74 num=70, depth=2..8, filters=1612242, wck=2.604, mem=37M155
6.77/4.74 decisions=189728, wrong=94705, backtracks=8319, failedAssignments=86739, nogoods=2998
6.77/4.74
7.09/5.04 num=71, depth=0..6, filters=1834861, wck=2.906, mem=37M155
7.09/5.04 decisions=209429, wrong=104555, backtracks=9511, failedAssignments=95426, nogoods=3043
7.09/5.04
7.40/5.38 num=72, depth=2..8, filters=2087042, wck=3.242, mem=37M155
7.40/5.38 decisions=229806, wrong=114741, backtracks=10179, failedAssignments=104981, nogoods=3222
7.40/5.38
7.60/5.53 num=73, depth=2..7, filters=2174623, wck=3.391, mem=37M155
7.60/5.53 decisions=251656, wrong=125664, backtracks=10601, failedAssignments=115492, nogoods=3312
7.60/5.53
7.90/5.82 num=74, depth=0..10, filters=2382739, wck=3.684, mem=37M155
7.90/5.82 decisions=277033, wrong=138351, backtracks=11773, failedAssignments=127054, nogoods=3420
7.90/5.82
8.30/6.26 num=75, depth=0..7, filters=2699847, wck=4.119, mem=37M155
8.30/6.26 decisions=305505, wrong=152585, backtracks=13347, failedAssignments=139772, nogoods=3464
8.30/6.26
8.60/6.57 num=76, depth=1..12, filters=2893919, wck=4.434, mem=37M155
8.60/6.57 decisions=335048, wrong=167354, backtracks=14160, failedAssignments=153762, nogoods=3565
8.60/6.57
9.00/6.91 num=77, depth=2..7, filters=3102323, wck=4.772, mem=39M797
9.00/6.91 decisions=368311, wrong=183983, backtracks=15470, failedAssignments=169151, nogoods=3633
9.00/6.91
9.40/7.35 num=78, depth=1..9, filters=3397481, wck=5.209, mem=39M797
9.40/7.35 decisions=403935, wrong=201793, backtracks=16393, failedAssignments=186079, nogoods=3707
9.40/7.35
9.80/7.76 num=79, depth=0..7, filters=3598520, wck=5.624, mem=39M797
9.80/7.76 decisions=442099, wrong=220873, backtracks=16860, failedAssignments=204700, nogoods=3782
9.80/7.76
10.30/8.22 num=80, depth=1..12, filters=3910690, wck=6.084, mem=39M797
10.30/8.22 decisions=486456, wrong=243049, backtracks=18611, failedAssignments=225184, nogoods=3800
10.30/8.22
10.80/8.80 num=81, depth=1..9, filters=4290180, wck=6.657, mem=39M797
10.80/8.80 decisions=536280, wrong=267958, backtracks=21115, failedAssignments=247716, nogoods=3817
10.80/8.80
11.50/9.43 num=82, depth=0..10, filters=4711718, wck=7.288, mem=42M440
11.50/9.43 decisions=591186, wrong=295408, backtracks=23925, failedAssignments=272501, nogoods=3936
11.50/9.43
12.30/10.22 num=83, depth=0..10, filters=5301679, wck=8.085, mem=42M440
12.30/10.22 decisions=651549, wrong=325587, backtracks=27014, failedAssignments=299765, nogoods=3986
12.30/10.22
13.11/11.01 num=84, depth=0..11, filters=5844813, wck=8.868, mem=42M440
13.11/11.01 decisions=716674, wrong=358148, backtracks=29707, failedAssignments=329755, nogoods=4098
13.11/11.01
13.81/11.78 num=85, depth=0..9, filters=6391839, wck=9.64, mem=45M82
13.81/11.78 decisions=787013, wrong=393315, backtracks=31945, failedAssignments=362744, nogoods=4189
13.81/11.78
14.91/12.80 num=86, depth=0..11, filters=7095228, wck=10.662, mem=45M82
14.91/12.80 decisions=867147, wrong=433379, backtracks=35942, failedAssignments=399032, nogoods=4249
14.91/12.80
16.01/14.00 num=87, depth=0..10, filters=7918118, wck=11.857, mem=45M82
16.01/14.00 decisions=953000, wrong=476303, backtracks=39081, failedAssignments=438949, nogoods=4341
16.01/14.00
17.22/15.12 num=88, depth=1..11, filters=8678869, wck=12.982, mem=47M725
17.22/15.12 decisions=1047309, wrong=523455, backtracks=42477, failedAssignments=482858, nogoods=4423
17.22/15.12
18.53/16.41 num=89, depth=0..11, filters=9560031, wck=14.269, mem=47M725
18.53/16.41 decisions=1152109, wrong=575852, backtracks=46768, failedAssignments=531158, nogoods=4505
18.53/16.41
19.64/17.54 num=90, depth=2..10, filters=10262538, wck=15.404, mem=50M367
19.64/17.54 decisions=1264682, wrong=632137, backtracks=50063, failedAssignments=584288, nogoods=4608
19.64/17.54
21.15/19.02 num=91, depth=0..12, filters=11279238, wck=16.881, mem=50M367
21.15/19.02 decisions=1391892, wrong=695739, backtracks=55393, failedAssignments=642731, nogoods=4701
21.15/19.02
22.65/20.52 num=92, depth=1..10, filters=12280649, wck=18.386, mem=53M10
22.65/20.52 decisions=1531622, wrong=765602, backtracks=61211, failedAssignments=707018, nogoods=4761
22.65/20.52
24.35/22.26 num=93, depth=0..11, filters=13415058, wck=20.123, mem=55M652
24.35/22.26 decisions=1684301, wrong=841938, backtracks=67173, failedAssignments=777734, nogoods=4861
24.35/22.26
26.26/24.18 num=94, depth=1..9, filters=14630095, wck=22.039, mem=58M295
26.26/24.18 decisions=1850138, wrong=924854, backtracks=72550, failedAssignments=855521, nogoods=4926
26.26/24.18
28.45/26.33 num=95, depth=0..12, filters=16014708, wck=24.194, mem=58M295
28.45/26.33 decisions=2035513, wrong=1017539, backtracks=80014, failedAssignments=941087, nogoods=5038
28.45/26.33
30.65/28.53 num=96, depth=0..13, filters=17535033, wck=26.396, mem=60M937
30.65/28.53 decisions=2238078, wrong=1118820, backtracks=87457, failedAssignments=1035210, nogoods=5094
30.65/28.53
33.35/31.26 num=97, depth=0..10, filters=19399027, wck=29.119, mem=63M579
33.35/31.26 decisions=2460888, wrong=1230223, backtracks=95716, failedAssignments=1138745, nogoods=5172
33.35/31.26
36.45/34.37 num=98, depth=1..11, filters=21345895, wck=32.229, mem=68M864
36.45/34.37 decisions=2705901, wrong=1352727, backtracks=104673, failedAssignments=1252634, nogoods=5255
36.45/34.37
39.65/37.59 num=99, depth=0..12, filters=23591295, wck=35.456, mem=71M507
39.65/37.59 decisions=2979842, wrong=1489695, backtracks=116852, failedAssignments=1377912, nogoods=5343
39.65/37.59
42.87/40.71 num=100, depth=0..11, filters=25600586, wck=38.567, mem=74M149
42.87/40.71 decisions=3275155, wrong=1637349, backtracks=127059, failedAssignments=1515718, nogoods=5458
42.87/40.71
46.87/44.79 num=101, depth=0..10, filters=28291571, wck=42.65, mem=79M434
46.87/44.79 decisions=3604350, wrong=1801944, backtracks=140731, failedAssignments=1667304, nogoods=5607
46.87/44.79
51.28/49.11 num=102, depth=0..11, filters=31201972, wck=46.974, mem=82M76
51.28/49.11 decisions=3964531, wrong=1982032, backtracks=154750, failedAssignments=1834049, nogoods=5724
51.28/49.11
55.88/53.77 num=103, depth=1..10, filters=34318168, wck=51.632, mem=87M361
55.88/53.77 decisions=4362495, wrong=2181012, backtracks=170858, failedAssignments=2017468, nogoods=5804
55.88/53.77
61.08/58.91 num=104, depth=0..11, filters=37840497, wck=56.773, mem=92M646
61.08/58.91 decisions=4799535, wrong=2399530, backtracks=188434, failedAssignments=2219229, nogoods=5876
61.08/58.91
66.48/64.33 num=105, depth=0..12, filters=41428778, wck=62.196, mem=97M931
66.48/64.33 decisions=5274892, wrong=2637206, backtracks=204865, failedAssignments=2441167, nogoods=5977
66.48/64.33
72.78/70.65 num=106, depth=0..12, filters=45839622, wck=68.512, mem=105M858
72.78/70.65 decisions=5807786, wrong=2903652, backtracks=228061, failedAssignments=2685298, nogoods=6057
72.78/70.65
79.88/77.73 num=107, depth=0..11, filters=50701126, wck=75.586, mem=111M143
79.88/77.73 decisions=6391189, wrong=3195351, backtracks=252129, failedAssignments=2953843, nogoods=6158
79.88/77.73
83.30/81.19 num=108, depth=0..98, filters=53086239, ccks=120, wck=79.046, mem=116M428
83.30/81.19 decisions=6671428, wrong=3335465, backtracks=264746, failedAssignments=3081934, nogoods=6158, foundSolutions=1
83.30/81.19
83.30/81.19 Global
83.30/81.19 filters=53086239, ccks=120, nogoods=6158
83.30/81.19 Stop=REACHED_GOAL, wrong=3335465, foundSolutions=1, firstSolCpu=81.143
83.30/81.19 wck=79.329, cpu=81.149, mem=116M428
83.30/81.19
83.30/81.19 v <instantiation id='sol1' type='solution'> <list> x[] </list> <values> 7 46 61 53 43 53 17 41 29 3 5 19 31 71 7 17 2 17 41 59 30 23 19 29 5 31 5 7 19 53 29 5 5 67 29 19 43 59 37 5 29 43 3 71 11 61 67 11 53 31 43 17 37 2 59 43 5 31 59 3 13 13 11 19 59 13 17 29 43 61 11 53 5 13 47 19 47 * 7 31 19 23 59 67 23 11 7 37 47 71 41 49 52 23 71 41 17 17 47 71 </values> </instantiation>
83.30/81.19 s SATISFIABLE
83.30/81.19
83.30/81.19 d WRONG_DECISIONS 3335465
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 (15196 MiB free)
memory of node 1: 16384 MiB (15395 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390675-1568383177/watcher-4390675-1568383177 -o /tmp/evaluation-result-4390675-1568383177/solver-4390675-1568383177 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568380474-30428 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390675-1568383177.xml -cm
running on 4 cores: 0,2,4,6
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=32119, runsolver pid=32116
[startup+0.100123 s]*
/proc/loadavg: 1.91 1.78 1.63 4/228 32134
/proc/meminfo: memFree=31309064/32770624 swapFree=66981412/67108860
[pid=32119] ppid=32116 vsize=10659884 memory=28388 CPUtime=0.14 cores=0,2,4,6
/proc/32119/stat : 32119 (java) S 32116 32119 30397 0 -1 1077944320 5553 0 0 0 13 1 0 0 20 0 15 0 414580339 10915721216 7097 33554432000 4194304 4196468 140726935113856 140726935096400 140443753180919 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
/proc/32119/statm: 2664971 7097 2909 1 0 2627468 0
[pid=32119/tid=32121] ppid=32116 vsize=10659884 memory=-8197568871503138176 CPUtime=0.09 cores=0,2,4,6
/proc/32119/task/32121/stat : 32121 (java) R 32116 32119 30397 0 -1 4202560 3273 0 0 0 8 1 0 0 20 0 15 0 414580339 10915721216 7097 33554432000 4194304 4196468 140726935113856 140443757410800 140443753192854 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32122] ppid=32116 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32122/stat : 32122 (java) S 32116 32119 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580340 10915721216 7097 33554432000 4194304 4196468 140726935113856 140443689871632 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32123] ppid=32116 vsize=10659884 memory=140312067552896 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32123/stat : 32123 (java) S 32116 32119 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580340 10915721216 7097 33554432000 4194304 4196468 140726935113856 140443688819088 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32124] ppid=32116 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32124/stat : 32124 (java) S 32116 32119 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580340 10915721216 7097 33554432000 4194304 4196468 140726935113856 140443687766544 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32125] ppid=32116 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32125/stat : 32125 (java) S 32116 32119 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414580340 10915721216 7097 33554432000 4194304 4196468 140726935113856 140443356359312 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32126] ppid=32116 vsize=10659884 memory=140312067552896 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32126/stat : 32126 (java) S 32116 32119 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414580341 10915721216 7097 33554432000 4194304 4196468 140726935113856 140443245091312 140443753192066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32127] ppid=32116 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32127/stat : 32127 (java) S 32116 32119 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414580342 10915721216 7097 33554432000 4194304 4196468 140726935113856 140443244037536 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32128] ppid=32116 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32128/stat : 32128 (java) S 32116 32119 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414580342 10915721216 7097 33554432000 4194304 4196468 140726935113856 140443242984944 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32129] ppid=32116 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32129/stat : 32129 (java) S 32116 32119 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414580345 10915721216 7097 33554432000 4194304 4196468 140726935113856 140443241933520 140443753199515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32130] ppid=32116 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32130/stat : 32130 (java) S 32116 32119 30397 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 414580345 10915721216 7097 33554432000 4194304 4196468 140726935113856 140443240880112 140443753192066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32131] ppid=32116 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32131/stat : 32131 (java) S 32116 32119 30397 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 15 0 414580345 10915721216 7097 33554432000 4194304 4196468 140726935113856 140443239827568 140443753192066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32132] ppid=32116 vsize=10659884 memory=140312067552896 CPUtime=0.02 cores=0,2,4,6
/proc/32119/task/32132/stat : 32132 (java) R 32116 32119 30397 0 -1 4202560 408 0 0 0 2 0 0 0 20 0 15 0 414580345 10915721216 7097 33554432000 4194304 4196468 140726935113856 140443238771944 140443745418046 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32133] ppid=32116 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32133/stat : 32133 (java) S 32116 32119 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414580345 10915721216 7097 33554432000 4194304 4196468 140726935113856 140443237722720 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32134] ppid=32116 vsize=10659884 memory=140312067552896 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32134/stat : 32134 (java) S 32116 32119 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580345 10915721216 7097 33554432000 4194304 4196468 140726935113856 140443236670256 140443753192066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28388 KiB
[startup+0.210566 s]*
/proc/loadavg: 1.91 1.78 1.63 3/228 32134
/proc/meminfo: memFree=31302552/32770624 swapFree=66981412/67108860
[pid=32119] ppid=32116 vsize=10659884 memory=35136 CPUtime=0.33 cores=0,2,4,6
/proc/32119/stat : 32119 (java) S 32116 32119 30397 0 -1 1077944320 6947 0 0 0 31 2 0 0 20 0 15 0 414580339 10915721216 8784 33554432000 4194304 4196468 140726935113856 140726935096400 140443753180919 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
/proc/32119/statm: 2664971 8784 2989 1 0 2627468 0
[pid=32119/tid=32121] ppid=32116 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/32119/task/32121/stat : 32121 (java) R 32116 32119 30397 0 -1 4202560 3879 0 0 0 19 1 0 0 20 0 15 0 414580339 10915721216 8784 33554432000 4194304 4196468 140726935113856 140443757407280 140443753202845 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32122] ppid=32116 vsize=10659884 memory=342 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32122/stat : 32122 (java) S 32116 32119 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580340 10915721216 8784 33554432000 4194304 4196468 140726935113856 140443689871632 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32123] ppid=32116 vsize=10659884 memory=288370688219264640 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32123/stat : 32123 (java) S 32116 32119 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580340 10915721216 8784 33554432000 4194304 4196468 140726935113856 140443688819088 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32124] ppid=32116 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32124/stat : 32124 (java) S 32116 32119 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580340 10915721216 8784 33554432000 4194304 4196468 140726935113856 140443687766544 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32125] ppid=32116 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32125/stat : 32125 (java) S 32116 32119 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414580340 10915721216 8784 33554432000 4194304 4196468 140726935113856 140443356359312 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32126] ppid=32116 vsize=10659884 memory=140312067552896 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32126/stat : 32126 (java) S 32116 32119 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414580341 10915721216 8784 33554432000 4194304 4196468 140726935113856 140443245091312 140443753192066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32127] ppid=32116 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32127/stat : 32127 (java) S 32116 32119 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414580342 10915721216 8784 33554432000 4194304 4196468 140726935113856 140443244037536 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32128] ppid=32116 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32128/stat : 32128 (java) S 32116 32119 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414580342 10915721216 8784 33554432000 4194304 4196468 140726935113856 140443242984944 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32129] ppid=32116 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32129/stat : 32129 (java) S 32116 32119 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414580345 10915721216 8784 33554432000 4194304 4196468 140726935113856 140443241933520 140443753199515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32130] ppid=32116 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/32119/task/32130/stat : 32130 (java) S 32116 32119 30397 0 -1 1077944384 483 0 0 0 3 0 0 0 20 0 15 0 414580345 10915721216 8784 33554432000 4194304 4196468 140726935113856 140443240880112 140443753192066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32131] ppid=32116 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/32119/task/32131/stat : 32131 (java) S 32116 32119 30397 0 -1 1077944384 512 0 0 0 3 0 0 0 20 0 15 0 414580345 10915721216 8784 33554432000 4194304 4196468 140726935113856 140443239827568 140443753192066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32132] ppid=32116 vsize=10659884 memory=140312067552896 CPUtime=0.05 cores=0,2,4,6
/proc/32119/task/32132/stat : 32132 (java) S 32116 32119 30397 0 -1 1077944384 714 0 0 0 5 0 0 0 20 0 15 0 414580345 10915721216 8784 33554432000 4194304 4196468 140726935113856 140443238775024 140443753192066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32133] ppid=32116 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32133/stat : 32133 (java) S 32116 32119 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414580345 10915721216 8784 33554432000 4194304 4196468 140726935113856 140443237722720 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32134] ppid=32116 vsize=10659884 memory=140312067552896 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32134/stat : 32134 (java) S 32116 32119 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580345 10915721216 8784 33554432000 4194304 4196468 140726935113856 140443236670256 140443753192066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35136 KiB
[startup+0.310104 s]*
/proc/loadavg: 1.91 1.78 1.63 4/228 32134
/proc/meminfo: memFree=31294424/32770624 swapFree=66981412/67108860
[pid=32119] ppid=32116 vsize=10659884 memory=40512 CPUtime=0.47 cores=0,2,4,6
/proc/32119/stat : 32119 (java) S 32116 32119 30397 0 -1 1077944320 9461 0 0 0 44 3 0 0 20 0 15 0 414580339 10915721216 10128 33554432000 4194304 4196468 140726935113856 140726935096400 140443753180919 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
/proc/32119/statm: 2664971 10128 3002 1 0 2627468 0
[pid=32119/tid=32121] ppid=32116 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/32119/task/32121/stat : 32121 (java) R 32116 32119 30397 0 -1 4202560 6322 0 0 0 27 3 0 0 20 0 15 0 414580339 10915721216 10128 33554432000 4194304 4196468 140726935113856 140443757419904 140443753202845 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32122] ppid=32116 vsize=10659884 memory=4297963160 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32122/stat : 32122 (java) S 32116 32119 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580340 10915721216 10128 33554432000 4194304 4196468 140726935113856 140443689871632 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32123] ppid=32116 vsize=10659884 memory=288370688219264640 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32123/stat : 32123 (java) S 32116 32119 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580340 10915721216 10128 33554432000 4194304 4196468 140726935113856 140443688819088 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32124] ppid=32116 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32124/stat : 32124 (java) S 32116 32119 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580340 10915721216 10128 33554432000 4194304 4196468 140726935113856 140443687766544 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32125] ppid=32116 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32125/stat : 32125 (java) S 32116 32119 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414580340 10915721216 10128 33554432000 4194304 4196468 140726935113856 140443356359312 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32126] ppid=32116 vsize=10659884 memory=140312067552896 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32126/stat : 32126 (java) S 32116 32119 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414580341 10915721216 10128 33554432000 4194304 4196468 140726935113856 140443245091312 140443753192066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32127] ppid=32116 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32127/stat : 32127 (java) S 32116 32119 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414580342 10915721216 10128 33554432000 4194304 4196468 140726935113856 140443244037536 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32128] ppid=32116 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32128/stat : 32128 (java) S 32116 32119 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414580342 10915721216 10128 33554432000 4194304 4196468 140726935113856 140443242984944 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32129] ppid=32116 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32129/stat : 32129 (java) S 32116 32119 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414580345 10915721216 10128 33554432000 4194304 4196468 140726935113856 140443241933520 140443753199515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32130] ppid=32116 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/32119/task/32130/stat : 32130 (java) S 32116 32119 30397 0 -1 1077944384 523 0 0 0 4 0 0 0 20 0 15 0 414580345 10915721216 10128 33554432000 4194304 4196468 140726935113856 140443240880112 140443753192066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32131] ppid=32116 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/32119/task/32131/stat : 32131 (java) S 32116 32119 30397 0 -1 1077944384 520 0 0 0 3 0 0 0 20 0 15 0 414580345 10915721216 10128 33554432000 4194304 4196468 140726935113856 140443239827568 140443753192066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32132] ppid=32116 vsize=10659884 memory=140312067552896 CPUtime=0.07 cores=0,2,4,6
/proc/32119/task/32132/stat : 32132 (java) S 32116 32119 30397 0 -1 1077944384 737 0 0 0 7 0 0 0 20 0 15 0 414580345 10915721216 10128 33554432000 4194304 4196468 140726935113856 140443238775024 140443753192066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32133] ppid=32116 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32133/stat : 32133 (java) S 32116 32119 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414580345 10915721216 10128 33554432000 4194304 4196468 140726935113856 140443237722720 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32134] ppid=32116 vsize=10659884 memory=140312067552896 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32134/stat : 32134 (java) S 32116 32119 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580345 10915721216 10128 33554432000 4194304 4196468 140726935113856 140443236670256 140443753192066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40512 KiB
[startup+0.700768 s]
/proc/loadavg: 1.91 1.78 1.63 3/228 32134
/proc/meminfo: memFree=31286792/32770624 swapFree=66981412/67108860
[pid=32119] ppid=32116 vsize=10661932 memory=62000 CPUtime=1.09 cores=0,2,4,6
/proc/32119/stat : 32119 (java) S 32116 32119 30397 0 -1 1077944320 12665 0 0 0 104 5 0 0 20 0 15 0 414580339 10917818368 15500 33554432000 4194304 4196468 140726935113856 140726935096400 140443753180919 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
/proc/32119/statm: 2665483 15500 3060 1 0 2627980 0
[pid=32119/tid=32121] ppid=32116 vsize=10661932 memory=278292070437085 CPUtime=0.68 cores=0,2,4,6
/proc/32119/task/32121/stat : 32121 (java) R 32116 32119 30397 0 -1 4202560 8890 0 0 0 64 4 0 0 20 0 15 0 414580339 10917818368 15500 33554432000 4194304 4196468 140726935113856 140443757412944 140443753202845 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32122] ppid=32116 vsize=10661932 memory=3158301 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32122/stat : 32122 (java) S 32116 32119 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580340 10917818368 15500 33554432000 4194304 4196468 140726935113856 140443689871632 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32123] ppid=32116 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32123/stat : 32123 (java) S 32116 32119 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580340 10917818368 15500 33554432000 4194304 4196468 140726935113856 140443688819088 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32124] ppid=32116 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32124/stat : 32124 (java) S 32116 32119 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580340 10917818368 15500 33554432000 4194304 4196468 140726935113856 140443687766544 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32125] ppid=32116 vsize=10661932 memory=7809523229951467568 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32125/stat : 32125 (java) S 32116 32119 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414580340 10917818368 15500 33554432000 4194304 4196468 140726935113856 140443356359312 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32126] ppid=32116 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32126/stat : 32126 (java) S 32116 32119 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414580341 10917818368 15500 33554432000 4194304 4196468 140726935113856 140443245091312 140443753192066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32127] ppid=32116 vsize=10661932 memory=-3535359994705171041 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32127/stat : 32127 (java) S 32116 32119 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414580342 10917818368 15500 33554432000 4194304 4196468 140726935113856 140443244037536 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32128] ppid=32116 vsize=10661932 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32128/stat : 32128 (java) S 32116 32119 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414580342 10917818368 15500 33554432000 4194304 4196468 140726935113856 140443242984944 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32129] ppid=32116 vsize=10661932 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32129/stat : 32129 (java) S 32116 32119 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414580345 10917818368 15500 33554432000 4194304 4196468 140726935113856 140443241933520 140443753199515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32130] ppid=32116 vsize=10661932 memory=6944656592455360604 CPUtime=0.11 cores=0,2,4,6
/proc/32119/task/32130/stat : 32130 (java) R 32116 32119 30397 0 -1 4202560 702 0 0 0 11 0 0 0 20 0 15 0 414580345 10917818368 15500 33554432000 4194304 4196468 140726935113856 140443240880112 140443736655984 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32131] ppid=32116 vsize=10661932 memory=6944656592455360604 CPUtime=0.08 cores=0,2,4,6
/proc/32119/task/32131/stat : 32131 (java) S 32116 32119 30397 0 -1 1077944384 629 0 0 0 8 0 0 0 20 0 15 0 414580345 10917818368 15500 33554432000 4194304 4196468 140726935113856 140443239827568 140443753192066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32132] ppid=32116 vsize=10661932 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/32119/task/32132/stat : 32132 (java) S 32116 32119 30397 0 -1 1077944384 1085 0 0 0 18 0 0 0 20 0 15 0 414580345 10917818368 15500 33554432000 4194304 4196468 140726935113856 140443238775024 140443753192066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32133] ppid=32116 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32133/stat : 32133 (java) S 32116 32119 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414580345 10917818368 15500 33554432000 4194304 4196468 140726935113856 140443237722720 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32134] ppid=32116 vsize=10661932 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32134/stat : 32134 (java) S 32116 32119 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580345 10917818368 15500 33554432000 4194304 4196468 140726935113856 140443236670256 140443753192066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62000 KiB
[startup+1.50082 s]
/proc/loadavg: 2.00 1.80 1.64 3/228 32134
/proc/meminfo: memFree=31271592/32770624 swapFree=66981412/67108860
[pid=32119] ppid=32116 vsize=10663980 memory=75100 CPUtime=1.99 cores=0,2,4,6
/proc/32119/stat : 32119 (java) S 32116 32119 30397 0 -1 1077944320 18245 0 0 0 193 6 0 0 20 0 15 0 414580339 10919915520 18775 33554432000 4194304 4196468 140726935113856 140726935096400 140443753180919 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
/proc/32119/statm: 2665995 18775 3096 1 0 2628492 0
[pid=32119/tid=32121] ppid=32116 vsize=10663980 memory=2996107 CPUtime=1.48 cores=0,2,4,6
/proc/32119/task/32121/stat : 32121 (java) R 32116 32119 30397 0 -1 4202560 13103 0 0 0 143 5 0 0 20 0 15 0 414580339 10919915520 18775 33554432000 4194304 4196468 140726935113856 140443757411408 140443737287756 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32122] ppid=32116 vsize=10663980 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32122/stat : 32122 (java) S 32116 32119 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580340 10919915520 18775 33554432000 4194304 4196468 140726935113856 140443689871632 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32123] ppid=32116 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32123/stat : 32123 (java) S 32116 32119 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580340 10919915520 18775 33554432000 4194304 4196468 140726935113856 140443688819088 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32124] ppid=32116 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32124/stat : 32124 (java) S 32116 32119 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414580340 10919915520 18775 33554432000 4194304 4196468 140726935113856 140443687766544 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32125] ppid=32116 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32125/stat : 32125 (java) S 32116 32119 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414580340 10919915520 18775 33554432000 4194304 4196468 140726935113856 140443356359312 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32126] ppid=32116 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32126/stat : 32126 (java) S 32116 32119 30397 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 414580341 10919915520 18775 33554432000 4194304 4196468 140726935113856 140443245091312 140443753192066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
################
# More data... #
################
[pid=32119/tid=32135] ppid=32116 vsize=10746276 memory=280623902442052 CPUtime=74.86 cores=0,2,4,6
/proc/32119/task/32135/stat : 32135 (java) R 32116 32119 30397 0 -1 4202560 7119 0 0 0 7484 2 0 0 20 0 16 0 414580528 11004186624 50325 33554432000 4194304 4196468 140726935113856 140443219709648 140443372167304 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
Current children cumulated CPU time: 78.98 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 201300 KiB
[startup+78.4007 s]
/proc/loadavg: 2.18 1.89 1.68 3/230 32228
/proc/meminfo: memFree=31149536/32770624 swapFree=66981416/67108860
[pid=32119] ppid=32116 vsize=10746276 memory=203348 CPUtime=80.59 cores=0,2,4,6
/proc/32119/stat : 32119 (java) S 32116 32119 30397 0 -1 1077944320 36334 0 0 0 8045 14 0 0 20 0 16 0 414580339 11004186624 50837 33554432000 4194304 4196468 140726935113856 140726935096400 140443753180919 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
/proc/32119/statm: 2686569 50837 3345 1 0 2646705 0
[pid=32119/tid=32121] ppid=32116 vsize=10746276 memory=984 CPUtime=1.87 cores=0,2,4,6
/proc/32119/task/32121/stat : 32121 (java) S 32116 32119 30397 0 -1 1077944384 15356 0 0 0 181 6 0 0 20 0 16 0 414580339 11004186624 50837 33554432000 4194304 4196468 140726935113856 140443757423792 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32122] ppid=32116 vsize=10746276 memory=1328 CPUtime=0.01 cores=0,2,4,6
/proc/32119/task/32122/stat : 32122 (java) S 32116 32119 30397 0 -1 1077944384 129 0 0 0 1 0 0 0 20 0 16 0 414580340 11004186624 50837 33554432000 4194304 4196468 140726935113856 140443689871632 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32123] ppid=32116 vsize=10746276 memory=780 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32123/stat : 32123 (java) S 32116 32119 30397 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 414580340 11004186624 50837 33554432000 4194304 4196468 140726935113856 140443688819088 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32124] ppid=32116 vsize=10746276 memory=4160 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32124/stat : 32124 (java) S 32116 32119 30397 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 414580340 11004186624 50837 33554432000 4194304 4196468 140726935113856 140443687766544 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32125] ppid=32116 vsize=10746276 memory=280623902461488 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32125/stat : 32125 (java) S 32116 32119 30397 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 414580340 11004186624 50837 33554432000 4194304 4196468 140726935113856 140443356359312 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32126] ppid=32116 vsize=10746276 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/32119/task/32126/stat : 32126 (java) S 32116 32119 30397 0 -1 1077944384 1245 0 0 0 1 0 0 0 20 0 16 0 414580341 11004186624 50837 33554432000 4194304 4196468 140726935113856 140443245091312 140443753192066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32127] ppid=32116 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32127/stat : 32127 (java) S 32116 32119 30397 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414580342 11004186624 50837 33554432000 4194304 4196468 140726935113856 140443244037536 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32128] ppid=32116 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32128/stat : 32128 (java) S 32116 32119 30397 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414580342 11004186624 50837 33554432000 4194304 4196468 140726935113856 140443242984960 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32129] ppid=32116 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32129/stat : 32129 (java) S 32116 32119 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414580345 11004186624 50837 33554432000 4194304 4196468 140726935113856 140443241933520 140443753199515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32130] ppid=32116 vsize=10746276 memory=920 CPUtime=0.83 cores=0,2,4,6
/proc/32119/task/32130/stat : 32130 (java) S 32116 32119 30397 0 -1 1077944384 3726 0 0 0 83 0 0 0 20 0 16 0 414580345 11004186624 50837 33554432000 4194304 4196468 140726935113856 140443240880112 140443753192066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32131] ppid=32116 vsize=10746276 memory=1984 CPUtime=0.79 cores=0,2,4,6
/proc/32119/task/32131/stat : 32131 (java) S 32116 32119 30397 0 -1 1077944384 3661 0 0 0 79 0 0 0 20 0 16 0 414580345 11004186624 50837 33554432000 4194304 4196468 140726935113856 140443239827568 140443753192066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32132] ppid=32116 vsize=10746276 memory=2404 CPUtime=0.47 cores=0,2,4,6
/proc/32119/task/32132/stat : 32132 (java) S 32116 32119 30397 0 -1 1077944384 2722 0 0 0 47 0 0 0 20 0 16 0 414580345 11004186624 50837 33554432000 4194304 4196468 140726935113856 140443238775024 140443753192066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32133] ppid=32116 vsize=10746276 memory=1764 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32133/stat : 32133 (java) S 32116 32119 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414580345 11004186624 50837 33554432000 4194304 4196468 140726935113856 140443237722720 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32134] ppid=32116 vsize=10746276 memory=111632 CPUtime=0.02 cores=0,2,4,6
/proc/32119/task/32134/stat : 32134 (java) S 32116 32119 30397 0 -1 1077944384 368 0 0 0 1 1 0 0 20 0 16 0 414580345 11004186624 50837 33554432000 4194304 4196468 140726935113856 140443236670256 140443753192066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32135] ppid=32116 vsize=10746276 memory=804 CPUtime=76.46 cores=0,2,4,6
/proc/32119/task/32135/stat : 32135 (java) R 32116 32119 30397 0 -1 4202560 7626 0 0 0 7644 2 0 0 20 0 16 0 414580528 11004186624 50837 33554432000 4194304 4196468 140726935113856 140443219709648 140443371739495 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
Current children cumulated CPU time: 80.59 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 203348 KiB
[startup+80.0007 s]*
/proc/loadavg: 2.18 1.89 1.68 3/230 32228
/proc/meminfo: memFree=31149428/32770624 swapFree=66981416/67108860
[pid=32119] ppid=32116 vsize=10746276 memory=203348 CPUtime=82.2 cores=0,2,4,6
/proc/32119/stat : 32119 (java) S 32116 32119 30397 0 -1 1077944320 36334 0 0 0 8206 14 0 0 20 0 16 0 414580339 11004186624 50837 33554432000 4194304 4196468 140726935113856 140726935096400 140443753180919 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
/proc/32119/statm: 2686569 50837 3345 1 0 2646705 0
[pid=32119/tid=32121] ppid=32116 vsize=10746276 memory=6791534058613427641 CPUtime=1.87 cores=0,2,4,6
/proc/32119/task/32121/stat : 32121 (java) S 32116 32119 30397 0 -1 1077944384 15356 0 0 0 181 6 0 0 20 0 16 0 414580339 11004186624 50837 33554432000 4194304 4196468 140726935113856 140443757423792 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32122] ppid=32116 vsize=10746276 memory=4126316290023845779 CPUtime=0.01 cores=0,2,4,6
/proc/32119/task/32122/stat : 32122 (java) S 32116 32119 30397 0 -1 1077944384 129 0 0 0 1 0 0 0 20 0 16 0 414580340 11004186624 50837 33554432000 4194304 4196468 140726935113856 140443689871632 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32123] ppid=32116 vsize=10746276 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32123/stat : 32123 (java) S 32116 32119 30397 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 414580340 11004186624 50837 33554432000 4194304 4196468 140726935113856 140443688819088 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32124] ppid=32116 vsize=10746276 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32124/stat : 32124 (java) S 32116 32119 30397 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 414580340 11004186624 50837 33554432000 4194304 4196468 140726935113856 140443687766544 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32125] ppid=32116 vsize=10746276 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32125/stat : 32125 (java) S 32116 32119 30397 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 414580340 11004186624 50837 33554432000 4194304 4196468 140726935113856 140443356359312 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32126] ppid=32116 vsize=10746276 memory=11976 CPUtime=0.01 cores=0,2,4,6
/proc/32119/task/32126/stat : 32126 (java) S 32116 32119 30397 0 -1 1077944384 1245 0 0 0 1 0 0 0 20 0 16 0 414580341 11004186624 50837 33554432000 4194304 4196468 140726935113856 140443245091312 140443753192066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32127] ppid=32116 vsize=10746276 memory=6684 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32127/stat : 32127 (java) S 32116 32119 30397 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414580342 11004186624 50837 33554432000 4194304 4196468 140726935113856 140443244037536 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32128] ppid=32116 vsize=10746276 memory=512 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32128/stat : 32128 (java) S 32116 32119 30397 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414580342 11004186624 50837 33554432000 4194304 4196468 140726935113856 140443242984960 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32129] ppid=32116 vsize=10746276 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32129/stat : 32129 (java) S 32116 32119 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414580345 11004186624 50837 33554432000 4194304 4196468 140726935113856 140443241933520 140443753199515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32130] ppid=32116 vsize=10746276 memory=928 CPUtime=0.83 cores=0,2,4,6
/proc/32119/task/32130/stat : 32130 (java) S 32116 32119 30397 0 -1 1077944384 3726 0 0 0 83 0 0 0 20 0 16 0 414580345 11004186624 50837 33554432000 4194304 4196468 140726935113856 140443240880112 140443753192066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32131] ppid=32116 vsize=10746276 memory=3772 CPUtime=0.79 cores=0,2,4,6
/proc/32119/task/32131/stat : 32131 (java) S 32116 32119 30397 0 -1 1077944384 3661 0 0 0 79 0 0 0 20 0 16 0 414580345 11004186624 50837 33554432000 4194304 4196468 140726935113856 140443239827568 140443753192066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32132] ppid=32116 vsize=10746276 memory=1440 CPUtime=0.47 cores=0,2,4,6
/proc/32119/task/32132/stat : 32132 (java) S 32116 32119 30397 0 -1 1077944384 2722 0 0 0 47 0 0 0 20 0 16 0 414580345 11004186624 50837 33554432000 4194304 4196468 140726935113856 140443238775024 140443753192066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32133] ppid=32116 vsize=10746276 memory=280623903307056 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32133/stat : 32133 (java) S 32116 32119 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414580345 11004186624 50837 33554432000 4194304 4196468 140726935113856 140443237722720 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32134] ppid=32116 vsize=10746276 memory=576583242059703325 CPUtime=0.02 cores=0,2,4,6
/proc/32119/task/32134/stat : 32134 (java) S 32116 32119 30397 0 -1 1077944384 368 0 0 0 1 1 0 0 20 0 16 0 414580345 11004186624 50837 33554432000 4194304 4196468 140726935113856 140443236670256 140443753192066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32135] ppid=32116 vsize=10746276 memory=288283359777502939 CPUtime=78.07 cores=0,2,4,6
/proc/32119/task/32135/stat : 32135 (java) R 32116 32119 30397 0 -1 4202560 7626 0 0 0 7805 2 0 0 20 0 16 0 414580528 11004186624 50837 33554432000 4194304 4196468 140726935113856 140443219709648 140443372241984 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
Current children cumulated CPU time: 82.2 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 203348 KiB
[startup+80.8007 s]
/proc/loadavg: 2.18 1.89 1.68 3/230 32228
/proc/meminfo: memFree=31149428/32770624 swapFree=66981416/67108860
[pid=32119] ppid=32116 vsize=10746276 memory=205396 CPUtime=82.99 cores=0,2,4,6
/proc/32119/stat : 32119 (java) S 32116 32119 30397 0 -1 1077944320 36335 0 0 0 8285 14 0 0 20 0 16 0 414580339 11004186624 51349 33554432000 4194304 4196468 140726935113856 140726935096400 140443753180919 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
/proc/32119/statm: 2686569 51349 3345 1 0 2646705 0
[pid=32119/tid=32121] ppid=32116 vsize=10746276 memory=19524 CPUtime=1.87 cores=0,2,4,6
/proc/32119/task/32121/stat : 32121 (java) S 32116 32119 30397 0 -1 1077944384 15356 0 0 0 181 6 0 0 20 0 16 0 414580339 11004186624 51349 33554432000 4194304 4196468 140726935113856 140443757423792 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32122] ppid=32116 vsize=10746276 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/32119/task/32122/stat : 32122 (java) S 32116 32119 30397 0 -1 1077944384 129 0 0 0 1 0 0 0 20 0 16 0 414580340 11004186624 51349 33554432000 4194304 4196468 140726935113856 140443689871632 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32123] ppid=32116 vsize=10746276 memory=9580 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32123/stat : 32123 (java) S 32116 32119 30397 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 414580340 11004186624 51349 33554432000 4194304 4196468 140726935113856 140443688819088 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32124] ppid=32116 vsize=10746276 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32124/stat : 32124 (java) S 32116 32119 30397 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 414580340 11004186624 51349 33554432000 4194304 4196468 140726935113856 140443687766544 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32125] ppid=32116 vsize=10746276 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32125/stat : 32125 (java) S 32116 32119 30397 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 414580340 11004186624 51349 33554432000 4194304 4196468 140726935113856 140443356359312 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32126] ppid=32116 vsize=10746276 memory=11976 CPUtime=0.01 cores=0,2,4,6
/proc/32119/task/32126/stat : 32126 (java) S 32116 32119 30397 0 -1 1077944384 1245 0 0 0 1 0 0 0 20 0 16 0 414580341 11004186624 51349 33554432000 4194304 4196468 140726935113856 140443245091312 140443753192066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32127] ppid=32116 vsize=10746276 memory=6684 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32127/stat : 32127 (java) S 32116 32119 30397 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414580342 11004186624 51349 33554432000 4194304 4196468 140726935113856 140443244037536 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32128] ppid=32116 vsize=10746276 memory=512 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32128/stat : 32128 (java) S 32116 32119 30397 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414580342 11004186624 51349 33554432000 4194304 4196468 140726935113856 140443242984960 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32129] ppid=32116 vsize=10746276 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32129/stat : 32129 (java) S 32116 32119 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414580345 11004186624 51349 33554432000 4194304 4196468 140726935113856 140443241933520 140443753199515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32130] ppid=32116 vsize=10746276 memory=804 CPUtime=0.83 cores=0,2,4,6
/proc/32119/task/32130/stat : 32130 (java) S 32116 32119 30397 0 -1 1077944384 3726 0 0 0 83 0 0 0 20 0 16 0 414580345 11004186624 51349 33554432000 4194304 4196468 140726935113856 140443240880112 140443753192066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32131] ppid=32116 vsize=10746276 memory=6791534058613427641 CPUtime=0.79 cores=0,2,4,6
/proc/32119/task/32131/stat : 32131 (java) S 32116 32119 30397 0 -1 1077944384 3661 0 0 0 79 0 0 0 20 0 16 0 414580345 11004186624 51349 33554432000 4194304 4196468 140726935113856 140443239827568 140443753192066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32132] ppid=32116 vsize=10746276 memory=1808 CPUtime=0.47 cores=0,2,4,6
/proc/32119/task/32132/stat : 32132 (java) S 32116 32119 30397 0 -1 1077944384 2722 0 0 0 47 0 0 0 20 0 16 0 414580345 11004186624 51349 33554432000 4194304 4196468 140726935113856 140443238775024 140443753192066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32133] ppid=32116 vsize=10746276 memory=203348 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32133/stat : 32133 (java) S 32116 32119 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414580345 11004186624 51349 33554432000 4194304 4196468 140726935113856 140443237722720 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32134] ppid=32116 vsize=10746276 memory=3848 CPUtime=0.02 cores=0,2,4,6
/proc/32119/task/32134/stat : 32134 (java) S 32116 32119 30397 0 -1 1077944384 368 0 0 0 1 1 0 0 20 0 16 0 414580345 11004186624 51349 33554432000 4194304 4196468 140726935113856 140443236670256 140443753192066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32135] ppid=32116 vsize=10746276 memory=2680 CPUtime=78.86 cores=0,2,4,6
/proc/32119/task/32135/stat : 32135 (java) R 32116 32119 30397 0 -1 4202560 7627 0 0 0 7884 2 0 0 20 0 16 0 414580528 11004186624 51349 33554432000 4194304 4196468 140726935113856 140443219709648 140443371739988 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
Current children cumulated CPU time: 82.99 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 205396 KiB
[startup+81.2006 s]
/proc/loadavg: 2.17 1.89 1.69 3/231 32230
/proc/meminfo: memFree=31146388/32770624 swapFree=66981416/67108860
[pid=32119] ppid=32116 vsize=10746276 memory=209564 CPUtime=83.4 cores=0,2,4,6
/proc/32119/stat : 32119 (java) S 32116 32119 30397 0 -1 1077944320 39664 0 0 0 8326 14 0 0 20 0 13 0 414580339 11004186624 52391 33554432000 4194304 4196468 140726935113856 140726935096400 140443753180919 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
/proc/32119/statm: 2686569 52391 3346 1 0 2646705 0
[pid=32119/tid=32121] ppid=32116 vsize=10746276 memory=6944656575208382560 CPUtime=1.87 cores=0,2,4,6
/proc/32119/task/32121/stat : 32121 (java) S 32116 32119 30397 0 -1 1077944384 15535 0 0 0 181 6 0 0 20 0 13 0 414580339 11004186624 52391 33554432000 4194304 4196468 140726935113856 140443757423760 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32122] ppid=32116 vsize=10746276 memory=288230608902291755 CPUtime=0.01 cores=0,2,4,6
/proc/32119/task/32122/stat : 32122 (java) S 32116 32119 30397 0 -1 1077944384 129 0 0 0 1 0 0 0 20 0 13 0 414580340 11004186624 52391 33554432000 4194304 4196468 140726935113856 140443689871632 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32123] ppid=32116 vsize=10746276 memory=15542907645986237 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32123/stat : 32123 (java) S 32116 32119 30397 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 13 0 414580340 11004186624 52391 33554432000 4194304 4196468 140726935113856 140443688819088 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32124] ppid=32116 vsize=10746276 memory=280623902097648 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32124/stat : 32124 (java) S 32116 32119 30397 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 13 0 414580340 11004186624 52391 33554432000 4194304 4196468 140726935113856 140443687766544 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32125] ppid=32116 vsize=10746276 memory=280623902097648 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32125/stat : 32125 (java) S 32116 32119 30397 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 13 0 414580340 11004186624 52391 33554432000 4194304 4196468 140726935113856 140443356359312 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32126] ppid=32116 vsize=10746276 memory=203348 CPUtime=0.01 cores=0,2,4,6
/proc/32119/task/32126/stat : 32126 (java) S 32116 32119 30397 0 -1 1077944384 1262 0 0 0 1 0 0 0 20 0 13 0 414580341 11004186624 52391 33554432000 4194304 4196468 140726935113856 140443245091520 140443753192066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32127] ppid=32116 vsize=10746276 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32127/stat : 32127 (java) S 32116 32119 30397 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 13 0 414580342 11004186624 52391 33554432000 4194304 4196468 140726935113856 140443244037536 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32128] ppid=32116 vsize=10746276 memory=2668 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32128/stat : 32128 (java) S 32116 32119 30397 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 13 0 414580342 11004186624 52391 33554432000 4194304 4196468 140726935113856 140443242984960 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32130] ppid=32116 vsize=10746276 memory=6791534058613427641 CPUtime=0.85 cores=0,2,4,6
/proc/32119/task/32130/stat : 32130 (java) S 32116 32119 30397 0 -1 1077944384 4133 0 0 0 84 1 0 0 20 0 13 0 414580345 11004186624 52391 33554432000 4194304 4196468 140726935113856 140443240860512 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32131] ppid=32116 vsize=10746276 memory=4126316290023845779 CPUtime=0.8 cores=0,2,4,6
/proc/32119/task/32131/stat : 32131 (java) S 32116 32119 30397 0 -1 1077944384 4370 0 0 0 80 0 0 0 20 0 13 0 414580345 11004186624 52391 33554432000 4194304 4196468 140726935113856 140443239807968 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32132] ppid=32116 vsize=10746276 memory=5795153719298590087 CPUtime=0.48 cores=0,2,4,6
/proc/32119/task/32132/stat : 32132 (java) S 32116 32119 30397 0 -1 1077944384 3583 0 0 0 48 0 0 0 20 0 13 0 414580345 11004186624 52391 33554432000 4194304 4196468 140726935113856 140443238775024 140443753192066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
[pid=32119/tid=32133] ppid=32116 vsize=10746276 memory=-5921431000321636112 CPUtime=0 cores=0,2,4,6
/proc/32119/task/32133/stat : 32133 (java) S 32116 32119 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 414580345 11004186624 52391 33554432000 4194304 4196468 140726935113856 140443237722720 140443753191125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13578240 140726935122955 140726935123058 140726935123058 140726935125967 0
Current children cumulated CPU time: 83.4 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 209564 KiB
Child status: 0
Real time (s): 81.2088
CPU time (s): 83.4216
CPU user time (s): 83.2694
CPU system time (s): 0.152198
CPU usage (%): 102.725
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 209564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 83.2694
system time used= 0.152198
maximum resident set size= 209992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39708
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4187
involuntary context switches= 124
# summary of solver processes directly reported to runsolver:
# pid: 32119
# total CPU time (s): 83.4216
# total CPU user time (s): 83.2694
# total CPU system time (s): 0.152198
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.453852 second user time and 0.774973 second system time
The end