2.59/2.90
2.59/2.90 AbsCon 2
2.59/2.98
3.31/3.23 Instance
3.31/3.23 name=instance-4391004-1568380515, framework=COP, bounds=-infty..+infty
3.31/3.23
3.31/3.23 Loading variables...
3.65/3.33 Loading constraints...
16.68/8.03
16.68/8.03 Domains
16.68/8.03 nTypes=1, nValues=2284800, sizes=[2856#800]
16.68/8.03 Variables
16.68/8.03 count=800, degrees=[3#50,50#50,51#700]
16.68/8.03 Objectives
16.68/8.03 way=min, type=ObjMaximumLE
16.68/8.03 Constraints
16.68/8.03 count=19176, nSpecific=18376, arities=[1#50,2#19125,50#1]
16.68/8.03 distribution=[CtrExtensionSmart-TableSmart#18375,CtrIntension#800,ObjMaximumLE#1]
16.68/8.03 tables=[2#18375], nTotalTuples=36750
16.68/8.03 nExtStructures=(18375,shared:0), nIntStructures=(184,shared:616)
16.68/8.03 wck=5.158, cpu=5.433, mem=1487M119
19.86/9.42 Solver SolverBacktrack being built...
19.86/9.42
19.86/9.49
19.86/9.49 Solver
19.86/9.49 guaranteedGAC=true
19.86/9.49 wck=6.625, cpu=6.415, mem=2021M661
209.16/198.13
209.16/198.13 Preprocessing
209.16/198.13 filters=2189, revisions=(3035,useless=110), ccks=3660868439, nACremovedValues=594304, nTotalRemovedValues=594304, inconcistency=false
209.16/198.13 wck=188.635, cpu=195.033, mem=2084M23
209.16/198.13
256.47/244.92 num=0, depth=341..341, filters=18565, revisions=(22108,useless=12673), ccks=4456199292, wck=235.424, mem=2135M961
256.47/244.92 decisions=361, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
256.47/244.92 nFilterCalls=616314, avgTableProportion=0.4163129508659547, avgTableSize=0.8326259017319094
256.47/244.92
304.35/292.72 num=1, depth=344..344, filters=33187, revisions=(42100,useless=26519), ccks=5261056755, wck=283.224, mem=2198M288
304.35/292.72 decisions=727, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
304.35/292.72 nFilterCalls=1143130, avgTableProportion=0.4056782693132015, avgTableSize=0.811356538626403
304.35/292.72
350.99/339.35 num=2, depth=322..322, filters=49624, revisions=(61606,useless=39398), ccks=6047527149, wck=329.853, mem=2260M615
350.99/339.35 decisions=1073, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
350.99/339.35 nFilterCalls=1677425, avgTableProportion=0.4005484596926837, avgTableSize=0.8010969193853674
350.99/339.35
399.31/387.64 num=3, depth=308..308, filters=68854, revisions=(82220,useless=52605), ccks=6864664330, wck=378.147, mem=2322M941
399.31/387.64 decisions=1407, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
399.31/387.64 nFilterCalls=2243089, avgTableProportion=0.39672188664827834, avgTableSize=0.7934437732965567
399.31/387.64
446.94/435.25 num=4, depth=3..274, filters=84461, revisions=(101605,useless=66047), ccks=7673366791, wck=425.755, mem=2385M268
446.94/435.25 decisions=1709, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
446.94/435.25 nFilterCalls=2741095, avgTableProportion=0.3989057292797222, avgTableSize=0.7978114585594444
446.94/435.25
500.04/484.28 num=5, depth=310..310, filters=97832, revisions=(120310,useless=78212), ccks=8485270790, wck=474.786, mem=1908M389
500.04/484.28 decisions=2051, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
500.04/484.28 nFilterCalls=3258732, avgTableProportion=0.3984898113744855, avgTableSize=0.796979622748971
500.04/484.28
546.16/530.34 num=6, depth=285..285, filters=121246, revisions=(141950,useless=92876), ccks=9269522231, wck=520.844, mem=1965M403
546.16/530.34 decisions=2370, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
546.16/530.34 nFilterCalls=3810529, avgTableProportion=0.39405198070924013, avgTableSize=0.7881039614184803
546.16/530.34
593.28/577.43 num=7, depth=278..278, filters=135565, revisions=(161743,useless=106196), ccks=10069841495, wck=567.936, mem=2022M417
593.28/577.43 decisions=2686, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
593.28/577.43 nFilterCalls=4332616, avgTableProportion=0.39455389076714853, avgTableSize=0.7891077815342971
593.28/577.43
601.28/585.49 num=8, depth=3..3, filters=144783, revisions=(164094,useless=107225), ccks=10207459844, wck=575.994, mem=2050M924
601.28/585.49 decisions=2731, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
601.28/585.49 nFilterCalls=4407086, avgTableProportion=0.3957756894238052, avgTableSize=0.7915513788476104
601.28/585.49
649.30/633.41 num=9, depth=29..267, filters=158861, revisions=(182675,useless=119356), ccks=11025243932, wck=623.921, mem=2107M938
649.30/633.41 decisions=3044, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
649.30/633.41 nFilterCalls=4912665, avgTableProportion=0.39630607826912684, avgTableSize=0.7926121565382537
649.30/633.41
670.30/654.46 num=10, depth=12..12, filters=163765, revisions=(188444,useless=122620), ccks=11387985314, wck=644.968, mem=2122M191
670.30/654.46 decisions=3106, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
670.30/654.46 nFilterCalls=5070403, avgTableProportion=0.39866397207480353, avgTableSize=0.7973279441496071
670.30/654.46
719.33/703.40 num=11, depth=267..268, filters=179378, revisions=(208425,useless=135059), ccks=12217993734, wck=693.91, mem=2179M205
719.33/703.40 decisions=3431, wrong=210, backtracks=1, failedAssignments=209, nogoods=191
719.33/703.40 nFilterCalls=5635571, avgTableProportion=0.3974970770486256, avgTableSize=0.7949941540972512
719.33/703.40
757.54/741.60 num=12, depth=93..93, filters=188069, revisions=(219706,useless=141734), ccks=12878047880, wck=732.106, mem=2221M966
757.54/741.60 decisions=3586, wrong=241, backtracks=1, failedAssignments=240, nogoods=222
757.54/741.60 nFilterCalls=5958400, avgTableProportion=0.39972761143931257, avgTableSize=0.7994552228786251
757.54/741.60
805.27/789.33 num=13, depth=184..266, filters=202569, revisions=(239283,useless=154573), ccks=13688916834, wck=779.835, mem=2280M958
805.27/789.33 decisions=3920, wrong=275, backtracks=1, failedAssignments=274, nogoods=256
805.27/789.33 nFilterCalls=6496498, avgTableProportion=0.3987514503968138, avgTableSize=0.7975029007936276
805.27/789.33
854.78/838.87 num=14, depth=277..277, filters=230489, revisions=(267810,useless=173932), ccks=14519594457, wck=829.372, mem=2352M226
854.78/838.87 decisions=4271, wrong=312, backtracks=1, failedAssignments=311, nogoods=293
854.78/838.87 nFilterCalls=7236416, avgTableProportion=0.39198934942380315, avgTableSize=0.7839786988476063
854.78/838.87
896.51/880.51 num=15, depth=98..101, filters=240475, revisions=(280798,useless=181732), ccks=15240294148, wck=871.016, mem=2394M986
896.51/880.51 decisions=4457, wrong=356, backtracks=4, failedAssignments=352, nogoods=295
896.51/880.51 nFilterCalls=7603632, avgTableProportion=0.3934807076407696, avgTableSize=0.7869614152815392
896.51/880.51
945.54/929.55 num=16, depth=256..258, filters=258524, revisions=(301849,useless=195362), ccks=16073958940, wck=920.057, mem=2452M0
945.54/929.55 decisions=4807, wrong=403, backtracks=6, failedAssignments=397, nogoods=304
945.54/929.55 nFilterCalls=8180689, avgTableProportion=0.39207534964353247, avgTableSize=0.7841506992870649
945.54/929.55
977.75/961.73 num=17, depth=27..27, filters=265691, revisions=(310734,useless=200846), ccks=16634539792, wck=952.233, mem=2480M507
977.75/961.73 decisions=4934, wrong=453, backtracks=6, failedAssignments=447, nogoods=354
977.75/961.73 nFilterCalls=8423430, avgTableProportion=0.3937076701533698, avgTableSize=0.7874153403067397
977.75/961.73
1010.56/994.51 num=18, depth=27..27, filters=274915, revisions=(320064,useless=206367), ccks=17204642223, wck=985.012, mem=2509M14
1010.56/994.51 decisions=5071, wrong=508, backtracks=6, failedAssignments=502, nogoods=409
1010.56/994.51 nFilterCalls=8681809, avgTableProportion=0.3954580203273304, avgTableSize=0.7909160406546608
1010.56/994.51
1058.99/1042.99 num=19, depth=218..218, filters=292174, revisions=(339833,useless=219017), ccks=18035935586, wck=1033.5, mem=2566M28
1058.99/1042.99 decisions=5411, wrong=569, backtracks=6, failedAssignments=563, nogoods=470
1058.99/1042.99 nFilterCalls=9227505, avgTableProportion=0.3942693068169565, avgTableSize=0.788538613633913
1058.99/1042.99
1094.34/1077.64 num=20, depth=26..26, filters=304659, revisions=(350519,useless=225398), ccks=18630256295, wck=1068.146, mem=1890M286
1094.34/1077.64 decisions=5571, wrong=636, backtracks=6, failedAssignments=630, nogoods=537
1094.34/1077.64 nFilterCalls=9516216, avgTableProportion=0.39533329214048946, avgTableSize=0.7906665842809789
1094.34/1077.64
1141.86/1125.16 num=21, depth=80..186, filters=318191, revisions=(368710,useless=237587), ccks=19438101968, wck=1115.664, mem=1947M460
1141.86/1125.16 decisions=5905, wrong=710, backtracks=6, failedAssignments=704, nogoods=611
1141.86/1125.16 nFilterCalls=10005908, avgTableProportion=0.39478616033647324, avgTableSize=0.7895723206729465
1141.86/1125.16
1174.58/1157.82 num=22, depth=31..33, filters=328572, revisions=(379382,useless=244468), ccks=19991756553, wck=1148.329, mem=1976M47
1174.58/1157.82 decisions=6102, wrong=793, backtracks=8, failedAssignments=785, nogoods=625
1174.58/1157.82 nFilterCalls=10290813, avgTableProportion=0.39583310861833754, avgTableSize=0.7916662172366751
1174.58/1157.82
1225.45/1208.62 num=23, depth=43..205, filters=346418, revisions=(400143,useless=258000), ccks=20856596868, wck=1199.123, mem=2033M221
1225.45/1208.62 decisions=6485, wrong=882, backtracks=8, failedAssignments=874, nogoods=714
1225.45/1208.62 nFilterCalls=10867846, avgTableProportion=0.39410376260392355, avgTableSize=0.7882075252078471
1225.45/1208.62
1275.56/1258.74 num=24, depth=168..176, filters=382948, revisions=(424434,useless=272909), ccks=21701535978, wck=1249.248, mem=2104M688
1275.56/1258.74 decisions=6865, wrong=988, backtracks=16, failedAssignments=972, nogoods=717
1275.56/1258.74 nFilterCalls=11532622, avgTableProportion=0.3904382281843626, avgTableSize=0.7808764563687252
1275.56/1258.74
1323.01/1306.13 num=25, depth=32..139, filters=405908, revisions=(444174,useless=285182), ccks=22512962408, wck=1296.637, mem=2161M863
1323.01/1306.13 decisions=7221, wrong=1097, backtracks=17, failedAssignments=1080, nogoods=800
1323.01/1306.13 nFilterCalls=12067736, avgTableProportion=0.3891323111476751, avgTableSize=0.7782646222953502
1323.01/1306.13
1370.82/1354.00 num=26, depth=40..138, filters=432494, revisions=(464003,useless=297843), ccks=23331760590, wck=1344.503, mem=2219M37
1370.82/1354.00 decisions=7597, wrong=1216, backtracks=17, failedAssignments=1199, nogoods=919
1370.82/1354.00 nFilterCalls=12598987, avgTableProportion=0.38806036548811423, avgTableSize=0.7761207309762285
1370.82/1354.00
1419.44/1402.53 num=27, depth=26..122, filters=452223, revisions=(484143,useless=310491), ccks=24169539574, wck=1393.038, mem=2276M211
1419.44/1402.53 decisions=7986, wrong=1352, backtracks=22, failedAssignments=1330, nogoods=988
1419.44/1402.53 nFilterCalls=13141414, avgTableProportion=0.38629210677024556, avgTableSize=0.7725842135404911
1419.44/1402.53
1466.57/1449.66 num=28, depth=33..89, filters=471112, revisions=(502354,useless=322287), ccks=24979082691, wck=1440.162, mem=2347M678
1466.57/1449.66 decisions=8363, wrong=1496, backtracks=22, failedAssignments=1474, nogoods=1132
1466.57/1449.66 nFilterCalls=13620352, avgTableProportion=0.38628010494882953, avgTableSize=0.7725602098976591
1466.57/1449.66
1514.69/1497.76 num=29, depth=67..124, filters=488591, revisions=(523007,useless=335873), ccks=25799032975, wck=1488.269, mem=2404M852
1514.69/1497.76 decisions=8803, wrong=1654, backtracks=22, failedAssignments=1632, nogoods=1290
1514.69/1497.76 nFilterCalls=14191853, avgTableProportion=0.3847003277161904, avgTableSize=0.7694006554323808
1514.69/1497.76
1562.31/1545.37 num=30, depth=55..73, filters=519383, revisions=(543302,useless=347881), ccks=26608912540, wck=1535.881, mem=2462M26
1562.31/1545.37 decisions=9224, wrong=1828, backtracks=22, failedAssignments=1806, nogoods=1464
1562.31/1545.37 nFilterCalls=14775879, avgTableProportion=0.38338565170979, avgTableSize=0.76677130341958
1562.31/1545.37
1607.82/1590.88 num=31, depth=9..72, filters=553688, revisions=(561699,useless=359228), ccks=27385944346, wck=1581.387, mem=2519M201
1607.82/1590.88 decisions=9678, wrong=2019, backtracks=22, failedAssignments=1997, nogoods=1655
1607.82/1590.88 nFilterCalls=15276201, avgTableProportion=0.38316349071343064, avgTableSize=0.7663269814268613
1607.82/1590.88
1653.95/1636.91 num=32, depth=56..78, filters=574766, revisions=(580479,useless=371402), ccks=28171743381, wck=1627.415, mem=2590M668
1653.95/1636.91 decisions=10185, wrong=2234, backtracks=26, failedAssignments=2208, nogoods=1817
1653.95/1636.91 nFilterCalls=15771030, avgTableProportion=0.3831691398722848, avgTableSize=0.7663382797445696
1653.95/1636.91
1703.51/1686.43 num=33, depth=64..82, filters=622743, revisions=(603700,useless=385825), ccks=29010315245, wck=1676.938, mem=1934M174
1703.51/1686.43 decisions=10733, wrong=2467, backtracks=27, failedAssignments=2440, nogoods=2049
1703.51/1686.43 nFilterCalls=16391884, avgTableProportion=0.3822167421389756, avgTableSize=0.7644334842779512
1703.51/1686.43
1753.73/1736.61 num=34, depth=55..85, filters=645314, revisions=(626005,useless=399992), ccks=29862402987, wck=1727.119, mem=2010M953
1753.73/1736.61 decisions=11330, wrong=2723, backtracks=28, failedAssignments=2695, nogoods=2263
1753.73/1736.61 nFilterCalls=16981133, avgTableProportion=0.38181386365680076, avgTableSize=0.7636277273136015
1753.73/1736.61
1807.06/1789.99 num=35, depth=73..125, filters=695363, revisions=(663592,useless=425971), ccks=30745800838, wck=1780.499, mem=2087M731
1807.06/1789.99 decisions=12024, wrong=3008, backtracks=32, failedAssignments=2976, nogoods=2379
1807.06/1789.99 nFilterCalls=17908939, avgTableProportion=0.3774243409952985, avgTableSize=0.754848681990597
1807.06/1789.99
1862.99/1845.85 num=36, depth=83..93, filters=735034, revisions=(694936,useless=445136), ccks=31693907749, wck=1836.353, mem=2164M510
1862.99/1845.85 decisions=12739, wrong=3320, backtracks=36, failedAssignments=3285, nogoods=2661
1862.99/1845.85 nFilterCalls=18781166, avgTableProportion=0.3736747228579951, avgTableSize=0.7473494457159902
1862.99/1845.85
1934.11/1916.91 num=37, depth=47..102, filters=799898, revisions=(748167,useless=479517), ccks=32893683278, wck=1907.417, mem=2279M677
1934.11/1916.91 decisions=13581, wrong=3690, backtracks=66, failedAssignments=3625, nogoods=2805
1934.11/1916.91 nFilterCalls=20182069, avgTableProportion=0.3660139106649571, avgTableSize=0.7320278213299142
1934.11/1916.91
1997.44/1980.27 num=38, depth=71..116, filters=884879, revisions=(808926,useless=519579), ccks=33946163784, wck=1970.776, mem=2375M651
1997.44/1980.27 decisions=14459, wrong=4071, backtracks=73, failedAssignments=3999, nogoods=2965
1997.44/1980.27 nFilterCalls=21752861, avgTableProportion=0.35566450316581344, avgTableSize=0.7113290063316269
1997.44/1980.27
2051.57/2034.33 num=39, depth=37..100, filters=947169, revisions=(853391,useless=548695), ccks=34842864500, wck=2024.841, mem=2471M624
2051.57/2034.33 decisions=15391, wrong=4489, backtracks=80, failedAssignments=4410, nogoods=3102
2051.57/2034.33 nFilterCalls=22873466, avgTableProportion=0.3505219978467627, avgTableSize=0.7010439956935254
2051.57/2034.33
2101.78/2084.60 num=40, depth=55..78, filters=980392, revisions=(873205,useless=560475), ccks=35700765618, wck=2075.102, mem=2548M402
2101.78/2084.60 decisions=16375, wrong=4942, backtracks=81, failedAssignments=4862, nogoods=3554
2101.78/2084.60 nFilterCalls=23437299, avgTableProportion=0.3513432797866341, avgTableSize=0.7026865595732682
2101.78/2084.60
2151.26/2133.92 num=41, depth=77..109, filters=1018677, revisions=(899597,useless=577366), ccks=36529313644, wck=2124.427, mem=2625M181
2151.26/2133.92 decisions=17495, wrong=5448, backtracks=90, failedAssignments=5359, nogoods=3738
2151.26/2133.92 nFilterCalls=24154259, avgTableProportion=0.35031542470418986, avgTableSize=0.7006308494083797
2151.26/2133.92
2204.31/2186.98 num=42, depth=93..97, filters=1068810, revisions=(934409,useless=599649), ccks=37412890253, wck=2177.485, mem=2701M959
2204.31/2186.98 decisions=18811, wrong=6059, backtracks=154, failedAssignments=5906, nogoods=3867
2204.31/2186.98 nFilterCalls=25054596, avgTableProportion=0.34909792598531625, avgTableSize=0.6981958519706325
2204.31/2186.98
2257.93/2240.55 num=43, depth=97..101, filters=1109433, revisions=(965014,useless=618764), ccks=38324314451, wck=2231.056, mem=2778M738
2257.93/2240.55 decisions=20153, wrong=6681, backtracks=174, failedAssignments=6508, nogoods=4026
2257.93/2240.55 nFilterCalls=25855076, avgTableProportion=0.3474814384610589, avgTableSize=0.6949628769221178
2257.93/2240.55
2310.99/2293.60 num=44, depth=26..94, filters=1194736, revisions=(1023819,useless=659734), ccks=39175264235, wck=2284.102, mem=1935M278
2310.99/2293.60 decisions=21609, wrong=7362, backtracks=193, failedAssignments=7170, nogoods=4121
2310.99/2293.60 nFilterCalls=27260829, avgTableProportion=0.3410839413577628, avgTableSize=0.6821678827155256
2310.99/2293.60
2361.84/2344.36 num=45, depth=64..104, filters=1249257, revisions=(1059598,useless=683053), ccks=40013238444, wck=2334.864, mem=2012M195
2361.84/2344.36 decisions=23185, wrong=8099, backtracks=202, failedAssignments=7898, nogoods=4341
2361.84/2344.36 nFilterCalls=28162041, avgTableProportion=0.33916519047749416, avgTableSize=0.6783303809549883
2361.84/2344.36
2428.77/2411.27 num=46, depth=32..114, filters=1354275, revisions=(1121597,useless=721848), ccks=41121115586, wck=2401.78, mem=2146M800
2428.77/2411.27 decisions=24913, wrong=8907, backtracks=209, failedAssignments=8699, nogoods=4674
2428.77/2411.27 nFilterCalls=29854362, avgTableProportion=0.3334545049061842, avgTableSize=0.6669090098123684
2428.77/2411.27
2478.18/2460.63 num=47, depth=53..125, filters=1407063, revisions=(1158666,useless=746977), ccks=41934903579, wck=2451.136, mem=2223M718
2478.18/2460.63 decisions=26843, wrong=9813, backtracks=236, failedAssignments=9580, nogoods=5042
2478.18/2460.63 nFilterCalls=30822421, avgTableProportion=0.33081734559397524, avgTableSize=0.6616346911879505
2478.18/2460.63
2520.00/2502.40
2520.00/2502.40 s UNKNOWN
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 (8451 MiB free)
memory of node 1: 16384 MiB (15706 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391004-1568380515/watcher-4391004-1568380515 -o /tmp/evaluation-result-4391004-1568380515/solver-4391004-1568380515 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568380475-17709 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391004-1568380515.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17738, runsolver pid=17732
[startup+0.100273 s]*
/proc/loadavg: 0.00 0.01 0.05 2/201 17742
/proc/meminfo: memFree=24735136/32770624 swapFree=67019984/67108860
[pid=17738] ppid=17732 vsize=109408 memory=5240 CPUtime=0 cores=0,2,4,6
/proc/17738/stat : 17738 (java) S 17732 17738 17678 0 -1 1077944320 1608 0 0 0 0 0 0 0 20 0 2 0 414324118 112033792 1310 33554432000 4194304 4196468 140722324507040 140722324489584 139942443237111 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
/proc/17738/statm: 27352 1310 981 1 0 16810 0
[pid=17738/tid=17741] ppid=17732 vsize=109408 memory=5450919713671312938 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17741/stat : 17741 (java) S 17732 17738 17678 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 2 0 414324127 112033792 1310 33554432000 4194304 4196468 140722324507040 139942447478160 139942435933693 0 0 0 16784584 18446744071581020693 0 0 -1 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 109408 KiB
Current children cumulated memory: 5240 KiB
[startup+0.209684 s]*
/proc/loadavg: 0.00 0.01 0.05 3/211 17753
/proc/meminfo: memFree=24715512/32770624 swapFree=67019984/67108860
[pid=17738] ppid=17732 vsize=10260324 memory=19872 CPUtime=0.01 cores=0,2,4,6
/proc/17738/stat : 17738 (java) S 17732 17738 17678 0 -1 1077944320 3815 0 0 0 1 0 0 0 20 0 9 0 414324118 10506571776 4968 33554432000 4194304 4196468 140722324507040 140722324489584 139942443237111 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
/proc/17738/statm: 2565081 4968 2108 1 0 2527622 0
[pid=17738/tid=17741] ppid=17732 vsize=10260324 memory=7022364594140610616 CPUtime=0.01 cores=0,2,4,6
/proc/17738/task/17741/stat : 17741 (java) S 17732 17738 17678 0 -1 1077944384 2462 0 0 0 1 0 0 0 20 0 9 0 414324127 10506571776 4968 33554432000 4194304 4196468 140722324507040 139942447472496 139942435933693 0 4 0 16784584 18446744071581020693 0 0 -1 2 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17743] ppid=17732 vsize=10260324 memory=345 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17743/stat : 17743 (java) S 17732 17738 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414324137 10506571776 4968 33554432000 4194304 4196468 140722324507040 139942385240976 139942443247317 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17744] ppid=17732 vsize=10260324 memory=288370181054273152 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17744/stat : 17744 (java) S 17732 17738 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 414324137 10506571776 4968 33554432000 4194304 4196468 140722324507040 139942384188176 139942443247317 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17746] ppid=17732 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17746/stat : 17746 (java) S 17732 17738 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 414324137 10506571776 4968 33554432000 4194304 4196468 140722324507040 139942047833232 139942443247317 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17747] ppid=17732 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17747/stat : 17747 (java) S 17732 17738 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414324137 10506571776 4968 33554432000 4194304 4196468 140722324507040 139942046780432 139942443247317 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17753] ppid=17732 vsize=10260324 memory=139804902561408 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17753/stat : 17753 (java) S 17732 17738 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414324139 10506571776 4968 33554432000 4194304 4196468 140722324507040 139941680371824 139942443248258 0 0 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17755] ppid=17732 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17755/stat : 17755 (java) S 17732 17738 17678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 414324139 10506571776 4968 33554432000 4194304 4196468 140722324507040 139941679317792 139942443247317 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17757] ppid=17732 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17757/stat : 17757 (java) S 17732 17738 17678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 414324140 10506571776 4968 33554432000 4194304 4196468 140722324507040 139941678265520 139942443247317 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 10260324 KiB
Current children cumulated memory: 19872 KiB
[startup+0.310105 s]*
/proc/loadavg: 0.00 0.01 0.05 2/215 17757
/proc/meminfo: memFree=24714424/32770624 swapFree=67019984/67108860
[pid=17738] ppid=17732 vsize=10260324 memory=20588 CPUtime=0.04 cores=0,2,4,6
/proc/17738/stat : 17738 (java) S 17732 17738 17678 0 -1 1077944320 4035 0 0 0 3 1 0 0 20 0 9 0 414324118 10506571776 5147 33554432000 4194304 4196468 140722324507040 140722324489584 139942443237111 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
/proc/17738/statm: 2565081 5147 2188 1 0 2527622 0
[pid=17738/tid=17741] ppid=17732 vsize=10260324 memory=8389772277269004345 CPUtime=0.03 cores=0,2,4,6
/proc/17738/task/17741/stat : 17741 (java) D 17732 17738 17678 0 -1 1077944384 2682 0 0 0 3 0 0 0 20 0 9 0 414324127 10506571776 5147 33554432000 4194304 4196468 140722324507040 139942447472152 139942435915125 0 4 0 16800971 18446744072101748260 0 0 -1 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17743] ppid=17732 vsize=10260324 memory=288292155783656735 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17743/stat : 17743 (java) S 17732 17738 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414324137 10506571776 5147 33554432000 4194304 4196468 140722324507040 139942385240976 139942443247317 0 4 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17744] ppid=17732 vsize=10260324 memory=301789760515403960 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17744/stat : 17744 (java) S 17732 17738 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 414324137 10506571776 5147 33554432000 4194304 4196468 140722324507040 139942384188176 139942443247317 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17746] ppid=17732 vsize=10260324 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17746/stat : 17746 (java) S 17732 17738 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 414324137 10506571776 5147 33554432000 4194304 4196468 140722324507040 139942047833232 139942443247317 0 4 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17747] ppid=17732 vsize=10260324 memory=3472328279047811119 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17747/stat : 17747 (java) S 17732 17738 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414324137 10506571776 5147 33554432000 4194304 4196468 140722324507040 139942046780432 139942443247317 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17753] ppid=17732 vsize=10260324 memory=-6516263720906747986 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17753/stat : 17753 (java) S 17732 17738 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414324139 10506571776 5147 33554432000 4194304 4196468 140722324507040 139941680371824 139942443248258 0 0 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17755] ppid=17732 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17755/stat : 17755 (java) S 17732 17738 17678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 414324139 10506571776 5147 33554432000 4194304 4196468 140722324507040 139941679317792 139942443247317 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17757] ppid=17732 vsize=10260324 memory=139804902561408 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17757/stat : 17757 (java) S 17732 17738 17678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 414324140 10506571776 5147 33554432000 4194304 4196468 140722324507040 139941678265456 139942443247317 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10260324 KiB
Current children cumulated memory: 20588 KiB
[startup+0.701081 s]
/proc/loadavg: 0.00 0.01 0.05 3/226 17768
/proc/meminfo: memFree=24710900/32770624 swapFree=67019984/67108860
[pid=17738] ppid=17732 vsize=10659884 memory=35080 CPUtime=0.31 cores=0,2,4,6
/proc/17738/stat : 17738 (java) S 17732 17738 17678 0 -1 1077944320 6951 0 0 0 29 2 0 0 20 0 15 0 414324118 10915721216 8770 33554432000 4194304 4196468 140722324507040 140722324489584 139942443237111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
/proc/17738/statm: 2664971 8770 2989 1 0 2627468 0
[pid=17738/tid=17741] ppid=17732 vsize=10659884 memory=860 CPUtime=0.19 cores=0,2,4,6
/proc/17738/task/17741/stat : 17741 (java) R 17732 17738 17678 0 -1 4202560 3862 0 0 0 18 1 0 0 20 0 15 0 414324127 10915721216 8770 33554432000 4194304 4196468 140722324507040 139942447469200 139942399863792 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17743] ppid=17732 vsize=10659884 memory=776 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17743/stat : 17743 (java) S 17732 17738 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414324137 10915721216 8770 33554432000 4194304 4196468 140722324507040 139942385240976 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17744] ppid=17732 vsize=10659884 memory=1612 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17744/stat : 17744 (java) S 17732 17738 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414324137 10915721216 8770 33554432000 4194304 4196468 140722324507040 139942384188176 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17746] ppid=17732 vsize=10659884 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17746/stat : 17746 (java) S 17732 17738 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414324137 10915721216 8770 33554432000 4194304 4196468 140722324507040 139942047833232 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17747] ppid=17732 vsize=10659884 memory=3824 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17747/stat : 17747 (java) S 17732 17738 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414324137 10915721216 8770 33554432000 4194304 4196468 140722324507040 139942046780432 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17753] ppid=17732 vsize=10659884 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17753/stat : 17753 (java) S 17732 17738 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414324139 10915721216 8770 33554432000 4194304 4196468 140722324507040 139941680371824 139942443248258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17755] ppid=17732 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17755/stat : 17755 (java) S 17732 17738 17678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414324139 10915721216 8770 33554432000 4194304 4196468 140722324507040 139941679317792 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17757] ppid=17732 vsize=10659884 memory=2227 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17757/stat : 17757 (java) S 17732 17738 17678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414324140 10915721216 8770 33554432000 4194304 4196468 140722324507040 139941678265456 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17763] ppid=17732 vsize=10659884 memory=1070 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17763/stat : 17763 (java) S 17732 17738 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414324160 10915721216 8770 33554432000 4194304 4196468 140722324507040 139941677213776 139942443255707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17764] ppid=17732 vsize=10659884 memory=229 CPUtime=0.02 cores=0,2,4,6
/proc/17738/task/17764/stat : 17764 (java) S 17732 17738 17678 0 -1 1077944384 427 0 0 0 2 0 0 0 20 0 15 0 414324160 10915721216 8770 33554432000 4194304 4196468 140722324507040 139941676161648 139942443248258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17765] ppid=17732 vsize=10659884 memory=663 CPUtime=0.02 cores=0,2,4,6
/proc/17738/task/17765/stat : 17765 (java) S 17732 17738 17678 0 -1 1077944384 615 0 0 0 2 0 0 0 20 0 15 0 414324160 10915721216 8770 33554432000 4194304 4196468 140722324507040 139941675108848 139942443248258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17766] ppid=17732 vsize=10659884 memory=2 CPUtime=0.05 cores=0,2,4,6
/proc/17738/task/17766/stat : 17766 (java) S 17732 17738 17678 0 -1 1077944384 687 0 0 0 5 0 0 0 20 0 15 0 414324161 10915721216 8770 33554432000 4194304 4196468 140722324507040 139941674056560 139942443248258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17767] ppid=17732 vsize=10659884 memory=337 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17767/stat : 17767 (java) S 17732 17738 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414324161 10915721216 8770 33554432000 4194304 4196468 140722324507040 139941673004000 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35080 KiB
[startup+1.50077 s]
/proc/loadavg: 0.00 0.01 0.05 4/227 17769
/proc/meminfo: memFree=24658312/32770624 swapFree=67019984/67108860
[pid=17738] ppid=17732 vsize=10663980 memory=68328 CPUtime=1.42 cores=0,2,4,6
/proc/17738/stat : 17738 (java) S 17732 17738 17678 0 -1 1077944320 13799 0 0 0 136 6 0 0 20 0 15 0 414324118 10919915520 17082 33554432000 4194304 4196468 140722324507040 140722324489584 139942443237111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
/proc/17738/statm: 2665995 17082 3062 1 0 2628492 0
[pid=17738/tid=17741] ppid=17732 vsize=10663980 memory=0 CPUtime=0.98 cores=0,2,4,6
/proc/17738/task/17741/stat : 17741 (java) R 17732 17738 17678 0 -1 4202560 9483 0 0 0 94 4 0 0 20 0 15 0 414324127 10919915520 17082 33554432000 4194304 4196468 140722324507040 139942447475520 139942427317598 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17743] ppid=17732 vsize=10663980 memory=2227 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17743/stat : 17743 (java) S 17732 17738 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414324137 10919915520 17082 33554432000 4194304 4196468 140722324507040 139942385240976 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17744] ppid=17732 vsize=10663980 memory=1070 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17744/stat : 17744 (java) S 17732 17738 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414324137 10919915520 17082 33554432000 4194304 4196468 140722324507040 139942384188176 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17746] ppid=17732 vsize=10663980 memory=229 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17746/stat : 17746 (java) S 17732 17738 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414324137 10919915520 17082 33554432000 4194304 4196468 140722324507040 139942047833232 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17747] ppid=17732 vsize=10663980 memory=663 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17747/stat : 17747 (java) S 17732 17738 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414324137 10919915520 17082 33554432000 4194304 4196468 140722324507040 139942046780432 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17753] ppid=17732 vsize=10663980 memory=2 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17753/stat : 17753 (java) S 17732 17738 17678 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 414324139 10919915520 17082 33554432000 4194304 4196468 140722324507040 139941680371824 139942443248258 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17755] ppid=17732 vsize=10663980 memory=337 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17755/stat : 17755 (java) S 17732 17738 17678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414324139 10919915520 17082 33554432000 4194304 4196468 140722324507040 139941679317792 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17757] ppid=17732 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17757/stat : 17757 (java) S 17732 17738 17678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414324140 10919915520 17082 33554432000 4194304 4196468 140722324507040 139941678265456 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17763] ppid=17732 vsize=10663980 memory=2372 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17763/stat : 17763 (java) S 17732 17738 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414324160 10919915520 17082 33554432000 4194304 4196468 140722324507040 139941677213776 139942443255707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17764] ppid=17732 vsize=10663980 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/17738/task/17764/stat : 17764 (java) S 17732 17738 17678 0 -1 1077944384 804 0 0 0 10 0 0 0 20 0 15 0 414324160 10919915520 17082 33554432000 4194304 4196468 140722324507040 139941676161648 139942443248258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17765] ppid=17732 vsize=10663980 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/17738/task/17765/stat : 17765 (java) S 17732 17738 17678 0 -1 1077944384 992 0 0 0 12 0 0 0 20 0 15 0 414324160 10919915520 17082 33554432000 4194304 4196468 140722324507040 139941675108848 139942443248258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17766] ppid=17732 vsize=10663980 memory=6944656592455097440 CPUtime=0.18 cores=0,2,4,6
/proc/17738/task/17766/stat : 17766 (java) S 17732 17738 17678 0 -1 1077944384 1157 0 0 0 18 0 0 0 20 0 15 0 414324161 10919915520 17082 33554432000 4194304 4196468 140722324507040 139941674056560 139942443248258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17767] ppid=17732 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17767/stat : 17767 (java) S 17732 17738 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414324161 10919915520 17082 33554432000 4194304 4196468 140722324507040 139941673004000 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17769] ppid=17732 vsize=10663980 memory=13412 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17769/stat : 17769 (java) S 17732 17738 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414324170 10919915520 17082 33554432000 4194304 4196468 140722324507040 139941671950768 139942443248258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 68328 KiB
[startup+3.11071 s]
/proc/loadavg: 0.16 0.05 0.06 7/229 17771
/proc/meminfo: memFree=24520784/32770624 swapFree=67019984/67108860
[pid=17738] ppid=17732 vsize=10744136 memory=145652 CPUtime=2.97 cores=0,2,4,6
/proc/17738/stat : 17738 (java) S 17732 17738 17678 0 -1 1077944320 21718 0 6 0 285 12 0 0 20 0 16 0 414324118 11001995264 36413 33554432000 4194304 4196468 140722324507040 140722324489584 139942443237111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
/proc/17738/statm: 2686034 36413 3302 1 0 2646705 0
[pid=17738/tid=17741] ppid=17732 vsize=10744136 memory=0 CPUtime=1.86 cores=0,2,4,6
/proc/17738/task/17741/stat : 17741 (java) S 17732 17738 17678 0 -1 1077944384 13925 0 6 0 179 7 0 0 20 0 16 0 414324127 11001995264 36457 33554432000 4194304 4196468 140722324507040 139942447479984 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 43 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17743] ppid=17732 vsize=10744136 memory=2273 CPUtime=0.01 cores=0,2,4,6
/proc/17738/task/17743/stat : 17743 (java) S 17732 17738 17678 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 16 0 414324137 11001995264 36457 33554432000 4194304 4196468 140722324507040 139942385240976 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17744] ppid=17732 vsize=10744136 memory=279609484554816 CPUtime=0.01 cores=0,2,4,6
/proc/17738/task/17744/stat : 17744 (java) S 17732 17738 17678 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 16 0 414324137 11001995264 36457 33554432000 4194304 4196468 140722324507040 139942384188176 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17746] ppid=17732 vsize=10744136 memory=576587670020715552 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17746/stat : 17746 (java) S 17732 17738 17678 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 414324137 11001995264 36457 33554432000 4194304 4196468 140722324507040 139942047833232 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17747] ppid=17732 vsize=10744136 memory=288291094993842862 CPUtime=0.01 cores=0,2,4,6
/proc/17738/task/17747/stat : 17747 (java) S 17732 17738 17678 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 16 0 414324137 11001995264 36457 33554432000 4194304 4196468 140722324507040 139942046780432 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17753] ppid=17732 vsize=10744136 memory=4120 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17753/stat : 17753 (java) S 17732 17738 17678 0 -1 1077944384 709 0 0 0 0 0 0 0 20 0 16 0 414324139 11001995264 36457 33554432000 4194304 4196468 140722324507040 139941680371824 139942443248258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17755] ppid=17732 vsize=10744136 memory=21364 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17755/stat : 17755 (java) S 17732 17738 17678 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414324139 11001995264 36457 33554432000 4194304 4196468 140722324507040 139941679317856 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17757] ppid=17732 vsize=10744136 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17757/stat : 17757 (java) S 17732 17738 17678 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414324140 11001995264 36457 33554432000 4194304 4196468 140722324507040 139941678265472 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17763] ppid=17732 vsize=10744136 memory=2184 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17763/stat : 17763 (java) S 17732 17738 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414324160 11001995264 36457 33554432000 4194304 4196468 140722324507040 139941677213776 139942443255707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17764] ppid=17732 vsize=10744136 memory=45 CPUtime=0.31 cores=0,2,4,6
/proc/17738/task/17764/stat : 17764 (java) S 17732 17738 17678 0 -1 1077944384 1382 0 0 0 30 1 0 0 20 0 16 0 414324160 11001995264 36457 33554432000 4194304 4196468 140722324507040 139941676161648 139942443248258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17765] ppid=17732 vsize=10744136 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/17738/task/17765/stat : 17765 (java) S 17732 17738 17678 0 -1 1077944384 1843 0 0 0 28 0 0 0 20 0 16 0 414324160 11001995264 36457 33554432000 4194304 4196468 140722324507040 139941675108848 139942443248258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17766] ppid=17732 vsize=10744136 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/17738/task/17766/stat : 17766 (java) R 17732 17738 17678 0 -1 4202560 1514 0 0 0 29 0 0 0 20 0 16 0 414324161 11001995264 36457 33554432000 4194304 4196468 140722324507040 139941674052320 139942427885587 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17767] ppid=17732 vsize=10744136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17767/stat : 17767 (java) S 17732 17738 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414324161 11001995264 36457 33554432000 4194304 4196468 140722324507040 139941673004000 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
################
# More data... #
################
/proc/17738/task/17747/stat : 17747 (java) S 17732 17738 17678 0 -1 1077944384 6717 0 0 0 246 98 0 0 20 0 16 0 414324137 11006283776 950797 33554432000 4194304 4196468 140722324507040 139942046780432 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17753] ppid=17732 vsize=10748324 memory=3803188 CPUtime=0.15 cores=0,2,4,6
/proc/17738/task/17753/stat : 17753 (java) S 17732 17738 17678 0 -1 1077944384 12753 0 0 0 12 3 0 0 20 0 16 0 414324139 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941680371824 139942443248258 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17755] ppid=17732 vsize=10748324 memory=3803188 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17755/stat : 17755 (java) S 17732 17738 17678 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414324139 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941679317856 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17757] ppid=17732 vsize=10748324 memory=3803188 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17757/stat : 17757 (java) S 17732 17738 17678 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414324140 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941678265472 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17763] ppid=17732 vsize=10748324 memory=4120 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17763/stat : 17763 (java) S 17732 17738 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414324160 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941677213776 139942443255707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17764] ppid=17732 vsize=10748324 memory=21432 CPUtime=3.25 cores=0,2,4,6
/proc/17738/task/17764/stat : 17764 (java) S 17732 17738 17678 0 -1 1077944384 20513 0 0 0 321 4 0 0 20 0 16 0 414324160 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941676161648 139942443248258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17765] ppid=17732 vsize=10748324 memory=3803188 CPUtime=3.35 cores=0,2,4,6
/proc/17738/task/17765/stat : 17765 (java) S 17732 17738 17678 0 -1 1077944384 18271 0 0 0 333 2 0 0 20 0 16 0 414324160 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941675108848 139942443248258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17766] ppid=17732 vsize=10748324 memory=3803188 CPUtime=1 cores=0,2,4,6
/proc/17738/task/17766/stat : 17766 (java) S 17732 17738 17678 0 -1 1077944384 21339 0 0 0 97 3 0 0 20 0 16 0 414324161 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941674056560 139942443248258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17767] ppid=17732 vsize=10748324 memory=3803188 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17767/stat : 17767 (java) S 17732 17738 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414324161 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941673004000 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17769] ppid=17732 vsize=10748324 memory=920 CPUtime=0.96 cores=0,2,4,6
/proc/17738/task/17769/stat : 17769 (java) S 17732 17738 17678 0 -1 1077944384 2150 0 0 0 50 46 0 0 20 0 16 0 414324170 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941671950768 139942443248258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17770] ppid=17732 vsize=10748324 memory=3816 CPUtime=2375.49 cores=0,2,4,6
/proc/17738/task/17770/stat : 17770 (java) R 17732 17738 17678 0 -1 4202560 126089 0 0 0 237536 13 0 0 20 0 16 0 414324408 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941654875136 139942073452423 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
Current children cumulated CPU time: 2399.85 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 3803188 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.01 1.87 4/229 17996
/proc/meminfo: memFree=19883644/32770624 swapFree=67020048/67108860
[pid=17738] ppid=17732 vsize=10748324 memory=3803188 CPUtime=2459.88 cores=0,2,4,6
/proc/17738/stat : 17738 (java) S 17732 17738 17678 0 -1 1077944320 238652 0 6 0 245535 453 0 0 20 0 16 0 414324118 11006283776 950797 33554432000 4194304 4196468 140722324507040 140722324489584 139942443237111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
/proc/17738/statm: 2687081 950797 3380 1 0 2647217 0
[pid=17738/tid=17741] ppid=17732 vsize=10748324 memory=3803188 CPUtime=1.86 cores=0,2,4,6
/proc/17738/task/17741/stat : 17741 (java) S 17732 17738 17678 0 -1 1077944384 13925 0 6 0 179 7 0 0 20 0 16 0 414324127 11006283776 950797 33554432000 4194304 4196468 140722324507040 139942447479984 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 43 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17743] ppid=17732 vsize=10748324 memory=3803188 CPUtime=3.43 cores=0,2,4,6
/proc/17738/task/17743/stat : 17743 (java) S 17732 17738 17678 0 -1 1077944384 3490 0 0 0 245 98 0 0 20 0 16 0 414324137 11006283776 950797 33554432000 4194304 4196468 140722324507040 139942385240976 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17744] ppid=17732 vsize=10748324 memory=3803188 CPUtime=3.42 cores=0,2,4,6
/proc/17738/task/17744/stat : 17744 (java) S 17732 17738 17678 0 -1 1077944384 4898 0 0 0 252 90 0 0 20 0 16 0 414324137 11006283776 950797 33554432000 4194304 4196468 140722324507040 139942384188176 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17746] ppid=17732 vsize=10748324 memory=3803188 CPUtime=3.38 cores=0,2,4,6
/proc/17738/task/17746/stat : 17746 (java) S 17732 17738 17678 0 -1 1077944384 3075 0 0 0 243 95 0 0 20 0 16 0 414324137 11006283776 950797 33554432000 4194304 4196468 140722324507040 139942047833232 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17747] ppid=17732 vsize=10748324 memory=3803188 CPUtime=3.44 cores=0,2,4,6
/proc/17738/task/17747/stat : 17747 (java) S 17732 17738 17678 0 -1 1077944384 6717 0 0 0 246 98 0 0 20 0 16 0 414324137 11006283776 950797 33554432000 4194304 4196468 140722324507040 139942046780432 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17753] ppid=17732 vsize=10748324 memory=3803188 CPUtime=0.15 cores=0,2,4,6
/proc/17738/task/17753/stat : 17753 (java) S 17732 17738 17678 0 -1 1077944384 12763 0 0 0 12 3 0 0 20 0 16 0 414324139 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941680371824 139942443248258 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17755] ppid=17732 vsize=10748324 memory=3803188 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17755/stat : 17755 (java) S 17732 17738 17678 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414324139 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941679317856 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17757] ppid=17732 vsize=10748324 memory=3803188 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17757/stat : 17757 (java) S 17732 17738 17678 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414324140 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941678265472 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17763] ppid=17732 vsize=10748324 memory=3803188 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17763/stat : 17763 (java) S 17732 17738 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414324160 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941677213776 139942443255707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17764] ppid=17732 vsize=10748324 memory=1908 CPUtime=3.25 cores=0,2,4,6
/proc/17738/task/17764/stat : 17764 (java) S 17732 17738 17678 0 -1 1077944384 20517 0 0 0 321 4 0 0 20 0 16 0 414324160 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941676161648 139942443248258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17765] ppid=17732 vsize=10748324 memory=6791534058613427641 CPUtime=3.36 cores=0,2,4,6
/proc/17738/task/17765/stat : 17765 (java) S 17732 17738 17678 0 -1 1077944384 19165 0 0 0 334 2 0 0 20 0 16 0 414324160 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941675108848 139942443248258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17766] ppid=17732 vsize=10748324 memory=4964 CPUtime=1 cores=0,2,4,6
/proc/17738/task/17766/stat : 17766 (java) S 17732 17738 17678 0 -1 1077944384 21353 0 0 0 97 3 0 0 20 0 16 0 414324161 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941674056560 139942443248258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17767] ppid=17732 vsize=10748324 memory=3803188 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17767/stat : 17767 (java) S 17732 17738 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414324161 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941673004000 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17769] ppid=17732 vsize=10748324 memory=3803188 CPUtime=0.98 cores=0,2,4,6
/proc/17738/task/17769/stat : 17769 (java) S 17732 17738 17678 0 -1 1077944384 2198 0 0 0 50 48 0 0 20 0 16 0 414324170 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941671950768 139942443248258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17770] ppid=17732 vsize=10748324 memory=860 CPUtime=2435.49 cores=0,2,4,6
/proc/17738/task/17770/stat : 17770 (java) R 17732 17738 17678 0 -1 4202560 129131 0 0 0 243535 14 0 0 20 0 16 0 414324408 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941654875136 139942073339815 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
Current children cumulated CPU time: 2459.88 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 3803188 KiB
[startup+2502.3 s]
/proc/loadavg: 1.94 2.00 1.87 4/229 18002
/proc/meminfo: memFree=19889860/32770624 swapFree=67020048/67108860
[pid=17738] ppid=17732 vsize=10748324 memory=3803188 CPUtime=2519.9 cores=0,2,4,6
/proc/17738/stat : 17738 (java) S 17732 17738 17678 0 -1 1077944320 241753 0 6 0 251536 454 0 0 20 0 16 0 414324118 11006283776 950797 33554432000 4194304 4196468 140722324507040 140722324489584 139942443237111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
/proc/17738/statm: 2687081 950797 3380 1 0 2647217 0
[pid=17738/tid=17741] ppid=17732 vsize=10748324 memory=3803188 CPUtime=1.86 cores=0,2,4,6
/proc/17738/task/17741/stat : 17741 (java) S 17732 17738 17678 0 -1 1077944384 13925 0 6 0 179 7 0 0 20 0 16 0 414324127 11006283776 950797 33554432000 4194304 4196468 140722324507040 139942447479984 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 43 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17743] ppid=17732 vsize=10748324 memory=3803188 CPUtime=3.43 cores=0,2,4,6
/proc/17738/task/17743/stat : 17743 (java) S 17732 17738 17678 0 -1 1077944384 3490 0 0 0 245 98 0 0 20 0 16 0 414324137 11006283776 950797 33554432000 4194304 4196468 140722324507040 139942385240976 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17744] ppid=17732 vsize=10748324 memory=3803188 CPUtime=3.42 cores=0,2,4,6
/proc/17738/task/17744/stat : 17744 (java) S 17732 17738 17678 0 -1 1077944384 4898 0 0 0 252 90 0 0 20 0 16 0 414324137 11006283776 950797 33554432000 4194304 4196468 140722324507040 139942384188176 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17746] ppid=17732 vsize=10748324 memory=3803188 CPUtime=3.38 cores=0,2,4,6
/proc/17738/task/17746/stat : 17746 (java) S 17732 17738 17678 0 -1 1077944384 3075 0 0 0 243 95 0 0 20 0 16 0 414324137 11006283776 950797 33554432000 4194304 4196468 140722324507040 139942047833232 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17747] ppid=17732 vsize=10748324 memory=3803188 CPUtime=3.44 cores=0,2,4,6
/proc/17738/task/17747/stat : 17747 (java) S 17732 17738 17678 0 -1 1077944384 6717 0 0 0 246 98 0 0 20 0 16 0 414324137 11006283776 950797 33554432000 4194304 4196468 140722324507040 139942046780432 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17753] ppid=17732 vsize=10748324 memory=4120 CPUtime=0.15 cores=0,2,4,6
/proc/17738/task/17753/stat : 17753 (java) S 17732 17738 17678 0 -1 1077944384 12818 0 0 0 12 3 0 0 20 0 16 0 414324139 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941680371824 139942443248258 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17755] ppid=17732 vsize=10748324 memory=21440 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17755/stat : 17755 (java) S 17732 17738 17678 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414324139 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941679317856 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17757] ppid=17732 vsize=10748324 memory=3803188 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17757/stat : 17757 (java) S 17732 17738 17678 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414324140 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941678265472 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17763] ppid=17732 vsize=10748324 memory=4120 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17763/stat : 17763 (java) S 17732 17738 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414324160 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941677213776 139942443255707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17764] ppid=17732 vsize=10748324 memory=3803188 CPUtime=3.25 cores=0,2,4,6
/proc/17738/task/17764/stat : 17764 (java) S 17732 17738 17678 0 -1 1077944384 20525 0 0 0 321 4 0 0 20 0 16 0 414324160 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941676161648 139942443248258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17765] ppid=17732 vsize=10748324 memory=3803188 CPUtime=3.36 cores=0,2,4,6
/proc/17738/task/17765/stat : 17765 (java) S 17732 17738 17678 0 -1 1077944384 19167 0 0 0 334 2 0 0 20 0 16 0 414324160 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941675108848 139942443248258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17766] ppid=17732 vsize=10748324 memory=164 CPUtime=1 cores=0,2,4,6
/proc/17738/task/17766/stat : 17766 (java) S 17732 17738 17678 0 -1 1077944384 21359 0 0 0 97 3 0 0 20 0 16 0 414324161 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941674056560 139942443248258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17767] ppid=17732 vsize=10748324 memory=606979219283706132 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17767/stat : 17767 (java) S 17732 17738 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414324161 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941673004000 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17769] ppid=17732 vsize=10748324 memory=4120 CPUtime=1.01 cores=0,2,4,6
/proc/17738/task/17769/stat : 17769 (java) S 17732 17738 17678 0 -1 1077944384 2238 0 0 0 52 49 0 0 20 0 16 0 414324170 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941671950768 139942443248258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17770] ppid=17732 vsize=10748324 memory=21440 CPUtime=2495.48 cores=0,2,4,6
/proc/17738/task/17770/stat : 17770 (java) R 17732 17738 17678 0 -1 4202560 132121 0 0 0 249534 14 0 0 20 0 16 0 414324408 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941654880320 139942073452423 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
Current children cumulated CPU time: 2519.9 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 3803188 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2502.4 s]
/proc/loadavg: 1.94 2.00 1.87 4/229 18002
/proc/meminfo: memFree=19889860/32770624 swapFree=67020048/67108860
[pid=17738] ppid=17732 vsize=10748324 memory=3803188 CPUtime=2520 cores=0,2,4,6
/proc/17738/stat : 17738 (java) S 17732 17738 17678 0 -1 1077944320 241753 0 6 0 251546 454 0 0 20 0 16 0 414324118 11006283776 950797 33554432000 4194304 4196468 140722324507040 140722324489584 139942443237111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
/proc/17738/statm: 2687081 950797 3380 1 0 2647217 0
[pid=17738/tid=17741] ppid=17732 vsize=10748324 memory=500 CPUtime=1.86 cores=0,2,4,6
/proc/17738/task/17741/stat : 17741 (java) S 17732 17738 17678 0 -1 1077944384 13925 0 6 0 179 7 0 0 20 0 16 0 414324127 11006283776 950797 33554432000 4194304 4196468 140722324507040 139942447479984 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 43 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17743] ppid=17732 vsize=10748324 memory=6791534058613427641 CPUtime=3.43 cores=0,2,4,6
/proc/17738/task/17743/stat : 17743 (java) S 17732 17738 17678 0 -1 1077944384 3490 0 0 0 245 98 0 0 20 0 16 0 414324137 11006283776 950797 33554432000 4194304 4196468 140722324507040 139942385240976 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17744] ppid=17732 vsize=10748324 memory=1048016 CPUtime=3.42 cores=0,2,4,6
/proc/17738/task/17744/stat : 17744 (java) S 17732 17738 17678 0 -1 1077944384 4898 0 0 0 252 90 0 0 20 0 16 0 414324137 11006283776 950797 33554432000 4194304 4196468 140722324507040 139942384188176 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17746] ppid=17732 vsize=10748324 memory=3803188 CPUtime=3.38 cores=0,2,4,6
/proc/17738/task/17746/stat : 17746 (java) S 17732 17738 17678 0 -1 1077944384 3075 0 0 0 243 95 0 0 20 0 16 0 414324137 11006283776 950797 33554432000 4194304 4196468 140722324507040 139942047833232 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17747] ppid=17732 vsize=10748324 memory=4096 CPUtime=3.44 cores=0,2,4,6
/proc/17738/task/17747/stat : 17747 (java) S 17732 17738 17678 0 -1 1077944384 6717 0 0 0 246 98 0 0 20 0 16 0 414324137 11006283776 950797 33554432000 4194304 4196468 140722324507040 139942046780432 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17753] ppid=17732 vsize=10748324 memory=6791534058613427641 CPUtime=0.15 cores=0,2,4,6
/proc/17738/task/17753/stat : 17753 (java) S 17732 17738 17678 0 -1 1077944384 12818 0 0 0 12 3 0 0 20 0 16 0 414324139 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941680371824 139942443248258 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17755] ppid=17732 vsize=10748324 memory=2676 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17755/stat : 17755 (java) S 17732 17738 17678 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414324139 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941679317856 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17757] ppid=17732 vsize=10748324 memory=13240 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17757/stat : 17757 (java) S 17732 17738 17678 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414324140 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941678265472 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17763] ppid=17732 vsize=10748324 memory=500 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17763/stat : 17763 (java) S 17732 17738 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414324160 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941677213776 139942443255707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17764] ppid=17732 vsize=10748324 memory=6791534058613427641 CPUtime=3.25 cores=0,2,4,6
/proc/17738/task/17764/stat : 17764 (java) S 17732 17738 17678 0 -1 1077944384 20525 0 0 0 321 4 0 0 20 0 16 0 414324160 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941676161648 139942443248258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17765] ppid=17732 vsize=10748324 memory=1572 CPUtime=3.36 cores=0,2,4,6
/proc/17738/task/17765/stat : 17765 (java) S 17732 17738 17678 0 -1 1077944384 19167 0 0 0 334 2 0 0 20 0 16 0 414324160 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941675108848 139942443248258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17766] ppid=17732 vsize=10748324 memory=880 CPUtime=1 cores=0,2,4,6
/proc/17738/task/17766/stat : 17766 (java) S 17732 17738 17678 0 -1 1077944384 21359 0 0 0 97 3 0 0 20 0 16 0 414324161 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941674056560 139942443248258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17767] ppid=17732 vsize=10748324 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/17738/task/17767/stat : 17767 (java) S 17732 17738 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414324161 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941673004000 139942443247317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17769] ppid=17732 vsize=10748324 memory=1844 CPUtime=1.01 cores=0,2,4,6
/proc/17738/task/17769/stat : 17769 (java) S 17732 17738 17678 0 -1 1077944384 2238 0 0 0 52 49 0 0 20 0 16 0 414324170 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941671950768 139942443248258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
[pid=17738/tid=17770] ppid=17732 vsize=10748324 memory=4964 CPUtime=2495.58 cores=0,2,4,6
/proc/17738/task/17770/stat : 17770 (java) R 17732 17738 17678 0 -1 4202560 132121 0 0 0 249544 14 0 0 20 0 16 0 414324408 11006283776 950797 33554432000 4194304 4196468 140722324507040 139941654880320 139942073328640 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 31981568 140722324509707 140722324509810 140722324509810 140722324512719 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 3803188 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2502.43 s]
# the end of solver process 17738 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.47 s, system=4.5694 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2502.43
CPU time (s): 2520.04
CPU user time (s): 2515.47
CPU system time (s): 4.5694
CPU usage (%): 100.704
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 3803188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.47
system time used= 4.5694
maximum resident set size= 3803776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242899
page faults= 6
swaps= 0
block input operations= 12648
block output operations= 2224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58698
involuntary context switches= 2967
# summary of solver processes directly reported to runsolver:
# pid: 17738
# total CPU time (s): 2520.04
# total CPU user time (s): 2515.47
# total CPU system time (s): 4.5694
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7306 second user time and 23.9809 second system time
The end