2.93/2.11	
2.93/2.11	AbsCon 2 
2.93/2.13	
3.42/2.34	  Instance
3.42/2.34	    name=instance-4391195-1568389530, framework=COP, bounds=-infty..+infty
3.42/2.34	
3.42/2.34	  Loading variables...
3.42/2.37	  Loading constraints...
4.33/2.69	
4.33/2.69	  Domains
4.33/2.69	    nTypes=1, nValues=4509, sizes=[501#9]
4.33/2.69	  Variables
4.33/2.69	    count=9, degrees=[225#7,226#2]
4.33/2.69	  Objectives
4.33/2.69	    way=min, type=ObjVarLE
4.33/2.69	  Constraints
4.33/2.69	    count=549, nSpecific=2, arities=[1#2,3#168,4#378,9#1]
4.33/2.69	    distribution=[CtrIntension#547,ObjVarLE#1,OrderedLT#1]
4.33/2.69	    nIntStructures=(3,shared:544)
4.33/2.69	    wck=0.608, cpu=2.654, mem=92M577
4.33/2.70	  Solver SolverBacktrack being built...
4.33/2.70	
4.67/2.72	
4.67/2.72	  Solver
4.67/2.72	    guaranteedGAC=false
4.67/2.72	    wck=0.639, cpu=2.683, mem=105M862
4.67/2.72	
4.67/2.72	  Preprocessing
4.67/2.72	    filters=2, revisions=(1,useless=0), ccks=501, nACremovedValues=564, nTotalRemovedValues=564, inconcistency=false
4.67/2.72	    wck=0.005, cpu=2.689, mem=105M862
4.67/2.72	
5.15/2.98	o 65
5.15/2.99	    num=0, depth=10..8, filters=145, revisions=(3353,useless=3215), ccks=975131, wck=0.269, mem=108M505
5.15/2.99	    decisions=8, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=65
5.15/2.99	    
5.15/3.01	o 61
5.15/3.01	    num=1, depth=7..8, filters=291, revisions=(7413,useless=7138), ccks=1023150, wck=0.29, mem=108M505
5.15/3.01	    decisions=17, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=2, bestBound=61
5.15/3.01	    
5.30/3.02	    num=2, depth=0..2, filters=488, revisions=(10098,useless=9642), ccks=1067322, wck=0.304, mem=108M505
5.30/3.02	    decisions=44, wrong=14, backtracks=2, failedAssignments=12, nogoods=7, foundSolutions=2, bestBound=61
5.30/3.02	    
5.30/3.04	    num=3, depth=0..3, filters=889, revisions=(14322,useless=13481), ccks=1129744, wck=0.321, mem=108M505
5.30/3.04	    decisions=70, wrong=26, backtracks=3, failedAssignments=23, nogoods=17, foundSolutions=2, bestBound=61
5.30/3.04	    
5.30/3.05	    num=4, depth=0..2, filters=1192, revisions=(18385,useless=17263), ccks=1181772, wck=0.336, mem=108M505
5.30/3.05	    decisions=102, wrong=41, backtracks=6, failedAssignments=35, nogoods=22, foundSolutions=2, bestBound=61
5.30/3.05	    
5.30/3.07	    num=5, depth=0..2, filters=1573, revisions=(22670,useless=21181), ccks=1229926, wck=0.349, mem=108M505
5.30/3.07	    decisions=134, wrong=56, backtracks=9, failedAssignments=48, nogoods=32, foundSolutions=2, bestBound=61
5.30/3.07	    
5.30/3.08	    num=6, depth=0..5, filters=1793, revisions=(27625,useless=25934), ccks=1293434, wck=0.366, mem=111M147
5.30/3.08	    decisions=166, wrong=72, backtracks=16, failedAssignments=62, nogoods=33, foundSolutions=2, bestBound=61
5.30/3.08	    
5.48/3.13	    num=7, depth=0..6, filters=2199, revisions=(38180,useless=36115), ccks=1424522, wck=0.411, mem=111M147
5.48/3.13	    decisions=205, wrong=89, backtracks=17, failedAssignments=78, nogoods=43, foundSolutions=2, bestBound=61
5.48/3.13	    
5.48/3.15	    num=8, depth=0..2, filters=2656, revisions=(43253,useless=40752), ccks=1502819, wck=0.431, mem=111M147
5.48/3.15	    decisions=243, wrong=107, backtracks=20, failedAssignments=95, nogoods=50, foundSolutions=2, bestBound=61
5.48/3.15	    
5.48/3.18	    num=9, depth=0..4, filters=3382, revisions=(52459,useless=49256), ccks=1624872, wck=0.461, mem=111M147
5.48/3.18	    decisions=292, wrong=130, backtracks=24, failedAssignments=114, nogoods=66, foundSolutions=2, bestBound=61
5.48/3.18	    
5.58/3.20	    num=10, depth=0..4, filters=3871, revisions=(60714,useless=57055), ccks=1711257, wck=0.484, mem=111M147
5.58/3.20	    decisions=337, wrong=152, backtracks=29, failedAssignments=135, nogoods=71, foundSolutions=2, bestBound=61
5.58/3.20	    
5.58/3.25	    num=11, depth=1..4, filters=4561, revisions=(75538,useless=71224), ccks=1917752, wck=0.537, mem=111M147
5.58/3.25	    decisions=397, wrong=181, backtracks=36, failedAssignments=158, nogoods=85, foundSolutions=2, bestBound=61
5.58/3.25	    
5.74/3.30	    num=12, depth=0..5, filters=5281, revisions=(89252,useless=84257), ccks=2112668, wck=0.585, mem=111M147
5.74/3.30	    decisions=454, wrong=207, backtracks=39, failedAssignments=183, nogoods=107, foundSolutions=2, bestBound=61
5.74/3.30	    
5.74/3.32	    num=13, depth=0..6, filters=5810, revisions=(101515,useless=96022), ccks=2180966, wck=0.605, mem=111M147
5.74/3.32	    decisions=523, wrong=239, backtracks=45, failedAssignments=211, nogoods=124, foundSolutions=2, bestBound=61
5.74/3.32	    
5.74/3.35	o 56
5.74/3.35	    num=14, depth=1..8, filters=6343, revisions=(115965,useless=109971), ccks=2300598, wck=0.639, mem=111M147
5.74/3.35	    decisions=581, wrong=265, backtracks=49, failedAssignments=235, nogoods=141, foundSolutions=3, bestBound=56
5.74/3.35	    
5.92/3.40	    num=15, depth=0..5, filters=7252, revisions=(133532,useless=126683), ccks=2468968, wck=0.683, mem=111M147
5.92/3.40	    decisions=658, wrong=302, backtracks=60, failedAssignments=269, nogoods=157, foundSolutions=3, bestBound=56
5.92/3.40	    
5.92/3.41	    num=16, depth=0..3, filters=7479, revisions=(137898,useless=130841), ccks=2508320, wck=0.693, mem=111M147
5.92/3.41	    decisions=684, wrong=314, backtracks=63, failedAssignments=280, nogoods=165, foundSolutions=3, bestBound=56
5.92/3.41	    
5.92/3.43	    num=17, depth=2..6, filters=7832, revisions=(147147,useless=139760), ccks=2577016, wck=0.711, mem=111M147
5.92/3.43	    decisions=713, wrong=326, backtracks=66, failedAssignments=292, nogoods=175, foundSolutions=3, bestBound=56
5.92/3.43	    
5.92/3.45	    num=18, depth=3..6, filters=8164, revisions=(156920,useless=149218), ccks=2652044, wck=0.732, mem=111M147
5.92/3.45	    decisions=747, wrong=341, backtracks=69, failedAssignments=305, nogoods=185, foundSolutions=3, bestBound=56
5.92/3.45	    
5.92/3.46	    num=19, depth=0..5, filters=8381, revisions=(164693,useless=156793), ccks=2691897, wck=0.744, mem=111M147
5.92/3.46	    decisions=778, wrong=355, backtracks=75, failedAssignments=319, nogoods=189, foundSolutions=3, bestBound=56
5.92/3.46	    
5.92/3.48	    num=20, depth=0..3, filters=8940, revisions=(172440,useless=164002), ccks=2760119, wck=0.761, mem=111M147
5.92/3.48	    decisions=821, wrong=375, backtracks=79, failedAssignments=335, nogoods=204, foundSolutions=3, bestBound=56
5.92/3.48	    
5.92/3.50	    num=21, depth=0..5, filters=9268, revisions=(181562,useless=172823), ccks=2829944, wck=0.78, mem=111M147
5.92/3.50	    decisions=859, wrong=394, backtracks=89, failedAssignments=352, nogoods=204, foundSolutions=3, bestBound=56
5.92/3.50	    
6.02/3.52	    num=22, depth=3..5, filters=9770, revisions=(194801,useless=185587), ccks=2914287, wck=0.804, mem=111M147
6.02/3.52	    decisions=902, wrong=414, backtracks=92, failedAssignments=371, nogoods=210, foundSolutions=3, bestBound=56
6.02/3.52	    
6.02/3.57	    num=23, depth=1..6, filters=10460, revisions=(212183,useless=202321), ccks=3107469, wck=0.853, mem=111M147
6.02/3.57	    decisions=960, wrong=441, backtracks=100, failedAssignments=392, nogoods=219, foundSolutions=3, bestBound=56
6.02/3.57	    
6.02/3.59	    num=24, depth=0..3, filters=10947, revisions=(223028,useless=212704), ccks=3180998, wck=0.873, mem=111M147
6.02/3.59	    decisions=1030, wrong=475, backtracks=111, failedAssignments=415, nogoods=229, foundSolutions=3, bestBound=56
6.02/3.59	    
6.13/3.61	    num=25, depth=2..7, filters=11401, revisions=(237598,useless=226846), ccks=3271505, wck=0.898, mem=111M147
6.13/3.61	    decisions=1084, wrong=500, backtracks=117, failedAssignments=440, nogoods=242, foundSolutions=3, bestBound=56
6.13/3.61	    
6.13/3.64	    num=26, depth=0..5, filters=12173, revisions=(254308,useless=242833), ccks=3379237, wck=0.927, mem=111M147
6.13/3.64	    decisions=1158, wrong=535, backtracks=127, failedAssignments=468, nogoods=253, foundSolutions=3, bestBound=56
6.13/3.64	    
6.13/3.66	    num=27, depth=0..3, filters=12815, revisions=(271182,useless=259115), ccks=3428285, wck=0.943, mem=111M147
6.13/3.66	    decisions=1250, wrong=580, backtracks=142, failedAssignments=499, nogoods=255, foundSolutions=3, bestBound=56
6.13/3.66	    
6.13/3.68	    num=28, depth=2..6, filters=13210, revisions=(288723,useless=276291), ccks=3482523, wck=0.96, mem=111M147
6.13/3.68	    decisions=1324, wrong=615, backtracks=152, failedAssignments=533, nogoods=275, foundSolutions=3, bestBound=56
6.13/3.68	    
6.24/3.71	    num=29, depth=1..5, filters=14113, revisions=(311146,useless=297851), ccks=3612866, wck=0.996, mem=111M147
6.24/3.71	    decisions=1415, wrong=658, backtracks=159, failedAssignments=570, nogoods=298, foundSolutions=3, bestBound=56
6.24/3.71	    
6.24/3.74	    num=30, depth=0..6, filters=14881, revisions=(332875,useless=318867), ccks=3695550, wck=1.021, mem=111M147
6.24/3.74	    decisions=1523, wrong=710, backtracks=176, failedAssignments=611, nogoods=313, foundSolutions=3, bestBound=56
6.24/3.74	    
6.24/3.78	    num=31, depth=1..6, filters=15748, revisions=(361688,useless=346880), ccks=3830814, wck=1.06, mem=111M147
6.24/3.78	    decisions=1634, wrong=764, backtracks=194, failedAssignments=656, nogoods=333, foundSolutions=3, bestBound=56
6.24/3.78	    
6.34/3.81	    num=32, depth=0..5, filters=16691, revisions=(391171,useless=375482), ccks=3966825, wck=1.099, mem=111M147
6.34/3.81	    decisions=1741, wrong=816, backtracks=212, failedAssignments=706, nogoods=351, foundSolutions=3, bestBound=56
6.34/3.81	    
6.34/3.86	    num=33, depth=0..6, filters=17641, revisions=(424200,useless=407634), ccks=4130357, wck=1.145, mem=111M147
6.34/3.86	    decisions=1862, wrong=875, backtracks=234, failedAssignments=761, nogoods=359, foundSolutions=3, bestBound=56
6.34/3.86	    
6.44/3.90	o 55
6.44/3.90	    num=34, depth=0..8, filters=18643, revisions=(455337,useless=437837), ccks=4257552, wck=1.184, mem=111M147
6.44/3.90	    decisions=1968, wrong=926, backtracks=256, failedAssignments=806, nogoods=372, foundSolutions=4, bestBound=55
6.44/3.90	    
6.44/3.96	    num=35, depth=0..6, filters=20489, revisions=(498929,useless=479666), ccks=4473697, wck=1.245, mem=111M147
6.44/3.96	    decisions=2141, wrong=1011, backtracks=282, failedAssignments=873, nogoods=395, foundSolutions=4, bestBound=55
6.44/3.96	    
6.44/3.97	    num=36, depth=1..3, filters=20765, revisions=(506656,useless=487132), ccks=4494753, wck=1.252, mem=111M147
6.44/3.97	    decisions=2171, wrong=1025, backtracks=287, failedAssignments=884, nogoods=402, foundSolutions=4, bestBound=55
6.44/3.97	    
6.44/3.98	    num=37, depth=1..3, filters=21110, revisions=(513892,useless=494044), ccks=4545749, wck=1.265, mem=111M147
6.44/3.98	    decisions=2204, wrong=1041, backtracks=294, failedAssignments=896, nogoods=410, foundSolutions=4, bestBound=55
6.44/3.98	    
6.44/3.99	    num=38, depth=3..5, filters=21358, revisions=(521730,useless=501651), ccks=4591608, wck=1.278, mem=111M147
6.44/3.99	    decisions=2233, wrong=1054, backtracks=295, failedAssignments=909, nogoods=418, foundSolutions=4, bestBound=55
6.44/3.99	    
6.44/4.00	    num=39, depth=1..3, filters=21682, revisions=(530356,useless=509973), ccks=4613553, wck=1.287, mem=111M147
6.44/4.00	    decisions=2269, wrong=1071, backtracks=301, failedAssignments=923, nogoods=425, foundSolutions=4, bestBound=55
6.44/4.00	    
6.59/4.02	    num=40, depth=0..3, filters=22158, revisions=(541016,useless=520180), ccks=4670698, wck=1.303, mem=111M147
6.59/4.02	    decisions=2319, wrong=1095, backtracks=312, failedAssignments=939, nogoods=426, foundSolutions=4, bestBound=55
6.59/4.02	    
6.59/4.03	    num=41, depth=2..5, filters=22475, revisions=(551296,useless=530167), ccks=4720050, wck=1.317, mem=111M147
6.59/4.03	    decisions=2355, wrong=1112, backtracks=315, failedAssignments=956, nogoods=433, foundSolutions=4, bestBound=55
6.59/4.03	    
6.59/4.07	    num=42, depth=1..4, filters=23225, revisions=(570870,useless=549026), ccks=4848981, wck=1.353, mem=111M147
6.59/4.07	    decisions=2416, wrong=1141, backtracks=328, failedAssignments=975, nogoods=436, foundSolutions=4, bestBound=55
6.59/4.07	    
6.59/4.09	    num=43, depth=0..3, filters=23708, revisions=(584565,useless=562266), ccks=4929774, wck=1.375, mem=111M147
6.59/4.09	    decisions=2469, wrong=1167, backtracks=341, failedAssignments=996, nogoods=440, foundSolutions=4, bestBound=55
6.59/4.09	    
6.70/4.11	    num=44, depth=2..5, filters=24181, revisions=(597899,useless=575157), ccks=4990688, wck=1.393, mem=111M147
6.70/4.11	    decisions=2519, wrong=1191, backtracks=345, failedAssignments=1019, nogoods=454, foundSolutions=4, bestBound=55
6.70/4.11	    
6.70/4.12	    num=45, depth=1..3, filters=24728, revisions=(610413,useless=587153), ccks=5042263, wck=1.408, mem=111M147
6.70/4.12	    decisions=2577, wrong=1219, backtracks=354, failedAssignments=1044, nogoods=463, foundSolutions=4, bestBound=55
6.70/4.12	    
6.70/4.15	    num=46, depth=2..7, filters=25270, revisions=(626441,useless=602669), ccks=5129171, wck=1.433, mem=111M147
6.70/4.15	    decisions=2641, wrong=1250, backtracks=364, failedAssignments=1072, nogoods=465, foundSolutions=4, bestBound=55
6.70/4.15	    
6.70/4.18	    num=47, depth=1..6, filters=25971, revisions=(647705,useless=623269), ccks=5231153, wck=1.462, mem=111M147
6.70/4.18	    decisions=2712, wrong=1284, backtracks=379, failedAssignments=1103, nogoods=471, foundSolutions=4, bestBound=55
6.70/4.18	    
6.79/4.21	    num=48, depth=1..3, filters=26762, revisions=(666233,useless=641049), ccks=5346388, wck=1.493, mem=111M147
6.79/4.21	    decisions=2794, wrong=1324, backtracks=390, failedAssignments=1137, nogoods=481, foundSolutions=4, bestBound=55
6.79/4.21	    
6.79/4.23	    num=49, depth=2..6, filters=27183, revisions=(685098,useless=659508), ccks=5409412, wck=1.512, mem=111M147
6.79/4.23	    decisions=2871, wrong=1361, backtracks=404, failedAssignments=1174, nogoods=488, foundSolutions=4, bestBound=55
6.79/4.23	    
6.79/4.26	    num=50, depth=0..7, filters=27726, revisions=(706911,useless=680821), ccks=5511516, wck=1.541, mem=111M147
6.79/4.26	    decisions=2965, wrong=1406, backtracks=420, failedAssignments=1215, nogoods=502, foundSolutions=4, bestBound=55
6.79/4.26	    
6.79/4.28	    num=51, depth=0..6, filters=28493, revisions=(730982,useless=704179), ccks=5609886, wck=1.569, mem=111M147
6.79/4.28	    decisions=3067, wrong=1456, backtracks=436, failedAssignments=1260, nogoods=504, foundSolutions=4, bestBound=55
6.79/4.28	    
6.89/4.30	    num=52, depth=2..6, filters=28886, revisions=(755987,useless=728828), ccks=5662698, wck=1.588, mem=111M147
6.89/4.30	    decisions=3177, wrong=1509, backtracks=450, failedAssignments=1310, nogoods=523, foundSolutions=4, bestBound=55
6.89/4.30	    
6.89/4.37	    num=53, depth=0..6, filters=30195, revisions=(790111,useless=761704), ccks=5896180, wck=1.65, mem=111M147
6.89/4.37	    decisions=3312, wrong=1575, backtracks=475, failedAssignments=1365, nogoods=536, foundSolutions=4, bestBound=55
6.89/4.37	    
7.03/4.43	    num=54, depth=1..5, filters=31704, revisions=(828491,useless=798647), ccks=6123753, wck=1.711, mem=111M147
7.03/4.43	    decisions=3457, wrong=1645, backtracks=490, failedAssignments=1426, nogoods=564, foundSolutions=4, bestBound=55
7.03/4.43	    
7.03/4.47	    num=55, depth=0..6, filters=32981, revisions=(863640,useless=832600), ccks=6289802, wck=1.758, mem=111M147
7.03/4.47	    decisions=3606, wrong=1718, backtracks=514, failedAssignments=1493, nogoods=570, foundSolutions=4, bestBound=55
7.03/4.47	    
7.17/4.53	    num=56, depth=1..6, filters=34701, revisions=(911407,useless=878728), ccks=6494240, wck=1.819, mem=111M147
7.17/4.53	    decisions=3780, wrong=1803, backtracks=533, failedAssignments=1567, nogoods=591, foundSolutions=4, bestBound=55
7.17/4.53	    
7.27/4.60	    num=57, depth=0..5, filters=36363, revisions=(957977,useless=923732), ccks=6734319, wck=1.884, mem=111M147
7.27/4.60	    decisions=3964, wrong=1894, backtracks=561, failedAssignments=1648, nogoods=602, foundSolutions=4, bestBound=55
7.27/4.60	    
7.27/4.67	    num=58, depth=0..6, filters=38566, revisions=(1010392,useless=974072), ccks=6960194, wck=1.95, mem=111M147
7.27/4.67	    decisions=4177, wrong=1999, backtracks=602, failedAssignments=1737, nogoods=613, foundSolutions=4, bestBound=55
7.27/4.67	    
7.37/4.73	o 53
7.37/4.73	    num=59, depth=1..8, filters=40190, revisions=(1063212,useless=1025355), ccks=7182745, wck=2.015, mem=111M147
7.37/4.73	    decisions=4394, wrong=2105, backtracks=633, failedAssignments=1826, nogoods=631, foundSolutions=5, bestBound=53
7.37/4.73	    
7.49/4.81	    num=60, depth=0..6, filters=42575, revisions=(1124221,useless=1084109), ccks=7464591, wck=2.094, mem=111M147
7.49/4.81	    decisions=4632, wrong=2223, backtracks=664, failedAssignments=1934, nogoods=650, foundSolutions=5, bestBound=53
7.49/4.81	    
7.49/4.82	    num=61, depth=1..4, filters=42872, revisions=(1132671,useless=1092277), ccks=7494368, wck=2.103, mem=111M147
7.49/4.82	    decisions=4660, wrong=2236, backtracks=670, failedAssignments=1945, nogoods=653, foundSolutions=5, bestBound=53
7.49/4.82	    
7.49/4.83	    num=62, depth=2..4, filters=43181, revisions=(1138946,useless=1098256), ccks=7530416, wck=2.113, mem=111M147
7.49/4.83	    decisions=4690, wrong=2249, backtracks=671, failedAssignments=1957, nogoods=665, foundSolutions=5, bestBound=53
7.49/4.83	    
7.49/4.84	    num=63, depth=2..4, filters=43615, revisions=(1149473,useless=1108371), ccks=7568944, wck=2.125, mem=113M789
7.49/4.84	    decisions=4730, wrong=2268, backtracks=678, failedAssignments=1970, nogoods=676, foundSolutions=5, bestBound=53
7.49/4.84	    
7.49/4.86	    num=64, depth=1..4, filters=44041, revisions=(1160159,useless=1118651), ccks=7621113, wck=2.14, mem=113M789
7.49/4.86	    decisions=4773, wrong=2288, backtracks=686, failedAssignments=1984, nogoods=684, foundSolutions=5, bestBound=53
7.49/4.86	    
7.49/4.87	    num=65, depth=2..4, filters=44389, revisions=(1171484,useless=1129645), ccks=7656459, wck=2.151, mem=113M789
7.49/4.87	    decisions=4808, wrong=2304, backtracks=698, failedAssignments=2000, nogoods=687, foundSolutions=5, bestBound=53
7.49/4.87	    
7.49/4.88	    num=66, depth=4..5, filters=44807, revisions=(1180791,useless=1138551), ccks=7700468, wck=2.164, mem=113M789
7.49/4.88	    decisions=4846, wrong=2321, backtracks=699, failedAssignments=2017, nogoods=702, foundSolutions=5, bestBound=53
7.49/4.88	    
7.49/4.89	    num=67, depth=1..3, filters=45288, revisions=(1193251,useless=1150551), ccks=7747279, wck=2.178, mem=113M789
7.49/4.89	    decisions=4904, wrong=2349, backtracks=710, failedAssignments=2036, nogoods=709, foundSolutions=5, bestBound=53
7.49/4.89	    
7.60/4.91	    num=68, depth=1..3, filters=45782, revisions=(1204489,useless=1161322), ccks=7810725, wck=2.196, mem=113M789
7.60/4.91	    decisions=4957, wrong=2374, backtracks=716, failedAssignments=2057, nogoods=716, foundSolutions=5, bestBound=53
7.60/4.91	    
7.60/4.92	    num=69, depth=1..3, filters=46172, revisions=(1216358,useless=1172838), ccks=7838970, wck=2.205, mem=113M789
7.60/4.92	    decisions=5015, wrong=2402, backtracks=723, failedAssignments=2080, nogoods=728, foundSolutions=5, bestBound=53
7.60/4.92	    
7.60/4.94	    num=70, depth=2..6, filters=46672, revisions=(1234622,useless=1190622), ccks=7891073, wck=2.223, mem=113M789
7.60/4.94	    decisions=5073, wrong=2429, backtracks=740, failedAssignments=2105, nogoods=733, foundSolutions=5, bestBound=53
7.60/4.94	    
7.60/4.96	    num=71, depth=3..5, filters=47174, revisions=(1249297,useless=1204822), ccks=7947456, wck=2.24, mem=113M789
7.60/4.96	    decisions=5134, wrong=2458, backtracks=744, failedAssignments=2133, nogoods=741, foundSolutions=5, bestBound=53
7.60/4.96	    
7.60/4.97	    num=72, depth=1..3, filters=47922, revisions=(1268274,useless=1223085), ccks=8008060, wck=2.258, mem=113M789
7.60/4.97	    decisions=5211, wrong=2495, backtracks=758, failedAssignments=2164, nogoods=750, foundSolutions=5, bestBound=53
7.60/4.97	    
7.60/4.99	    num=73, depth=1..3, filters=48467, revisions=(1283731,useless=1238051), ccks=8039533, wck=2.27, mem=113M789
7.60/4.99	    decisions=5284, wrong=2531, backtracks=768, failedAssignments=2198, nogoods=760, foundSolutions=5, bestBound=53
7.60/4.99	    
7.73/5.01	    num=74, depth=2..5, filters=48990, revisions=(1302403,useless=1256235), ccks=8138945, wck=2.297, mem=113M789
7.73/5.01	    decisions=5365, wrong=2570, backtracks=777, failedAssignments=2235, nogoods=768, foundSolutions=5, bestBound=53
7.73/5.01	    
7.73/5.04	    num=75, depth=0..6, filters=49712, revisions=(1323247,useless=1276390), ccks=8234795, wck=2.325, mem=113M789
7.73/5.04	    decisions=5460, wrong=2615, backtracks=787, failedAssignments=2276, nogoods=786, foundSolutions=5, bestBound=53
7.73/5.04	    
7.73/5.07	    num=76, depth=0..6, filters=50615, revisions=(1346843,useless=1299133), ccks=8317769, wck=2.35, mem=113M789
7.73/5.07	    decisions=5561, wrong=2664, backtracks=805, failedAssignments=2321, nogoods=789, foundSolutions=5, bestBound=53
7.73/5.07	    
7.73/5.10	    num=77, depth=2..4, filters=51620, revisions=(1384561,useless=1335914), ccks=8416302, wck=2.382, mem=113M789
7.73/5.10	    decisions=5696, wrong=2730, backtracks=828, failedAssignments=2371, nogoods=813, foundSolutions=5, bestBound=53
7.73/5.10	    
7.84/5.12	    num=78, depth=1..4, filters=52616, revisions=(1417837,useless=1368285), ccks=8495415, wck=2.408, mem=113M789
7.84/5.12	    decisions=5838, wrong=2800, backtracks=848, failedAssignments=2426, nogoods=822, foundSolutions=5, bestBound=53
7.84/5.12	    
7.84/5.18	    num=79, depth=1..7, filters=54008, revisions=(1458324,useless=1407474), ccks=8683146, wck=2.463, mem=113M789
7.84/5.18	    decisions=5991, wrong=2875, backtracks=869, failedAssignments=2487, nogoods=846, foundSolutions=5, bestBound=53
7.84/5.18	    
7.93/5.22	    num=80, depth=1..4, filters=55607, revisions=(1503809,useless=1451447), ccks=8830431, wck=2.508, mem=113M789
7.93/5.22	    decisions=6172, wrong=2964, backtracks=903, failedAssignments=2554, nogoods=856, foundSolutions=5, bestBound=53
7.93/5.22	    
7.93/5.27	    num=81, depth=1..5, filters=57030, revisions=(1548705,useless=1494996), ccks=8989231, wck=2.556, mem=113M789
7.93/5.27	    decisions=6336, wrong=3044, backtracks=924, failedAssignments=2628, nogoods=874, foundSolutions=5, bestBound=53
7.93/5.27	    
8.03/5.35	    num=82, depth=1..5, filters=59268, revisions=(1620479,useless=1564647), ccks=9250329, wck=2.633, mem=113M789
8.03/5.35	    decisions=6559, wrong=3155, backtracks=969, failedAssignments=2709, nogoods=883, foundSolutions=5, bestBound=53
8.03/5.35	    
8.13/5.42	o 52
8.13/5.42	    num=83, depth=2..8, filters=61127, revisions=(1671268,useless=1613662), ccks=9497981, wck=2.703, mem=113M789
8.13/5.42	    decisions=6742, wrong=3244, backtracks=989, failedAssignments=2782, nogoods=903, foundSolutions=6, bestBound=52
8.13/5.42	    
8.13/5.47	    num=84, depth=1..5, filters=62818, revisions=(1742348,useless=1683175), ccks=9652327, wck=2.758, mem=113M789
8.13/5.47	    decisions=7011, wrong=3377, backtracks=1028, failedAssignments=2880, nogoods=914, foundSolutions=6, bestBound=52
8.13/5.47	    
8.13/5.49	    num=85, depth=1..4, filters=63025, revisions=(1750588,useless=1691221), ccks=9710750, wck=2.774, mem=113M789
8.13/5.49	    decisions=7044, wrong=3393, backtracks=1035, failedAssignments=2891, nogoods=916, foundSolutions=6, bestBound=52
8.13/5.49	    
8.23/5.50	    num=86, depth=2..4, filters=63299, revisions=(1758308,useless=1698678), ccks=9739252, wck=2.782, mem=113M789
8.23/5.50	    decisions=7074, wrong=3407, backtracks=1040, failedAssignments=2903, nogoods=921, foundSolutions=6, bestBound=52
8.23/5.50	    
8.23/5.51	    num=87, depth=2..4, filters=63627, revisions=(1767013,useless=1707074), ccks=9796087, wck=2.798, mem=113M789
8.23/5.51	    decisions=7106, wrong=3421, backtracks=1042, failedAssignments=2916, nogoods=932, foundSolutions=6, bestBound=52
8.23/5.51	    
8.23/5.53	    num=88, depth=2..7, filters=63873, revisions=(1777856,useless=1717684), ccks=9833461, wck=2.809, mem=113M789
8.23/5.53	    decisions=7141, wrong=3437, backtracks=1050, failedAssignments=2930, nogoods=940, foundSolutions=6, bestBound=52
8.23/5.53	    
8.23/5.54	    num=89, depth=0..5, filters=64169, revisions=(1786922,useless=1726467), ccks=9865840, wck=2.819, mem=113M789
8.23/5.54	    decisions=7175, wrong=3453, backtracks=1058, failedAssignments=2946, nogoods=946, foundSolutions=6, bestBound=52
8.23/5.54	    
8.23/5.55	    num=90, depth=1..3, filters=64647, revisions=(1800437,useless=1739531), ccks=9910018, wck=2.833, mem=113M789
8.23/5.55	    decisions=7225, wrong=3477, backtracks=1068, failedAssignments=2963, nogoods=954, foundSolutions=6, bestBound=52
8.23/5.55	    
8.23/5.57	    num=91, depth=2..6, filters=65296, revisions=(1817356,useless=1755829), ccks=9991965, wck=2.856, mem=113M789
8.23/5.57	    decisions=7271, wrong=3498, backtracks=1078, failedAssignments=2982, nogoods=968, foundSolutions=6, bestBound=52
8.23/5.57	    
8.23/5.59	    num=92, depth=2..4, filters=65823, revisions=(1833787,useless=1771757), ccks=10036702, wck=2.87, mem=113M789
8.23/5.59	    decisions=7334, wrong=3528, backtracks=1089, failedAssignments=3003, nogoods=981, foundSolutions=6, bestBound=52
8.23/5.59	    
8.33/5.61	    num=93, depth=1..6, filters=66379, revisions=(1846801,useless=1784246), ccks=10133106, wck=2.895, mem=113M789
8.33/5.61	    decisions=7382, wrong=3551, backtracks=1095, failedAssignments=3026, nogoods=996, foundSolutions=6, bestBound=52
8.33/5.61	    
8.33/5.63	    num=94, depth=2..5, filters=66884, revisions=(1860935,useless=1797901), ccks=10200497, wck=2.914, mem=113M789
8.33/5.63	    decisions=7437, wrong=3577, backtracks=1101, failedAssignments=3051, nogoods=1003, foundSolutions=6, bestBound=52
8.33/5.63	    
8.33/5.64	    num=95, depth=1..4, filters=67409, revisions=(1877883,useless=1814369), ccks=10241833, wck=2.928, mem=113M789
8.33/5.64	    decisions=7505, wrong=3610, backtracks=1111, failedAssignments=3079, nogoods=1010, foundSolutions=6, bestBound=52
8.33/5.64	    
8.33/5.67	    num=96, depth=1..3, filters=68174, revisions=(1899319,useless=1835084), ccks=10341102, wck=2.956, mem=113M789
8.33/5.67	    decisions=7583, wrong=3648, backtracks=1128, failedAssignments=3110, nogoods=1014, foundSolutions=6, bestBound=52
8.33/5.67	    
8.33/5.70	    num=97, depth=1..4, filters=68859, revisions=(1918745,useless=1853861), ccks=10420632, wck=2.979, mem=113M789
8.33/5.70	    decisions=7658, wrong=3684, backtracks=1136, failedAssignments=3144, nogoods=1031, foundSolutions=6, bestBound=52
8.33/5.70	    
8.43/5.72	    num=98, depth=1..4, filters=69769, revisions=(1943801,useless=1878056), ccks=10493917, wck=3.002, mem=113M789
8.43/5.72	    decisions=7760, wrong=3734, backtracks=1155, failedAssignments=3181, nogoods=1042, foundSolutions=6, bestBound=52
8.43/5.72	    
8.43/5.74	    num=99, depth=1..5, filters=70390, revisions=(1967324,useless=1901000), ccks=10557666, wck=3.023, mem=113M789
8.43/5.74	    decisions=7845, wrong=3775, backtracks=1169, failedAssignments=3222, nogoods=1056, foundSolutions=6, bestBound=52
8.43/5.74	    
8.43/5.78	    num=100, depth=2..5, filters=71864, revisions=(2006746,useless=1939019), ccks=10696543, wck=3.065, mem=113M789
8.43/5.78	    decisions=7969, wrong=3836, backtracks=1187, failedAssignments=3267, nogoods=1062, foundSolutions=6, bestBound=52
8.43/5.78	    
8.53/5.81	    num=101, depth=1..4, filters=72901, revisions=(2039983,useless=1971293), ccks=10802581, wck=3.098, mem=113M789
8.53/5.81	    decisions=8084, wrong=3892, backtracks=1207, failedAssignments=3317, nogoods=1065, foundSolutions=6, bestBound=52
8.53/5.81	    
8.53/5.85	    num=102, depth=0..5, filters=74028, revisions=(2068986,useless=1999233), ccks=10911441, wck=3.13, mem=113M789
8.53/5.85	    decisions=8211, wrong=3954, backtracks=1229, failedAssignments=3372, nogoods=1071, foundSolutions=6, bestBound=52
8.53/5.85	    
8.53/5.88	    num=103, depth=1..4, filters=75173, revisions=(2107104,useless=2036294), ccks=11002303, wck=3.16, mem=113M789
8.53/5.88	    decisions=8361, wrong=4028, backtracks=1247, failedAssignments=3433, nogoods=1077, foundSolutions=6, bestBound=52
8.53/5.88	    
8.64/5.92	o 51
8.64/5.92	    num=104, depth=2..8, filters=76492, revisions=(2144035,useless=2071970), ccks=11158766, wck=3.207, mem=113M789
8.64/5.92	    decisions=8502, wrong=4096, backtracks=1263, failedAssignments=3491, nogoods=1103, foundSolutions=7, bestBound=51
8.64/5.92	    
8.64/5.98	    num=105, depth=1..4, filters=77950, revisions=(2186728,useless=2113286), ccks=11339496, wck=3.259, mem=113M789
8.64/5.98	    decisions=8681, wrong=4185, backtracks=1292, failedAssignments=3565, nogoods=1118, foundSolutions=7, bestBound=51
8.64/5.98	    
8.64/5.98	    num=106, depth=2..4, filters=78171, revisions=(2193972,useless=2120326), ccks=11367430, wck=3.267, mem=113M789
8.64/5.98	    decisions=8709, wrong=4198, backtracks=1294, failedAssignments=3576, nogoods=1120, foundSolutions=7, bestBound=51
8.64/5.98	    
8.64/5.99	    num=107, depth=3..5, filters=78443, revisions=(2204347,useless=2130439), ccks=11399855, wck=3.278, mem=113M789
8.64/5.99	    decisions=8742, wrong=4213, backtracks=1301, failedAssignments=3588, nogoods=1126, foundSolutions=7, bestBound=51
8.64/5.99	    
8.76/6.01	    num=108, depth=1..5, filters=78749, revisions=(2215170,useless=2140976), ccks=11471474, wck=3.297, mem=113M789
8.76/6.01	    decisions=8778, wrong=4230, backtracks=1308, failedAssignments=3601, nogoods=1135, foundSolutions=7, bestBound=51
8.76/6.01	    
8.76/6.02	    num=109, depth=2..4, filters=79083, revisions=(2225481,useless=2150974), ccks=11506747, wck=3.308, mem=113M789
8.76/6.02	    decisions=8812, wrong=4246, backtracks=1312, failedAssignments=3615, nogoods=1137, foundSolutions=7, bestBound=51
8.76/6.02	    
8.76/6.04	    num=110, depth=1..5, filters=79397, revisions=(2236057,useless=2161261), ccks=11554175, wck=3.322, mem=113M789
8.76/6.04	    decisions=8848, wrong=4263, backtracks=1315, failedAssignments=3631, nogoods=1150, foundSolutions=7, bestBound=51
8.76/6.04	    
8.76/6.05	    num=111, depth=1..4, filters=79768, revisions=(2248539,useless=2173392), ccks=11593980, wck=3.335, mem=113M789
8.76/6.05	    decisions=8899, wrong=4287, backtracks=1326, failedAssignments=3648, nogoods=1154, foundSolutions=7, bestBound=51
8.76/6.05	    
8.76/6.06	    num=112, depth=0..5, filters=80049, revisions=(2256004,useless=2180589), ccks=11633384, wck=3.346, mem=113M789
8.76/6.06	    decisions=8942, wrong=4306, backtracks=1330, failedAssignments=3667, nogoods=1156, foundSolutions=7, bestBound=51
8.76/6.06	    
8.76/6.07	    num=113, depth=1..5, filters=80425, revisions=(2267606,useless=2191840), ccks=11667231, wck=3.357, mem=113M789
8.76/6.07	    decisions=8987, wrong=4327, backtracks=1335, failedAssignments=3688, nogoods=1167, foundSolutions=7, bestBound=51
8.76/6.07	    
8.76/6.10	    num=114, depth=1..5, filters=81046, revisions=(2289698,useless=2213342), ccks=11765749, wck=3.386, mem=113M789
8.76/6.10	    decisions=9051, wrong=4358, backtracks=1353, failedAssignments=3711, nogoods=1174, foundSolutions=7, bestBound=51
8.76/6.10	    
8.93/6.11	    num=115, depth=1..6, filters=81271, revisions=(2302775,useless=2226211), ccks=11794201, wck=3.397, mem=113M789
8.93/6.11	    decisions=9107, wrong=4385, backtracks=1365, failedAssignments=3736, nogoods=1180, foundSolutions=7, bestBound=51
8.93/6.11	    
8.93/6.13	    num=116, depth=1..4, filters=82085, revisions=(2324546,useless=2247206), ccks=11857006, wck=3.417, mem=113M789
8.93/6.13	    decisions=9178, wrong=4419, backtracks=1379, failedAssignments=3764, nogoods=1189, foundSolutions=7, bestBound=51
8.93/6.13	    
8.93/6.15	o 49
8.93/6.15	    num=117, depth=2..8, filters=82442, revisions=(2336280,useless=2258603), ccks=11903665, wck=3.432, mem=113M789
8.93/6.15	    decisions=9214, wrong=4434, backtracks=1383, failedAssignments=3779, nogoods=1195, foundSolutions=8, bestBound=49
8.93/6.15	    
8.93/6.16	    num=118, depth=1..3, filters=83135, revisions=(2353338,useless=2275004), ccks=11948021, wck=3.447, mem=113M789
8.93/6.16	    decisions=9288, wrong=4470, backtracks=1392, failedAssignments=3813, nogoods=1202, foundSolutions=8, bestBound=49
8.93/6.16	    
8.93/6.17	    num=119, depth=3..4, filters=83363, revisions=(2360073,useless=2281534), ccks=11970321, wck=3.453, mem=113M789
8.93/6.17	    decisions=9313, wrong=4481, backtracks=1394, failedAssignments=3824, nogoods=1212, foundSolutions=8, bestBound=49
8.93/6.17	    
8.93/6.18	    num=120, depth=2..4, filters=83756, revisions=(2369923,useless=2291013), ccks=12002920, wck=3.464, mem=113M789
8.93/6.18	    decisions=9351, wrong=4499, backtracks=1400, failedAssignments=3836, nogoods=1219, foundSolutions=8, bestBound=49
8.93/6.18	    
8.93/6.19	    num=121, depth=2..4, filters=84115, revisions=(2380770,useless=2301520), ccks=12039712, wck=3.475, mem=113M789
8.93/6.19	    decisions=9385, wrong=4515, backtracks=1406, failedAssignments=3849, nogoods=1220, foundSolutions=8, bestBound=49
8.93/6.19	    
9.07/6.20	    num=122, depth=1..4, filters=84404, revisions=(2390808,useless=2311290), ccks=12069624, wck=3.485, mem=113M789
9.07/6.20	    decisions=9417, wrong=4530, backtracks=1412, failedAssignments=3863, nogoods=1225, foundSolutions=8, bestBound=49
9.07/6.20	    
9.07/6.21	    num=123, depth=3..5, filters=84747, revisions=(2403585,useless=2323738), ccks=12104665, wck=3.496, mem=113M789
9.07/6.21	    decisions=9459, wrong=4549, backtracks=1418, failedAssignments=3879, nogoods=1234, foundSolutions=8, bestBound=49
9.07/6.21	    
9.07/6.22	    num=124, depth=1..6, filters=84940, revisions=(2412203,useless=2332177), ccks=12126124, wck=3.503, mem=113M789
9.07/6.22	    decisions=9496, wrong=4566, backtracks=1425, failedAssignments=3896, nogoods=1242, foundSolutions=8, bestBound=49
9.07/6.22	    
9.07/6.23	    num=125, depth=3..5, filters=85345, revisions=(2428069,useless=2347657), ccks=12159864, wck=3.516, mem=113M789
9.07/6.23	    decisions=9542, wrong=4587, backtracks=1434, failedAssignments=3915, nogoods=1252, foundSolutions=8, bestBound=49
9.07/6.23	    
9.07/6.24	    num=126, depth=1..4, filters=85624, revisions=(2440104,useless=2359444), ccks=12189637, wck=3.526, mem=113M789
9.07/6.24	    decisions=9586, wrong=4608, backtracks=1443, failedAssignments=3936, nogoods=1258, foundSolutions=8, bestBound=49
9.07/6.24	    
9.07/6.26	    num=127, depth=1..3, filters=86205, revisions=(2454489,useless=2373272), ccks=12235670, wck=3.54, mem=113M789
9.07/6.26	    decisions=9650, wrong=4639, backtracks=1454, failedAssignments=3959, nogoods=1264, foundSolutions=8, bestBound=49
9.07/6.26	    
9.07/6.27	    num=128, depth=2..6, filters=86583, revisions=(2470587,useless=2389017), ccks=12277999, wck=3.554, mem=113M789
9.07/6.27	    decisions=9710, wrong=4667, backtracks=1463, failedAssignments=3984, nogoods=1276, foundSolutions=8, bestBound=49
9.07/6.27	    
9.07/6.28	    num=129, depth=1..3, filters=86882, revisions=(2482528,useless=2400681), ccks=12309125, wck=3.564, mem=113M789
9.07/6.28	    decisions=9768, wrong=4695, backtracks=1473, failedAssignments=4012, nogoods=1283, foundSolutions=8, bestBound=49
9.07/6.28	    
9.07/6.29	    num=130, depth=1..3, filters=87412, revisions=(2497799,useless=2415457), ccks=12345899, wck=3.577, mem=113M789
9.07/6.29	    decisions=9842, wrong=4731, backtracks=1481, failedAssignments=4043, nogoods=1293, foundSolutions=8, bestBound=49
9.07/6.29	    
9.25/6.31	    num=131, depth=3..5, filters=87955, revisions=(2520693,useless=2437830), ccks=12402119, wck=3.596, mem=113M789
9.25/6.31	    decisions=9926, wrong=4771, backtracks=1492, failedAssignments=4077, nogoods=1305, foundSolutions=8, bestBound=49
9.25/6.31	    
9.25/6.34	    num=132, depth=1..4, filters=88884, revisions=(2546282,useless=2462534), ccks=12507635, wck=3.626, mem=113M789
9.25/6.34	    decisions=10021, wrong=4817, backtracks=1509, failedAssignments=4114, nogoods=1318, foundSolutions=8, bestBound=49
9.25/6.34	    
9.25/6.36	    num=133, depth=3..5, filters=89570, revisions=(2578243,useless=2493870), ccks=12568883, wck=3.648, mem=113M789
9.25/6.36	    decisions=10134, wrong=4872, backtracks=1524, failedAssignments=4155, nogoods=1338, foundSolutions=8, bestBound=49
9.25/6.36	    
9.25/6.39	    num=134, depth=1..6, filters=90360, revisions=(2606056,useless=2520936), ccks=12654320, wck=3.674, mem=113M789
9.25/6.39	    decisions=10233, wrong=4921, backtracks=1545, failedAssignments=4200, nogoods=1350, foundSolutions=8, bestBound=49
9.25/6.39	    
9.35/6.41	    num=135, depth=0..5, filters=91302, revisions=(2633531,useless=2547525), ccks=12733238, wck=3.699, mem=113M789
9.35/6.41	    decisions=10342, wrong=4974, backtracks=1562, failedAssignments=4250, nogoods=1359, foundSolutions=8, bestBound=49
9.35/6.41	    
9.35/6.44	    num=136, depth=1..4, filters=92164, revisions=(2664996,useless=2578194), ccks=12819788, wck=3.726, mem=113M789
9.35/6.44	    decisions=10454, wrong=5029, backtracks=1585, failedAssignments=4305, nogoods=1370, foundSolutions=8, bestBound=49
9.35/6.44	    
9.35/6.48	    num=137, depth=1..5, filters=93414, revisions=(2702767,useless=2614787), ccks=12954041, wck=3.765, mem=113M789
9.35/6.48	    decisions=10599, wrong=5100, backtracks=1602, failedAssignments=4366, nogoods=1396, foundSolutions=8, bestBound=49
9.35/6.48	    
9.45/6.51	    num=138, depth=1..4, filters=94428, revisions=(2740841,useless=2651917), ccks=13058059, wck=3.799, mem=113M789
9.45/6.51	    decisions=10735, wrong=5167, backtracks=1625, failedAssignments=4433, nogoods=1421, foundSolutions=8, bestBound=49
9.45/6.51	    
9.45/6.55	    num=139, depth=1..4, filters=96102, revisions=(2786371,useless=2695866), ccks=13177725, wck=3.837, mem=113M789
9.45/6.55	    decisions=10921, wrong=5259, backtracks=1655, failedAssignments=4507, nogoods=1428, foundSolutions=8, bestBound=49
9.45/6.55	    
9.45/6.58	    num=140, depth=2..5, filters=97068, revisions=(2824922,useless=2733522), ccks=13266998, wck=3.867, mem=113M789
9.45/6.58	    decisions=11093, wrong=5344, backtracks=1677, failedAssignments=4588, nogoods=1440, foundSolutions=8, bestBound=49
9.45/6.58	    
9.57/6.62	    num=141, depth=0..4, filters=98638, revisions=(2874559,useless=2781692), ccks=13385647, wck=3.906, mem=113M789
9.57/6.62	    decisions=11288, wrong=5440, backtracks=1711, failedAssignments=4677, nogoods=1452, foundSolutions=8, bestBound=49
9.57/6.62	    
9.57/6.68	    num=142, depth=1..4, filters=100992, revisions=(2939714,useless=2844593), ccks=13572637, wck=3.965, mem=113M789
9.57/6.68	    decisions=11530, wrong=5560, backtracks=1758, failedAssignments=4775, nogoods=1463, foundSolutions=8, bestBound=49
9.57/6.68	    
9.67/6.73	    num=143, depth=2..5, filters=102362, revisions=(3003135,useless=2906725), ccks=13730217, wck=4.015, mem=113M789
9.67/6.73	    decisions=11774, wrong=5680, backtracks=1785, failedAssignments=4883, nogoods=1485, foundSolutions=8, bestBound=49
9.67/6.73	    
9.67/6.79	    num=144, depth=0..6, filters=104070, revisions=(3075687,useless=2977710), ccks=13926486, wck=4.079, mem=113M789
9.67/6.79	    decisions=12034, wrong=5808, backtracks=1826, failedAssignments=5002, nogoods=1504, foundSolutions=8, bestBound=49
9.67/6.79	    
9.87/6.91	    num=145, depth=1..5, filters=106456, revisions=(3170152,useless=3069928), ccks=14349663, wck=4.198, mem=113M789
9.87/6.91	    decisions=12367, wrong=5973, backtracks=1876, failedAssignments=5133, nogoods=1528, foundSolutions=8, bestBound=49
9.87/6.91	    
9.87/6.99	    num=146, depth=0..6, filters=109166, revisions=(3252122,useless=3149334), ccks=14616451, wck=4.279, mem=113M789
9.87/6.99	    decisions=12696, wrong=6136, backtracks=1930, failedAssignments=5277, nogoods=1539, foundSolutions=8, bestBound=49
9.87/6.99	    
9.98/7.07	    num=147, depth=2..6, filters=111455, revisions=(3354889,useless=3249937), ccks=14856932, wck=4.358, mem=113M789
9.98/7.07	    decisions=13082, wrong=6327, backtracks=1982, failedAssignments=5435, nogoods=1554, foundSolutions=8, bestBound=49
9.98/7.07	    
10.08/7.15	    num=148, depth=1..4, filters=114221, revisions=(3458123,useless=3350631), ccks=15061781, wck=4.431, mem=116M432
10.08/7.15	    decisions=13526, wrong=6548, backtracks=2043, failedAssignments=5609, nogoods=1570, foundSolutions=8, bestBound=49
10.08/7.15	    
10.17/7.22	    num=149, depth=1..5, filters=116314, revisions=(3547380,useless=3437968), ccks=15278381, wck=4.502, mem=116M432
10.17/7.22	    decisions=13921, wrong=6745, backtracks=2100, failedAssignments=5800, nogoods=1594, foundSolutions=8, bestBound=49
10.17/7.22	    
10.27/7.39	    num=150, depth=1..5, filters=121552, revisions=(3709034,useless=3594608), ccks=15839121, wck=4.67, mem=116M432
10.27/7.39	    decisions=14498, wrong=7033, backtracks=2201, failedAssignments=6011, nogoods=1618, foundSolutions=8, bestBound=49
10.27/7.39	    
10.47/7.50	    num=151, depth=0..6, filters=125435, revisions=(3851400,useless=3733317), ccks=16197031, wck=4.786, mem=116M432
10.47/7.50	    decisions=15077, wrong=7321, backtracks=2308, failedAssignments=6243, nogoods=1630, foundSolutions=8, bestBound=49
10.47/7.50	    
10.57/7.63	    num=152, depth=0..6, filters=129436, revisions=(4001390,useless=3879587), ccks=16600384, wck=4.914, mem=116M432
10.57/7.63	    decisions=15636, wrong=7599, backtracks=2385, failedAssignments=6498, nogoods=1661, foundSolutions=8, bestBound=49
10.57/7.63	    
10.77/7.80	    num=153, depth=1..5, filters=135755, revisions=(4190313,useless=4062485), ccks=17146010, wck=5.085, mem=116M432
10.77/7.80	    decisions=16320, wrong=7940, backtracks=2517, failedAssignments=6779, nogoods=1698, foundSolutions=8, bestBound=49
10.77/7.80	    
10.88/7.98	    num=154, depth=1..6, filters=141331, revisions=(4402933,useless=4269916), ccks=17691759, wck=5.261, mem=116M432
10.88/7.98	    decisions=17052, wrong=8305, backtracks=2623, failedAssignments=7088, nogoods=1717, foundSolutions=8, bestBound=49
10.88/7.98	    
11.09/8.14	    num=155, depth=0..6, filters=146635, revisions=(4630003,useless=4492110), ccks=18165454, wck=5.424, mem=116M432
11.09/8.14	    decisions=17851, wrong=8702, backtracks=2741, failedAssignments=7428, nogoods=1737, foundSolutions=8, bestBound=49
11.09/8.14	    
11.18/8.26	o 47
11.18/8.26	    num=156, depth=0..8, filters=150052, revisions=(4766139,useless=4625017), ccks=18526953, wck=5.54, mem=116M432
11.18/8.26	    decisions=18376, wrong=8962, backtracks=2823, failedAssignments=7645, nogoods=1750, foundSolutions=9, bestBound=47
11.18/8.26	    
11.38/8.49	    num=157, depth=0..5, filters=157740, revisions=(5073042,useless=4924722), ccks=19239574, wck=5.774, mem=116M432
11.38/8.49	    decisions=19521, wrong=9533, backtracks=3030, failedAssignments=8056, nogoods=1755, foundSolutions=9, bestBound=47
11.38/8.49	    
11.48/8.50	    num=158, depth=2..4, filters=158030, revisions=(5082106,useless=4933514), ccks=19271346, wck=5.784, mem=116M432
11.48/8.50	    decisions=19550, wrong=9546, backtracks=3034, failedAssignments=8067, nogoods=1761, foundSolutions=9, bestBound=47
11.48/8.50	    
11.48/8.51	    num=159, depth=3..4, filters=158371, revisions=(5092774,useless=4943860), ccks=19303068, wck=5.794, mem=116M432
11.48/8.51	    decisions=19587, wrong=9563, backtracks=3039, failedAssignments=8079, nogoods=1771, foundSolutions=9, bestBound=47
11.48/8.51	    
11.48/8.52	    num=160, depth=2..4, filters=158562, revisions=(5100813,useless=4951727), ccks=19324995, wck=5.801, mem=116M432
11.48/8.52	    decisions=19618, wrong=9577, backtracks=3043, failedAssignments=8092, nogoods=1774, foundSolutions=9, bestBound=47
11.48/8.52	    
11.48/8.53	    num=161, depth=2..4, filters=158867, revisions=(5110109,useless=4960735), ccks=19352933, wck=5.81, mem=116M432
11.48/8.53	    decisions=19653, wrong=9593, backtracks=3047, failedAssignments=8106, nogoods=1779, foundSolutions=9, bestBound=47
11.48/8.53	    
11.48/8.53	    num=162, depth=2..4, filters=159092, revisions=(5120605,useless=4971023), ccks=19372546, wck=5.817, mem=116M432
11.48/8.53	    decisions=19693, wrong=9612, backtracks=3054, failedAssignments=8122, nogoods=1781, foundSolutions=9, bestBound=47
11.48/8.53	    
11.48/8.54	    num=163, depth=2..4, filters=159530, revisions=(5132418,useless=4982415), ccks=19405504, wck=5.827, mem=116M432
11.48/8.54	    decisions=19739, wrong=9634, backtracks=3063, failedAssignments=8139, nogoods=1787, foundSolutions=9, bestBound=47
11.48/8.54	    
11.48/8.55	    num=164, depth=3..6, filters=159820, revisions=(5145348,useless=4995077), ccks=19438107, wck=5.838, mem=116M432
11.48/8.55	    decisions=19785, wrong=9655, backtracks=3068, failedAssignments=8158, nogoods=1800, foundSolutions=9, bestBound=47
11.48/8.55	    
11.48/8.58	    num=165, depth=2..4, filters=160491, revisions=(5165617,useless=5014702), ccks=19513452, wck=5.86, mem=116M432
11.48/8.58	    decisions=19853, wrong=9688, backtracks=3080, failedAssignments=8179, nogoods=1807, foundSolutions=9, bestBound=47
11.48/8.58	    
11.48/8.59	    num=166, depth=1..5, filters=160848, revisions=(5181852,useless=5030614), ccks=19562632, wck=5.876, mem=116M432
11.48/8.59	    decisions=19915, wrong=9718, backtracks=3091, failedAssignments=8202, nogoods=1817, foundSolutions=9, bestBound=47
11.48/8.59	    
11.58/8.61	    num=167, depth=3..5, filters=161379, revisions=(5200877,useless=5049152), ccks=19611318, wck=5.892, mem=116M432
11.58/8.61	    decisions=19974, wrong=9746, backtracks=3101, failedAssignments=8227, nogoods=1831, foundSolutions=9, bestBound=47
11.58/8.61	    
11.58/8.63	    num=168, depth=2..4, filters=162012, revisions=(5220321,useless=5067999), ccks=19668186, wck=5.91, mem=116M432
11.58/8.63	    decisions=20039, wrong=9777, backtracks=3109, failedAssignments=8255, nogoods=1841, foundSolutions=9, bestBound=47
11.58/8.63	    
11.58/8.65	    num=169, depth=2..4, filters=162730, revisions=(5243568,useless=5090557), ccks=19733390, wck=5.93, mem=116M432
11.58/8.65	    decisions=20123, wrong=9818, backtracks=3124, failedAssignments=8286, nogoods=1848, foundSolutions=9, bestBound=47
11.58/8.65	    
11.58/8.67	    num=170, depth=1..5, filters=163170, revisions=(5266332,useless=5112928), ccks=19791107, wck=5.949, mem=116M432
11.58/8.67	    decisions=20199, wrong=9855, backtracks=3134, failedAssignments=8320, nogoods=1853, foundSolutions=9, bestBound=47
11.58/8.67	    
11.58/8.69	    num=171, depth=2..4, filters=163771, revisions=(5288603,useless=5134639), ccks=19854626, wck=5.969, mem=116M432
11.58/8.69	    decisions=20278, wrong=9893, backtracks=3145, failedAssignments=8357, nogoods=1864, foundSolutions=9, bestBound=47
11.58/8.69	    
11.68/8.71	    num=172, depth=1..5, filters=164427, revisions=(5318492,useless=5163938), ccks=19922037, wck=5.992, mem=116M432
11.68/8.71	    decisions=20374, wrong=9940, backtracks=3162, failedAssignments=8398, nogoods=1870, foundSolutions=9, bestBound=47
11.68/8.71	    
11.68/8.73	    num=173, depth=2..5, filters=165276, revisions=(5344469,useless=5189103), ccks=20000714, wck=6.016, mem=116M432
11.68/8.73	    decisions=20470, wrong=9987, backtracks=3176, failedAssignments=8443, nogoods=1886, foundSolutions=9, bestBound=47
11.68/8.73	    
11.68/8.76	    num=174, depth=1..4, filters=166178, revisions=(5383213,useless=5227026), ccks=20075162, wck=6.043, mem=116M432
11.68/8.76	    decisions=20606, wrong=10054, backtracks=3206, failedAssignments=8493, nogoods=1892, foundSolutions=9, bestBound=47
11.68/8.76	    
11.68/8.79	    num=175, depth=1..5, filters=167355, revisions=(5421832,useless=5264525), ccks=20181188, wck=6.076, mem=116M432
11.68/8.79	    decisions=20734, wrong=10116, backtracks=3228, failedAssignments=8548, nogoods=1902, foundSolutions=9, bestBound=47
11.68/8.79	    
11.79/8.83	    num=176, depth=1..4, filters=168779, revisions=(5460665,useless=5302015), ccks=20298055, wck=6.112, mem=116M432
11.79/8.83	    decisions=20885, wrong=10190, backtracks=3245, failedAssignments=8609, nogoods=1914, foundSolutions=9, bestBound=47
11.79/8.83	    
11.79/8.86	    num=177, depth=1..4, filters=169924, revisions=(5496178,useless=5336452), ccks=20383795, wck=6.141, mem=116M432
11.79/8.86	    decisions=21041, wrong=10267, backtracks=3267, failedAssignments=8676, nogoods=1927, foundSolutions=9, bestBound=47
11.79/8.86	    
11.79/8.89	    num=178, depth=3..7, filters=171034, revisions=(5538091,useless=5377306), ccks=20495433, wck=6.177, mem=116M432
11.79/8.89	    decisions=21217, wrong=10353, backtracks=3286, failedAssignments=8750, nogoods=1942, foundSolutions=9, bestBound=47
11.79/8.89	    
11.89/8.94	    num=179, depth=1..5, filters=172390, revisions=(5593443,useless=5431430), ccks=20650988, wck=6.226, mem=116M432
11.89/8.94	    decisions=21409, wrong=10448, backtracks=3323, failedAssignments=8831, nogoods=1952, foundSolutions=9, bestBound=47
11.89/8.94	    
11.89/9.01	    num=180, depth=2..5, filters=174333, revisions=(5665987,useless=5502150), ccks=20852819, wck=6.291, mem=116M432
11.89/9.01	    decisions=21638, wrong=10561, backtracks=3352, failedAssignments=8920, nogoods=1964, foundSolutions=9, bestBound=47
11.89/9.01	    
12.00/9.06	    num=181, depth=1..4, filters=175774, revisions=(5734685,useless=5569570), ccks=20994347, wck=6.34, mem=116M432
12.00/9.06	    decisions=21880, wrong=10681, backtracks=3386, failedAssignments=9018, nogoods=1970, foundSolutions=9, bestBound=47
12.00/9.06	    
12.10/9.15	    num=182, depth=2..5, filters=178937, revisions=(5824285,useless=5656146), ccks=21301756, wck=6.433, mem=116M432
12.10/9.15	    decisions=22166, wrong=10823, backtracks=3429, failedAssignments=9126, nogoods=1974, foundSolutions=9, bestBound=47
12.10/9.15	    
12.10/9.19	    num=183, depth=1..4, filters=180498, revisions=(5883013,useless=5713397), ccks=21406984, wck=6.47, mem=116M432
12.10/9.19	    decisions=22424, wrong=10951, backtracks=3469, failedAssignments=9245, nogoods=1991, foundSolutions=9, bestBound=47
12.10/9.19	    
12.19/9.25	    num=184, depth=2..7, filters=182557, revisions=(5962272,useless=5790719), ccks=21609389, wck=6.536, mem=116M432
12.19/9.25	    decisions=22720, wrong=11097, backtracks=3506, failedAssignments=9376, nogoods=2003, foundSolutions=9, bestBound=47
12.19/9.25	    
12.29/9.33	    num=185, depth=1..6, filters=185153, revisions=(6051785,useless=5877841), ccks=21843988, wck=6.61, mem=116M432
12.29/9.33	    decisions=23038, wrong=11255, backtracks=3552, failedAssignments=9520, nogoods=2014, foundSolutions=9, bestBound=47
12.29/9.33	    
12.39/9.43	    num=186, depth=1..5, filters=188730, revisions=(6159672,useless=5982326), ccks=22182228, wck=6.713, mem=116M432
12.39/9.43	    decisions=23387, wrong=11428, backtracks=3606, failedAssignments=9678, nogoods=2020, foundSolutions=9, bestBound=47
12.39/9.43	    
12.49/9.52	    num=187, depth=0..6, filters=191716, revisions=(6266507,useless=6086355), ccks=22446532, wck=6.8, mem=116M432
12.49/9.52	    decisions=23770, wrong=11618, backtracks=3663, failedAssignments=9852, nogoods=2029, foundSolutions=9, bestBound=47
12.49/9.52	    
12.59/9.65	    num=188, depth=0..5, filters=196217, revisions=(6405900,useless=6221448), ccks=22860627, wck=6.929, mem=116M432
12.59/9.65	    decisions=24261, wrong=11862, backtracks=3751, failedAssignments=10043, nogoods=2058, foundSolutions=9, bestBound=47
12.59/9.65	    
12.69/9.76	    num=189, depth=0..4, filters=200614, revisions=(6544204,useless=6355605), ccks=23221861, wck=7.044, mem=116M432
12.69/9.76	    decisions=24766, wrong=12113, backtracks=3829, failedAssignments=10254, nogoods=2071, foundSolutions=9, bestBound=47
12.69/9.76	    
12.79/9.87	    num=190, depth=1..5, filters=203697, revisions=(6693600,useless=6502224), ccks=23567067, wck=7.158, mem=116M432
12.79/9.87	    decisions=25312, wrong=12384, backtracks=3911, failedAssignments=10486, nogoods=2097, foundSolutions=9, bestBound=47
12.79/9.87	    
13.00/10.04	    num=191, depth=1..5, filters=209365, revisions=(6889772,useless=6693009), ccks=24079548, wck=7.322, mem=116M432
13.00/10.04	    decisions=25994, wrong=12724, backtracks=4034, failedAssignments=10741, nogoods=2124, foundSolutions=9, bestBound=47
13.00/10.04	    
13.19/10.21	    num=192, depth=1..6, filters=214367, revisions=(7080827,useless=6879455), ccks=24625412, wck=7.494, mem=116M432
13.19/10.21	    decisions=26620, wrong=13036, backtracks=4091, failedAssignments=11022, nogoods=2145, foundSolutions=9, bestBound=47
13.19/10.21	    
13.29/10.33	    num=193, depth=0..6, filters=217563, revisions=(7256959,useless=7052742), ccks=24962376, wck=7.614, mem=116M432
13.29/10.33	    decisions=27297, wrong=13373, backtracks=4196, failedAssignments=11331, nogoods=2150, foundSolutions=9, bestBound=47
13.29/10.33	    
13.50/10.54	    num=194, depth=1..5, filters=224334, revisions=(7499600,useless=7289004), ccks=25614210, wck=7.822, mem=116M432
13.50/10.54	    decisions=28153, wrong=13799, backtracks=4333, failedAssignments=11671, nogoods=2173, foundSolutions=9, bestBound=47
13.50/10.54	    
13.70/10.74	    num=195, depth=0..6, filters=230687, revisions=(7737042,useless=7520536), ccks=26249304, wck=8.028, mem=116M432
13.70/10.74	    decisions=29079, wrong=14261, backtracks=4463, failedAssignments=12045, nogoods=2199, foundSolutions=9, bestBound=47
13.70/10.74	    
13.90/10.92	    num=196, depth=0..5, filters=237121, revisions=(7988612,useless=7766212), ccks=26757532, wck=8.203, mem=116M432
13.90/10.92	    decisions=30089, wrong=14765, backtracks=4619, failedAssignments=12456, nogoods=2204, foundSolutions=9, bestBound=47
13.90/10.92	    
14.11/11.12	    num=197, depth=0..5, filters=244885, revisions=(8252028,useless=8022337), ccks=27340883, wck=8.401, mem=116M432
14.11/11.12	    decisions=31152, wrong=15295, backtracks=4811, failedAssignments=12908, nogoods=2212, foundSolutions=9, bestBound=47
14.11/11.12	    
14.40/11.44	    num=198, depth=0..5, filters=255418, revisions=(8631964,useless=8392335), ccks=28332392, wck=8.719, mem=116M432
14.40/11.44	    decisions=32433, wrong=15934, backtracks=5012, failedAssignments=13405, nogoods=2220, foundSolutions=9, bestBound=47
14.40/11.44	    
14.70/11.71	    num=199, depth=1..5, filters=265657, revisions=(8994744,useless=8745390), ccks=29170302, wck=8.997, mem=116M432
14.70/11.71	    decisions=33799, wrong=16616, backtracks=5234, failedAssignments=13952, nogoods=2234, foundSolutions=9, bestBound=47
14.70/11.71	    
15.01/12.07	    num=200, depth=1..6, filters=275692, revisions=(9471859,useless=9213335), ccks=30227292, wck=9.356, mem=116M432
15.01/12.07	    decisions=35310, wrong=17370, backtracks=5434, failedAssignments=14554, nogoods=2279, foundSolutions=9, bestBound=47
15.01/12.07	    
15.30/12.39	    num=201, depth=0..5, filters=286957, revisions=(9906636,useless=9637572), ccks=31154128, wck=9.672, mem=116M432
15.30/12.39	    decisions=36955, wrong=18191, backtracks=5707, failedAssignments=15216, nogoods=2305, foundSolutions=9, bestBound=47
15.30/12.39	    
15.70/12.79	    num=202, depth=0..6, filters=296919, revisions=(10445958,useless=10167886), ccks=32334348, wck=10.074, mem=116M432
15.70/12.79	    decisions=38750, wrong=19087, backtracks=6005, failedAssignments=15944, nogoods=2315, foundSolutions=9, bestBound=47
15.70/12.79	    
16.11/13.13	o 46
16.11/13.13	    num=203, depth=1..8, filters=305921, revisions=(10911371,useless=10625064), ccks=33310017, wck=10.412, mem=116M432
16.11/13.13	    decisions=40234, wrong=19827, backtracks=6270, failedAssignments=16554, nogoods=2329, foundSolutions=10, bestBound=46
16.11/13.13	    
16.50/13.55	    num=204, depth=0..6, filters=319780, revisions=(11488941,useless=11190007), ccks=34564625, wck=10.837, mem=116M432
16.50/13.55	    decisions=42285, wrong=20851, backtracks=6555, failedAssignments=17435, nogoods=2351, foundSolutions=10, bestBound=46
16.50/13.55	    
16.50/13.56	    num=205, depth=3..4, filters=320062, revisions=(11497768,useless=11198561), ccks=34591348, wck=10.845, mem=116M432
16.50/13.56	    decisions=42316, wrong=20865, backtracks=6560, failedAssignments=17446, nogoods=2357, foundSolutions=10, bestBound=46
16.50/13.56	    
16.50/13.57	    num=206, depth=3..4, filters=320348, revisions=(11508491,useless=11209018), ccks=34618727, wck=10.854, mem=116M432
16.50/13.57	    decisions=42352, wrong=20881, backtracks=6566, failedAssignments=17458, nogoods=2366, foundSolutions=10, bestBound=46
16.50/13.57	    
16.50/13.58	    num=207, depth=2..4, filters=320609, revisions=(11518187,useless=11218471), ccks=34641469, wck=10.862, mem=116M432
16.50/13.58	    decisions=42383, wrong=20895, backtracks=6570, failedAssignments=17471, nogoods=2373, foundSolutions=10, bestBound=46
16.50/13.58	    
16.50/13.59	    num=208, depth=3..5, filters=321005, revisions=(11532262,useless=11232172), ccks=34689647, wck=10.876, mem=116M432
16.50/13.59	    decisions=42425, wrong=20915, backtracks=6577, failedAssignments=17485, nogoods=2380, foundSolutions=10, bestBound=46
16.50/13.59	    
16.61/13.60	    num=209, depth=1..5, filters=321252, revisions=(11544427,useless=11244111), ccks=34719154, wck=10.886, mem=116M432
16.61/13.60	    decisions=42470, wrong=20936, backtracks=6585, failedAssignments=17501, nogoods=2387, foundSolutions=10, bestBound=46
16.61/13.60	    
16.61/13.61	    num=210, depth=2..4, filters=321670, revisions=(11557085,useless=11256368), ccks=34756171, wck=10.898, mem=116M432
16.61/13.61	    decisions=42507, wrong=20954, backtracks=6591, failedAssignments=17518, nogoods=2391, foundSolutions=10, bestBound=46
16.61/13.61	    
16.61/13.62	    num=211, depth=2..5, filters=321873, revisions=(11570902,useless=11270010), ccks=34784075, wck=10.908, mem=116M432
16.61/13.62	    decisions=42548, wrong=20973, backtracks=6597, failedAssignments=17537, nogoods=2394, foundSolutions=10, bestBound=46
16.61/13.62	    
16.61/13.64	    num=212, depth=2..4, filters=322407, revisions=(11588504,useless=11287109), ccks=34828689, wck=10.922, mem=119M74
16.61/13.64	    decisions=42607, wrong=21001, backtracks=6607, failedAssignments=17558, nogoods=2402, foundSolutions=10, bestBound=46
16.61/13.64	    
16.61/13.65	    num=213, depth=2..4, filters=322792, revisions=(11604833,useless=11303088), ccks=34865038, wck=10.935, mem=119M74
16.61/13.65	    decisions=42664, wrong=21028, backtracks=6615, failedAssignments=17581, nogoods=2407, foundSolutions=10, bestBound=46
16.61/13.65	    
16.61/13.67	    num=214, depth=2..5, filters=323132, revisions=(11626020,useless=11323976), ccks=34907155, wck=10.95, mem=119M74
16.61/13.67	    decisions=42722, wrong=21056, backtracks=6627, failedAssignments=17606, nogoods=2414, foundSolutions=10, bestBound=46
16.61/13.67	    
16.61/13.68	    num=215, depth=2..4, filters=323742, revisions=(11647691,useless=11345064), ccks=34960839, wck=10.967, mem=119M74
16.61/13.68	    decisions=42795, wrong=21091, backtracks=6639, failedAssignments=17634, nogoods=2418, foundSolutions=10, bestBound=46
16.61/13.68	    
16.61/13.70	    num=216, depth=2..4, filters=324166, revisions=(11664336,useless=11361325), ccks=34999214, wck=10.98, mem=119M74
16.61/13.70	    decisions=42866, wrong=21125, backtracks=6645, failedAssignments=17665, nogoods=2428, foundSolutions=10, bestBound=46
16.61/13.70	    
16.72/13.71	    num=217, depth=2..4, filters=324663, revisions=(11687987,useless=11384520), ccks=35042898, wck=10.996, mem=119M74
16.72/13.71	    decisions=42945, wrong=21163, backtracks=6656, failedAssignments=17699, nogoods=2431, foundSolutions=10, bestBound=46
16.72/13.71	    
16.72/13.73	    num=218, depth=1..5, filters=325128, revisions=(11712417,useless=11408531), ccks=35092004, wck=11.013, mem=119M74
16.72/13.73	    decisions=43032, wrong=21205, backtracks=6671, failedAssignments=17736, nogoods=2436, foundSolutions=10, bestBound=46
16.72/13.73	    
16.72/13.76	    num=219, depth=2..5, filters=325890, revisions=(11744933,useless=11440338), ccks=35179716, wck=11.042, mem=119M74
16.72/13.76	    decisions=43137, wrong=21256, backtracks=6686, failedAssignments=17777, nogoods=2444, foundSolutions=10, bestBound=46
16.72/13.76	    
16.72/13.79	    num=220, depth=2..5, filters=326914, revisions=(11783093,useless=11477527), ccks=35270117, wck=11.072, mem=119M74
16.72/13.79	    decisions=43262, wrong=21317, backtracks=6707, failedAssignments=17822, nogoods=2458, foundSolutions=10, bestBound=46
16.72/13.79	    
16.82/13.81	    num=221, depth=2..6, filters=327842, revisions=(11814466,useless=11508037), ccks=35351654, wck=11.098, mem=119M74
16.82/13.81	    decisions=43375, wrong=21372, backtracks=6715, failedAssignments=17872, nogoods=2464, foundSolutions=10, bestBound=46
16.82/13.81	    
16.82/13.84	    num=222, depth=2..5, filters=328562, revisions=(11851863,useless=11544782), ccks=35426638, wck=11.124, mem=119M74
16.82/13.84	    decisions=43512, wrong=21439, backtracks=6738, failedAssignments=17927, nogoods=2479, foundSolutions=10, bestBound=46
16.82/13.84	    
16.82/13.89	    num=223, depth=3..5, filters=329772, revisions=(11903074,useless=11594863), ccks=35566017, wck=11.169, mem=119M74
16.82/13.89	    decisions=43671, wrong=21517, backtracks=6756, failedAssignments=17988, nogoods=2494, foundSolutions=10, bestBound=46
16.82/13.89	    
16.92/13.92	    num=224, depth=2..5, filters=331129, revisions=(11950902,useless=11641385), ccks=35679775, wck=11.207, mem=119M74
16.92/13.92	    decisions=43828, wrong=21594, backtracks=6784, failedAssignments=18055, nogoods=2507, foundSolutions=10, bestBound=46
16.92/13.92	    
16.92/13.95	    num=225, depth=1..5, filters=332045, revisions=(12000493,useless=11690139), ccks=35767938, wck=11.239, mem=119M74
16.92/13.95	    decisions=44006, wrong=21682, backtracks=6817, failedAssignments=18129, nogoods=2520, foundSolutions=10, bestBound=46
16.92/13.95	    
16.92/14.00	    num=226, depth=1..5, filters=333448, revisions=(12055601,useless=11743937), ccks=35887574, wck=11.279, mem=119M74
16.92/14.00	    decisions=44204, wrong=21780, backtracks=6853, failedAssignments=18210, nogoods=2528, foundSolutions=10, bestBound=46
16.92/14.00	    
17.03/14.06	    num=227, depth=2..5, filters=335067, revisions=(12137742,useless=11824610), ccks=36057486, wck=11.34, mem=119M74
17.03/14.06	    decisions=44445, wrong=21899, backtracks=6887, failedAssignments=18299, nogoods=2536, foundSolutions=10, bestBound=46
17.03/14.06	    
17.03/14.07	o 45
17.03/14.07	    num=228, depth=2..8, filters=335452, revisions=(12157741,useless=11844255), ccks=36104284, wck=11.356, mem=119M74
17.03/14.07	    decisions=44506, wrong=21927, backtracks=6898, failedAssignments=18322, nogoods=2543, foundSolutions=11, bestBound=45
17.03/14.07	    
17.14/14.11	    num=229, depth=1..4, filters=337003, revisions=(12216427,useless=11901512), ccks=36220451, wck=11.397, mem=119M74
17.14/14.11	    decisions=44753, wrong=22049, backtracks=6934, failedAssignments=18430, nogoods=2564, foundSolutions=11, bestBound=45
17.14/14.11	    
17.14/14.12	    num=230, depth=2..4, filters=337298, revisions=(12222411,useless=11907214), ccks=36245218, wck=11.404, mem=119M74
17.14/14.12	    decisions=44779, wrong=22061, backtracks=6935, failedAssignments=18441, nogoods=2575, foundSolutions=11, bestBound=45
17.14/14.12	    
17.14/14.12	    num=231, depth=1..3, filters=337469, revisions=(12227841,useless=11912479), ccks=36257137, wck=11.408, mem=119M74
17.14/14.12	    decisions=44805, wrong=22073, backtracks=6940, failedAssignments=18453, nogoods=2584, foundSolutions=11, bestBound=45
17.14/14.12	    
17.14/14.13	    num=232, depth=2..3, filters=337704, revisions=(12237138,useless=11921554), ccks=36278799, wck=11.415, mem=119M74
17.14/14.13	    decisions=44834, wrong=22086, backtracks=6943, failedAssignments=18466, nogoods=2590, foundSolutions=11, bestBound=45
17.14/14.13	    
17.14/14.14	    num=233, depth=2..5, filters=337976, revisions=(12249252,useless=11933421), ccks=36307390, wck=11.425, mem=119M74
17.14/14.14	    decisions=44872, wrong=22104, backtracks=6954, failedAssignments=18480, nogoods=2595, foundSolutions=11, bestBound=45
17.14/14.14	    
17.14/14.15	    num=234, depth=2..4, filters=338177, revisions=(12258747,useless=11942724), ccks=36324531, wck=11.431, mem=119M74
17.14/14.15	    decisions=44915, wrong=22124, backtracks=6960, failedAssignments=18496, nogoods=2599, foundSolutions=11, bestBound=45
17.14/14.15	    
17.14/14.16	    num=235, depth=1..3, filters=338541, revisions=(12268945,useless=11952579), ccks=36349413, wck=11.439, mem=119M74
17.14/14.16	    decisions=44952, wrong=22142, backtracks=6967, failedAssignments=18513, nogoods=2601, foundSolutions=11, bestBound=45
17.14/14.16	    
17.14/14.16	    num=236, depth=1..4, filters=338890, revisions=(12282105,useless=11965421), ccks=36377201, wck=11.449, mem=119M74
17.14/14.16	    decisions=45005, wrong=22168, backtracks=6978, failedAssignments=18532, nogoods=2602, foundSolutions=11, bestBound=45
17.14/14.16	    
17.14/14.18	    num=237, depth=2..4, filters=339395, revisions=(12299249,useless=11982089), ccks=36418625, wck=11.463, mem=119M74
17.14/14.18	    decisions=45063, wrong=22196, backtracks=6990, failedAssignments=18553, nogoods=2605, foundSolutions=11, bestBound=45
17.14/14.18	    
17.14/14.19	    num=238, depth=1..5, filters=339768, revisions=(12315096,useless=11997586), ccks=36461879, wck=11.476, mem=119M74
17.14/14.19	    decisions=45121, wrong=22224, backtracks=6998, failedAssignments=18576, nogoods=2614, foundSolutions=11, bestBound=45
17.14/14.19	    
17.24/14.21	    num=239, depth=2..4, filters=340184, revisions=(12334577,useless=12016685), ccks=36499362, wck=11.49, mem=119M74
17.24/14.21	    decisions=45186, wrong=22255, backtracks=7011, failedAssignments=18601, nogoods=2621, foundSolutions=11, bestBound=45
17.24/14.21	    
17.24/14.22	    num=240, depth=2..4, filters=340583, revisions=(12358703,useless=12040455), ccks=36543173, wck=11.506, mem=119M74
17.24/14.22	    decisions=45267, wrong=22294, backtracks=7024, failedAssignments=18629, nogoods=2627, foundSolutions=11, bestBound=45
17.24/14.22	    
17.24/14.24	    num=241, depth=2..4, filters=341250, revisions=(12379306,useless=12060426), ccks=36603565, wck=11.525, mem=119M74
17.24/14.24	    decisions=45340, wrong=22330, backtracks=7033, failedAssignments=18660, nogoods=2631, foundSolutions=11, bestBound=45
17.24/14.24	    
17.24/14.26	    num=242, depth=1..4, filters=341850, revisions=(12400500,useless=12081062), ccks=36651593, wck=11.541, mem=119M74
17.24/14.26	    decisions=45419, wrong=22368, backtracks=7046, failedAssignments=18694, nogoods=2640, foundSolutions=11, bestBound=45
17.24/14.26	    
17.24/14.27	    num=243, depth=1..4, filters=342326, revisions=(12423279,useless=12103394), ccks=36694511, wck=11.556, mem=119M74
17.24/14.27	    decisions=45507, wrong=22410, backtracks=7060, failedAssignments=18731, nogoods=2650, foundSolutions=11, bestBound=45
17.24/14.27	    
17.24/14.29	    num=244, depth=1..3, filters=342963, revisions=(12443655,useless=12123168), ccks=36737714, wck=11.571, mem=119M74
17.24/14.29	    decisions=45602, wrong=22457, backtracks=7077, failedAssignments=18772, nogoods=2656, foundSolutions=11, bestBound=45
17.24/14.29	    
17.34/14.31	    num=245, depth=1..5, filters=343743, revisions=(12473773,useless=12152546), ccks=36809410, wck=11.594, mem=119M74
17.34/14.31	    decisions=45710, wrong=22509, backtracks=7098, failedAssignments=18817, nogoods=2662, foundSolutions=11, bestBound=45
17.34/14.31	    
17.34/14.34	    num=246, depth=2..4, filters=344934, revisions=(12510255,useless=12187897), ccks=36898668, wck=11.623, mem=119M74
17.34/14.34	    decisions=45840, wrong=22573, backtracks=7120, failedAssignments=18867, nogoods=2674, foundSolutions=11, bestBound=45
17.34/14.34	    
17.34/14.37	    num=247, depth=1..5, filters=345783, revisions=(12550908,useless=12227766), ccks=36977558, wck=11.651, mem=119M74
17.34/14.37	    decisions=45975, wrong=22639, backtracks=7143, failedAssignments=18922, nogoods=2681, foundSolutions=11, bestBound=45
17.34/14.37	    
17.45/14.40	    num=248, depth=2..5, filters=346843, revisions=(12597659,useless=12273564), ccks=37076343, wck=11.686, mem=119M74
17.45/14.40	    decisions=46126, wrong=22713, backtracks=7163, failedAssignments=18983, nogoods=2691, foundSolutions=11, bestBound=45
17.45/14.40	    
17.45/14.43	    num=249, depth=1..4, filters=347764, revisions=(12641018,useless=12316085), ccks=37159925, wck=11.716, mem=119M74
17.45/14.43	    decisions=46309, wrong=22803, backtracks=7189, failedAssignments=19050, nogoods=2697, foundSolutions=11, bestBound=45
17.45/14.43	    
17.45/14.47	    num=250, depth=1..5, filters=349089, revisions=(12694946,useless=12368797), ccks=37290633, wck=11.758, mem=119M74
17.45/14.47	    decisions=46486, wrong=22890, backtracks=7220, failedAssignments=19124, nogoods=2711, foundSolutions=11, bestBound=45
17.45/14.47	    
17.55/14.51	    num=251, depth=2..4, filters=350084, revisions=(12749956,useless=12422926), ccks=37384555, wck=11.793, mem=119M74
17.55/14.51	    decisions=46696, wrong=22994, backtracks=7252, failedAssignments=19205, nogoods=2729, foundSolutions=11, bestBound=45
17.55/14.51	    
17.55/14.56	    num=252, depth=1..5, filters=351800, revisions=(12814854,useless=12486203), ccks=37546506, wck=11.846, mem=119M74
17.55/14.56	    decisions=46913, wrong=23101, backtracks=7293, failedAssignments=19294, nogoods=2743, foundSolutions=11, bestBound=45
17.55/14.56	    
17.65/14.62	    num=253, depth=1..6, filters=353535, revisions=(12887842,useless=12557594), ccks=37730269, wck=11.907, mem=119M74
17.65/14.62	    decisions=47161, wrong=23223, backtracks=7331, failedAssignments=19392, nogoods=2760, foundSolutions=11, bestBound=45
17.65/14.62	    
17.65/14.68	    num=254, depth=2..5, filters=355708, revisions=(12957782,useless=12625471), ccks=37912907, wck=11.965, mem=119M74
17.65/14.68	    decisions=47435, wrong=23359, backtracks=7368, failedAssignments=19500, nogoods=2786, foundSolutions=11, bestBound=45
17.65/14.68	    
17.75/14.73	    num=255, depth=1..4, filters=357137, revisions=(13033147,useless=12699525), ccks=38033127, wck=12.01, mem=119M74
17.75/14.73	    decisions=47722, wrong=23501, backtracks=7418, failedAssignments=19619, nogoods=2788, foundSolutions=11, bestBound=45
17.75/14.73	    
17.75/14.79	    num=256, depth=1..5, filters=359165, revisions=(13114879,useless=12779396), ccks=38220847, wck=12.073, mem=119M74
17.75/14.79	    decisions=48000, wrong=23639, backtracks=7463, failedAssignments=19750, nogoods=2808, foundSolutions=11, bestBound=45
17.75/14.79	    
17.85/14.86	    num=257, depth=1..5, filters=361215, revisions=(13203509,useless=12866142), ccks=38420640, wck=12.14, mem=119M74
17.85/14.86	    decisions=48335, wrong=23805, backtracks=7505, failedAssignments=19894, nogoods=2827, foundSolutions=11, bestBound=45
17.85/14.86	    
17.95/14.92	    num=258, depth=1..4, filters=363129, revisions=(13303973,useless=12964897), ccks=38578925, wck=12.201, mem=119M74
17.95/14.92	    decisions=48682, wrong=23978, backtracks=7574, failedAssignments=20052, nogoods=2847, foundSolutions=11, bestBound=45
17.95/14.92	    
17.95/15.00	    num=259, depth=2..5, filters=365881, revisions=(13434014,useless=13092387), ccks=38821446, wck=12.288, mem=119M74
17.95/15.00	    decisions=49133, wrong=24202, backtracks=7643, failedAssignments=20226, nogoods=2863, foundSolutions=11, bestBound=45
17.95/15.00	    
18.06/15.08	    num=260, depth=1..4, filters=368557, revisions=(13550305,useless=13206181), ccks=39041362, wck=12.366, mem=119M74
18.06/15.08	    decisions=49597, wrong=24433, backtracks=7726, failedAssignments=20417, nogoods=2876, foundSolutions=11, bestBound=45
18.06/15.08	    
18.16/15.16	    num=261, depth=0..6, filters=370916, revisions=(13667543,useless=13321263), ccks=39251836, wck=12.443, mem=119M74
18.16/15.16	    decisions=50073, wrong=24670, backtracks=7804, failedAssignments=20628, nogoods=2887, foundSolutions=11, bestBound=45
18.16/15.16	    
18.25/15.26	    num=262, depth=1..4, filters=375097, revisions=(13806739,useless=13456522), ccks=39550800, wck=12.545, mem=119M74
18.25/15.26	    decisions=50636, wrong=24950, backtracks=7890, failedAssignments=20860, nogoods=2900, foundSolutions=11, bestBound=45
18.25/15.26	    
18.35/15.37	    num=263, depth=0..4, filters=378766, revisions=(13969149,useless=13615559), ccks=39847355, wck=12.651, mem=119M74
18.35/15.37	    decisions=51238, wrong=25250, backtracks=7990, failedAssignments=21115, nogoods=2912, foundSolutions=11, bestBound=45
18.35/15.37	    
18.45/15.49	    num=264, depth=1..5, filters=382525, revisions=(14158048,useless=13801033), ccks=40182978, wck=12.773, mem=119M74
18.45/15.49	    decisions=51903, wrong=25581, backtracks=8085, failedAssignments=21396, nogoods=2931, foundSolutions=11, bestBound=45
18.45/15.49	    
18.65/15.64	    num=265, depth=0..6, filters=386849, revisions=(14375504,useless=14014573), ccks=40608217, wck=12.921, mem=119M74
18.65/15.64	    decisions=52637, wrong=25947, backtracks=8216, failedAssignments=21705, nogoods=2936, foundSolutions=11, bestBound=45
18.65/15.64	    
18.75/15.76	    num=266, depth=0..5, filters=391052, revisions=(14577984,useless=14213197), ccks=40948348, wck=13.048, mem=119M74
18.75/15.76	    decisions=53399, wrong=26327, backtracks=8356, failedAssignments=22045, nogoods=2950, foundSolutions=11, bestBound=45
18.75/15.76	    
18.95/15.97	    num=267, depth=1..5, filters=398107, revisions=(14852743,useless=14481316), ccks=41563757, wck=13.256, mem=119M74
18.95/15.97	    decisions=54330, wrong=26791, backtracks=8524, failedAssignments=22419, nogoods=2968, foundSolutions=11, bestBound=45
18.95/15.97	    
19.16/16.15	    num=268, depth=0..6, filters=403760, revisions=(15134702,useless=14758044), ccks=42056902, wck=13.437, mem=119M74
19.16/16.15	    decisions=55313, wrong=27281, backtracks=8714, failedAssignments=22830, nogoods=2975, foundSolutions=11, bestBound=45
19.16/16.15	    
19.35/16.40	    num=269, depth=1..6, filters=411308, revisions=(15475384,useless=15091846), ccks=42765061, wck=13.68, mem=119M74
19.35/16.40	    decisions=56414, wrong=27830, backtracks=8880, failedAssignments=23282, nogoods=2990, foundSolutions=11, bestBound=45
19.35/16.40	    
19.65/16.63	    num=270, depth=0..6, filters=419325, revisions=(15802106,useless=15411209), ccks=43464556, wck=13.915, mem=119M74
19.65/16.63	    decisions=57536, wrong=28390, backtracks=9041, failedAssignments=23779, nogoods=3016, foundSolutions=11, bestBound=45
19.65/16.63	    
19.95/16.92	    num=271, depth=0..6, filters=428442, revisions=(16240222,useless=15840899), ccks=44278275, wck=14.206, mem=119M74
19.95/16.92	    decisions=58949, wrong=29095, backtracks=9334, failedAssignments=24326, nogoods=3032, foundSolutions=11, bestBound=45
19.95/16.92	    
20.25/17.21	    num=272, depth=1..6, filters=437898, revisions=(16691198,useless=16283181), ccks=45083075, wck=14.498, mem=119M74
20.25/17.21	    decisions=60492, wrong=29865, backtracks=9635, failedAssignments=24928, nogoods=3045, foundSolutions=11, bestBound=45
20.25/17.21	    
20.55/17.54	    num=273, depth=0..6, filters=450797, revisions=(17145547,useless=16725392), ccks=46054160, wck=14.828, mem=119M74
20.55/17.54	    decisions=62120, wrong=30678, backtracks=9963, failedAssignments=25590, nogoods=3065, foundSolutions=11, bestBound=45
20.55/17.54	    
20.95/17.94	    num=274, depth=0..6, filters=463703, revisions=(17686277,useless=17254010), ccks=47201834, wck=15.22, mem=119M74
20.95/17.94	    decisions=64017, wrong=31625, backtracks=10269, failedAssignments=26318, nogoods=3068, foundSolutions=11, bestBound=45
20.95/17.94	    
21.35/18.34	    num=275, depth=0..6, filters=475817, revisions=(18283124,useless=17839862), ccks=48348963, wck=15.621, mem=119M74
21.35/18.34	    decisions=65975, wrong=32602, backtracks=10616, failedAssignments=27119, nogoods=3088, foundSolutions=11, bestBound=45
21.35/18.34	    
21.85/18.87	    num=276, depth=1..6, filters=493777, revisions=(18988729,useless=18528524), ccks=49932097, wck=16.151, mem=119M74
21.85/18.87	    decisions=68283, wrong=33755, backtracks=11031, failedAssignments=28000, nogoods=3115, foundSolutions=11, bestBound=45
21.85/18.87	    
22.36/19.38	    num=277, depth=0..6, filters=508309, revisions=(19751113,useless=19277795), ccks=51376466, wck=16.661, mem=121M717
22.36/19.38	    decisions=70708, wrong=34966, backtracks=11520, failedAssignments=28970, nogoods=3124, foundSolutions=11, bestBound=45
22.36/19.38	    
22.86/19.88	    num=278, depth=0..6, filters=523721, revisions=(20515345,useless=20027997), ccks=52781079, wck=17.16, mem=121M717
22.86/19.88	    decisions=73261, wrong=36241, backtracks=11989, failedAssignments=30037, nogoods=3127, foundSolutions=11, bestBound=45
22.86/19.88	    
23.46/20.46	    num=279, depth=1..6, filters=541455, revisions=(21393882,useless=20890170), ccks=54415451, wck=17.739, mem=121M717
23.46/20.46	    decisions=76236, wrong=37728, backtracks=12523, failedAssignments=31210, nogoods=3134, foundSolutions=11, bestBound=45
23.46/20.46	    
24.09/21.08	    num=280, depth=0..6, filters=560228, revisions=(22312800,useless=21791923), ccks=56208396, wck=18.366, mem=121M717
24.09/21.08	    decisions=79420, wrong=39319, backtracks=13077, failedAssignments=32501, nogoods=3153, foundSolutions=11, bestBound=45
24.09/21.08	    
24.89/21.88	    num=281, depth=0..6, filters=584462, revisions=(23451812,useless=22908430), ccks=58539194, wck=19.168, mem=121M717
24.89/21.88	    decisions=83115, wrong=41165, backtracks=13705, failedAssignments=33921, nogoods=3177, foundSolutions=11, bestBound=45
24.89/21.88	    
25.69/22.68	    num=282, depth=0..6, filters=606313, revisions=(24699046,useless=24135879), ccks=60760924, wck=19.967, mem=121M717
25.69/22.68	    decisions=87120, wrong=43166, backtracks=14479, failedAssignments=35483, nogoods=3190, foundSolutions=11, bestBound=45
25.69/22.68	    
26.69/23.60	    num=283, depth=0..6, filters=632154, revisions=(26112382,useless=25525721), ccks=63312810, wck=20.881, mem=121M717
26.69/23.60	    decisions=91471, wrong=45340, backtracks=15365, failedAssignments=37201, nogoods=3195, foundSolutions=11, bestBound=45
26.69/23.60	    
27.13/24.05	o 44
27.13/24.05	    num=284, depth=1..8, filters=646027, revisions=(26833940,useless=26234441), ccks=64568707, wck=21.338, mem=121M717
27.13/24.05	    decisions=93914, wrong=46559, backtracks=15809, failedAssignments=38157, nogoods=3205, foundSolutions=12, bestBound=44
27.13/24.05	    
28.13/25.03	    num=285, depth=0..6, filters=678109, revisions=(28327170,useless=27698040), ccks=67302811, wck=22.313, mem=121M717
28.13/25.03	    decisions=99162, wrong=49181, backtracks=16792, failedAssignments=40236, nogoods=3220, foundSolutions=12, bestBound=44
28.13/25.03	    
28.13/25.04	    num=286, depth=2..5, filters=678364, revisions=(28337540,useless=27708173), ccks=67325661, wck=22.321, mem=121M717
28.13/25.04	    decisions=99193, wrong=49195, backtracks=16798, failedAssignments=40247, nogoods=3225, foundSolutions=12, bestBound=44
28.13/25.04	    
28.13/25.04	    num=287, depth=2..5, filters=678609, revisions=(28347378,useless=27717784), ccks=67349020, wck=22.329, mem=121M717
28.13/25.04	    decisions=99226, wrong=49210, backtracks=16805, failedAssignments=40259, nogoods=3227, foundSolutions=12, bestBound=44
28.13/25.04	    
28.13/25.05	    num=288, depth=1..4, filters=678885, revisions=(28356409,useless=27726558), ccks=67375438, wck=22.337, mem=121M717
28.13/25.05	    decisions=99253, wrong=49223, backtracks=16813, failedAssignments=40272, nogoods=3228, foundSolutions=12, bestBound=44
28.13/25.05	    
28.13/25.07	    num=289, depth=2..6, filters=679258, revisions=(28371924,useless=27741722), ccks=67423345, wck=22.352, mem=121M717
28.13/25.07	    decisions=99294, wrong=49242, backtracks=16823, failedAssignments=40286, nogoods=3234, foundSolutions=12, bestBound=44
28.13/25.07	    
28.13/25.08	    num=290, depth=3..5, filters=679497, revisions=(28384669,useless=27754249), ccks=67446237, wck=22.36, mem=121M717
28.13/25.08	    decisions=99340, wrong=49263, backtracks=16830, failedAssignments=40302, nogoods=3241, foundSolutions=12, bestBound=44
28.13/25.08	    
28.13/25.08	    num=291, depth=2..3, filters=679718, revisions=(28394445,useless=27763818), ccks=67467148, wck=22.367, mem=121M717
28.13/25.08	    decisions=99376, wrong=49280, backtracks=16834, failedAssignments=40319, nogoods=3245, foundSolutions=12, bestBound=44
28.13/25.08	    
28.13/25.09	    num=292, depth=2..4, filters=680069, revisions=(28410024,useless=27779069), ccks=67497381, wck=22.378, mem=121M717
28.13/25.09	    decisions=99422, wrong=49301, backtracks=16842, failedAssignments=40338, nogoods=3253, foundSolutions=12, bestBound=44
28.13/25.09	    
28.13/25.10	    num=293, depth=2..5, filters=680305, revisions=(28424282,useless=27793118), ccks=67519759, wck=22.387, mem=121M717
28.13/25.10	    decisions=99472, wrong=49324, backtracks=16850, failedAssignments=40359, nogoods=3259, foundSolutions=12, bestBound=44
28.13/25.10	    
28.23/25.12	    num=294, depth=3..5, filters=680819, revisions=(28445202,useless=27813556), ccks=67575702, wck=22.405, mem=121M717
28.23/25.12	    decisions=99533, wrong=49353, backtracks=16858, failedAssignments=40382, nogoods=3268, foundSolutions=12, bestBound=44
28.23/25.12	    
28.23/25.13	    num=295, depth=1..5, filters=681259, revisions=(28467234,useless=27835183), ccks=67613503, wck=22.419, mem=121M717
28.23/25.13	    decisions=99601, wrong=49386, backtracks=16874, failedAssignments=40407, nogoods=3272, foundSolutions=12, bestBound=44
28.23/25.13	    
28.23/25.15	    num=296, depth=2..5, filters=681921, revisions=(28489904,useless=27857225), ccks=67666671, wck=22.436, mem=121M717
28.23/25.15	    decisions=99684, wrong=49426, backtracks=16888, failedAssignments=40435, nogoods=3278, foundSolutions=12, bestBound=44
28.23/25.15	    
28.23/25.18	    num=297, depth=2..4, filters=682712, revisions=(28518716,useless=27885292), ccks=67737731, wck=22.46, mem=121M717
28.23/25.18	    decisions=99767, wrong=49467, backtracks=16905, failedAssignments=40466, nogoods=3282, foundSolutions=12, bestBound=44
28.23/25.18	    
28.23/25.19	    num=298, depth=2..5, filters=683297, revisions=(28541915,useless=27907939), ccks=67793249, wck=22.478, mem=121M717
28.23/25.19	    decisions=99852, wrong=49508, backtracks=16915, failedAssignments=40500, nogoods=3292, foundSolutions=12, bestBound=44
28.23/25.19	    
28.32/25.21	    num=299, depth=2..4, filters=683979, revisions=(28571498,useless=27936879), ccks=67846478, wck=22.498, mem=121M717
28.32/25.21	    decisions=99955, wrong=49558, backtracks=16936, failedAssignments=40537, nogoods=3303, foundSolutions=12, bestBound=44
28.32/25.21	    
28.32/25.23	    num=300, depth=2..5, filters=684555, revisions=(28600744,useless=27965598), ccks=67901917, wck=22.517, mem=121M717
28.32/25.23	    decisions=100055, wrong=49606, backtracks=16952, failedAssignments=40578, nogoods=3313, foundSolutions=12, bestBound=44
28.32/25.23	    
28.32/25.25	    num=301, depth=1..4, filters=685281, revisions=(28633086,useless=27997258), ccks=67958331, wck=22.538, mem=121M717
28.32/25.25	    decisions=100181, wrong=49668, backtracks=16976, failedAssignments=40623, nogoods=3323, foundSolutions=12, bestBound=44
28.32/25.25	    
28.32/25.28	    num=302, depth=2..4, filters=686193, revisions=(28675998,useless=28039329), ccks=68032177, wck=22.565, mem=121M717
28.32/25.28	    decisions=100328, wrong=49740, backtracks=17007, failedAssignments=40673, nogoods=3339, foundSolutions=12, bestBound=44
28.32/25.28	    
28.42/25.31	    num=303, depth=1..4, filters=687117, revisions=(28711088,useless=28073558), ccks=68101423, wck=22.589, mem=121M717
28.42/25.31	    decisions=100465, wrong=49807, backtracks=17028, failedAssignments=40728, nogoods=3344, foundSolutions=12, bestBound=44
28.42/25.31	    
28.42/25.33	    num=304, depth=2..5, filters=687959, revisions=(28754662,useless=28116342), ccks=68174459, wck=22.617, mem=121M717
28.42/25.33	    decisions=100612, wrong=49879, backtracks=17055, failedAssignments=40789, nogoods=3354, foundSolutions=12, bestBound=44
28.42/25.33	    
28.42/25.36	    num=305, depth=1..4, filters=688922, revisions=(28802136,useless=28162938), ccks=68261585, wck=22.648, mem=121M717
28.42/25.36	    decisions=100767, wrong=49955, backtracks=17084, failedAssignments=40856, nogoods=3368, foundSolutions=12, bestBound=44
28.42/25.36	    
28.52/25.40	    num=306, depth=2..5, filters=690122, revisions=(28862601,useless=28222290), ccks=68364180, wck=22.685, mem=121M717
28.52/25.40	    decisions=100960, wrong=50050, backtracks=17123, failedAssignments=40930, nogoods=3383, foundSolutions=12, bestBound=44
28.52/25.40	    
28.52/25.44	    num=307, depth=0..5, filters=691553, revisions=(28922024,useless=28280357), ccks=68482317, wck=22.727, mem=121M717
28.52/25.44	    decisions=101155, wrong=50146, backtracks=17160, failedAssignments=41011, nogoods=3390, foundSolutions=12, bestBound=44
28.52/25.44	    
28.52/25.48	    num=308, depth=1..5, filters=692551, revisions=(28974052,useless=28331456), ccks=68579717, wck=22.762, mem=121M717
28.52/25.48	    decisions=101366, wrong=50250, backtracks=17192, failedAssignments=41100, nogoods=3398, foundSolutions=12, bestBound=44
28.52/25.48	    
28.62/25.52	    num=309, depth=1..5, filters=694183, revisions=(29045316,useless=28401210), ccks=68703531, wck=22.807, mem=121M717
28.62/25.52	    decisions=101608, wrong=50370, backtracks=17243, failedAssignments=41198, nogoods=3406, foundSolutions=12, bestBound=44
28.62/25.52	    
28.62/25.57	    num=310, depth=1..4, filters=696101, revisions=(29116229,useless=28470318), ccks=68847071, wck=22.856, mem=121M717
28.62/25.57	    decisions=101887, wrong=50508, backtracks=17281, failedAssignments=41306, nogoods=3412, foundSolutions=12, bestBound=44
28.62/25.57	    
28.72/25.63	    num=311, depth=1..5, filters=697857, revisions=(29201096,useless=28553576), ccks=68992358, wck=22.909, mem=121M717
28.72/25.63	    decisions=102189, wrong=50658, backtracks=17327, failedAssignments=41425, nogoods=3415, foundSolutions=12, bestBound=44
28.72/25.63	    
28.72/25.67	    num=312, depth=0..5, filters=699305, revisions=(29278489,useless=28629678), ccks=69119241, wck=22.957, mem=121M717
28.72/25.67	    decisions=102490, wrong=50807, backtracks=17379, failedAssignments=41556, nogoods=3422, foundSolutions=12, bestBound=44
28.72/25.67	    
28.82/25.74	    num=313, depth=1..4, filters=701511, revisions=(29386698,useless=28735874), ccks=69296852, wck=23.022, mem=121M717
28.82/25.74	    decisions=102891, wrong=51006, backtracks=17441, failedAssignments=41700, nogoods=3426, foundSolutions=12, bestBound=44
28.82/25.74	    
28.92/25.80	    num=314, depth=1..4, filters=703858, revisions=(29481020,useless=28827996), ccks=69470528, wck=23.084, mem=121M717
28.92/25.80	    decisions=103239, wrong=51179, backtracks=17509, failedAssignments=41858, nogoods=3442, foundSolutions=12, bestBound=44
28.92/25.80	    
28.92/25.89	    num=315, depth=1..6, filters=706396, revisions=(29607791,useless=28952428), ccks=69735555, wck=23.174, mem=121M717
28.92/25.89	    decisions=103669, wrong=51392, backtracks=17572, failedAssignments=42032, nogoods=3454, foundSolutions=12, bestBound=44
28.92/25.89	    
29.02/25.95	    num=316, depth=1..4, filters=708768, revisions=(29715077,useless=29057537), ccks=69897179, wck=23.238, mem=121M717
29.02/25.95	    decisions=104096, wrong=51604, backtracks=17648, failedAssignments=42223, nogoods=3475, foundSolutions=12, bestBound=44
29.02/25.95	    
29.13/26.08	    num=317, depth=1..6, filters=712640, revisions=(29887772,useless=29226599), ccks=70272426, wck=23.365, mem=121M717
29.13/26.08	    decisions=104676, wrong=51893, backtracks=17752, failedAssignments=42434, nogoods=3485, foundSolutions=12, bestBound=44
29.13/26.08	    
29.23/26.19	    num=318, depth=1..5, filters=716675, revisions=(30053858,useless=29388898), ccks=70575309, wck=23.473, mem=121M717
29.23/26.19	    decisions=105283, wrong=52195, backtracks=17865, failedAssignments=42666, nogoods=3492, foundSolutions=12, bestBound=44
29.23/26.19	    
29.32/26.30	    num=319, depth=1..5, filters=719809, revisions=(30242767,useless=29574979), ccks=70850653, wck=23.58, mem=121M717
29.32/26.30	    decisions=105920, wrong=52512, backtracks=17993, failedAssignments=42921, nogoods=3506, foundSolutions=12, bestBound=44
29.32/26.30	    
29.52/26.42	    num=320, depth=1..5, filters=724546, revisions=(30431162,useless=29758909), ccks=71202363, wck=23.704, mem=121M717
29.52/26.42	    decisions=106629, wrong=52865, backtracks=18117, failedAssignments=43202, nogoods=3526, foundSolutions=12, bestBound=44
29.52/26.42	    
29.62/26.57	    num=321, depth=1..6, filters=729402, revisions=(30665737,useless=29989003), ccks=71636576, wck=23.858, mem=121M717
29.62/26.57	    decisions=107382, wrong=53240, backtracks=18273, failedAssignments=43511, nogoods=3538, foundSolutions=12, bestBound=44
29.62/26.57	    
29.82/26.77	    num=322, depth=1..6, filters=735826, revisions=(30950804,useless=30268040), ccks=72214668, wck=24.058, mem=121M717
29.82/26.77	    decisions=108308, wrong=53702, backtracks=18442, failedAssignments=43851, nogoods=3547, foundSolutions=12, bestBound=44
29.82/26.77	    
30.02/26.92	    num=323, depth=0..5, filters=741035, revisions=(31179955,useless=30492379), ccks=72616962, wck=24.204, mem=121M717
30.02/26.92	    decisions=109186, wrong=54140, backtracks=18587, failedAssignments=44225, nogoods=3554, foundSolutions=12, bestBound=44
30.02/26.92	    
30.23/27.11	    num=324, depth=1..5, filters=747814, revisions=(31472148,useless=30778227), ccks=73149031, wck=24.393, mem=121M717
30.23/27.11	    decisions=110228, wrong=54660, backtracks=18759, failedAssignments=44636, nogoods=3574, foundSolutions=12, bestBound=44
30.23/27.11	    
30.42/27.31	    num=325, depth=1..6, filters=754336, revisions=(31785299,useless=31085375), ccks=73716227, wck=24.595, mem=121M717
30.42/27.31	    decisions=111332, wrong=55211, backtracks=18967, failedAssignments=45088, nogoods=3589, foundSolutions=12, bestBound=44
30.42/27.31	    
30.62/27.52	    num=326, depth=1..6, filters=760861, revisions=(32122224,useless=31416324), ccks=74294137, wck=24.805, mem=124M359
30.62/27.52	    decisions=112548, wrong=55818, backtracks=19218, failedAssignments=45585, nogoods=3610, foundSolutions=12, bestBound=44
30.62/27.52	    
30.82/27.76	    num=327, depth=0..6, filters=769634, revisions=(32478311,useless=31764114), ccks=74970602, wck=25.044, mem=124M359
30.82/27.76	    decisions=113847, wrong=56467, backtracks=19474, failedAssignments=46132, nogoods=3620, foundSolutions=12, bestBound=44
30.82/27.76	    
31.13/28.07	    num=328, depth=0..6, filters=778592, revisions=(32940281,useless=32217861), ccks=75832110, wck=25.35, mem=124M359
31.13/28.07	    decisions=115358, wrong=57221, backtracks=19777, failedAssignments=46734, nogoods=3641, foundSolutions=12, bestBound=44
31.13/28.07	    
31.42/28.39	    num=329, depth=1..6, filters=788081, revisions=(33460494,useless=32729459), ccks=76732774, wck=25.676, mem=124M359
31.42/28.39	    decisions=117036, wrong=58058, backtracks=20107, failedAssignments=47396, nogoods=3650, foundSolutions=12, bestBound=44
31.42/28.39	    
31.82/28.72	    num=330, depth=0..6, filters=797844, revisions=(34013015,useless=33272993), ccks=77595761, wck=26.002, mem=124M359
31.82/28.72	    decisions=118848, wrong=58963, backtracks=20511, failedAssignments=48124, nogoods=3672, foundSolutions=12, bestBound=44
31.82/28.72	    
32.23/29.12	    num=331, depth=1..5, filters=812526, revisions=(34596862,useless=33842918), ccks=78765820, wck=26.406, mem=124M359
32.23/29.12	    decisions=120867, wrong=59971, backtracks=20893, failedAssignments=48925, nogoods=3702, foundSolutions=12, bestBound=44
32.23/29.12	    
32.62/29.52	    num=332, depth=0..6, filters=826130, revisions=(35209376,useless=34442792), ccks=79878643, wck=26.803, mem=124M359
32.62/29.52	    decisions=123085, wrong=61078, backtracks=21254, failedAssignments=49806, nogoods=3716, foundSolutions=12, bestBound=44
32.62/29.52	    
33.03/29.97	    num=333, depth=0..6, filters=842227, revisions=(35892688,useless=35111038), ccks=81145857, wck=27.252, mem=124M359
33.03/29.97	    decisions=125450, wrong=62259, backtracks=21716, failedAssignments=50776, nogoods=3719, foundSolutions=12, bestBound=44
33.03/29.97	    
33.54/30.46	    num=334, depth=0..6, filters=858894, revisions=(36654166,useless=35856949), ccks=82533951, wck=27.746, mem=124M359
33.54/30.46	    decisions=128115, wrong=63590, backtracks=22211, failedAssignments=51843, nogoods=3741, foundSolutions=12, bestBound=44
33.54/30.46	    
34.15/31.03	    num=335, depth=0..6, filters=876383, revisions=(37550642,useless=36737215), ccks=84111490, wck=28.316, mem=124M359
34.15/31.03	    decisions=131062, wrong=65062, backtracks=22846, failedAssignments=53016, nogoods=3775, foundSolutions=12, bestBound=44
34.15/31.03	    
34.74/31.63	    num=336, depth=0..6, filters=895091, revisions=(38527301,useless=37696563), ccks=85740562, wck=28.916, mem=124M359
34.74/31.63	    decisions=134257, wrong=66658, backtracks=23581, failedAssignments=54307, nogoods=3796, foundSolutions=12, bestBound=44
34.74/31.63	    
35.64/32.54	    num=337, depth=1..6, filters=922613, revisions=(39805757,useless=38949339), ccks=88417604, wck=29.825, mem=124M359
35.64/32.54	    decisions=138211, wrong=68634, backtracks=24379, failedAssignments=55727, nogoods=3815, foundSolutions=12, bestBound=44
35.64/32.54	    
36.44/33.37	    num=338, depth=0..6, filters=948391, revisions=(41053306,useless=40172874), ccks=90777266, wck=30.655, mem=124M359
36.44/33.37	    decisions=142242, wrong=70648, backtracks=25178, failedAssignments=57289, nogoods=3820, foundSolutions=12, bestBound=44
36.44/33.37	    
37.34/34.23	    num=339, depth=0..6, filters=975587, revisions=(42389740,useless=41484044), ccks=93164352, wck=31.512, mem=124M359
37.34/34.23	    decisions=146613, wrong=72832, backtracks=26125, failedAssignments=59007, nogoods=3832, foundSolutions=12, bestBound=44
37.34/34.23	    
38.15/35.06	    num=340, depth=0..5, filters=1002139, revisions=(43731636,useless=42801463), ccks=95433976, wck=32.34, mem=124M359
38.15/35.06	    decisions=151305, wrong=75177, backtracks=27120, failedAssignments=60897, nogoods=3858, foundSolutions=12, bestBound=44
38.15/35.06	    
39.15/36.06	    num=341, depth=0..6, filters=1033350, revisions=(45316580,useless=44357448), ccks=98204902, wck=33.339, mem=124M359
39.15/36.06	    decisions=156469, wrong=77758, backtracks=28206, failedAssignments=62976, nogoods=3885, foundSolutions=12, bestBound=44
39.15/36.06	    
40.15/37.08	    num=342, depth=0..6, filters=1066846, revisions=(46985356,useless=45994951), ccks=101003246, wck=34.365, mem=124M359
40.15/37.08	    decisions=162195, wrong=80620, backtracks=29501, failedAssignments=65263, nogoods=3913, foundSolutions=12, bestBound=44
40.15/37.08	    
41.34/38.28	    num=343, depth=0..6, filters=1106924, revisions=(48774416,useless=47746371), ccks=104421899, wck=35.564, mem=124M359
41.34/38.28	    decisions=168337, wrong=83690, backtracks=30903, failedAssignments=67779, nogoods=3925, foundSolutions=12, bestBound=44
41.34/38.28	    
42.15/39.01	
42.15/39.01	  New Bounds: 44..43
42.15/39.01	    num=344, depth=0..6, filters=1131974, revisions=(49887141,useless=48835658), ccks=106478586, wck=36.292, mem=124M359
42.15/39.01	    decisions=172587, wrong=85816, backtracks=31876, failedAssignments=69674, foundSolutions=12, bestBound=44
42.15/39.01	    
42.15/39.01	  Global
42.15/39.01	    filters=1131974, revisions=(49887141,useless=48835658), ccks=106478586
42.15/39.01	    Stop=FULL_EXPLORATION, wrong=85816, bestBound=44, bestBoundWck=21.976, bestBoundCpu=24.02, foundSolutions=12, firstSolCpu=2.946
42.15/39.01	    wck=36.932, cpu=38.977, mem=124M359
42.15/39.01	
42.15/39.01	v <instantiation id='sol12' type='solution' cost='44'>  <list> x[] </list>  <values> 0 1 5 12 25 27 35 41 44 </values>  </instantiation>
42.15/39.01	s OPTIMUM FOUND
42.15/39.01	
42.15/39.01	d WRONG_DECISIONS 85816
42.15/39.01	d NUMBER_SOLUTIONS 12

OK	44

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: 16375 MiB (13178 MiB free)
  memory of node 1: 16384 MiB (15658 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391195-1568389530/watcher-4391195-1568389530 -o /tmp/evaluation-result-4391195-1568389530/solver-4391195-1568389530 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568388659-19204 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391195-1568389530.xml -cm 

running on 4 cores: 4-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=19561, runsolver pid=19558
Current StackSize limit: 8192 KiB


[startup+0.101624 s]*
/proc/loadavg: 1.83 1.80 1.73 3/229 19576
/proc/meminfo: memFree=29512940/32770688 swapFree=66961080/67108860
[pid=19561] ppid=19558 vsize=10659884 memory=27436 CPUtime=0.13 cores=4-7
/proc/19561/stat : 19561 (java) S 19558 19561 17242 0 -1 1077944320 5298 0 0 0 12 1 0 0 20 0 15 0 414894649 10915721216 6859 33554432000 4194304 4196468 140731066944032 140731066926576 139957737672439 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
/proc/19561/statm: 2664971 6859 2854 1 0 2627468 0
[pid=19561/tid=19563] ppid=19558 vsize=10659884 memory=8514726395714820750 CPUtime=0.1 cores=4-7
/proc/19561/task/19563/stat : 19563 (java) R 19558 19561 17242 0 -1 4202560 3186 0 0 0 9 1 0 0 20 0 15 0 414894649 10915721216 6859 33554432000 4194304 4196468 140731066944032 139957741895200 139957737684374 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19564] ppid=19558 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=4-7
/proc/19561/task/19564/stat : 19564 (java) S 19558 19561 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414894650 10915721216 6859 33554432000 4194304 4196468 140731066944032 139957690293264 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19565] ppid=19558 vsize=10659884 memory=140226243413632 CPUtime=0 cores=4-7
/proc/19561/task/19565/stat : 19565 (java) S 19558 19561 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414894650 10915721216 6859 33554432000 4194304 4196468 140731066944032 139957689240720 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19566] ppid=19558 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/19561/task/19566/stat : 19566 (java) S 19558 19561 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414894650 10915721216 6859 33554432000 4194304 4196468 140731066944032 139957688187664 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19567] ppid=19558 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/19561/task/19567/stat : 19567 (java) S 19558 19561 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414894650 10915721216 6859 33554432000 4194304 4196468 140731066944032 139957687135120 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19568] ppid=19558 vsize=10659884 memory=140226243413632 CPUtime=0 cores=4-7
/proc/19561/task/19568/stat : 19568 (java) S 19558 19561 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414894651 10915721216 6859 33554432000 4194304 4196468 140731066944032 139957296777456 139957737683586 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19569] ppid=19558 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/19561/task/19569/stat : 19569 (java) S 19558 19561 17242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414894652 10915721216 6859 33554432000 4194304 4196468 140731066944032 139957295723680 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19570] ppid=19558 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/19561/task/19570/stat : 19570 (java) S 19558 19561 17242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414894652 10915721216 6859 33554432000 4194304 4196468 140731066944032 139957294670576 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19571] ppid=19558 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/19561/task/19571/stat : 19571 (java) S 19558 19561 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414894655 10915721216 6859 33554432000 4194304 4196468 140731066944032 139957293619152 139957737691035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19572] ppid=19558 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/19561/task/19572/stat : 19572 (java) S 19558 19561 17242 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 15 0 414894655 10915721216 6859 33554432000 4194304 4196468 140731066944032 139957292567280 139957737683586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19573] ppid=19558 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/19561/task/19573/stat : 19573 (java) S 19558 19561 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414894655 10915721216 6859 33554432000 4194304 4196468 140731066944032 139957291514736 139957737683586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19574] ppid=19558 vsize=10659884 memory=140226243413632 CPUtime=0.02 cores=4-7
/proc/19561/task/19574/stat : 19574 (java) R 19558 19561 17242 0 -1 4202560 337 0 0 0 2 0 0 0 20 0 15 0 414894655 10915721216 6859 33554432000 4194304 4196468 140731066944032 139957290461680 139957737684374 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19575] ppid=19558 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/19561/task/19575/stat : 19575 (java) S 19558 19561 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414894655 10915721216 6859 33554432000 4194304 4196468 140731066944032 139957289409376 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19576] ppid=19558 vsize=10659884 memory=140226243413632 CPUtime=0 cores=4-7
/proc/19561/task/19576/stat : 19576 (java) S 19558 19561 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414894655 10915721216 6859 33554432000 4194304 4196468 140731066944032 139957288356400 139957737683586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27436 KiB

[startup+0.214246 s]*
/proc/loadavg: 1.83 1.80 1.73 5/229 19576
/proc/meminfo: memFree=29504716/32770688 swapFree=66961080/67108860
[pid=19561] ppid=19558 vsize=10660092 memory=35304 CPUtime=0.34 cores=4-7
/proc/19561/stat : 19561 (java) S 19558 19561 17242 0 -1 1077944320 6862 0 0 0 32 2 0 0 20 0 15 0 414894649 10915934208 8826 33554432000 4194304 4196468 140731066944032 140731066926576 139957737672439 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
/proc/19561/statm: 2665023 8826 2989 1 0 2627520 0
[pid=19561/tid=19563] ppid=19558 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=4-7
/proc/19561/task/19563/stat : 19563 (java) R 19558 19561 17242 0 -1 4202560 3840 0 0 0 19 1 0 0 20 0 15 0 414894649 10915721216 8793 33554432000 4194304 4196468 140731066944032 139957741904048 139957737694365 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19564] ppid=19558 vsize=10659884 memory=365 CPUtime=0 cores=4-7
/proc/19561/task/19564/stat : 19564 (java) S 19558 19561 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414894650 10915721216 8793 33554432000 4194304 4196468 140731066944032 139957690293264 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19565] ppid=19558 vsize=10659884 memory=140226243432749 CPUtime=0 cores=4-7
/proc/19561/task/19565/stat : 19565 (java) S 19558 19561 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414894650 10915721216 8793 33554432000 4194304 4196468 140731066944032 139957689240720 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19566] ppid=19558 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/19561/task/19566/stat : 19566 (java) S 19558 19561 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414894650 10915721216 8793 33554432000 4194304 4196468 140731066944032 139957688187664 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19567] ppid=19558 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/19561/task/19567/stat : 19567 (java) S 19558 19561 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414894650 10915721216 8793 33554432000 4194304 4196468 140731066944032 139957687135120 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19568] ppid=19558 vsize=10659884 memory=140226243413632 CPUtime=0 cores=4-7
/proc/19561/task/19568/stat : 19568 (java) S 19558 19561 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414894651 10915721216 8793 33554432000 4194304 4196468 140731066944032 139957296777456 139957737683586 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19569] ppid=19558 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/19561/task/19569/stat : 19569 (java) S 19558 19561 17242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414894652 10915721216 8793 33554432000 4194304 4196468 140731066944032 139957295723680 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19570] ppid=19558 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/19561/task/19570/stat : 19570 (java) S 19558 19561 17242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414894652 10915721216 8793 33554432000 4194304 4196468 140731066944032 139957294670576 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19571] ppid=19558 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/19561/task/19571/stat : 19571 (java) S 19558 19561 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414894655 10915721216 8793 33554432000 4194304 4196468 140731066944032 139957293619152 139957737691035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19572] ppid=19558 vsize=10659884 memory=0 CPUtime=0.03 cores=4-7
/proc/19561/task/19572/stat : 19572 (java) S 19558 19561 17242 0 -1 1077944384 586 0 0 0 3 0 0 0 20 0 15 0 414894655 10915721216 8793 33554432000 4194304 4196468 140731066944032 139957292567280 139957737683586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19573] ppid=19558 vsize=10659884 memory=-1 CPUtime=0.03 cores=4-7
/proc/19561/task/19573/stat : 19573 (java) R 19558 19561 17242 0 -1 4202560 414 0 0 0 3 0 0 0 20 0 15 0 414894655 10915721216 8793 33554432000 4194304 4196468 140731066944032 139957291500760 139957730389543 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19574] ppid=19558 vsize=10659884 memory=140226243413632 CPUtime=0.06 cores=4-7
/proc/19561/task/19574/stat : 19574 (java) S 19558 19561 17242 0 -1 1077944384 664 0 0 0 6 0 0 0 20 0 15 0 414894655 10915721216 8793 33554432000 4194304 4196468 140731066944032 139957290461680 139957737683586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19575] ppid=19558 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/19561/task/19575/stat : 19575 (java) S 19558 19561 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414894655 10915721216 8793 33554432000 4194304 4196468 140731066944032 139957289409376 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19576] ppid=19558 vsize=10659884 memory=140226243413632 CPUtime=0 cores=4-7
/proc/19561/task/19576/stat : 19576 (java) S 19558 19561 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414894655 10915721216 8793 33554432000 4194304 4196468 140731066944032 139957288356400 139957737683586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10660092 KiB
Current children cumulated memory: 35304 KiB

[startup+0.311848 s]*
/proc/loadavg: 1.83 1.80 1.73 5/229 19576
/proc/meminfo: memFree=29502296/32770688 swapFree=66961080/67108860
[pid=19561] ppid=19558 vsize=10659884 memory=37468 CPUtime=0.47 cores=4-7
/proc/19561/stat : 19561 (java) S 19558 19561 17242 0 -1 1077944320 7001 0 0 0 45 2 0 0 20 0 15 0 414894649 10915721216 9367 33554432000 4194304 4196468 140731066944032 140731066926576 139957737672439 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
/proc/19561/statm: 2664971 9367 3001 1 0 2627468 0
[pid=19561/tid=19563] ppid=19558 vsize=10659884 memory=7311146985107750967 CPUtime=0.31 cores=4-7
/proc/19561/task/19563/stat : 19563 (java) R 19558 19561 17242 0 -1 4202560 3925 0 0 0 29 2 0 0 20 0 15 0 414894649 10915721216 9367 33554432000 4194304 4196468 140731066944032 139957741908256 139957721752926 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19564] ppid=19558 vsize=10659884 memory=9092 CPUtime=0 cores=4-7
/proc/19561/task/19564/stat : 19564 (java) S 19558 19561 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414894650 10915721216 9367 33554432000 4194304 4196468 140731066944032 139957690293264 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19565] ppid=19558 vsize=10659884 memory=140226243432742 CPUtime=0 cores=4-7
/proc/19561/task/19565/stat : 19565 (java) S 19558 19561 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414894650 10915721216 9367 33554432000 4194304 4196468 140731066944032 139957689240720 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19566] ppid=19558 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/19561/task/19566/stat : 19566 (java) S 19558 19561 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414894650 10915721216 9367 33554432000 4194304 4196468 140731066944032 139957688187664 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19567] ppid=19558 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/19561/task/19567/stat : 19567 (java) S 19558 19561 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414894650 10915721216 9367 33554432000 4194304 4196468 140731066944032 139957687135120 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19568] ppid=19558 vsize=10659884 memory=140226243413632 CPUtime=0 cores=4-7
/proc/19561/task/19568/stat : 19568 (java) S 19558 19561 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414894651 10915721216 9367 33554432000 4194304 4196468 140731066944032 139957296777456 139957737683586 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19569] ppid=19558 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/19561/task/19569/stat : 19569 (java) S 19558 19561 17242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414894652 10915721216 9367 33554432000 4194304 4196468 140731066944032 139957295723680 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19570] ppid=19558 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/19561/task/19570/stat : 19570 (java) S 19558 19561 17242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414894652 10915721216 9367 33554432000 4194304 4196468 140731066944032 139957294670576 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19571] ppid=19558 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/19561/task/19571/stat : 19571 (java) S 19558 19561 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414894655 10915721216 9367 33554432000 4194304 4196468 140731066944032 139957293619152 139957737691035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19572] ppid=19558 vsize=10659884 memory=0 CPUtime=0.03 cores=4-7
/proc/19561/task/19572/stat : 19572 (java) R 19558 19561 17242 0 -1 4202560 602 0 0 0 3 0 0 0 20 0 15 0 414894655 10915721216 9367 33554432000 4194304 4196468 140731066944032 139957292567280 139957721158373 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19573] ppid=19558 vsize=10659884 memory=-1 CPUtime=0.04 cores=4-7
/proc/19561/task/19573/stat : 19573 (java) S 19558 19561 17242 0 -1 1077944384 445 0 0 0 4 0 0 0 20 0 15 0 414894655 10915721216 9367 33554432000 4194304 4196468 140731066944032 139957291514736 139957737683586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19574] ppid=19558 vsize=10659884 memory=140226243413632 CPUtime=0.07 cores=4-7
/proc/19561/task/19574/stat : 19574 (java) S 19558 19561 17242 0 -1 1077944384 679 0 0 0 7 0 0 0 20 0 15 0 414894655 10915721216 9367 33554432000 4194304 4196468 140731066944032 139957290461680 139957737683586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19575] ppid=19558 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/19561/task/19575/stat : 19575 (java) S 19558 19561 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414894655 10915721216 9367 33554432000 4194304 4196468 140731066944032 139957289409376 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19576] ppid=19558 vsize=10659884 memory=140226243413632 CPUtime=0 cores=4-7
/proc/19561/task/19576/stat : 19576 (java) S 19558 19561 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414894655 10915721216 9367 33554432000 4194304 4196468 140731066944032 139957288356400 139957737683586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37468 KiB

[startup+0.701291 s]
/proc/loadavg: 1.83 1.80 1.73 3/229 19576
/proc/meminfo: memFree=29490916/32770688 swapFree=66961080/67108860
[pid=19561] ppid=19558 vsize=10659884 memory=58864 CPUtime=1.14 cores=4-7
/proc/19561/stat : 19561 (java) S 19558 19561 17242 0 -1 1077944320 12793 0 0 0 108 6 0 0 20 0 15 0 414894649 10915721216 14716 33554432000 4194304 4196468 140731066944032 140731066926576 139957737672439 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
/proc/19561/statm: 2664971 14716 3069 1 0 2627468 0
[pid=19561/tid=19563] ppid=19558 vsize=10659884 memory=14068 CPUtime=0.68 cores=4-7
/proc/19561/task/19563/stat : 19563 (java) R 19558 19561 17242 0 -1 4202560 8587 0 0 0 64 4 0 0 20 0 15 0 414894649 10915721216 14716 33554432000 4194304 4196468 140731066944032 139957741898416 139957717222360 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19564] ppid=19558 vsize=10659884 memory=2120 CPUtime=0 cores=4-7
/proc/19561/task/19564/stat : 19564 (java) S 19558 19561 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414894650 10915721216 14716 33554432000 4194304 4196468 140731066944032 139957690293264 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19565] ppid=19558 vsize=10659884 memory=496 CPUtime=0 cores=4-7
/proc/19561/task/19565/stat : 19565 (java) S 19558 19561 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414894650 10915721216 14716 33554432000 4194304 4196468 140731066944032 139957689240720 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19566] ppid=19558 vsize=10659884 memory=1556 CPUtime=0 cores=4-7
/proc/19561/task/19566/stat : 19566 (java) S 19558 19561 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414894650 10915721216 14716 33554432000 4194304 4196468 140731066944032 139957688187664 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19567] ppid=19558 vsize=10659884 memory=928 CPUtime=0 cores=4-7
/proc/19561/task/19567/stat : 19567 (java) S 19558 19561 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414894650 10915721216 14716 33554432000 4194304 4196468 140731066944032 139957687135120 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19568] ppid=19558 vsize=10659884 memory=1628 CPUtime=0 cores=4-7
/proc/19561/task/19568/stat : 19568 (java) S 19558 19561 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414894651 10915721216 14716 33554432000 4194304 4196468 140731066944032 139957296777456 139957737683586 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19569] ppid=19558 vsize=10659884 memory=796 CPUtime=0 cores=4-7
/proc/19561/task/19569/stat : 19569 (java) S 19558 19561 17242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414894652 10915721216 14716 33554432000 4194304 4196468 140731066944032 139957295723680 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19570] ppid=19558 vsize=10659884 memory=1444 CPUtime=0 cores=4-7
/proc/19561/task/19570/stat : 19570 (java) S 19558 19561 17242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414894652 10915721216 14716 33554432000 4194304 4196468 140731066944032 139957294670576 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19571] ppid=19558 vsize=10659884 memory=1984 CPUtime=0 cores=4-7
/proc/19561/task/19571/stat : 19571 (java) S 19558 19561 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414894655 10915721216 14716 33554432000 4194304 4196468 140731066944032 139957293619152 139957737691035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19572] ppid=19558 vsize=10659884 memory=7086240636229996643 CPUtime=0.12 cores=4-7
/proc/19561/task/19572/stat : 19572 (java) S 19558 19561 17242 0 -1 1077944384 981 0 0 0 12 0 0 0 20 0 15 0 414894655 10915721216 14716 33554432000 4194304 4196468 140731066944032 139957292567280 139957737683586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19573] ppid=19558 vsize=10659884 memory=7453282923444726100 CPUtime=0.12 cores=4-7
/proc/19561/task/19573/stat : 19573 (java) S 19558 19561 17242 0 -1 1077944384 758 0 0 0 12 0 0 0 20 0 15 0 414894655 10915721216 14716 33554432000 4194304 4196468 140731066944032 139957291514736 139957737683586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19574] ppid=19558 vsize=10659884 memory=7223879631928058176 CPUtime=0.19 cores=4-7
/proc/19561/task/19574/stat : 19574 (java) S 19558 19561 17242 0 -1 1077944384 1109 0 0 0 19 0 0 0 20 0 15 0 414894655 10915721216 14716 33554432000 4194304 4196468 140731066944032 139957290461680 139957737683586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19575] ppid=19558 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/19561/task/19575/stat : 19575 (java) S 19558 19561 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414894655 10915721216 14716 33554432000 4194304 4196468 140731066944032 139957289409376 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19576] ppid=19558 vsize=10659884 memory=7236547285815093345 CPUtime=0 cores=4-7
/proc/19561/task/19576/stat : 19576 (java) S 19558 19561 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414894655 10915721216 14716 33554432000 4194304 4196468 140731066944032 139957288356400 139957737683586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 58864 KiB

[startup+1.50077 s]
/proc/loadavg: 1.83 1.80 1.73 3/229 19576
/proc/meminfo: memFree=29472676/32770688 swapFree=66961080/67108860
[pid=19561] ppid=19558 vsize=10663980 memory=72272 CPUtime=2.01 cores=4-7
/proc/19561/stat : 19561 (java) S 19558 19561 17242 0 -1 1077944320 17313 0 0 0 193 8 0 0 20 0 15 0 414894649 10919915520 18068 33554432000 4194304 4196468 140731066944032 140731066926576 139957737672439 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
/proc/19561/statm: 2665995 18068 3088 1 0 2628492 0
[pid=19561/tid=19563] ppid=19558 vsize=10663980 memory=6360846566568 CPUtime=1.48 cores=4-7
/proc/19561/task/19563/stat : 19563 (java) R 19558 19561 17242 0 -1 4202560 12563 0 0 0 142 6 0 0 20 0 15 0 414894649 10919915520 18068 33554432000 4194304 4196468 140731066944032 139957741910848 139957719046208 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19564] ppid=19558 vsize=10663980 memory=288230596050944315 CPUtime=0 cores=4-7
/proc/19561/task/19564/stat : 19564 (java) S 19558 19561 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414894650 10919915520 18068 33554432000 4194304 4196468 140731066944032 139957690293264 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19565] ppid=19558 vsize=10663980 memory=14698491322567293 CPUtime=0 cores=4-7
/proc/19561/task/19565/stat : 19565 (java) S 19558 19561 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414894650 10919915520 18068 33554432000 4194304 4196468 140731066944032 139957689240720 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19566] ppid=19558 vsize=10663980 memory=0 CPUtime=0 cores=4-7
/proc/19561/task/19566/stat : 19566 (java) S 19558 19561 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414894650 10919915520 18068 33554432000 4194304 4196468 140731066944032 139957688187664 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19567] ppid=19558 vsize=10663980 memory=0 CPUtime=0 cores=4-7
/proc/19561/task/19567/stat : 19567 (java) S 19558 19561 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414894650 10919915520 18068 33554432000 4194304 4196468 140731066944032 139957687135120 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19568] ppid=19558 vsize=10663980 memory=0 CPUtime=0 cores=4-7
/proc/19561/task/19568/stat : 19568 (java) S 19558 19561 17242 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 414894651 10919915520 18068 33554432000 4194304 4196468 140731066944032 139957296777456 139957737683586 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0

################
# More data... #
################

[startup+36.8007 s]
/proc/loadavg: 1.91 1.82 1.74 3/229 19580
/proc/meminfo: memFree=29316408/32770688 swapFree=66961080/67108860
[pid=19561] ppid=19558 vsize=10748324 memory=219092 CPUtime=39.94 cores=4-7
/proc/19561/stat : 19561 (java) S 19558 19561 17242 0 -1 1077944320 41813 0 0 0 3974 20 0 0 20 0 16 0 414894649 11006283776 54773 33554432000 4194304 4196468 140731066944032 140731066926576 139957737672439 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
/proc/19561/statm: 2687081 54773 3353 1 0 2647217 0
[pid=19561/tid=19563] ppid=19558 vsize=10748324 memory=2044 CPUtime=2.09 cores=4-7
/proc/19561/task/19563/stat : 19563 (java) S 19558 19561 17242 0 -1 1077944384 15520 0 0 0 201 8 0 0 20 0 16 0 414894649 11006283776 54773 33554432000 4194304 4196468 140731066944032 139957741915312 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19564] ppid=19558 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=4-7
/proc/19561/task/19564/stat : 19564 (java) S 19558 19561 17242 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 414894650 11006283776 54773 33554432000 4194304 4196468 140731066944032 139957690293264 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19565] ppid=19558 vsize=10748324 memory=0 CPUtime=0.01 cores=4-7
/proc/19561/task/19565/stat : 19565 (java) S 19558 19561 17242 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 16 0 414894650 11006283776 54773 33554432000 4194304 4196468 140731066944032 139957689240720 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19566] ppid=19558 vsize=10748324 memory=0 CPUtime=0 cores=4-7
/proc/19561/task/19566/stat : 19566 (java) S 19558 19561 17242 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 16 0 414894650 11006283776 54773 33554432000 4194304 4196468 140731066944032 139957688187664 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19567] ppid=19558 vsize=10748324 memory=1 CPUtime=0 cores=4-7
/proc/19561/task/19567/stat : 19567 (java) S 19558 19561 17242 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414894650 11006283776 54773 33554432000 4194304 4196468 140731066944032 139957687135120 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19568] ppid=19558 vsize=10748324 memory=0 CPUtime=0.01 cores=4-7
/proc/19561/task/19568/stat : 19568 (java) S 19558 19561 17242 0 -1 1077944384 1257 0 0 0 1 0 0 0 20 0 16 0 414894651 11006283776 54773 33554432000 4194304 4196468 140731066944032 139957296777456 139957737683586 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19569] ppid=19558 vsize=10748324 memory=2186 CPUtime=0 cores=4-7
/proc/19561/task/19569/stat : 19569 (java) S 19558 19561 17242 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414894652 11006283776 54773 33554432000 4194304 4196468 140731066944032 139957295723744 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19570] ppid=19558 vsize=10748324 memory=219092 CPUtime=0 cores=4-7
/proc/19561/task/19570/stat : 19570 (java) S 19558 19561 17242 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414894652 11006283776 54773 33554432000 4194304 4196468 140731066944032 139957294670592 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19571] ppid=19558 vsize=10748324 memory=219092 CPUtime=0 cores=4-7
/proc/19561/task/19571/stat : 19571 (java) S 19558 19561 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414894655 11006283776 54773 33554432000 4194304 4196468 140731066944032 139957293619152 139957737691035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19572] ppid=19558 vsize=10748324 memory=14698491322567293 CPUtime=1.12 cores=4-7
/proc/19561/task/19572/stat : 19572 (java) S 19558 19561 17242 0 -1 1077944384 5479 0 0 0 111 1 0 0 20 0 16 0 414894655 11006283776 54773 33554432000 4194304 4196468 140731066944032 139957292567280 139957737683586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19573] ppid=19558 vsize=10748324 memory=4100 CPUtime=1.15 cores=4-7
/proc/19561/task/19573/stat : 19573 (java) S 19558 19561 17242 0 -1 1077944384 4740 0 0 0 114 1 0 0 20 0 16 0 414894655 11006283776 54773 33554432000 4194304 4196468 140731066944032 139957291514736 139957737683586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19574] ppid=19558 vsize=10748324 memory=6791534058613427641 CPUtime=0.79 cores=4-7
/proc/19561/task/19574/stat : 19574 (java) S 19558 19561 17242 0 -1 1077944384 5229 0 0 0 78 1 0 0 20 0 16 0 414894655 11006283776 54773 33554432000 4194304 4196468 140731066944032 139957290461680 139957737683586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19575] ppid=19558 vsize=10748324 memory=2620 CPUtime=0 cores=4-7
/proc/19561/task/19575/stat : 19575 (java) S 19558 19561 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414894655 11006283776 54773 33554432000 4194304 4196468 140731066944032 139957289409376 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19576] ppid=19558 vsize=10748324 memory=1408 CPUtime=0 cores=4-7
/proc/19561/task/19576/stat : 19576 (java) S 19558 19561 17242 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 16 0 414894655 11006283776 54773 33554432000 4194304 4196468 140731066944032 139957288356400 139957737683586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19577] ppid=19558 vsize=10748324 memory=219092 CPUtime=34.65 cores=4-7
/proc/19561/task/19577/stat : 19577 (java) R 19558 19561 17242 0 -1 4202560 7694 0 0 0 3462 3 0 0 20 0 16 0 414894860 11006283776 54773 33554432000 4194304 4196468 140731066944032 139957204152080 139957371338563 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
Current children cumulated CPU time: 39.94 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 219092 KiB

[startup+38.4007 s]
/proc/loadavg: 1.91 1.82 1.74 3/229 19580
/proc/meminfo: memFree=29314364/32770688 swapFree=66961080/67108860
[pid=19561] ppid=19558 vsize=10748324 memory=221140 CPUtime=41.54 cores=4-7
/proc/19561/stat : 19561 (java) S 19558 19561 17242 0 -1 1077944320 41847 0 0 0 4134 20 0 0 20 0 16 0 414894649 11006283776 55285 33554432000 4194304 4196468 140731066944032 140731066926576 139957737672439 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
/proc/19561/statm: 2687081 55285 3353 1 0 2647217 0
[pid=19561/tid=19563] ppid=19558 vsize=10748324 memory=928 CPUtime=2.09 cores=4-7
/proc/19561/task/19563/stat : 19563 (java) S 19558 19561 17242 0 -1 1077944384 15520 0 0 0 201 8 0 0 20 0 16 0 414894649 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957741915312 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19564] ppid=19558 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=4-7
/proc/19561/task/19564/stat : 19564 (java) S 19558 19561 17242 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 414894650 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957690293264 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19565] ppid=19558 vsize=10748324 memory=219064 CPUtime=0.01 cores=4-7
/proc/19561/task/19565/stat : 19565 (java) S 19558 19561 17242 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 16 0 414894650 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957689240720 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19566] ppid=19558 vsize=10748324 memory=217016 CPUtime=0 cores=4-7
/proc/19561/task/19566/stat : 19566 (java) S 19558 19561 17242 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 16 0 414894650 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957688187664 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19567] ppid=19558 vsize=10748324 memory=214944 CPUtime=0 cores=4-7
/proc/19561/task/19567/stat : 19567 (java) S 19558 19561 17242 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414894650 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957687135120 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19568] ppid=19558 vsize=10748324 memory=6791534058613427641 CPUtime=0.01 cores=4-7
/proc/19561/task/19568/stat : 19568 (java) S 19558 19561 17242 0 -1 1077944384 1257 0 0 0 1 0 0 0 20 0 16 0 414894651 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957296777456 139957737683586 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19569] ppid=19558 vsize=10748324 memory=214876 CPUtime=0 cores=4-7
/proc/19561/task/19569/stat : 19569 (java) S 19558 19561 17242 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414894652 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957295723744 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19570] ppid=19558 vsize=10748324 memory=0 CPUtime=0 cores=4-7
/proc/19561/task/19570/stat : 19570 (java) S 19558 19561 17242 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414894652 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957294670592 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19571] ppid=19558 vsize=10748324 memory=0 CPUtime=0 cores=4-7
/proc/19561/task/19571/stat : 19571 (java) S 19558 19561 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414894655 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957293619152 139957737691035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19572] ppid=19558 vsize=10748324 memory=2195 CPUtime=1.12 cores=4-7
/proc/19561/task/19572/stat : 19572 (java) S 19558 19561 17242 0 -1 1077944384 5479 0 0 0 111 1 0 0 20 0 16 0 414894655 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957292567280 139957737683586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19573] ppid=19558 vsize=10748324 memory=217016 CPUtime=1.15 cores=4-7
/proc/19561/task/19573/stat : 19573 (java) S 19558 19561 17242 0 -1 1077944384 4740 0 0 0 114 1 0 0 20 0 16 0 414894655 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957291514736 139957737683586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19574] ppid=19558 vsize=10748324 memory=4100 CPUtime=0.79 cores=4-7
/proc/19561/task/19574/stat : 19574 (java) S 19558 19561 17242 0 -1 1077944384 5260 0 0 0 78 1 0 0 20 0 16 0 414894655 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957290461680 139957737683586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19575] ppid=19558 vsize=10748324 memory=2612 CPUtime=0 cores=4-7
/proc/19561/task/19575/stat : 19575 (java) S 19558 19561 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414894655 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957289409376 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19576] ppid=19558 vsize=10748324 memory=219092 CPUtime=0 cores=4-7
/proc/19561/task/19576/stat : 19576 (java) S 19558 19561 17242 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 16 0 414894655 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957288356400 139957737683586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19577] ppid=19558 vsize=10748324 memory=219092 CPUtime=36.25 cores=4-7
/proc/19561/task/19577/stat : 19577 (java) R 19558 19561 17242 0 -1 4202560 7697 0 0 0 3622 3 0 0 20 0 16 0 414894860 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957204152080 139957371427716 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
Current children cumulated CPU time: 41.54 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 221140 KiB

[startup+38.8007 s]
/proc/loadavg: 1.91 1.82 1.74 3/229 19580
/proc/meminfo: memFree=29314364/32770688 swapFree=66961080/67108860
[pid=19561] ppid=19558 vsize=10748324 memory=221140 CPUtime=41.94 cores=4-7
/proc/19561/stat : 19561 (java) S 19558 19561 17242 0 -1 1077944320 42008 0 0 0 4174 20 0 0 20 0 16 0 414894649 11006283776 55285 33554432000 4194304 4196468 140731066944032 140731066926576 139957737672439 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
/proc/19561/statm: 2687081 55285 3353 1 0 2647217 0
[pid=19561/tid=19563] ppid=19558 vsize=10748324 memory=214876 CPUtime=2.09 cores=4-7
/proc/19561/task/19563/stat : 19563 (java) S 19558 19561 17242 0 -1 1077944384 15520 0 0 0 201 8 0 0 20 0 16 0 414894649 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957741915312 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19564] ppid=19558 vsize=10748324 memory=1444 CPUtime=0 cores=4-7
/proc/19561/task/19564/stat : 19564 (java) S 19558 19561 17242 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 414894650 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957690293264 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19565] ppid=19558 vsize=10748324 memory=6791534058613427641 CPUtime=0.01 cores=4-7
/proc/19561/task/19565/stat : 19565 (java) S 19558 19561 17242 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 16 0 414894650 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957689240720 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19566] ppid=19558 vsize=10748324 memory=203840 CPUtime=0 cores=4-7
/proc/19561/task/19566/stat : 19566 (java) S 19558 19561 17242 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 16 0 414894650 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957688187664 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19567] ppid=19558 vsize=10748324 memory=203556 CPUtime=0 cores=4-7
/proc/19561/task/19567/stat : 19567 (java) S 19558 19561 17242 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414894650 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957687135120 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19568] ppid=19558 vsize=10748324 memory=2044 CPUtime=0.01 cores=4-7
/proc/19561/task/19568/stat : 19568 (java) S 19558 19561 17242 0 -1 1077944384 1257 0 0 0 1 0 0 0 20 0 16 0 414894651 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957296777456 139957737683586 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19569] ppid=19558 vsize=10748324 memory=1380 CPUtime=0 cores=4-7
/proc/19561/task/19569/stat : 19569 (java) S 19558 19561 17242 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414894652 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957295723744 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19570] ppid=19558 vsize=10748324 memory=2241 CPUtime=0 cores=4-7
/proc/19561/task/19570/stat : 19570 (java) S 19558 19561 17242 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414894652 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957294670592 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19571] ppid=19558 vsize=10748324 memory=2244 CPUtime=0 cores=4-7
/proc/19561/task/19571/stat : 19571 (java) S 19558 19561 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414894655 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957293619152 139957737691035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19572] ppid=19558 vsize=10748324 memory=0 CPUtime=1.12 cores=4-7
/proc/19561/task/19572/stat : 19572 (java) S 19558 19561 17242 0 -1 1077944384 5479 0 0 0 111 1 0 0 20 0 16 0 414894655 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957292567280 139957737683586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19573] ppid=19558 vsize=10748324 memory=219092 CPUtime=1.15 cores=4-7
/proc/19561/task/19573/stat : 19573 (java) S 19558 19561 17242 0 -1 1077944384 4740 0 0 0 114 1 0 0 20 0 16 0 414894655 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957291514736 139957737683586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19574] ppid=19558 vsize=10748324 memory=5924 CPUtime=0.79 cores=4-7
/proc/19561/task/19574/stat : 19574 (java) S 19558 19561 17242 0 -1 1077944384 5260 0 0 0 78 1 0 0 20 0 16 0 414894655 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957290461680 139957737683586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19575] ppid=19558 vsize=10748324 memory=780 CPUtime=0 cores=4-7
/proc/19561/task/19575/stat : 19575 (java) S 19558 19561 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414894655 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957289409376 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19576] ppid=19558 vsize=10748324 memory=3988 CPUtime=0 cores=4-7
/proc/19561/task/19576/stat : 19576 (java) S 19558 19561 17242 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 16 0 414894655 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957288356400 139957737683586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19577] ppid=19558 vsize=10748324 memory=1088 CPUtime=36.65 cores=4-7
/proc/19561/task/19577/stat : 19577 (java) R 19558 19561 17242 0 -1 4202560 7828 0 0 0 3662 3 0 0 20 0 16 0 414894860 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957204152080 139957371338563 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
Current children cumulated CPU time: 41.94 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 221140 KiB

[startup+39.0007 s]*
/proc/loadavg: 1.91 1.82 1.74 3/229 19580
/proc/meminfo: memFree=29314364/32770688 swapFree=66961080/67108860
[pid=19561] ppid=19558 vsize=10748324 memory=221140 CPUtime=42.15 cores=4-7
/proc/19561/stat : 19561 (java) S 19558 19561 17242 0 -1 1077944320 42008 0 0 0 4195 20 0 0 20 0 16 0 414894649 11006283776 55285 33554432000 4194304 4196468 140731066944032 140731066926576 139957737672439 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
/proc/19561/statm: 2687081 55285 3353 1 0 2647217 0
[pid=19561/tid=19563] ppid=19558 vsize=10748324 memory=4206186544037388384 CPUtime=2.09 cores=4-7
/proc/19561/task/19563/stat : 19563 (java) S 19558 19561 17242 0 -1 1077944384 15520 0 0 0 201 8 0 0 20 0 16 0 414894649 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957741915312 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19564] ppid=19558 vsize=10748324 memory=7596288794514648430 CPUtime=0 cores=4-7
/proc/19561/task/19564/stat : 19564 (java) S 19558 19561 17242 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 414894650 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957690293264 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19565] ppid=19558 vsize=10748324 memory=4872558044660077418 CPUtime=0.01 cores=4-7
/proc/19561/task/19565/stat : 19565 (java) S 19558 19561 17242 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 16 0 414894650 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957689240720 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19566] ppid=19558 vsize=10748324 memory=1708 CPUtime=0 cores=4-7
/proc/19561/task/19566/stat : 19566 (java) S 19558 19561 17242 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 16 0 414894650 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957688187664 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19567] ppid=19558 vsize=10748324 memory=1398722017469774279 CPUtime=0 cores=4-7
/proc/19561/task/19567/stat : 19567 (java) S 19558 19561 17242 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414894650 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957687135120 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19568] ppid=19558 vsize=10748324 memory=4872558044660077418 CPUtime=0.01 cores=4-7
/proc/19561/task/19568/stat : 19568 (java) S 19558 19561 17242 0 -1 1077944384 1257 0 0 0 1 0 0 0 20 0 16 0 414894651 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957296777456 139957737683586 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19569] ppid=19558 vsize=10748324 memory=217016 CPUtime=0 cores=4-7
/proc/19561/task/19569/stat : 19569 (java) S 19558 19561 17242 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414894652 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957295723744 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19570] ppid=19558 vsize=10748324 memory=7375070177334307738 CPUtime=0 cores=4-7
/proc/19561/task/19570/stat : 19570 (java) S 19558 19561 17242 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414894652 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957294670592 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19571] ppid=19558 vsize=10748324 memory=219092 CPUtime=0 cores=4-7
/proc/19561/task/19571/stat : 19571 (java) S 19558 19561 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414894655 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957293619152 139957737691035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19572] ppid=19558 vsize=10748324 memory=288230596050944315 CPUtime=1.12 cores=4-7
/proc/19561/task/19572/stat : 19572 (java) S 19558 19561 17242 0 -1 1077944384 5479 0 0 0 111 1 0 0 20 0 16 0 414894655 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957292567280 139957737683586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19573] ppid=19558 vsize=10748324 memory=14698491322567293 CPUtime=1.15 cores=4-7
/proc/19561/task/19573/stat : 19573 (java) S 19558 19561 17242 0 -1 1077944384 4740 0 0 0 114 1 0 0 20 0 16 0 414894655 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957291514736 139957737683586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19574] ppid=19558 vsize=10748324 memory=1984 CPUtime=0.79 cores=4-7
/proc/19561/task/19574/stat : 19574 (java) S 19558 19561 17242 0 -1 1077944384 5260 0 0 0 78 1 0 0 20 0 16 0 414894655 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957290461680 139957737683586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19575] ppid=19558 vsize=10748324 memory=2424 CPUtime=0 cores=4-7
/proc/19561/task/19575/stat : 19575 (java) S 19558 19561 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414894655 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957289409376 139957737682645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19576] ppid=19558 vsize=10748324 memory=1760 CPUtime=0 cores=4-7
/proc/19561/task/19576/stat : 19576 (java) S 19558 19561 17242 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 16 0 414894655 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957288356400 139957737683586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
[pid=19561/tid=19577] ppid=19558 vsize=10748324 memory=111636 CPUtime=36.86 cores=4-7
/proc/19561/task/19577/stat : 19577 (java) R 19558 19561 17242 0 -1 4202560 7828 0 0 0 3683 3 0 0 20 0 16 0 414894860 11006283776 55285 33554432000 4194304 4196468 140731066944032 139957204152080 139957371125699 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140731066946571 140731066946674 140731066946674 140731066949583 0
Current children cumulated CPU time: 42.15 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 221140 KiB

Child status: 0
Real time (s): 39.0225
CPU time (s): 42.1712
CPU user time (s): 41.9617
CPU system time (s): 0.209487
CPU usage (%): 108.069
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 221140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.9617
system time used= 0.209487
maximum resident set size= 223448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44015
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3975
involuntary context switches= 52


# summary of solver processes directly reported to runsolver:
#   pid: 19561
#   total CPU time (s): 42.1712
#   total CPU user time (s): 41.9617
#   total CPU system time (s): 0.209487

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.306261 second user time and 0.428766 second system time

The end

Begin job on node116 at 2019-09-13 17:44:49
IDJOB=4391195
IDBENCH=126243
IDSOLVER=2833
FILE ID=node116/4391195-1568389530
RUNJOBID= node116-1568388659-19204
PBS_JOBID= 21701846
Free space on /tmp= 56876 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-09-a4.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391195-1568389530/watcher-4391195-1568389530 -o /tmp/evaluation-result-4391195-1568389530/solver-4391195-1568389530 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568388659-19204 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391195-1568389530.xml -cm

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 24dd80e7bb1ef2b7df88c183d3ee4992
RANDOM SEED=1050828770

node116.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        29528888 kB
MemAvailable:   31596108 kB
Buffers:          125108 kB
Cached:          2218500 kB
SwapCached:        46632 kB
Active:          1105212 kB
Inactive:        1542028 kB
Active(anon):     255980 kB
Inactive(anon):    87996 kB
Active(file):     849232 kB
Inactive(file):  1454032 kB
Unevictable:      109188 kB
Mlocked:          109188 kB
SwapTotal:      67108860 kB
SwapFree:       66961080 kB
Dirty:              8688 kB
Writeback:             0 kB
AnonPages:        368908 kB
Mapped:            55948 kB
Shmem:             31984 kB
Slab:             188068 kB
SReclaimable:     159580 kB
SUnreclaim:        28488 kB
KernelStack:        3920 kB
PageTables:         6232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:    1249776 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    280576 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 56868 MiB
End job on node116 at 2019-09-13 17:45:28