2.41/1.88
2.41/1.88 AbsCon 2
2.64/1.90
3.19/2.15 Instance
3.19/2.15 name=instance-4390558-1568385050, framework=CSP
3.19/2.15
3.19/2.15 Loading variables...
3.19/2.19 Loading constraints...
4.30/2.53
4.30/2.53 Domains
4.30/2.53 nTypes=5, nValues=29996, sizes=[1#2,25#25,181#24,1001#25]
4.30/2.53 Variables
4.30/2.53 count=76, degrees=[1#2,2#49,25#25]
4.30/2.53 Constraints
4.30/2.53 count=350, nSpecific=25, arities=[2#325,3#25]
4.30/2.53 distribution=[CtrExtensionCT-Table#25,CtrExtensionV-Bits#325]
4.30/2.53 tables=[1#1,16471#24], nTotalTuples=395305
4.30/2.53 nExtStructures=(51,shared:299), nCftStructures=(26,shared:299,unbuilt:25)
4.30/2.53 wck=0.673, cpu=2.451, mem=154M265
4.30/2.54 Solver SolverBacktrack being built...
4.30/2.54
4.30/2.56
4.30/2.56 Solver
4.30/2.56 guaranteedGAC=true
4.30/2.56 wck=0.707, cpu=2.483, mem=167M444
4.58/2.60
4.58/2.60 Preprocessing
4.58/2.60 filters=108, revisions=(73,useless=23), nACremovedValues=26297, nTotalRemovedValues=26297, inconcistency=false
4.58/2.60 wck=0.043, cpu=2.527, mem=167M444
4.58/2.60
4.58/2.62 num=0, depth=1..4, filters=1652, revisions=(2730,useless=1690), wck=0.061, mem=167M444
4.58/2.62 decisions=25, wrong=11, backtracks=1, failedAssignments=10, nogoods=9
4.58/2.62 nFilterCalls=731, avgTableProportion=0.9985713812304234, avgTableSize=16447.46922024624
4.58/2.62
4.58/2.63 num=1, depth=1..5, filters=3042, revisions=(5219,useless=3226), wck=0.07, mem=167M444
4.58/2.63 decisions=54, wrong=24, backtracks=4, failedAssignments=21, nogoods=17
4.58/2.63 nFilterCalls=1273, avgTableProportion=0.99915378897034, avgTableSize=16457.0620581304
4.58/2.63
4.58/2.64 num=2, depth=1..7, filters=5448, revisions=(8780,useless=5225), wck=0.084, mem=167M444
4.58/2.64 decisions=93, wrong=41, backtracks=9, failedAssignments=33, nogoods=27
4.58/2.64 nFilterCalls=2325, avgTableProportion=0.9995092058182191, avgTableSize=16462.91612903226
4.58/2.64
4.58/2.66 num=3, depth=0..3, filters=7471, revisions=(12629,useless=7725), wck=0.097, mem=167M444
4.58/2.66 decisions=129, wrong=58, backtracks=14, failedAssignments=46, nogoods=33
4.58/2.66 nFilterCalls=3207, avgTableProportion=0.9996274882650077, avgTableSize=16464.864359214218
4.58/2.66
4.58/2.67 num=4, depth=1..4, filters=9946, revisions=(16682,useless=10142), wck=0.112, mem=167M444
4.58/2.67 decisions=167, wrong=75, backtracks=18, failedAssignments=60, nogoods=39
4.58/2.67 nFilterCalls=4264, avgTableProportion=0.999704779894478, avgTableSize=16466.137429643528
4.58/2.67
4.58/2.69 num=5, depth=1..4, filters=13093, revisions=(22184,useless=13555), wck=0.128, mem=167M444
4.58/2.69 decisions=215, wrong=98, backtracks=26, failedAssignments=76, nogoods=44
4.58/2.69 nFilterCalls=5646, avgTableProportion=0.9997621814426397, avgTableSize=16467.082890541977
4.58/2.69
4.88/2.72 num=6, depth=2..6, filters=16597, revisions=(27742,useless=16900), wck=0.158, mem=167M444
4.88/2.72 decisions=263, wrong=119, backtracks=30, failedAssignments=93, nogoods=49
4.88/2.72 nFilterCalls=7288, avgTableProportion=0.9998020837075523, avgTableSize=16467.74012074643
4.88/2.72
4.88/2.73 num=7, depth=1..7, filters=18837, revisions=(31271,useless=18963), wck=0.17, mem=167M444
4.88/2.73 decisions=311, wrong=141, backtracks=34, failedAssignments=112, nogoods=58
4.88/2.73 nFilterCalls=8232, avgTableProportion=0.9998178174450882, avgTableSize=16467.999271137025
4.88/2.73
4.88/2.74 num=8, depth=2..6, filters=22236, revisions=(36752,useless=22397), wck=0.185, mem=167M444
4.88/2.74 decisions=370, wrong=169, backtracks=43, failedAssignments=133, nogoods=60
4.88/2.74 nFilterCalls=9840, avgTableProportion=0.9998376673859314, avgTableSize=16468.326219512193
4.88/2.74
4.88/2.76 num=9, depth=1..5, filters=26001, revisions=(43733,useless=27005), wck=0.202, mem=167M444
4.88/2.76 decisions=435, wrong=200, backtracks=54, failedAssignments=156, nogoods=73
4.88/2.76 nFilterCalls=11533, avgTableProportion=0.9998525847881653, avgTableSize=16468.57192404405
4.88/2.76
4.88/2.78 num=10, depth=3..7, filters=30607, revisions=(51630,useless=32087), wck=0.224, mem=167M444
4.88/2.78 decisions=510, wrong=234, backtracks=65, failedAssignments=181, nogoods=86
4.88/2.78 nFilterCalls=13747, avgTableProportion=0.9998665485047141, avgTableSize=16468.801920419002
4.88/2.78
5.19/2.81 num=11, depth=2..6, filters=36672, revisions=(61465,useless=38210), wck=0.25, mem=167M444
5.19/2.81 decisions=591, wrong=272, backtracks=75, failedAssignments=209, nogoods=98
5.19/2.81 nFilterCalls=16630, avgTableProportion=0.9998791585919836, avgTableSize=16469.009621166566
5.19/2.81
5.19/2.83 num=12, depth=3..10, filters=41354, revisions=(68872,useless=42725), wck=0.271, mem=167M444
5.19/2.83 decisions=675, wrong=311, backtracks=88, failedAssignments=240, nogoods=107
5.19/2.83 nFilterCalls=18752, avgTableProportion=0.9998859628246506, avgTableSize=16469.121693686007
5.19/2.83
5.19/2.85 num=13, depth=2..8, filters=46902, revisions=(77986,useless=48412), wck=0.295, mem=167M444
5.19/2.85 decisions=765, wrong=355, backtracks=102, failedAssignments=274, nogoods=111
5.19/2.85 nFilterCalls=21297, avgTableProportion=0.9998923351124344, avgTableSize=16469.226651641075
5.19/2.85
5.19/2.88 num=14, depth=1..9, filters=52658, revisions=(86883,useless=53732), wck=0.32, mem=167M444
5.19/2.88 decisions=863, wrong=401, backtracks=117, failedAssignments=311, nogoods=125
5.19/2.88 nFilterCalls=23973, avgTableProportion=0.9998975761697902, avgTableSize=16469.31297709924
5.19/2.88
5.50/2.91 num=15, depth=0..5, filters=59501, revisions=(99566,useless=62057), wck=0.351, mem=167M444
5.50/2.91 decisions=971, wrong=454, backtracks=132, failedAssignments=352, nogoods=127
5.50/2.91 nFilterCalls=27040, avgTableProportion=0.9999023072283425, avgTableSize=16469.390902366864
5.50/2.91
5.50/2.95 num=16, depth=0..7, filters=68441, revisions=(114135,useless=71343), wck=0.388, mem=167M444
5.50/2.95 decisions=1104, wrong=519, backtracks=155, failedAssignments=397, nogoods=140
5.50/2.95 nFilterCalls=31395, avgTableProportion=0.9999074369594931, avgTableSize=16469.475394171048
5.50/2.95
5.50/2.98 num=17, depth=1..6, filters=77663, revisions=(130648,useless=82238), wck=0.425, mem=167M444
5.50/2.98 decisions=1243, wrong=588, backtracks=180, failedAssignments=447, nogoods=148
5.50/2.98 nFilterCalls=35761, avgTableProportion=0.9999113255055118, avgTableSize=16469.53944240933
5.50/2.98
5.81/3.03 num=18, depth=2..8, filters=88507, revisions=(147991,useless=92980), wck=0.471, mem=167M444
5.81/3.03 decisions=1399, wrong=663, backtracks=204, failedAssignments=502, nogoods=167
5.81/3.03 nFilterCalls=40862, avgTableProportion=0.99991481610259, avgTableSize=16469.596936028585
5.81/3.03
5.81/3.08 num=19, depth=2..8, filters=100326, revisions=(168823,useless=106496), wck=0.518, mem=167M444
5.81/3.08 decisions=1573, wrong=748, backtracks=234, failedAssignments=563, nogoods=175
5.81/3.08 nFilterCalls=46463, avgTableProportion=0.9999177660371165, avgTableSize=16469.645524395757
5.81/3.08
6.13/3.12 num=20, depth=1..8, filters=112054, revisions=(187731,useless=118218), wck=0.566, mem=167M444
6.13/3.12 decisions=1763, wrong=840, backtracks=263, failedAssignments=630, nogoods=195
6.13/3.12 nFilterCalls=51885, avgTableProportion=0.9999200150094658, avgTableSize=16469.682567215958
6.13/3.12
6.13/3.17 num=21, depth=2..9, filters=124215, revisions=(209453,useless=132397), wck=0.616, mem=167M444
6.13/3.17 decisions=1966, wrong=938, backtracks=298, failedAssignments=704, nogoods=208
6.13/3.17 nFilterCalls=57619, avgTableProportion=0.9999219329000293, avgTableSize=16469.71415678856
6.13/3.17
6.40/3.23 num=22, depth=3..9, filters=137435, revisions=(229980,useless=145087), wck=0.667, mem=167M444
6.40/3.23 decisions=2179, wrong=1043, backtracks=332, failedAssignments=785, nogoods=215
6.40/3.23 nFilterCalls=63960, avgTableProportion=0.999923653410234, avgTableSize=16469.74249530957
6.40/3.23
6.40/3.29 num=23, depth=2..8, filters=152628, revisions=(254142,useless=160106), wck=0.727, mem=167M444
6.40/3.29 decisions=2420, wrong=1162, backtracks=370, failedAssignments=874, nogoods=226
6.40/3.29 nFilterCalls=71234, avgTableProportion=0.9999252498444337, avgTableSize=16469.768790184462
6.40/3.29
6.70/3.34 num=24, depth=2..9, filters=167368, revisions=(280512,useless=177335), wck=0.786, mem=167M444
6.70/3.34 decisions=2681, wrong=1291, backtracks=409, failedAssignments=972, nogoods=236
6.70/3.34 nFilterCalls=78015, avgTableProportion=0.9999264699622362, avgTableSize=16469.788886752547
6.70/3.34
7.00/3.41 num=25, depth=1..10, filters=184883, revisions=(308529,useless=194723), wck=0.856, mem=167M444
7.00/3.41 decisions=2983, wrong=1440, backtracks=465, failedAssignments=1080, nogoods=243
7.00/3.41 nFilterCalls=86382, avgTableProportion=0.9999277114483477, avgTableSize=16469.809335278183
7.00/3.41
7.00/3.49 num=26, depth=0..8, filters=205951, revisions=(344002,useless=217158), wck=0.935, mem=167M444
7.00/3.49 decisions=3312, wrong=1602, backtracks=518, failedAssignments=1199, nogoods=251
7.00/3.49 nFilterCalls=96057, avgTableProportion=0.9999288773775075, avgTableSize=16469.828539304788
7.00/3.49
7.31/3.57 num=27, depth=2..8, filters=229703, revisions=(383279,useless=241840), wck=1.011, mem=167M444
7.31/3.57 decisions=3654, wrong=1770, backtracks=568, failedAssignments=1330, nogoods=281
7.31/3.57 nFilterCalls=106906, avgTableProportion=0.9999299337864633, avgTableSize=16469.84593942342
7.31/3.57
7.61/3.64 num=28, depth=1..11, filters=253312, revisions=(417999,useless=262369), wck=1.084, mem=167M444
7.61/3.64 decisions=4052, wrong=1966, backtracks=632, failedAssignments=1474, nogoods=307
7.61/3.64 nFilterCalls=118229, avgTableProportion=0.9999308295819606, avgTableSize=16469.86069407675
7.61/3.64
7.91/3.71 num=29, depth=2..11, filters=278858, revisions=(457953,useless=287034), wck=1.151, mem=167M444
7.91/3.71 decisions=4472, wrong=2174, backtracks=701, failedAssignments=1632, nogoods=331
7.91/3.71 nFilterCalls=130466, avgTableProportion=0.9999316228629753, avgTableSize=16469.873760213388
7.91/3.71
7.91/3.78 num=30, depth=2..9, filters=306467, revisions=(499060,useless=310837), wck=1.219, mem=167M444
7.91/3.78 decisions=4922, wrong=2397, backtracks=761, failedAssignments=1806, nogoods=348
7.91/3.78 nFilterCalls=142993, avgTableProportion=0.9999322943048407, avgTableSize=16469.88481953662
7.91/3.78
8.22/3.85 num=31, depth=2..10, filters=338121, revisions=(552304,useless=345157), wck=1.294, mem=167M444
8.22/3.85 decisions=5456, wrong=2662, backtracks=860, failedAssignments=1997, nogoods=372
8.22/3.85 nFilterCalls=158018, avgTableProportion=0.9999329592205696, avgTableSize=16469.895771367817
8.22/3.85
8.52/3.94 num=32, depth=1..8, filters=374999, revisions=(614374,useless=384720), wck=1.383, mem=167M444
8.52/3.94 decisions=6025, wrong=2945, backtracks=960, failedAssignments=2208, nogoods=387
8.52/3.94 nFilterCalls=175460, avgTableProportion=0.999933588270416, avgTableSize=16469.90613245184
8.52/3.94
8.83/4.02 num=33, depth=2..12, filters=412980, revisions=(673154,useless=421754), wck=1.457, mem=167M444
8.83/4.02 decisions=6667, wrong=3263, backtracks=1064, failedAssignments=2440, nogoods=407
8.83/4.02 nFilterCalls=194447, avgTableProportion=0.9999341447515465, avgTableSize=16469.91529825608
8.83/4.02
8.83/4.11 num=34, depth=0..10, filters=461254, revisions=(754834,useless=475100), wck=1.546, mem=167M444
8.83/4.11 decisions=7406, wrong=3630, backtracks=1202, failedAssignments=2695, nogoods=435
8.83/4.11 nFilterCalls=218175, avgTableProportion=0.9999347040303581, avgTableSize=16469.924510140943
8.83/4.11
9.06/4.19 num=35, depth=2..10, filters=505309, revisions=(827071,useless=520337), wck=1.629, mem=167M444
9.06/4.19 decisions=8149, wrong=4000, backtracks=1317, failedAssignments=2976, nogoods=458
9.06/4.19 nFilterCalls=238517, avgTableProportion=0.9999350949097656, avgTableSize=16469.93094831815
9.06/4.19
9.17/4.29 num=36, depth=1..10, filters=562266, revisions=(917636,useless=576798), wck=1.729, mem=167M444
9.17/4.29 decisions=8965, wrong=4405, backtracks=1447, failedAssignments=3285, nogoods=475
9.17/4.29 nFilterCalls=265579, avgTableProportion=0.9999355220993599, avgTableSize=16469.9379845545
9.17/4.29
9.27/4.39 num=37, depth=2..10, filters=619926, revisions=(1006457,useless=630894), wck=1.834, mem=167M444
9.27/4.39 decisions=9884, wrong=4862, backtracks=1584, failedAssignments=3625, nogoods=504
9.27/4.39 nFilterCalls=292902, avgTableProportion=0.9999358733273284, avgTableSize=16469.943769588463
9.27/4.39
9.48/4.50 num=38, depth=1..12, filters=681399, revisions=(1103389,useless=690744), wck=1.943, mem=170M33
9.48/4.50 decisions=10909, wrong=5371, backtracks=1761, failedAssignments=3999, nogoods=530
9.48/4.50 nFilterCalls=322319, avgTableProportion=0.9999361849054211, avgTableSize=16469.94890155405
9.48/4.50
9.59/4.62 num=39, depth=2..11, filters=746748, revisions=(1206879,useless=754085), wck=2.06, mem=170M33
9.59/4.62 decisions=12018, wrong=5924, backtracks=1946, failedAssignments=4410, nogoods=558
9.59/4.62 nFilterCalls=352995, avgTableProportion=0.9999364545061402, avgTableSize=16469.95334211533
9.59/4.62
9.69/4.75 num=40, depth=2..12, filters=816303, revisions=(1319202,useless=824027), wck=2.187, mem=170M33
9.69/4.75 decisions=13273, wrong=6548, backtracks=2148, failedAssignments=4862, nogoods=578
9.69/4.75 nFilterCalls=385352, avgTableProportion=0.9999366923647388, avgTableSize=16469.957259855924
9.69/4.75
9.92/4.92 num=41, depth=0..11, filters=911851, revisions=(1482119,useless=928461), wck=2.361, mem=170M33
9.92/4.92 decisions=14698, wrong=7256, backtracks=2406, failedAssignments=5359, nogoods=602
9.92/4.92 nFilterCalls=430118, avgTableProportion=0.9999369624369085, avgTableSize=16469.961708182407
9.92/4.92
10.02/5.09 num=42, depth=1..10, filters=1005811, revisions=(1632381,useless=1021650), wck=2.528, mem=170M33
10.02/5.09 decisions=16163, wrong=7986, backtracks=2649, failedAssignments=5906, nogoods=657
10.02/5.09 nFilterCalls=474301, avgTableProportion=0.9999371790029313, avgTableSize=16469.965275215527
10.02/5.09
10.24/5.25 num=43, depth=1..10, filters=1099087, revisions=(1786957,useless=1119443), wck=2.693, mem=170M33
10.24/5.25 decisions=17817, wrong=8811, backtracks=2933, failedAssignments=6508, nogoods=679
10.24/5.25 nFilterCalls=517660, avgTableProportion=0.999937355589386, avgTableSize=16469.968183749952
10.24/5.25
10.51/5.43 num=44, depth=2..10, filters=1204224, revisions=(1949881,useless=1218576), wck=2.873, mem=170M33
10.51/5.43 decisions=19603, wrong=9702, backtracks=3228, failedAssignments=7170, nogoods=709
10.51/5.43 nFilterCalls=566319, avgTableProportion=0.999937521556836, avgTableSize=16469.97091745112
10.51/5.43
10.72/5.64 num=45, depth=0..13, filters=1322722, revisions=(2143030,useless=1339117), wck=3.079, mem=170M33
10.72/5.64 decisions=21594, wrong=10695, backtracks=3560, failedAssignments=7898, nogoods=745
10.72/5.64 nFilterCalls=621981, avgTableProportion=0.9999376795666562, avgTableSize=16469.97352009145
10.72/5.64
10.92/5.86 num=46, depth=1..13, filters=1455387, revisions=(2369961,useless=1486624), wck=3.3, mem=170M33
10.92/5.86 decisions=23830, wrong=11809, backtracks=3952, failedAssignments=8699, nogoods=771
10.92/5.86 nFilterCalls=685724, avgTableProportion=0.9999378290075837, avgTableSize=16469.97598159026
10.92/5.86
11.13/6.08 num=47, depth=3..15, filters=1587606, revisions=(2566572,useless=1605879), wck=3.523, mem=170M33
11.13/6.08 decisions=26243, wrong=13012, backtracks=4362, failedAssignments=9580, nogoods=800
11.13/6.08 nFilterCalls=749428, avgTableProportion=0.9999379529588478, avgTableSize=16469.97802323906
11.13/6.08
11.43/6.35 num=48, depth=0..12, filters=1749810, revisions=(2824447,useless=1765463), wck=3.796, mem=170M33
11.43/6.35 decisions=28878, wrong=14326, backtracks=4784, failedAssignments=10550, nogoods=833
11.43/6.35 nFilterCalls=825890, avgTableProportion=0.999938076484471, avgTableSize=16469.980057876957
11.43/6.35
11.73/6.62 num=49, depth=2..14, filters=1913635, revisions=(3076298,useless=1923714), wck=4.065, mem=170M33
11.73/6.62 decisions=31745, wrong=15756, backtracks=5283, failedAssignments=11617, nogoods=853
11.73/6.62 nFilterCalls=907122, avgTableProportion=0.9999381849028129, avgTableSize=16469.981843677037
11.73/6.62
12.03/6.97 num=50, depth=1..13, filters=2115382, revisions=(3404085,useless=2129324), wck=4.41, mem=170M33
12.03/6.97 decisions=35066, wrong=17414, backtracks=5892, failedAssignments=12790, nogoods=880
12.03/6.97 nFilterCalls=1003037, avgTableProportion=0.9999382903093148, avgTableSize=16469.98357986794
12.03/6.97
12.44/7.33 num=51, depth=1..11, filters=2329427, revisions=(3753751,useless=2352020), wck=4.775, mem=170M33
12.44/7.33 decisions=38638, wrong=19198, backtracks=6505, failedAssignments=14081, nogoods=897
12.44/7.33 nFilterCalls=1105843, avgTableProportion=0.9999383829922494, avgTableSize=16469.985106384902
12.44/7.33
12.84/7.75 num=52, depth=1..12, filters=2576517, revisions=(4140788,useless=2590625), wck=5.195, mem=170M33
12.84/7.75 decisions=42669, wrong=21211, backtracks=7276, failedAssignments=15501, nogoods=920
12.84/7.75 nFilterCalls=1223553, avgTableProportion=0.9999384699911253, avgTableSize=16469.986539201815
12.84/7.75
13.25/8.18 num=53, depth=2..13, filters=2829748, revisions=(4524522,useless=2823480), wck=5.617, mem=170M33
13.25/8.18 decisions=46886, wrong=23316, backtracks=7999, failedAssignments=17063, nogoods=947
13.25/8.18 nFilterCalls=1345225, avgTableProportion=0.9999385439158087, avgTableSize=16469.987756694976
13.25/8.18
13.74/8.60 num=54, depth=1..14, filters=3086163, revisions=(4923062,useless=3074934), wck=6.038, mem=170M33
13.74/8.60 decisions=51457, wrong=25598, backtracks=8731, failedAssignments=18781, nogoods=996
13.74/8.60 nFilterCalls=1471837, avgTableProportion=0.9999386078652515, avgTableSize=16469.988809902185
13.74/8.60
14.25/9.18 num=55, depth=0..13, filters=3418679, revisions=(5448464,useless=3397895), wck=6.619, mem=170M33
14.25/9.18 decisions=56694, wrong=28213, backtracks=9644, failedAssignments=20671, nogoods=1020
14.25/9.18 nFilterCalls=1627964, avgTableProportion=0.999938673026597, avgTableSize=16469.98988306867
14.25/9.18
14.84/9.71 num=56, depth=2..14, filters=3745556, revisions=(5958455,useless=3716333), wck=7.147, mem=170M33
14.84/9.71 decisions=62366, wrong=31045, backtracks=10674, failedAssignments=22750, nogoods=1054
14.84/9.71 nFilterCalls=1786886, avgTableProportion=0.999938727660084, avgTableSize=16469.990782847926
14.84/9.71
15.35/10.23 num=57, depth=2..15, filters=4072765, revisions=(6423788,useless=3995170), wck=7.669, mem=170M33
15.35/10.23 decisions=68544, wrong=34131, backtracks=11739, failedAssignments=25037, nogoods=1096
15.35/10.23 nFilterCalls=1949348, avgTableProportion=0.9999387743026156, avgTableSize=16469.99155102116
15.35/10.23
15.95/10.82 num=58, depth=1..17, filters=4437789, revisions=(6999830,useless=4365155), wck=8.258, mem=172M623
15.95/10.82 decisions=75547, wrong=37628, backtracks=13003, failedAssignments=27553, nogoods=1133
15.95/10.82 nFilterCalls=2133307, avgTableProportion=0.9999388185366187, avgTableSize=16469.992279592203
15.95/10.82
16.65/11.55 num=59, depth=2..13, filters=4886292, revisions=(7684379,useless=4785668), wck=8.995, mem=172M623
16.65/11.55 decisions=83293, wrong=41497, backtracks=14374, failedAssignments=30321, nogoods=1170
16.65/11.55 nFilterCalls=2351328, avgTableProportion=0.9999388619812565, avgTableSize=16469.99299544768
16.65/11.55
17.46/12.31 num=60, depth=1..14, filters=5345595, revisions=(8387907,useless=5219375), wck=9.752, mem=172M623
17.46/12.31 decisions=91549, wrong=45621, backtracks=15761, failedAssignments=33365, nogoods=1205
17.46/12.31 nFilterCalls=2574006, avgTableProportion=0.9999388987567889, avgTableSize=16469.993601413516
17.46/12.31
18.36/13.23 num=61, depth=1..14, filters=5883657, revisions=(9214997,useless=5729736), wck=10.675, mem=172M623
18.36/13.23 decisions=100518, wrong=50103, backtracks=17308, failedAssignments=36714, nogoods=1251
18.36/13.23 nFilterCalls=2830151, avgTableProportion=0.9999389339024038, avgTableSize=16469.994180522524
18.36/13.23
19.26/14.13 num=62, depth=3..14, filters=6434494, revisions=(10009867,useless=6207225), wck=11.567, mem=172M623
19.26/14.13 decisions=110567, wrong=55125, backtracks=18993, failedAssignments=40398, nogoods=1278
19.26/14.13 nFilterCalls=3099566, avgTableProportion=0.9999389646008012, avgTableSize=16469.994686352864
19.26/14.13
20.27/15.15 num=63, depth=1..14, filters=7068045, revisions=(11036909,useless=6864105), wck=12.589, mem=172M623
20.27/15.15 decisions=121938, wrong=60807, backtracks=21122, failedAssignments=44450, nogoods=1303
20.27/15.15 nFilterCalls=3411154, avgTableProportion=0.9999389940574228, avgTableSize=16469.995171721945
20.27/15.15
21.36/16.28 num=64, depth=2..15, filters=7766407, revisions=(12139797,useless=7554933), wck=13.721, mem=172M623
21.36/16.28 decisions=134356, wrong=67013, backtracks=23477, failedAssignments=48907, nogoods=1327
21.36/16.28 nFilterCalls=3750422, avgTableProportion=0.9999390205647453, avgTableSize=16469.99560849419
21.36/16.28
22.66/17.53 num=65, depth=2..14, filters=8520649, revisions=(13270507,useless=8251131), wck=14.97, mem=172M623
22.66/17.53 decisions=147946, wrong=73805, backtracks=25973, failedAssignments=53810, nogoods=1369
22.66/17.53 nFilterCalls=4119805, avgTableProportion=0.9999390444607081, avgTableSize=16469.99600223797
22.66/17.53
24.18/19.07 num=66, depth=0..13, filters=9404545, revisions=(14571732,useless=9020599), wck=16.513, mem=175M212
24.18/19.07 decisions=162787, wrong=81223, backtracks=28440, failedAssignments=59204, nogoods=1387
24.18/19.07 nFilterCalls=4539387, avgTableProportion=0.9999390668864803, avgTableSize=16469.996371756803
24.18/19.07
25.77/20.68 num=67, depth=1..15, filters=10402009, revisions=(16102860,useless=9978035), wck=18.122, mem=175M212
25.77/20.68 decisions=179455, wrong=89555, backtracks=31567, failedAssignments=65137, nogoods=1428
25.77/20.68 nFilterCalls=5034587, avgTableProportion=0.9999390885447622, avgTableSize=16469.99672862938
25.77/20.68
27.49/22.37 num=68, depth=0..13, filters=11412261, revisions=(17642714,useless=10915255), wck=19.811, mem=175M212
27.49/22.37 decisions=196617, wrong=98133, backtracks=34320, failedAssignments=71663, nogoods=1452
27.49/22.37 nFilterCalls=5518344, avgTableProportion=0.9999391059491628, avgTableSize=16469.99701540897
27.49/22.37
29.40/24.24 num=69, depth=1..15, filters=12557560, revisions=(19390646,useless=11997247), wck=21.683, mem=175M212
29.40/24.24 decisions=216739, wrong=108191, backtracks=38001, failedAssignments=78842, nogoods=1487
29.40/24.24 nFilterCalls=6079917, avgTableProportion=0.9999391226794819, avgTableSize=16469.99729108144
29.40/24.24
31.32/26.11 num=70, depth=1..17, filters=13749676, revisions=(21124033,useless=13053625), wck=23.552, mem=177M801
31.32/26.11 decisions=238466, wrong=119051, backtracks=42010, failedAssignments=86739, nogoods=1535
31.32/26.11 nFilterCalls=6676825, avgTableProportion=0.9999391373770061, avgTableSize=16469.9975332587
31.32/26.11
33.61/28.47 num=71, depth=1..13, filters=15180389, revisions=(23308032,useless=14378473), wck=25.909, mem=177M801
33.61/28.47 decisions=262434, wrong=131033, backtracks=46235, failedAssignments=95426, nogoods=1578
33.61/28.47 nFilterCalls=7358943, avgTableProportion=0.9999391512534602, avgTableSize=16469.997761906838
33.61/28.47
36.02/30.87 num=72, depth=1..14, filters=16671130, revisions=(25493773,useless=15694510), wck=28.311, mem=177M801
36.02/30.87 decisions=288501, wrong=144063, backtracks=50816, failedAssignments=104981, nogoods=1618
36.02/30.87 nFilterCalls=8080510, avgTableProportion=0.9999391633825129, avgTableSize=16469.997961762314
36.02/30.87
38.62/33.46 num=73, depth=1..15, filters=18281165, revisions=(27803356,useless=17071249), wck=30.9, mem=177M801
38.62/33.46 decisions=316878, wrong=158248, backtracks=55723, failedAssignments=115492, nogoods=1667
38.62/33.46 nFilterCalls=8863566, avgTableProportion=0.9999391743107471, avgTableSize=16469.998141831402
38.62/33.46
41.63/36.43 num=74, depth=1..14, filters=20034855, revisions=(30496459,useless=18731639), wck=33.875, mem=180M391
41.63/36.43 decisions=348730, wrong=174170, backtracks=61381, failedAssignments=127054, nogoods=1704
41.63/36.43 nFilterCalls=9709407, avgTableProportion=0.9999391841348289, avgTableSize=16469.99830370691
41.63/36.43
44.93/39.76 num=75, depth=0..15, filters=22056088, revisions=(33521527,useless=20573247), wck=37.198, mem=180M391
44.93/39.76 decisions=383819, wrong=191712, backtracks=67644, failedAssignments=139772, nogoods=1746
44.93/39.76 nFilterCalls=10691979, avgTableProportion=0.9999391935954142, avgTableSize=16469.998459592935
44.93/39.76
48.43/43.22 num=76, depth=1..15, filters=24202459, revisions=(36643130,useless=22423592), wck=40.657, mem=182M980
48.43/43.22 decisions=421640, wrong=210620, backtracks=74313, failedAssignments=153762, nogoods=1804
48.43/43.22 nFilterCalls=11721443, avgTableProportion=0.9999392018060429, avgTableSize=16469.998594882898
48.43/43.22
52.44/47.23 num=77, depth=2..16, filters=26669562, revisions=(40274242,useless=24618003), wck=44.67, mem=182M980
52.44/47.23 decisions=465053, wrong=232325, backtracks=82339, failedAssignments=169151, nogoods=1816
52.44/47.23 nFilterCalls=12928966, avgTableProportion=0.9999392097704778, avgTableSize=16469.998726116228
52.44/47.23
56.84/51.64 num=78, depth=1..15, filters=29283501, revisions=(44224728,useless=27006743), wck=49.079, mem=185M569
56.84/51.64 decisions=510860, wrong=255225, backtracks=90032, failedAssignments=186079, nogoods=1851
56.84/51.64 nFilterCalls=14166030, avgTableProportion=0.9999392165217349, avgTableSize=16469.998837359515
56.84/51.64
61.84/56.62 num=79, depth=0..17, filters=32195211, revisions=(48612326,useless=29664979), wck=54.062, mem=185M569
61.84/56.62 decisions=562246, wrong=280916, backtracks=99105, failedAssignments=204700, nogoods=1893
61.84/56.62 nFilterCalls=15560594, avgTableProportion=0.9999392228453954, avgTableSize=16469.998941557114
61.84/56.62
66.54/61.39 num=80, depth=1..17, filters=35177082, revisions=(52922199,useless=32285939), wck=58.829, mem=188M159
66.54/61.39 decisions=619188, wrong=309383, backtracks=109362, failedAssignments=225184, nogoods=1934
66.54/61.39 nFilterCalls=17068180, avgTableProportion=0.9999392285508254, avgTableSize=16469.9990350465
66.54/61.39
72.54/67.34 num=81, depth=1..15, filters=38801688, revisions=(58563444,useless=35785940), wck=64.778, mem=190M748
72.54/67.34 decisions=681935, wrong=340754, backtracks=120921, failedAssignments=247716, nogoods=1992
72.54/67.34 nFilterCalls=18814483, avgTableProportion=0.9999392341563365, avgTableSize=16469.999124610546
72.54/67.34
78.55/73.33 num=82, depth=1..15, filters=42506466, revisions=(64235960,useless=39312496), wck=70.77, mem=190M748
78.55/73.33 decisions=749758, wrong=374663, backtracks=133009, failedAssignments=272501, nogoods=2024
78.55/73.33 nFilterCalls=20615394, avgTableProportion=0.9999392389424548, avgTableSize=16469.999201082454
78.55/73.33
85.36/80.11 num=83, depth=2..18, filters=46592161, revisions=(70221051,useless=42890473), wck=77.552, mem=193M337
85.36/80.11 decisions=823714, wrong=411637, backtracks=145697, failedAssignments=299765, nogoods=2105
85.36/80.11 nFilterCalls=22577799, avgTableProportion=0.9999392432884628, avgTableSize=16469.999270522338
85.36/80.11
93.15/87.91 num=84, depth=0..16, filters=51293087, revisions=(77412416,useless=47287309), wck=85.347, mem=195M927
93.15/87.91 decisions=905059, wrong=452307, backtracks=160065, failedAssignments=329755, nogoods=2143
93.15/87.91 nFilterCalls=24822801, avgTableProportion=0.9999392474176014, avgTableSize=16469.99933649712
93.15/87.91
101.55/96.39 num=85, depth=0..16, filters=56542729, revisions=(85195427,useless=52066902), wck=93.835, mem=198M516
101.55/96.39 decisions=997214, wrong=498380, backtracks=177119, failedAssignments=362744, nogoods=2188
101.55/96.39 nFilterCalls=27436934, avgTableProportion=0.9999392513741494, avgTableSize=16469.99939971427
101.55/96.39
110.26/105.02 num=86, depth=2..16, filters=61945713, revisions=(92971814,useless=56776646), wck=102.466, mem=201M106
110.26/105.02 decisions=1099220, wrong=549379, backtracks=195957, failedAssignments=399032, nogoods=2250
110.26/105.02 nFilterCalls=30145734, avgTableProportion=0.9999392547500574, avgTableSize=16469.99945365404
110.26/105.02
120.56/115.37 num=87, depth=1..14, filters=68062490, revisions=(102264567,useless=62376486), wck=112.808, mem=204M626
120.56/115.37 decisions=1208066, wrong=603799, backtracks=214270, failedAssignments=438949, nogoods=2303
120.56/115.37 nFilterCalls=32978776, avgTableProportion=0.9999392576874888, avgTableSize=16469.99950058789
120.56/115.37
124.98/119.66 num=88, depth=1..75, filters=70769549, revisions=(106089397,useless=64706204), ccks=350, wck=117.102, mem=134M109
124.98/119.66 decisions=1259795, wrong=629657, backtracks=224004, failedAssignments=457577, nogoods=2303, foundSolutions=1
124.98/119.66 nFilterCalls=34371518, avgTableProportion=0.9999392588656729, avgTableSize=16469.99952082419
124.98/119.66
124.98/119.66 Global
124.98/119.66 filters=70769549, revisions=(106089397,useless=64706204), ccks=350, nogoods=2303
124.98/119.66 Stop=REACHED_GOAL, wrong=629657, foundSolutions=1, firstSolCpu=119.534
124.98/119.66 wck=117.809, cpu=119.54, mem=134M109
124.98/119.66
124.98/119.66 v <instantiation id='sol1' type='solution'> <list> w3 w4 x[] y[] z[] </list> <values> 180 0 12 21 15 10 3 16 14 4 7 8 1 19 25 13 24 22 9 20 5 2 11 6 17 23 18 4 9 2 8 18 9 2 3 8 24 3 5 1 10 30 0 5 1 20 1 0 6 6 4 1 13 15 23 41 50 52 55 63 87 90 95 96 106 136 136 141 142 162 163 163 169 175 179 180 </values> </instantiation>
124.98/119.66 s SATISFIABLE
124.98/119.66
124.98/119.66 d WRONG_DECISIONS 629657
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 (14938 MiB free)
memory of node 1: 16384 MiB (15636 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390558-1568385050/watcher-4390558-1568385050 -o /tmp/evaluation-result-4390558-1568385050/solver-4390558-1568385050 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568380474-30429 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390558-1568385050.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=566, runsolver pid=563
[startup+0.100233 s]*
/proc/loadavg: 2.00 1.98 1.90 6/229 593
/proc/meminfo: memFree=31292612/32770624 swapFree=66981452/67108860
[pid=566] ppid=563 vsize=10659884 memory=26656 CPUtime=0.13 cores=1,3,5,7
/proc/566/stat : 566 (java) S 563 566 30397 0 -1 1077944320 5176 0 0 0 12 1 0 0 20 0 15 0 414767653 10915721216 6664 33554432000 4194304 4196468 140732552715056 140732552697600 139787394875127 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
/proc/566/statm: 2664971 6664 2848 1 0 2627468 0
[pid=566/tid=570] ppid=563 vsize=10659884 memory=7022364594140610616 CPUtime=0.08 cores=1,3,5,7
/proc/566/task/570/stat : 570 (java) R 563 566 30397 0 -1 4202560 2983 0 0 0 8 0 0 0 20 0 15 0 414767653 10915721216 6993 33554432000 4194304 4196468 140732552715056 139787399103304 139787394887062 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=572] ppid=563 vsize=10659884 memory=342 CPUtime=0 cores=1,3,5,7
/proc/566/task/572/stat : 572 (java) S 563 566 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414767654 10915721216 6993 33554432000 4194304 4196468 140732552715056 139787362433424 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=573] ppid=563 vsize=10659884 memory=288370624965478016 CPUtime=0 cores=1,3,5,7
/proc/566/task/573/stat : 573 (java) S 563 566 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414767654 10915721216 6993 33554432000 4194304 4196468 140732552715056 139787000801552 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=574] ppid=563 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/566/task/574/stat : 574 (java) S 563 566 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414767654 10915721216 6993 33554432000 4194304 4196468 140732552715056 139786999749264 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=575] ppid=563 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/566/task/575/stat : 575 (java) S 563 566 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414767654 10915721216 6993 33554432000 4194304 4196468 140732552715056 139786998696464 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=583] ppid=563 vsize=10659884 memory=140248813766272 CPUtime=0 cores=1,3,5,7
/proc/566/task/583/stat : 583 (java) S 563 566 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414767655 10915721216 6993 33554432000 4194304 4196468 140732552715056 139786886027888 139787394886274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=585] ppid=563 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/566/task/585/stat : 585 (java) S 563 566 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414767656 10915721216 7059 33554432000 4194304 4196468 140732552715056 139786884973856 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=586] ppid=563 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/566/task/586/stat : 586 (java) S 563 566 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414767656 10915721216 7059 33554432000 4194304 4196468 140732552715056 139786883921520 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=588] ppid=563 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/566/task/588/stat : 588 (java) S 563 566 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414767658 10915721216 7059 33554432000 4194304 4196468 140732552715056 139786882869840 139787394893723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=589] ppid=563 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/566/task/589/stat : 589 (java) S 563 566 30397 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 15 0 414767658 10915721216 7059 33554432000 4194304 4196468 140732552715056 139786881816688 139787394886274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=590] ppid=563 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/566/task/590/stat : 590 (java) S 563 566 30397 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 414767658 10915721216 7059 33554432000 4194304 4196468 140732552715056 139786880763888 139787394886274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=591] ppid=563 vsize=10659884 memory=140248813766272 CPUtime=0.02 cores=1,3,5,7
/proc/566/task/591/stat : 591 (java) R 563 566 30397 0 -1 4202560 683 0 0 0 2 0 0 0 20 0 15 0 414767658 10915721216 7059 33554432000 4194304 4196468 140732552715056 139786879707544 139787373816706 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=592] ppid=563 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/566/task/592/stat : 592 (java) S 563 566 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414767658 10915721216 7059 33554432000 4194304 4196468 140732552715056 139786878659040 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=593] ppid=563 vsize=10659884 memory=140248813766272 CPUtime=0 cores=1,3,5,7
/proc/566/task/593/stat : 593 (java) S 563 566 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414767659 10915721216 7059 33554432000 4194304 4196468 140732552715056 139786877606832 139787394886274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 26656 KiB
[startup+0.21057 s]*
/proc/loadavg: 2.00 1.98 1.90 3/229 593
/proc/meminfo: memFree=31282644/32770624 swapFree=66981452/67108860
[pid=566] ppid=563 vsize=10659884 memory=35960 CPUtime=0.32 cores=1,3,5,7
/proc/566/stat : 566 (java) S 563 566 30397 0 -1 1077944320 8786 0 0 0 30 2 0 0 20 0 15 0 414767653 10915721216 8990 33554432000 4194304 4196468 140732552715056 140732552697600 139787394875127 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
/proc/566/statm: 2664971 8990 2989 1 0 2627468 0
[pid=566/tid=570] ppid=563 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/566/task/570/stat : 570 (java) R 563 566 30397 0 -1 4202560 5704 0 0 0 18 2 0 0 20 0 15 0 414767653 10915721216 8990 33554432000 4194304 4196468 140732552715056 139787399101488 139787394897053 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=572] ppid=563 vsize=10659884 memory=342 CPUtime=0 cores=1,3,5,7
/proc/566/task/572/stat : 572 (java) S 563 566 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414767654 10915721216 8990 33554432000 4194304 4196468 140732552715056 139787362433424 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=573] ppid=563 vsize=10659884 memory=288370624965478016 CPUtime=0 cores=1,3,5,7
/proc/566/task/573/stat : 573 (java) S 563 566 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414767654 10915721216 8990 33554432000 4194304 4196468 140732552715056 139787000801552 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=574] ppid=563 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/566/task/574/stat : 574 (java) S 563 566 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414767654 10915721216 8990 33554432000 4194304 4196468 140732552715056 139786999749264 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=575] ppid=563 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/566/task/575/stat : 575 (java) S 563 566 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414767654 10915721216 8990 33554432000 4194304 4196468 140732552715056 139786998696464 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=583] ppid=563 vsize=10659884 memory=140248813766272 CPUtime=0 cores=1,3,5,7
/proc/566/task/583/stat : 583 (java) S 563 566 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414767655 10915721216 8990 33554432000 4194304 4196468 140732552715056 139786886027888 139787394886274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=585] ppid=563 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/566/task/585/stat : 585 (java) S 563 566 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414767656 10915721216 8990 33554432000 4194304 4196468 140732552715056 139786884973856 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=586] ppid=563 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/566/task/586/stat : 586 (java) S 563 566 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414767656 10915721216 8990 33554432000 4194304 4196468 140732552715056 139786883921520 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=588] ppid=563 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/566/task/588/stat : 588 (java) S 563 566 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414767658 10915721216 8990 33554432000 4194304 4196468 140732552715056 139786882869840 139787394893723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=589] ppid=563 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/566/task/589/stat : 589 (java) S 563 566 30397 0 -1 1077944384 716 0 0 0 3 0 0 0 20 0 15 0 414767658 10915721216 8990 33554432000 4194304 4196468 140732552715056 139786881816688 139787394886274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=590] ppid=563 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/566/task/590/stat : 590 (java) S 563 566 30397 0 -1 1077944384 151 0 0 0 2 0 0 0 20 0 15 0 414767658 10915721216 8990 33554432000 4194304 4196468 140732552715056 139786880763888 139787394886274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=591] ppid=563 vsize=10659884 memory=140248813766272 CPUtime=0.05 cores=1,3,5,7
/proc/566/task/591/stat : 591 (java) S 563 566 30397 0 -1 1077944384 857 0 0 0 5 0 0 0 20 0 15 0 414767658 10915721216 8990 33554432000 4194304 4196468 140732552715056 139786879711600 139787394886274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=592] ppid=563 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/566/task/592/stat : 592 (java) S 563 566 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414767658 10915721216 8990 33554432000 4194304 4196468 140732552715056 139786878659040 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=593] ppid=563 vsize=10659884 memory=140248813766272 CPUtime=0 cores=1,3,5,7
/proc/566/task/593/stat : 593 (java) S 563 566 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414767659 10915721216 8990 33554432000 4194304 4196468 140732552715056 139786877606832 139787394886274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35960 KiB
[startup+0.309955 s]*
/proc/loadavg: 2.00 1.98 1.90 3/229 593
/proc/meminfo: memFree=31280596/32770624 swapFree=66981452/67108860
[pid=566] ppid=563 vsize=10659884 memory=38952 CPUtime=0.46 cores=1,3,5,7
/proc/566/stat : 566 (java) S 563 566 30397 0 -1 1077944320 9006 0 0 0 44 2 0 0 20 0 15 0 414767653 10915721216 9738 33554432000 4194304 4196468 140732552715056 140732552697600 139787394875127 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
/proc/566/statm: 2664971 9738 3011 1 0 2627468 0
[pid=566/tid=570] ppid=563 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/566/task/570/stat : 570 (java) R 563 566 30397 0 -1 4202560 5836 0 0 0 28 2 0 0 20 0 15 0 414767653 10915721216 9738 33554432000 4194304 4196468 140732552715056 139787399114112 139787394897053 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=572] ppid=563 vsize=10659884 memory=310748607156584816 CPUtime=0 cores=1,3,5,7
/proc/566/task/572/stat : 572 (java) S 563 566 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414767654 10915721216 9738 33554432000 4194304 4196468 140732552715056 139787362433424 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=573] ppid=563 vsize=10659884 memory=288230376154707711 CPUtime=0 cores=1,3,5,7
/proc/566/task/573/stat : 573 (java) S 563 566 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414767654 10915721216 9738 33554432000 4194304 4196468 140732552715056 139787000801552 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=574] ppid=563 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/566/task/574/stat : 574 (java) S 563 566 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414767654 10915721216 9738 33554432000 4194304 4196468 140732552715056 139786999749264 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=575] ppid=563 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/566/task/575/stat : 575 (java) S 563 566 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414767654 10915721216 9738 33554432000 4194304 4196468 140732552715056 139786998696464 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=583] ppid=563 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/566/task/583/stat : 583 (java) S 563 566 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414767655 10915721216 9738 33554432000 4194304 4196468 140732552715056 139786886027888 139787394886274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=585] ppid=563 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/566/task/585/stat : 585 (java) S 563 566 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414767656 10915721216 9738 33554432000 4194304 4196468 140732552715056 139786884973856 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=586] ppid=563 vsize=10659884 memory=140248813766272 CPUtime=0 cores=1,3,5,7
/proc/566/task/586/stat : 586 (java) S 563 566 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414767656 10915721216 9738 33554432000 4194304 4196468 140732552715056 139786883921520 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=588] ppid=563 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/566/task/588/stat : 588 (java) S 563 566 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414767658 10915721216 9738 33554432000 4194304 4196468 140732552715056 139786882869840 139787394893723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=589] ppid=563 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/566/task/589/stat : 589 (java) S 563 566 30397 0 -1 1077944384 763 0 0 0 4 0 0 0 20 0 15 0 414767658 10915721216 9738 33554432000 4194304 4196468 140732552715056 139786881816688 139787394886274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=590] ppid=563 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/566/task/590/stat : 590 (java) S 563 566 30397 0 -1 1077944384 168 0 0 0 3 0 0 0 20 0 15 0 414767658 10915721216 9738 33554432000 4194304 4196468 140732552715056 139786880763888 139787394886274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=591] ppid=563 vsize=10659884 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/566/task/591/stat : 591 (java) S 563 566 30397 0 -1 1077944384 913 0 0 0 8 0 0 0 20 0 15 0 414767658 10915721216 9738 33554432000 4194304 4196468 140732552715056 139786879711600 139787394886274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=592] ppid=563 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/566/task/592/stat : 592 (java) S 563 566 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414767658 10915721216 9738 33554432000 4194304 4196468 140732552715056 139786878659040 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=593] ppid=563 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/566/task/593/stat : 593 (java) S 563 566 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414767659 10915721216 9738 33554432000 4194304 4196468 140732552715056 139786877606832 139787394886274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 38952 KiB
[startup+0.701272 s]
/proc/loadavg: 2.00 1.98 1.90 3/229 593
/proc/meminfo: memFree=31268740/32770624 swapFree=66981452/67108860
[pid=566] ppid=563 vsize=10661932 memory=64916 CPUtime=1.11 cores=1,3,5,7
/proc/566/stat : 566 (java) S 563 566 30397 0 -1 1077944320 12697 0 0 0 106 5 0 0 20 0 15 0 414767653 10917818368 16229 33554432000 4194304 4196468 140732552715056 140732552697600 139787394875127 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
/proc/566/statm: 2665483 16229 3074 1 0 2627980 0
[pid=566/tid=570] ppid=563 vsize=10661932 memory=9580 CPUtime=0.68 cores=1,3,5,7
/proc/566/task/570/stat : 570 (java) R 563 566 30397 0 -1 4202560 8330 0 0 0 64 4 0 0 20 0 15 0 414767653 10917818368 16229 33554432000 4194304 4196468 140732552715056 139787399091920 139787380040766 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=572] ppid=563 vsize=10661932 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/566/task/572/stat : 572 (java) S 563 566 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414767654 10917818368 16229 33554432000 4194304 4196468 140732552715056 139787362433424 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=573] ppid=563 vsize=10661932 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/566/task/573/stat : 573 (java) S 563 566 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414767654 10917818368 16229 33554432000 4194304 4196468 140732552715056 139787000801552 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=574] ppid=563 vsize=10661932 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/566/task/574/stat : 574 (java) S 563 566 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414767654 10917818368 16229 33554432000 4194304 4196468 140732552715056 139786999749264 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=575] ppid=563 vsize=10661932 memory=7523937540779693160 CPUtime=0 cores=1,3,5,7
/proc/566/task/575/stat : 575 (java) S 563 566 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414767654 10917818368 16229 33554432000 4194304 4196468 140732552715056 139786998696464 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=583] ppid=563 vsize=10661932 memory=7223887401239728208 CPUtime=0 cores=1,3,5,7
/proc/566/task/583/stat : 583 (java) S 563 566 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414767655 10917818368 16229 33554432000 4194304 4196468 140732552715056 139786886027888 139787394886274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=585] ppid=563 vsize=10661932 memory=-7028383565733675155 CPUtime=0 cores=1,3,5,7
/proc/566/task/585/stat : 585 (java) S 563 566 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414767656 10917818368 16229 33554432000 4194304 4196468 140732552715056 139786884973856 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=586] ppid=563 vsize=10661932 memory=-7028383565733676694 CPUtime=0 cores=1,3,5,7
/proc/566/task/586/stat : 586 (java) S 563 566 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414767656 10917818368 16229 33554432000 4194304 4196468 140732552715056 139786883921520 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=588] ppid=563 vsize=10661932 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/566/task/588/stat : 588 (java) S 563 566 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414767658 10917818368 16229 33554432000 4194304 4196468 140732552715056 139786882869840 139787394893723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=589] ppid=563 vsize=10661932 memory=6944613755495348631 CPUtime=0.12 cores=1,3,5,7
/proc/566/task/589/stat : 589 (java) S 563 566 30397 0 -1 1077944384 1041 0 0 0 12 0 0 0 20 0 15 0 414767658 10917818368 16229 33554432000 4194304 4196468 140732552715056 139786881816688 139787394886274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=590] ppid=563 vsize=10661932 memory=1399103955520229747 CPUtime=0.1 cores=1,3,5,7
/proc/566/task/590/stat : 590 (java) R 563 566 30397 0 -1 4202560 538 0 0 0 10 0 0 0 20 0 15 0 414767658 10917818368 16229 33554432000 4194304 4196468 140732552715056 139786880763888 139787374728665 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=591] ppid=563 vsize=10661932 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/566/task/591/stat : 591 (java) S 563 566 30397 0 -1 1077944384 1430 0 0 0 18 0 0 0 20 0 15 0 414767658 10917818368 16229 33554432000 4194304 4196468 140732552715056 139786879711600 139787394886274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=592] ppid=563 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/566/task/592/stat : 592 (java) S 563 566 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414767658 10917818368 16229 33554432000 4194304 4196468 140732552715056 139786878659040 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=593] ppid=563 vsize=10661932 memory=97 CPUtime=0 cores=1,3,5,7
/proc/566/task/593/stat : 593 (java) S 563 566 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414767659 10917818368 16229 33554432000 4194304 4196468 140732552715056 139786877606832 139787394886274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64916 KiB
[startup+1.50084 s]
/proc/loadavg: 2.00 1.98 1.90 3/229 593
/proc/meminfo: memFree=31251004/32770624 swapFree=66981452/67108860
[pid=566] ppid=563 vsize=10663980 memory=76892 CPUtime=2.01 cores=1,3,5,7
/proc/566/stat : 566 (java) S 563 566 30397 0 -1 1077944320 18256 0 0 0 195 6 0 0 20 0 15 0 414767653 10919915520 19223 33554432000 4194304 4196468 140732552715056 140732552697600 139787394875127 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
/proc/566/statm: 2665995 19223 3097 1 0 2628492 0
[pid=566/tid=570] ppid=563 vsize=10663980 memory=297556487 CPUtime=1.48 cores=1,3,5,7
/proc/566/task/570/stat : 570 (java) R 563 566 30397 0 -1 4202560 12488 0 0 0 143 5 0 0 20 0 15 0 414767653 10919915520 19223 33554432000 4194304 4196468 140732552715056 139787399101008 139787378955614 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=572] ppid=563 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/566/task/572/stat : 572 (java) S 563 566 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414767654 10919915520 19223 33554432000 4194304 4196468 140732552715056 139787362433424 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=573] ppid=563 vsize=10663980 memory=3905518319775806089 CPUtime=0 cores=1,3,5,7
/proc/566/task/573/stat : 573 (java) S 563 566 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414767654 10919915520 19223 33554432000 4194304 4196468 140732552715056 139787000801552 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=574] ppid=563 vsize=10663980 memory=7019813662661830254 CPUtime=0 cores=1,3,5,7
/proc/566/task/574/stat : 574 (java) S 563 566 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414767654 10919915520 19223 33554432000 4194304 4196468 140732552715056 139786999749264 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=575] ppid=563 vsize=10663980 memory=6369607583083817303 CPUtime=0 cores=1,3,5,7
/proc/566/task/575/stat : 575 (java) S 563 566 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414767654 10919915520 19223 33554432000 4194304 4196468 140732552715056 139786998696464 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=583] ppid=563 vsize=10663980 memory=8244236425720719468 CPUtime=0 cores=1,3,5,7
/proc/566/task/583/stat : 583 (java) S 563 566 30397 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 414767655 10919915520 19223 33554432000 4194304 4196468 140732552715056 139786886027888 139787394886274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
################
# More data... #
################
[startup+116.801 s]
/proc/loadavg: 2.03 2.01 1.92 3/230 606
/proc/meminfo: memFree=31005812/32770624 swapFree=66981452/67108860
[pid=566] ppid=563 vsize=10748324 memory=312372 CPUtime=122.06 cores=1,3,5,7
/proc/566/stat : 566 (java) S 563 566 30397 0 -1 1077944320 53463 0 0 0 12178 28 0 0 20 0 16 0 414767653 11006283776 78093 33554432000 4194304 4196468 140732552715056 140732552697600 139787394875127 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
/proc/566/statm: 2687081 78093 3373 1 0 2647217 0
[pid=566/tid=570] ppid=563 vsize=10748324 memory=312372 CPUtime=1.86 cores=1,3,5,7
/proc/566/task/570/stat : 570 (java) S 563 566 30397 0 -1 1077944384 14656 0 0 0 180 6 0 0 20 0 16 0 414767653 11006283776 78093 33554432000 4194304 4196468 140732552715056 139787399118000 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=572] ppid=563 vsize=10748324 memory=312372 CPUtime=0.04 cores=1,3,5,7
/proc/566/task/572/stat : 572 (java) S 563 566 30397 0 -1 1077944384 112 0 0 0 2 2 0 0 20 0 16 0 414767654 11006283776 78093 33554432000 4194304 4196468 140732552715056 139787362433424 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=573] ppid=563 vsize=10748324 memory=6947385649911455296 CPUtime=0.04 cores=1,3,5,7
/proc/566/task/573/stat : 573 (java) S 563 566 30397 0 -1 1077944384 166 0 0 0 2 2 0 0 20 0 16 0 414767654 11006283776 78093 33554432000 4194304 4196468 140732552715056 139787000801552 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=574] ppid=563 vsize=10748324 memory=19636 CPUtime=0.03 cores=1,3,5,7
/proc/566/task/574/stat : 574 (java) S 563 566 30397 0 -1 1077944384 117 0 0 0 1 2 0 0 20 0 16 0 414767654 11006283776 78093 33554432000 4194304 4196468 140732552715056 139786999749264 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=575] ppid=563 vsize=10748324 memory=2004 CPUtime=0.03 cores=1,3,5,7
/proc/566/task/575/stat : 575 (java) S 563 566 30397 0 -1 1077944384 226 0 0 0 1 2 0 0 20 0 16 0 414767654 11006283776 78093 33554432000 4194304 4196468 140732552715056 139786998696464 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=583] ppid=563 vsize=10748324 memory=984 CPUtime=0.01 cores=1,3,5,7
/proc/566/task/583/stat : 583 (java) S 563 566 30397 0 -1 1077944384 1423 0 0 0 1 0 0 0 20 0 16 0 414767655 11006283776 78093 33554432000 4194304 4196468 140732552715056 139786886027888 139787394886274 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=585] ppid=563 vsize=10748324 memory=1328 CPUtime=0 cores=1,3,5,7
/proc/566/task/585/stat : 585 (java) S 563 566 30397 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414767656 11006283776 78093 33554432000 4194304 4196468 140732552715056 139786884973920 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=586] ppid=563 vsize=10748324 memory=6947385649911455296 CPUtime=0 cores=1,3,5,7
/proc/566/task/586/stat : 586 (java) S 563 566 30397 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414767656 11006283776 78093 33554432000 4194304 4196468 140732552715056 139786883921536 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=588] ppid=563 vsize=10748324 memory=140248668174092 CPUtime=0 cores=1,3,5,7
/proc/566/task/588/stat : 588 (java) S 563 566 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414767658 11006283776 78093 33554432000 4194304 4196468 140732552715056 139786882869840 139787394893723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=589] ppid=563 vsize=10748324 memory=3848 CPUtime=2.21 cores=1,3,5,7
/proc/566/task/589/stat : 589 (java) S 563 566 30397 0 -1 1077944384 8412 0 0 0 220 1 0 0 20 0 16 0 414767658 11006283776 78093 33554432000 4194304 4196468 140732552715056 139786881816688 139787394886274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=590] ppid=563 vsize=10748324 memory=2636 CPUtime=2.21 cores=1,3,5,7
/proc/566/task/590/stat : 590 (java) S 563 566 30397 0 -1 1077944384 9458 0 0 0 220 1 0 0 20 0 16 0 414767658 11006283776 78093 33554432000 4194304 4196468 140732552715056 139786880763888 139787394886274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=591] ppid=563 vsize=10748324 memory=2876 CPUtime=0.66 cores=1,3,5,7
/proc/566/task/591/stat : 591 (java) S 563 566 30397 0 -1 1077944384 6480 0 0 0 65 1 0 0 20 0 16 0 414767658 11006283776 78093 33554432000 4194304 4196468 140732552715056 139786879711600 139787394886274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=592] ppid=563 vsize=10748324 memory=312372 CPUtime=0 cores=1,3,5,7
/proc/566/task/592/stat : 592 (java) S 563 566 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414767658 11006283776 78093 33554432000 4194304 4196468 140732552715056 139786878659040 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=593] ppid=563 vsize=10748324 memory=6947385649911455296 CPUtime=0.03 cores=1,3,5,7
/proc/566/task/593/stat : 593 (java) S 563 566 30397 0 -1 1077944384 1293 0 0 0 1 2 0 0 20 0 16 0 414767659 11006283776 78093 33554432000 4194304 4196468 140732552715056 139786877606832 139787394886274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=594] ppid=563 vsize=10748324 memory=984 CPUtime=114.83 cores=1,3,5,7
/proc/566/task/594/stat : 594 (java) R 563 566 30397 0 -1 4202560 9725 0 0 0 11479 4 0 0 20 0 16 0 414767841 11006283776 78093 33554432000 4194304 4196468 140732552715056 139786860942272 139787037792146 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
Current children cumulated CPU time: 122.06 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 312372 KiB
[startup+118.401 s]
/proc/loadavg: 2.02 2.01 1.92 4/230 606
/proc/meminfo: memFree=30940184/32770624 swapFree=66981452/67108860
[pid=566] ppid=563 vsize=10748324 memory=378464 CPUtime=123.78 cores=1,3,5,7
/proc/566/stat : 566 (java) S 563 566 30397 0 -1 1077944320 55460 0 0 0 12342 36 0 0 20 0 16 0 414767653 11006283776 94616 33554432000 4194304 4196468 140732552715056 140732552697600 139787394875127 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
/proc/566/statm: 2687081 94616 3379 1 0 2647217 0
[pid=566/tid=570] ppid=563 vsize=10748324 memory=11044 CPUtime=1.86 cores=1,3,5,7
/proc/566/task/570/stat : 570 (java) S 563 566 30397 0 -1 1077944384 14656 0 0 0 180 6 0 0 20 0 16 0 414767653 11006283776 94616 33554432000 4194304 4196468 140732552715056 139787399118000 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=572] ppid=563 vsize=10748324 memory=312364 CPUtime=0.08 cores=1,3,5,7
/proc/566/task/572/stat : 572 (java) S 563 566 30397 0 -1 1077944384 310 0 0 0 4 4 0 0 20 0 16 0 414767654 11006283776 94616 33554432000 4194304 4196468 140732552715056 139787362433424 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=573] ppid=563 vsize=10748324 memory=312364 CPUtime=0.07 cores=1,3,5,7
/proc/566/task/573/stat : 573 (java) S 563 566 30397 0 -1 1077944384 1554 0 0 0 3 4 0 0 20 0 16 0 414767654 11006283776 94616 33554432000 4194304 4196468 140732552715056 139787000801552 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=574] ppid=563 vsize=10748324 memory=378464 CPUtime=0.07 cores=1,3,5,7
/proc/566/task/574/stat : 574 (java) S 563 566 30397 0 -1 1077944384 194 0 0 0 3 4 0 0 20 0 16 0 414767654 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786999749264 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=575] ppid=563 vsize=10748324 memory=231 CPUtime=0.07 cores=1,3,5,7
/proc/566/task/575/stat : 575 (java) S 563 566 30397 0 -1 1077944384 296 0 0 0 3 4 0 0 20 0 16 0 414767654 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786998696464 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=583] ppid=563 vsize=10748324 memory=296 CPUtime=0.01 cores=1,3,5,7
/proc/566/task/583/stat : 583 (java) S 563 566 30397 0 -1 1077944384 1620 0 0 0 1 0 0 0 20 0 16 0 414767655 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786886027888 139787394886274 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=585] ppid=563 vsize=10748324 memory=6947385649911455296 CPUtime=0 cores=1,3,5,7
/proc/566/task/585/stat : 585 (java) S 563 566 30397 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414767656 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786884973920 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=586] ppid=563 vsize=10748324 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/566/task/586/stat : 586 (java) S 563 566 30397 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 16 0 414767656 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786883921536 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=588] ppid=563 vsize=10748324 memory=920 CPUtime=0 cores=1,3,5,7
/proc/566/task/588/stat : 588 (java) S 563 566 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414767658 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786882869840 139787394893723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=589] ppid=563 vsize=10748324 memory=378464 CPUtime=2.21 cores=1,3,5,7
/proc/566/task/589/stat : 589 (java) S 563 566 30397 0 -1 1077944384 8412 0 0 0 220 1 0 0 20 0 16 0 414767658 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786881816688 139787394886274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=590] ppid=563 vsize=10748324 memory=984 CPUtime=2.21 cores=1,3,5,7
/proc/566/task/590/stat : 590 (java) S 563 566 30397 0 -1 1077944384 9458 0 0 0 220 1 0 0 20 0 16 0 414767658 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786880763888 139787394886274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=591] ppid=563 vsize=10748324 memory=1328 CPUtime=0.66 cores=1,3,5,7
/proc/566/task/591/stat : 591 (java) S 563 566 30397 0 -1 1077944384 6480 0 0 0 65 1 0 0 20 0 16 0 414767658 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786879711600 139787394886274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=592] ppid=563 vsize=10748324 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/566/task/592/stat : 592 (java) S 563 566 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414767658 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786878659040 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=593] ppid=563 vsize=10748324 memory=3040 CPUtime=0.03 cores=1,3,5,7
/proc/566/task/593/stat : 593 (java) S 563 566 30397 0 -1 1077944384 1293 0 0 0 1 2 0 0 20 0 16 0 414767659 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786877606832 139787394886274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=594] ppid=563 vsize=10748324 memory=3620 CPUtime=116.39 cores=1,3,5,7
/proc/566/task/594/stat : 594 (java) R 563 566 30397 0 -1 4202560 9736 0 0 0 11635 4 0 0 20 0 16 0 414767841 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786860945608 139787037529755 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
Current children cumulated CPU time: 123.78 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 378464 KiB
[startup+119.201 s]
/proc/loadavg: 2.02 2.01 1.92 4/230 606
/proc/meminfo: memFree=30940308/32770624 swapFree=66981452/67108860
[pid=566] ppid=563 vsize=10748324 memory=378464 CPUtime=124.58 cores=1,3,5,7
/proc/566/stat : 566 (java) S 563 566 30397 0 -1 1077944320 55460 0 0 0 12422 36 0 0 20 0 16 0 414767653 11006283776 94616 33554432000 4194304 4196468 140732552715056 140732552697600 139787394875127 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
/proc/566/statm: 2687081 94616 3379 1 0 2647217 0
[pid=566/tid=570] ppid=563 vsize=10748324 memory=984 CPUtime=1.86 cores=1,3,5,7
/proc/566/task/570/stat : 570 (java) S 563 566 30397 0 -1 1077944384 14656 0 0 0 180 6 0 0 20 0 16 0 414767653 11006283776 94616 33554432000 4194304 4196468 140732552715056 139787399118000 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=572] ppid=563 vsize=10748324 memory=312364 CPUtime=0.08 cores=1,3,5,7
/proc/566/task/572/stat : 572 (java) S 563 566 30397 0 -1 1077944384 310 0 0 0 4 4 0 0 20 0 16 0 414767654 11006283776 94616 33554432000 4194304 4196468 140732552715056 139787362433424 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=573] ppid=563 vsize=10748324 memory=312364 CPUtime=0.07 cores=1,3,5,7
/proc/566/task/573/stat : 573 (java) S 563 566 30397 0 -1 1077944384 1554 0 0 0 3 4 0 0 20 0 16 0 414767654 11006283776 94616 33554432000 4194304 4196468 140732552715056 139787000801552 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=574] ppid=563 vsize=10748324 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/566/task/574/stat : 574 (java) S 563 566 30397 0 -1 1077944384 194 0 0 0 3 4 0 0 20 0 16 0 414767654 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786999749264 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=575] ppid=563 vsize=10748324 memory=6947385649911455296 CPUtime=0.07 cores=1,3,5,7
/proc/566/task/575/stat : 575 (java) S 563 566 30397 0 -1 1077944384 296 0 0 0 3 4 0 0 20 0 16 0 414767654 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786998696464 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=583] ppid=563 vsize=10748324 memory=1408 CPUtime=0.01 cores=1,3,5,7
/proc/566/task/583/stat : 583 (java) S 563 566 30397 0 -1 1077944384 1620 0 0 0 1 0 0 0 20 0 16 0 414767655 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786886027888 139787394886274 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=585] ppid=563 vsize=10748324 memory=3040 CPUtime=0 cores=1,3,5,7
/proc/566/task/585/stat : 585 (java) S 563 566 30397 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414767656 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786884973920 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=586] ppid=563 vsize=10748324 memory=378464 CPUtime=0 cores=1,3,5,7
/proc/566/task/586/stat : 586 (java) S 563 566 30397 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 16 0 414767656 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786883921536 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=588] ppid=563 vsize=10748324 memory=780 CPUtime=0 cores=1,3,5,7
/proc/566/task/588/stat : 588 (java) S 563 566 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414767658 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786882869840 139787394893723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=589] ppid=563 vsize=10748324 memory=4160 CPUtime=2.21 cores=1,3,5,7
/proc/566/task/589/stat : 589 (java) S 563 566 30397 0 -1 1077944384 8412 0 0 0 220 1 0 0 20 0 16 0 414767658 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786881816688 139787394886274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=590] ppid=563 vsize=10748324 memory=1692 CPUtime=2.21 cores=1,3,5,7
/proc/566/task/590/stat : 590 (java) S 563 566 30397 0 -1 1077944384 9458 0 0 0 220 1 0 0 20 0 16 0 414767658 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786880763888 139787394886274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=591] ppid=563 vsize=10748324 memory=1692 CPUtime=0.66 cores=1,3,5,7
/proc/566/task/591/stat : 591 (java) S 563 566 30397 0 -1 1077944384 6480 0 0 0 65 1 0 0 20 0 16 0 414767658 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786879711600 139787394886274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=592] ppid=563 vsize=10748324 memory=1028 CPUtime=0 cores=1,3,5,7
/proc/566/task/592/stat : 592 (java) S 563 566 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414767658 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786878659040 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=593] ppid=563 vsize=10748324 memory=1060 CPUtime=0.03 cores=1,3,5,7
/proc/566/task/593/stat : 593 (java) S 563 566 30397 0 -1 1077944384 1293 0 0 0 1 2 0 0 20 0 16 0 414767659 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786877606832 139787394886274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=594] ppid=563 vsize=10748324 memory=2828 CPUtime=117.19 cores=1,3,5,7
/proc/566/task/594/stat : 594 (java) R 563 566 30397 0 -1 4202560 9736 0 0 0 11715 4 0 0 20 0 16 0 414767841 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786860945608 139787037793193 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
Current children cumulated CPU time: 124.58 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 378464 KiB
[startup+119.601 s]
/proc/loadavg: 2.02 2.01 1.92 4/230 606
/proc/meminfo: memFree=30940308/32770624 swapFree=66981452/67108860
[pid=566] ppid=563 vsize=10748324 memory=378464 CPUtime=124.98 cores=1,3,5,7
/proc/566/stat : 566 (java) S 563 566 30397 0 -1 1077944320 55460 0 0 0 12462 36 0 0 20 0 16 0 414767653 11006283776 94616 33554432000 4194304 4196468 140732552715056 140732552697600 139787394875127 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
/proc/566/statm: 2687081 94616 3379 1 0 2647217 0
[pid=566/tid=570] ppid=563 vsize=10748324 memory=6947385649911455296 CPUtime=1.86 cores=1,3,5,7
/proc/566/task/570/stat : 570 (java) S 563 566 30397 0 -1 1077944384 14656 0 0 0 180 6 0 0 20 0 16 0 414767653 11006283776 94616 33554432000 4194304 4196468 140732552715056 139787399118000 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=572] ppid=563 vsize=10748324 memory=19636 CPUtime=0.08 cores=1,3,5,7
/proc/566/task/572/stat : 572 (java) S 563 566 30397 0 -1 1077944384 310 0 0 0 4 4 0 0 20 0 16 0 414767654 11006283776 94616 33554432000 4194304 4196468 140732552715056 139787362433424 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=573] ppid=563 vsize=10748324 memory=2004 CPUtime=0.07 cores=1,3,5,7
/proc/566/task/573/stat : 573 (java) S 563 566 30397 0 -1 1077944384 1554 0 0 0 3 4 0 0 20 0 16 0 414767654 11006283776 94616 33554432000 4194304 4196468 140732552715056 139787000801552 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=574] ppid=563 vsize=10748324 memory=984 CPUtime=0.07 cores=1,3,5,7
/proc/566/task/574/stat : 574 (java) S 563 566 30397 0 -1 1077944384 194 0 0 0 3 4 0 0 20 0 16 0 414767654 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786999749264 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=575] ppid=563 vsize=10748324 memory=1328 CPUtime=0.07 cores=1,3,5,7
/proc/566/task/575/stat : 575 (java) S 563 566 30397 0 -1 1077944384 296 0 0 0 3 4 0 0 20 0 16 0 414767654 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786998696464 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=583] ppid=563 vsize=10748324 memory=1408 CPUtime=0.01 cores=1,3,5,7
/proc/566/task/583/stat : 583 (java) S 563 566 30397 0 -1 1077944384 1620 0 0 0 1 0 0 0 20 0 16 0 414767655 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786886027888 139787394886274 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=585] ppid=563 vsize=10748324 memory=3040 CPUtime=0 cores=1,3,5,7
/proc/566/task/585/stat : 585 (java) S 563 566 30397 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414767656 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786884973920 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=586] ppid=563 vsize=10748324 memory=378464 CPUtime=0 cores=1,3,5,7
/proc/566/task/586/stat : 586 (java) S 563 566 30397 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 16 0 414767656 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786883921536 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=588] ppid=563 vsize=10748324 memory=780 CPUtime=0 cores=1,3,5,7
/proc/566/task/588/stat : 588 (java) S 563 566 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414767658 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786882869840 139787394893723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=589] ppid=563 vsize=10748324 memory=4160 CPUtime=2.21 cores=1,3,5,7
/proc/566/task/589/stat : 589 (java) S 563 566 30397 0 -1 1077944384 8412 0 0 0 220 1 0 0 20 0 16 0 414767658 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786881816688 139787394886274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=590] ppid=563 vsize=10748324 memory=1692 CPUtime=2.21 cores=1,3,5,7
/proc/566/task/590/stat : 590 (java) S 563 566 30397 0 -1 1077944384 9458 0 0 0 220 1 0 0 20 0 16 0 414767658 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786880763888 139787394886274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=591] ppid=563 vsize=10748324 memory=1028 CPUtime=0.66 cores=1,3,5,7
/proc/566/task/591/stat : 591 (java) S 563 566 30397 0 -1 1077944384 6480 0 0 0 65 1 0 0 20 0 16 0 414767658 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786879711600 139787394886274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=592] ppid=563 vsize=10748324 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/566/task/592/stat : 592 (java) S 563 566 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414767658 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786878659040 139787394885333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=593] ppid=563 vsize=10748324 memory=2828 CPUtime=0.03 cores=1,3,5,7
/proc/566/task/593/stat : 593 (java) S 563 566 30397 0 -1 1077944384 1293 0 0 0 1 2 0 0 20 0 16 0 414767659 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786877606832 139787394886274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
[pid=566/tid=594] ppid=563 vsize=10748324 memory=756 CPUtime=117.59 cores=1,3,5,7
/proc/566/task/594/stat : 594 (java) R 563 566 30397 0 -1 4202560 9736 0 0 0 11755 4 0 0 20 0 16 0 414767841 11006283776 94616 33554432000 4194304 4196468 140732552715056 139786860945608 139787037802021 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36937728 140732552717323 140732552717426 140732552717426 140732552720335 0
Current children cumulated CPU time: 124.98 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 378464 KiB
Child status: 0
Real time (s): 119.675
CPU time (s): 125.075
CPU user time (s): 124.704
CPU system time (s): 0.371252
CPU usage (%): 104.513
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 378464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 124.704
system time used= 0.371252
maximum resident set size= 378548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57421
page faults= 0
swaps= 0
block input operations= 0
block output operations= 208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5468
involuntary context switches= 75
# summary of solver processes directly reported to runsolver:
# pid: 566
# total CPU time (s): 125.075
# total CPU user time (s): 124.704
# total CPU system time (s): 0.371252
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.769903 second user time and 1.03649 second system time
The end