2.59/2.02
2.59/2.02 AbsCon 2
2.59/2.03
2.83/2.15 Instance
2.83/2.15 name=instance-4391149-1568391877, framework=COP, bounds=-infty..+infty
2.83/2.15
2.83/2.15 Loading variables...
2.83/2.17 Loading constraints...
3.06/2.25
3.06/2.25 Domains
3.06/2.25 nTypes=2, nValues=3654, sizes=[81#36,82#9]
3.06/2.25 Variables
3.06/2.25 count=45, degrees=[2#36,8#8,9#1]
3.06/2.25 Objectives
3.06/2.25 way=min, type=ObjVarLE
3.06/2.25 Constraints
3.06/2.25 count=38, nSpecific=2, arities=[1#1,3#36,36#1]
3.06/2.25 distribution=[AllDifferent#1,CtrIntension#36,ObjVarLE#1]
3.06/2.25 nIntStructures=(1,shared:35)
3.06/2.25 wck=0.266, cpu=2.07, mem=21M228
3.06/2.25 Solver SolverBacktrack being built...
3.06/2.25
3.06/2.27
3.06/2.27 Solver
3.06/2.27 guaranteedGAC=true
3.06/2.27 wck=0.294, cpu=2.096, mem=31M870
3.47/2.46
3.47/2.46 Preprocessing
3.47/2.46 filters=87, revisions=(379,useless=234), ccks=1692905, nACremovedValues=240, nTotalRemovedValues=240, inconcistency=false
3.47/2.46 wck=0.184, cpu=2.281, mem=31M870
3.47/2.46
3.73/2.66 o 65
3.73/2.67 num=0, depth=46..44, filters=488, revisions=(1158,useless=532), ccks=3831334, wck=0.392, mem=31M870
3.73/2.67 decisions=9, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=65
3.73/2.67
4.15/2.99 o 51
4.15/2.99 num=1, depth=46..44, filters=939, revisions=(2415,useless=1211), ccks=7806171, wck=0.721, mem=31M870
4.15/2.99 decisions=18, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=51
4.15/2.99
4.50/3.23 num=2, depth=0..1, filters=1341, revisions=(4176,useless=2329), ccks=10141759, wck=0.954, mem=34M512
4.50/3.23 decisions=41, wrong=11, backtracks=0, failedAssignments=11, nogoods=10, foundSolutions=2, bestBound=51
4.50/3.23
4.65/3.33 num=3, depth=0..0, filters=1833, revisions=(5919,useless=3338), ccks=11150060, wck=1.056, mem=34M512
4.65/3.33 decisions=63, wrong=22, backtracks=0, failedAssignments=22, nogoods=10, foundSolutions=2, bestBound=51
4.65/3.33
4.78/3.47 num=4, depth=0..2, filters=2429, revisions=(7678,useless=4312), ccks=12573754, wck=1.193, mem=34M512
4.78/3.47 decisions=89, wrong=34, backtracks=0, failedAssignments=34, nogoods=17, foundSolutions=2, bestBound=51
4.78/3.47
4.90/3.51 o 50
4.90/3.51 num=5, depth=0..44, filters=2873, revisions=(8593,useless=4718), ccks=12903583, wck=1.236, mem=34M512
4.90/3.51 decisions=101, wrong=37, backtracks=0, failedAssignments=37, nogoods=19, foundSolutions=3, bestBound=50
4.90/3.51
5.10/3.78 num=6, depth=1..2, filters=3827, revisions=(11748,useless=6468), ccks=15964234, wck=1.502, mem=34M512
5.10/3.78 decisions=131, wrong=51, backtracks=0, failedAssignments=51, nogoods=33, foundSolutions=3, bestBound=50
5.10/3.78
5.23/3.81 num=7, depth=1..3, filters=4531, revisions=(13421,useless=7307), ccks=16296073, wck=1.536, mem=34M512
5.23/3.81 decisions=163, wrong=66, backtracks=4, failedAssignments=62, nogoods=36, foundSolutions=3, bestBound=50
5.23/3.81
5.23/3.85 num=8, depth=2..4, filters=5294, revisions=(15084,useless=8091), ccks=16687880, wck=1.575, mem=34M512
5.23/3.85 decisions=192, wrong=79, backtracks=6, failedAssignments=74, nogoods=44, foundSolutions=3, bestBound=50
5.23/3.85
5.47/4.02 num=9, depth=0..1, filters=5774, revisions=(16543,useless=8851), ccks=18636762, wck=1.743, mem=34M512
5.47/4.02 decisions=219, wrong=92, backtracks=6, failedAssignments=87, nogoods=50, foundSolutions=3, bestBound=50
5.47/4.02
5.47/4.08 num=10, depth=0..3, filters=6883, revisions=(19228,useless=10210), ccks=19284012, wck=1.806, mem=37M155
5.47/4.08 decisions=255, wrong=109, backtracks=9, failedAssignments=101, nogoods=62, foundSolutions=3, bestBound=50
5.47/4.08
5.61/4.15 num=11, depth=1..4, filters=7757, revisions=(21378,useless=11319), ccks=20039721, wck=1.875, mem=37M155
5.61/4.15 decisions=290, wrong=125, backtracks=9, failedAssignments=117, nogoods=78, foundSolutions=3, bestBound=50
5.61/4.15
5.71/4.22 num=12, depth=0..2, filters=8382, revisions=(22893,useless=12034), ccks=20801246, wck=1.944, mem=37M155
5.71/4.22 decisions=327, wrong=143, backtracks=10, failedAssignments=134, nogoods=79, foundSolutions=3, bestBound=50
5.71/4.22
5.71/4.26 num=13, depth=0..3, filters=9119, revisions=(24594,useless=12907), ccks=21216525, wck=1.985, mem=37M155
5.71/4.26 decisions=371, wrong=164, backtracks=12, failedAssignments=153, nogoods=92, foundSolutions=3, bestBound=50
5.71/4.26
5.82/4.33 num=14, depth=1..3, filters=10144, revisions=(27013,useless=14138), ccks=21972609, wck=2.055, mem=37M155
5.82/4.33 decisions=421, wrong=188, backtracks=15, failedAssignments=174, nogoods=98, foundSolutions=3, bestBound=50
5.82/4.33
5.82/4.39 num=15, depth=0..4, filters=11796, revisions=(30636,useless=15897), ccks=22564308, wck=2.116, mem=37M155
5.82/4.39 decisions=486, wrong=220, backtracks=25, failedAssignments=197, nogoods=104, foundSolutions=3, bestBound=50
5.82/4.39
5.92/4.47 num=16, depth=0..5, filters=13866, revisions=(34902,useless=17877), ccks=23320917, wck=2.192, mem=37M155
5.92/4.47 decisions=561, wrong=256, backtracks=39, failedAssignments=222, nogoods=114, foundSolutions=3, bestBound=50
5.92/4.47
6.03/4.51 num=17, depth=1..3, filters=15493, revisions=(38378,useless=19545), ccks=23748918, wck=2.239, mem=37M155
6.03/4.51 decisions=632, wrong=291, backtracks=46, failedAssignments=250, nogoods=129, foundSolutions=3, bestBound=50
6.03/4.51
6.03/4.54 o 49
6.03/4.54 num=18, depth=2..44, filters=16901, revisions=(41091,useless=20746), ccks=23969918, wck=2.266, mem=37M155
6.03/4.54 decisions=695, wrong=320, backtracks=49, failedAssignments=276, nogoods=144, foundSolutions=4, bestBound=49
6.03/4.54
6.13/4.66 num=19, depth=1..4, filters=18990, revisions=(46212,useless=23358), ccks=25290665, wck=2.391, mem=37M155
6.13/4.66 decisions=782, wrong=362, backtracks=57, failedAssignments=310, nogoods=155, foundSolutions=4, bestBound=49
6.13/4.66
6.13/4.69 num=20, depth=0..3, filters=19839, revisions=(48013,useless=24223), ccks=25552876, wck=2.418, mem=37M155
6.13/4.69 decisions=813, wrong=377, backtracks=61, failedAssignments=321, nogoods=161, foundSolutions=4, bestBound=49
6.13/4.69
6.23/4.72 num=21, depth=1..4, filters=20846, revisions=(50211,useless=25297), ccks=25782169, wck=2.444, mem=39M797
6.23/4.72 decisions=850, wrong=394, backtracks=67, failedAssignments=333, nogoods=171, foundSolutions=4, bestBound=49
6.23/4.72
6.23/4.75 num=22, depth=0..3, filters=21607, revisions=(51909,useless=26137), ccks=26087864, wck=2.475, mem=39M797
6.23/4.75 decisions=883, wrong=410, backtracks=70, failedAssignments=346, nogoods=177, foundSolutions=4, bestBound=49
6.23/4.75
6.23/4.79 num=23, depth=0..4, filters=22743, revisions=(54515,useless=27392), ccks=26466614, wck=2.515, mem=39M797
6.23/4.79 decisions=922, wrong=428, backtracks=75, failedAssignments=360, nogoods=183, foundSolutions=4, bestBound=49
6.23/4.79
6.35/4.81 o 47
6.35/4.81 num=24, depth=2..44, filters=23588, revisions=(56125,useless=28085), ccks=26625276, wck=2.533, mem=39M797
6.35/4.81 decisions=952, wrong=441, backtracks=79, failedAssignments=369, nogoods=191, foundSolutions=5, bestBound=47
6.35/4.81
6.35/4.87 num=25, depth=2..4, filters=24414, revisions=(58315,useless=29166), ccks=27267164, wck=2.594, mem=39M797
6.35/4.87 decisions=990, wrong=458, backtracks=79, failedAssignments=386, nogoods=208, foundSolutions=5, bestBound=47
6.35/4.87
6.35/4.89 num=26, depth=1..3, filters=25363, revisions=(60249,useless=30031), ccks=27471597, wck=2.617, mem=39M797
6.35/4.89 decisions=1021, wrong=473, backtracks=85, failedAssignments=397, nogoods=213, foundSolutions=5, bestBound=47
6.35/4.89
6.47/4.90 num=27, depth=2..4, filters=26108, revisions=(61741,useless=30715), ccks=27585588, wck=2.631, mem=39M797
6.47/4.90 decisions=1051, wrong=487, backtracks=87, failedAssignments=409, nogoods=216, foundSolutions=5, bestBound=47
6.47/4.90
6.47/4.93 num=28, depth=1..3, filters=26923, revisions=(63479,useless=31526), ccks=27782022, wck=2.652, mem=39M797
6.47/4.93 decisions=1085, wrong=503, backtracks=90, failedAssignments=422, nogoods=221, foundSolutions=5, bestBound=47
6.47/4.93
6.47/4.95 num=29, depth=1..5, filters=28160, revisions=(65949,useless=32620), ccks=27981267, wck=2.676, mem=39M797
6.47/4.95 decisions=1130, wrong=524, backtracks=98, failedAssignments=436, nogoods=226, foundSolutions=5, bestBound=47
6.47/4.95
6.47/4.98 num=30, depth=0..5, filters=29606, revisions=(68826,useless=33902), ccks=28274587, wck=2.709, mem=39M797
6.47/4.98 decisions=1182, wrong=548, backtracks=109, failedAssignments=452, nogoods=234, foundSolutions=5, bestBound=47
6.47/4.98
6.47/5.00 num=31, depth=2..4, filters=30736, revisions=(71021,useless=34851), ccks=28418432, wck=2.727, mem=39M797
6.47/5.00 decisions=1231, wrong=571, backtracks=115, failedAssignments=469, nogoods=241, foundSolutions=5, bestBound=47
6.47/5.00
6.60/5.03 num=32, depth=1..4, filters=32266, revisions=(74283,useless=36417), ccks=28669584, wck=2.757, mem=39M797
6.60/5.03 decisions=1283, wrong=596, backtracks=122, failedAssignments=488, nogoods=248, foundSolutions=5, bestBound=47
6.60/5.03
6.70/5.12 num=33, depth=0..3, filters=33575, revisions=(77535,useless=38072), ccks=29556775, wck=2.843, mem=39M797
6.70/5.12 decisions=1330, wrong=619, backtracks=124, failedAssignments=509, nogoods=256, foundSolutions=5, bestBound=47
6.70/5.12
6.70/5.15 num=34, depth=1..4, filters=35181, revisions=(80751,useless=39523), ccks=29805702, wck=2.873, mem=39M797
6.70/5.15 decisions=1393, wrong=650, backtracks=133, failedAssignments=532, nogoods=262, foundSolutions=5, bestBound=47
6.70/5.15
6.70/5.18 num=35, depth=1..4, filters=36538, revisions=(83635,useless=40903), ccks=30055790, wck=2.902, mem=39M797
6.70/5.18 decisions=1461, wrong=683, backtracks=142, failedAssignments=557, nogoods=271, foundSolutions=5, bestBound=47
6.70/5.18
6.80/5.20 num=36, depth=2..4, filters=38913, revisions=(88056,useless=42688), ccks=30240253, wck=2.928, mem=39M797
6.80/5.20 decisions=1560, wrong=731, backtracks=162, failedAssignments=585, nogoods=279, foundSolutions=5, bestBound=47
6.80/5.20
6.80/5.24 num=37, depth=1..5, filters=41194, revisions=(92888,useless=45028), ccks=30526944, wck=2.965, mem=42M440
6.80/5.24 decisions=1652, wrong=776, backtracks=177, failedAssignments=616, nogoods=287, foundSolutions=5, bestBound=47
6.80/5.24
6.94/5.30 num=38, depth=2..4, filters=43455, revisions=(97955,useless=47493), ccks=31104160, wck=3.027, mem=42M440
6.94/5.30 decisions=1743, wrong=820, backtracks=187, failedAssignments=650, nogoods=299, foundSolutions=5, bestBound=47
6.94/5.30
6.94/5.37 num=39, depth=0..5, filters=46109, revisions=(103556,useless=50180), ccks=31791078, wck=3.101, mem=42M440
6.94/5.37 decisions=1845, wrong=870, backtracks=201, failedAssignments=687, nogoods=318, foundSolutions=5, bestBound=47
6.94/5.37
7.05/5.43 num=40, depth=1..4, filters=48701, revisions=(108990,useless=52688), ccks=32260142, wck=3.155, mem=42M440
7.05/5.43 decisions=1949, wrong=921, backtracks=211, failedAssignments=728, nogoods=323, foundSolutions=5, bestBound=47
7.05/5.43
7.05/5.47 num=41, depth=0..4, filters=51382, revisions=(114703,useless=55455), ccks=32639490, wck=3.2, mem=42M440
7.05/5.47 decisions=2069, wrong=980, backtracks=225, failedAssignments=773, nogoods=334, foundSolutions=5, bestBound=47
7.05/5.47
7.15/5.52 num=42, depth=0..5, filters=54667, revisions=(121170,useless=58234), ccks=33021556, wck=3.248, mem=42M440
7.15/5.52 decisions=2212, wrong=1050, backtracks=248, failedAssignments=823, nogoods=339, foundSolutions=5, bestBound=47
7.15/5.52
7.25/5.60 num=43, depth=0..5, filters=59501, revisions=(131226,useless=62910), ccks=33679312, wck=3.329, mem=42M440
7.25/5.60 decisions=2382, wrong=1134, backtracks=279, failedAssignments=878, nogoods=351, foundSolutions=5, bestBound=47
7.25/5.60
7.25/5.68 num=44, depth=0..4, filters=63606, revisions=(139735,useless=66821), ccks=34385433, wck=3.411, mem=45M82
7.25/5.68 decisions=2548, wrong=1216, backtracks=306, failedAssignments=939, nogoods=356, foundSolutions=5, bestBound=47
7.25/5.68
7.36/5.72 num=45, depth=2..4, filters=68324, revisions=(148321,useless=70319), ccks=34630378, wck=3.451, mem=45M82
7.36/5.72 decisions=2749, wrong=1315, backtracks=340, failedAssignments=1006, nogoods=370, foundSolutions=5, bestBound=47
7.36/5.72
7.46/5.87 num=46, depth=0..4, filters=73041, revisions=(159318,useless=75863), ccks=36000024, wck=3.597, mem=45M82
7.46/5.87 decisions=2942, wrong=1411, backtracks=363, failedAssignments=1080, nogoods=374, foundSolutions=5, bestBound=47
7.46/5.87
7.56/5.92 num=47, depth=0..4, filters=78360, revisions=(169898,useless=80626), ccks=36313681, wck=3.646, mem=45M82
7.56/5.92 decisions=3175, wrong=1527, backtracks=399, failedAssignments=1161, nogoods=383, foundSolutions=5, bestBound=47
7.56/5.92
7.77/6.11 num=48, depth=1..5, filters=84770, revisions=(184143,useless=87389), ccks=38114653, wck=3.839, mem=45M82
7.77/6.11 decisions=3419, wrong=1648, backtracks=436, failedAssignments=1250, nogoods=408, foundSolutions=5, bestBound=47
7.77/6.11
7.77/6.19 num=49, depth=1..4, filters=90604, revisions=(195667,useless=92333), ccks=38690177, wck=3.916, mem=47M724
7.77/6.19 decisions=3680, wrong=1777, backtracks=474, failedAssignments=1348, nogoods=417, foundSolutions=5, bestBound=47
7.77/6.19
7.89/6.23 num=50, depth=1..4, filters=96582, revisions=(206763,useless=97160), ccks=38899813, wck=3.958, mem=47M724
7.89/6.23 decisions=3971, wrong=1921, backtracks=515, failedAssignments=1456, nogoods=429, foundSolutions=5, bestBound=47
7.89/6.23
8.01/6.37 num=51, depth=0..5, filters=104206, revisions=(222965,useless=104933), ccks=40015954, wck=4.093, mem=47M724
8.01/6.37 decisions=4297, wrong=2082, backtracks=557, failedAssignments=1575, nogoods=441, foundSolutions=5, bestBound=47
8.01/6.37
8.11/6.46 o 45
8.11/6.46 num=52, depth=0..44, filters=111066, revisions=(236759,useless=111301), ccks=40709224, wck=4.186, mem=47M724
8.11/6.46 decisions=4603, wrong=2233, backtracks=605, failedAssignments=1683, nogoods=447, foundSolutions=6, bestBound=45
8.11/6.46
8.32/6.64 num=53, depth=1..6, filters=119360, revisions=(254157,useless=119236), ccks=42255449, wck=4.363, mem=50M367
8.32/6.64 decisions=4974, wrong=2417, backtracks=648, failedAssignments=1827, nogoods=456, foundSolutions=6, bestBound=45
8.32/6.64
8.32/6.65 num=54, depth=2..4, filters=120360, revisions=(256095,useless=120050), ccks=42393954, wck=4.38, mem=50M367
8.32/6.65 decisions=5010, wrong=2434, backtracks=655, failedAssignments=1838, nogoods=458, foundSolutions=6, bestBound=45
8.32/6.65
8.32/6.68 num=55, depth=1..3, filters=121412, revisions=(258401,useless=121178), ccks=42591935, wck=4.403, mem=50M367
8.32/6.68 decisions=5047, wrong=2451, backtracks=660, failedAssignments=1850, nogoods=464, foundSolutions=6, bestBound=45
8.32/6.68
8.42/6.71 num=56, depth=1..3, filters=122569, revisions=(260910,useless=122270), ccks=42887366, wck=4.435, mem=50M367
8.42/6.71 decisions=5087, wrong=2470, backtracks=666, failedAssignments=1863, nogoods=466, foundSolutions=6, bestBound=45
8.42/6.71
8.42/6.73 num=57, depth=1..5, filters=123949, revisions=(263749,useless=123611), ccks=43058473, wck=4.457, mem=50M367
8.42/6.73 decisions=5134, wrong=2493, backtracks=676, failedAssignments=1877, nogoods=471, foundSolutions=6, bestBound=45
8.42/6.73
8.42/6.75 num=58, depth=2..5, filters=124765, revisions=(265487,useless=124400), ccks=43251947, wck=4.479, mem=50M367
8.42/6.75 decisions=5173, wrong=2511, backtracks=680, failedAssignments=1893, nogoods=478, foundSolutions=6, bestBound=45
8.42/6.75
8.42/6.78 num=59, depth=1..4, filters=126015, revisions=(268162,useless=125679), ccks=43460482, wck=4.504, mem=50M367
8.42/6.78 decisions=5222, wrong=2535, backtracks=687, failedAssignments=1910, nogoods=484, foundSolutions=6, bestBound=45
8.42/6.78
8.52/6.85 num=60, depth=0..4, filters=127509, revisions=(271668,useless=127451), ccks=44132275, wck=4.572, mem=50M367
8.52/6.85 decisions=5281, wrong=2563, backtracks=697, failedAssignments=1929, nogoods=490, foundSolutions=6, bestBound=45
8.52/6.85
8.52/6.87 num=61, depth=1..4, filters=129016, revisions=(274688,useless=128868), ccks=44289690, wck=4.593, mem=50M367
8.52/6.87 decisions=5347, wrong=2595, backtracks=708, failedAssignments=1950, nogoods=498, foundSolutions=6, bestBound=45
8.52/6.87
8.52/6.89 num=62, depth=2..4, filters=130801, revisions=(278019,useless=130191), ccks=44435968, wck=4.615, mem=50M367
8.52/6.89 decisions=5418, wrong=2629, backtracks=719, failedAssignments=1973, nogoods=502, foundSolutions=6, bestBound=45
8.52/6.89
8.62/6.97 num=63, depth=0..3, filters=132992, revisions=(282847,useless=132473), ccks=45215323, wck=4.696, mem=53M9
8.62/6.97 decisions=5500, wrong=2669, backtracks=735, failedAssignments=1998, nogoods=503, foundSolutions=6, bestBound=45
8.62/6.97
8.62/7.00 num=64, depth=0..4, filters=134968, revisions=(286834,useless=134281), ccks=45488804, wck=4.728, mem=53M9
8.62/7.00 decisions=5579, wrong=2707, backtracks=747, failedAssignments=2026, nogoods=514, foundSolutions=6, bestBound=45
8.62/7.00
8.73/7.03 num=65, depth=0..4, filters=136733, revisions=(290466,useless=136055), ccks=45710022, wck=4.756, mem=53M9
8.73/7.03 decisions=5670, wrong=2751, backtracks=762, failedAssignments=2057, nogoods=517, foundSolutions=6, bestBound=45
8.73/7.03
8.73/7.05 num=66, depth=2..5, filters=138939, revisions=(294593,useless=137717), ccks=45867784, wck=4.78, mem=53M9
8.73/7.05 decisions=5767, wrong=2798, backtracks=776, failedAssignments=2091, nogoods=525, foundSolutions=6, bestBound=45
8.73/7.05
8.73/7.09 num=67, depth=1..3, filters=141213, revisions=(299407,useless=140037), ccks=46141362, wck=4.815, mem=53M9
8.73/7.09 decisions=5864, wrong=2845, backtracks=786, failedAssignments=2128, nogoods=536, foundSolutions=6, bestBound=45
8.73/7.09
8.83/7.11 num=68, depth=1..4, filters=143564, revisions=(303799,useless=141925), ccks=46269749, wck=4.835, mem=53M9
8.83/7.11 decisions=5979, wrong=2902, backtracks=807, failedAssignments=2169, nogoods=537, foundSolutions=6, bestBound=45
8.83/7.11
8.83/7.15 num=69, depth=1..5, filters=146820, revisions=(310366,useless=144896), ccks=46552104, wck=4.875, mem=53M9
8.83/7.15 decisions=6124, wrong=2974, backtracks=836, failedAssignments=2214, nogoods=542, foundSolutions=6, bestBound=45
8.83/7.15
8.83/7.19 num=70, depth=0..5, filters=149643, revisions=(316111,useless=147532), ccks=46874880, wck=4.917, mem=53M9
8.83/7.19 decisions=6253, wrong=3037, backtracks=853, failedAssignments=2264, nogoods=557, foundSolutions=6, bestBound=45
8.83/7.19
8.92/7.22 num=71, depth=1..4, filters=152853, revisions=(322141,useless=150094), ccks=47087940, wck=4.949, mem=53M9
8.92/7.22 decisions=6400, wrong=3110, backtracks=871, failedAssignments=2319, nogoods=559, foundSolutions=6, bestBound=45
8.92/7.22
8.92/7.30 num=72, depth=0..4, filters=157759, revisions=(332600,useless=155065), ccks=47647551, wck=5.022, mem=53M9
8.92/7.30 decisions=6589, wrong=3204, backtracks=905, failedAssignments=2380, nogoods=566, foundSolutions=6, bestBound=45
8.92/7.30
9.03/7.34 num=73, depth=2..5, filters=161590, revisions=(339882,useless=158099), ccks=47917834, wck=5.062, mem=55M652
9.03/7.34 decisions=6758, wrong=3287, backtracks=926, failedAssignments=2447, nogoods=578, foundSolutions=6, bestBound=45
9.03/7.34
9.13/7.42 num=74, depth=0..4, filters=167339, revisions=(352278,useless=164213), ccks=48524139, wck=5.144, mem=55M652
9.13/7.42 decisions=6998, wrong=3406, backtracks=975, failedAssignments=2521, nogoods=585, foundSolutions=6, bestBound=45
9.13/7.42
9.23/7.53 num=75, depth=0..5, filters=172326, revisions=(363034,useless=169106), ccks=49499553, wck=5.256, mem=55M652
9.23/7.53 decisions=7216, wrong=3513, backtracks=1006, failedAssignments=2602, nogoods=601, foundSolutions=6, bestBound=45
9.23/7.53
9.43/7.70 num=76, depth=0..5, filters=179042, revisions=(378174,useless=176402), ccks=51040359, wck=5.43, mem=55M652
9.43/7.70 decisions=7475, wrong=3641, backtracks=1052, failedAssignments=2691, nogoods=611, foundSolutions=6, bestBound=45
9.43/7.70
9.43/7.79 num=77, depth=1..4, filters=185976, revisions=(392552,useless=183150), ccks=51633617, wck=5.515, mem=58M294
9.43/7.79 decisions=7756, wrong=3780, backtracks=1093, failedAssignments=2789, nogoods=625, foundSolutions=6, bestBound=45
9.43/7.79
9.54/7.88 num=78, depth=1..4, filters=192887, revisions=(406292,useless=189018), ccks=52327785, wck=5.609, mem=58M294
9.54/7.88 decisions=8044, wrong=3923, backtracks=1132, failedAssignments=2897, nogoods=629, foundSolutions=6, bestBound=45
9.54/7.88
9.81/8.05 num=79, depth=0..4, filters=201024, revisions=(424288,useless=197653), ccks=53755597, wck=5.779, mem=58M294
9.81/8.05 decisions=8370, wrong=4085, backtracks=1183, failedAssignments=3016, nogoods=634, foundSolutions=6, bestBound=45
9.81/8.05
9.91/8.13 num=80, depth=0..5, filters=209029, revisions=(440061,useless=204633), ccks=54222429, wck=5.854, mem=60M937
9.91/8.13 decisions=8731, wrong=4264, backtracks=1236, failedAssignments=3147, nogoods=643, foundSolutions=6, bestBound=45
9.91/8.13
10.10/8.34 num=81, depth=1..5, filters=218349, revisions=(459379,useless=212835), ccks=56032752, wck=6.065, mem=60M937
10.10/8.34 decisions=9119, wrong=4457, backtracks=1288, failedAssignments=3291, nogoods=658, foundSolutions=6, bestBound=45
10.10/8.34
10.31/8.55 num=82, depth=0..5, filters=228199, revisions=(480353,useless=222341), ccks=57792024, wck=6.272, mem=60M937
10.31/8.55 decisions=9542, wrong=4667, backtracks=1352, failedAssignments=3449, nogoods=669, foundSolutions=6, bestBound=45
10.31/8.55
10.31/8.57 o 44
10.31/8.57 num=83, depth=2..44, filters=231050, revisions=(485734,useless=224600), ccks=57956311, wck=6.299, mem=63M579
10.31/8.57 decisions=9683, wrong=4735, backtracks=1373, failedAssignments=3499, nogoods=681, foundSolutions=7, bestBound=44
10.31/8.57
10.65/8.83 num=84, depth=1..5, filters=243852, revisions=(512885,useless=236636), ccks=60123550, wck=6.552, mem=63M579
10.65/8.83 decisions=10199, wrong=4991, backtracks=1445, failedAssignments=3690, nogoods=694, foundSolutions=7, bestBound=44
10.65/8.83
10.65/8.85 num=85, depth=0..5, filters=244677, revisions=(514684,useless=237490), ccks=60319507, wck=6.573, mem=63M579
10.65/8.85 decisions=10234, wrong=5007, backtracks=1452, failedAssignments=3701, nogoods=696, foundSolutions=7, bestBound=44
10.65/8.85
10.65/8.86 num=86, depth=1..5, filters=245681, revisions=(516640,useless=238325), ccks=60434272, wck=6.589, mem=63M579
10.65/8.86 decisions=10270, wrong=5024, backtracks=1460, failedAssignments=3713, nogoods=699, foundSolutions=7, bestBound=44
10.65/8.86
10.65/8.89 num=87, depth=1..5, filters=246991, revisions=(519491,useless=239648), ccks=60709874, wck=6.621, mem=63M579
10.65/8.89 decisions=10318, wrong=5047, backtracks=1470, failedAssignments=3726, nogoods=703, foundSolutions=7, bestBound=44
10.65/8.89
10.75/8.93 num=88, depth=0..5, filters=248294, revisions=(522538,useless=241222), ccks=61001669, wck=6.654, mem=63M579
10.75/8.93 decisions=10365, wrong=5070, backtracks=1481, failedAssignments=3740, nogoods=708, foundSolutions=7, bestBound=44
10.75/8.93
10.75/8.94 num=89, depth=1..4, filters=249401, revisions=(524855,useless=242227), ccks=61130454, wck=6.671, mem=63M579
10.75/8.94 decisions=10416, wrong=5094, backtracks=1492, failedAssignments=3756, nogoods=712, foundSolutions=7, bestBound=44
10.75/8.94
10.75/8.96 num=90, depth=3..5, filters=250712, revisions=(527265,useless=243192), ccks=61255048, wck=6.688, mem=63M579
10.75/8.96 decisions=10472, wrong=5120, backtracks=1501, failedAssignments=3773, nogoods=719, foundSolutions=7, bestBound=44
10.75/8.96
10.75/8.99 num=91, depth=1..4, filters=252053, revisions=(530248,useless=244698), ccks=61459358, wck=6.713, mem=63M579
10.75/8.99 decisions=10525, wrong=5146, backtracks=1509, failedAssignments=3792, nogoods=730, foundSolutions=7, bestBound=44
10.75/8.99
10.86/9.01 num=92, depth=2..6, filters=253597, revisions=(533198,useless=245930), ccks=61622880, wck=6.735, mem=66M221
10.86/9.01 decisions=10592, wrong=5178, backtracks=1522, failedAssignments=3813, nogoods=733, foundSolutions=7, bestBound=44
10.86/9.01
10.86/9.04 num=93, depth=0..5, filters=255284, revisions=(536930,useless=247680), ccks=61895083, wck=6.767, mem=66M221
10.86/9.04 decisions=10662, wrong=5212, backtracks=1537, failedAssignments=3836, nogoods=738, foundSolutions=7, bestBound=44
10.86/9.04
10.86/9.07 num=94, depth=2..5, filters=257058, revisions=(540437,useless=249126), ccks=62106847, wck=6.795, mem=66M221
10.86/9.07 decisions=10736, wrong=5247, backtracks=1548, failedAssignments=3861, nogoods=744, foundSolutions=7, bestBound=44
10.86/9.07
10.98/9.11 num=95, depth=2..5, filters=259148, revisions=(544848,useless=251068), ccks=62440975, wck=6.835, mem=66M221
10.98/9.11 decisions=10822, wrong=5289, backtracks=1563, failedAssignments=3889, nogoods=754, foundSolutions=7, bestBound=44
10.98/9.11
10.98/9.13 num=96, depth=1..5, filters=260927, revisions=(548528,useless=252830), ccks=62585374, wck=6.857, mem=66M221
10.98/9.13 decisions=10909, wrong=5332, backtracks=1579, failedAssignments=3920, nogoods=757, foundSolutions=7, bestBound=44
10.98/9.13
10.98/9.19 num=97, depth=1..4, filters=263131, revisions=(553710,useless=255379), ccks=63124756, wck=6.918, mem=66M221
10.98/9.19 decisions=10997, wrong=5375, backtracks=1589, failedAssignments=3954, nogoods=769, foundSolutions=7, bestBound=44
10.98/9.19
11.07/9.27 num=98, depth=0..4, filters=265504, revisions=(559149,useless=257867), ccks=63822378, wck=6.993, mem=66M221
11.07/9.27 decisions=11095, wrong=5423, backtracks=1601, failedAssignments=3991, nogoods=770, foundSolutions=7, bestBound=44
11.07/9.27
11.17/9.35 num=99, depth=1..4, filters=268354, revisions=(565861,useless=261068), ccks=64557393, wck=7.075, mem=66M221
11.17/9.35 decisions=11215, wrong=5482, backtracks=1620, failedAssignments=4032, nogoods=782, foundSolutions=7, bestBound=44
11.17/9.35
11.27/9.40 num=100, depth=0..5, filters=270482, revisions=(570504,useless=263245), ccks=64989826, wck=7.123, mem=66M221
11.27/9.40 decisions=11325, wrong=5536, backtracks=1631, failedAssignments=4077, nogoods=794, foundSolutions=7, bestBound=44
11.27/9.40
11.27/9.45 num=101, depth=1..4, filters=273915, revisions=(578130,useless=267009), ccks=65376401, wck=7.176, mem=68M864
11.27/9.45 decisions=11458, wrong=5601, backtracks=1648, failedAssignments=4127, nogoods=804, foundSolutions=7, bestBound=44
11.27/9.45
11.37/9.58 num=102, depth=1..4, filters=277673, revisions=(586762,useless=270830), ccks=66623856, wck=7.308, mem=68M864
11.37/9.58 decisions=11611, wrong=5676, backtracks=1670, failedAssignments=4182, nogoods=816, foundSolutions=7, bestBound=44
11.37/9.58
11.47/9.63 num=103, depth=0..5, filters=281690, revisions=(595117,useless=274787), ccks=67005272, wck=7.36, mem=68M864
11.47/9.63 decisions=11780, wrong=5760, backtracks=1694, failedAssignments=4243, nogoods=818, foundSolutions=7, bestBound=44
11.47/9.63
11.47/9.68 num=104, depth=1..5, filters=285968, revisions=(603450,useless=278434), ccks=67277124, wck=7.402, mem=68M864
11.47/9.68 decisions=11974, wrong=5855, backtracks=1727, failedAssignments=4310, nogoods=826, foundSolutions=7, bestBound=44
11.47/9.68
11.57/9.74 num=105, depth=1..5, filters=290871, revisions=(613533,useless=283127), ccks=67687434, wck=7.463, mem=68M864
11.57/9.74 decisions=12174, wrong=5954, backtracks=1757, failedAssignments=4384, nogoods=840, foundSolutions=7, bestBound=44
11.57/9.74
11.67/9.89 num=106, depth=1..5, filters=295699, revisions=(624722,useless=288406), ccks=69121444, wck=7.618, mem=68M864
11.67/9.89 decisions=12378, wrong=6055, backtracks=1783, failedAssignments=4465, nogoods=860, foundSolutions=7, bestBound=44
11.67/9.89
11.88/10.09 num=107, depth=0..4, filters=302604, revisions=(639712,useless=294886), ccks=70926259, wck=7.816, mem=71M507
11.88/10.09 decisions=12658, wrong=6193, backtracks=1837, failedAssignments=4554, nogoods=862, foundSolutions=7, bestBound=44
11.88/10.09
12.07/10.24 num=108, depth=1..5, filters=309211, revisions=(653919,useless=301108), ccks=72286418, wck=7.971, mem=71M507
12.07/10.24 decisions=12929, wrong=6327, backtracks=1883, failedAssignments=4652, nogoods=871, foundSolutions=7, bestBound=44
12.07/10.24
12.17/10.32 num=109, depth=1..5, filters=316156, revisions=(667619,useless=306821), ccks=72764847, wck=8.046, mem=71M507
12.17/10.32 decisions=13232, wrong=6477, backtracks=1933, failedAssignments=4760, nogoods=883, foundSolutions=7, bestBound=44
12.17/10.32
12.29/10.42 num=110, depth=0..5, filters=324862, revisions=(685016,useless=314599), ccks=73456092, wck=8.147, mem=74M149
12.29/10.42 decisions=13581, wrong=6651, backtracks=1992, failedAssignments=4879, nogoods=885, foundSolutions=7, bestBound=44
12.29/10.42
12.39/10.56 num=111, depth=0..4, filters=334871, revisions=(706530,useless=324452), ccks=74436048, wck=8.282, mem=74M149
12.39/10.56 decisions=13992, wrong=6855, backtracks=2072, failedAssignments=5010, nogoods=899, foundSolutions=7, bestBound=44
12.39/10.56
12.59/10.70 num=112, depth=0..5, filters=344249, revisions=(726060,useless=333491), ccks=75536530, wck=8.424, mem=74M149
12.59/10.70 decisions=14405, wrong=7061, backtracks=2144, failedAssignments=5154, nogoods=907, foundSolutions=7, bestBound=44
12.59/10.70
12.69/10.82 num=113, depth=0..5, filters=355915, revisions=(750152,useless=344324), ccks=76275714, wck=8.543, mem=76M792
12.69/10.82 decisions=14884, wrong=7299, backtracks=2232, failedAssignments=5312, nogoods=913, foundSolutions=7, bestBound=44
12.69/10.82
12.82/10.95 num=114, depth=0..5, filters=367467, revisions=(774635,useless=355636), ccks=77203848, wck=8.681, mem=76M792
12.82/10.95 decisions=15375, wrong=7544, backtracks=2308, failedAssignments=5486, nogoods=928, foundSolutions=7, bestBound=44
12.82/10.95
13.13/11.26 num=115, depth=0..5, filters=380349, revisions=(803923,useless=370144), ccks=79830810, wck=8.984, mem=79M434
13.13/11.26 decisions=15913, wrong=7812, backtracks=2392, failedAssignments=5677, nogoods=937, foundSolutions=7, bestBound=44
13.13/11.26
13.52/11.62 num=116, depth=0..5, filters=395853, revisions=(838537,useless=386628), ccks=83002804, wck=9.347, mem=79M434
13.52/11.62 decisions=16533, wrong=8121, backtracks=2500, failedAssignments=5888, nogoods=943, foundSolutions=7, bestBound=44
13.52/11.62
13.82/11.90 num=117, depth=0..5, filters=411787, revisions=(870938,useless=400424), ccks=85235719, wck=9.627, mem=82M76
13.82/11.90 decisions=17220, wrong=8463, backtracks=2624, failedAssignments=6120, nogoods=948, foundSolutions=7, bestBound=44
13.82/11.90
14.22/12.32 num=118, depth=0..5, filters=430126, revisions=(911231,useless=419154), ccks=88853166, wck=10.046, mem=84M719
14.22/12.32 decisions=17946, wrong=8825, backtracks=2749, failedAssignments=6375, nogoods=956, foundSolutions=7, bestBound=44
14.22/12.32
14.53/12.68 num=119, depth=0..5, filters=450858, revisions=(953619,useless=437624), ccks=91673354, wck=10.403, mem=87M361
14.53/12.68 decisions=18760, wrong=9230, backtracks=2896, failedAssignments=6656, nogoods=969, foundSolutions=7, bestBound=44
14.53/12.68
14.93/13.10 num=120, depth=0..5, filters=470368, revisions=(996507,useless=458367), ccks=95302219, wck=10.827, mem=90M4
14.93/13.10 decisions=19615, wrong=9657, backtracks=3027, failedAssignments=6965, nogoods=978, foundSolutions=7, bestBound=44
14.93/13.10
15.33/13.45
15.33/13.45 New Bounds: 44..43
15.33/13.45 num=121, depth=0..4, filters=483107, revisions=(1025851,useless=472516), ccks=98464308, wck=11.176, mem=90M4
15.33/13.45 decisions=20113, wrong=9907, backtracks=3105, failedAssignments=7145, foundSolutions=7, bestBound=44
15.33/13.45
15.33/13.45 Global
15.33/13.45 filters=483107, revisions=(1025851,useless=472516), ccks=98464308
15.33/13.45 Stop=FULL_EXPLORATION, wrong=9907, bestBound=44, bestBoundWck=6.592, bestBoundCpu=8.393, foundSolutions=7, firstSolCpu=2.48
15.33/13.45 wck=11.471, cpu=13.272, mem=90M4
15.33/13.45
15.33/13.45 v <instantiation id='sol7' type='solution' cost='44'> <list> x[] y[][] </list> <values> 0 1 5 12 25 27 35 41 44 * 1 5 12 25 27 35 41 44 * * 4 11 24 26 34 40 43 * * * 7 20 22 30 36 39 * * * * 13 15 23 29 32 * * * * * 2 10 16 19 * * * * * * 8 14 17 * * * * * * * 6 9 * * * * * * * * 3 * * * * * * * * * </values> </instantiation>
15.33/13.45 s OPTIMUM FOUND
15.33/13.45
15.33/13.45 d WRONG_DECISIONS 9907
15.33/13.45 d NUMBER_SOLUTIONS 7
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 (13559 MiB free)
memory of node 1: 16384 MiB (14177 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391149-1568391877/watcher-4391149-1568391877 -o /tmp/evaluation-result-4391149-1568391877/solver-4391149-1568391877 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568389883-24253 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391149-1568391877.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
solver pid=25237, runsolver pid=25234
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 1.92 1.82 1.78 5/230 25252
/proc/meminfo: memFree=28386240/32770624 swapFree=67004752/67108860
[pid=25237] ppid=25234 vsize=10659884 memory=27428 CPUtime=0.13 cores=1,3,5,7
/proc/25237/stat : 25237 (java) S 25234 25237 24221 0 -1 1077944320 5386 0 0 0 12 1 0 0 20 0 15 0 415455517 10915721216 6857 33554432000 4194304 4196468 140732518286224 140732518268768 140219262287607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
/proc/25237/statm: 2664971 6857 2840 1 0 2627468 0
[pid=25237/tid=25239] ppid=25234 vsize=10659884 memory=8514726395714820750 CPUtime=0.09 cores=1,3,5,7
/proc/25237/task/25239/stat : 25239 (java) R 25234 25237 24221 0 -1 4202560 3202 0 0 0 8 1 0 0 20 0 15 0 415455518 10915721216 6857 33554432000 4194304 4196468 140732518286224 140219266515488 140219254524734 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25240] ppid=25234 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25240/stat : 25240 (java) S 25234 25237 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415455518 10915721216 6857 33554432000 4194304 4196468 140732518286224 140219214907920 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25241] ppid=25234 vsize=10659884 memory=140445772424832 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25241/stat : 25241 (java) S 25234 25237 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415455518 10915721216 6857 33554432000 4194304 4196468 140732518286224 140219213855376 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25242] ppid=25234 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25242/stat : 25242 (java) S 25234 25237 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415455518 10915721216 6857 33554432000 4194304 4196468 140732518286224 140219212802320 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25243] ppid=25234 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25243/stat : 25243 (java) S 25234 25237 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415455518 10915721216 6857 33554432000 4194304 4196468 140732518286224 140219211749776 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25244] ppid=25234 vsize=10659884 memory=140445772424832 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25244/stat : 25244 (java) S 25234 25237 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415455520 10915721216 6857 33554432000 4194304 4196468 140732518286224 140218821176048 140219262298754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25245] ppid=25234 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25245/stat : 25245 (java) S 25234 25237 24221 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415455520 10915721216 6857 33554432000 4194304 4196468 140732518286224 140218820122272 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25246] ppid=25234 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25246/stat : 25246 (java) S 25234 25237 24221 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415455520 10915721216 6857 33554432000 4194304 4196468 140732518286224 140218819069168 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25247] ppid=25234 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25247/stat : 25247 (java) S 25234 25237 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415455523 10915721216 6857 33554432000 4194304 4196468 140732518286224 140218818017744 140219262306203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25248] ppid=25234 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/25237/task/25248/stat : 25248 (java) S 25234 25237 24221 0 -1 1077944384 356 0 0 0 1 0 0 0 20 0 15 0 415455523 10915721216 6857 33554432000 4194304 4196468 140732518286224 140218816964848 140219262298754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25249] ppid=25234 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25249/stat : 25249 (java) S 25234 25237 24221 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 415455523 10915721216 6857 33554432000 4194304 4196468 140732518286224 140218815912304 140219262298754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25250] ppid=25234 vsize=10659884 memory=140445772424832 CPUtime=0.02 cores=1,3,5,7
/proc/25237/task/25250/stat : 25250 (java) R 25234 25237 24221 0 -1 4202560 346 0 0 0 2 0 0 0 20 0 15 0 415455523 10915721216 6857 33554432000 4194304 4196468 140732518286224 140218814859248 140219240807783 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25251] ppid=25234 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25251/stat : 25251 (java) S 25234 25237 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415455523 10915721216 6857 33554432000 4194304 4196468 140732518286224 140218813806944 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25252] ppid=25234 vsize=10659884 memory=140445772424832 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25252/stat : 25252 (java) S 25234 25237 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415455523 10915721216 6857 33554432000 4194304 4196468 140732518286224 140218812754992 140219262298754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27428 KiB
[startup+0.210703 s]*
/proc/loadavg: 1.92 1.82 1.78 2/230 25252
/proc/meminfo: memFree=28380696/32770624 swapFree=67004752/67108860
[pid=25237] ppid=25234 vsize=10659884 memory=31036 CPUtime=0.2 cores=1,3,5,7
/proc/25237/stat : 25237 (java) S 25234 25237 24221 0 -1 1077944320 6318 0 0 0 18 2 0 0 20 0 15 0 415455517 10915721216 7759 33554432000 4194304 4196468 140732518286224 140732518268768 140219262287607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
/proc/25237/statm: 2664971 7759 2890 1 0 2627468 0
[pid=25237/tid=25239] ppid=25234 vsize=10659884 memory=7022364594140610616 CPUtime=0.12 cores=1,3,5,7
/proc/25237/task/25239/stat : 25239 (java) D 25234 25237 24221 0 -1 4202560 3487 0 0 0 11 1 0 0 20 0 15 0 415455518 10915721216 7759 33554432000 4194304 4196468 140732518286224 140219266519536 140219262309533 0 4 0 16800975 18446744072100592773 0 0 -1 5 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25240] ppid=25234 vsize=10659884 memory=339 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25240/stat : 25240 (java) S 25234 25237 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415455518 10915721216 7759 33554432000 4194304 4196468 140732518286224 140219214907920 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25241] ppid=25234 vsize=10659884 memory=3546216302620452512 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25241/stat : 25241 (java) S 25234 25237 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415455518 10915721216 7759 33554432000 4194304 4196468 140732518286224 140219213855376 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25242] ppid=25234 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25242/stat : 25242 (java) S 25234 25237 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415455518 10915721216 7759 33554432000 4194304 4196468 140732518286224 140219212802320 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25243] ppid=25234 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25243/stat : 25243 (java) S 25234 25237 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415455518 10915721216 7759 33554432000 4194304 4196468 140732518286224 140219211749776 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25244] ppid=25234 vsize=10659884 memory=140445772424832 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25244/stat : 25244 (java) S 25234 25237 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415455520 10915721216 7759 33554432000 4194304 4196468 140732518286224 140218821176048 140219262298754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25245] ppid=25234 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25245/stat : 25245 (java) S 25234 25237 24221 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415455520 10915721216 7759 33554432000 4194304 4196468 140732518286224 140218820122272 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25246] ppid=25234 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25246/stat : 25246 (java) S 25234 25237 24221 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415455520 10915721216 7759 33554432000 4194304 4196468 140732518286224 140218819069168 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25247] ppid=25234 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25247/stat : 25247 (java) S 25234 25237 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415455523 10915721216 7759 33554432000 4194304 4196468 140732518286224 140218818017744 140219262306203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25248] ppid=25234 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25237/task/25248/stat : 25248 (java) S 25234 25237 24221 0 -1 1077944384 642 0 0 0 2 0 0 0 20 0 15 0 415455523 10915721216 7759 33554432000 4194304 4196468 140732518286224 140218816964848 140219262298754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25249] ppid=25234 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25249/stat : 25249 (java) S 25234 25237 24221 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 415455523 10915721216 7759 33554432000 4194304 4196468 140732518286224 140218815912304 140219262298754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25250] ppid=25234 vsize=10659884 memory=140445772424832 CPUtime=0.04 cores=1,3,5,7
/proc/25237/task/25250/stat : 25250 (java) S 25234 25237 24221 0 -1 1077944384 706 0 0 0 4 0 0 0 20 0 15 0 415455523 10915721216 7759 33554432000 4194304 4196468 140732518286224 140218814859248 140219262298754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25251] ppid=25234 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25251/stat : 25251 (java) S 25234 25237 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415455523 10915721216 7759 33554432000 4194304 4196468 140732518286224 140218813806944 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25252] ppid=25234 vsize=10659884 memory=140445772424832 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25252/stat : 25252 (java) S 25234 25237 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415455523 10915721216 7759 33554432000 4194304 4196468 140732518286224 140218812754992 140219262298754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 31036 KiB
[startup+0.310293 s]*
/proc/loadavg: 1.92 1.82 1.78 3/230 25252
/proc/meminfo: memFree=28379456/32770624 swapFree=67004752/67108860
[pid=25237] ppid=25234 vsize=10659884 memory=34212 CPUtime=0.25 cores=1,3,5,7
/proc/25237/stat : 25237 (java) S 25234 25237 24221 0 -1 1077944320 6709 0 0 0 23 2 0 0 20 0 15 0 415455517 10915721216 8553 33554432000 4194304 4196468 140732518286224 140732518268768 140219262287607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
/proc/25237/statm: 2664971 8553 2896 1 0 2627468 0
[pid=25237/tid=25239] ppid=25234 vsize=10659884 memory=8390339637985935414 CPUtime=0.16 cores=1,3,5,7
/proc/25237/task/25239/stat : 25239 (java) R 25234 25237 24221 0 -1 4202560 3864 0 0 0 15 1 0 0 20 0 15 0 415455518 10915721216 8553 33554432000 4194304 4196468 140732518286224 140219266513968 140219262309533 0 4 0 16800975 0 0 0 -1 5 0 0 14 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25240] ppid=25234 vsize=10659884 memory=304556140472303639 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25240/stat : 25240 (java) S 25234 25237 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415455518 10915721216 8553 33554432000 4194304 4196468 140732518286224 140219214907920 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25241] ppid=25234 vsize=10659884 memory=3760699135362344608 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25241/stat : 25241 (java) S 25234 25237 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415455518 10915721216 8553 33554432000 4194304 4196468 140732518286224 140219213855376 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25242] ppid=25234 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25242/stat : 25242 (java) S 25234 25237 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415455518 10915721216 8553 33554432000 4194304 4196468 140732518286224 140219212802320 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25243] ppid=25234 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25243/stat : 25243 (java) S 25234 25237 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415455518 10915721216 8553 33554432000 4194304 4196468 140732518286224 140219211749776 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25244] ppid=25234 vsize=10659884 memory=140445772424832 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25244/stat : 25244 (java) S 25234 25237 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415455520 10915721216 8553 33554432000 4194304 4196468 140732518286224 140218821176048 140219262298754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25245] ppid=25234 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25245/stat : 25245 (java) S 25234 25237 24221 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415455520 10915721216 8553 33554432000 4194304 4196468 140732518286224 140218820122272 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25246] ppid=25234 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25246/stat : 25246 (java) S 25234 25237 24221 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415455520 10915721216 8553 33554432000 4194304 4196468 140732518286224 140218819069168 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25247] ppid=25234 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25247/stat : 25247 (java) S 25234 25237 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415455523 10915721216 8553 33554432000 4194304 4196468 140732518286224 140218818017744 140219262306203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25248] ppid=25234 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25237/task/25248/stat : 25248 (java) S 25234 25237 24221 0 -1 1077944384 642 0 0 0 2 0 0 0 20 0 15 0 415455523 10915721216 8553 33554432000 4194304 4196468 140732518286224 140218816964848 140219262298754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25249] ppid=25234 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25249/stat : 25249 (java) S 25234 25237 24221 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 415455523 10915721216 8553 33554432000 4194304 4196468 140732518286224 140218815912304 140219262298754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25250] ppid=25234 vsize=10659884 memory=140445772424832 CPUtime=0.05 cores=1,3,5,7
/proc/25237/task/25250/stat : 25250 (java) S 25234 25237 24221 0 -1 1077944384 720 0 0 0 5 0 0 0 20 0 15 0 415455523 10915721216 8553 33554432000 4194304 4196468 140732518286224 140218814859248 140219262298754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25251] ppid=25234 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25251/stat : 25251 (java) S 25234 25237 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415455523 10915721216 8553 33554432000 4194304 4196468 140732518286224 140218813806944 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25252] ppid=25234 vsize=10659884 memory=140445772424832 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25252/stat : 25252 (java) S 25234 25237 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415455523 10915721216 8553 33554432000 4194304 4196468 140732518286224 140218812754992 140219262298754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34212 KiB
[startup+0.700717 s]
/proc/loadavg: 1.92 1.82 1.78 3/230 25252
/proc/meminfo: memFree=28369580/32770624 swapFree=67004752/67108860
[pid=25237] ppid=25234 vsize=10659884 memory=54776 CPUtime=0.91 cores=1,3,5,7
/proc/25237/stat : 25237 (java) S 25234 25237 24221 0 -1 1077944320 12388 0 0 0 86 5 0 0 20 0 15 0 415455517 10915721216 13694 33554432000 4194304 4196468 140732518286224 140732518268768 140219262287607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
/proc/25237/statm: 2664971 13694 3058 1 0 2627468 0
[pid=25237/tid=25239] ppid=25234 vsize=10659884 memory=1276 CPUtime=0.54 cores=1,3,5,7
/proc/25237/task/25239/stat : 25239 (java) R 25234 25237 24221 0 -1 4202560 8310 0 0 0 50 4 0 0 20 0 15 0 415455518 10915721216 13694 33554432000 4194304 4196468 140732518286224 140219266509008 140219246368094 0 4 0 16800975 0 0 0 -1 5 0 0 14 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25240] ppid=25234 vsize=10659884 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25240/stat : 25240 (java) S 25234 25237 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415455518 10915721216 13694 33554432000 4194304 4196468 140732518286224 140219214907920 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25241] ppid=25234 vsize=10659884 memory=752 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25241/stat : 25241 (java) S 25234 25237 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415455518 10915721216 13694 33554432000 4194304 4196468 140732518286224 140219213855376 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25242] ppid=25234 vsize=10659884 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25242/stat : 25242 (java) S 25234 25237 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415455518 10915721216 13694 33554432000 4194304 4196468 140732518286224 140219212802320 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25243] ppid=25234 vsize=10659884 memory=9584 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25243/stat : 25243 (java) S 25234 25237 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415455518 10915721216 13694 33554432000 4194304 4196468 140732518286224 140219211749776 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25244] ppid=25234 vsize=10659884 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25244/stat : 25244 (java) S 25234 25237 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415455520 10915721216 13694 33554432000 4194304 4196468 140732518286224 140218821176048 140219262298754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25245] ppid=25234 vsize=10659884 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25245/stat : 25245 (java) S 25234 25237 24221 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415455520 10915721216 13694 33554432000 4194304 4196468 140732518286224 140218820122272 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25246] ppid=25234 vsize=10659884 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25246/stat : 25246 (java) S 25234 25237 24221 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415455520 10915721216 13694 33554432000 4194304 4196468 140732518286224 140218819069168 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25247] ppid=25234 vsize=10659884 memory=6296683642736693604 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25247/stat : 25247 (java) S 25234 25237 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415455523 10915721216 13694 33554432000 4194304 4196468 140732518286224 140218818017744 140219262306203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25248] ppid=25234 vsize=10659884 memory=7738707435814409833 CPUtime=0.12 cores=1,3,5,7
/proc/25237/task/25248/stat : 25248 (java) S 25234 25237 24221 0 -1 1077944384 1056 0 0 0 12 0 0 0 20 0 15 0 415455523 10915721216 13694 33554432000 4194304 4196468 140732518286224 140218816964848 140219262298754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25249] ppid=25234 vsize=10659884 memory=5787213857196369745 CPUtime=0.07 cores=1,3,5,7
/proc/25237/task/25249/stat : 25249 (java) S 25234 25237 24221 0 -1 1077944384 625 0 0 0 7 0 0 0 20 0 15 0 415455523 10915721216 13694 33554432000 4194304 4196468 140732518286224 140218815912304 140219262298754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25250] ppid=25234 vsize=10659884 memory=5450909908396308010 CPUtime=0.14 cores=1,3,5,7
/proc/25237/task/25250/stat : 25250 (java) S 25234 25237 24221 0 -1 1077944384 1039 0 0 0 14 0 0 0 20 0 15 0 415455523 10915721216 13694 33554432000 4194304 4196468 140732518286224 140218814859248 140219262298754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25251] ppid=25234 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25251/stat : 25251 (java) S 25234 25237 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415455523 10915721216 13694 33554432000 4194304 4196468 140732518286224 140218813806944 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25252] ppid=25234 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25252/stat : 25252 (java) S 25234 25237 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415455523 10915721216 13694 33554432000 4194304 4196468 140732518286224 140218812754992 140219262298754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
Current children cumulated CPU time: 0.91 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 54776 KiB
[startup+1.50079 s]
/proc/loadavg: 1.84 1.81 1.78 3/230 25252
/proc/meminfo: memFree=28347956/32770624 swapFree=67004752/67108860
[pid=25237] ppid=25234 vsize=10663980 memory=72504 CPUtime=1.84 cores=1,3,5,7
/proc/25237/stat : 25237 (java) S 25234 25237 24221 0 -1 1077944320 18049 0 0 0 178 6 0 0 20 0 15 0 415455517 10919915520 18126 33554432000 4194304 4196468 140732518286224 140732518268768 140219262287607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
/proc/25237/statm: 2665995 18126 3089 1 0 2628492 0
[pid=25237/tid=25239] ppid=25234 vsize=10663980 memory=6791534058613427641 CPUtime=1.34 cores=1,3,5,7
/proc/25237/task/25239/stat : 25239 (java) R 25234 25237 24221 0 -1 4202560 12804 0 0 0 129 5 0 0 20 0 15 0 415455518 10919915520 18126 33554432000 4194304 4196468 140732518286224 140219266506528 140219246368094 0 4 0 16800975 0 0 0 -1 1 0 0 14 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25240] ppid=25234 vsize=10663980 memory=33 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25240/stat : 25240 (java) S 25234 25237 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415455518 10919915520 18126 33554432000 4194304 4196468 140732518286224 140219214907920 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25241] ppid=25234 vsize=10663980 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25241/stat : 25241 (java) S 25234 25237 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415455518 10919915520 18126 33554432000 4194304 4196468 140732518286224 140219213855376 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25242] ppid=25234 vsize=10663980 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25242/stat : 25242 (java) S 25234 25237 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415455518 10919915520 18126 33554432000 4194304 4196468 140732518286224 140219212802320 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25243] ppid=25234 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25243/stat : 25243 (java) S 25234 25237 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415455518 10919915520 18126 33554432000 4194304 4196468 140732518286224 140219211749776 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25244] ppid=25234 vsize=10663980 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25244/stat : 25244 (java) S 25234 25237 24221 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 415455520 10919915520 18126 33554432000 4194304 4196468 140732518286224 140218821176048 140219262298754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
################
# More data... #
################
[pid=25237/tid=25240] ppid=25234 vsize=10746276 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/25237/task/25240/stat : 25240 (java) S 25234 25237 24221 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 16 0 415455518 11004186624 43520 33554432000 4194304 4196468 140732518286224 140219214907920 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25241] ppid=25234 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25241/stat : 25241 (java) S 25234 25237 24221 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 415455518 11004186624 43520 33554432000 4194304 4196468 140732518286224 140219213855376 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25242] ppid=25234 vsize=10746276 memory=167932 CPUtime=0.01 cores=1,3,5,7
/proc/25237/task/25242/stat : 25242 (java) S 25234 25237 24221 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 16 0 415455518 11004186624 43520 33554432000 4194304 4196468 140732518286224 140219212802320 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25243] ppid=25234 vsize=10746276 memory=5968 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25243/stat : 25243 (java) S 25234 25237 24221 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415455518 11004186624 43520 33554432000 4194304 4196468 140732518286224 140219211749776 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25244] ppid=25234 vsize=10746276 memory=151324 CPUtime=0.01 cores=1,3,5,7
/proc/25237/task/25244/stat : 25244 (java) S 25234 25237 24221 0 -1 1077944384 1176 0 0 0 1 0 0 0 20 0 16 0 415455520 11004186624 43520 33554432000 4194304 4196468 140732518286224 140218821176048 140219262298754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25245] ppid=25234 vsize=10746276 memory=110565544430058 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25245/stat : 25245 (java) S 25234 25237 24221 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415455520 11004186624 43520 33554432000 4194304 4196468 140732518286224 140218820122336 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25246] ppid=25234 vsize=10746276 memory=56 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25246/stat : 25246 (java) S 25234 25237 24221 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415455520 11004186624 43520 33554432000 4194304 4196468 140732518286224 140218819069184 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25247] ppid=25234 vsize=10746276 memory=4629799980814403699 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25247/stat : 25247 (java) S 25234 25237 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415455523 11004186624 43520 33554432000 4194304 4196468 140732518286224 140218818017744 140219262306203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25248] ppid=25234 vsize=10746276 memory=7661560198609856364 CPUtime=0.77 cores=1,3,5,7
/proc/25237/task/25248/stat : 25248 (java) S 25234 25237 24221 0 -1 1077944384 3245 0 0 0 77 0 0 0 20 0 16 0 415455523 11004186624 43520 33554432000 4194304 4196468 140732518286224 140218816964848 140219262298754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25249] ppid=25234 vsize=10746276 memory=6225210997374807394 CPUtime=0.73 cores=1,3,5,7
/proc/25237/task/25249/stat : 25249 (java) S 25234 25237 24221 0 -1 1077944384 4500 0 0 0 72 1 0 0 20 0 16 0 415455523 11004186624 43520 33554432000 4194304 4196468 140732518286224 140218815912304 140219262298754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25250] ppid=25234 vsize=10746276 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/25237/task/25250/stat : 25250 (java) S 25234 25237 24221 0 -1 1077944384 2901 0 0 0 50 0 0 0 20 0 16 0 415455523 11004186624 43520 33554432000 4194304 4196468 140732518286224 140218814859248 140219262298754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25251] ppid=25234 vsize=10746276 memory=1 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25251/stat : 25251 (java) S 25234 25237 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415455523 11004186624 43520 33554432000 4194304 4196468 140732518286224 140218813806944 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25252] ppid=25234 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25252/stat : 25252 (java) S 25234 25237 24221 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 415455523 11004186624 43520 33554432000 4194304 4196468 140732518286224 140218812754992 140219262298754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25253] ppid=25234 vsize=10746276 memory=2215 CPUtime=10.64 cores=1,3,5,7
/proc/25237/task/25253/stat : 25253 (java) R 25234 25237 24221 0 -1 4202560 5704 0 0 0 1062 2 0 0 20 0 16 0 415455719 11004186624 43520 33554432000 4194304 4196468 140732518286224 140218805288912 140218892644903 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
Current children cumulated CPU time: 14.63 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 174080 KiB
[startup+13.4626 s]
# the end of solver process 25237 was just reported to runsolver
# cumulated CPU time of all completed processes: user=15.2516 s, system=0.152083 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8008 s]
/proc/loadavg: 1.87 1.82 1.78 3/230 25254
/proc/meminfo: memFree=28245076/32770624 swapFree=67004752/67108860
[pid=25237] ppid=25234 vsize=10746276 memory=176128 CPUtime=14.73 cores=1,3,5,7
/proc/25237/stat : 25237 (java) S 25234 25237 24221 0 -1 1077944320 34675 0 0 0 1459 14 0 0 20 0 16 0 415455517 11004186624 44032 33554432000 4194304 4196468 140732518286224 140732518268768 140219262287607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
/proc/25237/statm: 2686569 44032 3346 1 0 2646705 0
[pid=25237/tid=25239] ppid=25234 vsize=10746276 memory=234 CPUtime=1.85 cores=1,3,5,7
/proc/25237/task/25239/stat : 25239 (java) S 25234 25237 24221 0 -1 1077944384 15437 0 0 0 178 7 0 0 20 0 16 0 415455518 11004186624 44032 33554432000 4194304 4196468 140732518286224 140219266530480 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25240] ppid=25234 vsize=10746276 memory=629 CPUtime=0.01 cores=1,3,5,7
/proc/25237/task/25240/stat : 25240 (java) S 25234 25237 24221 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 16 0 415455518 11004186624 44032 33554432000 4194304 4196468 140732518286224 140219214907920 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25241] ppid=25234 vsize=10746276 memory=2 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25241/stat : 25241 (java) S 25234 25237 24221 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 415455518 11004186624 44032 33554432000 4194304 4196468 140732518286224 140219213855376 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25242] ppid=25234 vsize=10746276 memory=247 CPUtime=0.01 cores=1,3,5,7
/proc/25237/task/25242/stat : 25242 (java) S 25234 25237 24221 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 16 0 415455518 11004186624 44032 33554432000 4194304 4196468 140732518286224 140219212802320 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25243] ppid=25234 vsize=10746276 memory=185 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25243/stat : 25243 (java) S 25234 25237 24221 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415455518 11004186624 44032 33554432000 4194304 4196468 140732518286224 140219211749776 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25244] ppid=25234 vsize=10746276 memory=772 CPUtime=0.01 cores=1,3,5,7
/proc/25237/task/25244/stat : 25244 (java) S 25234 25237 24221 0 -1 1077944384 1176 0 0 0 1 0 0 0 20 0 16 0 415455520 11004186624 44032 33554432000 4194304 4196468 140732518286224 140218821176048 140219262298754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25245] ppid=25234 vsize=10746276 memory=952 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25245/stat : 25245 (java) S 25234 25237 24221 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415455520 11004186624 44032 33554432000 4194304 4196468 140732518286224 140218820122336 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25246] ppid=25234 vsize=10746276 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25246/stat : 25246 (java) S 25234 25237 24221 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415455520 11004186624 44032 33554432000 4194304 4196468 140732518286224 140218819069184 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25247] ppid=25234 vsize=10746276 memory=21912 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25247/stat : 25247 (java) S 25234 25237 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415455523 11004186624 44032 33554432000 4194304 4196468 140732518286224 140218818017744 140219262306203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25248] ppid=25234 vsize=10746276 memory=2116 CPUtime=0.77 cores=1,3,5,7
/proc/25237/task/25248/stat : 25248 (java) S 25234 25237 24221 0 -1 1077944384 3245 0 0 0 77 0 0 0 20 0 16 0 415455523 11004186624 44032 33554432000 4194304 4196468 140732518286224 140218816964848 140219262298754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25249] ppid=25234 vsize=10746276 memory=12028 CPUtime=0.73 cores=1,3,5,7
/proc/25237/task/25249/stat : 25249 (java) S 25234 25237 24221 0 -1 1077944384 4500 0 0 0 72 1 0 0 20 0 16 0 415455523 11004186624 44032 33554432000 4194304 4196468 140732518286224 140218815912304 140219262298754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25250] ppid=25234 vsize=10746276 memory=496 CPUtime=0.5 cores=1,3,5,7
/proc/25237/task/25250/stat : 25250 (java) S 25234 25237 24221 0 -1 1077944384 2901 0 0 0 50 0 0 0 20 0 16 0 415455523 11004186624 44032 33554432000 4194304 4196468 140732518286224 140218814859248 140219262298754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25251] ppid=25234 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25251/stat : 25251 (java) S 25234 25237 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415455523 11004186624 44032 33554432000 4194304 4196468 140732518286224 140218813806944 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25252] ppid=25234 vsize=10746276 memory=7234303152781525078 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25252/stat : 25252 (java) S 25234 25237 24221 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 415455523 11004186624 44032 33554432000 4194304 4196468 140732518286224 140218812754992 140219262298754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25253] ppid=25234 vsize=10746276 memory=151100 CPUtime=10.74 cores=1,3,5,7
/proc/25237/task/25253/stat : 25253 (java) R 25234 25237 24221 0 -1 4202560 5706 0 0 0 1072 2 0 0 20 0 16 0 415455719 11004186624 44032 33554432000 4194304 4196468 140732518286224 140218805288912 140218892400817 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
Current children cumulated CPU time: 14.73 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 176128 KiB
[startup+13.2006 s]
/proc/loadavg: 1.87 1.82 1.78 3/230 25254
/proc/meminfo: memFree=28238932/32770624 swapFree=67004752/67108860
[pid=25237] ppid=25234 vsize=10746276 memory=176148 CPUtime=15.13 cores=1,3,5,7
/proc/25237/stat : 25237 (java) S 25234 25237 24221 0 -1 1077944320 34789 0 0 0 1499 14 0 0 20 0 16 0 415455517 11004186624 44037 33554432000 4194304 4196468 140732518286224 140732518268768 140219262287607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
/proc/25237/statm: 2686569 44037 3346 1 0 2646705 0
[pid=25237/tid=25239] ppid=25234 vsize=10746276 memory=6791534058613427641 CPUtime=1.85 cores=1,3,5,7
/proc/25237/task/25239/stat : 25239 (java) S 25234 25237 24221 0 -1 1077944384 15437 0 0 0 178 7 0 0 20 0 16 0 415455518 11004186624 44037 33554432000 4194304 4196468 140732518286224 140219266530480 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25240] ppid=25234 vsize=10746276 memory=288230617509003574 CPUtime=0.01 cores=1,3,5,7
/proc/25237/task/25240/stat : 25240 (java) S 25234 25237 24221 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 16 0 415455518 11004186624 44037 33554432000 4194304 4196468 140732518286224 140219214907920 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25241] ppid=25234 vsize=10746276 memory=16104775267649398 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25241/stat : 25241 (java) S 25234 25237 24221 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 415455518 11004186624 44037 33554432000 4194304 4196468 140732518286224 140219213855376 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25242] ppid=25234 vsize=10746276 memory=772 CPUtime=0.01 cores=1,3,5,7
/proc/25237/task/25242/stat : 25242 (java) S 25234 25237 24221 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 16 0 415455518 11004186624 44037 33554432000 4194304 4196468 140732518286224 140219212802320 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25243] ppid=25234 vsize=10746276 memory=952 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25243/stat : 25243 (java) S 25234 25237 24221 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415455518 11004186624 44037 33554432000 4194304 4196468 140732518286224 140219211749776 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25244] ppid=25234 vsize=10746276 memory=14008 CPUtime=0.01 cores=1,3,5,7
/proc/25237/task/25244/stat : 25244 (java) S 25234 25237 24221 0 -1 1077944384 1176 0 0 0 1 0 0 0 20 0 16 0 415455520 11004186624 44037 33554432000 4194304 4196468 140732518286224 140218821176048 140219262298754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25245] ppid=25234 vsize=10746276 memory=21912 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25245/stat : 25245 (java) S 25234 25237 24221 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415455520 11004186624 44037 33554432000 4194304 4196468 140732518286224 140218820122336 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25246] ppid=25234 vsize=10746276 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25246/stat : 25246 (java) S 25234 25237 24221 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415455520 11004186624 44037 33554432000 4194304 4196468 140732518286224 140218819069184 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25247] ppid=25234 vsize=10746276 memory=12028 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25247/stat : 25247 (java) S 25234 25237 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415455523 11004186624 44037 33554432000 4194304 4196468 140732518286224 140218818017744 140219262306203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25248] ppid=25234 vsize=10746276 memory=496 CPUtime=0.77 cores=1,3,5,7
/proc/25237/task/25248/stat : 25248 (java) S 25234 25237 24221 0 -1 1077944384 3245 0 0 0 77 0 0 0 20 0 16 0 415455523 11004186624 44037 33554432000 4194304 4196468 140732518286224 140218816964848 140219262298754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25249] ppid=25234 vsize=10746276 memory=1564 CPUtime=0.73 cores=1,3,5,7
/proc/25237/task/25249/stat : 25249 (java) S 25234 25237 24221 0 -1 1077944384 4500 0 0 0 72 1 0 0 20 0 16 0 415455523 11004186624 44037 33554432000 4194304 4196468 140732518286224 140218815912304 140219262298754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25250] ppid=25234 vsize=10746276 memory=928 CPUtime=0.51 cores=1,3,5,7
/proc/25237/task/25250/stat : 25250 (java) S 25234 25237 24221 0 -1 1077944384 3002 0 0 0 51 0 0 0 20 0 16 0 415455523 11004186624 44037 33554432000 4194304 4196468 140732518286224 140218814859248 140219262298754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25251] ppid=25234 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25251/stat : 25251 (java) S 25234 25237 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415455523 11004186624 44037 33554432000 4194304 4196468 140732518286224 140218813806944 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25252] ppid=25234 vsize=10746276 memory=301741394899510014 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25252/stat : 25252 (java) S 25234 25237 24221 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 415455523 11004186624 44037 33554432000 4194304 4196468 140732518286224 140218812754992 140219262298754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25253] ppid=25234 vsize=10746276 memory=151324 CPUtime=11.14 cores=1,3,5,7
/proc/25237/task/25253/stat : 25253 (java) R 25234 25237 24221 0 -1 4202560 5719 0 0 0 1112 2 0 0 20 0 16 0 415455719 11004186624 44037 33554432000 4194304 4196468 140732518286224 140218805288912 140218892643125 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
Current children cumulated CPU time: 15.13 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 176148 KiB
[startup+13.4006 s]
/proc/loadavg: 1.87 1.82 1.78 3/230 25254
/proc/meminfo: memFree=28238932/32770624 swapFree=67004752/67108860
[pid=25237] ppid=25234 vsize=10746276 memory=178196 CPUtime=15.33 cores=1,3,5,7
/proc/25237/stat : 25237 (java) S 25234 25237 24221 0 -1 1077944320 34792 0 0 0 1519 14 0 0 20 0 16 0 415455517 11004186624 44549 33554432000 4194304 4196468 140732518286224 140732518268768 140219262287607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
/proc/25237/statm: 2686569 44549 3346 1 0 2646705 0
[pid=25237/tid=25239] ppid=25234 vsize=10746276 memory=1398722017469774279 CPUtime=1.85 cores=1,3,5,7
/proc/25237/task/25239/stat : 25239 (java) S 25234 25237 24221 0 -1 1077944384 15437 0 0 0 178 7 0 0 20 0 16 0 415455518 11004186624 44549 33554432000 4194304 4196468 140732518286224 140219266530480 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25240] ppid=25234 vsize=10746276 memory=4872558044660077418 CPUtime=0.01 cores=1,3,5,7
/proc/25237/task/25240/stat : 25240 (java) S 25234 25237 24221 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 16 0 415455518 11004186624 44549 33554432000 4194304 4196468 140732518286224 140219214907920 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25241] ppid=25234 vsize=10746276 memory=-8102431393132624720 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25241/stat : 25241 (java) S 25234 25237 24221 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 415455518 11004186624 44549 33554432000 4194304 4196468 140732518286224 140219213855376 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25242] ppid=25234 vsize=10746276 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/25237/task/25242/stat : 25242 (java) S 25234 25237 24221 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 16 0 415455518 11004186624 44549 33554432000 4194304 4196468 140732518286224 140219212802320 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25243] ppid=25234 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25243/stat : 25243 (java) S 25234 25237 24221 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415455518 11004186624 44549 33554432000 4194304 4196468 140732518286224 140219211749776 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25244] ppid=25234 vsize=10746276 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/25237/task/25244/stat : 25244 (java) S 25234 25237 24221 0 -1 1077944384 1176 0 0 0 1 0 0 0 20 0 16 0 415455520 11004186624 44549 33554432000 4194304 4196468 140732518286224 140218821176048 140219262298754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25245] ppid=25234 vsize=10746276 memory=7884790728529897302 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25245/stat : 25245 (java) S 25234 25237 24221 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415455520 11004186624 44549 33554432000 4194304 4196468 140732518286224 140218820122336 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25246] ppid=25234 vsize=10746276 memory=7300726775642219328 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25246/stat : 25246 (java) S 25234 25237 24221 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415455520 11004186624 44549 33554432000 4194304 4196468 140732518286224 140218819069184 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25247] ppid=25234 vsize=10746276 memory=7228928671046193237 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25247/stat : 25247 (java) S 25234 25237 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415455523 11004186624 44549 33554432000 4194304 4196468 140732518286224 140218818017744 140219262306203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25248] ppid=25234 vsize=10746276 memory=0 CPUtime=0.77 cores=1,3,5,7
/proc/25237/task/25248/stat : 25248 (java) S 25234 25237 24221 0 -1 1077944384 3245 0 0 0 77 0 0 0 20 0 16 0 415455523 11004186624 44549 33554432000 4194304 4196468 140732518286224 140218816964848 140219262298754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25249] ppid=25234 vsize=10746276 memory=0 CPUtime=0.73 cores=1,3,5,7
/proc/25237/task/25249/stat : 25249 (java) S 25234 25237 24221 0 -1 1077944384 4500 0 0 0 72 1 0 0 20 0 16 0 415455523 11004186624 44549 33554432000 4194304 4196468 140732518286224 140218815912304 140219262298754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25250] ppid=25234 vsize=10746276 memory=0 CPUtime=0.51 cores=1,3,5,7
/proc/25237/task/25250/stat : 25250 (java) S 25234 25237 24221 0 -1 1077944384 3002 0 0 0 51 0 0 0 20 0 16 0 415455523 11004186624 44549 33554432000 4194304 4196468 140732518286224 140218814859248 140219262298754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25251] ppid=25234 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25251/stat : 25251 (java) S 25234 25237 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415455523 11004186624 44549 33554432000 4194304 4196468 140732518286224 140218813806944 140219262297813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25252] ppid=25234 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25237/task/25252/stat : 25252 (java) S 25234 25237 24221 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 415455523 11004186624 44549 33554432000 4194304 4196468 140732518286224 140218812754992 140219262298754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
[pid=25237/tid=25253] ppid=25234 vsize=10746276 memory=0 CPUtime=11.34 cores=1,3,5,7
/proc/25237/task/25253/stat : 25253 (java) R 25234 25237 24221 0 -1 4202560 5722 0 0 0 1132 2 0 0 20 0 16 0 415455719 11004186624 44549 33554432000 4194304 4196468 140732518286224 140218805288912 140218892498191 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140732518290443 140732518290546 140732518290546 140732518293455 0
Current children cumulated CPU time: 15.33 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 178196 KiB
Child status: 0
Real time (s): 13.4626
CPU time (s): 15.4037
CPU user time (s): 15.2516
CPU system time (s): 0.152083
CPU usage (%): 114.418
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 178196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.2516
system time used= 0.152083
maximum resident set size= 180664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35627
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3115
involuntary context switches= 29
# summary of solver processes directly reported to runsolver:
# pid: 25237
# total CPU time (s): 15.4037
# total CPU user time (s): 15.2516
# total CPU system time (s): 0.152083
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.106276 second user time and 0.165836 second system time
The end