2.40/1.87
2.40/1.87 AbsCon 2
2.40/1.89
7.43/5.50 Instance
7.43/5.50 name=instance-4390640-1568381098, framework=CSP
7.43/5.50
7.43/5.50 Loading variables...
7.43/5.59 Loading constraints...
10.34/7.05
10.34/7.05 Domains
10.34/7.05 nTypes=1, nValues=125, sizes=[5#25]
10.34/7.05 Variables
10.34/7.05 count=25, degrees=[8#1,9#2,12#2,13#2...18#1,19#3,22#1,25#2]
10.34/7.05 Constraints
10.34/7.05 count=56, nSpecific=56, arities=[7#56]
10.34/7.05 distribution=[CtrExtensionCT-Table#56]
10.34/7.05 tables=[35101#1,35514#1,35677#1,35735#1...45171#1,45393#1,45444#1,45594#1], nTotalTuples=2229092
10.34/7.05 nExtStructures=(56,shared:0)
10.34/7.05 wck=5.206, cpu=5.902, mem=836M458
10.34/7.08 Solver SolverBacktrack being built...
10.34/7.08
10.34/7.10
10.34/7.10 Solver
10.34/7.10 guaranteedGAC=true
10.34/7.10 wck=5.258, cpu=5.953, mem=862M342
10.54/7.11
10.54/7.11 Preprocessing
10.54/7.11 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
10.54/7.11 wck=0.005, cpu=5.959, mem=862M342
10.54/7.11
10.54/7.14 num=0, depth=10..13, filters=210, wck=0.032, mem=862M342
10.54/7.14 decisions=40, wrong=14, backtracks=5, failedAssignments=10, nogoods=4
10.54/7.14 nFilterCalls=1285, avgTableProportion=0.9999747309969319, avgTableSize=39745.69027237354
10.54/7.14
10.54/7.15 num=1, depth=9..12, filters=508, wck=0.043, mem=862M342
10.54/7.15 decisions=85, wrong=32, backtracks=12, failedAssignments=21, nogoods=8
10.54/7.15 nFilterCalls=2984, avgTableProportion=0.9999747466159982, avgTableSize=39771.864946380694
10.54/7.15
10.54/7.16 num=2, depth=7..11, filters=749, wck=0.057, mem=862M342
10.54/7.16 decisions=130, wrong=50, backtracks=21, failedAssignments=33, nogoods=11
10.54/7.16 nFilterCalls=4670, avgTableProportion=0.9999747600669949, avgTableSize=39787.84668094218
10.54/7.16
10.54/7.17 num=3, depth=9..13, filters=1069, wck=0.067, mem=862M342
10.54/7.17 decisions=182, wrong=71, backtracks=32, failedAssignments=46, nogoods=15
10.54/7.17 nFilterCalls=6563, avgTableProportion=0.9999747852849945, avgTableSize=39832.58814566509
10.54/7.17
10.54/7.19 num=4, depth=6..13, filters=1241, wck=0.091, mem=862M342
10.54/7.19 decisions=223, wrong=87, backtracks=36, failedAssignments=60, nogoods=21
10.54/7.19 nFilterCalls=7808, avgTableProportion=0.9999748061753386, avgTableSize=39865.30635245902
10.54/7.19
10.82/7.20 num=5, depth=6..11, filters=1544, wck=0.102, mem=862M342
10.82/7.20 decisions=271, wrong=108, backtracks=45, failedAssignments=76, nogoods=22
10.82/7.20 nFilterCalls=9840, avgTableProportion=0.9999748037169812, avgTableSize=39858.48160569106
10.82/7.20
10.82/7.22 num=6, depth=8..11, filters=1930, wck=0.113, mem=862M342
10.82/7.22 decisions=328, wrong=132, backtracks=54, failedAssignments=93, nogoods=27
10.82/7.22 nFilterCalls=12060, avgTableProportion=0.9999747919395902, avgTableSize=39839.37893864013
10.82/7.22
10.82/7.23 num=7, depth=8..12, filters=2302, wck=0.127, mem=862M342
10.82/7.23 decisions=389, wrong=158, backtracks=66, failedAssignments=112, nogoods=31
10.82/7.23 nFilterCalls=14687, avgTableProportion=0.9999748033631161, avgTableSize=39856.67141009056
10.82/7.23
10.82/7.24 num=8, depth=7..11, filters=2841, wck=0.142, mem=862M342
10.82/7.24 decisions=472, wrong=196, backtracks=83, failedAssignments=133, nogoods=41
10.82/7.24 nFilterCalls=17790, avgTableProportion=0.9999748142907097, avgTableSize=39875.11523327712
10.82/7.24
10.82/7.26 num=9, depth=7..12, filters=3224, wck=0.154, mem=862M342
10.82/7.26 decisions=538, wrong=224, backtracks=90, failedAssignments=156, nogoods=50
10.82/7.26 nFilterCalls=20013, avgTableProportion=0.9999748078068886, avgTableSize=39863.22040673562
10.82/7.26
10.82/7.27 num=10, depth=7..11, filters=3826, wck=0.168, mem=862M342
10.82/7.27 decisions=619, wrong=260, backtracks=105, failedAssignments=181, nogoods=53
10.82/7.27 nFilterCalls=23411, avgTableProportion=0.99997480561117, avgTableSize=39860.37858271752
10.82/7.27
10.82/7.29 num=11, depth=6..9, filters=4488, wck=0.184, mem=862M342
10.82/7.29 decisions=709, wrong=302, backtracks=126, failedAssignments=209, nogoods=61
10.82/7.29 nFilterCalls=27011, avgTableProportion=0.9999747863223959, avgTableSize=39829.24893561882
10.82/7.29
11.12/7.30 num=12, depth=6..12, filters=5270, wck=0.202, mem=862M342
11.12/7.30 decisions=815, wrong=351, backtracks=155, failedAssignments=240, nogoods=66
11.12/7.30 nFilterCalls=31411, avgTableProportion=0.9999747871477318, avgTableSize=39831.26923689154
11.12/7.30
11.12/7.32 num=13, depth=7..12, filters=6153, wck=0.22, mem=862M342
11.12/7.32 decisions=935, wrong=407, backtracks=181, failedAssignments=274, nogoods=74
11.12/7.32 nFilterCalls=36449, avgTableProportion=0.9999747892517126, avgTableSize=39833.99939641691
11.12/7.32
11.12/7.34 num=14, depth=7..12, filters=7133, wck=0.242, mem=862M342
11.12/7.34 decisions=1059, wrong=465, backtracks=205, failedAssignments=311, nogoods=80
11.12/7.34 nFilterCalls=42175, avgTableProportion=0.9999747834093188, avgTableSize=39824.03155898044
11.12/7.34
11.12/7.36 num=15, depth=6..12, filters=8047, wck=0.254, mem=862M342
11.12/7.36 decisions=1188, wrong=526, backtracks=232, failedAssignments=352, nogoods=83
11.12/7.36 nFilterCalls=47481, avgTableProportion=0.9999747918202075, avgTableSize=39838.45386575683
11.12/7.36
11.12/7.37 num=16, depth=6..11, filters=9136, wck=0.27, mem=862M342
11.12/7.37 decisions=1340, wrong=598, backtracks=268, failedAssignments=397, nogoods=89
11.12/7.37 nFilterCalls=53970, avgTableProportion=0.9999747904976901, avgTableSize=39835.70994997221
11.12/7.37
11.12/7.39 num=17, depth=6..12, filters=10350, wck=0.287, mem=862M342
11.12/7.39 decisions=1496, wrong=672, backtracks=299, failedAssignments=447, nogoods=94
11.12/7.39 nFilterCalls=60647, avgTableProportion=0.9999747871712953, avgTableSize=39830.46523323495
11.12/7.39
11.30/7.41 num=18, depth=6..12, filters=11617, wck=0.307, mem=862M342
11.30/7.41 decisions=1666, wrong=753, backtracks=335, failedAssignments=502, nogoods=104
11.30/7.41 nFilterCalls=68113, avgTableProportion=0.9999747842865843, avgTableSize=39825.550555694215
11.30/7.41
11.30/7.43 num=19, depth=7..13, filters=13247, wck=0.326, mem=862M342
11.30/7.43 decisions=1876, wrong=854, backtracks=384, failedAssignments=563, nogoods=115
11.30/7.43 nFilterCalls=76771, avgTableProportion=0.9999747742882877, avgTableSize=39811.0190957523
11.30/7.43
11.30/7.45 num=20, depth=7..13, filters=14891, wck=0.346, mem=862M342
11.30/7.45 decisions=2079, wrong=952, backtracks=426, failedAssignments=630, nogoods=120
11.30/7.45 nFilterCalls=85901, avgTableProportion=0.9999747821516723, avgTableSize=39824.065668618525
11.30/7.45
11.30/7.47 num=21, depth=7..13, filters=16787, wck=0.369, mem=862M342
11.30/7.47 decisions=2333, wrong=1075, backtracks=485, failedAssignments=704, nogoods=128
11.30/7.47 nFilterCalls=97265, avgTableProportion=0.9999747648006188, avgTableSize=39796.35244949365
11.30/7.47
11.30/7.49 num=22, depth=7..12, filters=18735, wck=0.39, mem=862M342
11.30/7.49 decisions=2625, wrong=1217, backtracks=556, failedAssignments=785, nogoods=136
11.30/7.49 nFilterCalls=108463, avgTableProportion=0.9999747782549702, avgTableSize=39818.10653402543
11.30/7.49
11.47/7.52 num=23, depth=6..12, filters=20842, wck=0.418, mem=862M342
11.47/7.52 decisions=2918, wrong=1359, backtracks=626, failedAssignments=874, nogoods=148
11.47/7.52 nFilterCalls=120568, avgTableProportion=0.9999747645877805, avgTableSize=39796.47197432155
11.47/7.52
11.47/7.55 num=24, depth=6..13, filters=23213, wck=0.449, mem=862M342
11.47/7.55 decisions=3237, wrong=1515, backtracks=706, failedAssignments=972, nogoods=152
11.47/7.55 nFilterCalls=135435, avgTableProportion=0.9999747729245031, avgTableSize=39809.11002325839
11.47/7.55
11.47/7.58 num=25, depth=6..12, filters=25926, wck=0.478, mem=862M342
11.47/7.58 decisions=3588, wrong=1686, backtracks=794, failedAssignments=1080, nogoods=165
11.47/7.58 nFilterCalls=150669, avgTableProportion=0.9999747770560479, avgTableSize=39816.13734079339
11.47/7.58
11.62/7.62 num=26, depth=7..12, filters=28831, wck=0.514, mem=862M342
11.62/7.62 decisions=3966, wrong=1871, backtracks=887, failedAssignments=1199, nogoods=170
11.62/7.62 nFilterCalls=167060, avgTableProportion=0.9999747756630375, avgTableSize=39814.00616544954
11.62/7.62
11.62/7.66 num=27, depth=5..12, filters=32081, wck=0.557, mem=862M342
11.62/7.66 decisions=4411, wrong=2090, backtracks=1003, failedAssignments=1330, nogoods=173
11.62/7.66 nFilterCalls=186471, avgTableProportion=0.9999747858133275, avgTableSize=39829.73675799454
11.62/7.66
11.76/7.70 num=28, depth=6..12, filters=35185, wck=0.599, mem=862M342
11.76/7.70 decisions=4831, wrong=2296, backtracks=1090, failedAssignments=1474, nogoods=181
11.76/7.70 nFilterCalls=203846, avgTableProportion=0.9999747726604549, avgTableSize=39808.959906007476
11.76/7.70
11.76/7.74 num=29, depth=6..13, filters=39258, wck=0.642, mem=862M342
11.76/7.74 decisions=5358, wrong=2555, backtracks=1221, failedAssignments=1632, nogoods=188
11.76/7.74 nFilterCalls=225375, avgTableProportion=0.9999747796794477, avgTableSize=39820.49372823073
11.76/7.74
11.90/7.80 num=30, depth=5..14, filters=43372, wck=0.697, mem=862M342
11.90/7.80 decisions=5912, wrong=2829, backtracks=1370, failedAssignments=1806, nogoods=195
11.90/7.80 nFilterCalls=250274, avgTableProportion=0.9999747739266405, avgTableSize=39811.422113363755
11.90/7.80
11.90/7.86 num=31, depth=5..12, filters=48221, wck=0.754, mem=862M342
11.90/7.86 decisions=6536, wrong=3137, backtracks=1533, failedAssignments=1997, nogoods=204
11.90/7.86 nFilterCalls=277531, avgTableProportion=0.9999747735691971, avgTableSize=39810.83237908558
11.90/7.86
12.01/7.92 num=32, depth=5..14, filters=53368, wck=0.813, mem=862M342
12.01/7.92 decisions=7220, wrong=3475, backtracks=1712, failedAssignments=2208, nogoods=218
12.01/7.92 nFilterCalls=307746, avgTableProportion=0.9999747669242969, avgTableSize=39799.89375004062
12.01/7.92
12.01/7.97 num=33, depth=6..12, filters=58762, wck=0.871, mem=862M342
12.01/7.97 decisions=7939, wrong=3830, backtracks=1892, failedAssignments=2440, nogoods=230
12.01/7.97 nFilterCalls=337130, avgTableProportion=0.9999747736195318, avgTableSize=39810.684347284434
12.01/7.97
12.13/8.05 num=34, depth=6..13, filters=64552, wck=0.943, mem=862M342
12.13/8.05 decisions=8705, wrong=4209, backtracks=2085, failedAssignments=2695, nogoods=241
12.13/8.05 nFilterCalls=370506, avgTableProportion=0.999974777175232, avgTableSize=39815.80705035816
12.13/8.05
12.29/8.12 num=35, depth=5..15, filters=72214, wck=1.018, mem=862M342
12.29/8.12 decisions=9675, wrong=4689, backtracks=2356, failedAssignments=2976, nogoods=256
12.29/8.12 nFilterCalls=412286, avgTableProportion=0.999974775369872, avgTableSize=39814.12251446811
12.29/8.12
12.39/8.20 num=36, depth=4..12, filters=79267, wck=1.099, mem=862M342
12.39/8.20 decisions=10630, wrong=5163, backtracks=2592, failedAssignments=3285, nogoods=262
12.39/8.20 nFilterCalls=452200, avgTableProportion=0.9999747678085281, avgTableSize=39802.207532065455
12.39/8.20
12.51/8.31 num=37, depth=5..12, filters=88734, wck=1.201, mem=888M225
12.51/8.31 decisions=11800, wrong=5743, backtracks=2917, failedAssignments=3625, nogoods=270
12.51/8.31 nFilterCalls=505263, avgTableProportion=0.9999747703932129, avgTableSize=39806.16904265699
12.51/8.31
12.61/8.40 num=38, depth=5..12, filters=97999, wck=1.294, mem=888M225
12.61/8.40 decisions=13013, wrong=6346, backtracks=3228, failedAssignments=3999, nogoods=287
12.61/8.40 nFilterCalls=555658, avgTableProportion=0.999974769875369, avgTableSize=39805.39967749947
12.61/8.40
12.71/8.50 num=39, depth=5..13, filters=107647, wck=1.4, mem=888M225
12.71/8.50 decisions=14313, wrong=6992, backtracks=3558, failedAssignments=4410, nogoods=300
12.71/8.50 nFilterCalls=611666, avgTableProportion=0.9999747662615828, avgTableSize=39798.8086145053
12.71/8.50
12.81/8.60 num=40, depth=5..13, filters=118331, wck=1.501, mem=888M225
12.81/8.60 decisions=15744, wrong=7704, backtracks=3950, failedAssignments=4862, nogoods=305
12.81/8.60 nFilterCalls=671287, avgTableProportion=0.9999747766303395, avgTableSize=39815.97623073291
12.81/8.60
12.91/8.74 num=41, depth=4..13, filters=130166, wck=1.635, mem=888M225
12.91/8.74 decisions=17308, wrong=8483, backtracks=4374, failedAssignments=5359, nogoods=321
12.91/8.74 nFilterCalls=738878, avgTableProportion=0.9999747717025117, avgTableSize=39808.42916421926
12.91/8.74
13.01/8.89 num=42, depth=5..14, filters=143932, wck=1.783, mem=888M225
13.01/8.89 decisions=19094, wrong=9372, backtracks=4859, failedAssignments=5906, nogoods=329
13.01/8.89 nFilterCalls=819522, avgTableProportion=0.9999747761898127, avgTableSize=39815.2934369059
13.01/8.89
13.23/9.03 num=43, depth=5..13, filters=158362, wck=1.929, mem=888M225
13.23/9.03 decisions=21041, wrong=10342, backtracks=5396, failedAssignments=6508, nogoods=338
13.23/9.03 nFilterCalls=900449, avgTableProportion=0.9999747733324, avgTableSize=39810.346539337595
13.23/9.03
13.43/9.20 num=44, depth=5..13, filters=175739, wck=2.102, mem=888M225
13.43/9.20 decisions=23197, wrong=11416, backtracks=5964, failedAssignments=7170, nogoods=347
13.43/9.20 nFilterCalls=995592, avgTableProportion=0.9999747695470499, avgTableSize=39804.178056874705
13.43/9.20
13.53/9.39 num=45, depth=4..13, filters=194406, wck=2.289, mem=888M225
13.53/9.39 decisions=25675, wrong=12651, backtracks=6658, failedAssignments=7898, nogoods=361
13.53/9.39 nFilterCalls=1103948, avgTableProportion=0.9999747734840574, avgTableSize=39810.99958331371
13.53/9.39
13.73/9.56 num=46, depth=6..14, filters=213564, wck=2.462, mem=888M225
13.73/9.56 decisions=28259, wrong=13938, backtracks=7324, failedAssignments=8699, nogoods=373
13.73/9.56 nFilterCalls=1207241, avgTableProportion=0.9999747631225666, avgTableSize=39792.71216020662
13.73/9.56
13.93/9.75 num=47, depth=5..14, filters=235314, wck=2.649, mem=888M225
13.93/9.75 decisions=31164, wrong=15387, backtracks=8095, failedAssignments=9580, nogoods=388
13.93/9.75 nFilterCalls=1329670, avgTableProportion=0.99997476910835, avgTableSize=39803.68350192153
13.93/9.75
14.13/10.00 num=48, depth=4..15, filters=257222, wck=2.895, mem=888M225
14.13/10.00 decisions=34157, wrong=16879, backtracks=8839, failedAssignments=10550, nogoods=394
14.13/10.00 nFilterCalls=1451287, avgTableProportion=0.9999747630230306, avgTableSize=39792.91690272152
14.13/10.00
14.43/10.25 num=49, depth=5..13, filters=283451, wck=3.149, mem=888M225
14.43/10.25 decisions=37716, wrong=18655, backtracks=9816, failedAssignments=11617, nogoods=407
14.43/10.25 nFilterCalls=1598539, avgTableProportion=0.9999747689777566, avgTableSize=39802.896649377966
14.43/10.25
14.73/10.55 num=50, depth=5..14, filters=313889, wck=3.451, mem=888M225
14.73/10.55 decisions=41689, wrong=20637, backtracks=10905, failedAssignments=12790, nogoods=419
14.73/10.55 nFilterCalls=1765029, avgTableProportion=0.9999747614987456, avgTableSize=39790.83026114585
14.73/10.55
15.03/10.88 num=51, depth=4..13, filters=345380, wck=3.78, mem=888M225
15.03/10.88 decisions=45924, wrong=22751, backtracks=12048, failedAssignments=14081, nogoods=433
15.03/10.88 nFilterCalls=1944400, avgTableProportion=0.9999747717226815, avgTableSize=39807.01365099774
15.03/10.88
15.43/11.22 num=52, depth=4..14, filters=381947, wck=4.121, mem=888M225
15.43/11.22 decisions=50655, wrong=25114, backtracks=13398, failedAssignments=15501, nogoods=450
15.43/11.22 nFilterCalls=2141314, avgTableProportion=0.9999747657276766, avgTableSize=39797.49324573603
15.43/11.22
15.83/11.61 num=53, depth=4..13, filters=418081, wck=4.511, mem=888M225
15.83/11.61 decisions=55654, wrong=27609, backtracks=14702, failedAssignments=17063, nogoods=463
15.83/11.61 nFilterCalls=2352439, avgTableProportion=0.9999747764548724, avgTableSize=39814.866989537244
15.83/11.61
16.25/12.04 num=54, depth=4..14, filters=460562, wck=4.934, mem=888M225
16.25/12.04 decisions=61337, wrong=30447, backtracks=16261, failedAssignments=18781, nogoods=475
16.25/12.04 nFilterCalls=2589738, avgTableProportion=0.9999747736221749, avgTableSize=39810.26767572627
16.25/12.04
16.74/12.50 num=55, depth=5..14, filters=506399, wck=5.396, mem=888M225
16.74/12.50 decisions=67497, wrong=33523, backtracks=17957, failedAssignments=20671, nogoods=496
16.74/12.50 nFilterCalls=2843260, avgTableProportion=0.9999747758907922, avgTableSize=39813.26734769244
16.74/12.50
17.14/12.98 num=56, depth=4..14, filters=559345, wck=5.876, mem=888M225
17.14/12.98 decisions=74558, wrong=37050, backtracks=19990, failedAssignments=22750, nogoods=504
17.14/12.98 nFilterCalls=3139179, avgTableProportion=0.9999747744909246, avgTableSize=39811.01837104542
17.14/12.98
17.84/13.62 num=57, depth=4..14, filters=617160, wck=6.517, mem=914M109
17.84/13.62 decisions=82143, wrong=40839, backtracks=22119, failedAssignments=25037, nogoods=520
17.84/13.62 nFilterCalls=3465027, avgTableProportion=0.9999747785759098, avgTableSize=39817.85746402553
17.84/13.62
18.44/14.22 num=58, depth=5..14, filters=682119, wck=7.12, mem=914M109
18.44/14.22 decisions=90711, wrong=45119, backtracks=24486, failedAssignments=27553, nogoods=527
18.44/14.22 nFilterCalls=3819550, avgTableProportion=0.9999747704296731, avgTableSize=39805.34192090691
18.44/14.22
19.14/14.93 num=59, depth=4..14, filters=750773, wck=7.827, mem=914M109
19.14/14.93 decisions=99729, wrong=49624, backtracks=26948, failedAssignments=30321, nogoods=535
19.14/14.93 nFilterCalls=4213920, avgTableProportion=0.999974770296963, avgTableSize=39804.766866717924
19.14/14.93
19.89/15.63 num=60, depth=5..14, filters=828052, wck=8.525, mem=914M109
19.89/15.63 decisions=109709, wrong=54611, backtracks=29673, failedAssignments=33365, nogoods=545
19.89/15.63 nFilterCalls=4632246, avgTableProportion=0.9999747755620265, avgTableSize=39813.3991133027
19.89/15.63
20.69/16.43 num=61, depth=4..14, filters=912810, wck=9.328, mem=914M109
20.69/16.43 decisions=121003, wrong=60254, backtracks=32928, failedAssignments=36714, nogoods=558
20.69/16.43 nFilterCalls=5105583, avgTableProportion=0.9999747733837716, avgTableSize=39809.79623659042
20.69/16.43
21.59/17.39 num=62, depth=3..15, filters=1001663, wck=10.292, mem=914M109
21.59/17.39 decisions=132930, wrong=66215, backtracks=36352, failedAssignments=40398, nogoods=575
21.59/17.39 nFilterCalls=5616600, avgTableProportion=0.9999747731829068, avgTableSize=39809.544880888796
21.59/17.39
22.69/18.40 num=63, depth=4..14, filters=1107402, wck=11.297, mem=939M992
22.69/18.40 decisions=146527, wrong=73010, backtracks=40143, failedAssignments=44450, nogoods=585
22.69/18.40 nFilterCalls=6210736, avgTableProportion=0.99997477074805, avgTableSize=39806.4104986913
22.69/18.40
23.70/19.46 num=64, depth=3..14, filters=1214655, wck=12.36, mem=939M992
23.70/19.46 decisions=160893, wrong=80190, backtracks=44196, failedAssignments=48907, nogoods=597
23.70/19.46 nFilterCalls=6820242, avgTableProportion=0.9999747679511857, avgTableSize=39802.06169473165
23.70/19.46
24.81/20.59 num=65, depth=4..14, filters=1340287, wck=13.488, mem=939M992
24.81/20.59 decisions=177242, wrong=88360, backtracks=48820, failedAssignments=53810, nogoods=615
24.81/20.59 nFilterCalls=7502539, avgTableProportion=0.9999747735952796, avgTableSize=39810.82847326752
24.81/20.59
26.34/22.02 num=66, depth=3..14, filters=1478341, wck=14.913, mem=939M992
26.34/22.02 decisions=195262, wrong=97366, backtracks=53907, failedAssignments=59204, nogoods=622
26.34/22.02 nFilterCalls=8271080, avgTableProportion=0.9999747694315068, avgTableSize=39804.06251106264
26.34/22.02
27.63/23.38 num=67, depth=4..14, filters=1623998, wck=16.278, mem=965M876
27.63/23.38 decisions=214785, wrong=107124, backtracks=59551, failedAssignments=65137, nogoods=639
27.63/23.38 nFilterCalls=9088030, avgTableProportion=0.9999747689764891, avgTableSize=39803.80312983122
27.63/23.38
29.23/24.98 num=68, depth=3..14, filters=1791266, wck=17.877, mem=965M876
29.23/24.98 decisions=236587, wrong=118021, backtracks=65723, failedAssignments=71663, nogoods=655
29.23/24.98 nFilterCalls=10025552, avgTableProportion=0.9999747703094275, avgTableSize=39805.35755467629
29.23/24.98
31.23/26.95 num=69, depth=3..15, filters=1968425, wck=19.85, mem=965M876
31.23/26.95 decisions=260291, wrong=129869, backtracks=72232, failedAssignments=78842, nogoods=671
31.23/26.95 nFilterCalls=11045642, avgTableProportion=0.9999747727278875, avgTableSize=39809.390378576456
31.23/26.95
33.23/28.92 num=70, depth=4..15, filters=2179139, wck=21.815, mem=991M760
33.23/28.92 decisions=287676, wrong=143558, backtracks=80158, failedAssignments=86739, nogoods=687
33.23/28.92 nFilterCalls=12233219, avgTableProportion=0.9999747660440031, avgTableSize=39798.158091831756
33.23/28.92
35.34/31.01 num=71, depth=3..15, filters=2395896, wck=23.908, mem=991M760
35.34/31.01 decisions=316450, wrong=157941, backtracks=88375, failedAssignments=95426, nogoods=696
35.34/31.01 nFilterCalls=13431811, avgTableProportion=0.9999747680880305, avgTableSize=39801.772306355415
35.34/31.01
37.63/33.39 num=72, depth=3..15, filters=2624322, wck=26.289, mem=1017M643
37.63/33.39 decisions=346991, wrong=173208, backtracks=97349, failedAssignments=104981, nogoods=716
37.63/33.39 nFilterCalls=14750766, avgTableProportion=0.9999747708540236, avgTableSize=39805.67726862456
37.63/33.39
40.24/35.93 num=73, depth=3..15, filters=2889280, wck=28.827, mem=1017M643
40.24/35.93 decisions=382297, wrong=190858, backtracks=107659, failedAssignments=115492, nogoods=731
40.24/35.93 nFilterCalls=16241438, avgTableProportion=0.9999747722026304, avgTableSize=39808.45986783929
40.24/35.93
43.14/38.88 num=74, depth=3..15, filters=3194367, wck=31.779, mem=1043M527
43.14/38.88 decisions=421375, wrong=210394, backtracks=118954, failedAssignments=127054, nogoods=752
43.14/38.88 nFilterCalls=17960174, avgTableProportion=0.9999747693015376, avgTableSize=39804.05908489528
43.14/38.88
46.14/41.85 num=75, depth=3..14, filters=3505197, wck=34.752, mem=1069M411
46.14/41.85 decisions=463453, wrong=231428, backtracks=130947, failedAssignments=139772, nogoods=764
46.14/41.85 nFilterCalls=19700507, avgTableProportion=0.9999747722742957, avgTableSize=39808.833268758004
46.14/41.85
49.74/45.43 num=76, depth=3..14, filters=3863137, wck=38.331, mem=1069M411
49.74/45.43 decisions=511484, wrong=255439, backtracks=145006, failedAssignments=153762, nogoods=780
49.74/45.43 nFilterCalls=21706695, avgTableProportion=0.9999747679613518, avgTableSize=39801.61875241717
49.74/45.43
53.15/48.86 num=77, depth=3..15, filters=4264468, wck=41.76, mem=1095M294
53.15/48.86 decisions=562874, wrong=281131, backtracks=159895, failedAssignments=169151, nogoods=805
53.15/48.86 nFilterCalls=23913693, avgTableProportion=0.9999747713581865, avgTableSize=39807.67981599496
53.15/48.86
57.46/53.15 num=78, depth=3..14, filters=4693977, wck=46.047, mem=1121M178
57.46/53.15 decisions=620059, wrong=309720, backtracks=176618, failedAssignments=186079, nogoods=821
57.46/53.15 nFilterCalls=26294283, avgTableProportion=0.9999747668830711, avgTableSize=39800.06255196234
57.46/53.15
62.65/58.32 num=79, depth=3..14, filters=5170098, wck=51.221, mem=1147M61
62.65/58.32 decisions=682280, wrong=340828, backtracks=194461, failedAssignments=204700, nogoods=838
62.65/58.32 nFilterCalls=29048065, avgTableProportion=0.9999747686033688, avgTableSize=39802.898367619324
62.65/58.32
67.36/63.06 num=80, depth=3..15, filters=5703067, wck=55.958, mem=1172M945
67.36/63.06 decisions=753096, wrong=376231, backtracks=215314, failedAssignments=225184, nogoods=857
67.36/63.06 nFilterCalls=32007483, avgTableProportion=0.9999747650688643, avgTableSize=39796.99606432658
67.36/63.06
73.36/69.01 num=81, depth=3..15, filters=6278257, wck=61.912, mem=1198M829
73.36/69.01 decisions=829456, wrong=414407, backtracks=238088, failedAssignments=247716, nogoods=875
73.36/69.01 nFilterCalls=35309548, avgTableProportion=0.9999747657054873, avgTableSize=39797.95231488095
73.36/69.01
79.65/75.33 num=82, depth=2..14, filters=6928281, wck=68.226, mem=1224M712
79.65/75.33 decisions=914222, wrong=456786, backtracks=263567, failedAssignments=272501, nogoods=880
79.65/75.33 nFilterCalls=38981091, avgTableProportion=0.9999747644172715, avgTableSize=39795.68671366843
79.65/75.33
86.47/82.18 num=83, depth=2..14, filters=7639189, wck=75.074, mem=1276M480
86.47/82.18 decisions=1006462, wrong=502902, backtracks=290595, failedAssignments=299765, nogoods=896
86.47/82.18 nFilterCalls=42956084, avgTableProportion=0.9999747663502, avgTableSize=39799.23273790507
86.47/82.18
94.16/89.83 num=84, depth=3..15, filters=8427471, wck=82.729, mem=1328M247
94.16/89.83 decisions=1109304, wrong=554319, backtracks=320999, failedAssignments=329755, nogoods=909
94.16/89.83 nFilterCalls=47334205, avgTableProportion=0.9999747609365526, avgTableSize=39790.15541414501
94.16/89.83
102.37/98.06 num=85, depth=3..14, filters=9280818, wck=90.962, mem=1354M130
102.37/98.06 decisions=1220942, wrong=610134, backtracks=354131, failedAssignments=362744, nogoods=925
102.37/98.06 nFilterCalls=52105573, avgTableProportion=0.9999747671545659, avgTableSize=39800.07523594453
102.37/98.06
111.57/107.29 num=86, depth=2..15, filters=10187559, wck=100.189, mem=1405M898
111.57/107.29 decisions=1343901, wrong=671610, backtracks=390382, failedAssignments=399032, nogoods=941
111.57/107.29 nFilterCalls=57273546, avgTableProportion=0.9999747673906375, avgTableSize=39800.797294339
111.57/107.29
121.27/116.99 num=87, depth=3..14, filters=11179599, wck=109.885, mem=1457M665
121.27/116.99 decisions=1479967, wrong=739639, backtracks=430184, failedAssignments=438949, nogoods=961
121.27/116.99 nFilterCalls=62928844, avgTableProportion=0.9999747672965993, avgTableSize=39800.28221393992
121.27/116.99
131.67/127.34 num=88, depth=3..16, filters=12365954, wck=120.24, mem=1509M432
131.67/127.34 decisions=1631633, wrong=815469, backtracks=475626, failedAssignments=482858, nogoods=983
131.67/127.34 nFilterCalls=69469794, avgTableProportion=0.9999747628911217, avgTableSize=39793.72581625908
131.67/127.34
143.08/138.73 num=89, depth=3..15, filters=13600843, wck=131.63, mem=1587M83
143.08/138.73 decisions=1793694, wrong=896496, backtracks=523713, failedAssignments=531158, nogoods=1006
143.08/138.73 nFilterCalls=76391966, avgTableProportion=0.9999747661381263, avgTableSize=39798.55504086647
143.08/138.73
156.51/151.72 num=90, depth=2..15, filters=14962819, wck=144.617, mem=518M390
156.51/151.72 decisions=1976430, wrong=987859, backtracks=577768, failedAssignments=584288, nogoods=1022
156.51/151.72 nFilterCalls=83990576, avgTableProportion=0.9999747649630596, avgTableSize=39797.199067988295
156.51/151.72
172.72/167.90 num=91, depth=2..14, filters=16450237, wck=160.8, mem=596M86
172.72/167.90 decisions=2175388, wrong=1087334, backtracks=635918, failedAssignments=642731, nogoods=1041
172.72/167.90 nFilterCalls=92793296, avgTableProportion=0.9999747655085537, avgTableSize=39798.06440830596
172.72/167.90
187.53/182.71 num=92, depth=2..16, filters=18134923, wck=175.604, mem=673M782
187.53/182.71 decisions=2395036, wrong=1197154, backtracks=702921, failedAssignments=707018, nogoods=1054
187.53/182.71 nFilterCalls=102105284, avgTableProportion=0.9999747682193774, avgTableSize=39803.15520480801
187.53/182.71
205.03/200.26 num=93, depth=2..15, filters=19992156, wck=193.161, mem=777M376
205.03/200.26 decisions=2639670, wrong=1319467, backtracks=776817, failedAssignments=777734, nogoods=1078
205.03/200.26 nFilterCalls=112559921, avgTableProportion=0.9999747669306825, avgTableSize=39801.01496645507
205.03/200.26
222.95/218.19 num=94, depth=2..14, filters=22013153, wck=211.088, mem=880M970
222.95/218.19 decisions=2904691, wrong=1451974, backtracks=856187, failedAssignments=855521, nogoods=1097
222.95/218.19 nFilterCalls=123466068, avgTableProportion=0.9999747695774801, avgTableSize=39805.071979331195
222.95/218.19
244.25/239.46 num=95, depth=2..15, filters=24236141, wck=232.362, mem=984M565
244.25/239.46 decisions=3195611, wrong=1597430, backtracks=944603, failedAssignments=941087, nogoods=1112
244.25/239.46 nFilterCalls=136044427, avgTableProportion=0.9999747664326623, avgTableSize=39800.34627728631
244.25/239.46
267.45/262.67 num=96, depth=1..24, filters=26645332, ccks=56, wck=255.564, mem=1114M58
267.45/262.67 decisions=3521474, wrong=1760357, backtracks=1044491, failedAssignments=1034836, nogoods=1112, foundSolutions=1
267.45/262.67 nFilterCalls=149633199, avgTableProportion=0.9999747671266226, avgTableSize=39801.127206001926
267.45/262.67
267.45/262.67 Global
267.45/262.67 filters=26645332, ccks=56, nogoods=1112
267.45/262.67 Stop=REACHED_GOAL, wrong=1760357, foundSolutions=1, firstSolCpu=261.366
267.45/262.67 wck=260.824, cpu=261.372, mem=1114M58
267.45/262.67
267.45/262.67 v <instantiation id='sol1' type='solution'> <list> x[] </list> <values> 3 3 0 1 4 3 3 4 0 2 4 0 0 3 3 3 3 0 3 1 1 3 3 1 0 </values> </instantiation>
267.45/262.67 s SATISFIABLE
267.45/262.67
267.45/262.67 d WRONG_DECISIONS 1760357
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 (8933 MiB free)
memory of node 1: 16384 MiB (13933 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390640-1568381098/watcher-4390640-1568381098 -o /tmp/evaluation-result-4390640-1568381098/solver-4390640-1568381098 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568380477-10797 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390640-1568381098.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=11745, runsolver pid=11742
[startup+0.100153 s]*
/proc/loadavg: 1.97 1.70 0.95 4/229 11760
/proc/meminfo: memFree=23399092/32770624 swapFree=66939832/67108860
[pid=11745] ppid=11742 vsize=10659884 memory=27460 CPUtime=0.13 cores=1,3,5,7
/proc/11745/stat : 11745 (java) S 11742 11745 10765 0 -1 1077944320 5340 0 0 0 12 1 0 0 20 0 15 0 414024706 10915721216 6865 33554432000 4194304 4196468 140721716485120 140721716467664 140569255714551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
/proc/11745/statm: 2664971 6865 2869 1 0 2627468 0
[pid=11745/tid=11747] ppid=11742 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=1,3,5,7
/proc/11745/task/11747/stat : 11747 (java) R 11742 11745 10765 0 -1 4202560 3194 0 0 0 9 0 0 0 20 0 15 0 414024707 10915721216 6865 33554432000 4194304 4196468 140721716485120 140569259944608 140569241397081 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11748] ppid=11742 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11748/stat : 11748 (java) S 11742 11745 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414024707 10915721216 6865 33554432000 4194304 4196468 140721716485120 140569181789200 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11749] ppid=11742 vsize=10659884 memory=140475446593152 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11749/stat : 11749 (java) S 11742 11745 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414024707 10915721216 6865 33554432000 4194304 4196468 140721716485120 140569180736656 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11750] ppid=11742 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11750/stat : 11750 (java) S 11742 11745 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414024707 10915721216 6865 33554432000 4194304 4196468 140721716485120 140568860551952 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11751] ppid=11742 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11751/stat : 11751 (java) S 11742 11745 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414024707 10915721216 6865 33554432000 4194304 4196468 140721716485120 140568859499408 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11752] ppid=11742 vsize=10659884 memory=140475446593152 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11752/stat : 11752 (java) S 11742 11745 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414024709 10915721216 6865 33554432000 4194304 4196468 140721716485120 140568492951792 140569255725698 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11753] ppid=11742 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11753/stat : 11753 (java) S 11742 11745 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414024709 10915721216 6865 33554432000 4194304 4196468 140721716485120 140568491898016 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11754] ppid=11742 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11754/stat : 11754 (java) S 11742 11745 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414024709 10915721216 6865 33554432000 4194304 4196468 140721716485120 140568490844912 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11755] ppid=11742 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11755/stat : 11755 (java) S 11742 11745 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414024712 10915721216 6865 33554432000 4194304 4196468 140721716485120 140568489793488 140569255733147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11756] ppid=11742 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11756/stat : 11756 (java) R 11742 11745 10765 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 15 0 414024712 10915721216 6865 33554432000 4194304 4196468 140721716485120 140568488741616 140569255725698 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11757] ppid=11742 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11757/stat : 11757 (java) R 11742 11745 10765 0 -1 4202560 179 0 0 0 0 0 0 0 20 0 15 0 414024712 10915721216 6865 33554432000 4194304 4196468 140721716485120 140568487689072 140569255735898 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11758] ppid=11742 vsize=10659884 memory=140475446593152 CPUtime=0.02 cores=1,3,5,7
/proc/11745/task/11758/stat : 11758 (java) R 11742 11745 10765 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 15 0 414024712 10915721216 6865 33554432000 4194304 4196468 140721716485120 140568486636016 140569255735898 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11759] ppid=11742 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11759/stat : 11759 (java) S 11742 11745 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414024712 10915721216 6865 33554432000 4194304 4196468 140721716485120 140568485583712 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11760] ppid=11742 vsize=10659884 memory=140475446593152 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11760/stat : 11760 (java) S 11742 11745 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414024712 10915721216 6865 33554432000 4194304 4196468 140721716485120 140568484530736 140569255725698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27460 KiB
[startup+0.212881 s]*
/proc/loadavg: 1.97 1.70 0.95 5/229 11760
/proc/meminfo: memFree=23387652/32770624 swapFree=66939832/67108860
[pid=11745] ppid=11742 vsize=10659884 memory=37232 CPUtime=0.32 cores=1,3,5,7
/proc/11745/stat : 11745 (java) S 11742 11745 10765 0 -1 1077944320 9094 0 0 0 30 2 0 0 20 0 15 0 414024706 10915721216 9308 33554432000 4194304 4196468 140721716485120 140721716467664 140569255714551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
/proc/11745/statm: 2664971 9308 2981 1 0 2627468 0
[pid=11745/tid=11747] ppid=11742 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/11745/task/11747/stat : 11747 (java) R 11742 11745 10765 0 -1 4202560 6090 0 0 0 18 1 0 0 20 0 15 0 414024707 10915721216 9308 33554432000 4194304 4196468 140721716485120 140569259940912 140569255736477 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11748] ppid=11742 vsize=10659884 memory=365 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11748/stat : 11748 (java) S 11742 11745 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414024707 10915721216 9308 33554432000 4194304 4196468 140721716485120 140569181789200 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11749] ppid=11742 vsize=10659884 memory=3834167419591198368 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11749/stat : 11749 (java) S 11742 11745 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414024707 10915721216 9308 33554432000 4194304 4196468 140721716485120 140569180736656 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11750] ppid=11742 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11750/stat : 11750 (java) S 11742 11745 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414024707 10915721216 9308 33554432000 4194304 4196468 140721716485120 140568860551952 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11751] ppid=11742 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11751/stat : 11751 (java) S 11742 11745 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414024707 10915721216 9308 33554432000 4194304 4196468 140721716485120 140568859499408 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11752] ppid=11742 vsize=10659884 memory=140475446593152 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11752/stat : 11752 (java) S 11742 11745 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414024709 10915721216 9308 33554432000 4194304 4196468 140721716485120 140568492951792 140569255725698 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11753] ppid=11742 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11753/stat : 11753 (java) S 11742 11745 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414024709 10915721216 9308 33554432000 4194304 4196468 140721716485120 140568491898016 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11754] ppid=11742 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11754/stat : 11754 (java) S 11742 11745 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414024709 10915721216 9308 33554432000 4194304 4196468 140721716485120 140568490844912 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11755] ppid=11742 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11755/stat : 11755 (java) S 11742 11745 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414024712 10915721216 9308 33554432000 4194304 4196468 140721716485120 140568489793488 140569255733147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11756] ppid=11742 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/11745/task/11756/stat : 11756 (java) S 11742 11745 10765 0 -1 1077944384 582 0 0 0 3 0 0 0 20 0 15 0 414024712 10915721216 9308 33554432000 4194304 4196468 140721716485120 140568488741616 140569255725698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11757] ppid=11742 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/11745/task/11757/stat : 11757 (java) S 11742 11745 10765 0 -1 1077944384 328 0 0 0 2 0 0 0 20 0 15 0 414024712 10915721216 9308 33554432000 4194304 4196468 140721716485120 140568487689072 140569255725698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11758] ppid=11742 vsize=10659884 memory=140475446593152 CPUtime=0.05 cores=1,3,5,7
/proc/11745/task/11758/stat : 11758 (java) S 11742 11745 10765 0 -1 1077944384 735 0 0 0 5 0 0 0 20 0 15 0 414024712 10915721216 9308 33554432000 4194304 4196468 140721716485120 140568486636016 140569255725698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11759] ppid=11742 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11759/stat : 11759 (java) S 11742 11745 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414024712 10915721216 9308 33554432000 4194304 4196468 140721716485120 140568485583712 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11760] ppid=11742 vsize=10659884 memory=140475446593152 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11760/stat : 11760 (java) S 11742 11745 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414024712 10915721216 9308 33554432000 4194304 4196468 140721716485120 140568484530736 140569255725698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37232 KiB
[startup+0.310367 s]*
/proc/loadavg: 1.97 1.70 0.95 4/229 11760
/proc/meminfo: memFree=23385852/32770624 swapFree=66939832/67108860
[pid=11745] ppid=11742 vsize=10659884 memory=40040 CPUtime=0.47 cores=1,3,5,7
/proc/11745/stat : 11745 (java) S 11742 11745 10765 0 -1 1077944320 9287 0 0 0 44 3 0 0 20 0 15 0 414024706 10915721216 10010 33554432000 4194304 4196468 140721716485120 140721716467664 140569255714551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
/proc/11745/statm: 2664971 10010 2996 1 0 2627468 0
[pid=11745/tid=11747] ppid=11742 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/11745/task/11747/stat : 11747 (java) R 11742 11745 10765 0 -1 4202560 6218 0 0 0 28 2 0 0 20 0 15 0 414024707 10915721216 10010 33554432000 4194304 4196468 140721716485120 140569259953536 140569239795068 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11748] ppid=11742 vsize=10659884 memory=10528 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11748/stat : 11748 (java) S 11742 11745 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414024707 10915721216 10010 33554432000 4194304 4196468 140721716485120 140569181789200 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11749] ppid=11742 vsize=10659884 memory=3979412901325440672 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11749/stat : 11749 (java) S 11742 11745 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414024707 10915721216 10010 33554432000 4194304 4196468 140721716485120 140569180736656 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11750] ppid=11742 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11750/stat : 11750 (java) S 11742 11745 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414024707 10915721216 10010 33554432000 4194304 4196468 140721716485120 140568860551952 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11751] ppid=11742 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11751/stat : 11751 (java) S 11742 11745 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414024707 10915721216 10010 33554432000 4194304 4196468 140721716485120 140568859499408 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11752] ppid=11742 vsize=10659884 memory=140475446593152 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11752/stat : 11752 (java) S 11742 11745 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414024709 10915721216 10010 33554432000 4194304 4196468 140721716485120 140568492951792 140569255725698 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11753] ppid=11742 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11753/stat : 11753 (java) S 11742 11745 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414024709 10915721216 10010 33554432000 4194304 4196468 140721716485120 140568491898016 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11754] ppid=11742 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11754/stat : 11754 (java) S 11742 11745 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414024709 10915721216 10010 33554432000 4194304 4196468 140721716485120 140568490844912 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11755] ppid=11742 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11755/stat : 11755 (java) S 11742 11745 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414024712 10915721216 10010 33554432000 4194304 4196468 140721716485120 140568489793488 140569255733147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11756] ppid=11742 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/11745/task/11756/stat : 11756 (java) S 11742 11745 10765 0 -1 1077944384 590 0 0 0 4 0 0 0 20 0 15 0 414024712 10915721216 10010 33554432000 4194304 4196468 140721716485120 140568488741616 140569255725698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11757] ppid=11742 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/11745/task/11757/stat : 11757 (java) S 11742 11745 10765 0 -1 1077944384 368 0 0 0 4 0 0 0 20 0 15 0 414024712 10915721216 10010 33554432000 4194304 4196468 140721716485120 140568487689072 140569255725698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11758] ppid=11742 vsize=10659884 memory=140475446593152 CPUtime=0.08 cores=1,3,5,7
/proc/11745/task/11758/stat : 11758 (java) R 11742 11745 10765 0 -1 4202560 755 0 0 0 8 0 0 0 20 0 15 0 414024712 10915721216 10010 33554432000 4194304 4196468 140721716485120 140568486631744 140569255735898 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11759] ppid=11742 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11759/stat : 11759 (java) S 11742 11745 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414024712 10915721216 10010 33554432000 4194304 4196468 140721716485120 140568485583712 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11760] ppid=11742 vsize=10659884 memory=140475446593152 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11760/stat : 11760 (java) S 11742 11745 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414024712 10915721216 10010 33554432000 4194304 4196468 140721716485120 140568484530736 140569255725698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40040 KiB
[startup+0.70075 s]
/proc/loadavg: 1.97 1.70 0.95 3/229 11760
/proc/meminfo: memFree=23376980/32770624 swapFree=66939832/67108860
[pid=11745] ppid=11742 vsize=10661932 memory=61684 CPUtime=1.08 cores=1,3,5,7
/proc/11745/stat : 11745 (java) S 11742 11745 10765 0 -1 1077944320 12476 0 0 0 102 6 0 0 20 0 15 0 414024706 10917818368 15421 33554432000 4194304 4196468 140721716485120 140721716467664 140569255714551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
/proc/11745/statm: 2665483 15421 3070 1 0 2627980 0
[pid=11745/tid=11747] ppid=11742 vsize=10661932 memory=14056 CPUtime=0.67 cores=1,3,5,7
/proc/11745/task/11747/stat : 11747 (java) R 11742 11745 10765 0 -1 4202560 8789 0 0 0 63 4 0 0 20 0 15 0 414024707 10917818368 15421 33554432000 4194304 4196468 140721716485120 140569259946576 140569235986288 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11748] ppid=11742 vsize=10661932 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11748/stat : 11748 (java) S 11742 11745 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414024707 10917818368 15421 33554432000 4194304 4196468 140721716485120 140569181789200 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11749] ppid=11742 vsize=10661932 memory=520 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11749/stat : 11749 (java) S 11742 11745 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414024707 10917818368 15421 33554432000 4194304 4196468 140721716485120 140569180736656 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11750] ppid=11742 vsize=10661932 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11750/stat : 11750 (java) S 11742 11745 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414024707 10917818368 15421 33554432000 4194304 4196468 140721716485120 140568860551952 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11751] ppid=11742 vsize=10661932 memory=924 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11751/stat : 11751 (java) S 11742 11745 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414024707 10917818368 15421 33554432000 4194304 4196468 140721716485120 140568859499408 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11752] ppid=11742 vsize=10661932 memory=3688 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11752/stat : 11752 (java) S 11742 11745 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414024709 10917818368 15421 33554432000 4194304 4196468 140721716485120 140568492951792 140569255725698 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11753] ppid=11742 vsize=10661932 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11753/stat : 11753 (java) S 11742 11745 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414024709 10917818368 15421 33554432000 4194304 4196468 140721716485120 140568491898016 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11754] ppid=11742 vsize=10661932 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11754/stat : 11754 (java) S 11742 11745 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414024709 10917818368 15421 33554432000 4194304 4196468 140721716485120 140568490844912 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11755] ppid=11742 vsize=10661932 memory=812 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11755/stat : 11755 (java) S 11742 11745 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414024712 10917818368 15421 33554432000 4194304 4196468 140721716485120 140568489793488 140569255733147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11756] ppid=11742 vsize=10661932 memory=7086240636179272035 CPUtime=0.08 cores=1,3,5,7
/proc/11745/task/11756/stat : 11756 (java) S 11742 11745 10765 0 -1 1077944384 656 0 0 0 8 0 0 0 20 0 15 0 414024712 10917818368 15421 33554432000 4194304 4196468 140721716485120 140568488741616 140569255725698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11757] ppid=11742 vsize=10661932 memory=7453282923444726100 CPUtime=0.11 cores=1,3,5,7
/proc/11745/task/11757/stat : 11757 (java) R 11742 11745 10765 0 -1 4202560 550 0 0 0 11 0 0 0 20 0 15 0 414024712 10917818368 15421 33554432000 4194304 4196468 140721716485120 140568487689072 140569239211096 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11758] ppid=11742 vsize=10661932 memory=7223879631928058176 CPUtime=0.18 cores=1,3,5,7
/proc/11745/task/11758/stat : 11758 (java) S 11742 11745 10765 0 -1 1077944384 1122 0 0 0 18 0 0 0 20 0 15 0 414024712 10917818368 15421 33554432000 4194304 4196468 140721716485120 140568486636016 140569255725698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11759] ppid=11742 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11759/stat : 11759 (java) S 11742 11745 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414024712 10917818368 15421 33554432000 4194304 4196468 140721716485120 140568485583712 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11760] ppid=11742 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11760/stat : 11760 (java) S 11742 11745 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414024712 10917818368 15421 33554432000 4194304 4196468 140721716485120 140568484530736 140569255725698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 61684 KiB
[startup+1.50078 s]
/proc/loadavg: 1.97 1.71 0.95 3/229 11760
/proc/meminfo: memFree=23360880/32770624 swapFree=66939832/67108860
[pid=11745] ppid=11742 vsize=10663980 memory=74704 CPUtime=1.98 cores=1,3,5,7
/proc/11745/stat : 11745 (java) S 11742 11745 10765 0 -1 1077944320 16647 0 0 0 191 7 0 0 20 0 15 0 414024706 10919915520 18676 33554432000 4194304 4196468 140721716485120 140721716467664 140569255714551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
/proc/11745/statm: 2665995 18676 3093 1 0 2628492 0
[pid=11745/tid=11747] ppid=11742 vsize=10663980 memory=6493990552776 CPUtime=1.48 cores=1,3,5,7
/proc/11745/task/11747/stat : 11747 (java) R 11742 11745 10765 0 -1 4202560 11858 0 0 0 143 5 0 0 20 0 15 0 414024707 10919915520 18676 33554432000 4194304 4196468 140721716485120 140569259946576 140569237278126 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11748] ppid=11742 vsize=10663980 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11748/stat : 11748 (java) S 11742 11745 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414024707 10919915520 18676 33554432000 4194304 4196468 140721716485120 140569181789200 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11749] ppid=11742 vsize=10663980 memory=14699582244260401 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11749/stat : 11749 (java) S 11742 11745 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414024707 10919915520 18676 33554432000 4194304 4196468 140721716485120 140569180736656 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11750] ppid=11742 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11750/stat : 11750 (java) S 11742 11745 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414024707 10919915520 18676 33554432000 4194304 4196468 140721716485120 140568860551952 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11751] ppid=11742 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11751/stat : 11751 (java) S 11742 11745 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414024707 10919915520 18676 33554432000 4194304 4196468 140721716485120 140568859499408 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11752] ppid=11742 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11752/stat : 11752 (java) S 11742 11745 10765 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 414024709 10919915520 18676 33554432000 4194304 4196468 140721716485120 140568492951792 140569255725698 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
################
# More data... #
################
[startup+260.801 s]
/proc/loadavg: 1.72 1.70 1.13 3/229 11783
/proc/meminfo: memFree=21508616/32770624 swapFree=66939832/67108860
[pid=11745] ppid=11742 vsize=10746276 memory=1920320 CPUtime=265.65 cores=1,3,5,7
/proc/11745/stat : 11745 (java) S 11742 11745 10765 0 -1 1077944320 50041 0 0 0 26441 124 0 0 20 0 16 0 414024706 11004186624 480080 33554432000 4194304 4196468 140721716485120 140721716467664 140569255714551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
/proc/11745/statm: 2686569 480080 3371 1 0 2646705 0
[pid=11745/tid=11747] ppid=11742 vsize=10746276 memory=1076 CPUtime=1.85 cores=1,3,5,7
/proc/11745/task/11747/stat : 11747 (java) S 11742 11745 10765 0 -1 1077944384 13945 0 0 0 179 6 0 0 20 0 16 0 414024707 11004186624 480080 33554432000 4194304 4196468 140721716485120 140569259957424 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11748] ppid=11742 vsize=10746276 memory=1920320 CPUtime=0.73 cores=1,3,5,7
/proc/11745/task/11748/stat : 11748 (java) S 11742 11745 10765 0 -1 1077944384 1349 0 0 0 51 22 0 0 20 0 16 0 414024707 11004186624 480080 33554432000 4194304 4196468 140721716485120 140569181789200 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11749] ppid=11742 vsize=10746276 memory=14008 CPUtime=0.72 cores=1,3,5,7
/proc/11745/task/11749/stat : 11749 (java) S 11742 11745 10765 0 -1 1077944384 1033 0 0 0 51 21 0 0 20 0 16 0 414024707 11004186624 480080 33554432000 4194304 4196468 140721716485120 140569180736656 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11750] ppid=11742 vsize=10746276 memory=21844 CPUtime=0.73 cores=1,3,5,7
/proc/11745/task/11750/stat : 11750 (java) S 11742 11745 10765 0 -1 1077944384 1656 0 0 0 50 23 0 0 20 0 16 0 414024707 11004186624 480080 33554432000 4194304 4196468 140721716485120 140568860551952 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11751] ppid=11742 vsize=10746276 memory=14056 CPUtime=0.73 cores=1,3,5,7
/proc/11745/task/11751/stat : 11751 (java) S 11742 11745 10765 0 -1 1077944384 1890 0 0 0 52 21 0 0 20 0 16 0 414024707 11004186624 480080 33554432000 4194304 4196468 140721716485120 140568859499408 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11752] ppid=11742 vsize=10746276 memory=6791534058613427641 CPUtime=0.17 cores=1,3,5,7
/proc/11745/task/11752/stat : 11752 (java) S 11742 11745 10765 0 -1 1077944384 2882 0 0 0 17 0 0 0 20 0 16 0 414024709 11004186624 480080 33554432000 4194304 4196468 140721716485120 140568492951792 140569255725698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 36 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11753] ppid=11742 vsize=10746276 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11753/stat : 11753 (java) S 11742 11745 10765 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414024709 11004186624 480080 33554432000 4194304 4196468 140721716485120 140568491898080 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11754] ppid=11742 vsize=10746276 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11754/stat : 11754 (java) S 11742 11745 10765 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414024709 11004186624 480080 33554432000 4194304 4196468 140721716485120 140568490844928 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11755] ppid=11742 vsize=10746276 memory=4164 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11755/stat : 11755 (java) S 11742 11745 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414024712 11004186624 480080 33554432000 4194304 4196468 140721716485120 140568489793488 140569255733147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11756] ppid=11742 vsize=10746276 memory=1548 CPUtime=1.18 cores=1,3,5,7
/proc/11745/task/11756/stat : 11756 (java) S 11742 11745 10765 0 -1 1077944384 3790 0 0 0 117 1 0 0 20 0 16 0 414024712 11004186624 480080 33554432000 4194304 4196468 140721716485120 140568488741616 140569255725698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11757] ppid=11742 vsize=10746276 memory=6791534058613427641 CPUtime=1.12 cores=1,3,5,7
/proc/11745/task/11757/stat : 11757 (java) S 11742 11745 10765 0 -1 1077944384 3842 0 0 0 112 0 0 0 20 0 16 0 414024712 11004186624 480080 33554432000 4194304 4196468 140721716485120 140568487689072 140569255725698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11758] ppid=11742 vsize=10746276 memory=21844 CPUtime=0.61 cores=1,3,5,7
/proc/11745/task/11758/stat : 11758 (java) S 11742 11745 10765 0 -1 1077944384 4521 0 0 0 59 2 0 0 20 0 16 0 414024712 11004186624 480080 33554432000 4194304 4196468 140721716485120 140568486636016 140569255725698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 43 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11759] ppid=11742 vsize=10746276 memory=14056 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11759/stat : 11759 (java) S 11742 11745 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414024712 11004186624 480080 33554432000 4194304 4196468 140721716485120 140568485583712 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11760] ppid=11742 vsize=10746276 memory=2116 CPUtime=0.08 cores=1,3,5,7
/proc/11745/task/11760/stat : 11760 (java) S 11742 11745 10765 0 -1 1077944384 637 0 0 0 3 5 0 0 20 0 16 0 414024712 11004186624 480080 33554432000 4194304 4196468 140721716485120 140568484530736 140569255725698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 42 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11761] ppid=11742 vsize=10746276 memory=1920320 CPUtime=257.62 cores=1,3,5,7
/proc/11745/task/11761/stat : 11761 (java) R 11742 11745 10765 0 -1 4202560 13064 0 0 0 25744 18 0 0 20 0 16 0 414024894 11004186624 480080 33554432000 4194304 4196468 140721716485120 140568467455440 140568866578775 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
Current children cumulated CPU time: 265.65 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 1920320 KiB
[startup+261.601 s]
/proc/loadavg: 1.67 1.69 1.13 3/229 11783
/proc/meminfo: memFree=21508672/32770624 swapFree=66939832/67108860
[pid=11745] ppid=11742 vsize=10746276 memory=1920528 CPUtime=266.45 cores=1,3,5,7
/proc/11745/stat : 11745 (java) S 11742 11745 10765 0 -1 1077944320 50056 0 0 0 26521 124 0 0 20 0 16 0 414024706 11004186624 480132 33554432000 4194304 4196468 140721716485120 140721716467664 140569255714551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
/proc/11745/statm: 2686569 480132 3371 1 0 2646705 0
[pid=11745/tid=11747] ppid=11742 vsize=10746276 memory=1920320 CPUtime=1.85 cores=1,3,5,7
/proc/11745/task/11747/stat : 11747 (java) S 11742 11745 10765 0 -1 1077944384 13945 0 0 0 179 6 0 0 20 0 16 0 414024707 11004186624 480132 33554432000 4194304 4196468 140721716485120 140569259957424 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11748] ppid=11742 vsize=10746276 memory=6791534058613427641 CPUtime=0.73 cores=1,3,5,7
/proc/11745/task/11748/stat : 11748 (java) S 11742 11745 10765 0 -1 1077944384 1349 0 0 0 51 22 0 0 20 0 16 0 414024707 11004186624 480132 33554432000 4194304 4196468 140721716485120 140569181789200 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11749] ppid=11742 vsize=10746276 memory=1440 CPUtime=0.72 cores=1,3,5,7
/proc/11745/task/11749/stat : 11749 (java) S 11742 11745 10765 0 -1 1077944384 1033 0 0 0 51 21 0 0 20 0 16 0 414024707 11004186624 480132 33554432000 4194304 4196468 140721716485120 140569180736656 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11750] ppid=11742 vsize=10746276 memory=39488 CPUtime=0.73 cores=1,3,5,7
/proc/11745/task/11750/stat : 11750 (java) S 11742 11745 10765 0 -1 1077944384 1656 0 0 0 50 23 0 0 20 0 16 0 414024707 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568860551952 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11751] ppid=11742 vsize=10746276 memory=988 CPUtime=0.73 cores=1,3,5,7
/proc/11745/task/11751/stat : 11751 (java) S 11742 11745 10765 0 -1 1077944384 1890 0 0 0 52 21 0 0 20 0 16 0 414024707 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568859499408 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11752] ppid=11742 vsize=10746276 memory=2008 CPUtime=0.17 cores=1,3,5,7
/proc/11745/task/11752/stat : 11752 (java) S 11742 11745 10765 0 -1 1077944384 2889 0 0 0 17 0 0 0 20 0 16 0 414024709 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568492951792 140569255725698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 36 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11753] ppid=11742 vsize=10746276 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11753/stat : 11753 (java) S 11742 11745 10765 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414024709 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568491898080 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11754] ppid=11742 vsize=10746276 memory=4164 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11754/stat : 11754 (java) S 11742 11745 10765 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414024709 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568490844928 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11755] ppid=11742 vsize=10746276 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11755/stat : 11755 (java) S 11742 11745 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414024712 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568489793488 140569255733147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11756] ppid=11742 vsize=10746276 memory=1728 CPUtime=1.18 cores=1,3,5,7
/proc/11745/task/11756/stat : 11756 (java) S 11742 11745 10765 0 -1 1077944384 3790 0 0 0 117 1 0 0 20 0 16 0 414024712 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568488741616 140569255725698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11757] ppid=11742 vsize=10746276 memory=7984 CPUtime=1.12 cores=1,3,5,7
/proc/11745/task/11757/stat : 11757 (java) S 11742 11745 10765 0 -1 1077944384 3842 0 0 0 112 0 0 0 20 0 16 0 414024712 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568487689072 140569255725698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11758] ppid=11742 vsize=10746276 memory=6791534058613427641 CPUtime=0.61 cores=1,3,5,7
/proc/11745/task/11758/stat : 11758 (java) S 11742 11745 10765 0 -1 1077944384 4521 0 0 0 59 2 0 0 20 0 16 0 414024712 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568486636016 140569255725698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 43 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11759] ppid=11742 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11759/stat : 11759 (java) S 11742 11745 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414024712 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568485583712 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11760] ppid=11742 vsize=10746276 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11745/task/11760/stat : 11760 (java) S 11742 11745 10765 0 -1 1077944384 641 0 0 0 3 5 0 0 20 0 16 0 414024712 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568484530736 140569255725698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 42 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11761] ppid=11742 vsize=10746276 memory=0 CPUtime=258.42 cores=1,3,5,7
/proc/11745/task/11761/stat : 11761 (java) R 11742 11745 10765 0 -1 4202560 13068 0 0 0 25824 18 0 0 20 0 16 0 414024894 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568467455440 140568866578237 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
Current children cumulated CPU time: 266.45 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 1920528 KiB
[startup+262.401 s]
/proc/loadavg: 1.67 1.69 1.13 3/229 11783
/proc/meminfo: memFree=21508672/32770624 swapFree=66939832/67108860
[pid=11745] ppid=11742 vsize=10746276 memory=1920528 CPUtime=267.25 cores=1,3,5,7
/proc/11745/stat : 11745 (java) S 11742 11745 10765 0 -1 1077944320 50065 0 0 0 26601 124 0 0 20 0 16 0 414024706 11004186624 480132 33554432000 4194304 4196468 140721716485120 140721716467664 140569255714551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
/proc/11745/statm: 2686569 480132 3371 1 0 2646705 0
[pid=11745/tid=11747] ppid=11742 vsize=10746276 memory=6944656592387989600 CPUtime=1.85 cores=1,3,5,7
/proc/11745/task/11747/stat : 11747 (java) S 11742 11745 10765 0 -1 1077944384 13945 0 0 0 179 6 0 0 20 0 16 0 414024707 11004186624 480132 33554432000 4194304 4196468 140721716485120 140569259957424 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11748] ppid=11742 vsize=10746276 memory=4641329295674855505 CPUtime=0.73 cores=1,3,5,7
/proc/11745/task/11748/stat : 11748 (java) S 11742 11745 10765 0 -1 1077944384 1349 0 0 0 51 22 0 0 20 0 16 0 414024707 11004186624 480132 33554432000 4194304 4196468 140721716485120 140569181789200 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11749] ppid=11742 vsize=10746276 memory=6791534058613427641 CPUtime=0.72 cores=1,3,5,7
/proc/11745/task/11749/stat : 11749 (java) S 11742 11745 10765 0 -1 1077944384 1033 0 0 0 51 21 0 0 20 0 16 0 414024707 11004186624 480132 33554432000 4194304 4196468 140721716485120 140569180736656 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11750] ppid=11742 vsize=10746276 memory=1760 CPUtime=0.73 cores=1,3,5,7
/proc/11745/task/11750/stat : 11750 (java) S 11742 11745 10765 0 -1 1077944384 1656 0 0 0 50 23 0 0 20 0 16 0 414024707 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568860551952 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11751] ppid=11742 vsize=10746276 memory=111636 CPUtime=0.73 cores=1,3,5,7
/proc/11745/task/11751/stat : 11751 (java) S 11742 11745 10765 0 -1 1077944384 1890 0 0 0 52 21 0 0 20 0 16 0 414024707 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568859499408 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11752] ppid=11742 vsize=10746276 memory=808 CPUtime=0.17 cores=1,3,5,7
/proc/11745/task/11752/stat : 11752 (java) S 11742 11745 10765 0 -1 1077944384 2889 0 0 0 17 0 0 0 20 0 16 0 414024709 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568492951792 140569255725698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 36 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11753] ppid=11742 vsize=10746276 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11753/stat : 11753 (java) S 11742 11745 10765 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414024709 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568491898080 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11754] ppid=11742 vsize=10746276 memory=39488 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11754/stat : 11754 (java) S 11742 11745 10765 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414024709 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568490844928 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11755] ppid=11742 vsize=10746276 memory=988 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11755/stat : 11755 (java) S 11742 11745 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414024712 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568489793488 140569255733147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11756] ppid=11742 vsize=10746276 memory=2008 CPUtime=1.18 cores=1,3,5,7
/proc/11745/task/11756/stat : 11756 (java) S 11742 11745 10765 0 -1 1077944384 3790 0 0 0 117 1 0 0 20 0 16 0 414024712 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568488741616 140569255725698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11757] ppid=11742 vsize=10746276 memory=6791534058613427641 CPUtime=1.12 cores=1,3,5,7
/proc/11745/task/11757/stat : 11757 (java) S 11742 11745 10765 0 -1 1077944384 3842 0 0 0 112 0 0 0 20 0 16 0 414024712 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568487689072 140569255725698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11758] ppid=11742 vsize=10746276 memory=73 CPUtime=0.61 cores=1,3,5,7
/proc/11745/task/11758/stat : 11758 (java) S 11742 11745 10765 0 -1 1077944384 4521 0 0 0 59 2 0 0 20 0 16 0 414024712 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568486636016 140569255725698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 43 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11759] ppid=11742 vsize=10746276 memory=72 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11759/stat : 11759 (java) S 11742 11745 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414024712 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568485583712 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11760] ppid=11742 vsize=10746276 memory=73 CPUtime=0.08 cores=1,3,5,7
/proc/11745/task/11760/stat : 11760 (java) S 11742 11745 10765 0 -1 1077944384 641 0 0 0 3 5 0 0 20 0 16 0 414024712 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568484530736 140569255725698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 42 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11761] ppid=11742 vsize=10746276 memory=1920320 CPUtime=259.22 cores=1,3,5,7
/proc/11745/task/11761/stat : 11761 (java) R 11742 11745 10765 0 -1 4202560 13077 0 0 0 25904 18 0 0 20 0 16 0 414024894 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568467455440 140568866578165 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
Current children cumulated CPU time: 267.25 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 1920528 KiB
[startup+262.601 s]
/proc/loadavg: 1.67 1.69 1.13 3/229 11783
/proc/meminfo: memFree=21508672/32770624 swapFree=66939832/67108860
[pid=11745] ppid=11742 vsize=10746276 memory=1920528 CPUtime=267.45 cores=1,3,5,7
/proc/11745/stat : 11745 (java) S 11742 11745 10765 0 -1 1077944320 50067 0 0 0 26621 124 0 0 20 0 16 0 414024706 11004186624 480132 33554432000 4194304 4196468 140721716485120 140721716467664 140569255714551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
/proc/11745/statm: 2686569 480132 3371 1 0 2646705 0
[pid=11745/tid=11747] ppid=11742 vsize=10746276 memory=920 CPUtime=1.85 cores=1,3,5,7
/proc/11745/task/11747/stat : 11747 (java) S 11742 11745 10765 0 -1 1077944384 13945 0 0 0 179 6 0 0 20 0 16 0 414024707 11004186624 480132 33554432000 4194304 4196468 140721716485120 140569259957424 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11748] ppid=11742 vsize=10746276 memory=3852 CPUtime=0.73 cores=1,3,5,7
/proc/11745/task/11748/stat : 11748 (java) S 11742 11745 10765 0 -1 1077944384 1349 0 0 0 51 22 0 0 20 0 16 0 414024707 11004186624 480132 33554432000 4194304 4196468 140721716485120 140569181789200 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11749] ppid=11742 vsize=10746276 memory=2620 CPUtime=0.72 cores=1,3,5,7
/proc/11745/task/11749/stat : 11749 (java) S 11742 11745 10765 0 -1 1077944384 1033 0 0 0 51 21 0 0 20 0 16 0 414024707 11004186624 480132 33554432000 4194304 4196468 140721716485120 140569180736656 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11750] ppid=11742 vsize=10746276 memory=3504 CPUtime=0.73 cores=1,3,5,7
/proc/11745/task/11750/stat : 11750 (java) S 11742 11745 10765 0 -1 1077944384 1656 0 0 0 50 23 0 0 20 0 16 0 414024707 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568860551952 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11751] ppid=11742 vsize=10746276 memory=39488 CPUtime=0.73 cores=1,3,5,7
/proc/11745/task/11751/stat : 11751 (java) S 11742 11745 10765 0 -1 1077944384 1890 0 0 0 52 21 0 0 20 0 16 0 414024707 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568859499408 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11752] ppid=11742 vsize=10746276 memory=988 CPUtime=0.17 cores=1,3,5,7
/proc/11745/task/11752/stat : 11752 (java) S 11742 11745 10765 0 -1 1077944384 2889 0 0 0 17 0 0 0 20 0 16 0 414024709 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568492951792 140569255725698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 36 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11753] ppid=11742 vsize=10746276 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11753/stat : 11753 (java) S 11742 11745 10765 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414024709 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568491898080 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11754] ppid=11742 vsize=10746276 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11754/stat : 11754 (java) S 11742 11745 10765 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414024709 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568490844928 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11755] ppid=11742 vsize=10746276 memory=4164 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11755/stat : 11755 (java) S 11742 11745 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414024712 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568489793488 140569255733147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11756] ppid=11742 vsize=10746276 memory=56 CPUtime=1.18 cores=1,3,5,7
/proc/11745/task/11756/stat : 11756 (java) S 11742 11745 10765 0 -1 1077944384 3790 0 0 0 117 1 0 0 20 0 16 0 414024712 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568488741616 140569255725698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11757] ppid=11742 vsize=10746276 memory=6944656575208382560 CPUtime=1.12 cores=1,3,5,7
/proc/11745/task/11757/stat : 11757 (java) S 11742 11745 10765 0 -1 1077944384 3842 0 0 0 112 0 0 0 20 0 16 0 414024712 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568487689072 140569255725698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11758] ppid=11742 vsize=10746276 memory=6944656592455360604 CPUtime=0.61 cores=1,3,5,7
/proc/11745/task/11758/stat : 11758 (java) S 11742 11745 10765 0 -1 1077944384 4521 0 0 0 59 2 0 0 20 0 16 0 414024712 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568486636016 140569255725698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 43 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11759] ppid=11742 vsize=10746276 memory=8382302989661367371 CPUtime=0 cores=1,3,5,7
/proc/11745/task/11759/stat : 11759 (java) S 11742 11745 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414024712 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568485583712 140569255724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11760] ppid=11742 vsize=10746276 memory=665099193172617315 CPUtime=0.08 cores=1,3,5,7
/proc/11745/task/11760/stat : 11760 (java) S 11742 11745 10765 0 -1 1077944384 641 0 0 0 3 5 0 0 20 0 16 0 414024712 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568484530736 140569255725698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 42 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
[pid=11745/tid=11761] ppid=11742 vsize=10746276 memory=3546497798615841649 CPUtime=259.42 cores=1,3,5,7
/proc/11745/task/11761/stat : 11761 (java) R 11742 11745 10765 0 -1 4202560 13079 0 0 0 25924 18 0 0 20 0 16 0 414024894 11004186624 480132 33554432000 4194304 4196468 140721716485120 140568467455440 140568866578229 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140721716487179 140721716487282 140721716487282 140721716490191 0
Current children cumulated CPU time: 267.45 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 1920528 KiB
Child status: 0
Real time (s): 262.696
CPU time (s): 267.56
CPU user time (s): 266.295
CPU system time (s): 1.26447
CPU usage (%): 101.851
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 1920528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 266.295
system time used= 1.26447
maximum resident set size= 1920700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53132
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8729
involuntary context switches= 194
# summary of solver processes directly reported to runsolver:
# pid: 11745
# total CPU time (s): 267.56
# total CPU user time (s): 266.295
# total CPU system time (s): 1.26447
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.54186 second user time and 2.48875 second system time
The end