2.61/1.90
2.61/1.90 AbsCon 2
2.61/1.91
3.68/2.33 Instance
3.68/2.33 name=instance-4390493-1568380523, framework=CSP
3.68/2.33
3.68/2.33 Loading variables...
3.68/2.36 Loading constraints...
3.98/2.47
3.98/2.47 Domains
3.98/2.47 nTypes=1, nValues=400, sizes=[20#20]
3.98/2.47 Variables
3.98/2.47 count=20, degrees=[3#1,6#5,7#2,8#3...10#2,12#2,13#1,16#1]
3.98/2.47 Constraints
3.98/2.47 count=57, nSpecific=57, arities=[3#57]
3.98/2.47 distribution=[CtrExtensionCT-Table#57]
3.98/2.47 tables=[1063#1,1064#1,1085#1,2944#54], nTotalTuples=162188
3.98/2.47 nExtStructures=(57,shared:0)
3.98/2.47 wck=0.599, cpu=2.424, mem=137M118
3.98/2.48 Solver SolverBacktrack being built...
3.98/2.48
3.98/2.50
3.98/2.50 Solver
3.98/2.50 guaranteedGAC=true
3.98/2.50 wck=0.629, cpu=2.452, mem=147M734
4.23/2.50
4.23/2.50 Preprocessing
4.23/2.50 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
4.23/2.50 wck=0.002, cpu=2.455, mem=147M734
4.23/2.50
4.23/2.51 num=0, depth=4..5, filters=385, wck=0.016, mem=150M179
4.23/2.51 decisions=28, wrong=12, backtracks=2, failedAssignments=10, nogoods=9
4.23/2.51 nFilterCalls=1004, avgTableProportion=0.9996118862776935, avgTableSize=2790.1225099601593
4.23/2.51
4.23/2.52 num=1, depth=2..4, filters=783, wck=0.021, mem=150M179
4.23/2.52 decisions=59, wrong=26, backtracks=5, failedAssignments=21, nogoods=14
4.23/2.52 nFilterCalls=2069, avgTableProportion=0.9996298716424278, avgTableSize=2847.022716288062
4.23/2.52
4.23/2.52 num=2, depth=2..4, filters=1247, wck=0.025, mem=150M179
4.23/2.52 decisions=93, wrong=41, backtracks=8, failedAssignments=33, nogoods=21
4.23/2.52 nFilterCalls=3261, avgTableProportion=0.9996298835644272, avgTableSize=2847.0616375344985
4.23/2.52
4.23/2.53 num=3, depth=3..5, filters=1720, wck=0.029, mem=150M179
4.23/2.53 decisions=127, wrong=56, backtracks=10, failedAssignments=46, nogoods=32
4.23/2.53 nFilterCalls=4412, avgTableProportion=0.9996303221248201, avgTableSize=2848.3601541251132
4.23/2.53
4.23/2.53 num=4, depth=3..5, filters=2155, wck=0.034, mem=150M179
4.23/2.53 decisions=166, wrong=74, backtracks=14, failedAssignments=60, nogoods=39
4.23/2.53 nFilterCalls=5647, avgTableProportion=0.9996279204968971, avgTableSize=2840.8411545953604
4.23/2.53
4.23/2.53 num=5, depth=4..5, filters=2552, wck=0.038, mem=150M179
4.23/2.53 decisions=204, wrong=91, backtracks=15, failedAssignments=76, nogoods=52
4.23/2.53 nFilterCalls=6648, avgTableProportion=0.999629167827553, avgTableSize=2844.70908543923
4.23/2.53
4.23/2.55 num=6, depth=3..4, filters=3270, wck=0.056, mem=150M179
4.23/2.55 decisions=248, wrong=111, backtracks=18, failedAssignments=93, nogoods=68
4.23/2.55 nFilterCalls=8311, avgTableProportion=0.9996278229065948, avgTableSize=2840.4857417879916
4.23/2.55
4.23/2.56 num=7, depth=3..5, filters=4229, wck=0.063, mem=150M179
4.23/2.56 decisions=307, wrong=139, backtracks=28, failedAssignments=112, nogoods=84
4.23/2.56 nFilterCalls=10462, avgTableProportion=0.9996293651786253, avgTableSize=2845.302714586121
4.23/2.56
4.23/2.57 num=8, depth=3..5, filters=5119, wck=0.07, mem=150M179
4.23/2.57 decisions=365, wrong=166, backtracks=35, failedAssignments=133, nogoods=88
4.23/2.57 nFilterCalls=12870, avgTableProportion=0.9996260552403258, avgTableSize=2834.9021756021757
4.23/2.57
4.23/2.57 num=9, depth=2..5, filters=5943, wck=0.076, mem=150M179
4.23/2.57 decisions=429, wrong=197, backtracks=43, failedAssignments=156, nogoods=90
4.23/2.57 nFilterCalls=14983, avgTableProportion=0.999626862812153, avgTableSize=2837.4180070746847
4.23/2.57
4.23/2.58 num=10, depth=2..4, filters=6740, wck=0.082, mem=150M179
4.23/2.58 decisions=488, wrong=225, backtracks=47, failedAssignments=181, nogoods=92
4.23/2.58 nFilterCalls=16902, avgTableProportion=0.9996290673394415, avgTableSize=2844.403739202461
4.23/2.58
4.23/2.58 num=11, depth=2..4, filters=7595, wck=0.088, mem=150M179
4.23/2.58 decisions=555, wrong=257, backtracks=51, failedAssignments=209, nogoods=99
4.23/2.58 nFilterCalls=19005, avgTableProportion=0.9996289877097858, avgTableSize=2844.170428834517
4.23/2.58
4.23/2.59 num=12, depth=2..5, filters=8635, wck=0.095, mem=150M179
4.23/2.59 decisions=636, wrong=296, backtracks=59, failedAssignments=240, nogoods=105
4.23/2.59 nFilterCalls=21630, avgTableProportion=0.9996312949940045, avgTableSize=2851.4736477115116
4.23/2.59
4.56/2.60 num=13, depth=3..5, filters=9916, wck=0.103, mem=150M179
4.56/2.60 decisions=727, wrong=340, backtracks=69, failedAssignments=274, nogoods=132
4.56/2.60 nFilterCalls=24584, avgTableProportion=0.9996321374615909, avgTableSize=2854.105149690856
4.56/2.60
4.56/2.61 num=14, depth=2..5, filters=11586, wck=0.113, mem=150M179
4.56/2.61 decisions=836, wrong=393, backtracks=87, failedAssignments=311, nogoods=143
4.56/2.61 nFilterCalls=28590, avgTableProportion=0.9996295913328357, avgTableSize=2846.06537250787
4.56/2.61
4.56/2.62 num=15, depth=2..5, filters=13053, wck=0.122, mem=150M179
4.56/2.62 decisions=935, wrong=441, backtracks=95, failedAssignments=352, nogoods=149
4.56/2.62 nFilterCalls=32022, avgTableProportion=0.999629537588359, avgTableSize=2845.9166510524014
4.56/2.62
4.56/2.63 num=16, depth=2..5, filters=14575, wck=0.13, mem=150M179
4.56/2.63 decisions=1050, wrong=497, backtracks=109, failedAssignments=397, nogoods=166
4.56/2.63 nFilterCalls=35747, avgTableProportion=0.9996283269078281, avgTableSize=2842.0981061347807
4.56/2.63
4.56/2.65 num=17, depth=2..5, filters=16250, wck=0.157, mem=41M543
4.56/2.65 decisions=1177, wrong=559, backtracks=121, failedAssignments=447, nogoods=177
4.56/2.65 nFilterCalls=39738, avgTableProportion=0.9996287861877294, avgTableSize=2843.5552871307063
4.56/2.65
4.56/2.66 num=18, depth=2..5, filters=18187, wck=0.164, mem=41M543
4.56/2.66 decisions=1311, wrong=625, backtracks=134, failedAssignments=502, nogoods=187
4.56/2.66 nFilterCalls=44446, avgTableProportion=0.9996295855528625, avgTableSize=2846.080254691086
4.56/2.66
4.56/2.67 num=19, depth=2..5, filters=20675, wck=0.173, mem=41M543
4.56/2.67 decisions=1474, wrong=705, backtracks=153, failedAssignments=563, nogoods=205
4.56/2.67 nFilterCalls=50382, avgTableProportion=0.9996282427123746, avgTableSize=2841.848080663729
4.56/2.67
4.56/2.68 num=20, depth=1..4, filters=22845, wck=0.181, mem=41M543
4.56/2.68 decisions=1639, wrong=787, backtracks=169, failedAssignments=630, nogoods=206
4.56/2.68 nFilterCalls=55874, avgTableProportion=0.9996298180428703, avgTableSize=2846.802877903855
4.56/2.68
4.56/2.68 num=21, depth=2..6, filters=24853, wck=0.188, mem=41M543
4.56/2.68 decisions=1808, wrong=870, backtracks=180, failedAssignments=704, nogoods=214
4.56/2.68 nFilterCalls=60510, avgTableProportion=0.9996300689997302, avgTableSize=2847.6052388035037
4.56/2.68
4.81/2.70 num=22, depth=2..5, filters=28548, wck=0.201, mem=41M543
4.81/2.70 decisions=2030, wrong=980, backtracks=213, failedAssignments=785, nogoods=246
4.81/2.70 nFilterCalls=69302, avgTableProportion=0.9996303942454717, avgTableSize=2848.6283801333293
4.81/2.70
4.81/2.71 num=23, depth=2..4, filters=30866, wck=0.211, mem=41M543
4.81/2.71 decisions=2246, wrong=1087, backtracks=231, failedAssignments=874, nogoods=268
4.81/2.71 nFilterCalls=75473, avgTableProportion=0.9996284300002851, avgTableSize=2842.4276363732724
4.81/2.71
4.81/2.72 num=24, depth=2..5, filters=34228, wck=0.226, mem=42M402
4.81/2.72 decisions=2490, wrong=1208, backtracks=256, failedAssignments=972, nogoods=296
4.81/2.72 nFilterCalls=83747, avgTableProportion=0.9996282474321541, avgTableSize=2841.8529260749638
4.81/2.72
4.81/2.74 num=25, depth=1..4, filters=38515, wck=0.242, mem=45M17
4.81/2.74 decisions=2777, wrong=1351, backtracks=293, failedAssignments=1080, nogoods=299
4.81/2.74 nFilterCalls=94171, avgTableProportion=0.9996287010624434, avgTableSize=2843.2713786622207
4.81/2.74
4.81/2.76 num=26, depth=1..5, filters=43444, wck=0.259, mem=45M17
4.81/2.76 decisions=3092, wrong=1507, backtracks=336, failedAssignments=1199, nogoods=305
4.81/2.76 nFilterCalls=106105, avgTableProportion=0.9996278554375324, avgTableSize=2840.6005372037134
4.81/2.76
4.81/2.77 num=27, depth=2..5, filters=48085, wck=0.276, mem=45M17
4.81/2.77 decisions=3402, wrong=1661, backtracks=364, failedAssignments=1330, nogoods=338
4.81/2.77 nFilterCalls=117068, avgTableProportion=0.9996267660217589, avgTableSize=2837.157361533468
4.81/2.77
4.81/2.79 num=28, depth=1..5, filters=53684, wck=0.296, mem=45M17
4.81/2.79 decisions=3767, wrong=1842, backtracks=402, failedAssignments=1474, nogoods=351
4.81/2.79 nFilterCalls=130324, avgTableProportion=0.9996261838149648, avgTableSize=2835.3399066940856
4.81/2.79
5.08/2.82 num=29, depth=1..7, filters=59840, wck=0.318, mem=47M633
5.08/2.82 decisions=4175, wrong=2045, backtracks=457, failedAssignments=1632, nogoods=376
5.08/2.82 nFilterCalls=144181, avgTableProportion=0.9996253448663883, avgTableSize=2832.6802491313
5.08/2.82
5.08/2.84 num=30, depth=1..5, filters=66177, wck=0.34, mem=47M633
5.08/2.84 decisions=4606, wrong=2259, backtracks=504, failedAssignments=1806, nogoods=395
5.08/2.84 nFilterCalls=159181, avgTableProportion=0.9996246336021221, avgTableSize=2830.4323380302926
5.08/2.84
5.08/2.86 num=31, depth=1..5, filters=72646, wck=0.362, mem=47M633
5.08/2.86 decisions=5071, wrong=2490, backtracks=547, failedAssignments=1997, nogoods=420
5.08/2.86 nFilterCalls=174617, avgTableProportion=0.9996254481682708, avgTableSize=2832.996993419885
5.08/2.86
5.08/2.89 num=32, depth=1..5, filters=81007, wck=0.39, mem=50M249
5.08/2.89 decisions=5604, wrong=2755, backtracks=610, failedAssignments=2208, nogoods=432
5.08/2.89 nFilterCalls=194366, avgTableProportion=0.9996250424455165, avgTableSize=2831.7112200693537
5.08/2.89
5.34/2.91 num=33, depth=1..5, filters=89459, wck=0.418, mem=50M249
5.34/2.91 decisions=6179, wrong=3041, backtracks=668, failedAssignments=2440, nogoods=455
5.34/2.91 nFilterCalls=214548, avgTableProportion=0.9996245842729978, avgTableSize=2830.272092958219
5.34/2.91
5.34/2.94 num=34, depth=1..5, filters=98617, wck=0.447, mem=52M865
5.34/2.94 decisions=6816, wrong=3358, backtracks=733, failedAssignments=2695, nogoods=468
5.34/2.94 nFilterCalls=236319, avgTableProportion=0.9996250856814378, avgTableSize=2831.868851002247
5.34/2.94
5.34/2.98 num=35, depth=1..5, filters=109815, wck=0.483, mem=52M865
5.34/2.98 decisions=7569, wrong=3733, backtracks=834, failedAssignments=2976, nogoods=487
5.34/2.98 nFilterCalls=263673, avgTableProportion=0.9996253483311696, avgTableSize=2832.691098443906
5.34/2.98
5.49/3.02 num=36, depth=1..6, filters=122110, wck=0.528, mem=55M481
5.49/3.02 decisions=8363, wrong=4129, backtracks=936, failedAssignments=3285, nogoods=515
5.49/3.02 nFilterCalls=293321, avgTableProportion=0.9996264137903489, avgTableSize=2836.0558057554695
5.49/3.02
5.49/3.06 num=37, depth=1..5, filters=131819, wck=0.561, mem=55M481
5.49/3.06 decisions=9176, wrong=4534, backtracks=1008, failedAssignments=3625, nogoods=532
5.49/3.06 nFilterCalls=317820, avgTableProportion=0.999626631830859, avgTableSize=2836.7598011453024
5.49/3.06
5.49/3.09 num=38, depth=1..5, filters=143041, wck=0.597, mem=58M96
5.49/3.09 decisions=10086, wrong=4988, backtracks=1094, failedAssignments=3999, nogoods=542
5.49/3.09 nFilterCalls=346451, avgTableProportion=0.9996280078482686, avgTableSize=2841.1072099662
5.49/3.09
5.60/3.15 num=39, depth=1..6, filters=159730, wck=0.651, mem=58M96
5.60/3.15 decisions=11137, wrong=5512, backtracks=1227, failedAssignments=4410, nogoods=559
5.60/3.15 nFilterCalls=385668, avgTableProportion=0.9996269103433445, avgTableSize=2837.6471369156893
5.60/3.15
5.75/3.20 num=40, depth=1..6, filters=176281, wck=0.701, mem=60M712
5.75/3.20 decisions=12273, wrong=6079, backtracks=1358, failedAssignments=4862, nogoods=593
5.75/3.20 nFilterCalls=425764, avgTableProportion=0.99962741661554, avgTableSize=2839.233739818303
5.75/3.20
5.75/3.26 num=41, depth=1..6, filters=195000, wck=0.761, mem=63M328
5.75/3.26 decisions=13536, wrong=6709, backtracks=1504, failedAssignments=5359, nogoods=613
5.75/3.26 nFilterCalls=469864, avgTableProportion=0.9996278590044821, avgTableSize=2840.619692081113
5.75/3.26
5.97/3.42 num=42, depth=1..5, filters=214816, wck=0.822, mem=65M944
5.97/3.42 decisions=14922, wrong=7401, backtracks=1663, failedAssignments=5906, nogoods=647
5.97/3.42 nFilterCalls=517935, avgTableProportion=0.9996288339186582, avgTableSize=2843.6979678917237
5.97/3.42
5.97/3.42 num=43, depth=1..5, filters=238894, wck=0.901, mem=68M560
5.97/3.42 decisions=16467, wrong=8172, backtracks=1861, failedAssignments=6508, nogoods=665
5.97/3.42 nFilterCalls=575802, avgTableProportion=0.9996272579386458, avgTableSize=2838.726973855596
5.97/3.42
5.97/3.48 num=44, depth=1..7, filters=265502, wck=0.984, mem=71M176
5.97/3.48 decisions=18206, wrong=9040, backtracks=2094, failedAssignments=7170, nogoods=694
5.97/3.48 nFilterCalls=639743, avgTableProportion=0.9996272363326832, avgTableSize=2838.648527611869
5.97/3.48
6.08/3.57 num=45, depth=1..5, filters=293127, wck=1.07, mem=73M791
6.08/3.57 decisions=20062, wrong=9967, backtracks=2322, failedAssignments=7898, nogoods=707
6.08/3.57 nFilterCalls=705636, avgTableProportion=0.9996272979073078, avgTableSize=2838.832030962139
6.08/3.57
6.19/3.69 num=46, depth=0..5, filters=326547, wck=1.189, mem=79M23
6.19/3.69 decisions=22151, wrong=11010, backtracks=2598, failedAssignments=8699, nogoods=730
6.19/3.69 nFilterCalls=786155, avgTableProportion=0.9996264299464778, avgTableSize=2836.096816785494
6.19/3.69
6.32/3.78 num=47, depth=1..6, filters=358467, wck=1.287, mem=81M639
6.32/3.78 decisions=24308, wrong=12087, backtracks=2819, failedAssignments=9580, nogoods=766
6.32/3.78 nFilterCalls=862451, avgTableProportion=0.999626220209862, avgTableSize=2835.431677857641
6.32/3.78
6.42/3.88 num=48, depth=1..5, filters=391190, wck=1.387, mem=86M870
6.42/3.88 decisions=26709, wrong=13286, backtracks=3059, failedAssignments=10550, nogoods=789
6.42/3.88 nFilterCalls=941364, avgTableProportion=0.9996269489454132, avgTableSize=2837.7474016427227
6.42/3.88
6.62/4.02 num=49, depth=0..6, filters=433494, wck=1.523, mem=89M486
6.62/4.02 decisions=29476, wrong=14668, backtracks=3420, failedAssignments=11617, nogoods=797
6.62/4.02 nFilterCalls=1044623, avgTableProportion=0.9996269447306262, avgTableSize=2837.735175273759
6.62/4.02
6.73/4.15 num=50, depth=1..6, filters=475487, wck=1.653, mem=94M718
6.73/4.15 decisions=32441, wrong=16149, backtracks=3755, failedAssignments=12790, nogoods=828
6.73/4.15 nFilterCalls=1147285, avgTableProportion=0.9996278967332808, avgTableSize=2840.733547462052
6.73/4.15
6.92/4.31 num=51, depth=0..6, filters=527040, wck=1.81, mem=102M565
6.92/4.31 decisions=35768, wrong=17811, backtracks=4182, failedAssignments=14081, nogoods=858
6.92/4.31 nFilterCalls=1269008, avgTableProportion=0.9996280099780511, avgTableSize=2841.075948299774
6.92/4.31
7.02/4.46 num=52, depth=1..5, filters=574075, wck=1.967, mem=107M797
7.02/4.46 decisions=39241, wrong=19546, backtracks=4532, failedAssignments=15501, nogoods=880
7.02/4.46 nFilterCalls=1387060, avgTableProportion=0.9996274287144232, avgTableSize=2839.253560047871
7.02/4.46
7.22/4.64 num=53, depth=1..6, filters=633446, wck=2.148, mem=113M29
7.22/4.64 decisions=43267, wrong=21558, backtracks=5040, failedAssignments=17063, nogoods=925
7.22/4.64 nFilterCalls=1530598, avgTableProportion=0.9996272626090222, avgTableSize=2838.7245677833107
7.22/4.64
7.42/4.83 num=54, depth=1..6, filters=696111, wck=2.335, mem=120M876
7.42/4.83 decisions=47593, wrong=23720, backtracks=5536, failedAssignments=18781, nogoods=968
7.42/4.83 nFilterCalls=1680763, avgTableProportion=0.9996280411606406, avgTableSize=2841.196984940768
7.42/4.83
7.63/5.07 num=55, depth=0..5, filters=770385, wck=2.572, mem=128M723
7.63/5.07 decisions=52533, wrong=26189, backtracks=6196, failedAssignments=20671, nogoods=1007
7.63/5.07 nFilterCalls=1864668, avgTableProportion=0.9996280966258593, avgTableSize=2841.3788148882268
7.63/5.07
7.92/5.33 num=56, depth=0..6, filters=854756, wck=2.833, mem=139M187
7.92/5.33 decisions=57967, wrong=28905, backtracks=6891, failedAssignments=22750, nogoods=1021
7.92/5.33 nFilterCalls=2066026, avgTableProportion=0.9996280557731618, avgTableSize=2841.240753504554
7.92/5.33
8.22/5.61 num=57, depth=0..5, filters=946378, wck=3.116, mem=149M650
8.22/5.61 decisions=63942, wrong=31891, backtracks=7671, failedAssignments=25037, nogoods=1039
8.22/5.61 nFilterCalls=2287599, avgTableProportion=0.9996276253132821, avgTableSize=2839.8780376280984
8.22/5.61
8.52/5.93 num=58, depth=0..5, filters=1047338, wck=3.43, mem=160M113
8.52/5.93 decisions=70420, wrong=35129, backtracks=8477, failedAssignments=27553, nogoods=1070
8.52/5.93 nFilterCalls=2532392, avgTableProportion=0.9996274784181792, avgTableSize=2839.419630136251
8.52/5.93
8.82/6.30 num=59, depth=0..6, filters=1159402, wck=3.799, mem=43M392
8.82/6.30 decisions=77585, wrong=38710, backtracks=9401, failedAssignments=30321, nogoods=1100
8.82/6.30 nFilterCalls=2803783, avgTableProportion=0.9996277079826861, avgTableSize=2840.145546570473
8.82/6.30
9.27/6.67 num=60, depth=0..5, filters=1277439, wck=4.169, mem=56M394
9.27/6.67 decisions=85477, wrong=42655, backtracks=10390, failedAssignments=33365, nogoods=1147
9.27/6.67 nFilterCalls=3090515, avgTableProportion=0.9996278451859545, avgTableSize=2840.5892364217616
9.27/6.67
9.68/7.07 num=61, depth=0..6, filters=1405681, wck=4.573, mem=69M396
9.68/7.07 decisions=94132, wrong=46981, backtracks=11489, failedAssignments=36714, nogoods=1169
9.68/7.07 nFilterCalls=3402862, avgTableProportion=0.9996275612406204, avgTableSize=2839.68912991476
9.68/7.07
10.18/7.53 num=62, depth=0..6, filters=1550667, wck=5.031, mem=86M732
10.18/7.53 decisions=103658, wrong=51743, backtracks=12711, failedAssignments=40398, nogoods=1177
10.18/7.53 nFilterCalls=3756227, avgTableProportion=0.9996275136688496, avgTableSize=2839.543745093148
10.18/7.53
10.68/8.01 num=63, depth=0..6, filters=1705456, wck=5.513, mem=104M68
10.68/8.01 decisions=113983, wrong=56904, backtracks=13964, failedAssignments=44450, nogoods=1210
10.68/8.01 nFilterCalls=4130424, avgTableProportion=0.9996275068477002, avgTableSize=2839.5190355760087
10.68/8.01
11.20/8.55 num=64, depth=0..6, filters=1878217, wck=6.057, mem=125M738
11.20/8.55 decisions=125505, wrong=62664, backtracks=15461, failedAssignments=48907, nogoods=1224
11.20/8.55 nFilterCalls=4551088, avgTableProportion=0.9996274960721034, avgTableSize=2839.4844799748985
11.20/8.55
11.81/9.17 num=65, depth=0..5, filters=2077218, wck=6.677, mem=147M407
11.81/9.17 decisions=138356, wrong=69089, backtracks=17176, failedAssignments=53810, nogoods=1240
11.81/9.17 nFilterCalls=5038048, avgTableProportion=0.9996274948603718, avgTableSize=2839.482227243567
11.81/9.17
12.50/9.89 num=66, depth=0..7, filters=2305596, wck=7.39, mem=173M411
12.50/9.89 decisions=152629, wrong=76225, backtracks=19205, failedAssignments=59204, nogoods=1246
12.50/9.89 nFilterCalls=5593666, avgTableProportion=0.9996273456038423, avgTableSize=2839.0099723508697
12.50/9.89
12.50/9.89 num=67, depth=0..2, filters=2305765, wck=7.391, mem=173M411
12.50/9.89 decisions=152637, wrong=76230, backtracks=19208, failedAssignments=59207, nogoods=1246
12.50/9.89 nFilterCalls=5594053, avgTableProportion=0.9996273457584143, avgTableSize=2839.0104666509237
12.50/9.89
12.50/9.89 Global
12.50/9.89 filters=2305765, nogoods=1246
12.50/9.89 Stop=FULL_EXPLORATION, wrong=76230, wck=8.021, cpu=9.8, mem=173M411
12.50/9.89
12.50/9.89 s UNSATISFIABLE
12.50/9.89
12.50/9.89 d WRONG_DECISIONS 76230
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 (9373 MiB free)
memory of node 1: 16384 MiB (13824 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390493-1568380523/watcher-4390493-1568380523 -o /tmp/evaluation-result-4390493-1568380523/solver-4390493-1568380523 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568380477-10796 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390493-1568380523.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=10919, runsolver pid=10916
[startup+0.102548 s]*
/proc/loadavg: 0.16 0.05 0.06 4/228 10934
/proc/meminfo: memFree=23738912/32770624 swapFree=66939832/67108860
[pid=10919] ppid=10916 vsize=10659884 memory=28580 CPUtime=0.14 cores=0,2,4,6
/proc/10919/stat : 10919 (java) S 10916 10919 10765 0 -1 1077944320 5590 0 0 0 13 1 0 0 20 0 15 0 413967223 10915721216 7145 33554432000 4194304 4196468 140729645682240 140729645664784 140667115155191 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
/proc/10919/statm: 2664971 7145 2890 1 0 2627468 0
[pid=10919/tid=10921] ppid=10916 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=0,2,4,6
/proc/10919/task/10921/stat : 10921 (java) R 10916 10919 10765 0 -1 4202560 3393 0 0 0 9 0 0 0 20 0 15 0 413967223 10915721216 7211 33554432000 4194304 4196468 140729645682240 140667119383456 140667107392318 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10922] ppid=10916 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (java) S 10916 10919 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413967224 10915721216 7211 33554432000 4194304 4196468 140729645682240 140667041229072 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10923] ppid=10916 vsize=10659884 memory=140580059317888 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10923/stat : 10923 (java) S 10916 10919 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413967224 10915721216 7211 33554432000 4194304 4196468 140729645682240 140667040176528 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10924] ppid=10916 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10924/stat : 10924 (java) S 10916 10919 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413967224 10915721216 7211 33554432000 4194304 4196468 140729645682240 140667039123984 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10925] ppid=10916 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10925/stat : 10925 (java) S 10916 10919 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413967224 10915721216 7211 33554432000 4194304 4196468 140729645682240 140667038071440 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10926] ppid=10916 vsize=10659884 memory=140580059317888 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10926/stat : 10926 (java) S 10916 10919 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413967225 10915721216 7277 33554432000 4194304 4196468 140729645682240 140666606651888 140667115166338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10927] ppid=10916 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10927/stat : 10927 (java) S 10916 10919 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413967226 10915721216 7277 33554432000 4194304 4196468 140729645682240 140666605598112 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10928] ppid=10916 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10928/stat : 10928 (java) S 10916 10919 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413967226 10915721216 7277 33554432000 4194304 4196468 140729645682240 140666604545520 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10929] ppid=10916 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10929/stat : 10929 (java) S 10916 10919 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413967229 10915721216 7277 33554432000 4194304 4196468 140729645682240 140666603494096 140667115173787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10930] ppid=10916 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10930/stat : 10930 (java) R 10916 10919 10765 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 413967229 10915721216 7277 33554432000 4194304 4196468 140729645682240 140666602440688 140667115166338 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10931] ppid=10916 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10931/stat : 10931 (java) S 10916 10919 10765 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 413967229 10915721216 7277 33554432000 4194304 4196468 140729645682240 140666601388144 140667115166338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10932] ppid=10916 vsize=10659884 memory=140580059317888 CPUtime=0.02 cores=0,2,4,6
/proc/10919/task/10932/stat : 10932 (java) R 10916 10919 10765 0 -1 4202560 482 0 0 0 2 0 0 0 20 0 15 0 413967229 10915721216 7277 33554432000 4194304 4196468 140729645682240 140666600332152 140667107392318 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10933] ppid=10916 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10933/stat : 10933 (java) S 10916 10919 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413967229 10915721216 7277 33554432000 4194304 4196468 140729645682240 140666599283296 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10934] ppid=10916 vsize=10659884 memory=140580059317888 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10934/stat : 10934 (java) S 10916 10919 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413967229 10915721216 7277 33554432000 4194304 4196468 140729645682240 140666598230832 140667115166338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28580 KiB
[startup+0.210874 s]*
/proc/loadavg: 0.16 0.05 0.06 3/228 10934
/proc/meminfo: memFree=23731772/32770624 swapFree=66939832/67108860
[pid=10919] ppid=10916 vsize=10659884 memory=35300 CPUtime=0.33 cores=0,2,4,6
/proc/10919/stat : 10919 (java) S 10916 10919 10765 0 -1 1077944320 6908 0 0 0 31 2 0 0 20 0 15 0 413967223 10915721216 8825 33554432000 4194304 4196468 140729645682240 140729645664784 140667115155191 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
/proc/10919/statm: 2664971 8825 2988 1 0 2627468 0
[pid=10919/tid=10921] ppid=10916 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/10919/task/10921/stat : 10921 (java) R 10916 10919 10765 0 -1 4202560 3893 0 0 0 18 1 0 0 20 0 15 0 413967223 10915721216 8825 33554432000 4194304 4196468 140729645682240 140667119387280 140667115177117 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10922] ppid=10916 vsize=10659884 memory=365 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (java) S 10916 10919 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413967224 10915721216 8825 33554432000 4194304 4196468 140729645682240 140667041229072 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10923] ppid=10916 vsize=10659884 memory=3905104711598180000 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10923/stat : 10923 (java) S 10916 10919 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413967224 10915721216 8825 33554432000 4194304 4196468 140729645682240 140667040176528 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10924] ppid=10916 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10924/stat : 10924 (java) S 10916 10919 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413967224 10915721216 8825 33554432000 4194304 4196468 140729645682240 140667039123984 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10925] ppid=10916 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10925/stat : 10925 (java) S 10916 10919 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413967224 10915721216 8825 33554432000 4194304 4196468 140729645682240 140667038071440 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10926] ppid=10916 vsize=10659884 memory=140580059317888 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10926/stat : 10926 (java) S 10916 10919 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413967225 10915721216 8825 33554432000 4194304 4196468 140729645682240 140666606651888 140667115166338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10927] ppid=10916 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10927/stat : 10927 (java) S 10916 10919 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413967226 10915721216 8825 33554432000 4194304 4196468 140729645682240 140666605598112 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10928] ppid=10916 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10928/stat : 10928 (java) S 10916 10919 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413967226 10915721216 8825 33554432000 4194304 4196468 140729645682240 140666604545520 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10929] ppid=10916 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10929/stat : 10929 (java) S 10916 10919 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413967229 10915721216 8825 33554432000 4194304 4196468 140729645682240 140666603494096 140667115173787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10930] ppid=10916 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/10919/task/10930/stat : 10930 (java) S 10916 10919 10765 0 -1 1077944384 760 0 0 0 4 0 0 0 20 0 15 0 413967229 10915721216 8825 33554432000 4194304 4196468 140729645682240 140666602440688 140667115166338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10931] ppid=10916 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/10919/task/10931/stat : 10931 (java) S 10916 10919 10765 0 -1 1077944384 155 0 0 0 2 0 0 0 20 0 15 0 413967229 10915721216 8825 33554432000 4194304 4196468 140729645682240 140666601388144 140667115166338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10932] ppid=10916 vsize=10659884 memory=140580059317888 CPUtime=0.05 cores=0,2,4,6
/proc/10919/task/10932/stat : 10932 (java) S 10916 10919 10765 0 -1 1077944384 742 0 0 0 5 0 0 0 20 0 15 0 413967229 10915721216 8825 33554432000 4194304 4196468 140729645682240 140666600335600 140667115166338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10933] ppid=10916 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10933/stat : 10933 (java) S 10916 10919 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413967229 10915721216 8825 33554432000 4194304 4196468 140729645682240 140666599283296 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10934] ppid=10916 vsize=10659884 memory=140580059317888 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10934/stat : 10934 (java) S 10916 10919 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413967229 10915721216 8825 33554432000 4194304 4196468 140729645682240 140666598230832 140667115166338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35300 KiB
[startup+0.309991 s]*
/proc/loadavg: 0.16 0.05 0.06 3/228 10934
/proc/meminfo: memFree=23727996/32770624 swapFree=66939832/67108860
[pid=10919] ppid=10916 vsize=10659884 memory=40392 CPUtime=0.46 cores=0,2,4,6
/proc/10919/stat : 10919 (java) S 10916 10919 10765 0 -1 1077944320 9410 0 0 0 43 3 0 0 20 0 15 0 413967223 10915721216 10098 33554432000 4194304 4196468 140729645682240 140729645664784 140667115155191 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
/proc/10919/statm: 2664971 10098 3000 1 0 2627468 0
[pid=10919/tid=10921] ppid=10916 vsize=10659884 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/10919/task/10921/stat : 10921 (java) R 10916 10919 10765 0 -1 4202560 6331 0 0 0 27 2 0 0 20 0 15 0 413967223 10915721216 10098 33554432000 4194304 4196468 140729645682240 140667119376080 140667115177117 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10922] ppid=10916 vsize=10659884 memory=10528 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (java) S 10916 10919 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413967224 10915721216 10098 33554432000 4194304 4196468 140729645682240 140667041229072 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10923] ppid=10916 vsize=10659884 memory=3979413005938165408 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10923/stat : 10923 (java) S 10916 10919 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413967224 10915721216 10098 33554432000 4194304 4196468 140729645682240 140667040176528 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10924] ppid=10916 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10924/stat : 10924 (java) S 10916 10919 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413967224 10915721216 10098 33554432000 4194304 4196468 140729645682240 140667039123984 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10925] ppid=10916 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10925/stat : 10925 (java) S 10916 10919 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413967224 10915721216 10098 33554432000 4194304 4196468 140729645682240 140667038071440 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10926] ppid=10916 vsize=10659884 memory=140580059317888 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10926/stat : 10926 (java) S 10916 10919 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413967225 10915721216 10098 33554432000 4194304 4196468 140729645682240 140666606651888 140667115166338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10927] ppid=10916 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10927/stat : 10927 (java) S 10916 10919 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413967226 10915721216 10098 33554432000 4194304 4196468 140729645682240 140666605598112 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10928] ppid=10916 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10928/stat : 10928 (java) S 10916 10919 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413967226 10915721216 10098 33554432000 4194304 4196468 140729645682240 140666604545520 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10929] ppid=10916 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10929/stat : 10929 (java) S 10916 10919 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413967229 10915721216 10098 33554432000 4194304 4196468 140729645682240 140666603494096 140667115173787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10930] ppid=10916 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/10919/task/10930/stat : 10930 (java) S 10916 10919 10765 0 -1 1077944384 772 0 0 0 4 0 0 0 20 0 15 0 413967229 10915721216 10098 33554432000 4194304 4196468 140729645682240 140666602440688 140667115166338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10931] ppid=10916 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/10919/task/10931/stat : 10931 (java) S 10916 10919 10765 0 -1 1077944384 190 0 0 0 3 0 0 0 20 0 15 0 413967229 10915721216 10098 33554432000 4194304 4196468 140729645682240 140666601388144 140667115166338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10932] ppid=10916 vsize=10659884 memory=140580059317888 CPUtime=0.07 cores=0,2,4,6
/proc/10919/task/10932/stat : 10932 (java) S 10916 10919 10765 0 -1 1077944384 761 0 0 0 7 0 0 0 20 0 15 0 413967229 10915721216 10098 33554432000 4194304 4196468 140729645682240 140666600335600 140667115166338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10933] ppid=10916 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10933/stat : 10933 (java) S 10916 10919 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413967229 10915721216 10098 33554432000 4194304 4196468 140729645682240 140666599283296 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10934] ppid=10916 vsize=10659884 memory=140580059317888 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10934/stat : 10934 (java) S 10916 10919 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413967229 10915721216 10098 33554432000 4194304 4196468 140729645682240 140666598230832 140667115166338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40392 KiB
[startup+0.700671 s]
/proc/loadavg: 0.16 0.05 0.06 3/228 10934
/proc/meminfo: memFree=23715280/32770624 swapFree=66939832/67108860
[pid=10919] ppid=10916 vsize=10661932 memory=61748 CPUtime=1.09 cores=0,2,4,6
/proc/10919/stat : 10919 (java) S 10916 10919 10765 0 -1 1077944320 13051 0 0 0 104 5 0 0 20 0 15 0 413967223 10917818368 15437 33554432000 4194304 4196468 140729645682240 140729645664784 140667115155191 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
/proc/10919/statm: 2665483 15437 3072 1 0 2627980 0
[pid=10919/tid=10921] ppid=10916 vsize=10661932 memory=14056 CPUtime=0.67 cores=0,2,4,6
/proc/10919/task/10921/stat : 10921 (java) R 10916 10919 10765 0 -1 4202560 8875 0 0 0 63 4 0 0 20 0 15 0 413967223 10917818368 15437 33554432000 4194304 4196468 140729645682240 140667119387216 140667115169078 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10922] ppid=10916 vsize=10661932 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (java) S 10916 10919 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413967224 10917818368 15437 33554432000 4194304 4196468 140729645682240 140667041229072 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10923] ppid=10916 vsize=10661932 memory=520 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10923/stat : 10923 (java) S 10916 10919 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413967224 10917818368 15437 33554432000 4194304 4196468 140729645682240 140667040176528 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10924] ppid=10916 vsize=10661932 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10924/stat : 10924 (java) S 10916 10919 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413967224 10917818368 15437 33554432000 4194304 4196468 140729645682240 140667039123984 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10925] ppid=10916 vsize=10661932 memory=924 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10925/stat : 10925 (java) S 10916 10919 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413967224 10917818368 15437 33554432000 4194304 4196468 140729645682240 140667038071440 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10926] ppid=10916 vsize=10661932 memory=3688 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10926/stat : 10926 (java) S 10916 10919 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413967225 10917818368 15437 33554432000 4194304 4196468 140729645682240 140666606651888 140667115166338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10927] ppid=10916 vsize=10661932 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10927/stat : 10927 (java) S 10916 10919 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413967226 10917818368 15437 33554432000 4194304 4196468 140729645682240 140666605598112 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10928] ppid=10916 vsize=10661932 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10928/stat : 10928 (java) S 10916 10919 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413967226 10917818368 15437 33554432000 4194304 4196468 140729645682240 140666604545520 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10929] ppid=10916 vsize=10661932 memory=812 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10929/stat : 10929 (java) S 10916 10919 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413967229 10917818368 15437 33554432000 4194304 4196468 140729645682240 140666603494096 140667115173787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10930] ppid=10916 vsize=10661932 memory=7086240636179272035 CPUtime=0.11 cores=0,2,4,6
/proc/10919/task/10930/stat : 10930 (java) S 10916 10919 10765 0 -1 1077944384 1051 0 0 0 11 0 0 0 20 0 15 0 413967229 10917818368 15437 33554432000 4194304 4196468 140729645682240 140666602440688 140667115166338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10931] ppid=10916 vsize=10661932 memory=7453282923444726100 CPUtime=0.1 cores=0,2,4,6
/proc/10919/task/10931/stat : 10931 (java) S 10916 10919 10765 0 -1 1077944384 548 0 0 0 10 0 0 0 20 0 15 0 413967229 10917818368 15437 33554432000 4194304 4196468 140729645682240 140666601388144 140667115166338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10932] ppid=10916 vsize=10661932 memory=7223879631928058176 CPUtime=0.18 cores=0,2,4,6
/proc/10919/task/10932/stat : 10932 (java) S 10916 10919 10765 0 -1 1077944384 1227 0 0 0 18 0 0 0 20 0 15 0 413967229 10917818368 15437 33554432000 4194304 4196468 140729645682240 140666600335600 140667115166338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10933] ppid=10916 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10933/stat : 10933 (java) S 10916 10919 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413967229 10917818368 15437 33554432000 4194304 4196468 140729645682240 140666599283296 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10934] ppid=10916 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10934/stat : 10934 (java) S 10916 10919 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413967229 10917818368 15437 33554432000 4194304 4196468 140729645682240 140666598230832 140667115166338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 61748 KiB
[startup+1.50072 s]
/proc/loadavg: 0.39 0.10 0.07 3/228 10934
/proc/meminfo: memFree=23699460/32770624 swapFree=66939832/67108860
[pid=10919] ppid=10916 vsize=10663980 memory=75920 CPUtime=2 cores=0,2,4,6
/proc/10919/stat : 10919 (java) S 10916 10919 10765 0 -1 1077944320 18661 0 0 0 194 6 0 0 20 0 15 0 413967223 10919915520 18980 33554432000 4194304 4196468 140729645682240 140729645664784 140667115155191 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
/proc/10919/statm: 2665995 18980 3094 1 0 2628492 0
[pid=10919/tid=10921] ppid=10916 vsize=10663980 memory=6493990552776 CPUtime=1.47 cores=0,2,4,6
/proc/10919/task/10921/stat : 10921 (java) R 10916 10919 10765 0 -1 4202560 13029 0 0 0 143 4 0 0 20 0 15 0 413967223 10919915520 18980 33554432000 4194304 4196468 140729645682240 140667119387552 140667098342017 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10922] ppid=10916 vsize=10663980 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (java) S 10916 10919 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413967224 10919915520 18980 33554432000 4194304 4196468 140729645682240 140667041229072 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10923] ppid=10916 vsize=10663980 memory=14699582244260401 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10923/stat : 10923 (java) S 10916 10919 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413967224 10919915520 18980 33554432000 4194304 4196468 140729645682240 140667040176528 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10924] ppid=10916 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10924/stat : 10924 (java) S 10916 10919 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413967224 10919915520 18980 33554432000 4194304 4196468 140729645682240 140667039123984 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10925] ppid=10916 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10925/stat : 10925 (java) S 10916 10919 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413967224 10919915520 18980 33554432000 4194304 4196468 140729645682240 140667038071440 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10926] ppid=10916 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10926/stat : 10926 (java) S 10916 10919 10765 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 15 0 413967225 10919915520 18980 33554432000 4194304 4196468 140729645682240 140666606651888 140667115166338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
################
# More data... #
################
[pid=10919/tid=10935] ppid=10916 vsize=10746276 memory=0 CPUtime=6.01 cores=0,2,4,6
/proc/10919/task/10935/stat : 10935 (java) R 10916 10919 10765 0 -1 4202560 4057 0 0 0 598 3 0 0 20 0 16 0 413967413 11004186624 69455 33554432000 4194304 4196468 140729645682240 140666581560960 140666710931902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
Current children cumulated CPU time: 10.68 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 277820 KiB
[startup+8.80062 s]
/proc/loadavg: 0.52 0.13 0.08 3/230 10937
/proc/meminfo: memFree=23464428/32770624 swapFree=66939832/67108860
[pid=10919] ppid=10916 vsize=10746276 memory=278024 CPUtime=11.5 cores=0,2,4,6
/proc/10919/stat : 10919 (java) S 10916 10919 10765 0 -1 1077944320 32727 0 0 0 1132 18 0 0 20 0 16 0 413967223 11004186624 69506 33554432000 4194304 4196468 140729645682240 140729645664784 140667115155191 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
/proc/10919/statm: 2686569 69506 3368 1 0 2646705 0
[pid=10919/tid=10921] ppid=10916 vsize=10746276 memory=7668056121744321643 CPUtime=1.87 cores=0,2,4,6
/proc/10919/task/10921/stat : 10921 (java) S 10916 10919 10765 0 -1 1077944384 15311 0 0 0 181 6 0 0 20 0 16 0 413967223 11004186624 69506 33554432000 4194304 4196468 140729645682240 140667119398064 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10922] ppid=10916 vsize=10746276 memory=7588956052768646992 CPUtime=0.04 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (java) S 10916 10919 10765 0 -1 1077944384 96 0 0 0 3 1 0 0 20 0 16 0 413967224 11004186624 69506 33554432000 4194304 4196468 140729645682240 140667041229072 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10923] ppid=10916 vsize=10746276 memory=7516886449902676078 CPUtime=0.04 cores=0,2,4,6
/proc/10919/task/10923/stat : 10923 (java) S 10916 10919 10765 0 -1 1077944384 965 0 0 0 3 1 0 0 20 0 16 0 413967224 11004186624 69506 33554432000 4194304 4196468 140729645682240 140667040176528 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10924] ppid=10916 vsize=10746276 memory=7301579009243834474 CPUtime=0.04 cores=0,2,4,6
/proc/10919/task/10924/stat : 10924 (java) S 10916 10919 10765 0 -1 1077944384 214 0 0 0 3 1 0 0 20 0 16 0 413967224 11004186624 69506 33554432000 4194304 4196468 140729645682240 140667039123984 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10925] ppid=10916 vsize=10746276 memory=7163648561170700390 CPUtime=0.04 cores=0,2,4,6
/proc/10919/task/10925/stat : 10925 (java) S 10916 10919 10765 0 -1 1077944384 311 0 0 0 3 1 0 0 20 0 16 0 413967224 11004186624 69506 33554432000 4194304 4196468 140729645682240 140667038071440 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10926] ppid=10916 vsize=10746276 memory=9540 CPUtime=0.01 cores=0,2,4,6
/proc/10919/task/10926/stat : 10926 (java) S 10916 10919 10765 0 -1 1077944384 1189 0 0 0 1 0 0 0 20 0 16 0 413967225 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666606651888 140667115166338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10927] ppid=10916 vsize=10746276 memory=6493990552776 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10927/stat : 10927 (java) S 10916 10919 10765 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 413967226 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666605598176 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10928] ppid=10916 vsize=10746276 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10928/stat : 10928 (java) S 10916 10919 10765 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 413967226 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666604545536 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10929] ppid=10916 vsize=10746276 memory=14699582244260401 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10929/stat : 10929 (java) S 10916 10919 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413967229 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666603494096 140667115173787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10930] ppid=10916 vsize=10746276 memory=668 CPUtime=0.98 cores=0,2,4,6
/proc/10919/task/10930/stat : 10930 (java) S 10916 10919 10765 0 -1 1077944384 2741 0 0 0 98 0 0 0 20 0 16 0 413967229 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666602440688 140667115166338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10931] ppid=10916 vsize=10746276 memory=1256 CPUtime=1.04 cores=0,2,4,6
/proc/10919/task/10931/stat : 10931 (java) S 10916 10919 10765 0 -1 1077944384 3371 0 0 0 104 0 0 0 20 0 16 0 413967229 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666601388144 140667115166338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10932] ppid=10916 vsize=10746276 memory=1076 CPUtime=0.53 cores=0,2,4,6
/proc/10919/task/10932/stat : 10932 (java) S 10916 10919 10765 0 -1 1077944384 2646 0 0 0 53 0 0 0 20 0 16 0 413967229 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666600335600 140667115166338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10933] ppid=10916 vsize=10746276 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10933/stat : 10933 (java) S 10916 10919 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413967229 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666599283296 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10934] ppid=10916 vsize=10746276 memory=21840 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10934/stat : 10934 (java) S 10916 10919 10765 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 413967229 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666598230832 140667115166338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 19 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10935] ppid=10916 vsize=10746276 memory=14056 CPUtime=6.8 cores=0,2,4,6
/proc/10919/task/10935/stat : 10935 (java) R 10916 10919 10765 0 -1 4202560 4465 0 0 0 677 3 0 0 20 0 16 0 413967413 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666581567016 140666710935644 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
Current children cumulated CPU time: 11.5 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 278024 KiB
[startup+9.60061 s]
/proc/loadavg: 0.52 0.13 0.08 3/230 10937
/proc/meminfo: memFree=23460360/32770624 swapFree=66939832/67108860
[pid=10919] ppid=10916 vsize=10746276 memory=278024 CPUtime=12.3 cores=0,2,4,6
/proc/10919/stat : 10919 (java) S 10916 10919 10765 0 -1 1077944320 32787 0 0 0 1212 18 0 0 20 0 16 0 413967223 11004186624 69506 33554432000 4194304 4196468 140729645682240 140729645664784 140667115155191 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
/proc/10919/statm: 2686569 69506 3368 1 0 2646705 0
[pid=10919/tid=10921] ppid=10916 vsize=10746276 memory=2008 CPUtime=1.87 cores=0,2,4,6
/proc/10919/task/10921/stat : 10921 (java) S 10916 10919 10765 0 -1 1077944384 15311 0 0 0 181 6 0 0 20 0 16 0 413967223 11004186624 69506 33554432000 4194304 4196468 140729645682240 140667119398064 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10922] ppid=10916 vsize=10746276 memory=1436 CPUtime=0.04 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (java) S 10916 10919 10765 0 -1 1077944384 96 0 0 0 3 1 0 0 20 0 16 0 413967224 11004186624 69506 33554432000 4194304 4196468 140729645682240 140667041229072 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10923] ppid=10916 vsize=10746276 memory=6791534058613427641 CPUtime=0.04 cores=0,2,4,6
/proc/10919/task/10923/stat : 10923 (java) S 10916 10919 10765 0 -1 1077944384 965 0 0 0 3 1 0 0 20 0 16 0 413967224 11004186624 69506 33554432000 4194304 4196468 140729645682240 140667040176528 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10924] ppid=10916 vsize=10746276 memory=39472 CPUtime=0.04 cores=0,2,4,6
/proc/10919/task/10924/stat : 10924 (java) S 10916 10919 10765 0 -1 1077944384 214 0 0 0 3 1 0 0 20 0 16 0 413967224 11004186624 69506 33554432000 4194304 4196468 140729645682240 140667039123984 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10925] ppid=10916 vsize=10746276 memory=988 CPUtime=0.04 cores=0,2,4,6
/proc/10919/task/10925/stat : 10925 (java) S 10916 10919 10765 0 -1 1077944384 311 0 0 0 3 1 0 0 20 0 16 0 413967224 11004186624 69506 33554432000 4194304 4196468 140729645682240 140667038071440 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10926] ppid=10916 vsize=10746276 memory=2008 CPUtime=0.01 cores=0,2,4,6
/proc/10919/task/10926/stat : 10926 (java) S 10916 10919 10765 0 -1 1077944384 1216 0 0 0 1 0 0 0 20 0 16 0 413967225 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666606651888 140667115166338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10927] ppid=10916 vsize=10746276 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10927/stat : 10927 (java) S 10916 10919 10765 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 413967226 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666605598176 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10928] ppid=10916 vsize=10746276 memory=4164 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10928/stat : 10928 (java) S 10916 10919 10765 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 413967226 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666604545536 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10929] ppid=10916 vsize=10746276 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10929/stat : 10929 (java) S 10916 10919 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413967229 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666603494096 140667115173787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10930] ppid=10916 vsize=10746276 memory=278024 CPUtime=0.98 cores=0,2,4,6
/proc/10919/task/10930/stat : 10930 (java) S 10916 10919 10765 0 -1 1077944384 2741 0 0 0 98 0 0 0 20 0 16 0 413967229 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666602440688 140667115166338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10931] ppid=10916 vsize=10746276 memory=278024 CPUtime=1.04 cores=0,2,4,6
/proc/10919/task/10931/stat : 10931 (java) S 10916 10919 10765 0 -1 1077944384 3371 0 0 0 104 0 0 0 20 0 16 0 413967229 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666601388144 140667115166338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10932] ppid=10916 vsize=10746276 memory=924 CPUtime=0.53 cores=0,2,4,6
/proc/10919/task/10932/stat : 10932 (java) S 10916 10919 10765 0 -1 1077944384 2646 0 0 0 53 0 0 0 20 0 16 0 413967229 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666600335600 140667115166338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10933] ppid=10916 vsize=10746276 memory=3688 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10933/stat : 10933 (java) S 10916 10919 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413967229 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666599283296 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10934] ppid=10916 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10934/stat : 10934 (java) S 10916 10919 10765 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 413967229 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666598230832 140667115166338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 19 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10935] ppid=10916 vsize=10746276 memory=7450475981978419300 CPUtime=7.6 cores=0,2,4,6
/proc/10919/task/10935/stat : 10935 (java) R 10916 10919 10765 0 -1 4202560 4498 0 0 0 757 3 0 0 20 0 16 0 413967413 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666581566144 140666711413561 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
Current children cumulated CPU time: 12.3 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 278024 KiB
[startup+9.8006 s]
/proc/loadavg: 0.52 0.13 0.08 3/230 10937
/proc/meminfo: memFree=23460360/32770624 swapFree=66939832/67108860
[pid=10919] ppid=10916 vsize=10746276 memory=278024 CPUtime=12.5 cores=0,2,4,6
/proc/10919/stat : 10919 (java) S 10916 10919 10765 0 -1 1077944320 32798 0 0 0 1232 18 0 0 20 0 16 0 413967223 11004186624 69506 33554432000 4194304 4196468 140729645682240 140729645664784 140667115155191 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
/proc/10919/statm: 2686569 69506 3368 1 0 2646705 0
[pid=10919/tid=10921] ppid=10916 vsize=10746276 memory=8243114992657236051 CPUtime=1.87 cores=0,2,4,6
/proc/10919/task/10921/stat : 10921 (java) S 10916 10919 10765 0 -1 1077944384 15311 0 0 0 181 6 0 0 20 0 16 0 413967223 11004186624 69506 33554432000 4194304 4196468 140729645682240 140667119398064 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10922] ppid=10916 vsize=10746276 memory=288292190210491238 CPUtime=0.04 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (java) S 10916 10919 10765 0 -1 1077944384 96 0 0 0 3 1 0 0 20 0 16 0 413967224 11004186624 69506 33554432000 4194304 4196468 140729645682240 140667041229072 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10923] ppid=10916 vsize=10746276 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/10919/task/10923/stat : 10923 (java) S 10916 10919 10765 0 -1 1077944384 965 0 0 0 3 1 0 0 20 0 16 0 413967224 11004186624 69506 33554432000 4194304 4196468 140729645682240 140667040176528 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10924] ppid=10916 vsize=10746276 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/10919/task/10924/stat : 10924 (java) S 10916 10919 10765 0 -1 1077944384 214 0 0 0 3 1 0 0 20 0 16 0 413967224 11004186624 69506 33554432000 4194304 4196468 140729645682240 140667039123984 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10925] ppid=10916 vsize=10746276 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/10919/task/10925/stat : 10925 (java) S 10916 10919 10765 0 -1 1077944384 311 0 0 0 3 1 0 0 20 0 16 0 413967224 11004186624 69506 33554432000 4194304 4196468 140729645682240 140667038071440 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10926] ppid=10916 vsize=10746276 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10919/task/10926/stat : 10926 (java) S 10916 10919 10765 0 -1 1077944384 1216 0 0 0 1 0 0 0 20 0 16 0 413967225 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666606651888 140667115166338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10927] ppid=10916 vsize=10746276 memory=7667495353333869418 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10927/stat : 10927 (java) S 10916 10919 10765 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 413967226 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666605598176 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10928] ppid=10916 vsize=10746276 memory=8026650869813564775 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10928/stat : 10928 (java) S 10916 10919 10765 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 413967226 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666604545536 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10929] ppid=10916 vsize=10746276 memory=7445129031145843280 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10929/stat : 10929 (java) S 10916 10919 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413967229 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666603494096 140667115173787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10930] ppid=10916 vsize=10746276 memory=98 CPUtime=0.98 cores=0,2,4,6
/proc/10919/task/10930/stat : 10930 (java) S 10916 10919 10765 0 -1 1077944384 2741 0 0 0 98 0 0 0 20 0 16 0 413967229 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666602440688 140667115166338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10931] ppid=10916 vsize=10746276 memory=7306904996136642897 CPUtime=1.04 cores=0,2,4,6
/proc/10919/task/10931/stat : 10931 (java) S 10916 10919 10765 0 -1 1077944384 3371 0 0 0 104 0 0 0 20 0 16 0 413967229 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666601388144 140667115166338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10932] ppid=10916 vsize=10746276 memory=5939234628717662308 CPUtime=0.53 cores=0,2,4,6
/proc/10919/task/10932/stat : 10932 (java) S 10916 10919 10765 0 -1 1077944384 2646 0 0 0 53 0 0 0 20 0 16 0 413967229 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666600335600 140667115166338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10933] ppid=10916 vsize=10746276 memory=7301582298768758373 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10933/stat : 10933 (java) S 10916 10919 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413967229 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666599283296 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10934] ppid=10916 vsize=10746276 memory=5571041044932745317 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10934/stat : 10934 (java) S 10916 10919 10765 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 413967229 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666598230832 140667115166338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 19 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10935] ppid=10916 vsize=10746276 memory=281159834325776 CPUtime=7.8 cores=0,2,4,6
/proc/10919/task/10935/stat : 10935 (java) R 10916 10919 10765 0 -1 4202560 4509 0 0 0 777 3 0 0 20 0 16 0 413967413 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666581566144 140666710935644 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
Current children cumulated CPU time: 12.5 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 278024 KiB
[startup+9.90063 s]
/proc/loadavg: 0.52 0.13 0.08 3/230 10937
/proc/meminfo: memFree=23460360/32770624 swapFree=66939832/67108860
[pid=10919] ppid=10916 vsize=10746276 memory=278024 CPUtime=12.6 cores=0,2,4,6
/proc/10919/stat : 10919 (java) S 10916 10919 10765 0 -1 1077944320 33540 0 0 0 1242 18 0 0 20 0 13 0 413967223 11004186624 69506 33554432000 4194304 4196468 140729645682240 140729645664784 140667115155191 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
/proc/10919/statm: 2686569 69506 3370 1 0 2646705 0
[pid=10919/tid=10921] ppid=10916 vsize=10746276 memory=39472 CPUtime=1.87 cores=0,2,4,6
/proc/10919/task/10921/stat : 10921 (java) S 10916 10919 10765 0 -1 1077944384 15528 0 0 0 181 6 0 0 20 0 13 0 413967223 11004186624 69506 33554432000 4194304 4196468 140729645682240 140667119398032 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10922] ppid=10916 vsize=10746276 memory=6493990552776 CPUtime=0.04 cores=0,2,4,6
/proc/10919/task/10922/stat : 10922 (java) S 10916 10919 10765 0 -1 1077944384 96 0 0 0 3 1 0 0 20 0 13 0 413967224 11004186624 69506 33554432000 4194304 4196468 140729645682240 140667041229072 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10923] ppid=10916 vsize=10746276 memory=278024 CPUtime=0.04 cores=0,2,4,6
/proc/10919/task/10923/stat : 10923 (java) S 10916 10919 10765 0 -1 1077944384 965 0 0 0 3 1 0 0 20 0 13 0 413967224 11004186624 69506 33554432000 4194304 4196468 140729645682240 140667040176528 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10924] ppid=10916 vsize=10746276 memory=277820 CPUtime=0.04 cores=0,2,4,6
/proc/10919/task/10924/stat : 10924 (java) S 10916 10919 10765 0 -1 1077944384 214 0 0 0 3 1 0 0 20 0 13 0 413967224 11004186624 69506 33554432000 4194304 4196468 140729645682240 140667039123984 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10925] ppid=10916 vsize=10746276 memory=6944656592455097440 CPUtime=0.04 cores=0,2,4,6
/proc/10919/task/10925/stat : 10925 (java) S 10916 10919 10765 0 -1 1077944384 311 0 0 0 3 1 0 0 20 0 13 0 413967224 11004186624 69506 33554432000 4194304 4196468 140729645682240 140667038071440 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10926] ppid=10916 vsize=10746276 memory=742 CPUtime=0.01 cores=0,2,4,6
/proc/10919/task/10926/stat : 10926 (java) S 10916 10919 10765 0 -1 1077944384 1216 0 0 0 1 0 0 0 20 0 13 0 413967225 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666606652096 140667115166338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10927] ppid=10916 vsize=10746276 memory=187 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10927/stat : 10927 (java) S 10916 10919 10765 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 13 0 413967226 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666605598176 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10928] ppid=10916 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10928/stat : 10928 (java) S 10916 10919 10765 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 13 0 413967226 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666604545536 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10930] ppid=10916 vsize=10746276 memory=8030883985213620294 CPUtime=0.98 cores=0,2,4,6
/proc/10919/task/10930/stat : 10930 (java) S 10916 10919 10765 0 -1 1077944384 2741 0 0 0 98 0 0 0 20 0 13 0 413967229 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666602440688 140667115166338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10931] ppid=10916 vsize=10746276 memory=277896 CPUtime=1.04 cores=0,2,4,6
/proc/10919/task/10931/stat : 10931 (java) S 10916 10919 10765 0 -1 1077944384 3371 0 0 0 104 0 0 0 20 0 13 0 413967229 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666601388144 140667115166338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10932] ppid=10916 vsize=10746276 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/10919/task/10932/stat : 10932 (java) S 10916 10919 10765 0 -1 1077944384 2743 0 0 0 53 0 0 0 20 0 13 0 413967229 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666600331472 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
[pid=10919/tid=10933] ppid=10916 vsize=10746276 memory=281159834547536 CPUtime=0 cores=0,2,4,6
/proc/10919/task/10933/stat : 10933 (java) S 10916 10919 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 413967229 11004186624 69506 33554432000 4194304 4196468 140729645682240 140666599283296 140667115165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140729645683723 140729645683826 140729645683826 140729645686735 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 278024 KiB
Child status: 0
Real time (s): 9.91244
CPU time (s): 12.6195
CPU user time (s): 12.4215
CPU system time (s): 0.198003
CPU usage (%): 127.31
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 278024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.4215
system time used= 0.198003
maximum resident set size= 278708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33586
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2742
involuntary context switches= 43
# summary of solver processes directly reported to runsolver:
# pid: 10919
# total CPU time (s): 12.6195
# total CPU user time (s): 12.4215
# total CPU system time (s): 0.198003
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.080859 second user time and 0.134463 second system time
The end