2.38/1.87
2.38/1.87 AbsCon 2
2.38/1.89
3.51/2.22 Instance
3.51/2.22 name=instance-4390726-1568386458, framework=CSP
3.51/2.22
3.51/2.22 Loading variables...
3.51/2.29 Loading constraints...
3.83/2.39
3.83/2.39 Domains
3.83/2.39 nTypes=1, nValues=3380, sizes=[26#130]
3.83/2.39 Variables
3.83/2.39 count=130, degrees=[2#130]
3.83/2.39 Constraints
3.83/2.39 count=23, nSpecific=23, arities=[10#13,13#10]
3.83/2.39 distribution=[CtrExtensionCT-Table#23]
3.83/2.39 tables=[11246#10,29784#13], nTotalTuples=499652
3.83/2.39 nExtStructures=(2,shared:21)
3.83/2.39 wck=0.546, cpu=2.355, mem=134M769
4.08/2.40 Solver SolverBacktrack being built...
4.08/2.40
4.08/2.45
4.08/2.45 Solver
4.08/2.45 guaranteedGAC=true
4.08/2.45 wck=0.602, cpu=2.389, mem=51M614
4.08/2.46
4.08/2.46 Preprocessing
4.08/2.46 filters=23, nACremovedValues=94, nTotalRemovedValues=94, inconcistency=false
4.08/2.46 wck=0.009, cpu=2.4, mem=52M935
4.08/2.46
4.08/2.48 num=0, depth=3..4, filters=502, wck=0.036, mem=52M935
4.08/2.48 decisions=29, wrong=13, backtracks=3, failedAssignments=10, nogoods=8
4.08/2.48 nFilterCalls=705, avgTableProportion=0.9999455428201776, avgTableSize=22788.520567375886
4.08/2.48
4.39/2.50 num=1, depth=4..5, filters=1029, wck=0.053, mem=52M935
4.39/2.50 decisions=57, wrong=25, backtracks=4, failedAssignments=21, nogoods=18
4.39/2.50 nFilterCalls=1411, avgTableProportion=0.9999415567451567, avgTableSize=21453.381289865345
4.39/2.50
4.39/2.52 num=2, depth=6..8, filters=1914, wck=0.075, mem=52M935
4.39/2.52 decisions=95, wrong=40, backtracks=9, failedAssignments=33, nogoods=22
4.39/2.52 nFilterCalls=2599, avgTableProportion=0.999939635948671, avgTableSize=20810.008849557522
4.39/2.52
4.39/2.54 num=3, depth=6..8, filters=2586, wck=0.094, mem=52M935
4.39/2.54 decisions=135, wrong=57, backtracks=14, failedAssignments=46, nogoods=28
4.39/2.54 nFilterCalls=3532, avgTableProportion=0.9999412123556956, avgTableSize=21338.027746319367
4.39/2.54
4.39/2.56 num=4, depth=4..6, filters=3195, wck=0.111, mem=52M935
4.39/2.56 decisions=177, wrong=76, backtracks=19, failedAssignments=60, nogoods=34
4.39/2.56 nFilterCalls=4384, avgTableProportion=0.9999422239244097, avgTableSize=21676.85355839416
4.39/2.56
4.39/2.59 num=5, depth=2..8, filters=4020, wck=0.142, mem=52M935
4.39/2.59 decisions=227, wrong=99, backtracks=27, failedAssignments=76, nogoods=39
4.39/2.59 nFilterCalls=5498, avgTableProportion=0.9999426680659302, avgTableSize=21825.61913423063
4.39/2.59
4.68/2.61 num=6, depth=2..5, filters=5074, wck=0.164, mem=52M935
4.68/2.61 decisions=282, wrong=124, backtracks=36, failedAssignments=93, nogoods=47
4.68/2.61 nFilterCalls=6917, avgTableProportion=0.9999437010539123, avgTableSize=22171.61934364609
4.68/2.61
4.68/2.63 num=7, depth=2..8, filters=6092, wck=0.183, mem=52M935
4.68/2.63 decisions=334, wrong=148, backtracks=43, failedAssignments=112, nogoods=59
4.68/2.63 nFilterCalls=8240, avgTableProportion=0.9999442330203032, avgTableSize=22349.801941747573
4.68/2.63
4.68/2.65 num=8, depth=4..7, filters=7061, wck=0.206, mem=52M935
4.68/2.65 decisions=390, wrong=174, backtracks=48, failedAssignments=133, nogoods=63
4.68/2.65 nFilterCalls=9572, avgTableProportion=0.9999442913793041, avgTableSize=22369.349352277477
4.68/2.65
4.68/2.68 num=9, depth=4..7, filters=8496, wck=0.231, mem=52M935
4.68/2.68 decisions=460, wrong=207, backtracks=62, failedAssignments=156, nogoods=69
4.68/2.68 nFilterCalls=11415, avgTableProportion=0.9999447473595273, avgTableSize=22522.08033289531
4.68/2.68
4.89/2.70 num=10, depth=3..8, filters=9778, wck=0.253, mem=52M935
4.89/2.70 decisions=543, wrong=246, backtracks=78, failedAssignments=181, nogoods=75
4.89/2.70 nFilterCalls=13171, avgTableProportion=0.9999443598696033, avgTableSize=22392.290258902132
4.89/2.70
4.89/2.73 num=11, depth=2..7, filters=11208, wck=0.283, mem=52M935
4.89/2.73 decisions=628, wrong=286, backtracks=96, failedAssignments=209, nogoods=85
4.89/2.73 nFilterCalls=15050, avgTableProportion=0.9999446471424651, avgTableSize=22488.512558139533
4.89/2.73
4.89/2.75 num=12, depth=4..7, filters=12359, wck=0.305, mem=52M935
4.89/2.75 decisions=707, wrong=323, backtracks=103, failedAssignments=240, nogoods=94
4.89/2.75 nFilterCalls=16573, avgTableProportion=0.9999442807425128, avgTableSize=22365.786580582877
4.89/2.75
5.12/2.81 num=13, depth=4..7, filters=13922, wck=0.359, mem=52M935
5.12/2.81 decisions=801, wrong=367, backtracks=114, failedAssignments=274, nogoods=105
5.12/2.81 nFilterCalls=18752, avgTableProportion=0.9999442920662635, avgTableSize=22369.579458191125
5.12/2.81
5.12/2.83 num=14, depth=1..6, filters=15227, wck=0.385, mem=52M935
5.12/2.83 decisions=898, wrong=413, backtracks=124, failedAssignments=311, nogoods=122
5.12/2.83 nFilterCalls=20535, avgTableProportion=0.9999446640782919, avgTableSize=22494.185196006816
5.12/2.83
5.12/2.85 num=15, depth=3..6, filters=16948, wck=0.405, mem=52M935
5.12/2.85 decisions=1009, wrong=466, backtracks=137, failedAssignments=352, nogoods=129
5.12/2.85 nFilterCalls=22759, avgTableProportion=0.9999445605749037, avgTableSize=22459.516630783426
5.12/2.85
5.12/2.89 num=16, depth=1..8, filters=19353, wck=0.443, mem=52M935
5.12/2.89 decisions=1137, wrong=527, backtracks=157, failedAssignments=397, nogoods=142
5.12/2.89 nFilterCalls=25909, avgTableProportion=0.9999446148659746, avgTableSize=22477.701455092825
5.12/2.89
5.30/2.93 num=17, depth=3..7, filters=21677, wck=0.478, mem=52M935
5.30/2.93 decisions=1277, wrong=595, backtracks=181, failedAssignments=447, nogoods=150
5.30/2.93 nFilterCalls=28991, avgTableProportion=0.999944837325477, avgTableSize=22552.214445862508
5.30/2.93
5.30/2.96 num=18, depth=1..8, filters=24112, wck=0.515, mem=52M935
5.30/2.96 decisions=1432, wrong=671, backtracks=204, failedAssignments=502, nogoods=154
5.30/2.96 nFilterCalls=32266, avgTableProportion=0.9999451022010254, avgTableSize=22640.934730056408
5.30/2.96
5.30/3.00 num=19, depth=3..10, filters=27122, wck=0.556, mem=52M935
5.30/3.00 decisions=1602, wrong=754, backtracks=233, failedAssignments=563, nogoods=162
5.30/3.00 nFilterCalls=36226, avgTableProportion=0.9999451841730529, avgTableSize=22668.391321150553
5.30/3.00
5.44/3.04 num=20, depth=2..7, filters=30503, wck=0.596, mem=52M935
5.44/3.04 decisions=1796, wrong=849, backtracks=269, failedAssignments=630, nogoods=173
5.44/3.04 nFilterCalls=40651, avgTableProportion=0.9999451804279094, avgTableSize=22667.136872401665
5.44/3.04
5.44/3.09 num=21, depth=2..7, filters=33416, wck=0.64, mem=52M935
5.44/3.09 decisions=2002, wrong=950, backtracks=298, failedAssignments=704, nogoods=182
5.44/3.09 nFilterCalls=44621, avgTableProportion=0.9999453229381017, avgTableSize=22714.870778333072
5.44/3.09
5.54/3.13 num=22, depth=3..9, filters=37487, wck=0.685, mem=52M935
5.54/3.13 decisions=2227, wrong=1060, backtracks=335, failedAssignments=785, nogoods=195
5.54/3.13 nFilterCalls=49883, avgTableProportion=0.9999449260506793, avgTableSize=22581.932983180643
5.54/3.13
5.54/3.19 num=23, depth=3..7, filters=41623, wck=0.743, mem=52M935
5.54/3.19 decisions=2464, wrong=1175, backtracks=364, failedAssignments=874, nogoods=202
5.54/3.19 nFilterCalls=55340, avgTableProportion=0.9999445537802059, avgTableSize=22457.240657752078
5.54/3.19
5.64/3.25 num=24, depth=2..10, filters=47360, wck=0.802, mem=52M935
5.64/3.25 decisions=2753, wrong=1315, backtracks=419, failedAssignments=972, nogoods=214
5.64/3.25 nFilterCalls=62664, avgTableProportion=0.9999446396844799, avgTableSize=22486.01436231329
5.64/3.25
5.74/3.31 num=25, depth=2..9, filters=51817, wck=0.86, mem=52M935
5.74/3.31 decisions=3031, wrong=1452, backtracks=457, failedAssignments=1080, nogoods=229
5.74/3.31 nFilterCalls=68599, avgTableProportion=0.9999446954768011, avgTableSize=22504.70215309261
5.74/3.31
5.74/3.39 num=26, depth=3..11, filters=57361, wck=0.942, mem=52M935
5.74/3.39 decisions=3350, wrong=1609, backtracks=501, failedAssignments=1199, nogoods=236
5.74/3.39 nFilterCalls=75916, avgTableProportion=0.9999445086713499, avgTableSize=22442.13172453765
5.74/3.39
5.84/3.48 num=27, depth=3..7, filters=63837, wck=1.034, mem=52M935
5.84/3.48 decisions=3697, wrong=1780, backtracks=544, failedAssignments=1330, nogoods=258
5.84/3.48 nFilterCalls=84206, avgTableProportion=0.9999445808116114, avgTableSize=22466.295370876185
5.84/3.48
5.95/3.55 num=28, depth=2..9, filters=70176, wck=1.102, mem=52M935
5.95/3.55 decisions=4098, wrong=1978, backtracks=613, failedAssignments=1474, nogoods=264
5.95/3.55 nFilterCalls=92480, avgTableProportion=0.9999444076405479, avgTableSize=22408.291738754324
5.95/3.55
6.05/3.62 num=29, depth=4..8, filters=76811, wck=1.172, mem=52M935
6.05/3.62 decisions=4505, wrong=2179, backtracks=663, failedAssignments=1632, nogoods=280
6.05/3.62 nFilterCalls=100990, avgTableProportion=0.999944251677687, avgTableSize=22356.051985345082
6.05/3.62
6.16/3.74 num=30, depth=3..9, filters=85221, wck=1.293, mem=52M935
6.16/3.74 decisions=4967, wrong=2408, backtracks=722, failedAssignments=1806, nogoods=293
6.16/3.74 nFilterCalls=111744, avgTableProportion=0.9999440151353043, avgTableSize=22276.822057560137
6.16/3.74
6.27/3.85 num=31, depth=2..8, filters=94733, wck=1.398, mem=52M935
6.27/3.85 decisions=5490, wrong=2668, backtracks=802, failedAssignments=1997, nogoods=299
6.27/3.85 nFilterCalls=123737, avgTableProportion=0.9999439292822776, avgTableSize=22248.065647300322
6.27/3.85
6.37/3.97 num=32, depth=2..9, filters=105873, wck=1.52, mem=52M935
6.37/3.97 decisions=6110, wrong=2976, backtracks=923, failedAssignments=2208, nogoods=309
6.37/3.97 nFilterCalls=138133, avgTableProportion=0.9999440656621517, avgTableSize=22293.746237322
6.37/3.97
6.48/4.09 num=33, depth=3..9, filters=114017, wck=1.642, mem=52M935
6.48/4.09 decisions=6697, wrong=3268, backtracks=996, failedAssignments=2440, nogoods=347
6.48/4.09 nFilterCalls=149034, avgTableProportion=0.9999442539223736, avgTableSize=22356.804125233168
6.48/4.09
6.68/4.23 num=34, depth=1..9, filters=125740, wck=1.782, mem=52M935
6.68/4.23 decisions=7391, wrong=3613, backtracks=1113, failedAssignments=2695, nogoods=368
6.68/4.23 nFilterCalls=164324, avgTableProportion=0.9999443391579904, avgTableSize=22385.353813198315
6.68/4.23
6.88/4.42 num=35, depth=2..8, filters=138902, wck=1.974, mem=52M935
6.88/4.42 decisions=8146, wrong=3988, backtracks=1211, failedAssignments=2976, nogoods=377
6.88/4.42 nFilterCalls=181338, avgTableProportion=0.9999446039209526, avgTableSize=22474.036363034775
6.88/4.42
7.11/4.60 num=36, depth=2..10, filters=152996, wck=2.151, mem=52M935
7.11/4.60 decisions=8988, wrong=4407, backtracks=1360, failedAssignments=3285, nogoods=394
7.11/4.60 nFilterCalls=199569, avgTableProportion=0.9999447456126723, avgTableSize=22521.49608907195
7.11/4.60
7.22/4.75 num=37, depth=2..9, filters=166904, wck=2.3, mem=52M935
7.22/4.75 decisions=9871, wrong=4846, backtracks=1484, failedAssignments=3625, nogoods=423
7.22/4.75 nFilterCalls=217571, avgTableProportion=0.9999446938589077, avgTableSize=22504.16107385635
7.22/4.75
7.50/4.94 num=38, depth=3..10, filters=182176, wck=2.496, mem=52M935
7.50/4.94 decisions=10880, wrong=5348, backtracks=1630, failedAssignments=3999, nogoods=450
7.50/4.94 nFilterCalls=237573, avgTableProportion=0.9999448431106348, avgTableSize=22554.15304348558
7.50/4.94
7.71/5.18 num=39, depth=2..10, filters=201127, wck=2.729, mem=52M935
7.71/5.18 decisions=12006, wrong=5909, backtracks=1814, failedAssignments=4410, nogoods=467
7.71/5.18 nFilterCalls=262041, avgTableProportion=0.9999450013560707, avgTableSize=22607.15746390832
7.71/5.18
8.01/5.43 num=40, depth=2..11, filters=225086, wck=2.983, mem=52M935
8.01/5.43 decisions=13301, wrong=6555, backtracks=2048, failedAssignments=4862, nogoods=482
8.01/5.43 nFilterCalls=292539, avgTableProportion=0.9999449575439274, avgTableSize=22592.482291250057
8.01/5.43
8.31/5.71 num=41, depth=1..11, filters=248873, wck=3.264, mem=52M935
8.31/5.71 decisions=14674, wrong=7240, backtracks=2273, failedAssignments=5359, nogoods=504
8.31/5.71 nFilterCalls=323289, avgTableProportion=0.9999450784608648, avgTableSize=22632.98327193316
8.31/5.71
8.52/6.00 num=42, depth=2..12, filters=270667, wck=3.554, mem=52M935
8.52/6.00 decisions=16133, wrong=7968, backtracks=2470, failedAssignments=5906, nogoods=511
8.52/6.00 nFilterCalls=352262, avgTableProportion=0.9999453030951753, avgTableSize=22708.224497675026
8.52/6.00
8.93/6.31 num=43, depth=2..9, filters=297530, wck=3.866, mem=52M935
8.93/6.31 decisions=17831, wrong=8815, backtracks=2775, failedAssignments=6508, nogoods=535
8.93/6.31 nFilterCalls=387127, avgTableProportion=0.9999454027067288, avgTableSize=22741.58927432083
8.93/6.31
9.23/6.67 num=44, depth=1..10, filters=324968, wck=4.224, mem=52M935
9.23/6.67 decisions=19623, wrong=9709, backtracks=3060, failedAssignments=7170, nogoods=553
9.23/6.67 nFilterCalls=423225, avgTableProportion=0.9999454912836379, avgTableSize=22771.258014058716
9.23/6.67
9.64/7.10 num=45, depth=1..10, filters=355380, wck=4.647, mem=52M935
9.64/7.10 decisions=21619, wrong=10705, backtracks=3387, failedAssignments=7898, nogoods=565
9.64/7.10 nFilterCalls=463404, avgTableProportion=0.9999456472808379, avgTableSize=22823.509231685526
9.64/7.10
10.13/7.59 num=46, depth=1..9, filters=394222, wck=5.143, mem=52M935
10.13/7.59 decisions=23893, wrong=11840, backtracks=3778, failedAssignments=8699, nogoods=587
10.13/7.59 nFilterCalls=514042, avgTableProportion=0.9999456956663276, avgTableSize=22839.715836449162
10.13/7.59
10.64/8.05 num=47, depth=1..12, filters=432677, wck=5.601, mem=52M935
10.64/8.05 decisions=26261, wrong=13021, backtracks=4152, failedAssignments=9580, nogoods=617
10.64/8.05 nFilterCalls=564069, avgTableProportion=0.9999456947117967, avgTableSize=22839.396355764988
10.64/8.05
11.13/8.50 num=48, depth=1..10, filters=469940, wck=6.052, mem=52M935
11.13/8.50 decisions=28799, wrong=14288, backtracks=4499, failedAssignments=10550, nogoods=630
11.13/8.50 nFilterCalls=613388, avgTableProportion=0.9999457906200632, avgTableSize=22871.521223108375
11.13/8.50
11.64/9.08 num=49, depth=1..14, filters=518356, wck=6.636, mem=52M935
11.64/9.08 decisions=31767, wrong=15770, backtracks=5011, failedAssignments=11617, nogoods=645
11.64/9.08 nFilterCalls=676757, avgTableProportion=0.9999458273969859, avgTableSize=22883.839988356234
11.64/9.08
12.33/9.74 num=50, depth=1..10, filters=571706, wck=7.291, mem=55M524
12.33/9.74 decisions=35033, wrong=17401, backtracks=5583, failedAssignments=12790, nogoods=666
12.33/9.74 nFilterCalls=746261, avgTableProportion=0.999945872326403, avgTableSize=22898.889414025387
12.33/9.74
13.04/10.48 num=51, depth=1..11, filters=624953, wck=8.037, mem=55M524
13.04/10.48 decisions=38507, wrong=19136, backtracks=6120, failedAssignments=14081, nogoods=698
13.04/10.48 nFilterCalls=816773, avgTableProportion=0.999945939051611, avgTableSize=22921.239327205967
13.04/10.48
13.94/11.33 num=52, depth=1..10, filters=683236, wck=8.882, mem=55M524
13.94/11.33 decisions=42245, wrong=21003, backtracks=6643, failedAssignments=15501, nogoods=715
13.94/11.33 nFilterCalls=894163, avgTableProportion=0.9999461708881141, avgTableSize=22998.89346685112
13.94/11.33
14.75/12.12 num=53, depth=1..12, filters=745849, wck=9.67, mem=55M524
14.75/12.12 decisions=46375, wrong=23065, backtracks=7304, failedAssignments=17063, nogoods=737
14.75/12.12 nFilterCalls=976305, avgTableProportion=0.9999461346307351, avgTableSize=22986.749186985624
14.75/12.12
15.64/13.08 num=54, depth=1..11, filters=818485, wck=10.632, mem=55M524
15.64/13.08 decisions=51061, wrong=25406, backtracks=8064, failedAssignments=18781, nogoods=754
15.64/13.08 nFilterCalls=1072047, avgTableProportion=0.9999461700525475, avgTableSize=22998.614257583857
15.64/13.08
16.76/14.15 num=55, depth=1..12, filters=899422, wck=11.706, mem=55M524
16.76/14.15 decisions=56117, wrong=27933, backtracks=8852, failedAssignments=20671, nogoods=794
16.76/14.15 nFilterCalls=1177842, avgTableProportion=0.9999462190572425, avgTableSize=23015.029820638083
16.76/14.15
17.85/15.29 num=56, depth=1..14, filters=988554, wck=12.845, mem=55M524
17.85/15.29 decisions=61708, wrong=30726, backtracks=9720, failedAssignments=22750, nogoods=831
17.85/15.29 nFilterCalls=1294990, avgTableProportion=0.9999463227845108, avgTableSize=23049.774625286682
17.85/15.29
19.25/16.61 num=57, depth=1..10, filters=1084345, wck=14.157, mem=55M524
19.25/16.61 decisions=67812, wrong=33776, backtracks=10645, failedAssignments=25037, nogoods=853
19.25/16.61 nFilterCalls=1420880, avgTableProportion=0.9999464339007835, avgTableSize=23086.99424018918
19.25/16.61
20.85/18.22 num=58, depth=2..11, filters=1197009, wck=15.774, mem=55M524
20.85/18.22 decisions=74420, wrong=37077, backtracks=11593, failedAssignments=27553, nogoods=878
20.85/18.22 nFilterCalls=1566799, avgTableProportion=0.9999463480453201, avgTableSize=23058.238004364313
20.85/18.22
22.35/19.77 num=59, depth=1..9, filters=1313870, wck=17.317, mem=55M524
22.35/19.77 decisions=81898, wrong=40815, backtracks=12781, failedAssignments=30321, nogoods=928
22.35/19.77 nFilterCalls=1720187, avgTableProportion=0.9999464390740992, avgTableSize=23088.72910735868
22.35/19.77
24.06/21.49 num=60, depth=1..13, filters=1449689, wck=19.045, mem=55M524
24.06/21.49 decisions=90201, wrong=44965, backtracks=14111, failedAssignments=33365, nogoods=955
24.06/21.49 nFilterCalls=1898373, avgTableProportion=0.9999465716900896, avgTableSize=23133.149832514475
24.06/21.49
26.06/23.40 num=61, depth=1..11, filters=1589793, wck=20.953, mem=55M524
26.06/23.40 decisions=99340, wrong=49533, backtracks=15581, failedAssignments=36714, nogoods=977
26.06/23.40 nFilterCalls=2083598, avgTableProportion=0.9999466283693783, avgTableSize=23152.135383120927
26.06/23.40
28.06/25.43 num=62, depth=1..11, filters=1744970, wck=22.985, mem=55M524
28.06/25.43 decisions=109336, wrong=54529, backtracks=17183, failedAssignments=40398, nogoods=998
28.06/25.43 nFilterCalls=2287489, avgTableProportion=0.9999466499281542, avgTableSize=23159.35493066852
28.06/25.43
30.25/27.58 num=63, depth=0..13, filters=1921226, wck=25.133, mem=55M524
30.25/27.58 decisions=120361, wrong=60039, backtracks=19031, failedAssignments=44450, nogoods=1054
30.25/27.58 nFilterCalls=2517097, avgTableProportion=0.999946621528427, avgTableSize=23149.840724056325
30.25/27.58
32.78/30.07 num=64, depth=1..13, filters=2109367, wck=27.622, mem=55M524
32.78/30.07 decisions=132561, wrong=66137, backtracks=21044, failedAssignments=48907, nogoods=1077
32.78/30.07 nFilterCalls=2763448, avgTableProportion=0.9999466404164803, avgTableSize=23156.165840645455
32.78/30.07
35.57/32.85 num=65, depth=1..11, filters=2308898, wck=30.401, mem=55M524
35.57/32.85 decisions=145392, wrong=72551, backtracks=22833, failedAssignments=53810, nogoods=1125
35.57/32.85 nFilterCalls=3027371, avgTableProportion=0.9999468462411153, avgTableSize=23225.10590310867
35.57/32.85
38.58/35.87 num=66, depth=1..13, filters=2541233, wck=33.417, mem=55M524
38.58/35.87 decisions=160050, wrong=79878, backtracks=25194, failedAssignments=59204, nogoods=1143
38.58/35.87 nFilterCalls=3331288, avgTableProportion=0.9999468223192857, avgTableSize=23217.091983040795
38.58/35.87
41.98/39.25 num=67, depth=1..11, filters=2789476, wck=36.803, mem=55M524
41.98/39.25 decisions=176146, wrong=87923, backtracks=27752, failedAssignments=65137, nogoods=1169
41.98/39.25 nFilterCalls=3659260, avgTableProportion=0.9999468309623397, avgTableSize=23219.98587091379
41.98/39.25
45.80/43.02 num=68, depth=1..12, filters=3063582, wck=40.572, mem=58M112
45.80/43.02 decisions=193795, wrong=96745, backtracks=30599, failedAssignments=71663, nogoods=1227
45.80/43.02 nFilterCalls=4020787, avgTableProportion=0.9999468585984705, avgTableSize=23229.241625333547
45.80/43.02
50.00/47.17 num=69, depth=1..13, filters=3372776, wck=44.723, mem=58M112
50.00/47.17 decisions=213503, wrong=106597, backtracks=33893, failedAssignments=78842, nogoods=1286
50.00/47.17 nFilterCalls=4427426, avgTableProportion=0.9999468319854415, avgTableSize=23220.329451017362
50.00/47.17
54.80/51.94 num=70, depth=1..11, filters=3702082, wck=49.487, mem=58M112
54.80/51.94 decisions=234739, wrong=117213, backtracks=37277, failedAssignments=86739, nogoods=1336
54.80/51.94 nFilterCalls=4862699, avgTableProportion=0.9999468656725556, avgTableSize=23231.616766943625
54.80/51.94
60.21/57.30 num=71, depth=1..14, filters=4099298, wck=54.849, mem=58M112
60.21/57.30 decisions=258409, wrong=129046, backtracks=41037, failedAssignments=95426, nogoods=1361
60.21/57.30 nFilterCalls=5380045, avgTableProportion=0.999946964640685, avgTableSize=23264.769822371374
60.21/57.30
65.51/62.67 num=72, depth=1..14, filters=4518931, wck=60.222, mem=58M112
65.51/62.67 decisions=284607, wrong=142143, backtracks=45615, failedAssignments=104981, nogoods=1379
65.51/62.67 nFilterCalls=5927624, avgTableProportion=0.9999469348530342, avgTableSize=23254.795737381453
65.51/62.67
71.71/68.87 num=73, depth=1..14, filters=4967188, wck=66.418, mem=58M112
71.71/68.87 decisions=312599, wrong=156136, backtracks=49712, failedAssignments=115492, nogoods=1406
71.71/68.87 nFilterCalls=6519250, avgTableProportion=0.9999470320128191, avgTableSize=23287.342240288377
71.71/68.87
78.41/75.53 num=74, depth=1..11, filters=5470441, wck=73.085, mem=58M112
78.41/75.53 decisions=344561, wrong=172115, backtracks=55115, failedAssignments=127054, nogoods=1442
78.41/75.53 nFilterCalls=7180474, avgTableProportion=0.9999470168346097, avgTableSize=23282.260996975965
78.41/75.53
85.93/83.07 num=75, depth=1..13, filters=6023429, wck=80.625, mem=60M700
85.93/83.07 decisions=379489, wrong=189578, backtracks=60888, failedAssignments=139772, nogoods=1475
85.93/83.07 nFilterCalls=7910167, avgTableProportion=0.999947058207499, avgTableSize=23296.121255720645
85.93/83.07
93.73/90.85 num=76, depth=0..12, filters=6568475, wck=88.403, mem=60M700
93.73/90.85 decisions=416647, wrong=208155, backtracks=66388, failedAssignments=153762, nogoods=1492
93.73/90.85 nFilterCalls=8633286, avgTableProportion=0.9999471075508954, avgTableSize=23312.644953960753
93.73/90.85
102.63/99.76 num=77, depth=0..14, filters=7201823, wck=97.313, mem=60M700
102.63/99.76 decisions=458221, wrong=228940, backtracks=73186, failedAssignments=169151, nogoods=1506
102.63/99.76 nFilterCalls=9467390, avgTableProportion=0.9999470829675384, avgTableSize=23304.395481753683
102.63/99.76
112.44/109.50 num=78, depth=0..12, filters=7898347, wck=107.055, mem=60M700
112.44/109.50 decisions=504170, wrong=251913, backtracks=80702, failedAssignments=186079, nogoods=1520
112.44/109.50 nFilterCalls=10387458, avgTableProportion=0.9999470989976316, avgTableSize=23309.75050758328
112.44/109.50
123.05/120.17 num=79, depth=0..14, filters=8693381, wck=117.722, mem=60M700
123.05/120.17 decisions=554563, wrong=277107, backtracks=88787, failedAssignments=204700, nogoods=1557
123.05/120.17 nFilterCalls=11430224, avgTableProportion=0.9999470818840727, avgTableSize=23304.00514758066
123.05/120.17
135.55/132.64 num=80, depth=0..14, filters=9591879, wck=130.195, mem=63M289
135.55/132.64 decisions=611112, wrong=305380, backtracks=98532, failedAssignments=225184, nogoods=1600
135.55/132.64 nFilterCalls=12609865, avgTableProportion=0.9999470276940409, avgTableSize=23285.84216651011
135.55/132.64
148.76/145.85 num=81, depth=0..14, filters=10524631, wck=143.397, mem=63M289
148.76/145.85 decisions=672336, wrong=335991, backtracks=108565, failedAssignments=247716, nogoods=1639
148.76/145.85 nFilterCalls=13849074, avgTableProportion=0.9999470703649048, avgTableSize=23300.123764953525
148.76/145.85
164.27/161.39 num=82, depth=0..11, filters=11574918, wck=158.947, mem=63M289
164.27/161.39 decisions=739925, wrong=369784, backtracks=119462, failedAssignments=272501, nogoods=1707
164.27/161.39 nFilterCalls=15236278, avgTableProportion=0.9999471490995115, avgTableSize=23326.485471057957
164.27/161.39
180.38/177.41 num=83, depth=0..11, filters=12692514, wck=174.966, mem=65M877
180.38/177.41 decisions=814069, wrong=406854, backtracks=131569, failedAssignments=299765, nogoods=1718
180.38/177.41 nFilterCalls=16715890, avgTableProportion=0.99994714418981, avgTableSize=23324.832211267243
180.38/177.41
183.18/180.22 num=84, depth=0..12, filters=12872914, wck=177.772, mem=65M877
183.18/180.22 decisions=825733, wrong=412687, backtracks=133612, failedAssignments=303985, nogoods=1718
183.18/180.22 nFilterCalls=16957865, avgTableProportion=0.9999471436164608, avgTableSize=23324.64083556509
183.18/180.22
183.18/180.22 Global
183.18/180.22 filters=12872914, nogoods=1718
183.18/180.22 Stop=FULL_EXPLORATION, wrong=412687, wck=178.375, cpu=180.147, mem=65M877
183.18/180.22
183.18/180.22 s UNSATISFIABLE
183.18/180.22
183.18/180.22 d WRONG_DECISIONS 412687
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 (11463 MiB free)
memory of node 1: 16384 MiB (14343 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390726-1568386458/watcher-4390726-1568386458 -o /tmp/evaluation-result-4390726-1568386458/solver-4390726-1568386458 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568380472-32116 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390726-1568386458.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=2956, runsolver pid=2953
[startup+0.100838 s]*
/proc/loadavg: 1.92 1.55 1.52 4/228 2971
/proc/meminfo: memFree=26409480/32770624 swapFree=66957012/67108860
[pid=2956] ppid=2953 vsize=10659884 memory=28960 CPUtime=0.13 cores=1,3,5,7
/proc/2956/stat : 2956 (java) S 2953 2956 32084 0 -1 1077944320 5250 0 0 0 12 1 0 0 20 0 15 0 414559689 10915721216 7240 33554432000 4194304 4196468 140723145377680 140723145360224 139813673389815 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
/proc/2956/statm: 2664971 7240 2910 1 0 2627468 0
[pid=2956/tid=2958] ppid=2953 vsize=10659884 memory=-8171376296011865461 CPUtime=0.09 cores=1,3,5,7
/proc/2956/task/2958/stat : 2958 (java) R 2953 2956 32084 0 -1 4202560 2974 0 0 0 8 1 0 0 20 0 15 0 414559690 10915721216 7240 33554432000 4194304 4196468 140723145377680 139813677620256 139813282008320 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2959] ppid=2953 vsize=10659884 memory=7948963741541478447 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2959/stat : 2959 (java) S 2953 2956 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559690 10915721216 7240 33554432000 4194304 4196468 140723145377680 139813610080912 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2960] ppid=2953 vsize=10659884 memory=140372140725888 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2960/stat : 2960 (java) S 2953 2956 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414559690 10915721216 7240 33554432000 4194304 4196468 140723145377680 139813609028112 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2961] ppid=2953 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2961/stat : 2961 (java) S 2953 2956 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559690 10915721216 7240 33554432000 4194304 4196468 140723145377680 139813607975312 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2962] ppid=2953 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2962/stat : 2962 (java) S 2953 2956 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559690 10915721216 7240 33554432000 4194304 4196468 140723145377680 139813606922512 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2963] ppid=2953 vsize=10659884 memory=140372140725888 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2963/stat : 2963 (java) S 2953 2956 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414559692 10915721216 7240 33554432000 4194304 4196468 140723145377680 139812910615408 139813673400962 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2964] ppid=2953 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2964/stat : 2964 (java) S 2953 2956 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414559692 10915721216 7240 33554432000 4194304 4196468 140723145377680 139812909561376 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2965] ppid=2953 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2965/stat : 2965 (java) S 2953 2956 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414559692 10915721216 7240 33554432000 4194304 4196468 140723145377680 139812908508528 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2966] ppid=2953 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2966/stat : 2966 (java) S 2953 2956 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414559695 10915721216 7240 33554432000 4194304 4196468 140723145377680 139812907456848 139813673408411 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2967] ppid=2953 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2967/stat : 2967 (java) R 2953 2956 32084 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 414559695 10915721216 7240 33554432000 4194304 4196468 140723145377680 139812906404304 139813673400021 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2968] ppid=2953 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2968/stat : 2968 (java) S 2953 2956 32084 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 15 0 414559695 10915721216 7240 33554432000 4194304 4196468 140723145377680 139812905351408 139813673400962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2969] ppid=2953 vsize=10659884 memory=140372140725888 CPUtime=0.02 cores=1,3,5,7
/proc/2956/task/2969/stat : 2969 (java) S 2953 2956 32084 0 -1 1077944384 386 0 0 0 2 0 0 0 20 0 15 0 414559695 10915721216 7240 33554432000 4194304 4196468 140723145377680 139812904298608 139813673400962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2970] ppid=2953 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2970/stat : 2970 (java) S 2953 2956 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414559695 10915721216 7240 33554432000 4194304 4196468 140723145377680 139812903246048 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2971] ppid=2953 vsize=10659884 memory=140372140725888 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2971/stat : 2971 (java) S 2953 2956 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559695 10915721216 7240 33554432000 4194304 4196468 140723145377680 139812902194352 139813673400962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28960 KiB
[startup+0.211588 s]*
/proc/loadavg: 1.92 1.55 1.52 4/228 2971
/proc/meminfo: memFree=26403204/32770624 swapFree=66957012/67108860
[pid=2956] ppid=2953 vsize=10659884 memory=35592 CPUtime=0.32 cores=1,3,5,7
/proc/2956/stat : 2956 (java) S 2953 2956 32084 0 -1 1077944320 6513 0 0 0 30 2 0 0 20 0 15 0 414559689 10915721216 8898 33554432000 4194304 4196468 140723145377680 140723145360224 139813673389815 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
/proc/2956/statm: 2664971 8898 2989 1 0 2627468 0
[pid=2956/tid=2958] ppid=2953 vsize=10659884 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/2956/task/2958/stat : 2958 (java) R 2953 2956 32084 0 -1 4202560 3460 0 0 0 18 1 0 0 20 0 15 0 414559690 10915721216 8898 33554432000 4194304 4196468 140723145377680 139813677621856 139813673411741 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2959] ppid=2953 vsize=10659884 memory=4294967635 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2959/stat : 2959 (java) S 2953 2956 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559690 10915721216 8898 33554432000 4194304 4196468 140723145377680 139813610080912 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2960] ppid=2953 vsize=10659884 memory=140372143485096 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2960/stat : 2960 (java) S 2953 2956 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414559690 10915721216 8898 33554432000 4194304 4196468 140723145377680 139813609028112 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2961] ppid=2953 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2961/stat : 2961 (java) S 2953 2956 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559690 10915721216 8898 33554432000 4194304 4196468 140723145377680 139813607975312 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2962] ppid=2953 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2962/stat : 2962 (java) S 2953 2956 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559690 10915721216 8898 33554432000 4194304 4196468 140723145377680 139813606922512 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2963] ppid=2953 vsize=10659884 memory=140372140725888 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2963/stat : 2963 (java) S 2953 2956 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414559692 10915721216 8898 33554432000 4194304 4196468 140723145377680 139812910615408 139813673400962 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2964] ppid=2953 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2964/stat : 2964 (java) S 2953 2956 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414559692 10915721216 8898 33554432000 4194304 4196468 140723145377680 139812909561376 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2965] ppid=2953 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2965/stat : 2965 (java) S 2953 2956 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414559692 10915721216 8898 33554432000 4194304 4196468 140723145377680 139812908508528 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2966] ppid=2953 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2966/stat : 2966 (java) S 2953 2956 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414559695 10915721216 8898 33554432000 4194304 4196468 140723145377680 139812907456848 139813673408411 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2967] ppid=2953 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/2956/task/2967/stat : 2967 (java) S 2953 2956 32084 0 -1 1077944384 608 0 0 0 3 0 0 0 20 0 15 0 414559695 10915721216 8898 33554432000 4194304 4196468 140723145377680 139812906404208 139813673400962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2968] ppid=2953 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/2956/task/2968/stat : 2968 (java) S 2953 2956 32084 0 -1 1077944384 410 0 0 0 2 0 0 0 20 0 15 0 414559695 10915721216 8898 33554432000 4194304 4196468 140723145377680 139812905351408 139813673400962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2969] ppid=2953 vsize=10659884 memory=140372140725888 CPUtime=0.05 cores=1,3,5,7
/proc/2956/task/2969/stat : 2969 (java) S 2953 2956 32084 0 -1 1077944384 676 0 0 0 5 0 0 0 20 0 15 0 414559695 10915721216 8898 33554432000 4194304 4196468 140723145377680 139812904298608 139813673400962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2970] ppid=2953 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2970/stat : 2970 (java) S 2953 2956 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414559695 10915721216 8898 33554432000 4194304 4196468 140723145377680 139812903246048 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2971] ppid=2953 vsize=10659884 memory=140372140725888 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2971/stat : 2971 (java) S 2953 2956 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559695 10915721216 8898 33554432000 4194304 4196468 140723145377680 139812902194352 139813673400962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35592 KiB
[startup+0.310438 s]*
/proc/loadavg: 1.92 1.55 1.52 3/228 2971
/proc/meminfo: memFree=26395468/32770624 swapFree=66957012/67108860
[pid=2956] ppid=2953 vsize=10659884 memory=40488 CPUtime=0.47 cores=1,3,5,7
/proc/2956/stat : 2956 (java) S 2953 2956 32084 0 -1 1077944320 8951 0 0 0 43 4 0 0 20 0 15 0 414559689 10915721216 10122 33554432000 4194304 4196468 140723145377680 140723145360224 139813673389815 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
/proc/2956/statm: 2664971 10122 3001 1 0 2627468 0
[pid=2956/tid=2958] ppid=2953 vsize=10659884 memory=6935652554413002832 CPUtime=0.29 cores=1,3,5,7
/proc/2956/task/2958/stat : 2958 (java) R 2953 2956 32084 0 -1 4202560 5851 0 0 0 26 3 0 0 20 0 15 0 414559690 10915721216 10122 33554432000 4194304 4196468 140723145377680 139813677621616 139813673411741 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2959] ppid=2953 vsize=10659884 memory=4294967295 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2959/stat : 2959 (java) S 2953 2956 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559690 10915721216 10122 33554432000 4194304 4196468 140723145377680 139813610080912 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2960] ppid=2953 vsize=10659884 memory=140372140725888 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2960/stat : 2960 (java) S 2953 2956 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414559690 10915721216 10122 33554432000 4194304 4196468 140723145377680 139813609028112 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2961] ppid=2953 vsize=10659884 memory=280744027163552 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2961/stat : 2961 (java) S 2953 2956 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559690 10915721216 10122 33554432000 4194304 4196468 140723145377680 139813607975312 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2962] ppid=2953 vsize=10659884 memory=67 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2962/stat : 2962 (java) S 2953 2956 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559690 10915721216 10122 33554432000 4194304 4196468 140723145377680 139813606922512 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2963] ppid=2953 vsize=10659884 memory=280744154309968 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2963/stat : 2963 (java) S 2953 2956 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414559692 10915721216 10122 33554432000 4194304 4196468 140723145377680 139812910615408 139813673400962 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2964] ppid=2953 vsize=10659884 memory=67 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2964/stat : 2964 (java) S 2953 2956 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414559692 10915721216 10122 33554432000 4194304 4196468 140723145377680 139812909561376 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2965] ppid=2953 vsize=10659884 memory=64996 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2965/stat : 2965 (java) S 2953 2956 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414559692 10915721216 10122 33554432000 4194304 4196468 140723145377680 139812908508528 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2966] ppid=2953 vsize=10659884 memory=67300 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2966/stat : 2966 (java) S 2953 2956 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414559695 10915721216 10122 33554432000 4194304 4196468 140723145377680 139812907456848 139813673408411 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2967] ppid=2953 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/2956/task/2967/stat : 2967 (java) S 2953 2956 32084 0 -1 1077944384 635 0 0 0 4 0 0 0 20 0 15 0 414559695 10915721216 10122 33554432000 4194304 4196468 140723145377680 139812906404208 139813673400962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2968] ppid=2953 vsize=10659884 memory=140372013595663 CPUtime=0.03 cores=1,3,5,7
/proc/2956/task/2968/stat : 2968 (java) S 2953 2956 32084 0 -1 1077944384 424 0 0 0 3 0 0 0 20 0 15 0 414559695 10915721216 10122 33554432000 4194304 4196468 140723145377680 139812905351408 139813673400962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2969] ppid=2953 vsize=10659884 memory=280744154330720 CPUtime=0.07 cores=1,3,5,7
/proc/2956/task/2969/stat : 2969 (java) S 2953 2956 32084 0 -1 1077944384 686 0 0 0 7 0 0 0 20 0 15 0 414559695 10915721216 10122 33554432000 4194304 4196468 140723145377680 139812904298608 139813673400962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2970] ppid=2953 vsize=10659884 memory=140372013600271 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2970/stat : 2970 (java) S 2953 2956 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414559695 10915721216 10122 33554432000 4194304 4196468 140723145377680 139812903246048 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2971] ppid=2953 vsize=10659884 memory=140372140725900 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2971/stat : 2971 (java) S 2953 2956 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559695 10915721216 10122 33554432000 4194304 4196468 140723145377680 139812902194352 139813673400962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40488 KiB
[startup+0.700775 s]
/proc/loadavg: 1.92 1.55 1.52 3/228 2971
/proc/meminfo: memFree=26388052/32770624 swapFree=66957012/67108860
[pid=2956] ppid=2953 vsize=10661932 memory=62312 CPUtime=1.07 cores=1,3,5,7
/proc/2956/stat : 2956 (java) S 2953 2956 32084 0 -1 1077944320 12199 0 0 0 101 6 0 0 20 0 15 0 414559689 10917818368 15578 33554432000 4194304 4196468 140723145377680 140723145360224 139813673389815 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
/proc/2956/statm: 2665483 15578 3069 1 0 2627980 0
[pid=2956/tid=2958] ppid=2953 vsize=10661932 memory=732 CPUtime=0.67 cores=1,3,5,7
/proc/2956/task/2958/stat : 2958 (java) R 2953 2956 32084 0 -1 4202560 8388 0 0 0 62 5 0 0 20 0 15 0 414559690 10917818368 15578 33554432000 4194304 4196468 140723145377680 139813677621840 139813673411741 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2959] ppid=2953 vsize=10661932 memory=776 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2959/stat : 2959 (java) S 2953 2956 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559690 10917818368 15578 33554432000 4194304 4196468 140723145377680 139813610080912 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2960] ppid=2953 vsize=10661932 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2960/stat : 2960 (java) S 2953 2956 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414559690 10917818368 15578 33554432000 4194304 4196468 140723145377680 139813609028112 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2961] ppid=2953 vsize=10661932 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2961/stat : 2961 (java) S 2953 2956 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559690 10917818368 15578 33554432000 4194304 4196468 140723145377680 139813607975312 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2962] ppid=2953 vsize=10661932 memory=1096 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2962/stat : 2962 (java) S 2953 2956 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559690 10917818368 15578 33554432000 4194304 4196468 140723145377680 139813606922512 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2963] ppid=2953 vsize=10661932 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2963/stat : 2963 (java) S 2953 2956 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414559692 10917818368 15578 33554432000 4194304 4196468 140723145377680 139812910615408 139813673400962 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2964] ppid=2953 vsize=10661932 memory=1164 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2964/stat : 2964 (java) S 2953 2956 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414559692 10917818368 15578 33554432000 4194304 4196468 140723145377680 139812909561376 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2965] ppid=2953 vsize=10661932 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2965/stat : 2965 (java) S 2953 2956 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414559692 10917818368 15578 33554432000 4194304 4196468 140723145377680 139812908508528 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2966] ppid=2953 vsize=10661932 memory=12040 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2966/stat : 2966 (java) S 2953 2956 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414559695 10917818368 15578 33554432000 4194304 4196468 140723145377680 139812907456848 139813673408411 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2967] ppid=2953 vsize=10661932 memory=2124 CPUtime=0.11 cores=1,3,5,7
/proc/2956/task/2967/stat : 2967 (java) S 2953 2956 32084 0 -1 1077944384 875 0 0 0 11 0 0 0 20 0 15 0 414559695 10917818368 15578 33554432000 4194304 4196468 140723145377680 139812906404208 139813673400962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2968] ppid=2953 vsize=10661932 memory=21252 CPUtime=0.08 cores=1,3,5,7
/proc/2956/task/2968/stat : 2968 (java) R 2953 2956 32084 0 -1 4202560 521 0 0 0 8 0 0 0 20 0 15 0 414559695 10917818368 15578 33554432000 4194304 4196468 140723145377680 139812905351408 139813673403702 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2969] ppid=2953 vsize=10661932 memory=492 CPUtime=0.18 cores=1,3,5,7
/proc/2956/task/2969/stat : 2969 (java) S 2953 2956 32084 0 -1 1077944384 1056 0 0 0 18 0 0 0 20 0 15 0 414559695 10917818368 15578 33554432000 4194304 4196468 140723145377680 139812904298608 139813673400962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2970] ppid=2953 vsize=10661932 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2970/stat : 2970 (java) S 2953 2956 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414559695 10917818368 15578 33554432000 4194304 4196468 140723145377680 139812903246048 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2971] ppid=2953 vsize=10661932 memory=3512 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2971/stat : 2971 (java) S 2953 2956 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559695 10917818368 15578 33554432000 4194304 4196468 140723145377680 139812902194352 139813673400962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62312 KiB
[startup+1.50077 s]
/proc/loadavg: 1.92 1.55 1.52 3/228 2971
/proc/meminfo: memFree=26371272/32770624 swapFree=66957012/67108860
[pid=2956] ppid=2953 vsize=10663980 memory=75116 CPUtime=1.97 cores=1,3,5,7
/proc/2956/stat : 2956 (java) S 2953 2956 32084 0 -1 1077944320 16058 0 0 0 191 6 0 0 20 0 15 0 414559689 10919915520 18779 33554432000 4194304 4196468 140723145377680 140723145360224 139813673389815 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
/proc/2956/statm: 2665995 18779 3090 1 0 2628492 0
[pid=2956/tid=2958] ppid=2953 vsize=10663980 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/2956/task/2958/stat : 2958 (java) R 2953 2956 32084 0 -1 4202560 11051 0 0 0 142 5 0 0 20 0 15 0 414559690 10919915520 18779 33554432000 4194304 4196468 140723145377680 139813677630096 139813656576624 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2959] ppid=2953 vsize=10663980 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2959/stat : 2959 (java) S 2953 2956 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559690 10919915520 18779 33554432000 4194304 4196468 140723145377680 139813610080912 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2960] ppid=2953 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2960/stat : 2960 (java) S 2953 2956 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414559690 10919915520 18779 33554432000 4194304 4196468 140723145377680 139813609028112 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2961] ppid=2953 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2961/stat : 2961 (java) S 2953 2956 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559690 10919915520 18779 33554432000 4194304 4196468 140723145377680 139813607975312 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2962] ppid=2953 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2962/stat : 2962 (java) S 2953 2956 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559690 10919915520 18779 33554432000 4194304 4196468 140723145377680 139813606922512 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2963] ppid=2953 vsize=10663980 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2963/stat : 2963 (java) S 2953 2956 32084 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 414559692 10919915520 18779 33554432000 4194304 4196468 140723145377680 139812910615408 139813673400962 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
################
# More data... #
################
[startup+177.601 s]
/proc/loadavg: 1.63 1.61 1.55 3/229 2985
/proc/meminfo: memFree=26173520/32770624 swapFree=66957012/67108860
[pid=2956] ppid=2953 vsize=10746276 memory=261580 CPUtime=180.58 cores=1,3,5,7
/proc/2956/stat : 2956 (java) S 2953 2956 32084 0 -1 1077944320 39749 0 0 0 18032 26 0 0 20 0 16 0 414559689 11004186624 65395 33554432000 4194304 4196468 140723145377680 140723145360224 139813673389815 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
/proc/2956/statm: 2686569 65395 3370 1 0 2646705 0
[pid=2956/tid=2958] ppid=2953 vsize=10746276 memory=2020 CPUtime=1.85 cores=1,3,5,7
/proc/2956/task/2958/stat : 2958 (java) S 2953 2956 32084 0 -1 1077944384 12922 0 0 0 178 7 0 0 20 0 16 0 414559690 11004186624 65395 33554432000 4194304 4196468 140723145377680 139813677632688 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2959] ppid=2953 vsize=10746276 memory=988 CPUtime=0.03 cores=1,3,5,7
/proc/2956/task/2959/stat : 2959 (java) S 2953 2956 32084 0 -1 1077944384 111 0 0 0 2 1 0 0 20 0 16 0 414559690 11004186624 65395 33554432000 4194304 4196468 140723145377680 139813610080912 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2960] ppid=2953 vsize=10746276 memory=8112282956445269571 CPUtime=0.02 cores=1,3,5,7
/proc/2956/task/2960/stat : 2960 (java) S 2953 2956 32084 0 -1 1077944384 195 0 0 0 1 1 0 0 20 0 16 0 414559690 11004186624 65395 33554432000 4194304 4196468 140723145377680 139813609028112 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2961] ppid=2953 vsize=10746276 memory=111632 CPUtime=0.02 cores=1,3,5,7
/proc/2956/task/2961/stat : 2961 (java) S 2953 2956 32084 0 -1 1077944384 90 0 0 0 1 1 0 0 20 0 16 0 414559690 11004186624 65395 33554432000 4194304 4196468 140723145377680 139813607975312 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2962] ppid=2953 vsize=10746276 memory=796 CPUtime=0.02 cores=1,3,5,7
/proc/2956/task/2962/stat : 2962 (java) S 2953 2956 32084 0 -1 1077944384 125 0 0 0 1 1 0 0 20 0 16 0 414559690 11004186624 65395 33554432000 4194304 4196468 140723145377680 139813606922512 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2963] ppid=2953 vsize=10746276 memory=1408 CPUtime=0.01 cores=1,3,5,7
/proc/2956/task/2963/stat : 2963 (java) S 2953 2956 32084 0 -1 1077944384 870 0 0 0 1 0 0 0 20 0 16 0 414559692 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812910615408 139813673400962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2964] ppid=2953 vsize=10746276 memory=3112 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2964/stat : 2964 (java) S 2953 2956 32084 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414559692 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812909561440 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2965] ppid=2953 vsize=10746276 memory=261580 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2965/stat : 2965 (java) S 2953 2956 32084 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414559692 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812908508544 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2966] ppid=2953 vsize=10746276 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2966/stat : 2966 (java) S 2953 2956 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414559695 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812907456848 139813673408411 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2967] ppid=2953 vsize=10746276 memory=8112282956445269571 CPUtime=1.16 cores=1,3,5,7
/proc/2956/task/2967/stat : 2967 (java) S 2953 2956 32084 0 -1 1077944384 5261 0 0 0 116 0 0 0 20 0 16 0 414559695 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812906404208 139813673400962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2968] ppid=2953 vsize=10746276 memory=492 CPUtime=1.06 cores=1,3,5,7
/proc/2956/task/2968/stat : 2968 (java) S 2953 2956 32084 0 -1 1077944384 5027 0 0 0 106 0 0 0 20 0 16 0 414559695 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812905351408 139813673400962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2969] ppid=2953 vsize=10746276 memory=261580 CPUtime=0.55 cores=1,3,5,7
/proc/2956/task/2969/stat : 2969 (java) S 2953 2956 32084 0 -1 1077944384 4548 0 0 0 54 1 0 0 20 0 16 0 414559695 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812904298608 139813673400962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2970] ppid=2953 vsize=10746276 memory=932 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2970/stat : 2970 (java) S 2953 2956 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414559695 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812903246048 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2971] ppid=2953 vsize=10746276 memory=1768 CPUtime=0.09 cores=1,3,5,7
/proc/2956/task/2971/stat : 2971 (java) S 2953 2956 32084 0 -1 1077944384 608 0 0 0 3 6 0 0 20 0 16 0 414559695 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812902194352 139813673400962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2972] ppid=2953 vsize=10746276 memory=4104 CPUtime=175.65 cores=1,3,5,7
/proc/2956/task/2972/stat : 2972 (java) R 2953 2956 32084 0 -1 4202560 8596 0 0 0 17562 3 0 0 20 0 16 0 414559877 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812885118720 139813288133652 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
Current children cumulated CPU time: 180.58 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 261580 KiB
[startup+179.201 s]
/proc/loadavg: 1.66 1.61 1.55 3/229 2986
/proc/meminfo: memFree=26173644/32770624 swapFree=66957012/67108860
[pid=2956] ppid=2953 vsize=10746276 memory=261580 CPUtime=182.18 cores=1,3,5,7
/proc/2956/stat : 2956 (java) S 2953 2956 32084 0 -1 1077944320 39749 0 0 0 18192 26 0 0 20 0 16 0 414559689 11004186624 65395 33554432000 4194304 4196468 140723145377680 140723145360224 139813673389815 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
/proc/2956/statm: 2686569 65395 3370 1 0 2646705 0
[pid=2956/tid=2958] ppid=2953 vsize=10746276 memory=1164 CPUtime=1.85 cores=1,3,5,7
/proc/2956/task/2958/stat : 2958 (java) S 2953 2956 32084 0 -1 1077944384 12922 0 0 0 178 7 0 0 20 0 16 0 414559690 11004186624 65395 33554432000 4194304 4196468 140723145377680 139813677632688 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2959] ppid=2953 vsize=10746276 memory=14008 CPUtime=0.03 cores=1,3,5,7
/proc/2956/task/2959/stat : 2959 (java) S 2953 2956 32084 0 -1 1077944384 111 0 0 0 2 1 0 0 20 0 16 0 414559690 11004186624 65395 33554432000 4194304 4196468 140723145377680 139813610080912 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2960] ppid=2953 vsize=10746276 memory=551 CPUtime=0.02 cores=1,3,5,7
/proc/2956/task/2960/stat : 2960 (java) S 2953 2956 32084 0 -1 1077944384 195 0 0 0 1 1 0 0 20 0 16 0 414559690 11004186624 65395 33554432000 4194304 4196468 140723145377680 139813609028112 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2961] ppid=2953 vsize=10746276 memory=14973 CPUtime=0.02 cores=1,3,5,7
/proc/2956/task/2961/stat : 2961 (java) S 2953 2956 32084 0 -1 1077944384 90 0 0 0 1 1 0 0 20 0 16 0 414559690 11004186624 65395 33554432000 4194304 4196468 140723145377680 139813607975312 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2962] ppid=2953 vsize=10746276 memory=4101 CPUtime=0.02 cores=1,3,5,7
/proc/2956/task/2962/stat : 2962 (java) S 2953 2956 32084 0 -1 1077944384 125 0 0 0 1 1 0 0 20 0 16 0 414559690 11004186624 65395 33554432000 4194304 4196468 140723145377680 139813606922512 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2963] ppid=2953 vsize=10746276 memory=261580 CPUtime=0.01 cores=1,3,5,7
/proc/2956/task/2963/stat : 2963 (java) S 2953 2956 32084 0 -1 1077944384 870 0 0 0 1 0 0 0 20 0 16 0 414559692 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812910615408 139813673400962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2964] ppid=2953 vsize=10746276 memory=21252 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2964/stat : 2964 (java) S 2953 2956 32084 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414559692 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812909561440 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2965] ppid=2953 vsize=10746276 memory=492 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2965/stat : 2965 (java) S 2953 2956 32084 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414559692 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812908508544 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2966] ppid=2953 vsize=10746276 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2966/stat : 2966 (java) S 2953 2956 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414559695 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812907456848 139813673408411 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2967] ppid=2953 vsize=10746276 memory=776 CPUtime=1.16 cores=1,3,5,7
/proc/2956/task/2967/stat : 2967 (java) S 2953 2956 32084 0 -1 1077944384 5261 0 0 0 116 0 0 0 20 0 16 0 414559695 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812906404208 139813673400962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2968] ppid=2953 vsize=10746276 memory=1560 CPUtime=1.06 cores=1,3,5,7
/proc/2956/task/2968/stat : 2968 (java) S 2953 2956 32084 0 -1 1077944384 5027 0 0 0 106 0 0 0 20 0 16 0 414559695 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812905351408 139813673400962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2969] ppid=2953 vsize=10746276 memory=4008 CPUtime=0.55 cores=1,3,5,7
/proc/2956/task/2969/stat : 2969 (java) S 2953 2956 32084 0 -1 1077944384 4548 0 0 0 54 1 0 0 20 0 16 0 414559695 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812904298608 139813673400962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2970] ppid=2953 vsize=10746276 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2970/stat : 2970 (java) S 2953 2956 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414559695 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812903246048 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2971] ppid=2953 vsize=10746276 memory=1436 CPUtime=0.1 cores=1,3,5,7
/proc/2956/task/2971/stat : 2971 (java) S 2953 2956 32084 0 -1 1077944384 608 0 0 0 4 6 0 0 20 0 16 0 414559695 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812902194352 139813673400962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2972] ppid=2953 vsize=10746276 memory=261576 CPUtime=177.25 cores=1,3,5,7
/proc/2956/task/2972/stat : 2972 (java) R 2953 2956 32084 0 -1 4202560 8596 0 0 0 17722 3 0 0 20 0 16 0 414559877 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812885118720 139813288133607 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
Current children cumulated CPU time: 182.18 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 261580 KiB
[startup+180.001 s]*
/proc/loadavg: 1.66 1.61 1.55 3/229 2986
/proc/meminfo: memFree=26173644/32770624 swapFree=66957012/67108860
[pid=2956] ppid=2953 vsize=10746276 memory=261580 CPUtime=182.99 cores=1,3,5,7
/proc/2956/stat : 2956 (java) S 2953 2956 32084 0 -1 1077944320 39750 0 0 0 18273 26 0 0 20 0 16 0 414559689 11004186624 65395 33554432000 4194304 4196468 140723145377680 140723145360224 139813673389815 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
/proc/2956/statm: 2686569 65395 3370 1 0 2646705 0
[pid=2956/tid=2958] ppid=2953 vsize=10746276 memory=6935054825532540783 CPUtime=1.85 cores=1,3,5,7
/proc/2956/task/2958/stat : 2958 (java) S 2953 2956 32084 0 -1 1077944384 12922 0 0 0 178 7 0 0 20 0 16 0 414559690 11004186624 65395 33554432000 4194304 4196468 140723145377680 139813677632688 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2959] ppid=2953 vsize=10746276 memory=4126316290023845779 CPUtime=0.03 cores=1,3,5,7
/proc/2956/task/2959/stat : 2959 (java) S 2953 2956 32084 0 -1 1077944384 111 0 0 0 2 1 0 0 20 0 16 0 414559690 11004186624 65395 33554432000 4194304 4196468 140723145377680 139813610080912 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2960] ppid=2953 vsize=10746276 memory=1804 CPUtime=0.02 cores=1,3,5,7
/proc/2956/task/2960/stat : 2960 (java) S 2953 2956 32084 0 -1 1077944384 195 0 0 0 1 1 0 0 20 0 16 0 414559690 11004186624 65395 33554432000 4194304 4196468 140723145377680 139813609028112 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2961] ppid=2953 vsize=10746276 memory=916 CPUtime=0.02 cores=1,3,5,7
/proc/2956/task/2961/stat : 2961 (java) S 2953 2956 32084 0 -1 1077944384 90 0 0 0 1 1 0 0 20 0 16 0 414559690 11004186624 65395 33554432000 4194304 4196468 140723145377680 139813607975312 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2962] ppid=2953 vsize=10746276 memory=3848 CPUtime=0.02 cores=1,3,5,7
/proc/2956/task/2962/stat : 2962 (java) S 2953 2956 32084 0 -1 1077944384 125 0 0 0 1 1 0 0 20 0 16 0 414559690 11004186624 65395 33554432000 4194304 4196468 140723145377680 139813606922512 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2963] ppid=2953 vsize=10746276 memory=261580 CPUtime=0.01 cores=1,3,5,7
/proc/2956/task/2963/stat : 2963 (java) S 2953 2956 32084 0 -1 1077944384 870 0 0 0 1 0 0 0 20 0 16 0 414559692 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812910615408 139813673400962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2964] ppid=2953 vsize=10746276 memory=988 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2964/stat : 2964 (java) S 2953 2956 32084 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414559692 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812909561440 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2965] ppid=2953 vsize=10746276 memory=1368 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2965/stat : 2965 (java) S 2953 2956 32084 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414559692 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812908508544 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2966] ppid=2953 vsize=10746276 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2966/stat : 2966 (java) S 2953 2956 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414559695 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812907456848 139813673408411 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2967] ppid=2953 vsize=10746276 memory=1712 CPUtime=1.16 cores=1,3,5,7
/proc/2956/task/2967/stat : 2967 (java) S 2953 2956 32084 0 -1 1077944384 5261 0 0 0 116 0 0 0 20 0 16 0 414559695 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812906404208 139813673400962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2968] ppid=2953 vsize=10746276 memory=6100 CPUtime=1.06 cores=1,3,5,7
/proc/2956/task/2968/stat : 2968 (java) S 2953 2956 32084 0 -1 1077944384 5027 0 0 0 106 0 0 0 20 0 16 0 414559695 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812905351408 139813673400962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2969] ppid=2953 vsize=10746276 memory=11624 CPUtime=0.55 cores=1,3,5,7
/proc/2956/task/2969/stat : 2969 (java) S 2953 2956 32084 0 -1 1077944384 4548 0 0 0 54 1 0 0 20 0 16 0 414559695 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812904298608 139813673400962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2970] ppid=2953 vsize=10746276 memory=732 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2970/stat : 2970 (java) S 2953 2956 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414559695 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812903246048 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2971] ppid=2953 vsize=10746276 memory=261580 CPUtime=0.11 cores=1,3,5,7
/proc/2956/task/2971/stat : 2971 (java) S 2953 2956 32084 0 -1 1077944384 608 0 0 0 4 7 0 0 20 0 16 0 414559695 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812902194352 139813673400962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2972] ppid=2953 vsize=10746276 memory=732 CPUtime=178.06 cores=1,3,5,7
/proc/2956/task/2972/stat : 2972 (java) R 2953 2956 32084 0 -1 4202560 8597 0 0 0 17803 3 0 0 20 0 16 0 414559877 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812885118720 139813288133413 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
Current children cumulated CPU time: 182.99 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 261580 KiB
[startup+180.201 s]
/proc/loadavg: 1.66 1.61 1.55 3/229 2986
/proc/meminfo: memFree=26173644/32770624 swapFree=66957012/67108860
[pid=2956] ppid=2953 vsize=10746276 memory=261580 CPUtime=183.18 cores=1,3,5,7
/proc/2956/stat : 2956 (java) S 2953 2956 32084 0 -1 1077944320 39750 0 0 0 18292 26 0 0 20 0 16 0 414559689 11004186624 65395 33554432000 4194304 4196468 140723145377680 140723145360224 139813673389815 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
/proc/2956/statm: 2686569 65395 3370 1 0 2646705 0
[pid=2956/tid=2958] ppid=2953 vsize=10746276 memory=1560 CPUtime=1.85 cores=1,3,5,7
/proc/2956/task/2958/stat : 2958 (java) S 2953 2956 32084 0 -1 1077944384 12922 0 0 0 178 7 0 0 20 0 16 0 414559690 11004186624 65395 33554432000 4194304 4196468 140723145377680 139813677632688 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2959] ppid=2953 vsize=10746276 memory=4008 CPUtime=0.03 cores=1,3,5,7
/proc/2956/task/2959/stat : 2959 (java) S 2953 2956 32084 0 -1 1077944384 111 0 0 0 2 1 0 0 20 0 16 0 414559690 11004186624 65395 33554432000 4194304 4196468 140723145377680 139813610080912 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2960] ppid=2953 vsize=10746276 memory=1096 CPUtime=0.02 cores=1,3,5,7
/proc/2956/task/2960/stat : 2960 (java) S 2953 2956 32084 0 -1 1077944384 195 0 0 0 1 1 0 0 20 0 16 0 414559690 11004186624 65395 33554432000 4194304 4196468 140723145377680 139813609028112 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2961] ppid=2953 vsize=10746276 memory=2828 CPUtime=0.02 cores=1,3,5,7
/proc/2956/task/2961/stat : 2961 (java) S 2953 2956 32084 0 -1 1077944384 90 0 0 0 1 1 0 0 20 0 16 0 414559690 11004186624 65395 33554432000 4194304 4196468 140723145377680 139813607975312 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2962] ppid=2953 vsize=10746276 memory=1164 CPUtime=0.02 cores=1,3,5,7
/proc/2956/task/2962/stat : 2962 (java) S 2953 2956 32084 0 -1 1077944384 125 0 0 0 1 1 0 0 20 0 16 0 414559690 11004186624 65395 33554432000 4194304 4196468 140723145377680 139813606922512 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2963] ppid=2953 vsize=10746276 memory=3512 CPUtime=0.01 cores=1,3,5,7
/proc/2956/task/2963/stat : 2963 (java) S 2953 2956 32084 0 -1 1077944384 870 0 0 0 1 0 0 0 20 0 16 0 414559692 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812910615408 139813673400962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2964] ppid=2953 vsize=10746276 memory=39616 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2964/stat : 2964 (java) S 2953 2956 32084 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414559692 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812909561440 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2965] ppid=2953 vsize=10746276 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2965/stat : 2965 (java) S 2953 2956 32084 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414559692 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812908508544 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2966] ppid=2953 vsize=10746276 memory=164 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2966/stat : 2966 (java) S 2953 2956 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414559695 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812907456848 139813673408411 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2967] ppid=2953 vsize=10746276 memory=0 CPUtime=1.16 cores=1,3,5,7
/proc/2956/task/2967/stat : 2967 (java) S 2953 2956 32084 0 -1 1077944384 5261 0 0 0 116 0 0 0 20 0 16 0 414559695 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812906404208 139813673400962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2968] ppid=2953 vsize=10746276 memory=0 CPUtime=1.06 cores=1,3,5,7
/proc/2956/task/2968/stat : 2968 (java) S 2953 2956 32084 0 -1 1077944384 5027 0 0 0 106 0 0 0 20 0 16 0 414559695 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812905351408 139813673400962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2969] ppid=2953 vsize=10746276 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/2956/task/2969/stat : 2969 (java) S 2953 2956 32084 0 -1 1077944384 4548 0 0 0 54 1 0 0 20 0 16 0 414559695 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812904298608 139813673400962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2970] ppid=2953 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2970/stat : 2970 (java) S 2953 2956 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414559695 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812903246048 139813673400021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2971] ppid=2953 vsize=10746276 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/2956/task/2971/stat : 2971 (java) S 2953 2956 32084 0 -1 1077944384 608 0 0 0 4 7 0 0 20 0 16 0 414559695 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812902194352 139813673400962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
[pid=2956/tid=2972] ppid=2953 vsize=10746276 memory=6944656592455360604 CPUtime=178.25 cores=1,3,5,7
/proc/2956/task/2972/stat : 2972 (java) R 2953 2956 32084 0 -1 4202560 8597 0 0 0 17822 3 0 0 20 0 16 0 414559877 11004186624 65395 33554432000 4194304 4196468 140723145377680 139812885118720 139813288132320 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18411520 140723145384971 140723145385074 140723145385074 140723145387983 0
Current children cumulated CPU time: 183.18 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 261580 KiB
Child status: 0
Real time (s): 180.233
CPU time (s): 183.225
CPU user time (s): 182.954
CPU system time (s): 0.271144
CPU usage (%): 101.66
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 261580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 182.954
system time used= 0.271144
maximum resident set size= 262428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40710
page faults= 0
swaps= 0
block input operations= 0
block output operations= 248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6414
involuntary context switches= 149
# summary of solver processes directly reported to runsolver:
# pid: 2956
# total CPU time (s): 183.225
# total CPU user time (s): 182.954
# total CPU system time (s): 0.271144
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.06011 second user time and 1.89288 second system time
The end