2.39/1.88	
2.39/1.88	AbsCon 2 
2.39/1.90	
2.90/2.06	  Instance
2.90/2.06	    name=instance-4390870-1568383161, framework=COP, bounds=-infty..+infty
2.90/2.06	
2.90/2.06	  Loading variables...
2.90/2.09	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2689e112
3.44/2.21	
3.44/2.21	
3.44/2.21	  Domains
3.44/2.21	    nTypes=56, nValues=1853, sizes=[1#2,2#28,29#5,30#55]
3.44/2.21	  Variables
3.44/2.21	    count=90, degrees=[1#2,2#59,3#29]
3.44/2.21	  Objectives
3.44/2.21	    way=max, type=SumSimpleGE
3.44/2.21	  Constraints
3.44/2.21	    count=62, nSpecific=3, arities=[1#1,2#58,30#3]
3.44/2.21	    distribution=[Circuit#1,CtrExtensionV-Bits#30,CtrIntension#29,SumSimpleGE#1,SumSimpleLE#1]
3.44/2.21	    nExtStructures=(30,shared:0), nIntStructures=(29,shared:0), nCftStructures=(58,shared:0,unbuilt:4)
3.44/2.21	    wck=0.363, cpu=2.182, mem=29M155
3.44/2.22	  Solver SolverBacktrack being built...
3.44/2.22	
3.44/2.24	
3.44/2.24	  Solver
3.44/2.24	    guaranteedGAC=false
3.44/2.24	    wck=0.39, cpu=2.207, mem=39M797
3.44/2.25	
3.44/2.25	  Preprocessing
3.44/2.25	    filters=44, revisions=(106,useless=51), ccks=2064, nACremovedValues=437, nTotalRemovedValues=437, inconcistency=false
3.44/2.25	    wck=0.014, cpu=2.222, mem=39M797
3.44/2.25	
3.44/2.27	o 74
3.44/2.28	    num=0, depth=91..89, filters=207, revisions=(393,useless=179), ccks=2175, wck=0.038, mem=39M797
3.44/2.28	    decisions=19, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=74
3.44/2.28	    
3.70/2.30	o 318
3.70/2.31	    num=1, depth=2..89, filters=631, revisions=(1121,useless=549), ccks=2412, wck=0.066, mem=39M797
3.70/2.31	    decisions=70, wrong=23, backtracks=17, failedAssignments=6, nogoods=6, foundSolutions=2, bestBound=318
3.70/2.31	    
3.70/2.32	    num=2, depth=2..11, filters=1197, revisions=(2050,useless=992), ccks=2575, wck=0.076, mem=39M797
3.70/2.32	    decisions=105, wrong=38, backtracks=23, failedAssignments=17, nogoods=10, foundSolutions=2, bestBound=318
3.70/2.32	    
3.70/2.32	    num=3, depth=5..17, filters=1631, revisions=(2671,useless=1252), ccks=2696, wck=0.082, mem=39M797
3.70/2.32	    decisions=150, wrong=55, backtracks=33, failedAssignments=28, nogoods=18, foundSolutions=2, bestBound=318
3.70/2.32	    
3.70/2.33	o 335
3.70/2.33	    num=4, depth=2..89, filters=2021, revisions=(3322,useless=1560), ccks=2873, wck=0.092, mem=39M797
3.70/2.33	    decisions=174, wrong=64, backtracks=38, failedAssignments=34, nogoods=22, foundSolutions=3, bestBound=335
3.70/2.33	    
3.70/2.35	    num=5, depth=1..4, filters=2671, revisions=(4588,useless=2209), ccks=3012, wck=0.107, mem=39M797
3.70/2.35	    decisions=208, wrong=79, backtracks=41, failedAssignments=47, nogoods=33, foundSolutions=3, bestBound=335
3.70/2.35	    
3.70/2.35	    num=6, depth=2..7, filters=3085, revisions=(5233,useless=2487), ccks=3113, wck=0.112, mem=39M797
3.70/2.35	    decisions=239, wrong=92, backtracks=43, failedAssignments=58, nogoods=41, foundSolutions=3, bestBound=335
3.70/2.35	    
3.70/2.36	o 415
3.70/2.36	    num=7, depth=3..89, filters=3414, revisions=(5823,useless=2772), ccks=3287, wck=0.118, mem=42M439
3.70/2.36	    decisions=257, wrong=95, backtracks=43, failedAssignments=61, nogoods=44, foundSolutions=4, bestBound=415
3.70/2.36	    
3.70/2.37	    num=8, depth=6..13, filters=4023, revisions=(6854,useless=3259), ccks=3433, wck=0.125, mem=42M439
3.70/2.37	    decisions=302, wrong=112, backtracks=47, failedAssignments=74, nogoods=51, foundSolutions=4, bestBound=415
3.70/2.37	    
3.70/2.37	    num=9, depth=9..13, filters=4664, revisions=(7821,useless=3652), ccks=3616, wck=0.132, mem=42M439
3.70/2.37	    decisions=341, wrong=126, backtracks=50, failedAssignments=85, nogoods=59, foundSolutions=4, bestBound=415
3.70/2.37	    
3.70/2.38	    num=10, depth=3..16, filters=5090, revisions=(8422,useless=3907), ccks=3730, wck=0.136, mem=42M439
3.70/2.38	    decisions=387, wrong=143, backtracks=56, failedAssignments=97, nogoods=64, foundSolutions=4, bestBound=415
3.70/2.38	    
3.70/2.38	    num=11, depth=6..14, filters=5493, revisions=(9035,useless=4169), ccks=3825, wck=0.14, mem=42M439
3.70/2.38	    decisions=427, wrong=156, backtracks=56, failedAssignments=110, nogoods=77, foundSolutions=4, bestBound=415
3.70/2.38	    
3.70/2.39	    num=12, depth=3..12, filters=6102, revisions=(9870,useless=4505), ccks=3997, wck=0.146, mem=42M439
3.70/2.39	    decisions=476, wrong=175, backtracks=63, failedAssignments=124, nogoods=84, foundSolutions=4, bestBound=415
3.70/2.39	    
3.70/2.39	o 508
3.70/2.39	    num=13, depth=6..89, filters=6720, revisions=(10823,useless=4907), ccks=4249, wck=0.154, mem=42M439
3.70/2.39	    decisions=517, wrong=190, backtracks=70, failedAssignments=134, nogoods=88, foundSolutions=5, bestBound=508
3.70/2.39	    
4.03/2.40	    num=14, depth=8..16, filters=7423, revisions=(11919,useless=5417), ccks=4518, wck=0.16, mem=42M439
4.03/2.40	    decisions=582, wrong=218, backtracks=82, failedAssignments=151, nogoods=92, foundSolutions=5, bestBound=508
4.03/2.40	    
4.03/2.40	    num=15, depth=2..11, filters=7803, revisions=(12437,useless=5636), ccks=4646, wck=0.164, mem=42M439
4.03/2.40	    decisions=620, wrong=235, backtracks=90, failedAssignments=162, nogoods=100, foundSolutions=5, bestBound=508
4.03/2.40	    
4.03/2.41	    num=16, depth=7..12, filters=8423, revisions=(13450,useless=6077), ccks=4866, wck=0.171, mem=42M439
4.03/2.41	    decisions=659, wrong=250, backtracks=94, failedAssignments=174, nogoods=107, foundSolutions=5, bestBound=508
4.03/2.41	    
4.03/2.42	    num=17, depth=4..13, filters=9092, revisions=(14379,useless=6451), ccks=5067, wck=0.177, mem=42M439
4.03/2.42	    decisions=718, wrong=275, backtracks=108, failedAssignments=187, nogoods=116, foundSolutions=5, bestBound=508
4.03/2.42	    
4.03/2.43	    num=18, depth=0..10, filters=9960, revisions=(15750,useless=7056), ccks=5346, wck=0.186, mem=42M439
4.03/2.43	    decisions=777, wrong=300, backtracks=122, failedAssignments=201, nogoods=120, foundSolutions=5, bestBound=508
4.03/2.43	    
4.03/2.43	    num=19, depth=1..8, filters=10567, revisions=(16623,useless=7437), ccks=5510, wck=0.192, mem=42M439
4.03/2.43	    decisions=835, wrong=326, backtracks=134, failedAssignments=217, nogoods=129, foundSolutions=5, bestBound=508
4.03/2.43	    
4.03/2.44	    num=20, depth=2..16, filters=11206, revisions=(17554,useless=7835), ccks=5704, wck=0.199, mem=42M439
4.03/2.44	    decisions=898, wrong=355, backtracks=153, failedAssignments=234, nogoods=134, foundSolutions=5, bestBound=508
4.03/2.44	    
4.03/2.45	    num=21, depth=0..11, filters=11934, revisions=(18645,useless=8299), ccks=5927, wck=0.207, mem=42M439
4.03/2.45	    decisions=951, wrong=377, backtracks=156, failedAssignments=253, nogoods=149, foundSolutions=5, bestBound=508
4.03/2.45	    
4.03/2.46	    num=22, depth=0..15, filters=12828, revisions=(19964,useless=8861), ccks=6247, wck=0.216, mem=42M439
4.03/2.46	    decisions=1029, wrong=412, backtracks=177, failedAssignments=274, nogoods=157, foundSolutions=5, bestBound=508
4.03/2.46	    
4.03/2.46	    num=23, depth=2..10, filters=13492, revisions=(20865,useless=9252), ccks=6466, wck=0.222, mem=42M439
4.03/2.46	    decisions=1095, wrong=443, backtracks=187, failedAssignments=297, nogoods=162, foundSolutions=5, bestBound=508
4.03/2.46	    
4.03/2.47	    num=24, depth=6..13, filters=14644, revisions=(22596,useless=10017), ccks=6905, wck=0.231, mem=42M439
4.03/2.47	    decisions=1170, wrong=476, backtracks=202, failedAssignments=322, nogoods=171, foundSolutions=5, bestBound=508
4.03/2.47	    
4.03/2.48	    num=25, depth=1..8, filters=15689, revisions=(24079,useless=10649), ccks=7215, wck=0.24, mem=45M82
4.03/2.48	    decisions=1255, wrong=515, backtracks=214, failedAssignments=350, nogoods=184, foundSolutions=5, bestBound=508
4.03/2.48	    
4.03/2.49	    num=26, depth=3..13, filters=17038, revisions=(26058,useless=11514), ccks=7629, wck=0.251, mem=45M82
4.03/2.49	    decisions=1356, wrong=560, backtracks=232, failedAssignments=381, nogoods=193, foundSolutions=5, bestBound=508
4.03/2.49	    
4.35/2.50	    num=27, depth=2..12, filters=18204, revisions=(27729,useless=12232), ccks=7929, wck=0.26, mem=45M82
4.35/2.50	    decisions=1467, wrong=612, backtracks=261, failedAssignments=415, nogoods=207, foundSolutions=5, bestBound=508
4.35/2.50	    
4.35/2.51	    num=28, depth=2..20, filters=19333, revisions=(29384,useless=12950), ccks=8295, wck=0.27, mem=45M82
4.35/2.51	    decisions=1573, wrong=658, backtracks=274, failedAssignments=452, nogoods=222, foundSolutions=5, bestBound=508
4.35/2.51	    
4.35/2.52	    num=29, depth=1..11, filters=20728, revisions=(31356,useless=13800), ccks=8699, wck=0.281, mem=45M82
4.35/2.52	    decisions=1700, wrong=717, backtracks=302, failedAssignments=493, nogoods=237, foundSolutions=5, bestBound=508
4.35/2.52	    
4.35/2.54	    num=30, depth=2..17, filters=22913, revisions=(34431,useless=15066), ccks=9330, wck=0.296, mem=45M82
4.35/2.54	    decisions=1882, wrong=803, backtracks=346, failedAssignments=538, nogoods=254, foundSolutions=5, bestBound=508
4.35/2.54	    
4.35/2.55	    num=31, depth=2..17, filters=24901, revisions=(37084,useless=16144), ccks=9963, wck=0.31, mem=45M82
4.35/2.55	    decisions=2071, wrong=893, backtracks=397, failedAssignments=588, nogoods=272, foundSolutions=5, bestBound=508
4.35/2.55	    
4.35/2.56	    num=32, depth=0..16, filters=27038, revisions=(40066,useless=17426), ccks=10600, wck=0.324, mem=45M82
4.35/2.56	    decisions=2246, wrong=977, backtracks=434, failedAssignments=643, nogoods=277, foundSolutions=5, bestBound=508
4.35/2.56	    
4.35/2.58	    num=33, depth=4..18, filters=29363, revisions=(43255,useless=18730), ccks=11228, wck=0.34, mem=45M82
4.35/2.58	    decisions=2442, wrong=1071, backtracks=481, failedAssignments=704, nogoods=285, foundSolutions=5, bestBound=508
4.35/2.58	    
4.65/2.60	    num=34, depth=5..17, filters=31954, revisions=(46830,useless=20235), ccks=12067, wck=0.357, mem=47M724
4.65/2.60	    decisions=2691, wrong=1192, backtracks=551, failedAssignments=771, nogoods=292, foundSolutions=5, bestBound=508
4.65/2.60	    
4.65/2.61	    num=35, depth=4..18, filters=34498, revisions=(49998,useless=21435), ccks=12924, wck=0.371, mem=47M724
4.65/2.61	    decisions=2949, wrong=1316, backtracks=615, failedAssignments=845, nogoods=300, foundSolutions=5, bestBound=508
4.65/2.61	    
4.65/2.63	    num=36, depth=5..14, filters=37923, revisions=(54925,useless=23551), ccks=13904, wck=0.392, mem=47M724
4.65/2.63	    decisions=3192, wrong=1432, backtracks=662, failedAssignments=926, nogoods=311, foundSolutions=5, bestBound=508
4.65/2.63	    
4.65/2.64	o 513
5.24/2.84	    num=37, depth=4..89, filters=38465, revisions=(55781,useless=23921), ccks=14154, wck=0.397, mem=47M724
5.24/2.84	    decisions=3237, wrong=1449, backtracks=671, failedAssignments=937, nogoods=320, foundSolutions=6, bestBound=513
5.24/2.84	    
5.24/2.84	    num=38, depth=5..16, filters=42059, revisions=(60868,useless=26143), ccks=15280, wck=0.418, mem=47M724
5.24/2.84	    decisions=3534, wrong=1592, backtracks=743, failedAssignments=1035, nogoods=337, foundSolutions=6, bestBound=513
5.24/2.84	    
5.24/2.84	    num=39, depth=0..10, filters=42669, revisions=(61811,useless=26555), ccks=15461, wck=0.424, mem=47M724
5.24/2.84	    decisions=3571, wrong=1608, backtracks=748, failedAssignments=1046, nogoods=340, foundSolutions=6, bestBound=513
5.24/2.84	    
5.24/2.84	    num=40, depth=8..16, filters=43185, revisions=(62659,useless=26937), ccks=15625, wck=0.427, mem=47M724
5.24/2.84	    decisions=3613, wrong=1622, backtracks=751, failedAssignments=1058, nogoods=344, foundSolutions=6, bestBound=513
5.24/2.84	    
5.24/2.84	    num=41, depth=3..10, filters=43673, revisions=(63363,useless=27239), ccks=15772, wck=0.431, mem=47M724
5.24/2.84	    decisions=3652, wrong=1638, backtracks=755, failedAssignments=1071, nogoods=352, foundSolutions=6, bestBound=513
5.24/2.84	    
5.24/2.84	    num=42, depth=1..13, filters=44269, revisions=(64180,useless=27575), ccks=15949, wck=0.435, mem=47M724
5.24/2.84	    decisions=3702, wrong=1659, backtracks=765, failedAssignments=1085, nogoods=361, foundSolutions=6, bestBound=513
5.24/2.84	    
5.24/2.84	    num=43, depth=3..9, filters=45238, revisions=(65635,useless=28201), ccks=16210, wck=0.442, mem=47M724
5.24/2.84	    decisions=3758, wrong=1684, backtracks=775, failedAssignments=1101, nogoods=368, foundSolutions=6, bestBound=513
5.24/2.84	    
5.24/2.84	    num=44, depth=1..14, filters=46062, revisions=(66823,useless=28717), ccks=16428, wck=0.447, mem=47M724
5.24/2.84	    decisions=3826, wrong=1715, backtracks=794, failedAssignments=1118, nogoods=374, foundSolutions=6, bestBound=513
5.24/2.84	    
5.24/2.84	    num=45, depth=4..9, filters=47071, revisions=(68323,useless=29334), ccks=16726, wck=0.454, mem=47M724
5.24/2.84	    decisions=3878, wrong=1738, backtracks=800, failedAssignments=1137, nogoods=390, foundSolutions=6, bestBound=513
5.24/2.84	    
5.24/2.84	    num=46, depth=5..15, filters=47939, revisions=(69544,useless=29847), ccks=16974, wck=0.46, mem=47M724
5.24/2.84	    decisions=3943, wrong=1766, backtracks=810, failedAssignments=1158, nogoods=398, foundSolutions=6, bestBound=513
5.24/2.84	    
5.24/2.84	    num=47, depth=2..15, filters=48733, revisions=(70770,useless=30376), ccks=17181, wck=0.466, mem=47M724
5.24/2.84	    decisions=4006, wrong=1793, backtracks=815, failedAssignments=1181, nogoods=417, foundSolutions=6, bestBound=513
5.24/2.84	    
5.24/2.84	    num=48, depth=4..17, filters=49740, revisions=(72260,useless=31021), ccks=17465, wck=0.472, mem=47M724
5.24/2.84	    decisions=4088, wrong=1827, backtracks=829, failedAssignments=1206, nogoods=434, foundSolutions=6, bestBound=513
5.24/2.84	    
5.24/2.84	    num=49, depth=0..15, filters=51190, revisions=(74325,useless=31890), ccks=17912, wck=0.48, mem=47M724
5.24/2.84	    decisions=4180, wrong=1868, backtracks=845, failedAssignments=1234, nogoods=451, foundSolutions=6, bestBound=513
5.24/2.84	    
5.24/2.84	    num=50, depth=2..13, filters=52440, revisions=(76043,useless=32609), ccks=18275, wck=0.487, mem=47M724
5.24/2.84	    decisions=4285, wrong=1916, backtracks=869, failedAssignments=1265, nogoods=463, foundSolutions=6, bestBound=513
5.24/2.84	    
5.24/2.84	    num=51, depth=8..16, filters=53669, revisions=(77899,useless=33443), ccks=18663, wck=0.495, mem=47M724
5.24/2.84	    decisions=4389, wrong=1962, backtracks=885, failedAssignments=1299, nogoods=472, foundSolutions=6, bestBound=513
5.24/2.84	    
5.24/2.84	    num=52, depth=3..16, filters=55508, revisions=(80445,useless=34510), ccks=19222, wck=0.505, mem=47M724
5.24/2.84	    decisions=4528, wrong=2028, backtracks=925, failedAssignments=1336, nogoods=481, foundSolutions=6, bestBound=513
5.24/2.84	    
5.24/2.84	    num=53, depth=1..18, filters=57283, revisions=(82976,useless=35596), ccks=19753, wck=0.516, mem=50M367
5.24/2.84	    decisions=4672, wrong=2094, backtracks=957, failedAssignments=1377, nogoods=490, foundSolutions=6, bestBound=513
5.24/2.84	    
5.24/2.84	    num=54, depth=0..12, filters=59432, revisions=(85836,useless=36736), ccks=20417, wck=0.528, mem=50M367
5.24/2.84	    decisions=4847, wrong=2179, backtracks=1007, failedAssignments=1422, nogoods=496, foundSolutions=6, bestBound=513
5.24/2.84	    
5.24/2.84	    num=55, depth=4..17, filters=61664, revisions=(88810,useless=37947), ccks=21064, wck=0.539, mem=50M367
5.24/2.84	    decisions=5037, wrong=2270, backtracks=1060, failedAssignments=1472, nogoods=505, foundSolutions=6, bestBound=513
5.24/2.84	    
5.24/2.84	    num=56, depth=5..14, filters=64080, revisions=(92231,useless=39397), ccks=21834, wck=0.553, mem=50M367
5.24/2.84	    decisions=5207, wrong=2352, backtracks=1095, failedAssignments=1527, nogoods=515, foundSolutions=6, bestBound=513
5.24/2.84	    
5.24/2.84	    num=57, depth=2..15, filters=66674, revisions=(95804,useless=40913), ccks=22604, wck=0.567, mem=50M367
5.24/2.84	    decisions=5411, wrong=2452, backtracks=1146, failedAssignments=1588, nogoods=519, foundSolutions=6, bestBound=513
5.24/2.84	    
5.24/2.84	    num=58, depth=5..16, filters=69344, revisions=(99589,useless=42534), ccks=23435, wck=0.581, mem=50M367
5.24/2.84	    decisions=5620, wrong=2552, backtracks=1185, failedAssignments=1655, nogoods=529, foundSolutions=6, bestBound=513
5.24/2.84	    
5.24/2.84	    num=59, depth=7..19, filters=72254, revisions=(103698,useless=44300), ccks=24315, wck=0.597, mem=50M367
5.24/2.84	    decisions=5867, wrong=2668, backtracks=1245, failedAssignments=1729, nogoods=545, foundSolutions=6, bestBound=513
5.24/2.84	    
5.24/2.85	    num=60, depth=0..15, filters=74973, revisions=(107480,useless=45912), ccks=25066, wck=0.613, mem=50M367
5.24/2.85	    decisions=6103, wrong=2786, backtracks=1320, failedAssignments=1810, nogoods=545, foundSolutions=6, bestBound=513
5.24/2.85	    
5.24/2.87	    num=61, depth=5..18, filters=78710, revisions=(112472,useless=47944), ccks=26260, wck=0.631, mem=50M367
5.24/2.87	    decisions=6421, wrong=2940, backtracks=1401, failedAssignments=1899, nogoods=556, foundSolutions=6, bestBound=513
5.24/2.87	    
5.24/2.90	    num=62, depth=1..17, filters=83518, revisions=(119046,useless=50686), ccks=27716, wck=0.656, mem=50M367
5.24/2.90	    decisions=6772, wrong=3111, backtracks=1497, failedAssignments=1997, nogoods=580, foundSolutions=6, bestBound=513
5.24/2.90	    
5.48/2.92	    num=63, depth=3..16, filters=87624, revisions=(124526,useless=52948), ccks=29001, wck=0.678, mem=50M367
5.48/2.92	    decisions=7153, wrong=3297, backtracks=1613, failedAssignments=2105, nogoods=600, foundSolutions=6, bestBound=513
5.48/2.92	    
5.48/2.93	o 567
5.48/2.93	    num=64, depth=2..89, filters=89295, revisions=(126833,useless=53914), ccks=29571, wck=0.687, mem=53M9
5.48/2.93	    decisions=7283, wrong=3354, backtracks=1645, failedAssignments=2139, nogoods=610, foundSolutions=7, bestBound=567
5.48/2.93	    
5.48/2.96	    num=65, depth=5..16, filters=95609, revisions=(135526,useless=57604), ccks=31725, wck=0.718, mem=53M9
5.48/2.96	    decisions=7717, wrong=3568, backtracks=1751, failedAssignments=2270, nogoods=619, foundSolutions=7, bestBound=567
5.48/2.96	    
5.48/2.96	    num=66, depth=1..14, filters=96448, revisions=(136761,useless=58111), ccks=31987, wck=0.724, mem=53M9
5.48/2.96	    decisions=7771, wrong=3590, backtracks=1765, failedAssignments=2281, nogoods=627, foundSolutions=7, bestBound=567
5.48/2.96	    
5.48/2.97	    num=67, depth=2..13, filters=96979, revisions=(137557,useless=58449), ccks=32143, wck=0.727, mem=53M9
5.48/2.97	    decisions=7809, wrong=3605, backtracks=1770, failedAssignments=2293, nogoods=633, foundSolutions=7, bestBound=567
5.48/2.97	    
5.48/2.97	    num=68, depth=6..16, filters=97633, revisions=(138513,useless=58856), ccks=32376, wck=0.731, mem=53M9
5.48/2.97	    decisions=7859, wrong=3627, backtracks=1781, failedAssignments=2306, nogoods=636, foundSolutions=7, bestBound=567
5.48/2.97	    
5.48/2.97	    num=69, depth=2..16, filters=98120, revisions=(139204,useless=59154), ccks=32533, wck=0.734, mem=53M9
5.48/2.97	    decisions=7909, wrong=3648, backtracks=1794, failedAssignments=2320, nogoods=643, foundSolutions=7, bestBound=567
5.48/2.97	    
5.48/2.98	    num=70, depth=2..13, filters=98760, revisions=(140137,useless=59567), ccks=32728, wck=0.738, mem=53M9
5.48/2.98	    decisions=7958, wrong=3671, backtracks=1805, failedAssignments=2336, nogoods=648, foundSolutions=7, bestBound=567
5.48/2.98	    
5.48/2.99	    num=71, depth=7..14, filters=99604, revisions=(141373,useless=60096), ccks=33018, wck=0.743, mem=53M9
5.48/2.99	    decisions=8017, wrong=3697, backtracks=1815, failedAssignments=2353, nogoods=651, foundSolutions=7, bestBound=567
5.48/2.99	    
5.48/2.99	    num=72, depth=3..18, filters=100571, revisions=(142802,useless=60703), ccks=33283, wck=0.749, mem=53M9
5.48/2.99	    decisions=8084, wrong=3725, backtracks=1832, failedAssignments=2372, nogoods=661, foundSolutions=7, bestBound=567
5.48/2.99	    
5.48/3.00	    num=73, depth=1..15, filters=101585, revisions=(144324,useless=61374), ccks=33576, wck=0.756, mem=53M9
5.48/3.00	    decisions=8164, wrong=3760, backtracks=1852, failedAssignments=2393, nogoods=670, foundSolutions=7, bestBound=567
5.48/3.00	    
5.48/3.00	    num=74, depth=4..17, filters=102850, revisions=(146116,useless=62114), ccks=33953, wck=0.763, mem=53M9
5.48/3.00	    decisions=8258, wrong=3804, backtracks=1885, failedAssignments=2416, nogoods=678, foundSolutions=7, bestBound=567
5.48/3.00	    
5.76/3.01	    num=75, depth=2..12, filters=104087, revisions=(147839,useless=62833), ccks=34310, wck=0.771, mem=53M9
5.76/3.01	    decisions=8346, wrong=3845, backtracks=1902, failedAssignments=2441, nogoods=682, foundSolutions=7, bestBound=567
5.76/3.01	    
5.76/3.02	    num=76, depth=6..14, filters=105467, revisions=(149822,useless=63666), ccks=34784, wck=0.778, mem=53M9
5.76/3.02	    decisions=8449, wrong=3892, backtracks=1930, failedAssignments=2469, nogoods=688, foundSolutions=7, bestBound=567
5.76/3.02	    
5.76/3.02	o 583
5.76/3.02	    num=77, depth=7..89, filters=106068, revisions=(150826,useless=64118), ccks=35033, wck=0.783, mem=53M9
5.76/3.02	    decisions=8489, wrong=3903, backtracks=1930, failedAssignments=2480, nogoods=699, foundSolutions=8, bestBound=583
5.76/3.02	    
5.76/3.03	    num=78, depth=6..14, filters=107665, revisions=(153132,useless=65126), ccks=35611, wck=0.792, mem=53M9
5.76/3.03	    decisions=8604, wrong=3954, backtracks=1953, failedAssignments=2514, nogoods=708, foundSolutions=8, bestBound=583
5.76/3.03	    
5.76/3.03	    num=79, depth=3..13, filters=108122, revisions=(153813,useless=65424), ccks=35731, wck=0.795, mem=53M9
5.76/3.03	    decisions=8648, wrong=3974, backtracks=1969, failedAssignments=2525, nogoods=710, foundSolutions=8, bestBound=583
5.76/3.03	    
5.76/3.04	    num=80, depth=6..13, filters=108858, revisions=(154959,useless=65937), ccks=35991, wck=0.799, mem=53M9
5.76/3.04	    decisions=8699, wrong=3995, backtracks=1981, failedAssignments=2537, nogoods=715, foundSolutions=8, bestBound=583
5.76/3.04	    
5.76/3.04	    num=81, depth=0..12, filters=109311, revisions=(155626,useless=66225), ccks=36120, wck=0.803, mem=53M9
5.76/3.04	    decisions=8745, wrong=4014, backtracks=1990, failedAssignments=2550, nogoods=723, foundSolutions=8, bestBound=583
5.76/3.04	    
5.76/3.05	    num=82, depth=8..16, filters=110122, revisions=(156891,useless=66767), ccks=36413, wck=0.807, mem=53M9
5.76/3.05	    decisions=8795, wrong=4034, backtracks=2002, failedAssignments=2564, nogoods=729, foundSolutions=8, bestBound=583
5.76/3.05	    
5.76/3.05	    num=83, depth=6..13, filters=111032, revisions=(158306,useless=67408), ccks=36733, wck=0.812, mem=53M9
5.76/3.05	    decisions=8856, wrong=4060, backtracks=2017, failedAssignments=2580, nogoods=736, foundSolutions=8, bestBound=583
5.76/3.05	    
5.76/3.06	    num=84, depth=3..12, filters=111816, revisions=(159357,useless=67809), ccks=37009, wck=0.818, mem=53M9
5.76/3.06	    decisions=8911, wrong=4086, backtracks=2030, failedAssignments=2597, nogoods=738, foundSolutions=8, bestBound=583
5.76/3.06	    
5.76/3.06	    num=85, depth=1..8, filters=112642, revisions=(160586,useless=68333), ccks=37254, wck=0.823, mem=53M9
5.76/3.06	    decisions=8973, wrong=4116, backtracks=2042, failedAssignments=2616, nogoods=741, foundSolutions=8, bestBound=583
5.76/3.06	    
5.76/3.07	    num=86, depth=4..11, filters=113790, revisions=(162313,useless=69085), ccks=37605, wck=0.83, mem=53M9
5.76/3.07	    decisions=9040, wrong=4147, backtracks=2057, failedAssignments=2637, nogoods=745, foundSolutions=8, bestBound=583
5.76/3.07	    
5.76/3.08	    num=87, depth=5..18, filters=114975, revisions=(163945,useless=69762), ccks=37961, wck=0.837, mem=53M9
5.76/3.08	    decisions=9127, wrong=4187, backtracks=2082, failedAssignments=2660, nogoods=752, foundSolutions=8, bestBound=583
5.76/3.08	    
5.76/3.08	    num=88, depth=3..11, filters=115962, revisions=(165448,useless=70413), ccks=38235, wck=0.843, mem=55M652
5.76/3.08	    decisions=9202, wrong=4221, backtracks=2095, failedAssignments=2685, nogoods=758, foundSolutions=8, bestBound=583
5.76/3.08	    
5.76/3.09	    num=89, depth=5..12, filters=117319, revisions=(167359,useless=71203), ccks=38663, wck=0.85, mem=55M652
5.76/3.09	    decisions=9298, wrong=4265, backtracks=2117, failedAssignments=2713, nogoods=767, foundSolutions=8, bestBound=583
5.76/3.09	    
5.76/3.10	    num=90, depth=3..13, filters=118593, revisions=(169197,useless=72004), ccks=39059, wck=0.858, mem=55M652
5.76/3.10	    decisions=9393, wrong=4309, backtracks=2138, failedAssignments=2744, nogoods=780, foundSolutions=8, bestBound=583
5.76/3.10	    
5.97/3.11	    num=91, depth=6..14, filters=120303, revisions=(171774,useless=73136), ccks=39619, wck=0.868, mem=55M652
5.97/3.11	    decisions=9507, wrong=4360, backtracks=2158, failedAssignments=2778, nogoods=799, foundSolutions=8, bestBound=583
5.97/3.11	    
5.97/3.12	    num=92, depth=2..17, filters=121958, revisions=(174045,useless=74071), ccks=40122, wck=0.877, mem=55M652
5.97/3.12	    decisions=9625, wrong=4415, backtracks=2183, failedAssignments=2815, nogoods=810, foundSolutions=8, bestBound=583
5.97/3.12	    
5.97/3.12	    num=93, depth=3..13, filters=123374, revisions=(175953,useless=74854), ccks=40568, wck=0.885, mem=55M652
5.97/3.12	    decisions=9748, wrong=4472, backtracks=2214, failedAssignments=2856, nogoods=819, foundSolutions=8, bestBound=583
5.97/3.12	    
5.97/3.14	    num=94, depth=5..13, filters=125585, revisions=(179029,useless=76136), ccks=41269, wck=0.897, mem=55M652
5.97/3.14	    decisions=9922, wrong=4554, backtracks=2258, failedAssignments=2901, nogoods=834, foundSolutions=8, bestBound=583
5.97/3.14	    
5.97/3.15	    num=95, depth=6..14, filters=128042, revisions=(182516,useless=77614), ccks=42085, wck=0.911, mem=55M652
5.97/3.15	    decisions=10080, wrong=4628, backtracks=2292, failedAssignments=2951, nogoods=850, foundSolutions=8, bestBound=583
5.97/3.15	    
5.97/3.16	    num=96, depth=6..14, filters=130296, revisions=(185500,useless=78811), ccks=42846, wck=0.921, mem=55M652
5.97/3.16	    decisions=10288, wrong=4726, backtracks=2349, failedAssignments=3006, nogoods=861, foundSolutions=8, bestBound=583
5.97/3.16	    
5.97/3.17	    num=97, depth=1..16, filters=132259, revisions=(188238,useless=79997), ccks=43461, wck=0.932, mem=55M652
5.97/3.17	    decisions=10474, wrong=4815, backtracks=2396, failedAssignments=3067, nogoods=873, foundSolutions=8, bestBound=583
5.97/3.17	    
5.97/3.18	    num=98, depth=2..12, filters=134869, revisions=(191824,useless=81484), ccks=44284, wck=0.945, mem=55M652
5.97/3.18	    decisions=10702, wrong=4926, backtracks=2453, failedAssignments=3134, nogoods=887, foundSolutions=8, bestBound=583
5.97/3.18	    
6.17/3.20	    num=99, depth=2..19, filters=137858, revisions=(196114,useless=83325), ccks=45189, wck=0.962, mem=55M652
6.17/3.20	    decisions=10930, wrong=5036, backtracks=2504, failedAssignments=3208, nogoods=897, foundSolutions=8, bestBound=583
6.17/3.20	    
6.17/3.22	    num=100, depth=5..17, filters=141440, revisions=(200955,useless=85307), ccks=46239, wck=0.98, mem=55M652
6.17/3.22	    decisions=11204, wrong=5169, backtracks=2574, failedAssignments=3289, nogoods=912, foundSolutions=8, bestBound=583
6.17/3.22	    
6.17/3.24	    num=101, depth=5..16, filters=145589, revisions=(206698,useless=87678), ccks=47509, wck=1.004, mem=55M652
6.17/3.24	    decisions=11492, wrong=5306, backtracks=2635, failedAssignments=3378, nogoods=936, foundSolutions=8, bestBound=583
6.17/3.24	    
6.17/3.26	    num=102, depth=1..12, filters=149316, revisions=(211753,useless=89759), ccks=48671, wck=1.023, mem=58M294
6.17/3.26	    decisions=11811, wrong=5464, backtracks=2725, failedAssignments=3476, nogoods=943, foundSolutions=8, bestBound=583
6.17/3.26	    
6.17/3.29	    num=103, depth=7..19, filters=154121, revisions=(218665,useless=92733), ccks=50210, wck=1.049, mem=58M294
6.17/3.29	    decisions=12145, wrong=5625, backtracks=2792, failedAssignments=3584, nogoods=969, foundSolutions=8, bestBound=583
6.17/3.29	    
6.38/3.31	    num=104, depth=4..18, filters=158823, revisions=(225194,useless=95509), ccks=51588, wck=1.075, mem=58M294
6.38/3.31	    decisions=12505, wrong=5802, backtracks=2871, failedAssignments=3703, nogoods=981, foundSolutions=8, bestBound=583
6.38/3.31	    
6.38/3.34	    num=105, depth=7..19, filters=163172, revisions=(231291,useless=98134), ccks=53076, wck=1.098, mem=58M294
6.38/3.34	    decisions=12875, wrong=5980, backtracks=2925, failedAssignments=3834, nogoods=1000, foundSolutions=8, bestBound=583
6.38/3.34	    
6.38/3.38	    num=106, depth=7..17, filters=170267, revisions=(241356,useless=102373), ccks=55330, wck=1.136, mem=58M294
6.38/3.38	    decisions=13297, wrong=6185, backtracks=3016, failedAssignments=3978, nogoods=1020, foundSolutions=8, bestBound=583
6.38/3.38	    
6.60/3.41	    num=107, depth=2..19, filters=176797, revisions=(250231,useless=106130), ccks=57324, wck=1.168, mem=58M294
6.60/3.41	    decisions=13804, wrong=6433, backtracks=3151, failedAssignments=4136, nogoods=1038, foundSolutions=8, bestBound=583
6.60/3.41	    
6.60/3.45	    num=108, depth=7..18, filters=184172, revisions=(260222,useless=110209), ccks=59594, wck=1.207, mem=60M937
6.60/3.45	    decisions=14356, wrong=6704, backtracks=3287, failedAssignments=4310, nogoods=1057, foundSolutions=8, bestBound=583
6.60/3.45	    
6.60/3.48	    num=109, depth=3..18, filters=191444, revisions=(270121,useless=114377), ccks=61637, wck=1.245, mem=60M937
6.60/3.48	    decisions=14931, wrong=6988, backtracks=3406, failedAssignments=4501, nogoods=1077, foundSolutions=8, bestBound=583
6.60/3.48	    
6.83/3.53	    num=110, depth=0..15, filters=199630, revisions=(281314,useless=119049), ccks=64174, wck=1.287, mem=60M937
6.83/3.53	    decisions=15578, wrong=7308, backtracks=3557, failedAssignments=4712, nogoods=1084, foundSolutions=8, bestBound=583
6.83/3.53	    
6.83/3.57	    num=111, depth=1..17, filters=208592, revisions=(293869,useless=124488), ccks=66704, wck=1.332, mem=60M937
6.83/3.57	    decisions=16242, wrong=7638, backtracks=3697, failedAssignments=4944, nogoods=1091, foundSolutions=8, bestBound=583
6.83/3.57	    
6.95/3.62	    num=112, depth=8..16, filters=218030, revisions=(307946,useless=130995), ccks=69585, wck=1.383, mem=63M579
6.95/3.62	    decisions=16912, wrong=7967, backtracks=3793, failedAssignments=5199, nogoods=1109, foundSolutions=8, bestBound=583
6.95/3.62	    
6.95/3.68	    num=113, depth=3..18, filters=229551, revisions=(323586,useless=137545), ccks=73048, wck=1.44, mem=63M579
6.95/3.68	    decisions=17788, wrong=8401, backtracks=3995, failedAssignments=5480, nogoods=1135, foundSolutions=8, bestBound=583
6.95/3.68	    
7.10/3.74	    num=114, depth=4..18, filters=241183, revisions=(339521,useless=144236), ccks=76615, wck=1.499, mem=66M222
7.10/3.74	    decisions=18648, wrong=8828, backtracks=4191, failedAssignments=5789, nogoods=1143, foundSolutions=8, bestBound=583
7.10/3.74	    
7.10/3.78	o 628
7.10/3.78	    num=115, depth=7..89, filters=249026, revisions=(350367,useless=148693), ccks=79098, wck=1.539, mem=66M222
7.10/3.78	    decisions=19171, wrong=9083, backtracks=4288, failedAssignments=5955, nogoods=1159, foundSolutions=9, bestBound=628
7.10/3.78	    
7.23/3.87	    num=116, depth=7..16, filters=263792, revisions=(373176,useless=159295), ccks=83395, wck=1.626, mem=68M864
7.23/3.87	    decisions=20172, wrong=9580, backtracks=4433, failedAssignments=6329, nogoods=1186, foundSolutions=9, bestBound=628
7.23/3.87	    
7.23/3.87	    num=117, depth=4..12, filters=264520, revisions=(374281,useless=159764), ccks=83633, wck=1.631, mem=68M864
7.23/3.87	    decisions=20219, wrong=9601, backtracks=4445, failedAssignments=6340, nogoods=1189, foundSolutions=9, bestBound=628
7.23/3.87	    
7.23/3.87	    num=118, depth=10..16, filters=265153, revisions=(375289,useless=160200), ccks=83868, wck=1.635, mem=68M864
7.23/3.87	    decisions=20259, wrong=9614, backtracks=4446, failedAssignments=6352, nogoods=1201, foundSolutions=9, bestBound=628
7.23/3.87	    
7.23/3.88	    num=119, depth=8..13, filters=265861, revisions=(376357,useless=160656), ccks=84121, wck=1.638, mem=68M864
7.23/3.88	    decisions=20316, wrong=9638, backtracks=4459, failedAssignments=6365, nogoods=1208, foundSolutions=9, bestBound=628
7.23/3.88	    
7.23/3.88	    num=120, depth=6..14, filters=266508, revisions=(377363,useless=161081), ccks=84318, wck=1.643, mem=68M864
7.23/3.88	    decisions=20360, wrong=9655, backtracks=4465, failedAssignments=6379, nogoods=1219, foundSolutions=9, bestBound=628
7.23/3.88	    
7.23/3.89	    num=121, depth=3..13, filters=267542, revisions=(378930,useless=161737), ccks=84602, wck=1.649, mem=68M864
7.23/3.89	    decisions=20409, wrong=9674, backtracks=4468, failedAssignments=6395, nogoods=1234, foundSolutions=9, bestBound=628
7.23/3.89	    
7.23/3.89	    num=122, depth=4..16, filters=268178, revisions=(379825,useless=162128), ccks=84781, wck=1.653, mem=68M864
7.23/3.89	    decisions=20474, wrong=9703, backtracks=4483, failedAssignments=6412, nogoods=1240, foundSolutions=9, bestBound=628
7.23/3.89	    
7.34/3.90	    num=123, depth=4..14, filters=269032, revisions=(381102,useless=162679), ccks=85011, wck=1.658, mem=68M864
7.34/3.90	    decisions=20537, wrong=9730, backtracks=4496, failedAssignments=6431, nogoods=1251, foundSolutions=9, bestBound=628
7.34/3.90	    
7.34/3.90	    num=124, depth=1..15, filters=269920, revisions=(382310,useless=163180), ccks=85291, wck=1.663, mem=68M864
7.34/3.90	    decisions=20610, wrong=9764, backtracks=4514, failedAssignments=6452, nogoods=1257, foundSolutions=9, bestBound=628
7.34/3.90	    
7.34/3.91	    num=125, depth=7..12, filters=271101, revisions=(384262,useless=164111), ccks=85646, wck=1.67, mem=68M864
7.34/3.91	    decisions=20685, wrong=9797, backtracks=4526, failedAssignments=6475, nogoods=1264, foundSolutions=9, bestBound=628
7.34/3.91	    
7.34/3.91	    num=126, depth=1..10, filters=272004, revisions=(385569,useless=164668), ccks=85914, wck=1.675, mem=68M864
7.34/3.91	    decisions=20756, wrong=9829, backtracks=4538, failedAssignments=6500, nogoods=1280, foundSolutions=9, bestBound=628
7.34/3.91	    
7.34/3.92	    num=127, depth=2..15, filters=273484, revisions=(387575,useless=165488), ccks=86352, wck=1.683, mem=68M864
7.34/3.92	    decisions=20856, wrong=9876, backtracks=4563, failedAssignments=6528, nogoods=1290, foundSolutions=9, bestBound=628
7.34/3.92	    
7.34/3.93	    num=128, depth=8..16, filters=274687, revisions=(389378,useless=166289), ccks=86746, wck=1.69, mem=68M864
7.34/3.93	    decisions=20949, wrong=9915, backtracks=4573, failedAssignments=6559, nogoods=1305, foundSolutions=9, bestBound=628
7.34/3.93	    
7.34/3.94	    num=129, depth=3..12, filters=275903, revisions=(391094,useless=167024), ccks=87160, wck=1.696, mem=68M864
7.34/3.94	    decisions=21046, wrong=9960, backtracks=4593, failedAssignments=6593, nogoods=1311, foundSolutions=9, bestBound=628
7.34/3.94	    
7.34/3.95	    num=130, depth=0..14, filters=277898, revisions=(393907,useless=168211), ccks=87757, wck=1.707, mem=68M864
7.34/3.95	    decisions=21182, wrong=10023, backtracks=4628, failedAssignments=6630, nogoods=1321, foundSolutions=9, bestBound=628
7.34/3.95	    
7.34/3.95	    num=131, depth=3..15, filters=279591, revisions=(396199,useless=169160), ccks=88287, wck=1.716, mem=68M864
7.34/3.95	    decisions=21325, wrong=10089, backtracks=4664, failedAssignments=6671, nogoods=1334, foundSolutions=9, bestBound=628
7.34/3.95	    
7.34/3.96	    num=132, depth=9..18, filters=281583, revisions=(399074,useless=170412), ccks=88962, wck=1.725, mem=68M864
7.34/3.96	    decisions=21459, wrong=10151, backtracks=4684, failedAssignments=6716, nogoods=1342, foundSolutions=9, bestBound=628
7.34/3.96	    
7.34/3.97	    num=133, depth=6..13, filters=283370, revisions=(401567,useless=171454), ccks=89577, wck=1.735, mem=68M864
7.34/3.97	    decisions=21616, wrong=10224, backtracks=4715, failedAssignments=6766, nogoods=1353, foundSolutions=9, bestBound=628
7.34/3.97	    
7.34/3.99	    num=134, depth=2..11, filters=285878, revisions=(405194,useless=173001), ccks=90322, wck=1.748, mem=68M864
7.34/3.99	    decisions=21792, wrong=10310, backtracks=4751, failedAssignments=6821, nogoods=1361, foundSolutions=9, bestBound=628
7.34/3.99	    
7.34/4.00	    num=135, depth=6..16, filters=288738, revisions=(409060,useless=174604), ccks=91233, wck=1.761, mem=68M864
7.34/4.00	    decisions=22003, wrong=10411, backtracks=4804, failedAssignments=6882, nogoods=1371, foundSolutions=9, bestBound=628
7.34/4.00	    
7.47/4.01	o 635
7.47/4.01	    num=136, depth=10..89, filters=290273, revisions=(411439,useless=175726), ccks=91845, wck=1.77, mem=71M506
7.47/4.01	    decisions=22110, wrong=10458, backtracks=4823, failedAssignments=6914, nogoods=1376, foundSolutions=10, bestBound=635
7.47/4.01	    
7.47/4.03	    num=137, depth=7..17, filters=293919, revisions=(416806,useless=178154), ccks=92969, wck=1.789, mem=71M506
7.47/4.03	    decisions=22348, wrong=10570, backtracks=4871, failedAssignments=6988, nogoods=1394, foundSolutions=10, bestBound=635
7.47/4.03	    
7.47/4.03	    num=138, depth=6..12, filters=294616, revisions=(417875,useless=178627), ccks=93251, wck=1.793, mem=71M506
7.47/4.03	    decisions=22397, wrong=10590, backtracks=4881, failedAssignments=6999, nogoods=1397, foundSolutions=10, bestBound=635
7.47/4.03	    
7.47/4.04	    num=139, depth=5..9, filters=295001, revisions=(418411,useless=178846), ccks=93361, wck=1.796, mem=71M506
7.47/4.04	    decisions=22430, wrong=10604, backtracks=4886, failedAssignments=7011, nogoods=1404, foundSolutions=10, bestBound=635
7.47/4.04	    
7.47/4.04	    num=140, depth=3..15, filters=295685, revisions=(419466,useless=179297), ccks=93544, wck=1.801, mem=71M506
7.47/4.04	    decisions=22480, wrong=10626, backtracks=4896, failedAssignments=7024, nogoods=1410, foundSolutions=10, bestBound=635
7.47/4.04	    
7.47/4.04	    num=141, depth=6..11, filters=296259, revisions=(420313,useless=179656), ccks=93717, wck=1.804, mem=71M506
7.47/4.04	    decisions=22524, wrong=10644, backtracks=4901, failedAssignments=7038, nogoods=1420, foundSolutions=10, bestBound=635
7.47/4.04	    
7.47/4.05	    num=142, depth=3..15, filters=297030, revisions=(421442,useless=180128), ccks=93943, wck=1.809, mem=71M506
7.47/4.05	    decisions=22579, wrong=10665, backtracks=4909, failedAssignments=7054, nogoods=1431, foundSolutions=10, bestBound=635
7.47/4.05	    
7.47/4.05	    num=143, depth=2..11, filters=297712, revisions=(422443,useless=180545), ccks=94142, wck=1.813, mem=71M506
7.47/4.05	    decisions=22628, wrong=10688, backtracks=4923, failedAssignments=7071, nogoods=1438, foundSolutions=10, bestBound=635
7.47/4.05	    
7.47/4.06	    num=144, depth=10..17, filters=298772, revisions=(424084,useless=181285), ccks=94518, wck=1.819, mem=71M506
7.47/4.06	    decisions=22698, wrong=10716, backtracks=4934, failedAssignments=7090, nogoods=1446, foundSolutions=10, bestBound=635
7.47/4.06	    
7.47/4.06	    num=145, depth=3..12, filters=299554, revisions=(425290,useless=181813), ccks=94737, wck=1.824, mem=71M506
7.47/4.06	    decisions=22758, wrong=10741, backtracks=4941, failedAssignments=7111, nogoods=1460, foundSolutions=10, bestBound=635
7.47/4.06	    
7.47/4.07	    num=146, depth=1..11, filters=300299, revisions=(426376,useless=182294), ccks=94988, wck=1.828, mem=71M506
7.47/4.07	    decisions=22824, wrong=10771, backtracks=4952, failedAssignments=7134, nogoods=1469, foundSolutions=10, bestBound=635
7.47/4.07	    
7.47/4.07	    num=147, depth=8..18, filters=301428, revisions=(428055,useless=183033), ccks=95365, wck=1.835, mem=71M506
7.47/4.07	    decisions=22912, wrong=10810, backtracks=4969, failedAssignments=7159, nogoods=1472, foundSolutions=10, bestBound=635
7.47/4.07	    
7.47/4.08	    num=148, depth=7..11, filters=302749, revisions=(430096,useless=183931), ccks=95817, wck=1.843, mem=71M506
7.47/4.08	    decisions=22993, wrong=10846, backtracks=4978, failedAssignments=7187, nogoods=1480, foundSolutions=10, bestBound=635
7.47/4.08	    
7.47/4.09	    num=149, depth=3..12, filters=304332, revisions=(432269,useless=184826), ccks=96295, wck=1.851, mem=71M506
7.47/4.09	    decisions=23110, wrong=10900, backtracks=5005, failedAssignments=7218, nogoods=1489, foundSolutions=10, bestBound=635
7.47/4.09	    
7.47/4.09	o 636
7.47/4.09	    num=150, depth=10..89, filters=304800, revisions=(433090,useless=185220), ccks=96566, wck=1.855, mem=71M506
7.47/4.09	    decisions=23141, wrong=10909, backtracks=5009, failedAssignments=7224, nogoods=1494, foundSolutions=11, bestBound=636
7.47/4.09	    
7.47/4.10	    num=151, depth=8..14, filters=306425, revisions=(435620,useless=186401), ccks=97116, wck=1.864, mem=71M506
7.47/4.10	    decisions=23254, wrong=10961, backtracks=5024, failedAssignments=7261, nogoods=1503, foundSolutions=11, bestBound=636
7.47/4.10	    
7.59/4.11	    num=152, depth=3..10, filters=307032, revisions=(436559,useless=186811), ccks=97275, wck=1.868, mem=71M506
7.59/4.11	    decisions=23295, wrong=10978, backtracks=5032, failedAssignments=7272, nogoods=1510, foundSolutions=11, bestBound=636
7.59/4.11	    
7.59/4.11	    num=153, depth=3..12, filters=307617, revisions=(437402,useless=187159), ccks=97443, wck=1.871, mem=71M506
7.59/4.11	    decisions=23345, wrong=10999, backtracks=5043, failedAssignments=7284, nogoods=1517, foundSolutions=11, bestBound=636
7.59/4.11	    
7.59/4.11	    num=154, depth=7..13, filters=308237, revisions=(438351,useless=187552), ccks=97689, wck=1.876, mem=71M506
7.59/4.11	    decisions=23389, wrong=11015, backtracks=5046, failedAssignments=7297, nogoods=1526, foundSolutions=11, bestBound=636
7.59/4.11	    
7.59/4.12	    num=155, depth=7..12, filters=308973, revisions=(439440,useless=187993), ccks=97966, wck=1.88, mem=71M506
7.59/4.12	    decisions=23438, wrong=11036, backtracks=5054, failedAssignments=7311, nogoods=1535, foundSolutions=11, bestBound=636
7.59/4.12	    
7.59/4.13	    num=156, depth=6..14, filters=310084, revisions=(441082,useless=188695), ccks=98347, wck=1.886, mem=71M506
7.59/4.13	    decisions=23509, wrong=11067, backtracks=5072, failedAssignments=7327, nogoods=1538, foundSolutions=11, bestBound=636
7.59/4.13	    
7.59/4.13	    num=157, depth=6..14, filters=311091, revisions=(442664,useless=189387), ccks=98695, wck=1.893, mem=71M506
7.59/4.13	    decisions=23561, wrong=11088, backtracks=5077, failedAssignments=7344, nogoods=1548, foundSolutions=11, bestBound=636
7.59/4.13	    
7.59/4.14	    num=158, depth=3..12, filters=312162, revisions=(444237,useless=190051), ccks=98987, wck=1.899, mem=71M506
7.59/4.14	    decisions=23633, wrong=11120, backtracks=5092, failedAssignments=7363, nogoods=1556, foundSolutions=11, bestBound=636
7.59/4.14	    
7.59/4.14	    num=159, depth=8..19, filters=313246, revisions=(445902,useless=190779), ccks=99333, wck=1.905, mem=74M149
7.59/4.14	    decisions=23707, wrong=11152, backtracks=5105, failedAssignments=7384, nogoods=1565, foundSolutions=11, bestBound=636
7.59/4.14	    
7.59/4.15	    num=160, depth=8..12, filters=314273, revisions=(447476,useless=191497), ccks=99675, wck=1.911, mem=74M149
7.59/4.15	    decisions=23779, wrong=11183, backtracks=5113, failedAssignments=7407, nogoods=1575, foundSolutions=11, bestBound=636
7.59/4.15	    
7.59/4.16	    num=161, depth=5..11, filters=315333, revisions=(449058,useless=192173), ccks=100009, wck=1.917, mem=74M149
7.59/4.16	    decisions=23855, wrong=11216, backtracks=5125, failedAssignments=7432, nogoods=1588, foundSolutions=11, bestBound=636
7.59/4.16	    
7.59/4.16	    num=162, depth=5..15, filters=316660, revisions=(451026,useless=192986), ccks=100359, wck=1.925, mem=74M149
7.59/4.16	    decisions=23939, wrong=11254, backtracks=5141, failedAssignments=7460, nogoods=1600, foundSolutions=11, bestBound=636
7.59/4.16	    
7.59/4.17	    num=163, depth=1..12, filters=317954, revisions=(452876,useless=193798), ccks=100751, wck=1.932, mem=74M149
7.59/4.17	    decisions=24048, wrong=11304, backtracks=5169, failedAssignments=7491, nogoods=1610, foundSolutions=11, bestBound=636
7.59/4.17	    
7.59/4.18	    num=164, depth=9..15, filters=319660, revisions=(455516,useless=195023), ccks=101280, wck=1.941, mem=74M149
7.59/4.18	    decisions=24158, wrong=11353, backtracks=5186, failedAssignments=7525, nogoods=1618, foundSolutions=11, bestBound=636
7.59/4.18	    
7.59/4.19	    num=165, depth=9..13, filters=321097, revisions=(457696,useless=195994), ccks=101789, wck=1.949, mem=74M149
7.59/4.19	    decisions=24259, wrong=11399, backtracks=5196, failedAssignments=7562, nogoods=1622, foundSolutions=11, bestBound=636
7.59/4.19	    
7.68/4.20	    num=166, depth=1..15, filters=323003, revisions=(460334,useless=197089), ccks=102378, wck=1.959, mem=74M149
7.68/4.20	    decisions=24409, wrong=11472, backtracks=5243, failedAssignments=7603, nogoods=1632, foundSolutions=11, bestBound=636
7.68/4.20	    
7.68/4.21	    num=167, depth=8..15, filters=324843, revisions=(462916,useless=198172), ccks=102959, wck=1.969, mem=74M149
7.68/4.21	    decisions=24549, wrong=11537, backtracks=5272, failedAssignments=7648, nogoods=1638, foundSolutions=11, bestBound=636
7.68/4.21	    
7.68/4.22	    num=168, depth=7..14, filters=326704, revisions=(465758,useless=199470), ccks=103565, wck=1.98, mem=74M149
7.68/4.22	    decisions=24693, wrong=11604, backtracks=5293, failedAssignments=7698, nogoods=1651, foundSolutions=11, bestBound=636
7.68/4.22	    
7.68/4.23	    num=169, depth=4..13, filters=329030, revisions=(469001,useless=200859), ccks=104249, wck=1.992, mem=74M149
7.68/4.23	    decisions=24885, wrong=11697, backtracks=5341, failedAssignments=7753, nogoods=1654, foundSolutions=11, bestBound=636
7.68/4.23	    
7.68/4.24	    num=170, depth=6..15, filters=331622, revisions=(472626,useless=202397), ccks=104995, wck=2.005, mem=74M149
7.68/4.24	    decisions=25080, wrong=11790, backtracks=5384, failedAssignments=7814, nogoods=1658, foundSolutions=11, bestBound=636
7.68/4.24	    
7.68/4.26	    num=171, depth=7..14, filters=334596, revisions=(477019,useless=204360), ccks=105930, wck=2.022, mem=74M149
7.68/4.26	    decisions=25284, wrong=11887, backtracks=5418, failedAssignments=7881, nogoods=1678, foundSolutions=11, bestBound=636
7.68/4.26	    
7.68/4.27	    num=172, depth=4..12, filters=337313, revisions=(480772,useless=205979), ccks=106828, wck=2.035, mem=74M149
7.68/4.27	    decisions=25512, wrong=11997, backtracks=5469, failedAssignments=7955, nogoods=1683, foundSolutions=11, bestBound=636
7.68/4.27	    
7.68/4.29	    num=173, depth=7..16, filters=340344, revisions=(485245,useless=208011), ccks=107701, wck=2.051, mem=76M791
7.68/4.29	    decisions=25742, wrong=12107, backtracks=5510, failedAssignments=8036, nogoods=1696, foundSolutions=11, bestBound=636
7.68/4.29	    
7.78/4.31	    num=174, depth=7..19, filters=344040, revisions=(490588,useless=210374), ccks=108741, wck=2.07, mem=76M791
7.78/4.31	    decisions=26016, wrong=12237, backtracks=5561, failedAssignments=8125, nogoods=1712, foundSolutions=11, bestBound=636
7.78/4.31	    
7.78/4.33	    num=175, depth=0..14, filters=348078, revisions=(496188,useless=212750), ccks=110003, wck=2.091, mem=76M791
7.78/4.33	    decisions=26335, wrong=12392, backtracks=5641, failedAssignments=8223, nogoods=1726, foundSolutions=11, bestBound=636
7.78/4.33	    
7.78/4.35	    num=176, depth=2..16, filters=353149, revisions=(502960,useless=215522), ccks=111547, wck=2.115, mem=76M791
7.78/4.35	    decisions=26750, wrong=12598, backtracks=5764, failedAssignments=8331, nogoods=1739, foundSolutions=11, bestBound=636
7.78/4.35	    
7.78/4.38	    num=177, depth=4..14, filters=357544, revisions=(508956,useless=218080), ccks=113021, wck=2.136, mem=76M791
7.78/4.38	    decisions=27113, wrong=12777, backtracks=5844, failedAssignments=8450, nogoods=1750, foundSolutions=11, bestBound=636
7.78/4.38	    
7.88/4.41	    num=178, depth=5..18, filters=364098, revisions=(518215,useless=221998), ccks=114990, wck=2.168, mem=76M791
7.88/4.41	    decisions=27536, wrong=12983, backtracks=5938, failedAssignments=8581, nogoods=1771, foundSolutions=11, bestBound=636
7.88/4.41	    
7.88/4.44	    num=179, depth=4..16, filters=371107, revisions=(527684,useless=225989), ccks=117101, wck=2.201, mem=76M791
7.88/4.44	    decisions=28058, wrong=13240, backtracks=6071, failedAssignments=8725, nogoods=1780, foundSolutions=11, bestBound=636
7.88/4.44	    
7.88/4.48	    num=180, depth=5..12, filters=377137, revisions=(536441,useless=229812), ccks=119059, wck=2.237, mem=79M434
7.88/4.48	    decisions=28456, wrong=13436, backtracks=6125, failedAssignments=8883, nogoods=1797, foundSolutions=11, bestBound=636
7.88/4.48	    
7.98/4.52	    num=181, depth=3..12, filters=385156, revisions=(548103,useless=234929), ccks=121433, wck=2.279, mem=79M434
7.98/4.52	    decisions=28994, wrong=13703, backtracks=6236, failedAssignments=9057, nogoods=1809, foundSolutions=11, bestBound=636
7.98/4.52	    
7.98/4.56	    num=182, depth=4..14, filters=393856, revisions=(560205,useless=240078), ccks=124077, wck=2.321, mem=79M434
7.98/4.56	    decisions=29623, wrong=14015, backtracks=6402, failedAssignments=9248, nogoods=1821, foundSolutions=11, bestBound=636
7.98/4.56	    
8.08/4.61	    num=183, depth=3..15, filters=403547, revisions=(573885,useless=245928), ccks=127082, wck=2.372, mem=82M76
8.08/4.61	    decisions=30279, wrong=14340, backtracks=6540, failedAssignments=9459, nogoods=1834, foundSolutions=11, bestBound=636
8.08/4.61	    
8.08/4.66	    num=184, depth=4..14, filters=413474, revisions=(587862,useless=251884), ccks=130098, wck=2.423, mem=82M76
8.08/4.66	    decisions=30947, wrong=14670, backtracks=6665, failedAssignments=9691, nogoods=1863, foundSolutions=11, bestBound=636
8.08/4.66	    
8.18/4.73	    num=185, depth=6..15, filters=424308, revisions=(603895,useless=258903), ccks=133123, wck=2.487, mem=82M76
8.18/4.73	    decisions=31686, wrong=15032, backtracks=6788, failedAssignments=9946, nogoods=1902, foundSolutions=11, bestBound=636
8.18/4.73	    
8.33/4.80	    num=186, depth=6..16, filters=437983, revisions=(623998,useless=267853), ccks=137203, wck=2.564, mem=84M719
8.33/4.80	    decisions=32548, wrong=15458, backtracks=6961, failedAssignments=10227, nogoods=1933, foundSolutions=11, bestBound=636
8.33/4.80	    
8.33/4.86	    num=187, depth=0..16, filters=449899, revisions=(639773,useless=274388), ccks=140718, wck=2.621, mem=84M719
8.33/4.86	    decisions=33515, wrong=15936, backtracks=7201, failedAssignments=10536, nogoods=1946, foundSolutions=11, bestBound=636
8.33/4.86	    
8.46/4.96	    num=188, depth=5..14, filters=466253, revisions=(663574,useless=284714), ccks=145923, wck=2.716, mem=87M361
8.46/4.96	    decisions=34478, wrong=16413, backtracks=7356, failedAssignments=10876, nogoods=1971, foundSolutions=11, bestBound=636
8.46/4.96	    
8.57/5.05	    num=189, depth=0..14, filters=483242, revisions=(688076,useless=295252), ccks=151118, wck=2.813, mem=90M3
8.57/5.05	    decisions=35615, wrong=16978, backtracks=7587, failedAssignments=11250, nogoods=1998, foundSolutions=11, bestBound=636
8.57/5.05	    
8.67/5.15	    num=190, depth=2..16, filters=501390, revisions=(713512,useless=306237), ccks=156420, wck=2.907, mem=90M3
8.67/5.15	    decisions=36944, wrong=17640, backtracks=7900, failedAssignments=11661, nogoods=2006, foundSolutions=11, bestBound=636
8.67/5.15	    
8.76/5.24	    num=191, depth=1..15, filters=521234, revisions=(740748,useless=317661), ccks=162670, wck=3.005, mem=92M646
8.76/5.24	    decisions=38384, wrong=18357, backtracks=8245, failedAssignments=12113, nogoods=2017, foundSolutions=11, bestBound=636
8.76/5.24	    
8.86/5.35	    num=192, depth=0..17, filters=541596, revisions=(770228,useless=330511), ccks=168497, wck=3.113, mem=95M288
8.86/5.35	    decisions=39855, wrong=19089, backtracks=8539, failedAssignments=12610, nogoods=2026, foundSolutions=11, bestBound=636
8.86/5.35	    
8.96/5.47	    num=193, depth=4..15, filters=565249, revisions=(804009,useless=345257), ccks=175320, wck=3.235, mem=95M288
8.96/5.47	    decisions=41539, wrong=19928, backtracks=8936, failedAssignments=13157, nogoods=2039, foundSolutions=11, bestBound=636
8.96/5.47	    
9.16/5.61	    num=194, depth=4..18, filters=590142, revisions=(840216,useless=361381), ccks=182831, wck=3.371, mem=97M931
9.16/5.61	    decisions=43267, wrong=20787, backtracks=9266, failedAssignments=13759, nogoods=2049, foundSolutions=11, bestBound=636
9.16/5.61	    
9.27/5.75	    num=195, depth=3..19, filters=616988, revisions=(877831,useless=377536), ccks=190593, wck=3.508, mem=100M573
9.27/5.75	    decisions=45258, wrong=21780, backtracks=9729, failedAssignments=14421, nogoods=2057, foundSolutions=11, bestBound=636
9.27/5.75	    
9.37/5.89	o 661
9.37/5.89	    num=196, depth=6..89, filters=643023, revisions=(916354,useless=395020), ccks=198602, wck=3.65, mem=103M216
9.37/5.89	    decisions=47001, wrong=22645, backtracks=10045, failedAssignments=15020, nogoods=2082, foundSolutions=12, bestBound=661
9.37/5.89	    
9.57/6.09	    num=197, depth=6..18, filters=677671, revisions=(968051,useless=418439), ccks=208217, wck=3.849, mem=108M501
9.57/6.09	    decisions=49376, wrong=23829, backtracks=10496, failedAssignments=15821, nogoods=2116, foundSolutions=12, bestBound=661
9.57/6.09	    
9.57/6.09	    num=198, depth=8..14, filters=678301, revisions=(969017,useless=418863), ccks=208447, wck=3.853, mem=108M501
9.57/6.09	    decisions=49413, wrong=23843, backtracks=10501, failedAssignments=15832, nogoods=2121, foundSolutions=12, bestBound=661
9.57/6.09	    
9.57/6.10	    num=199, depth=8..14, filters=679023, revisions=(970181,useless=419384), ccks=208705, wck=3.858, mem=108M501
9.57/6.10	    decisions=49457, wrong=23860, backtracks=10508, failedAssignments=15844, nogoods=2127, foundSolutions=12, bestBound=661
9.57/6.10	    
9.57/6.10	    num=200, depth=2..9, filters=679559, revisions=(970980,useless=419711), ccks=208870, wck=3.861, mem=108M501
9.57/6.10	    decisions=49494, wrong=23877, backtracks=10516, failedAssignments=15857, nogoods=2137, foundSolutions=12, bestBound=661
9.57/6.10	    
9.57/6.10	    num=201, depth=1..9, filters=680029, revisions=(971666,useless=420010), ccks=209000, wck=3.864, mem=108M501
9.57/6.10	    decisions=49537, wrong=23896, backtracks=10524, failedAssignments=15871, nogoods=2144, foundSolutions=12, bestBound=661
9.57/6.10	    
9.68/6.11	    num=202, depth=8..13, filters=680762, revisions=(972841,useless=420553), ccks=209245, wck=3.869, mem=108M501
9.68/6.11	    decisions=49584, wrong=23913, backtracks=10525, failedAssignments=15887, nogoods=2158, foundSolutions=12, bestBound=661
9.68/6.11	    
9.68/6.11	    num=203, depth=5..10, filters=681851, revisions=(974381,useless=421195), ccks=209605, wck=3.875, mem=108M501
9.68/6.11	    decisions=49655, wrong=23944, backtracks=10541, failedAssignments=15904, nogoods=2167, foundSolutions=12, bestBound=661
9.68/6.11	    
9.68/6.12	    num=204, depth=5..13, filters=682864, revisions=(975857,useless=421824), ccks=209937, wck=3.881, mem=108M501
9.68/6.12	    decisions=49733, wrong=23979, backtracks=10561, failedAssignments=15923, nogoods=2175, foundSolutions=12, bestBound=661
9.68/6.12	    
9.68/6.13	    num=205, depth=7..12, filters=683728, revisions=(977221,useless=422449), ccks=210224, wck=3.887, mem=108M501
9.68/6.13	    decisions=49792, wrong=24003, backtracks=10567, failedAssignments=15944, nogoods=2186, foundSolutions=12, bestBound=661
9.68/6.13	    
9.68/6.13	    num=206, depth=1..9, filters=684969, revisions=(979058,useless=423225), ccks=210535, wck=3.895, mem=108M501
9.68/6.13	    decisions=49877, wrong=24042, backtracks=10592, failedAssignments=15967, nogoods=2195, foundSolutions=12, bestBound=661
9.68/6.13	    
9.68/6.14	    num=207, depth=9..16, filters=686018, revisions=(980638,useless=423908), ccks=210894, wck=3.901, mem=108M501
9.68/6.14	    decisions=49951, wrong=24074, backtracks=10602, failedAssignments=15992, nogoods=2208, foundSolutions=12, bestBound=661
9.68/6.14	    
9.68/6.15	    num=208, depth=1..11, filters=687724, revisions=(983048,useless=424937), ccks=211389, wck=3.91, mem=108M501
9.68/6.15	    decisions=50063, wrong=24126, backtracks=10632, failedAssignments=16020, nogoods=2222, foundSolutions=12, bestBound=661
9.68/6.15	    
9.68/6.16	    num=209, depth=5..15, filters=689005, revisions=(984807,useless=425650), ccks=211792, wck=3.917, mem=108M501
9.68/6.16	    decisions=50161, wrong=24171, backtracks=10649, failedAssignments=16051, nogoods=2227, foundSolutions=12, bestBound=661
9.68/6.16	    
9.68/6.16	    num=210, depth=8..11, filters=690141, revisions=(986608,useless=426474), ccks=212166, wck=3.925, mem=108M501
9.68/6.16	    decisions=50245, wrong=24209, backtracks=10654, failedAssignments=16085, nogoods=2240, foundSolutions=12, bestBound=661
9.68/6.16	    
9.68/6.18	    num=211, depth=0..15, filters=691974, revisions=(989579,useless=427795), ccks=212700, wck=3.937, mem=108M501
9.68/6.18	    decisions=50365, wrong=24264, backtracks=10675, failedAssignments=16122, nogoods=2246, foundSolutions=12, bestBound=661
9.68/6.18	    
9.68/6.19	    num=212, depth=7..14, filters=694302, revisions=(993028,useless=429298), ccks=213441, wck=3.95, mem=108M501
9.68/6.19	    decisions=50492, wrong=24324, backtracks=10699, failedAssignments=16163, nogoods=2257, foundSolutions=12, bestBound=661
9.68/6.19	    
9.77/6.20	    num=213, depth=1..10, filters=696374, revisions=(996115,useless=430646), ccks=213978, wck=3.963, mem=108M501
9.77/6.20	    decisions=50630, wrong=24390, backtracks=10723, failedAssignments=16208, nogoods=2268, foundSolutions=12, bestBound=661
9.77/6.20	    
9.77/6.21	    num=214, depth=6..16, filters=698464, revisions=(999114,useless=431945), ccks=214622, wck=3.974, mem=108M501
9.77/6.21	    decisions=50781, wrong=24461, backtracks=10747, failedAssignments=16258, nogoods=2279, foundSolutions=12, bestBound=661
9.77/6.21	    
9.77/6.23	    num=215, depth=7..14, filters=701434, revisions=(1003642,useless=434026), ccks=215462, wck=3.991, mem=111M143
9.77/6.23	    decisions=50966, wrong=24549, backtracks=10782, failedAssignments=16313, nogoods=2295, foundSolutions=12, bestBound=661
9.77/6.23	    
9.77/6.25	    num=216, depth=2..12, filters=704146, revisions=(1007677,useless=435811), ccks=216198, wck=4.007, mem=111M143
9.77/6.25	    decisions=51171, wrong=24648, backtracks=10825, failedAssignments=16374, nogoods=2305, foundSolutions=12, bestBound=661
9.77/6.25	    
9.77/6.26	    num=217, depth=0..13, filters=707647, revisions=(1012480,useless=437810), ccks=217228, wck=4.025, mem=111M143
9.77/6.26	    decisions=51409, wrong=24763, backtracks=10888, failedAssignments=16441, nogoods=2321, foundSolutions=12, bestBound=661
9.77/6.26	    
9.77/6.29	    num=218, depth=6..18, filters=711490, revisions=(1018304,useless=440458), ccks=218326, wck=4.046, mem=111M143
9.77/6.29	    decisions=51647, wrong=24877, backtracks=10937, failedAssignments=16515, nogoods=2327, foundSolutions=12, bestBound=661
9.77/6.29	    
9.87/6.31	    num=219, depth=1..13, filters=714587, revisions=(1023149,useless=442608), ccks=219160, wck=4.066, mem=111M143
9.87/6.31	    decisions=51859, wrong=24981, backtracks=10963, failedAssignments=16596, nogoods=2347, foundSolutions=12, bestBound=661
9.87/6.31	    
9.87/6.32	o 664
9.87/6.32	    num=220, depth=5..89, filters=717084, revisions=(1026803,useless=444187), ccks=220017, wck=4.081, mem=111M143
9.87/6.32	    decisions=52031, wrong=25060, backtracks=11003, failedAssignments=16644, nogoods=2366, foundSolutions=13, bestBound=664
9.87/6.32	    
9.87/6.35	    num=221, depth=6..16, filters=721574, revisions=(1033690,useless=447317), ccks=221403, wck=4.106, mem=111M143
9.87/6.35	    decisions=52321, wrong=25199, backtracks=11051, failedAssignments=16742, nogoods=2383, foundSolutions=13, bestBound=664
9.87/6.35	    
9.87/6.35	    num=222, depth=9..14, filters=722226, revisions=(1034710,useless=447754), ccks=221640, wck=4.11, mem=111M143
9.87/6.35	    decisions=52359, wrong=25213, backtracks=11055, failedAssignments=16753, nogoods=2390, foundSolutions=13, bestBound=664
9.87/6.35	    
9.87/6.35	    num=223, depth=1..13, filters=722861, revisions=(1035672,useless=448170), ccks=221817, wck=4.114, mem=111M143
9.87/6.35	    decisions=52411, wrong=25234, backtracks=11070, failedAssignments=16765, nogoods=2396, foundSolutions=13, bestBound=664
9.87/6.35	    
9.87/6.36	    num=224, depth=4..11, filters=723520, revisions=(1036654,useless=448609), ccks=221977, wck=4.118, mem=113M786
9.87/6.36	    decisions=52453, wrong=25251, backtracks=11076, failedAssignments=16778, nogoods=2401, foundSolutions=13, bestBound=664
9.87/6.36	    
9.87/6.36	    num=225, depth=1..7, filters=724088, revisions=(1037485,useless=448959), ccks=222131, wck=4.122, mem=113M786
9.87/6.36	    decisions=52494, wrong=25270, backtracks=11081, failedAssignments=16792, nogoods=2408, foundSolutions=13, bestBound=664
9.87/6.36	    
9.87/6.37	    num=226, depth=9..16, filters=724806, revisions=(1038564,useless=449412), ccks=222398, wck=4.126, mem=113M786
9.87/6.37	    decisions=52549, wrong=25293, backtracks=11091, failedAssignments=16808, nogoods=2411, foundSolutions=13, bestBound=664
9.87/6.37	    
9.87/6.37	    num=227, depth=10..17, filters=725565, revisions=(1039759,useless=449955), ccks=222672, wck=4.131, mem=113M786
9.87/6.37	    decisions=52602, wrong=25314, backtracks=11098, failedAssignments=16825, nogoods=2417, foundSolutions=13, bestBound=664
9.87/6.37	    
9.87/6.38	    num=228, depth=0..14, filters=726658, revisions=(1041456,useless=450696), ccks=223029, wck=4.137, mem=113M786
9.87/6.38	    decisions=52672, wrong=25344, backtracks=11114, failedAssignments=16844, nogoods=2423, foundSolutions=13, bestBound=664
9.87/6.38	    
9.87/6.38	    num=229, depth=2..10, filters=727498, revisions=(1042718,useless=451244), ccks=223288, wck=4.143, mem=113M786
9.87/6.38	    decisions=52733, wrong=25373, backtracks=11122, failedAssignments=16865, nogoods=2430, foundSolutions=13, bestBound=664
9.87/6.38	    
9.87/6.39	    num=230, depth=3..12, filters=728551, revisions=(1044239,useless=451894), ccks=223603, wck=4.149, mem=113M786
9.87/6.39	    decisions=52810, wrong=25410, backtracks=11138, failedAssignments=16888, nogoods=2431, foundSolutions=13, bestBound=664
9.87/6.39	    
9.87/6.39	    num=231, depth=10..15, filters=729753, revisions=(1046226,useless=452851), ccks=224000, wck=4.155, mem=113M786
9.87/6.39	    decisions=52894, wrong=25446, backtracks=11152, failedAssignments=16913, nogoods=2439, foundSolutions=13, bestBound=664
9.87/6.39	    
9.98/6.40	    num=232, depth=8..10, filters=731103, revisions=(1048287,useless=453733), ccks=224413, wck=4.164, mem=113M786
9.98/6.40	    decisions=52974, wrong=25482, backtracks=11160, failedAssignments=16941, nogoods=2449, foundSolutions=13, bestBound=664
9.98/6.40	    
9.98/6.41	    num=233, depth=6..11, filters=732619, revisions=(1050444,useless=454682), ccks=224839, wck=4.172, mem=113M786
9.98/6.41	    decisions=53081, wrong=25531, backtracks=11182, failedAssignments=16972, nogoods=2453, foundSolutions=13, bestBound=664
9.98/6.41	    
9.98/6.42	    num=234, depth=1..12, filters=734351, revisions=(1052944,useless=455746), ccks=225333, wck=4.182, mem=113M786
9.98/6.42	    decisions=53199, wrong=25585, backtracks=11209, failedAssignments=17006, nogoods=2467, foundSolutions=13, bestBound=664
9.98/6.42	    
9.98/6.43	    num=235, depth=8..15, filters=735908, revisions=(1055135,useless=456662), ccks=225861, wck=4.19, mem=113M786
9.98/6.43	    decisions=53324, wrong=25642, backtracks=11238, failedAssignments=17043, nogoods=2480, foundSolutions=13, bestBound=664
9.98/6.43	    
9.98/6.44	    num=236, depth=8..16, filters=737949, revisions=(1058091,useless=457947), ccks=226562, wck=4.201, mem=113M786
9.98/6.44	    decisions=53458, wrong=25702, backtracks=11262, failedAssignments=17084, nogoods=2499, foundSolutions=13, bestBound=664
9.98/6.44	    
9.98/6.45	    num=237, depth=7..12, filters=739625, revisions=(1060822,useless=459247), ccks=226985, wck=4.212, mem=113M786
9.98/6.45	    decisions=53573, wrong=25756, backtracks=11274, failedAssignments=17129, nogoods=2508, foundSolutions=13, bestBound=664
9.98/6.45	    
9.98/6.47	    num=238, depth=0..14, filters=742095, revisions=(1064740,useless=460990), ccks=227746, wck=4.228, mem=113M786
9.98/6.47	    decisions=53723, wrong=25825, backtracks=11296, failedAssignments=17179, nogoods=2526, foundSolutions=13, bestBound=664
9.98/6.47	    
9.98/6.48	    num=239, depth=3..12, filters=744376, revisions=(1068029,useless=462409), ccks=228416, wck=4.241, mem=113M786
9.98/6.48	    decisions=53883, wrong=25902, backtracks=11325, failedAssignments=17234, nogoods=2532, foundSolutions=13, bestBound=664
9.98/6.48	    
9.98/6.50	    num=240, depth=2..11, filters=747373, revisions=(1072327,useless=464269), ccks=229276, wck=4.257, mem=113M786
9.98/6.50	    decisions=54066, wrong=25991, backtracks=11359, failedAssignments=17295, nogoods=2542, foundSolutions=13, bestBound=664
9.98/6.50	    
10.08/6.51	    num=241, depth=8..18, filters=750860, revisions=(1077317,useless=466444), ccks=230324, wck=4.275, mem=116M428
10.08/6.51	    decisions=54290, wrong=26098, backtracks=11404, failedAssignments=17362, nogoods=2548, foundSolutions=13, bestBound=664
10.08/6.51	    
10.08/6.53	    num=242, depth=7..17, filters=753866, revisions=(1081526,useless=468216), ccks=231270, wck=4.291, mem=116M428
10.08/6.53	    decisions=54531, wrong=26213, backtracks=11457, failedAssignments=17436, nogoods=2561, foundSolutions=13, bestBound=664
10.08/6.53	    
10.08/6.55	    num=243, depth=2..11, filters=757399, revisions=(1086791,useless=470524), ccks=232341, wck=4.311, mem=116M428
10.08/6.55	    decisions=54769, wrong=26328, backtracks=11499, failedAssignments=17517, nogoods=2581, foundSolutions=13, bestBound=664
10.08/6.55	    
10.08/6.57	    num=244, depth=7..14, filters=761219, revisions=(1092810,useless=473348), ccks=233414, wck=4.334, mem=116M428
10.08/6.57	    decisions=55012, wrong=26443, backtracks=11532, failedAssignments=17606, nogoods=2597, foundSolutions=13, bestBound=664
10.08/6.57	    
10.19/6.60	    num=245, depth=6..16, filters=765458, revisions=(1099012,useless=476116), ccks=234715, wck=4.357, mem=116M428
10.19/6.60	    decisions=55301, wrong=26582, backtracks=11585, failedAssignments=17704, nogoods=2617, foundSolutions=13, bestBound=664
10.19/6.60	    
10.19/6.62	    num=246, depth=8..14, filters=769012, revisions=(1104479,useless=478671), ccks=235682, wck=4.378, mem=116M428
10.19/6.62	    decisions=55578, wrong=26715, backtracks=11619, failedAssignments=17812, nogoods=2646, foundSolutions=13, bestBound=664
10.19/6.62	    
10.19/6.65	    num=247, depth=4..16, filters=774313, revisions=(1111783,useless=481775), ccks=237316, wck=4.406, mem=119M71
10.19/6.65	    decisions=55981, wrong=26911, backtracks=11721, failedAssignments=17931, nogoods=2657, foundSolutions=13, bestBound=664
10.19/6.65	    
10.19/6.68	    num=248, depth=5..15, filters=780456, revisions=(1120707,useless=485703), ccks=239096, wck=4.44, mem=119M71
10.19/6.68	    decisions=56385, wrong=27110, backtracks=11804, failedAssignments=18062, nogoods=2677, foundSolutions=13, bestBound=664
10.19/6.68	    
10.29/6.71	    num=249, depth=7..19, filters=786462, revisions=(1129473,useless=489662), ccks=240927, wck=4.471, mem=119M71
10.29/6.71	    decisions=56804, wrong=27313, backtracks=11876, failedAssignments=18206, nogoods=2700, foundSolutions=13, bestBound=664
10.29/6.71	    
10.29/6.75	    num=250, depth=2..12, filters=793650, revisions=(1139563,useless=493938), ccks=243184, wck=4.509, mem=119M71
10.29/6.75	    decisions=57316, wrong=27567, backtracks=11985, failedAssignments=18364, nogoods=2712, foundSolutions=13, bestBound=664
10.29/6.75	    
10.39/6.80	    num=251, depth=5..14, filters=802342, revisions=(1152356,useless=499578), ccks=245638, wck=4.558, mem=121M713
10.39/6.80	    decisions=57815, wrong=27812, backtracks=12073, failedAssignments=18538, nogoods=2731, foundSolutions=13, bestBound=664
10.39/6.80	    
10.39/6.84	    num=252, depth=4..14, filters=810841, revisions=(1164337,useless=504766), ccks=248215, wck=4.603, mem=121M713
10.39/6.84	    decisions=58416, wrong=28109, backtracks=12195, failedAssignments=18729, nogoods=2753, foundSolutions=13, bestBound=664
10.39/6.84	    
10.39/6.89	    num=253, depth=6..17, filters=819334, revisions=(1176886,useless=510484), ccks=250464, wck=4.65, mem=121M713
10.39/6.89	    decisions=59034, wrong=28411, backtracks=12311, failedAssignments=18940, nogoods=2773, foundSolutions=13, bestBound=664
10.39/6.89	    
10.49/6.94	    num=254, depth=1..14, filters=828804, revisions=(1189873,useless=516019), ccks=253493, wck=4.696, mem=121M713
10.49/6.94	    decisions=59726, wrong=28753, backtracks=12458, failedAssignments=19172, nogoods=2783, foundSolutions=13, bestBound=664
10.49/6.94	    
10.49/6.99	    num=255, depth=6..16, filters=839073, revisions=(1204442,useless=522312), ccks=256594, wck=4.753, mem=124M356
10.49/6.99	    decisions=60449, wrong=29109, backtracks=12592, failedAssignments=19427, nogoods=2812, foundSolutions=13, bestBound=664
10.49/6.99	    
10.60/7.05	    num=256, depth=6..17, filters=850542, revisions=(1221147,useless=529825), ccks=260016, wck=4.814, mem=124M356
10.60/7.05	    decisions=61245, wrong=29503, backtracks=12747, failedAssignments=19708, nogoods=2825, foundSolutions=13, bestBound=664
10.60/7.05	    
10.70/7.12	    num=257, depth=1..16, filters=863147, revisions=(1238208,useless=537004), ccks=263631, wck=4.877, mem=126M998
10.70/7.12	    decisions=62260, wrong=30008, backtracks=12998, failedAssignments=20017, nogoods=2849, foundSolutions=13, bestBound=664
10.70/7.12	    
10.70/7.19	    num=258, depth=3..17, filters=877866, revisions=(1259075,useless=546066), ccks=267925, wck=4.953, mem=126M998
10.70/7.19	    decisions=63323, wrong=30535, backtracks=13253, failedAssignments=20357, nogoods=2866, foundSolutions=13, bestBound=664
10.70/7.19	    
10.79/7.21	o 690
10.79/7.21	    num=259, depth=5..89, filters=880272, revisions=(1262605,useless=547636), ccks=268714, wck=4.968, mem=126M998
10.79/7.21	    decisions=63500, wrong=30619, backtracks=13295, failedAssignments=20408, nogoods=2872, foundSolutions=14, bestBound=690
10.79/7.21	    
10.79/7.29	    num=260, depth=8..20, filters=896297, revisions=(1286511,useless=558681), ccks=273426, wck=5.052, mem=129M640
10.79/7.29	    decisions=64694, wrong=31209, backtracks=13517, failedAssignments=20819, nogoods=2883, foundSolutions=14, bestBound=690
10.79/7.29	    
10.79/7.30	    num=261, depth=6..13, filters=897002, revisions=(1287618,useless=559166), ccks=273696, wck=5.057, mem=129M640
10.79/7.30	    decisions=64737, wrong=31225, backtracks=13524, failedAssignments=20830, nogoods=2888, foundSolutions=14, bestBound=690
10.79/7.30	    
10.89/7.30	    num=262, depth=10..17, filters=897658, revisions=(1288676,useless=559661), ccks=273921, wck=5.061, mem=129M640
10.89/7.30	    decisions=64784, wrong=31243, backtracks=13530, failedAssignments=20842, nogoods=2896, foundSolutions=14, bestBound=690
10.89/7.30	    
10.89/7.30	o 696
10.89/7.30	    num=263, depth=12..89, filters=898173, revisions=(1289555,useless=560075), ccks=274205, wck=5.065, mem=129M640
10.89/7.30	    decisions=64813, wrong=31250, backtracks=13530, failedAssignments=20849, nogoods=2903, foundSolutions=15, bestBound=696
10.89/7.30	    
10.89/7.31	    num=264, depth=6..13, filters=898970, revisions=(1290940,useless=560760), ccks=274505, wck=5.069, mem=129M640
10.89/7.31	    decisions=64859, wrong=31267, backtracks=13533, failedAssignments=20863, nogoods=2917, foundSolutions=15, bestBound=696
10.89/7.31	    
10.89/7.31	    num=265, depth=12..20, filters=899589, revisions=(1291925,useless=561205), ccks=274745, wck=5.073, mem=129M640
10.89/7.31	    decisions=64901, wrong=31280, backtracks=13535, failedAssignments=20874, nogoods=2928, foundSolutions=15, bestBound=696
10.89/7.31	    
10.89/7.32	    num=266, depth=9..14, filters=900224, revisions=(1292974,useless=561689), ccks=274984, wck=5.077, mem=129M640
10.89/7.32	    decisions=64940, wrong=31294, backtracks=13538, failedAssignments=20886, nogoods=2936, foundSolutions=15, bestBound=696
10.89/7.32	    
10.89/7.32	    num=267, depth=0..2, filters=900769, revisions=(1294048,useless=562219), ccks=275100, wck=5.083, mem=129M640
10.89/7.32	    decisions=64971, wrong=31309, backtracks=13540, failedAssignments=20899, nogoods=2941, foundSolutions=15, bestBound=696
10.89/7.32	    
10.89/7.33	    num=268, depth=1..14, filters=901650, revisions=(1295443,useless=562820), ccks=275376, wck=5.089, mem=129M640
10.89/7.33	    decisions=65024, wrong=31330, backtracks=13549, failedAssignments=20913, nogoods=2949, foundSolutions=15, bestBound=696
10.89/7.33	    
10.89/7.33	    num=269, depth=1..12, filters=902507, revisions=(1296685,useless=563334), ccks=275614, wck=5.095, mem=129M640
10.89/7.33	    decisions=65086, wrong=31358, backtracks=13562, failedAssignments=20929, nogoods=2957, foundSolutions=15, bestBound=696
10.89/7.33	    
10.89/7.34	    num=270, depth=4..9, filters=903074, revisions=(1297441,useless=563634), ccks=275811, wck=5.098, mem=129M640
10.89/7.34	    decisions=65141, wrong=31383, backtracks=13571, failedAssignments=20946, nogoods=2965, foundSolutions=15, bestBound=696
10.89/7.34	    
10.89/7.34	    num=271, depth=6..12, filters=904059, revisions=(1298893,useless=564245), ccks=276150, wck=5.104, mem=129M640
10.89/7.34	    decisions=65206, wrong=31411, backtracks=13584, failedAssignments=20965, nogoods=2969, foundSolutions=15, bestBound=696
10.89/7.34	    
10.89/7.35	    num=272, depth=10..18, filters=905223, revisions=(1300732,useless=565058), ccks=276571, wck=5.111, mem=129M640
10.89/7.35	    decisions=65283, wrong=31444, backtracks=13600, failedAssignments=20986, nogoods=2975, foundSolutions=15, bestBound=696
10.89/7.35	    
10.89/7.36	    num=273, depth=2..12, filters=906465, revisions=(1302628,useless=565905), ccks=276897, wck=5.118, mem=129M640
10.89/7.36	    decisions=65364, wrong=31482, backtracks=13616, failedAssignments=21009, nogoods=2983, foundSolutions=15, bestBound=696
10.89/7.36	    
10.89/7.36	    num=274, depth=8..15, filters=907588, revisions=(1304258,useless=566595), ccks=277248, wck=5.124, mem=129M640
10.89/7.36	    decisions=65450, wrong=31521, backtracks=13635, failedAssignments=21034, nogoods=2984, foundSolutions=15, bestBound=696
10.89/7.36	    
10.89/7.37	    num=275, depth=4..9, filters=908955, revisions=(1306266,useless=567458), ccks=277669, wck=5.132, mem=129M640
10.89/7.37	    decisions=65536, wrong=31562, backtracks=13653, failedAssignments=21062, nogoods=2990, foundSolutions=15, bestBound=696
10.89/7.37	    
10.89/7.38	    num=276, depth=4..9, filters=910273, revisions=(1308162,useless=568272), ccks=278075, wck=5.14, mem=129M640
10.89/7.38	    decisions=65615, wrong=31599, backtracks=13662, failedAssignments=21093, nogoods=2996, foundSolutions=15, bestBound=696
10.89/7.38	    
10.89/7.39	    num=277, depth=6..12, filters=911937, revisions=(1310649,useless=569343), ccks=278553, wck=5.15, mem=129M640
10.89/7.39	    decisions=65737, wrong=31655, backtracks=13690, failedAssignments=21127, nogoods=3002, foundSolutions=15, bestBound=696
10.89/7.39	    
11.00/7.40	    num=278, depth=2..10, filters=913621, revisions=(1313112,useless=570403), ccks=279055, wck=5.16, mem=129M640
11.00/7.40	    decisions=65850, wrong=31709, backtracks=13714, failedAssignments=21164, nogoods=3016, foundSolutions=15, bestBound=696
11.00/7.40	    
11.00/7.41	    num=279, depth=6..14, filters=915718, revisions=(1316302,useless=571857), ccks=279659, wck=5.173, mem=129M640
11.00/7.41	    decisions=65977, wrong=31768, backtracks=13738, failedAssignments=21205, nogoods=3025, foundSolutions=15, bestBound=696
11.00/7.41	    
11.00/7.42	    num=280, depth=1..12, filters=917706, revisions=(1319226,useless=573125), ccks=280211, wck=5.184, mem=132M283
11.00/7.42	    decisions=66119, wrong=31836, backtracks=13768, failedAssignments=21250, nogoods=3042, foundSolutions=15, bestBound=696
11.00/7.42	    
11.00/7.44	    num=281, depth=6..14, filters=920158, revisions=(1322887,useless=574772), ccks=281036, wck=5.198, mem=132M283
11.00/7.44	    decisions=66270, wrong=31905, backtracks=13794, failedAssignments=21300, nogoods=3054, foundSolutions=15, bestBound=696
11.00/7.44	    
11.00/7.45	    num=282, depth=3..11, filters=923182, revisions=(1327281,useless=576683), ccks=281967, wck=5.215, mem=132M283
11.00/7.45	    decisions=66473, wrong=32002, backtracks=13850, failedAssignments=21355, nogoods=3067, foundSolutions=15, bestBound=696
11.00/7.45	    
11.00/7.47	    num=283, depth=5..13, filters=925937, revisions=(1331332,useless=578435), ccks=282834, wck=5.231, mem=132M283
11.00/7.47	    decisions=66641, wrong=32083, backtracks=13877, failedAssignments=21416, nogoods=3090, foundSolutions=15, bestBound=696
11.00/7.47	    
11.00/7.49	    num=284, depth=5..12, filters=928895, revisions=(1335769,useless=580428), ccks=283689, wck=5.248, mem=132M283
11.00/7.49	    decisions=66820, wrong=32170, backtracks=13905, failedAssignments=21483, nogoods=3106, foundSolutions=15, bestBound=696
11.00/7.49	    
11.11/7.51	    num=285, depth=7..15, filters=932336, revisions=(1341000,useless=582847), ccks=284839, wck=5.268, mem=132M283
11.11/7.51	    decisions=67037, wrong=32274, backtracks=13947, failedAssignments=21557, nogoods=3109, foundSolutions=15, bestBound=696
11.11/7.51	    
11.11/7.53	    num=286, depth=0..13, filters=935298, revisions=(1345682,useless=584981), ccks=285632, wck=5.287, mem=132M283
11.11/7.53	    decisions=67275, wrong=32388, backtracks=13982, failedAssignments=21638, nogoods=3123, foundSolutions=15, bestBound=696
11.11/7.53	    
11.11/7.55	    num=287, depth=2..13, filters=938898, revisions=(1351026,useless=587346), ccks=286737, wck=5.307, mem=132M283
11.11/7.55	    decisions=67554, wrong=32525, backtracks=14046, failedAssignments=21727, nogoods=3133, foundSolutions=15, bestBound=696
11.11/7.55	    
11.11/7.57	    num=288, depth=3..15, filters=943316, revisions=(1357441,useless=590135), ccks=288019, wck=5.332, mem=134M925
11.11/7.57	    decisions=67853, wrong=32670, backtracks=14113, failedAssignments=21825, nogoods=3145, foundSolutions=15, bestBound=696
11.11/7.57	    
11.21/7.60	    num=289, depth=7..15, filters=948371, revisions=(1364793,useless=593313), ccks=289743, wck=5.36, mem=134M925
11.21/7.60	    decisions=68178, wrong=32828, backtracks=14176, failedAssignments=21933, nogoods=3157, foundSolutions=15, bestBound=696
11.21/7.60	    
11.21/7.62	    num=290, depth=1..12, filters=952861, revisions=(1371341,useless=596192), ccks=290991, wck=5.385, mem=134M925
11.21/7.62	    decisions=68528, wrong=32999, backtracks=14237, failedAssignments=22052, nogoods=3171, foundSolutions=15, bestBound=696
11.21/7.62	    
11.21/7.66	    num=291, depth=5..13, filters=958490, revisions=(1380490,useless=600699), ccks=292204, wck=5.42, mem=134M925
11.21/7.66	    decisions=68893, wrong=33179, backtracks=14302, failedAssignments=22183, nogoods=3173, foundSolutions=15, bestBound=696
11.21/7.66	    
11.31/7.70	    num=292, depth=1..16, filters=965487, revisions=(1390516,useless=605044), ccks=294247, wck=5.458, mem=134M925
11.31/7.70	    decisions=69385, wrong=33422, backtracks=14428, failedAssignments=22327, nogoods=3184, foundSolutions=15, bestBound=696
11.31/7.70	    
11.31/7.74	    num=293, depth=5..14, filters=972399, revisions=(1400909,useless=609643), ccks=296232, wck=5.499, mem=137M568
11.31/7.74	    decisions=69836, wrong=33644, backtracks=14501, failedAssignments=22485, nogoods=3206, foundSolutions=15, bestBound=696
11.31/7.74	    
11.31/7.78	    num=294, depth=1..13, filters=980285, revisions=(1412684,useless=614915), ccks=298315, wck=5.544, mem=137M568
11.31/7.78	    decisions=70384, wrong=33914, backtracks=14631, failedAssignments=22659, nogoods=3224, foundSolutions=15, bestBound=696
11.31/7.78	    
11.41/7.83	    num=295, depth=7..16, filters=988497, revisions=(1424764,useless=620231), ccks=300911, wck=5.591, mem=137M568
11.41/7.83	    decisions=70903, wrong=34169, backtracks=14706, failedAssignments=22850, nogoods=3253, foundSolutions=15, bestBound=696
11.41/7.83	    
11.41/7.88	    num=296, depth=6..16, filters=996696, revisions=(1437133,useless=625946), ccks=303139, wck=5.639, mem=140M210
11.41/7.88	    decisions=71503, wrong=34464, backtracks=14818, failedAssignments=23061, nogoods=3273, foundSolutions=15, bestBound=696
11.41/7.88	    
11.51/7.93	    num=297, depth=1..13, filters=1006977, revisions=(1451970,useless=632427), ccks=306153, wck=5.695, mem=140M210
11.51/7.93	    decisions=72201, wrong=34811, backtracks=14960, failedAssignments=23293, nogoods=3292, foundSolutions=15, bestBound=696
11.51/7.93	    
11.51/8.00	    num=298, depth=1..14, filters=1018914, revisions=(1469334,useless=640103), ccks=309639, wck=5.757, mem=140M210
11.51/8.00	    decisions=73018, wrong=35218, backtracks=15144, failedAssignments=23548, nogoods=3299, foundSolutions=15, bestBound=696
11.51/8.00	    
11.62/8.06	    num=299, depth=5..18, filters=1030523, revisions=(1485540,useless=647152), ccks=313266, wck=5.816, mem=142M778
11.62/8.06	    decisions=73843, wrong=35625, backtracks=15320, failedAssignments=23829, nogoods=3321, foundSolutions=15, bestBound=696
11.62/8.06	    
11.72/8.14	    num=300, depth=0..14, filters=1044860, revisions=(1506731,useless=656542), ccks=317450, wck=5.897, mem=142M778
11.72/8.14	    decisions=74799, wrong=36099, backtracks=15517, failedAssignments=24138, nogoods=3337, foundSolutions=15, bestBound=696
11.72/8.14	    
11.85/8.22	    num=301, depth=0..15, filters=1059210, revisions=(1526553,useless=664932), ccks=321867, wck=5.982, mem=23M25
11.85/8.22	    decisions=75862, wrong=36626, backtracks=15771, failedAssignments=24478, nogoods=3353, foundSolutions=15, bestBound=696
11.85/8.22	    
11.95/8.31	    num=302, depth=2..14, filters=1075940, revisions=(1551280,useless=675961), ccks=327057, wck=6.071, mem=23M25
11.95/8.31	    decisions=77005, wrong=37195, backtracks=15998, failedAssignments=24852, nogoods=3371, foundSolutions=15, bestBound=696
11.95/8.31	    
11.95/8.40	    num=303, depth=2..14, filters=1092080, revisions=(1574836,useless=686435), ccks=331796, wck=6.157, mem=25M614
11.95/8.40	    decisions=78152, wrong=37766, backtracks=16219, failedAssignments=25263, nogoods=3382, foundSolutions=15, bestBound=696
11.95/8.40	    
12.15/8.50	    num=304, depth=1..15, filters=1113284, revisions=(1603429,useless=698273), ccks=338129, wck=6.258, mem=25M614
12.15/8.50	    decisions=79716, wrong=38546, backtracks=16630, failedAssignments=25715, nogoods=3396, foundSolutions=15, bestBound=696
12.15/8.50	    
12.25/8.61	    num=305, depth=2..15, filters=1135435, revisions=(1635108,useless=712160), ccks=344528, wck=6.371, mem=28M204
12.25/8.61	    decisions=81316, wrong=39343, backtracks=16992, failedAssignments=26212, nogoods=3408, foundSolutions=15, bestBound=696
12.25/8.61	    
12.35/8.72	    num=306, depth=0..14, filters=1158798, revisions=(1666240,useless=725091), ccks=351449, wck=6.48, mem=30M793
12.35/8.72	    decisions=83094, wrong=40229, backtracks=17458, failedAssignments=26759, nogoods=3418, foundSolutions=15, bestBound=696
12.35/8.72	    
12.46/8.86	    num=307, depth=5..17, filters=1185168, revisions=(1704571,useless=742238), ccks=359071, wck=6.617, mem=30M793
12.46/8.86	    decisions=84915, wrong=41135, backtracks=17844, failedAssignments=27361, nogoods=3444, foundSolutions=15, bestBound=696
12.46/8.86	    
12.56/8.95	o 705
12.56/8.95	    num=308, depth=4..89, filters=1206770, revisions=(1733410,useless=754239), ccks=365634, wck=6.715, mem=33M383
12.56/8.95	    decisions=86580, wrong=41961, backtracks=18276, failedAssignments=27845, nogoods=3462, foundSolutions=16, bestBound=705
12.56/8.95	    
12.68/9.10	    num=309, depth=5..18, filters=1234930, revisions=(1775069,useless=773064), ccks=373512, wck=6.865, mem=35M972
12.68/9.10	    decisions=88710, wrong=43018, backtracks=18664, failedAssignments=28573, nogoods=3492, foundSolutions=16, bestBound=705
12.68/9.10	    
12.78/9.11	    num=310, depth=7..11, filters=1235516, revisions=(1775961,useless=773443), ccks=373709, wck=6.869, mem=35M972
12.78/9.11	    decisions=88752, wrong=43035, backtracks=18672, failedAssignments=28584, nogoods=3495, foundSolutions=16, bestBound=705
12.78/9.11	    
12.78/9.11	    num=311, depth=6..10, filters=1236148, revisions=(1776975,useless=773904), ccks=373939, wck=6.874, mem=35M972
12.78/9.11	    decisions=88788, wrong=43049, backtracks=18675, failedAssignments=28596, nogoods=3506, foundSolutions=16, bestBound=705
12.78/9.11	    
12.78/9.12	    num=312, depth=0..5, filters=1236875, revisions=(1778215,useless=774467), ccks=374110, wck=6.88, mem=35M972
12.78/9.12	    decisions=88827, wrong=43067, backtracks=18680, failedAssignments=28609, nogoods=3507, foundSolutions=16, bestBound=705
12.78/9.12	    
12.78/9.13	    num=313, depth=6..10, filters=1237867, revisions=(1779771,useless=775173), ccks=374410, wck=6.886, mem=35M972
12.78/9.13	    decisions=88876, wrong=43088, backtracks=18689, failedAssignments=28623, nogoods=3512, foundSolutions=16, bestBound=705
12.78/9.13	    
12.78/9.13	    num=314, depth=6..12, filters=1238871, revisions=(1781291,useless=775844), ccks=374762, wck=6.892, mem=35M972
12.78/9.13	    decisions=88940, wrong=43115, backtracks=18701, failedAssignments=28639, nogoods=3522, foundSolutions=16, bestBound=705
12.78/9.13	    
12.78/9.14	    num=315, depth=7..13, filters=1239889, revisions=(1782787,useless=776493), ccks=375102, wck=6.898, mem=35M972
12.78/9.14	    decisions=89016, wrong=43149, backtracks=18718, failedAssignments=28656, nogoods=3527, foundSolutions=16, bestBound=705
12.78/9.14	    
12.78/9.14	    num=316, depth=1..9, filters=1240898, revisions=(1784190,useless=777082), ccks=375399, wck=6.903, mem=35M972
12.78/9.14	    decisions=89080, wrong=43179, backtracks=18731, failedAssignments=28675, nogoods=3533, foundSolutions=16, bestBound=705
12.78/9.14	    
12.78/9.15	    num=317, depth=6..16, filters=1242107, revisions=(1786059,useless=777946), ccks=375829, wck=6.909, mem=35M972
12.78/9.15	    decisions=89156, wrong=43212, backtracks=18744, failedAssignments=28696, nogoods=3537, foundSolutions=16, bestBound=705
12.78/9.15	    
12.78/9.16	    num=318, depth=7..13, filters=1243278, revisions=(1787872,useless=778754), ccks=376201, wck=6.917, mem=35M972
12.78/9.16	    decisions=89230, wrong=43244, backtracks=18754, failedAssignments=28719, nogoods=3548, foundSolutions=16, bestBound=705
12.78/9.16	    
12.78/9.16	    num=319, depth=5..12, filters=1244550, revisions=(1789846,useless=779643), ccks=376617, wck=6.925, mem=35M972
12.78/9.16	    decisions=89303, wrong=43277, backtracks=18767, failedAssignments=28744, nogoods=3557, foundSolutions=16, bestBound=705
12.78/9.16	    
12.78/9.17	    num=320, depth=1..9, filters=1245786, revisions=(1791592,useless=780393), ccks=376994, wck=6.931, mem=35M972
12.78/9.17	    decisions=89392, wrong=43321, backtracks=18790, failedAssignments=28772, nogoods=3559, foundSolutions=16, bestBound=705
12.78/9.17	    
12.78/9.18	    num=321, depth=3..10, filters=1247338, revisions=(1793898,useless=781429), ccks=377424, wck=6.94, mem=35M972
12.78/9.18	    decisions=89492, wrong=43369, backtracks=18808, failedAssignments=28803, nogoods=3570, foundSolutions=16, bestBound=705
12.78/9.18	    
12.78/9.19	    num=322, depth=6..16, filters=1248964, revisions=(1796400,useless=782569), ccks=377910, wck=6.949, mem=35M972
12.78/9.19	    decisions=89609, wrong=43422, backtracks=18831, failedAssignments=28837, nogoods=3580, foundSolutions=16, bestBound=705
12.78/9.19	    
12.87/9.20	    num=323, depth=6..18, filters=1250862, revisions=(1799300,useless=783888), ccks=378523, wck=6.96, mem=38M562
12.87/9.20	    decisions=89739, wrong=43481, backtracks=18862, failedAssignments=28874, nogoods=3595, foundSolutions=16, bestBound=705
12.87/9.20	    
12.87/9.21	    num=324, depth=3..11, filters=1252324, revisions=(1801651,useless=784995), ccks=378955, wck=6.969, mem=38M562
12.87/9.21	    decisions=89845, wrong=43530, backtracks=18874, failedAssignments=28915, nogoods=3612, foundSolutions=16, bestBound=705
12.87/9.21	    
12.87/9.22	    num=325, depth=7..16, filters=1254109, revisions=(1804378,useless=786266), ccks=379516, wck=6.98, mem=38M562
12.87/9.22	    decisions=89973, wrong=43588, backtracks=18889, failedAssignments=28960, nogoods=3635, foundSolutions=16, bestBound=705
12.87/9.22	    
12.87/9.23	    num=326, depth=2..12, filters=1256179, revisions=(1807393,useless=787562), ccks=380114, wck=6.992, mem=38M562
12.87/9.23	    decisions=90107, wrong=43652, backtracks=18909, failedAssignments=29010, nogoods=3653, foundSolutions=16, bestBound=705
12.87/9.23	    
12.87/9.25	    num=327, depth=6..15, filters=1258909, revisions=(1811326,useless=789277), ccks=380940, wck=7.007, mem=38M562
12.87/9.25	    decisions=90287, wrong=43737, backtracks=18948, failedAssignments=29065, nogoods=3669, foundSolutions=16, bestBound=705
12.87/9.25	    
12.87/9.26	    num=328, depth=1..11, filters=1261872, revisions=(1815705,useless=791222), ccks=381785, wck=7.024, mem=38M562
12.87/9.26	    decisions=90499, wrong=43842, backtracks=19002, failedAssignments=29126, nogoods=3680, foundSolutions=16, bestBound=705
12.87/9.26	    
12.87/9.28	    num=329, depth=1..9, filters=1265389, revisions=(1820872,useless=793518), ccks=382830, wck=7.044, mem=38M562
12.87/9.28	    decisions=90723, wrong=43952, backtracks=19051, failedAssignments=29193, nogoods=3698, foundSolutions=16, bestBound=705
12.87/9.28	    
12.97/9.30	    num=330, depth=6..12, filters=1268538, revisions=(1825578,useless=795579), ccks=383720, wck=7.063, mem=38M562
12.97/9.30	    decisions=90946, wrong=44058, backtracks=19087, failedAssignments=29267, nogoods=3716, foundSolutions=16, bestBound=705
12.97/9.30	    
12.97/9.32	    num=331, depth=7..14, filters=1272462, revisions=(1831413,useless=798234), ccks=384895, wck=7.084, mem=38M562
12.97/9.32	    decisions=91202, wrong=44181, backtracks=19138, failedAssignments=29348, nogoods=3731, foundSolutions=16, bestBound=705
12.97/9.32	    
12.97/9.35	    num=332, depth=5..17, filters=1276598, revisions=(1837599,useless=801040), ccks=386132, wck=7.106, mem=41M152
12.97/9.35	    decisions=91471, wrong=44313, backtracks=19194, failedAssignments=29437, nogoods=3733, foundSolutions=16, bestBound=705
12.97/9.35	    
12.97/9.37	    num=333, depth=0..12, filters=1280582, revisions=(1843051,useless=803342), ccks=387358, wck=7.127, mem=41M152
12.97/9.37	    decisions=91790, wrong=44471, backtracks=19282, failedAssignments=29535, nogoods=3735, foundSolutions=16, bestBound=705
12.97/9.37	    
12.97/9.39	    num=334, depth=9..17, filters=1284960, revisions=(1849479,useless=806291), ccks=388722, wck=7.149, mem=41M152
12.97/9.39	    decisions=92099, wrong=44620, backtracks=19333, failedAssignments=29643, nogoods=3753, foundSolutions=16, bestBound=705
12.97/9.39	    
13.07/9.42	    num=335, depth=6..17, filters=1290453, revisions=(1857784,useless=810112), ccks=390160, wck=7.181, mem=41M152
13.07/9.42	    decisions=92478, wrong=44804, backtracks=19413, failedAssignments=29762, nogoods=3783, foundSolutions=16, bestBound=705
13.07/9.42	    
13.07/9.46	    num=336, depth=5..13, filters=1296638, revisions=(1867006,useless=814165), ccks=391913, wck=7.218, mem=41M152
13.07/9.46	    decisions=92854, wrong=44988, backtracks=19475, failedAssignments=29893, nogoods=3803, foundSolutions=16, bestBound=705
13.07/9.46	    
13.07/9.49	    num=337, depth=5..14, filters=1303393, revisions=(1877154,useless=818775), ccks=393692, wck=7.255, mem=43M741
13.07/9.49	    decisions=93278, wrong=45196, backtracks=19557, failedAssignments=30037, nogoods=3829, foundSolutions=16, bestBound=705
13.07/9.49	    
13.17/9.53	    num=338, depth=7..16, filters=1310484, revisions=(1887833,useless=823687), ccks=395654, wck=7.294, mem=43M741
13.17/9.53	    decisions=93771, wrong=45437, backtracks=19659, failedAssignments=30195, nogoods=3841, foundSolutions=16, bestBound=705
13.17/9.53	    
13.17/9.57	    num=339, depth=1..14, filters=1317202, revisions=(1897172,useless=827693), ccks=397773, wck=7.328, mem=43M741
13.17/9.57	    decisions=94274, wrong=45685, backtracks=19781, failedAssignments=30369, nogoods=3847, foundSolutions=16, bestBound=705
13.17/9.57	    
13.27/9.61	    num=340, depth=1..13, filters=1324857, revisions=(1908560,useless=832760), ccks=399915, wck=7.373, mem=43M741
13.27/9.61	    decisions=94817, wrong=45953, backtracks=19871, failedAssignments=30560, nogoods=3870, foundSolutions=16, bestBound=705
13.27/9.61	    
13.27/9.66	    num=341, depth=8..16, filters=1333673, revisions=(1921635,useless=838671), ccks=402512, wck=7.421, mem=46M331
13.27/9.66	    decisions=95443, wrong=46261, backtracks=19988, failedAssignments=30771, nogoods=3895, foundSolutions=16, bestBound=705
13.27/9.66	    
13.37/9.71	    num=342, depth=4..16, filters=1344026, revisions=(1935974,useless=844742), ccks=405683, wck=7.474, mem=46M331
13.37/9.71	    decisions=96173, wrong=46622, backtracks=20164, failedAssignments=31003, nogoods=3913, foundSolutions=16, bestBound=705
13.37/9.71	    
13.37/9.77	    num=343, depth=2..14, filters=1354498, revisions=(1951101,useless=851400), ccks=408707, wck=7.531, mem=46M331
13.37/9.77	    decisions=96910, wrong=46987, backtracks=20314, failedAssignments=31258, nogoods=3929, foundSolutions=16, bestBound=705
13.37/9.77	    
13.47/9.85	    num=344, depth=4..14, filters=1367556, revisions=(1970768,useless=860302), ccks=412420, wck=7.606, mem=48M920
13.47/9.85	    decisions=97727, wrong=47392, backtracks=20478, failedAssignments=31539, nogoods=3950, foundSolutions=16, bestBound=705
13.47/9.85	    
13.58/9.91	    num=345, depth=8..18, filters=1380044, revisions=(1989092,useless=868646), ccks=416210, wck=7.671, mem=48M920
13.58/9.91	    decisions=98631, wrong=47838, backtracks=20647, failedAssignments=31848, nogoods=3963, foundSolutions=16, bestBound=705
13.58/9.91	    
13.58/9.99	    num=346, depth=6..14, filters=1393857, revisions=(2009468,useless=877790), ccks=420314, wck=7.747, mem=51M510
13.58/9.99	    decisions=99602, wrong=48318, backtracks=20838, failedAssignments=32188, nogoods=3976, foundSolutions=16, bestBound=705
13.58/9.99	    
13.69/10.07	    num=347, depth=7..17, filters=1409081, revisions=(2031902,useless=887945), ccks=424722, wck=7.828, mem=51M510
13.69/10.07	    decisions=100747, wrong=48887, backtracks=21083, failedAssignments=32562, nogoods=3994, foundSolutions=16, bestBound=705
13.69/10.07	    
13.79/10.17	    num=348, depth=5..19, filters=1427227, revisions=(2058513,useless=899986), ccks=429866, wck=7.926, mem=54M99
13.79/10.17	    decisions=101961, wrong=49489, backtracks=21328, failedAssignments=32973, nogoods=4019, foundSolutions=16, bestBound=705
13.79/10.17	    
13.89/10.27	    num=349, depth=4..15, filters=1446735, revisions=(2086924,useless=912665), ccks=435325, wck=8.031, mem=56M689
13.89/10.27	    decisions=103359, wrong=50185, backtracks=21641, failedAssignments=33425, nogoods=4038, foundSolutions=16, bestBound=705
13.89/10.27	    
13.99/10.38	    num=350, depth=6..17, filters=1466166, revisions=(2115295,useless=925286), ccks=440685, wck=8.137, mem=56M689
13.99/10.38	    decisions=104801, wrong=50901, backtracks=21929, failedAssignments=33922, nogoods=4058, foundSolutions=16, bestBound=705
13.99/10.38	    
14.19/10.51	    num=351, depth=3..18, filters=1490649, revisions=(2151540,useless=941572), ccks=447397, wck=8.272, mem=59M278
14.19/10.51	    decisions=106436, wrong=51714, backtracks=22265, failedAssignments=34469, nogoods=4087, foundSolutions=16, bestBound=705
14.19/10.51	    
14.29/10.67	    num=352, depth=4..15, filters=1517428, revisions=(2191799,useless=959796), ccks=455144, wck=8.427, mem=61M868
14.29/10.67	    decisions=108192, wrong=52588, backtracks=22606, failedAssignments=35071, nogoods=4110, foundSolutions=16, bestBound=705
14.29/10.67	    
14.49/10.81	    num=353, depth=7..17, filters=1545596, revisions=(2231793,useless=977287), ccks=463436, wck=8.572, mem=64M458
14.49/10.81	    decisions=110217, wrong=53596, backtracks=23020, failedAssignments=35733, nogoods=4122, foundSolutions=16, bestBound=705
14.49/10.81	    
14.59/10.97	    num=354, depth=7..17, filters=1575273, revisions=(2276858,useless=998025), ccks=471650, wck=8.734, mem=67M47
14.59/10.97	    decisions=112275, wrong=54621, backtracks=23392, failedAssignments=36461, nogoods=4148, foundSolutions=16, bestBound=705
14.59/10.97	    
14.80/11.16	    num=355, depth=5..15, filters=1609650, revisions=(2327752,useless=1021129), ccks=480895, wck=8.925, mem=72M226
14.80/11.16	    decisions=114568, wrong=55763, backtracks=23823, failedAssignments=37262, nogoods=4168, foundSolutions=16, bestBound=705
14.80/11.16	    
14.99/11.37	    num=356, depth=3..18, filters=1648471, revisions=(2384741,useless=1046952), ccks=491943, wck=9.135, mem=74M816
14.99/11.37	    decisions=117203, wrong=57077, backtracks=24335, failedAssignments=38143, nogoods=4181, foundSolutions=16, bestBound=705
14.99/11.37	    
14.99/11.39	o 714
14.99/11.39	    num=357, depth=9..89, filters=1651628, revisions=(2389583,useless=1049191), ccks=493056, wck=9.152, mem=74M816
14.99/11.39	    decisions=117417, wrong=57177, backtracks=24380, failedAssignments=38208, nogoods=4197, foundSolutions=17, bestBound=714
14.99/11.39	    
15.31/11.64	    num=358, depth=6..21, filters=1696205, revisions=(2455962,useless=1079315), ccks=505033, wck=9.398, mem=79M995
15.31/11.64	    decisions=120451, wrong=58688, backtracks=24952, failedAssignments=39275, nogoods=4208, foundSolutions=17, bestBound=714
15.31/11.64	    
15.31/11.64	    num=359, depth=8..14, filters=1696812, revisions=(2456937,useless=1079743), ccks=505286, wck=9.401, mem=79M995
15.31/11.64	    decisions=120496, wrong=58705, backtracks=24960, failedAssignments=39286, nogoods=4215, foundSolutions=17, bestBound=714
15.31/11.64	    
15.31/11.65	    num=360, depth=6..10, filters=1697538, revisions=(2458073,useless=1080257), ccks=505528, wck=9.406, mem=79M995
15.31/11.65	    decisions=120531, wrong=58719, backtracks=24964, failedAssignments=39298, nogoods=4222, foundSolutions=17, bestBound=714
15.31/11.65	    
15.31/11.65	    num=361, depth=1..12, filters=1698268, revisions=(2459176,useless=1080745), ccks=505747, wck=9.411, mem=79M995
15.31/11.65	    decisions=120578, wrong=58742, backtracks=24976, failedAssignments=39311, nogoods=4225, foundSolutions=17, bestBound=714
15.31/11.65	    
15.31/11.66	    num=362, depth=7..14, filters=1699026, revisions=(2460300,useless=1081209), ccks=505979, wck=9.416, mem=79M995
15.31/11.66	    decisions=120633, wrong=58764, backtracks=24987, failedAssignments=39325, nogoods=4233, foundSolutions=17, bestBound=714
15.31/11.66	    
15.31/11.66	    num=363, depth=4..16, filters=1699915, revisions=(2461730,useless=1081849), ccks=506246, wck=9.421, mem=79M995
15.31/11.66	    decisions=120690, wrong=58788, backtracks=24998, failedAssignments=39341, nogoods=4243, foundSolutions=17, bestBound=714
15.31/11.66	    
15.31/11.67	    num=364, depth=7..11, filters=1700640, revisions=(2462887,useless=1082369), ccks=506474, wck=9.426, mem=79M995
15.31/11.67	    decisions=120738, wrong=58807, backtracks=25000, failedAssignments=39358, nogoods=4257, foundSolutions=17, bestBound=714
15.31/11.67	    
15.31/11.67	    num=365, depth=2..8, filters=1701526, revisions=(2464151,useless=1082907), ccks=506733, wck=9.431, mem=79M995
15.31/11.67	    decisions=120787, wrong=58829, backtracks=25003, failedAssignments=39377, nogoods=4275, foundSolutions=17, bestBound=714
15.31/11.67	    
15.31/11.68	    num=366, depth=7..14, filters=1702462, revisions=(2465635,useless=1083585), ccks=507058, wck=9.437, mem=79M995
15.31/11.68	    decisions=120855, wrong=58859, backtracks=25013, failedAssignments=39398, nogoods=4278, foundSolutions=17, bestBound=714
15.31/11.68	    
15.31/11.68	    num=367, depth=5..13, filters=1703710, revisions=(2467486,useless=1084364), ccks=507412, wck=9.444, mem=79M995
15.31/11.68	    decisions=120935, wrong=58895, backtracks=25031, failedAssignments=39421, nogoods=4283, foundSolutions=17, bestBound=714
15.31/11.68	    
15.31/11.69	    num=368, depth=7..10, filters=1704709, revisions=(2468951,useless=1084975), ccks=507744, wck=9.451, mem=79M995
15.31/11.69	    decisions=121003, wrong=58925, backtracks=25036, failedAssignments=39446, nogoods=4300, foundSolutions=17, bestBound=714
15.31/11.69	    
15.41/11.70	    num=369, depth=10..16, filters=1706073, revisions=(2470974,useless=1085840), ccks=508237, wck=9.459, mem=79M995
15.41/11.70	    decisions=121085, wrong=58961, backtracks=25045, failedAssignments=39474, nogoods=4306, foundSolutions=17, bestBound=714
15.41/11.70	    
15.41/11.71	    num=370, depth=7..15, filters=1707638, revisions=(2473208,useless=1086788), ccks=508688, wck=9.468, mem=79M995
15.41/11.71	    decisions=121189, wrong=59009, backtracks=25067, failedAssignments=39505, nogoods=4314, foundSolutions=17, bestBound=714
15.41/11.71	    
15.41/11.72	    num=371, depth=7..11, filters=1709319, revisions=(2475717,useless=1087852), ccks=509184, wck=9.478, mem=82M585
15.41/11.72	    decisions=121286, wrong=59054, backtracks=25080, failedAssignments=39539, nogoods=4316, foundSolutions=17, bestBound=714
15.41/11.72	    
15.41/11.73	    num=372, depth=5..11, filters=1711267, revisions=(2478511,useless=1089038), ccks=509755, wck=9.488, mem=82M585
15.41/11.73	    decisions=121400, wrong=59108, backtracks=25100, failedAssignments=39576, nogoods=4325, foundSolutions=17, bestBound=714
15.41/11.73	    
15.41/11.74	    num=373, depth=6..11, filters=1713079, revisions=(2481183,useless=1090217), ccks=510348, wck=9.499, mem=82M585
15.41/11.74	    decisions=121509, wrong=59158, backtracks=25111, failedAssignments=39617, nogoods=4338, foundSolutions=17, bestBound=714
15.41/11.74	    
15.41/11.75	    num=374, depth=5..15, filters=1715032, revisions=(2484281,useless=1091627), ccks=510956, wck=9.511, mem=82M585
15.41/11.75	    decisions=121640, wrong=59218, backtracks=25129, failedAssignments=39662, nogoods=4355, foundSolutions=17, bestBound=714
15.41/11.75	    
15.41/11.77	    num=375, depth=0..9, filters=1717591, revisions=(2488145,useless=1093330), ccks=511668, wck=9.527, mem=82M585
15.41/11.77	    decisions=121809, wrong=59300, backtracks=25165, failedAssignments=39712, nogoods=4365, foundSolutions=17, bestBound=714
15.41/11.77	    
15.41/11.78	    num=376, depth=4..17, filters=1720030, revisions=(2491594,useless=1094818), ccks=512360, wck=9.54, mem=82M585
15.41/11.78	    decisions=121986, wrong=59383, backtracks=25203, failedAssignments=39767, nogoods=4374, foundSolutions=17, bestBound=714
15.41/11.78	    
15.41/11.80	    num=377, depth=8..13, filters=1722854, revisions=(2495913,useless=1096759), ccks=513184, wck=9.556, mem=82M585
15.41/11.80	    decisions=122166, wrong=59468, backtracks=25235, failedAssignments=39828, nogoods=4389, foundSolutions=17, bestBound=714
15.41/11.80	    
15.51/11.81	    num=378, depth=7..13, filters=1725918, revisions=(2500782,useless=1099058), ccks=514011, wck=9.573, mem=82M585
15.51/11.81	    decisions=122350, wrong=59555, backtracks=25260, failedAssignments=39895, nogoods=4405, foundSolutions=17, bestBound=714
15.51/11.81	    
15.51/11.83	    num=379, depth=5..14, filters=1728847, revisions=(2504878,useless=1100813), ccks=514895, wck=9.589, mem=82M585
15.51/11.83	    decisions=122585, wrong=59667, backtracks=25309, failedAssignments=39969, nogoods=4414, foundSolutions=17, bestBound=714
15.51/11.83	    
15.51/11.85	    num=380, depth=5..13, filters=1732909, revisions=(2510666,useless=1103246), ccks=516101, wck=9.611, mem=82M585
15.51/11.85	    decisions=122833, wrong=59786, backtracks=25353, failedAssignments=40050, nogoods=4430, foundSolutions=17, bestBound=714
15.51/11.85	    
15.51/11.87	    num=381, depth=6..16, filters=1736834, revisions=(2516419,useless=1105771), ccks=517271, wck=9.633, mem=85M174
15.51/11.87	    decisions=123092, wrong=59911, backtracks=25403, failedAssignments=40139, nogoods=4436, foundSolutions=17, bestBound=714
15.51/11.87	    
15.51/11.90	    num=382, depth=8..15, filters=1741332, revisions=(2523040,useless=1108790), ccks=518599, wck=9.656, mem=85M174
15.51/11.90	    decisions=123382, wrong=60052, backtracks=25460, failedAssignments=40237, nogoods=4449, foundSolutions=17, bestBound=714
15.51/11.90	    
15.61/11.92	    num=383, depth=6..14, filters=1746173, revisions=(2530049,useless=1111840), ccks=520078, wck=9.682, mem=85M174
15.61/11.92	    decisions=123731, wrong=60223, backtracks=25536, failedAssignments=40345, nogoods=4460, foundSolutions=17, bestBound=714
15.61/11.92	    
15.61/11.94	    num=384, depth=4..15, filters=1750637, revisions=(2536348,useless=1114584), ccks=521419, wck=9.705, mem=86M495
15.61/11.94	    decisions=124096, wrong=60403, backtracks=25621, failedAssignments=40464, nogoods=4463, foundSolutions=17, bestBound=714
15.61/11.94	    
15.61/11.98	    num=385, depth=5..13, filters=1756252, revisions=(2544805,useless=1118314), ccks=523136, wck=9.738, mem=86M495
15.61/11.98	    decisions=124446, wrong=60575, backtracks=25673, failedAssignments=40595, nogoods=4478, foundSolutions=17, bestBound=714
15.61/11.98	    
15.73/12.02	    num=386, depth=8..15, filters=1763704, revisions=(2555523,useless=1122984), ccks=525634, wck=9.777, mem=86M495
15.73/12.02	    decisions=124892, wrong=60793, backtracks=25770, failedAssignments=40739, nogoods=4495, foundSolutions=17, bestBound=714
15.73/12.02	    
15.73/12.05	    num=387, depth=6..14, filters=1769138, revisions=(2564185,useless=1127256), ccks=526705, wck=9.809, mem=89M85
15.73/12.05	    decisions=125332, wrong=61009, backtracks=25848, failedAssignments=40897, nogoods=4499, foundSolutions=17, bestBound=714
15.73/12.05	    
15.73/12.09	    num=388, depth=5..15, filters=1776887, revisions=(2576053,useless=1132724), ccks=528703, wck=9.854, mem=89M85
15.73/12.09	    decisions=125851, wrong=61265, backtracks=25949, failedAssignments=41071, nogoods=4506, foundSolutions=17, bestBound=714
15.73/12.09	    
15.83/12.14	    num=389, depth=5..18, filters=1785689, revisions=(2589211,useless=1138559), ccks=531252, wck=9.904, mem=89M85
15.83/12.14	    decisions=126449, wrong=61560, backtracks=26070, failedAssignments=41262, nogoods=4516, foundSolutions=17, bestBound=714
15.83/12.14	    
15.83/12.19	    num=390, depth=4..15, filters=1794652, revisions=(2602673,useless=1144715), ccks=533984, wck=9.954, mem=91M675
15.83/12.19	    decisions=127046, wrong=61855, backtracks=26176, failedAssignments=41473, nogoods=4530, foundSolutions=17, bestBound=714
15.83/12.19	    
15.92/12.25	    num=391, depth=4..13, filters=1804269, revisions=(2616860,useless=1150991), ccks=536843, wck=10.01, mem=91M675
15.92/12.25	    decisions=127675, wrong=62167, backtracks=26278, failedAssignments=41705, nogoods=4542, foundSolutions=17, bestBound=714
15.92/12.25	    
16.02/12.31	    num=392, depth=4..13, filters=1815242, revisions=(2632579,useless=1157858), ccks=540128, wck=10.068, mem=94M264
16.02/12.31	    decisions=128436, wrong=62544, backtracks=26445, failedAssignments=41960, nogoods=4561, foundSolutions=17, bestBound=714
16.02/12.31	    
16.02/12.37	    num=393, depth=4..16, filters=1827849, revisions=(2650797,useless=1165825), ccks=543889, wck=10.133, mem=94M264
16.02/12.37	    decisions=129285, wrong=62965, backtracks=26624, failedAssignments=42241, nogoods=4563, foundSolutions=17, bestBound=714
16.02/12.37	    
16.16/12.44	    num=394, depth=5..14, filters=1840238, revisions=(2668907,useless=1173960), ccks=547593, wck=10.203, mem=96M854
16.16/12.44	    decisions=130125, wrong=63382, backtracks=26764, failedAssignments=42550, nogoods=4584, foundSolutions=17, bestBound=714
16.16/12.44	    
16.26/12.51	    num=395, depth=4..13, filters=1854315, revisions=(2688747,useless=1182483), ccks=551820, wck=10.275, mem=96M854
16.26/12.51	    decisions=131120, wrong=63876, backtracks=26982, failedAssignments=42890, nogoods=4605, foundSolutions=17, bestBound=714
16.26/12.51	    
16.26/12.59	    num=396, depth=3..16, filters=1869014, revisions=(2709613,useless=1191557), ccks=556151, wck=10.35, mem=96M854
16.26/12.59	    decisions=132229, wrong=64427, backtracks=27234, failedAssignments=43264, nogoods=4617, foundSolutions=17, bestBound=714
16.26/12.59	    
16.46/12.70	    num=397, depth=0..15, filters=1888813, revisions=(2738948,useless=1204651), ccks=561899, wck=10.46, mem=99M443
16.46/12.70	    decisions=133524, wrong=65072, backtracks=27503, failedAssignments=43675, nogoods=4625, foundSolutions=17, bestBound=714
16.46/12.70	    
16.56/12.80	    num=398, depth=3..15, filters=1909384, revisions=(2768853,useless=1217856), ccks=567812, wck=10.564, mem=102M33
16.56/12.80	    decisions=134914, wrong=65763, backtracks=27809, failedAssignments=44127, nogoods=4644, foundSolutions=17, bestBound=714
16.56/12.80	    
16.66/12.91	    num=399, depth=3..20, filters=1930992, revisions=(2799605,useless=1231220), ccks=574330, wck=10.673, mem=102M33
16.66/12.91	    decisions=136421, wrong=66513, backtracks=28135, failedAssignments=44624, nogoods=4670, foundSolutions=17, bestBound=714
16.66/12.91	    
16.76/13.03	    num=400, depth=6..17, filters=1952806, revisions=(2831522,useless=1245552), ccks=580742, wck=10.79, mem=104M622
16.76/13.03	    decisions=138019, wrong=67308, backtracks=28471, failedAssignments=45171, nogoods=4680, foundSolutions=17, bestBound=714
16.76/13.03	    
16.87/13.18	    num=401, depth=0..17, filters=1978225, revisions=(2869895,useless=1262733), ccks=588144, wck=10.94, mem=107M212
16.87/13.18	    decisions=139775, wrong=68182, backtracks=28829, failedAssignments=45773, nogoods=4701, foundSolutions=17, bestBound=714
16.87/13.18	    
17.06/13.34	    num=402, depth=2..18, filters=2008455, revisions=(2913720,useless=1281920), ccks=596670, wck=11.102, mem=109M801
17.06/13.34	    decisions=141793, wrong=69188, backtracks=29271, failedAssignments=46435, nogoods=4720, foundSolutions=17, bestBound=714
17.06/13.34	    
17.26/13.52	    num=403, depth=4..16, filters=2042633, revisions=(2963355,useless=1303676), ccks=606304, wck=11.283, mem=112M391
17.26/13.52	    decisions=144024, wrong=70299, backtracks=29743, failedAssignments=47163, nogoods=4738, foundSolutions=17, bestBound=714
17.26/13.52	    
17.46/13.72	    num=404, depth=4..16, filters=2079176, revisions=(3016470,useless=1327283), ccks=617056, wck=11.476, mem=117M570
17.46/13.72	    decisions=146357, wrong=71462, backtracks=30202, failedAssignments=47964, nogoods=4750, foundSolutions=17, bestBound=714
17.46/13.72	    
17.56/13.89	    num=405, depth=6..17, filters=2112820, revisions=(3065547,useless=1349496), ccks=626525, wck=11.65, mem=120M160
17.56/13.89	    decisions=148891, wrong=72724, backtracks=30699, failedAssignments=48845, nogoods=4759, foundSolutions=17, bestBound=714
17.56/13.89	    
17.87/14.12	    num=406, depth=6..17, filters=2157957, revisions=(3131914,useless=1379337), ccks=639274, wck=11.885, mem=122M749
17.87/14.12	    decisions=151892, wrong=74221, backtracks=31344, failedAssignments=49815, nogoods=4779, foundSolutions=17, bestBound=714
17.87/14.12	    
18.06/14.38	    num=407, depth=1..14, filters=2204977, revisions=(3201014,useless=1410150), ccks=652913, wck=12.145, mem=127M928
18.06/14.38	    decisions=155069, wrong=75808, backtracks=32025, failedAssignments=50882, nogoods=4790, foundSolutions=17, bestBound=714
18.06/14.38	    
18.36/14.67	    num=408, depth=0..18, filters=2256644, revisions=(3275959,useless=1442561), ccks=668287, wck=12.426, mem=133M108
18.36/14.67	    decisions=158384, wrong=77461, backtracks=32612, failedAssignments=52055, nogoods=4810, foundSolutions=17, bestBound=714
18.36/14.67	    
18.66/14.97	    num=409, depth=5..17, filters=2312864, revisions=(3360266,useless=1480935), ccks=683808, wck=12.733, mem=138M287
18.66/14.97	    decisions=162281, wrong=79406, backtracks=33414, failedAssignments=53346, nogoods=4820, foundSolutions=17, bestBound=714
18.66/14.97	    
19.06/15.30	    num=410, depth=4..18, filters=2373411, revisions=(3448643,useless=1519938), ccks=701053, wck=13.064, mem=143M466
19.06/15.30	    decisions=166305, wrong=81414, backtracks=34186, failedAssignments=54766, nogoods=4848, foundSolutions=17, bestBound=714
19.06/15.30	    
19.36/15.69	    num=411, depth=2..15, filters=2441697, revisions=(3549831,useless=1564900), ccks=720650, wck=13.446, mem=148M645
19.36/15.69	    decisions=170883, wrong=83701, backtracks=35109, failedAssignments=56328, nogoods=4866, foundSolutions=17, bestBound=714
19.36/15.69	    
19.79/16.10	    num=412, depth=1..17, filters=2517740, revisions=(3661856,useless=1614564), ccks=742483, wck=13.862, mem=25M772
19.79/16.10	    decisions=176042, wrong=86278, backtracks=36171, failedAssignments=58046, nogoods=4901, foundSolutions=17, bestBound=714
19.79/16.10	    
20.28/16.57	    num=413, depth=4..18, filters=2600857, revisions=(3786300,useless=1670716), ccks=765632, wck=14.326, mem=33M568
20.28/16.57	    decisions=181564, wrong=89036, backtracks=37248, failedAssignments=59936, nogoods=4928, foundSolutions=17, bestBound=714
20.28/16.57	    
20.79/17.04	    num=414, depth=4..17, filters=2691830, revisions=(3918934,useless=1729432), ccks=791663, wck=14.799, mem=41M365
20.79/17.04	    decisions=188079, wrong=92290, backtracks=38678, failedAssignments=62015, nogoods=4946, foundSolutions=17, bestBound=714
20.79/17.04	    
20.89/17.19	o 771
20.89/17.19	    num=415, depth=6..89, filters=2718349, revisions=(3959702,useless=1748429), ccks=799122, wck=14.948, mem=43M964
20.89/17.19	    decisions=190114, wrong=93301, backtracks=39074, failedAssignments=62718, nogoods=4962, foundSolutions=18, bestBound=771
20.89/17.19	    
21.58/17.85	    num=416, depth=4..16, filters=2838174, revisions=(4139215,useless=1828771), ccks=832431, wck=15.615, mem=54M359
21.58/17.85	    decisions=197466, wrong=96974, backtracks=40479, failedAssignments=65234, nogoods=4986, foundSolutions=18, bestBound=771
21.58/17.85	    
21.58/17.86	    num=417, depth=3..9, filters=2838647, revisions=(4139963,useless=1829108), ccks=832590, wck=15.618, mem=54M359
21.58/17.86	    decisions=197503, wrong=96990, backtracks=40486, failedAssignments=65245, nogoods=4994, foundSolutions=18, bestBound=771
21.58/17.86	    
21.58/17.86	    num=418, depth=5..11, filters=2839346, revisions=(4141099,useless=1829628), ccks=832804, wck=15.623, mem=54M359
21.58/17.86	    decisions=197542, wrong=97004, backtracks=40490, failedAssignments=65257, nogoods=5003, foundSolutions=18, bestBound=771
21.58/17.86	    
21.58/17.87	    num=419, depth=5..11, filters=2840061, revisions=(4142208,useless=1830104), ccks=833052, wck=15.628, mem=54M359
21.58/17.87	    decisions=197585, wrong=97020, backtracks=40494, failedAssignments=65270, nogoods=5008, foundSolutions=18, bestBound=771
21.58/17.87	    
21.58/17.88	    num=420, depth=2..6, filters=2841122, revisions=(4143968,useless=1830889), ccks=833329, wck=15.636, mem=54M359
21.58/17.88	    decisions=197631, wrong=97040, backtracks=40501, failedAssignments=65284, nogoods=5018, foundSolutions=18, bestBound=771
21.58/17.88	    
21.58/17.88	    num=421, depth=6..9, filters=2842120, revisions=(4145534,useless=1831598), ccks=833633, wck=15.642, mem=54M359
21.58/17.88	    decisions=197679, wrong=97061, backtracks=40507, failedAssignments=65300, nogoods=5025, foundSolutions=18, bestBound=771
21.58/17.88	    
21.58/17.89	    num=422, depth=5..10, filters=2843153, revisions=(4147211,useless=1832351), ccks=833903, wck=15.649, mem=54M359
21.58/17.89	    decisions=197726, wrong=97081, backtracks=40510, failedAssignments=65317, nogoods=5042, foundSolutions=18, bestBound=771
21.58/17.89	    
21.58/17.90	    num=423, depth=5..12, filters=2844442, revisions=(4149066,useless=1833121), ccks=834329, wck=15.656, mem=54M359
21.58/17.90	    decisions=197796, wrong=97111, backtracks=40521, failedAssignments=65336, nogoods=5050, foundSolutions=18, bestBound=771
21.58/17.90	    
21.68/17.90	    num=424, depth=5..11, filters=2845741, revisions=(4151128,useless=1834061), ccks=834732, wck=15.665, mem=54M359
21.68/17.90	    decisions=197871, wrong=97145, backtracks=40539, failedAssignments=65357, nogoods=5057, foundSolutions=18, bestBound=771
21.68/17.90	    
21.68/17.91	    num=425, depth=3..13, filters=2846753, revisions=(4152686,useless=1834750), ccks=835017, wck=15.671, mem=54M359
21.68/17.91	    decisions=197938, wrong=97176, backtracks=40551, failedAssignments=65380, nogoods=5063, foundSolutions=18, bestBound=771
21.68/17.91	    
21.68/17.92	    num=426, depth=3..8, filters=2847736, revisions=(4154225,useless=1835464), ccks=835311, wck=15.678, mem=54M359
21.68/17.92	    decisions=198012, wrong=97211, backtracks=40562, failedAssignments=65405, nogoods=5075, foundSolutions=18, bestBound=771
21.68/17.92	    
21.68/17.93	    num=427, depth=1..6, filters=2849180, revisions=(4156374,useless=1836421), ccks=835733, wck=15.687, mem=54M359
21.68/17.93	    decisions=198103, wrong=97255, backtracks=40581, failedAssignments=65433, nogoods=5087, foundSolutions=18, bestBound=771
21.68/17.93	    
21.68/17.94	    num=428, depth=4..9, filters=2850935, revisions=(4159229,useless=1837714), ccks=836282, wck=15.698, mem=54M359
21.68/17.94	    decisions=198192, wrong=97296, backtracks=40594, failedAssignments=65464, nogoods=5104, foundSolutions=18, bestBound=771
21.68/17.94	    
21.68/17.95	    num=429, depth=3..10, filters=2852186, revisions=(4160989,useless=1838437), ccks=836662, wck=15.706, mem=54M359
21.68/17.95	    decisions=198294, wrong=97344, backtracks=40611, failedAssignments=65498, nogoods=5122, foundSolutions=18, bestBound=771
21.68/17.95	    
21.68/17.96	    num=430, depth=1..10, filters=2853981, revisions=(4163704,useless=1839672), ccks=837170, wck=15.717, mem=56M958
21.68/17.96	    decisions=198397, wrong=97394, backtracks=40625, failedAssignments=65535, nogoods=5138, foundSolutions=18, bestBound=771
21.68/17.96	    
21.68/17.97	    num=431, depth=2..9, filters=2856197, revisions=(4167018,useless=1841118), ccks=837783, wck=15.73, mem=56M958
21.68/17.97	    decisions=198532, wrong=97458, backtracks=40653, failedAssignments=65576, nogoods=5149, foundSolutions=18, bestBound=771
21.68/17.97	    
21.68/17.98	    num=432, depth=3..7, filters=2858165, revisions=(4169888,useless=1842381), ccks=838432, wck=15.742, mem=56M958
21.68/17.98	    decisions=198661, wrong=97520, backtracks=40674, failedAssignments=65621, nogoods=5163, foundSolutions=18, bestBound=771
21.68/17.98	    
21.68/17.99	    num=433, depth=3..12, filters=2860475, revisions=(4173246,useless=1843831), ccks=839174, wck=15.755, mem=56M958
21.68/17.99	    decisions=198826, wrong=97599, backtracks=40714, failedAssignments=65671, nogoods=5176, foundSolutions=18, bestBound=771
21.68/17.99	    
21.79/18.01	    num=434, depth=4..13, filters=2863214, revisions=(4177489,useless=1845814), ccks=839903, wck=15.771, mem=56M958
21.79/18.01	    decisions=199005, wrong=97685, backtracks=40747, failedAssignments=65726, nogoods=5179, foundSolutions=18, bestBound=771
21.79/18.01	    
21.79/18.03	    num=435, depth=4..11, filters=2866501, revisions=(4182367,useless=1847944), ccks=840973, wck=15.79, mem=56M958
21.79/18.03	    decisions=199201, wrong=97779, backtracks=40784, failedAssignments=65787, nogoods=5190, foundSolutions=18, bestBound=771
21.79/18.03	    
21.79/18.05	    num=436, depth=3..10, filters=2869962, revisions=(4187498,useless=1850232), ccks=842040, wck=15.809, mem=56M958
21.79/18.05	    decisions=199407, wrong=97878, backtracks=40822, failedAssignments=65854, nogoods=5206, foundSolutions=18, bestBound=771
21.79/18.05	    
21.79/18.07	    num=437, depth=3..10, filters=2873542, revisions=(4192714,useless=1852538), ccks=843110, wck=15.828, mem=56M958
21.79/18.07	    decisions=199642, wrong=97992, backtracks=40874, failedAssignments=65928, nogoods=5218, foundSolutions=18, bestBound=771
21.79/18.07	    
21.79/18.09	    num=438, depth=7..14, filters=2877262, revisions=(4198429,useless=1855232), ccks=844058, wck=15.849, mem=56M958
21.79/18.09	    decisions=199900, wrong=98116, backtracks=40928, failedAssignments=66009, nogoods=5226, foundSolutions=18, bestBound=771
21.79/18.09	    
21.89/18.11	    num=439, depth=3..12, filters=2881522, revisions=(4204333,useless=1857717), ccks=845333, wck=15.871, mem=59M556
21.89/18.11	    decisions=200181, wrong=98252, backtracks=40988, failedAssignments=66098, nogoods=5242, foundSolutions=18, bestBound=771
21.89/18.11	    
21.89/18.14	    num=440, depth=2..13, filters=2886329, revisions=(4211446,useless=1860813), ccks=846688, wck=15.898, mem=59M556
21.89/18.14	    decisions=200476, wrong=98397, backtracks=41043, failedAssignments=66196, nogoods=5255, foundSolutions=18, bestBound=771
21.89/18.14	    
21.89/18.16	    num=441, depth=2..10, filters=2891261, revisions=(4218645,useless=1863940), ccks=848181, wck=15.925, mem=59M556
21.89/18.16	    decisions=200807, wrong=98560, backtracks=41111, failedAssignments=66304, nogoods=5264, foundSolutions=18, bestBound=771
21.89/18.16	    
21.89/18.20	    num=442, depth=2..11, filters=2897036, revisions=(4227034,useless=1867632), ccks=849914, wck=15.957, mem=59M556
21.89/18.20	    decisions=201193, wrong=98750, backtracks=41198, failedAssignments=66423, nogoods=5282, foundSolutions=18, bestBound=771
21.89/18.20	    
21.98/18.23	    num=443, depth=3..14, filters=2903254, revisions=(4235549,useless=1871227), ccks=851870, wck=15.988, mem=59M556
21.98/18.23	    decisions=201636, wrong=98967, backtracks=41297, failedAssignments=66554, nogoods=5293, foundSolutions=18, bestBound=771
21.98/18.23	    
21.98/18.26	    num=444, depth=2..12, filters=2908735, revisions=(4243510,useless=1874792), ccks=853537, wck=16.019, mem=59M556
21.98/18.26	    decisions=202060, wrong=99176, backtracks=41373, failedAssignments=66698, nogoods=5308, foundSolutions=18, bestBound=771
21.98/18.26	    
22.08/18.30	    num=445, depth=5..14, filters=2916998, revisions=(4255795,useless=1880232), ccks=855889, wck=16.064, mem=62M155
22.08/18.30	    decisions=202562, wrong=99422, backtracks=41474, failedAssignments=66856, nogoods=5328, foundSolutions=18, bestBound=771
22.08/18.30	    
22.08/18.35	    num=446, depth=5..16, filters=2925540, revisions=(4269048,useless=1886486), ccks=858200, wck=16.113, mem=62M155
22.08/18.35	    decisions=203101, wrong=99688, backtracks=41585, failedAssignments=67030, nogoods=5347, foundSolutions=18, bestBound=771
22.08/18.35	    
22.22/18.40	    num=447, depth=7..15, filters=2934087, revisions=(4281622,useless=1892144), ccks=860772, wck=16.158, mem=62M155
22.22/18.40	    decisions=203691, wrong=99979, backtracks=41707, failedAssignments=67221, nogoods=5359, foundSolutions=18, bestBound=771
22.22/18.40	    
22.22/18.45	    num=448, depth=1..12, filters=2942826, revisions=(4294232,useless=1897685), ccks=863397, wck=16.206, mem=64M754
22.22/18.45	    decisions=204324, wrong=100293, backtracks=41842, failedAssignments=67432, nogoods=5374, foundSolutions=18, bestBound=771
22.22/18.45	    
22.32/18.50	    num=449, depth=4..15, filters=2953405, revisions=(4310035,useless=1904977), ccks=866073, wck=16.265, mem=64M754
22.32/18.50	    decisions=205025, wrong=100640, backtracks=41982, failedAssignments=67664, nogoods=5391, foundSolutions=18, bestBound=771
22.32/18.50	    
22.32/18.57	    num=450, depth=0..11, filters=2965263, revisions=(4327225,useless=1912535), ccks=869568, wck=16.331, mem=67M353
22.32/18.57	    decisions=205821, wrong=101035, backtracks=42167, failedAssignments=67919, nogoods=5406, foundSolutions=18, bestBound=771
22.32/18.57	    
22.42/18.65	    num=451, depth=4..14, filters=2978991, revisions=(4347785,useless=1921886), ccks=873568, wck=16.41, mem=67M353
22.42/18.65	    decisions=206650, wrong=101447, backtracks=42322, failedAssignments=68200, nogoods=5416, foundSolutions=18, bestBound=771
22.42/18.65	    
22.52/18.72	    num=452, depth=5..17, filters=2991060, revisions=(4366611,useless=1931013), ccks=876304, wck=16.477, mem=69M952
22.52/18.72	    decisions=207579, wrong=101907, backtracks=42527, failedAssignments=68509, nogoods=5433, foundSolutions=18, bestBound=771
22.52/18.72	    
22.62/18.81	    num=453, depth=3..14, filters=3007222, revisions=(4390751,useless=1941898), ccks=880920, wck=16.568, mem=69M952
22.62/18.81	    decisions=208552, wrong=102391, backtracks=42685, failedAssignments=68849, nogoods=5446, foundSolutions=18, bestBound=771
22.62/18.81	    
22.72/18.90	    num=454, depth=2..13, filters=3024651, revisions=(4415620,useless=1952516), ccks=886375, wck=16.662, mem=72M551
22.72/18.90	    decisions=209685, wrong=102954, backtracks=42919, failedAssignments=69223, nogoods=5467, foundSolutions=18, bestBound=771
22.72/18.90	    
22.72/18.99	    num=455, depth=1..15, filters=3042382, revisions=(4440526,useless=1963317), ccks=891654, wck=16.753, mem=72M551
22.72/18.99	    decisions=210922, wrong=103569, backtracks=43180, failedAssignments=69634, nogoods=5482, foundSolutions=18, bestBound=771
22.72/18.99	    
22.93/19.11	    num=456, depth=2..15, filters=3064218, revisions=(4471884,useless=1976989), ccks=898337, wck=16.867, mem=75M149
22.93/19.11	    decisions=212338, wrong=104274, backtracks=43492, failedAssignments=70086, nogoods=5498, foundSolutions=18, bestBound=771
22.93/19.11	    
23.02/19.25	    num=457, depth=4..13, filters=3088937, revisions=(4508986,useless=1993669), ccks=905225, wck=17.007, mem=77M748
23.02/19.25	    decisions=213810, wrong=105007, backtracks=43773, failedAssignments=70583, nogoods=5518, foundSolutions=18, bestBound=771
23.02/19.25	    
23.12/19.37	    num=458, depth=5..16, filters=3112821, revisions=(4544634,useless=2010041), ccks=911409, wck=17.134, mem=80M347
23.12/19.37	    decisions=215431, wrong=105811, backtracks=44122, failedAssignments=71130, nogoods=5546, foundSolutions=18, bestBound=771
23.12/19.37	    
23.32/19.52	    num=459, depth=4..15, filters=3137291, revisions=(4581115,useless=2026305), ccks=918196, wck=17.28, mem=82M946
23.32/19.52	    decisions=217099, wrong=106640, backtracks=44385, failedAssignments=71732, nogoods=5559, foundSolutions=18, bestBound=771
23.32/19.52	    
23.42/19.67	    num=460, depth=5..15, filters=3165525, revisions=(4622056,useless=2044405), ccks=926428, wck=17.435, mem=85M545
23.42/19.67	    decisions=219093, wrong=107632, backtracks=44792, failedAssignments=72394, nogoods=5577, foundSolutions=18, bestBound=771
23.42/19.67	    
23.62/19.85	    num=461, depth=5..16, filters=3198033, revisions=(4670928,useless=2066667), ccks=935268, wck=17.612, mem=88M143
23.62/19.85	    decisions=221274, wrong=108719, backtracks=45257, failedAssignments=73122, nogoods=5602, foundSolutions=18, bestBound=771
23.62/19.85	    
23.83/20.09	    num=462, depth=3..14, filters=3238141, revisions=(4732626,useless=2094490), ccks=945886, wck=17.846, mem=90M742
23.83/20.09	    decisions=223650, wrong=109905, backtracks=45748, failedAssignments=73923, nogoods=5607, foundSolutions=18, bestBound=771
23.83/20.09	    
24.12/20.31	    num=463, depth=2..14, filters=3279249, revisions=(4790868,useless=2119586), ccks=957954, wck=18.066, mem=93M341
24.12/20.31	    decisions=226390, wrong=111273, backtracks=46415, failedAssignments=74804, nogoods=5632, foundSolutions=18, bestBound=771
24.12/20.31	    
24.32/20.55	    num=464, depth=3..14, filters=3323001, revisions=(4855386,useless=2148217), ccks=969933, wck=18.308, mem=98M539
24.32/20.55	    decisions=229201, wrong=112675, backtracks=46975, failedAssignments=75774, nogoods=5640, foundSolutions=18, bestBound=771
24.32/20.55	    
24.62/20.86	    num=465, depth=1..14, filters=3375798, revisions=(4937679,useless=2186258), ccks=984071, wck=18.623, mem=103M736
24.62/20.86	    decisions=232347, wrong=114246, backtracks=47602, failedAssignments=76841, nogoods=5661, foundSolutions=18, bestBound=771
24.62/20.86	    
24.93/21.19	    num=466, depth=1..14, filters=3432970, revisions=(5025730,useless=2226652), ccks=999486, wck=18.955, mem=108M934
24.93/21.19	    decisions=235805, wrong=115972, backtracks=48284, failedAssignments=78014, nogoods=5687, foundSolutions=18, bestBound=771
24.93/21.19	    
25.32/21.52	    num=467, depth=0..14, filters=3495952, revisions=(5116039,useless=2266494), ccks=1018020, wck=19.285, mem=114M132
25.32/21.52	    decisions=239706, wrong=117920, backtracks=49131, failedAssignments=79305, nogoods=5714, foundSolutions=18, bestBound=771
25.32/21.52	    
25.72/21.91	    num=468, depth=2..17, filters=3564506, revisions=(5217994,useless=2311902), ccks=1036983, wck=19.674, mem=121M928
25.72/21.91	    decisions=243874, wrong=120001, backtracks=49962, failedAssignments=80725, nogoods=5732, foundSolutions=18, bestBound=771
25.72/21.91	    
26.12/22.36	    num=469, depth=3..15, filters=3642277, revisions=(5333573,useless=2362730), ccks=1060140, wck=20.12, mem=129M724
26.12/22.36	    decisions=248456, wrong=122288, backtracks=50859, failedAssignments=82287, nogoods=5745, foundSolutions=18, bestBound=771
26.12/22.36	    
26.52/22.79	    num=470, depth=0..18, filters=3721262, revisions=(5451799,useless=2416727), ccks=1081251, wck=20.549, mem=137M521
26.52/22.79	    decisions=253695, wrong=124904, backtracks=51965, failedAssignments=84005, nogoods=5754, foundSolutions=18, bestBound=771
26.52/22.79	    
27.02/23.29	    num=471, depth=1..13, filters=3813717, revisions=(5586735,useless=2476719), ccks=1107436, wck=21.052, mem=145M317
27.02/23.29	    decisions=259625, wrong=127866, backtracks=53280, failedAssignments=85895, nogoods=5769, foundSolutions=18, bestBound=771
27.02/23.29	    
27.62/23.83	    num=472, depth=0..14, filters=3911808, revisions=(5728789,useless=2539343), ccks=1136277, wck=21.591, mem=152M695
27.62/23.83	    decisions=265924, wrong=131013, backtracks=54591, failedAssignments=87974, nogoods=5786, foundSolutions=18, bestBound=771
27.62/23.83	    
28.26/24.45	    num=473, depth=3..15, filters=4016553, revisions=(5886359,useless=2610328), ccks=1165467, wck=22.208, mem=33M121
28.26/24.45	    decisions=272565, wrong=134329, backtracks=55837, failedAssignments=90261, nogoods=5796, foundSolutions=18, bestBound=771
28.26/24.45	    
28.86/25.07	    num=474, depth=0..15, filters=4130554, revisions=(6049603,useless=2681778), ccks=1197807, wck=22.831, mem=42M456
28.86/25.07	    decisions=280128, wrong=138109, backtracks=57438, failedAssignments=92777, nogoods=5812, foundSolutions=18, bestBound=771
28.86/25.07	    
29.56/25.73	    num=475, depth=3..18, filters=4252357, revisions=(6230912,useless=2763984), ccks=1229969, wck=23.488, mem=54M904
29.56/25.73	    decisions=288192, wrong=142136, backtracks=59099, failedAssignments=95545, nogoods=5822, foundSolutions=18, bestBound=771
29.56/25.73	    
30.36/26.53	    num=476, depth=1..15, filters=4405777, revisions=(6453287,useless=2862591), ccks=1274713, wck=24.288, mem=64M240
30.36/26.53	    decisions=297808, wrong=146943, backtracks=61324, failedAssignments=98589, nogoods=5841, foundSolutions=18, bestBound=771
30.36/26.53	    
31.16/27.36	    num=477, depth=2..14, filters=4555398, revisions=(6676143,useless=2962430), ccks=1316024, wck=25.118, mem=79M800
31.16/27.36	    decisions=307698, wrong=151884, backtracks=63262, failedAssignments=101938, nogoods=5859, foundSolutions=18, bestBound=771
31.16/27.36	    
32.16/28.31	    num=478, depth=2..16, filters=4721436, revisions=(6927743,useless=3076581), ccks=1359988, wck=26.072, mem=95M360
32.16/28.31	    decisions=318410, wrong=157236, backtracks=65419, failedAssignments=105622, nogoods=5876, foundSolutions=18, bestBound=771
32.16/28.31	    
33.36/29.53	    num=479, depth=1..14, filters=4932652, revisions=(7249166,useless=3220904), ccks=1417745, wck=27.288, mem=117M144
33.36/29.53	    decisions=330760, wrong=163408, backtracks=67929, failedAssignments=109674, nogoods=5901, foundSolutions=18, bestBound=771
33.36/29.53	    
34.56/30.72	    num=480, depth=0..16, filters=5142904, revisions=(7568391,useless=3366276), ccks=1471824, wck=28.479, mem=135M816
34.56/30.72	    decisions=344212, wrong=170129, backtracks=70625, failedAssignments=114131, nogoods=5943, foundSolutions=18, bestBound=771
34.56/30.72	    
35.86/32.02	    num=481, depth=0..17, filters=5378548, revisions=(7921000,useless=3525326), ccks=1538597, wck=29.785, mem=160M712
35.86/32.02	    decisions=359061, wrong=177550, backtracks=73590, failedAssignments=119034, nogoods=5963, foundSolutions=18, bestBound=771
35.86/32.02	    
37.19/33.36	    num=482, depth=0..14, filters=5622172, revisions=(8283819,useless=3689026), ccks=1603787, wck=31.118, mem=23M734
37.19/33.36	    decisions=374861, wrong=185447, backtracks=76727, failedAssignments=124428, nogoods=5969, foundSolutions=18, bestBound=771
37.19/33.36	    
38.69/34.86	    num=483, depth=0..15, filters=5905806, revisions=(8696455,useless=3872678), ccks=1686091, wck=32.616, mem=48M224
38.69/34.86	    decisions=393161, wrong=194594, backtracks=80780, failedAssignments=130361, nogoods=6000, foundSolutions=18, bestBound=771
38.69/34.86	    
40.59/36.75	    num=484, depth=0..15, filters=6223019, revisions=(9184533,useless=4095676), ccks=1770326, wck=34.511, mem=81M899
40.59/36.75	    decisions=411968, wrong=203995, backtracks=84200, failedAssignments=136887, nogoods=6026, foundSolutions=18, bestBound=771
40.59/36.75	    
42.59/38.72	    num=485, depth=0..16, filters=6567753, revisions=(9704719,useless=4330320), ccks=1866290, wck=36.48, mem=118M635
42.59/38.72	    decisions=433166, wrong=214592, backtracks=88341, failedAssignments=144066, nogoods=6040, foundSolutions=18, bestBound=771
42.59/38.72	    
44.69/40.81	    num=486, depth=0..18, filters=6934558, revisions=(10256428,useless=4579626), ccks=1965503, wck=38.566, mem=155M371
44.69/40.81	    decisions=456311, wrong=226162, backtracks=92860, failedAssignments=151963, nogoods=6055, foundSolutions=18, bestBound=771
44.69/40.81	    
47.04/43.12	    num=487, depth=1..17, filters=7364229, revisions=(10887490,useless=4862228), ccks=2084116, wck=40.885, mem=38M772
47.04/43.12	    decisions=483591, wrong=239799, backtracks=98833, failedAssignments=160650, nogoods=6080, foundSolutions=18, bestBound=771
47.04/43.12	    
49.53/45.68	    num=488, depth=1..16, filters=7817988, revisions=(11575849,useless=5177972), ccks=2203829, wck=43.439, mem=84M22
49.53/45.68	    decisions=512097, wrong=254049, backtracks=104516, failedAssignments=170205, nogoods=6115, foundSolutions=18, bestBound=771
49.53/45.68	    
52.43/48.58	    num=489, depth=0..16, filters=8349458, revisions=(12372766,useless=5537846), ccks=2350129, wck=46.342, mem=129M272
52.43/48.58	    decisions=544245, wrong=270119, backtracks=111290, failedAssignments=180716, nogoods=6132, foundSolutions=18, bestBound=771
52.43/48.58	    
55.86/52.00	    num=490, depth=0..17, filters=8964779, revisions=(13307991,useless=5962166), ccks=2518051, wck=49.76, mem=35M551
55.86/52.00	    decisions=580374, wrong=288182, backtracks=118985, failedAssignments=192278, nogoods=6155, foundSolutions=18, bestBound=771
55.86/52.00	    
59.26/55.35	    num=491, depth=1..17, filters=9585369, revisions=(14235059,useless=6382149), ccks=2683253, wck=53.115, mem=88M997
59.26/55.35	    decisions=620201, wrong=308092, backtracks=127430, failedAssignments=204996, nogoods=6178, foundSolutions=18, bestBound=771
59.26/55.35	    
63.08/59.11	    num=492, depth=1..17, filters=10260485, revisions=(15256280,useless=6844902), ccks=2860558, wck=56.869, mem=154M319
63.08/59.11	    decisions=662548, wrong=329261, backtracks=136397, failedAssignments=218986, nogoods=6216, foundSolutions=18, bestBound=771
63.08/59.11	    
67.40/63.46	    num=493, depth=0..16, filters=11041490, revisions=(16443418,useless=7387229), ccks=3069071, wck=61.216, mem=79M104
67.40/63.46	    decisions=710555, wrong=353262, backtracks=146661, failedAssignments=234375, nogoods=6219, foundSolutions=18, bestBound=771
67.40/63.46	    
72.41/68.40	    num=494, depth=0..16, filters=11913861, revisions=(17771853,useless=7991735), ccks=3308191, wck=66.16, mem=23M583
72.41/68.40	    decisions=761702, wrong=378833, backtracks=157132, failedAssignments=251303, nogoods=6240, foundSolutions=18, bestBound=771
72.41/68.40	    
74.61/70.62	
74.61/70.62	  New Bounds: 772..771
74.61/70.62	    num=495, depth=0..16, filters=12303597, revisions=(18366094,useless=8262872), ccks=3414564, wck=68.383, mem=63M756
74.61/70.62	    decisions=785416, wrong=390691, backtracks=162229, failedAssignments=259120, foundSolutions=18, bestBound=771
74.61/70.62	    
74.61/70.62	  Global
74.61/70.62	    filters=12303597, revisions=(18366094,useless=8262872), ccks=3414564
74.61/70.62	    Stop=FULL_EXPLORATION, wrong=390691, bestBound=771, bestBoundWck=15.338, bestBoundCpu=17.125, foundSolutions=18, firstSolCpu=2.239
74.61/70.62	    wck=68.773, cpu=70.496, mem=63M756
74.61/70.62	
74.61/70.62	v <instantiation id='sol18' type='solution' cost='771'>  <list> s[] f[] g[] </list>  <values> 2 0 23 6 4 5 18 15 8 29 11 26 12 10 14 20 1 17 7 13 27 21 22 19 24 25 9 16 28 3 46 0 180 194 0 0 273 574 0 1 58 26 0 43 0 45 178 0 41 40 73 0 0 1 0 0 70 61 0 89 0 0 74 24 0 0 54 91 0 21 31 3 0 60 0 90 78 0 17 17 8 0 0 56 0 0 80 47 0 20 </values>  </instantiation>
74.61/70.62	s OPTIMUM FOUND
74.61/70.62	
74.61/70.62	d WRONG_DECISIONS 390691
74.61/70.62	d NUMBER_SOLUTIONS 18

OK	771

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (9770 MiB free)
  memory of node 1: 16384 MiB (11410 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390870-1568383161/watcher-4390870-1568383161 -o /tmp/evaluation-result-4390870-1568383161/solver-4390870-1568383161 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568380475-2848 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390870-1568383161.xml -cm 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3538, runsolver pid=3535


[startup+0.104696 s]*
/proc/loadavg: 1.95 1.88 1.79 5/228 3553
/proc/meminfo: memFree=21673536/32770624 swapFree=66999268/67108860
[pid=3538] ppid=3535 vsize=10659884 memory=29796 CPUtime=0.15 cores=0,2,4,6
/proc/3538/stat : 3538 (java) S 3535 3538 2817 0 -1 1077944320 5906 0 0 0 14 1 0 0 20 0 15 0 414254516 10915721216 7449 33554432000 4194304 4196468 140722183874704 140722183857248 140095644724983 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
/proc/3538/statm: 2664971 7449 2917 1 0 2627468 0
[pid=3538/tid=3540] ppid=3535 vsize=10659884 memory=-8535547733650273472 CPUtime=0.09 cores=0,2,4,6
/proc/3538/task/3540/stat : 3540 (java) R 3535 3538 2817 0 -1 4202560 3224 0 0 0 9 0 0 0 20 0 15 0 414254516 10915721216 7449 33554432000 4194304 4196468 140722183874704 140095648955328 140095628805470 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3541] ppid=3535 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (java) S 3535 3538 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254517 10915721216 7449 33554432000 4194304 4196468 140722183874704 140095597345680 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3542] ppid=3535 vsize=10659884 memory=139830208349824 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (java) S 3535 3538 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254517 10915721216 7449 33554432000 4194304 4196468 140722183874704 140095596292880 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3543] ppid=3535 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3543/stat : 3543 (java) S 3535 3538 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254517 10915721216 7449 33554432000 4194304 4196468 140722183874704 140095595240592 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3544] ppid=3535 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3544/stat : 3544 (java) S 3535 3538 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414254517 10915721216 7449 33554432000 4194304 4196468 140722183874704 140095594187792 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3545] ppid=3535 vsize=10659884 memory=139830208349824 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3545/stat : 3545 (java) S 3535 3538 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414254518 10915721216 7449 33554432000 4194304 4196468 140722183874704 140095203846256 140095644736130 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3546] ppid=3535 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3546/stat : 3546 (java) S 3535 3538 2817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414254519 10915721216 7449 33554432000 4194304 4196468 140722183874704 140095202792224 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3547] ppid=3535 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3547/stat : 3547 (java) S 3535 3538 2817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414254519 10915721216 7449 33554432000 4194304 4196468 140722183874704 140095201739888 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3548] ppid=3535 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3548/stat : 3548 (java) S 3535 3538 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414254521 10915721216 7449 33554432000 4194304 4196468 140722183874704 140095200688208 140095644743579 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3549] ppid=3535 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3549/stat : 3549 (java) R 3535 3538 2817 0 -1 1077944384 373 0 0 0 0 0 0 0 20 0 15 0 414254521 10915721216 7449 33554432000 4194304 4196468 140722183874704 140095199636080 140095644736130 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3550] ppid=3535 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3550/stat : 3550 (java) R 3535 3538 2817 0 -1 4202560 354 0 0 0 0 0 0 0 20 0 15 0 414254521 10915721216 7449 33554432000 4194304 4196468 140722183874704 140095198583280 140095625425280 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3551] ppid=3535 vsize=10659884 memory=139830208349824 CPUtime=0.02 cores=0,2,4,6
/proc/3538/task/3551/stat : 3551 (java) R 3535 3538 2817 0 -1 4202560 617 0 0 0 2 0 0 0 20 0 15 0 414254521 10915721216 7449 33554432000 4194304 4196468 140722183874704 140095197528528 140095623309926 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3552] ppid=3535 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3552/stat : 3552 (java) S 3535 3538 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414254521 10915721216 7449 33554432000 4194304 4196468 140722183874704 140095196478432 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3553] ppid=3535 vsize=10659884 memory=139830208349824 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3553/stat : 3553 (java) S 3535 3538 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254522 10915721216 7449 33554432000 4194304 4196468 140722183874704 140095195425200 140095644736130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29796 KiB

[startup+0.21073 s]*
/proc/loadavg: 1.95 1.88 1.79 3/228 3553
/proc/meminfo: memFree=21666652/32770624 swapFree=66999268/67108860
[pid=3538] ppid=3535 vsize=10659884 memory=34740 CPUtime=0.33 cores=0,2,4,6
/proc/3538/stat : 3538 (java) S 3535 3538 2817 0 -1 1077944320 6841 0 0 0 31 2 0 0 20 0 15 0 414254516 10915721216 8685 33554432000 4194304 4196468 140722183874704 140722183857248 140095644724983 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
/proc/3538/statm: 2664971 8685 2988 1 0 2627468 0
[pid=3538/tid=3540] ppid=3535 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/3538/task/3540/stat : 3540 (java) R 3535 3538 2817 0 -1 4202560 3859 0 0 0 19 1 0 0 20 0 15 0 414254516 10915721216 8685 33554432000 4194304 4196468 140722183874704 140095648951344 140095644746909 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3541] ppid=3535 vsize=10659884 memory=343 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (java) S 3535 3538 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254517 10915721216 8685 33554432000 4194304 4196468 140722183874704 140095597345680 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3542] ppid=3535 vsize=10659884 memory=3545652724201277088 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (java) S 3535 3538 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254517 10915721216 8685 33554432000 4194304 4196468 140722183874704 140095596292880 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3543] ppid=3535 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3543/stat : 3543 (java) S 3535 3538 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254517 10915721216 8685 33554432000 4194304 4196468 140722183874704 140095595240592 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3544] ppid=3535 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3544/stat : 3544 (java) S 3535 3538 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414254517 10915721216 8685 33554432000 4194304 4196468 140722183874704 140095594187792 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3545] ppid=3535 vsize=10659884 memory=139830208349824 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3545/stat : 3545 (java) S 3535 3538 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414254518 10915721216 8685 33554432000 4194304 4196468 140722183874704 140095203846256 140095644736130 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3546] ppid=3535 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3546/stat : 3546 (java) S 3535 3538 2817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414254519 10915721216 8685 33554432000 4194304 4196468 140722183874704 140095202792224 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3547] ppid=3535 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3547/stat : 3547 (java) S 3535 3538 2817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414254519 10915721216 8685 33554432000 4194304 4196468 140722183874704 140095201739888 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3548] ppid=3535 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3548/stat : 3548 (java) S 3535 3538 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414254521 10915721216 8685 33554432000 4194304 4196468 140722183874704 140095200688208 140095644743579 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3549] ppid=3535 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3538/task/3549/stat : 3549 (java) S 3535 3538 2817 0 -1 1077944384 447 0 0 0 2 0 0 0 20 0 15 0 414254521 10915721216 8685 33554432000 4194304 4196468 140722183874704 140095199636080 140095644736130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3550] ppid=3535 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/3538/task/3550/stat : 3550 (java) S 3535 3538 2817 0 -1 1077944384 527 0 0 0 3 0 0 0 20 0 15 0 414254521 10915721216 8685 33554432000 4194304 4196468 140722183874704 140095198583280 140095644736130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3551] ppid=3535 vsize=10659884 memory=139830208349824 CPUtime=0.05 cores=0,2,4,6
/proc/3538/task/3551/stat : 3551 (java) S 3535 3538 2817 0 -1 1077944384 649 0 0 0 5 0 0 0 20 0 15 0 414254521 10915721216 8685 33554432000 4194304 4196468 140722183874704 140095197530992 140095644736130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3552] ppid=3535 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3552/stat : 3552 (java) S 3535 3538 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414254521 10915721216 8685 33554432000 4194304 4196468 140722183874704 140095196478432 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3553] ppid=3535 vsize=10659884 memory=139830208349824 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3553/stat : 3553 (java) S 3535 3538 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254522 10915721216 8685 33554432000 4194304 4196468 140722183874704 140095195425200 140095644736130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34740 KiB

[startup+0.310354 s]*
/proc/loadavg: 1.95 1.88 1.79 3/228 3553
/proc/meminfo: memFree=21658820/32770624 swapFree=66999268/67108860
[pid=3538] ppid=3535 vsize=10659884 memory=40116 CPUtime=0.47 cores=0,2,4,6
/proc/3538/stat : 3538 (java) S 3535 3538 2817 0 -1 1077944320 9381 0 0 0 44 3 0 0 20 0 15 0 414254516 10915721216 10029 33554432000 4194304 4196468 140722183874704 140722183857248 140095644724983 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
/proc/3538/statm: 2664971 10029 3001 1 0 2627468 0
[pid=3538/tid=3540] ppid=3535 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/3538/task/3540/stat : 3540 (java) R 3535 3538 2817 0 -1 4202560 6322 0 0 0 28 2 0 0 20 0 15 0 414254516 10915721216 10029 33554432000 4194304 4196468 140722183874704 140095648945872 140095644746909 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3541] ppid=3535 vsize=10659884 memory=4297096155 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (java) S 3535 3538 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254517 10915721216 10029 33554432000 4194304 4196468 140722183874704 140095597345680 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3542] ppid=3535 vsize=10659884 memory=3761833198601488032 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (java) S 3535 3538 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254517 10915721216 10029 33554432000 4194304 4196468 140722183874704 140095596292880 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3543] ppid=3535 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3543/stat : 3543 (java) S 3535 3538 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254517 10915721216 10029 33554432000 4194304 4196468 140722183874704 140095595240592 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3544] ppid=3535 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3544/stat : 3544 (java) S 3535 3538 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414254517 10915721216 10029 33554432000 4194304 4196468 140722183874704 140095594187792 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3545] ppid=3535 vsize=10659884 memory=139830208349824 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3545/stat : 3545 (java) S 3535 3538 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414254518 10915721216 10029 33554432000 4194304 4196468 140722183874704 140095203846256 140095644736130 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3546] ppid=3535 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3546/stat : 3546 (java) S 3535 3538 2817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414254519 10915721216 10029 33554432000 4194304 4196468 140722183874704 140095202792224 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3547] ppid=3535 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3547/stat : 3547 (java) S 3535 3538 2817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414254519 10915721216 10029 33554432000 4194304 4196468 140722183874704 140095201739888 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3548] ppid=3535 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3548/stat : 3548 (java) S 3535 3538 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414254521 10915721216 10029 33554432000 4194304 4196468 140722183874704 140095200688208 140095644743579 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3549] ppid=3535 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/3538/task/3549/stat : 3549 (java) R 3535 3538 2817 0 -1 4202560 455 0 0 0 3 0 0 0 20 0 15 0 414254521 10915721216 10029 33554432000 4194304 4196468 140722183874704 140095199636080 140095628223570 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3550] ppid=3535 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/3538/task/3550/stat : 3550 (java) R 3535 3538 2817 0 -1 1077944384 568 0 0 0 4 0 0 0 20 0 15 0 414254521 10915721216 10029 33554432000 4194304 4196468 140722183874704 140095198583280 140095644736130 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3551] ppid=3535 vsize=10659884 memory=139830208349824 CPUtime=0.07 cores=0,2,4,6
/proc/3538/task/3551/stat : 3551 (java) S 3535 3538 2817 0 -1 1077944384 679 0 0 0 7 0 0 0 20 0 15 0 414254521 10915721216 10029 33554432000 4194304 4196468 140722183874704 140095197530992 140095644736130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3552] ppid=3535 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3552/stat : 3552 (java) S 3535 3538 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414254521 10915721216 10029 33554432000 4194304 4196468 140722183874704 140095196478432 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3553] ppid=3535 vsize=10659884 memory=139830208349824 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3553/stat : 3553 (java) S 3535 3538 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254522 10915721216 10029 33554432000 4194304 4196468 140722183874704 140095195425200 140095644736130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40116 KiB

[startup+0.701042 s]
/proc/loadavg: 1.95 1.88 1.79 4/228 3553
/proc/meminfo: memFree=21652032/32770624 swapFree=66999268/67108860
[pid=3538] ppid=3535 vsize=10661932 memory=62104 CPUtime=1.08 cores=0,2,4,6
/proc/3538/stat : 3538 (java) S 3535 3538 2817 0 -1 1077944320 12631 0 0 0 103 5 0 0 20 0 15 0 414254516 10917818368 15526 33554432000 4194304 4196468 140722183874704 140722183857248 140095644724983 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
/proc/3538/statm: 2665483 15526 3072 1 0 2627980 0
[pid=3538/tid=3540] ppid=3535 vsize=10661932 memory=2116 CPUtime=0.68 cores=0,2,4,6
/proc/3538/task/3540/stat : 3540 (java) R 3535 3538 2817 0 -1 4202560 8862 0 0 0 64 4 0 0 20 0 15 0 414254516 10917818368 15526 33554432000 4194304 4196468 140722183874704 140095648950864 140095630097126 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3541] ppid=3535 vsize=10661932 memory=18736 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (java) S 3535 3538 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254517 10917818368 15526 33554432000 4194304 4196468 140722183874704 140095597345680 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3542] ppid=3535 vsize=10661932 memory=532 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (java) S 3535 3538 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254517 10917818368 15526 33554432000 4194304 4196468 140722183874704 140095596292880 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3543] ppid=3535 vsize=10661932 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3543/stat : 3543 (java) S 3535 3538 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254517 10917818368 15526 33554432000 4194304 4196468 140722183874704 140095595240592 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3544] ppid=3535 vsize=10661932 memory=932 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3544/stat : 3544 (java) S 3535 3538 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414254517 10917818368 15526 33554432000 4194304 4196468 140722183874704 140095594187792 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3545] ppid=3535 vsize=10661932 memory=3680 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3545/stat : 3545 (java) S 3535 3538 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414254518 10917818368 15526 33554432000 4194304 4196468 140722183874704 140095203846256 140095644736130 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3546] ppid=3535 vsize=10661932 memory=864 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3546/stat : 3546 (java) S 3535 3538 2817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414254519 10917818368 15526 33554432000 4194304 4196468 140722183874704 140095202792224 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3547] ppid=3535 vsize=10661932 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3547/stat : 3547 (java) S 3535 3538 2817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414254519 10917818368 15526 33554432000 4194304 4196468 140722183874704 140095201739888 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3548] ppid=3535 vsize=10661932 memory=4640781674728153957 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3548/stat : 3548 (java) S 3535 3538 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414254521 10917818368 15526 33554432000 4194304 4196468 140722183874704 140095200688208 140095644743579 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3549] ppid=3535 vsize=10661932 memory=7163086641608552552 CPUtime=0.08 cores=0,2,4,6
/proc/3538/task/3549/stat : 3549 (java) S 3535 3538 2817 0 -1 1077944384 578 0 0 0 8 0 0 0 20 0 15 0 414254521 10917818368 15526 33554432000 4194304 4196468 140722183874704 140095199636080 140095644736130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3550] ppid=3535 vsize=10661932 memory=7523071198212214892 CPUtime=0.11 cores=0,2,4,6
/proc/3538/task/3550/stat : 3550 (java) R 3535 3538 2817 0 -1 4202560 819 0 0 0 11 0 0 0 20 0 15 0 414254521 10917818368 15526 33554432000 4194304 4196468 140722183874704 140095198583280 140095629624554 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3551] ppid=3535 vsize=10661932 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/3538/task/3551/stat : 3551 (java) S 3535 3538 2817 0 -1 1077944384 1013 0 0 0 18 0 0 0 20 0 15 0 414254521 10917818368 15526 33554432000 4194304 4196468 140722183874704 140095197530992 140095644736130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3552] ppid=3535 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3552/stat : 3552 (java) S 3535 3538 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414254521 10917818368 15526 33554432000 4194304 4196468 140722183874704 140095196478432 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3553] ppid=3535 vsize=10661932 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3553/stat : 3553 (java) S 3535 3538 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254522 10917818368 15526 33554432000 4194304 4196468 140722183874704 140095195425200 140095644736130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62104 KiB

[startup+1.50083 s]
/proc/loadavg: 1.95 1.88 1.79 3/228 3553
/proc/meminfo: memFree=21636316/32770624 swapFree=66999268/67108860
[pid=3538] ppid=3535 vsize=10663980 memory=74880 CPUtime=1.98 cores=0,2,4,6
/proc/3538/stat : 3538 (java) S 3535 3538 2817 0 -1 1077944320 18199 0 0 0 192 6 0 0 20 0 15 0 414254516 10919915520 18720 33554432000 4194304 4196468 140722183874704 140722183857248 140095644724983 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
/proc/3538/statm: 2665995 18720 3095 1 0 2628492 0
[pid=3538/tid=3540] ppid=3535 vsize=10663980 memory=70016 CPUtime=1.48 cores=0,2,4,6
/proc/3538/task/3540/stat : 3540 (java) R 3535 3538 2817 0 -1 4202560 13097 0 0 0 143 5 0 0 20 0 15 0 414254516 10919915520 18720 33554432000 4194304 4196468 140722183874704 140095648957008 140095644746909 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3541] ppid=3535 vsize=10663980 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (java) S 3535 3538 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254517 10919915520 18720 33554432000 4194304 4196468 140722183874704 140095597345680 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3542] ppid=3535 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (java) S 3535 3538 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254517 10919915520 18720 33554432000 4194304 4196468 140722183874704 140095596292880 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3543] ppid=3535 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3543/stat : 3543 (java) S 3535 3538 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254517 10919915520 18720 33554432000 4194304 4196468 140722183874704 140095595240592 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3544] ppid=3535 vsize=10663980 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3544/stat : 3544 (java) S 3535 3538 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414254517 10919915520 18720 33554432000 4194304 4196468 140722183874704 140095594187792 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3545] ppid=3535 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3545/stat : 3545 (java) S 3535 3538 2817 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 414254518 10919915520 18720 33554432000 4194304 4196468 140722183874704 140095203846256 140095644736130 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0

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

[startup+68.8007 s]
/proc/loadavg: 2.01 1.92 1.81 3/229 3558
/proc/meminfo: memFree=21404200/32770624 swapFree=66999268/67108860
[pid=3538] ppid=3535 vsize=10748324 memory=285472 CPUtime=72.81 cores=0,2,4,6
/proc/3538/stat : 3538 (java) S 3535 3538 2817 0 -1 1077944320 61900 0 0 0 7258 23 0 0 20 0 16 0 414254516 11006283776 71368 33554432000 4194304 4196468 140722183874704 140722183857248 140095644724983 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
/proc/3538/statm: 2687081 71368 3375 1 0 2647217 0
[pid=3538/tid=3540] ppid=3535 vsize=10748324 memory=8112282956445269571 CPUtime=1.86 cores=0,2,4,6
/proc/3538/task/3540/stat : 3540 (java) S 3535 3538 2817 0 -1 1077944384 15349 0 0 0 180 6 0 0 20 0 16 0 414254516 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095648967856 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3541] ppid=3535 vsize=10748324 memory=10596 CPUtime=0.08 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (java) S 3535 3538 2817 0 -1 1077944384 2123 0 0 0 7 1 0 0 20 0 16 0 414254517 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095597345680 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3542] ppid=3535 vsize=10748324 memory=1712 CPUtime=0.08 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (java) S 3535 3538 2817 0 -1 1077944384 692 0 0 0 7 1 0 0 20 0 16 0 414254517 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095596292880 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3543] ppid=3535 vsize=10748324 memory=988 CPUtime=0.08 cores=0,2,4,6
/proc/3538/task/3543/stat : 3543 (java) S 3535 3538 2817 0 -1 1077944384 2931 0 0 0 7 1 0 0 20 0 16 0 414254517 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095595240592 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3544] ppid=3535 vsize=10748324 memory=4004 CPUtime=0.08 cores=0,2,4,6
/proc/3538/task/3544/stat : 3544 (java) S 3535 3538 2817 0 -1 1077944384 723 0 0 0 7 1 0 0 20 0 16 0 414254517 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095594187792 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3545] ppid=3535 vsize=10748324 memory=2828 CPUtime=0.02 cores=0,2,4,6
/proc/3538/task/3545/stat : 3545 (java) S 3535 3538 2817 0 -1 1077944384 2353 0 0 0 2 0 0 0 20 0 16 0 414254518 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095203846256 140095644736130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3546] ppid=3535 vsize=10748324 memory=612 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3546/stat : 3546 (java) S 3535 3538 2817 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414254519 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095202792288 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3547] ppid=3535 vsize=10748324 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3547/stat : 3547 (java) S 3535 3538 2817 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414254519 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095201739904 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3548] ppid=3535 vsize=10748324 memory=14004 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3548/stat : 3548 (java) S 3535 3538 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414254521 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095200688208 140095644743579 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3549] ppid=3535 vsize=10748324 memory=14060 CPUtime=1.82 cores=0,2,4,6
/proc/3538/task/3549/stat : 3549 (java) S 3535 3538 2817 0 -1 1077944384 16996 0 0 0 178 4 0 0 20 0 16 0 414254521 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095199636080 140095644736130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3550] ppid=3535 vsize=10748324 memory=285984 CPUtime=1.21 cores=0,2,4,6
/proc/3538/task/3550/stat : 3550 (java) S 3535 3538 2817 0 -1 1077944384 6365 0 0 0 120 1 0 0 20 0 16 0 414254521 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095198583280 140095644736130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3551] ppid=3535 vsize=10748324 memory=18736 CPUtime=0.68 cores=0,2,4,6
/proc/3538/task/3551/stat : 3551 (java) S 3535 3538 2817 0 -1 1077944384 3984 0 0 0 67 1 0 0 20 0 16 0 414254521 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095197530992 140095644736130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3552] ppid=3535 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3552/stat : 3552 (java) S 3535 3538 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414254521 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095196478432 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3553] ppid=3535 vsize=10748324 memory=8112282956445269571 CPUtime=0.01 cores=0,2,4,6
/proc/3538/task/3553/stat : 3553 (java) S 3535 3538 2817 0 -1 1077944384 225 0 0 0 1 0 0 0 20 0 16 0 414254522 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095195425200 140095644736130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3554] ppid=3535 vsize=10748324 memory=111636 CPUtime=66.78 cores=0,2,4,6
/proc/3538/task/3554/stat : 3554 (java) R 3535 3538 2817 0 -1 4202560 8729 0 0 0 6675 3 0 0 20 0 16 0 414254704 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095110888496 140095279154539 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
Current children cumulated CPU time: 72.81 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 285472 KiB

[startup+69.6007 s]
/proc/loadavg: 2.01 1.92 1.81 3/229 3558
/proc/meminfo: memFree=21404200/32770624 swapFree=66999268/67108860
[pid=3538] ppid=3535 vsize=10748324 memory=285472 CPUtime=73.61 cores=0,2,4,6
/proc/3538/stat : 3538 (java) S 3535 3538 2817 0 -1 1077944320 61900 0 0 0 7338 23 0 0 20 0 16 0 414254516 11006283776 71368 33554432000 4194304 4196468 140722183874704 140722183857248 140095644724983 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
/proc/3538/statm: 2687081 71368 3375 1 0 2647217 0
[pid=3538/tid=3540] ppid=3535 vsize=10748324 memory=8112282956445269571 CPUtime=1.86 cores=0,2,4,6
/proc/3538/task/3540/stat : 3540 (java) S 3535 3538 2817 0 -1 1077944384 15349 0 0 0 180 6 0 0 20 0 16 0 414254516 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095648967856 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3541] ppid=3535 vsize=10748324 memory=1556 CPUtime=0.08 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (java) S 3535 3538 2817 0 -1 1077944384 2123 0 0 0 7 1 0 0 20 0 16 0 414254517 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095597345680 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3542] ppid=3535 vsize=10748324 memory=932 CPUtime=0.08 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (java) S 3535 3538 2817 0 -1 1077944384 692 0 0 0 7 1 0 0 20 0 16 0 414254517 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095596292880 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3543] ppid=3535 vsize=10748324 memory=3680 CPUtime=0.08 cores=0,2,4,6
/proc/3538/task/3543/stat : 3543 (java) S 3535 3538 2817 0 -1 1077944384 2931 0 0 0 7 1 0 0 20 0 16 0 414254517 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095595240592 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3544] ppid=3535 vsize=10748324 memory=864 CPUtime=0.08 cores=0,2,4,6
/proc/3538/task/3544/stat : 3544 (java) S 3535 3538 2817 0 -1 1077944384 723 0 0 0 7 1 0 0 20 0 16 0 414254517 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095594187792 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3545] ppid=3535 vsize=10748324 memory=1436 CPUtime=0.02 cores=0,2,4,6
/proc/3538/task/3545/stat : 3545 (java) S 3535 3538 2817 0 -1 1077944384 2353 0 0 0 2 0 0 0 20 0 16 0 414254518 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095203846256 140095644736130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3546] ppid=3535 vsize=10748324 memory=3624 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3546/stat : 3546 (java) S 3535 3538 2817 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414254519 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095202792288 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3547] ppid=3535 vsize=10748324 memory=39008 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3547/stat : 3547 (java) S 3535 3538 2817 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414254519 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095201739904 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3548] ppid=3535 vsize=10748324 memory=988 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3548/stat : 3548 (java) S 3535 3538 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414254521 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095200688208 140095644743579 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3549] ppid=3535 vsize=10748324 memory=2016 CPUtime=1.82 cores=0,2,4,6
/proc/3538/task/3549/stat : 3549 (java) S 3535 3538 2817 0 -1 1077944384 16996 0 0 0 178 4 0 0 20 0 16 0 414254521 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095199636080 140095644736130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3550] ppid=3535 vsize=10748324 memory=1424 CPUtime=1.21 cores=0,2,4,6
/proc/3538/task/3550/stat : 3550 (java) S 3535 3538 2817 0 -1 1077944384 6365 0 0 0 120 1 0 0 20 0 16 0 414254521 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095198583280 140095644736130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3551] ppid=3535 vsize=10748324 memory=1540 CPUtime=0.68 cores=0,2,4,6
/proc/3538/task/3551/stat : 3551 (java) S 3535 3538 2817 0 -1 1077944384 3984 0 0 0 67 1 0 0 20 0 16 0 414254521 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095197530992 140095644736130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3552] ppid=3535 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3552/stat : 3552 (java) S 3535 3538 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414254521 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095196478432 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3553] ppid=3535 vsize=10748324 memory=988 CPUtime=0.01 cores=0,2,4,6
/proc/3538/task/3553/stat : 3553 (java) S 3535 3538 2817 0 -1 1077944384 225 0 0 0 1 0 0 0 20 0 16 0 414254522 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095195425200 140095644736130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3554] ppid=3535 vsize=10748324 memory=2016 CPUtime=67.58 cores=0,2,4,6
/proc/3538/task/3554/stat : 3554 (java) R 3535 3538 2817 0 -1 4202560 8729 0 0 0 6755 3 0 0 20 0 16 0 414254704 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095110880656 140095279003616 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
Current children cumulated CPU time: 73.61 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 285472 KiB

[startup+70.4007 s]
/proc/loadavg: 2.01 1.92 1.81 3/230 3560
/proc/meminfo: memFree=21404056/32770624 swapFree=66999268/67108860
[pid=3538] ppid=3535 vsize=10748324 memory=285472 CPUtime=74.41 cores=0,2,4,6
/proc/3538/stat : 3538 (java) S 3535 3538 2817 0 -1 1077944320 61900 0 0 0 7418 23 0 0 20 0 16 0 414254516 11006283776 71368 33554432000 4194304 4196468 140722183874704 140722183857248 140095644724983 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
/proc/3538/statm: 2687081 71368 3375 1 0 2647217 0
[pid=3538/tid=3540] ppid=3535 vsize=10748324 memory=278284 CPUtime=1.86 cores=0,2,4,6
/proc/3538/task/3540/stat : 3540 (java) S 3535 3538 2817 0 -1 1077944384 15349 0 0 0 180 6 0 0 20 0 16 0 414254516 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095648967856 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3541] ppid=3535 vsize=10748324 memory=278284 CPUtime=0.08 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (java) S 3535 3538 2817 0 -1 1077944384 2123 0 0 0 7 1 0 0 20 0 16 0 414254517 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095597345680 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3542] ppid=3535 vsize=10748324 memory=3624 CPUtime=0.08 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (java) S 3535 3538 2817 0 -1 1077944384 692 0 0 0 7 1 0 0 20 0 16 0 414254517 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095596292880 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3543] ppid=3535 vsize=10748324 memory=285984 CPUtime=0.08 cores=0,2,4,6
/proc/3538/task/3543/stat : 3543 (java) S 3535 3538 2817 0 -1 1077944384 2931 0 0 0 7 1 0 0 20 0 16 0 414254517 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095595240592 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3544] ppid=3535 vsize=10748324 memory=285984 CPUtime=0.08 cores=0,2,4,6
/proc/3538/task/3544/stat : 3544 (java) S 3535 3538 2817 0 -1 1077944384 723 0 0 0 7 1 0 0 20 0 16 0 414254517 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095594187792 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3545] ppid=3535 vsize=10748324 memory=3624 CPUtime=0.02 cores=0,2,4,6
/proc/3538/task/3545/stat : 3545 (java) S 3535 3538 2817 0 -1 1077944384 2353 0 0 0 2 0 0 0 20 0 16 0 414254518 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095203846256 140095644736130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3546] ppid=3535 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3546/stat : 3546 (java) S 3535 3538 2817 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414254519 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095202792288 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3547] ppid=3535 vsize=10748324 memory=15260018809794 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3547/stat : 3547 (java) S 3535 3538 2817 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414254519 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095201739904 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3548] ppid=3535 vsize=10748324 memory=161 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3548/stat : 3548 (java) S 3535 3538 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414254521 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095200688208 140095644743579 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3549] ppid=3535 vsize=10748324 memory=285984 CPUtime=1.82 cores=0,2,4,6
/proc/3538/task/3549/stat : 3549 (java) S 3535 3538 2817 0 -1 1077944384 16996 0 0 0 178 4 0 0 20 0 16 0 414254521 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095199636080 140095644736130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3550] ppid=3535 vsize=10748324 memory=39008 CPUtime=1.21 cores=0,2,4,6
/proc/3538/task/3550/stat : 3550 (java) S 3535 3538 2817 0 -1 1077944384 6365 0 0 0 120 1 0 0 20 0 16 0 414254521 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095198583280 140095644736130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3551] ppid=3535 vsize=10748324 memory=988 CPUtime=0.68 cores=0,2,4,6
/proc/3538/task/3551/stat : 3551 (java) S 3535 3538 2817 0 -1 1077944384 3984 0 0 0 67 1 0 0 20 0 16 0 414254521 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095197530992 140095644736130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3552] ppid=3535 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3552/stat : 3552 (java) S 3535 3538 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414254521 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095196478432 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3553] ppid=3535 vsize=10748324 memory=932 CPUtime=0.01 cores=0,2,4,6
/proc/3538/task/3553/stat : 3553 (java) S 3535 3538 2817 0 -1 1077944384 225 0 0 0 1 0 0 0 20 0 16 0 414254522 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095195425200 140095644736130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3554] ppid=3535 vsize=10748324 memory=3680 CPUtime=68.38 cores=0,2,4,6
/proc/3538/task/3554/stat : 3554 (java) R 3535 3538 2817 0 -1 4202560 8729 0 0 0 6835 3 0 0 20 0 16 0 414254704 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095110880656 140095279587926 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
Current children cumulated CPU time: 74.41 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 285472 KiB

[startup+70.6007 s]
/proc/loadavg: 2.01 1.92 1.81 3/230 3560
/proc/meminfo: memFree=21404056/32770624 swapFree=66999268/67108860
[pid=3538] ppid=3535 vsize=10748324 memory=285472 CPUtime=74.61 cores=0,2,4,6
/proc/3538/stat : 3538 (java) S 3535 3538 2817 0 -1 1077944320 61900 0 0 0 7438 23 0 0 20 0 16 0 414254516 11006283776 71368 33554432000 4194304 4196468 140722183874704 140722183857248 140095644724983 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
/proc/3538/statm: 2687081 71368 3375 1 0 2647217 0
[pid=3538/tid=3540] ppid=3535 vsize=10748324 memory=8112282956445269571 CPUtime=1.86 cores=0,2,4,6
/proc/3538/task/3540/stat : 3540 (java) S 3535 3538 2817 0 -1 1077944384 15349 0 0 0 180 6 0 0 20 0 16 0 414254516 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095648967856 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3541] ppid=3535 vsize=10748324 memory=1424 CPUtime=0.08 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (java) S 3535 3538 2817 0 -1 1077944384 2123 0 0 0 7 1 0 0 20 0 16 0 414254517 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095597345680 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3542] ppid=3535 vsize=10748324 memory=1540 CPUtime=0.08 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (java) S 3535 3538 2817 0 -1 1077944384 692 0 0 0 7 1 0 0 20 0 16 0 414254517 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095596292880 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3543] ppid=3535 vsize=10748324 memory=772 CPUtime=0.08 cores=0,2,4,6
/proc/3538/task/3543/stat : 3543 (java) S 3535 3538 2817 0 -1 1077944384 2931 0 0 0 7 1 0 0 20 0 16 0 414254517 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095595240592 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3544] ppid=3535 vsize=10748324 memory=10596 CPUtime=0.08 cores=0,2,4,6
/proc/3538/task/3544/stat : 3544 (java) S 3535 3538 2817 0 -1 1077944384 723 0 0 0 7 1 0 0 20 0 16 0 414254517 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095594187792 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3545] ppid=3535 vsize=10748324 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3538/task/3545/stat : 3545 (java) S 3535 3538 2817 0 -1 1077944384 2353 0 0 0 2 0 0 0 20 0 16 0 414254518 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095203846256 140095644736130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3546] ppid=3535 vsize=10748324 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3546/stat : 3546 (java) S 3535 3538 2817 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414254519 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095202792288 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3547] ppid=3535 vsize=10748324 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3547/stat : 3547 (java) S 3535 3538 2817 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414254519 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095201739904 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3548] ppid=3535 vsize=10748324 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3548/stat : 3548 (java) S 3535 3538 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414254521 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095200688208 140095644743579 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3549] ppid=3535 vsize=10748324 memory=6944656592387989600 CPUtime=1.82 cores=0,2,4,6
/proc/3538/task/3549/stat : 3549 (java) S 3535 3538 2817 0 -1 1077944384 16996 0 0 0 178 4 0 0 20 0 16 0 414254521 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095199636080 140095644736130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3550] ppid=3535 vsize=10748324 memory=0 CPUtime=1.21 cores=0,2,4,6
/proc/3538/task/3550/stat : 3550 (java) S 3535 3538 2817 0 -1 1077944384 6365 0 0 0 120 1 0 0 20 0 16 0 414254521 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095198583280 140095644736130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3551] ppid=3535 vsize=10748324 memory=8112282956445269571 CPUtime=0.68 cores=0,2,4,6
/proc/3538/task/3551/stat : 3551 (java) S 3535 3538 2817 0 -1 1077944384 3984 0 0 0 67 1 0 0 20 0 16 0 414254521 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095197530992 140095644736130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3552] ppid=3535 vsize=10748324 memory=39008 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3552/stat : 3552 (java) S 3535 3538 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414254521 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095196478432 140095644735189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3553] ppid=3535 vsize=10748324 memory=988 CPUtime=0.01 cores=0,2,4,6
/proc/3538/task/3553/stat : 3553 (java) S 3535 3538 2817 0 -1 1077944384 225 0 0 0 1 0 0 0 20 0 16 0 414254522 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095195425200 140095644736130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
[pid=3538/tid=3554] ppid=3535 vsize=10748324 memory=2016 CPUtime=68.58 cores=0,2,4,6
/proc/3538/task/3554/stat : 3554 (java) R 3535 3538 2817 0 -1 4202560 8729 0 0 0 6855 3 0 0 20 0 16 0 414254704 11006283776 71368 33554432000 4194304 4196468 140722183874704 140095110880656 140095277650316 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20824064 140722183877643 140722183877746 140722183877746 140722183880655 0
Current children cumulated CPU time: 74.61 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 285472 KiB

Child status: 0
Real time (s): 70.6378
CPU time (s): 74.6579
CPU user time (s): 74.4105
CPU system time (s): 0.24743
CPU usage (%): 105.691
Max. virtual memory (cumulated for all children) (KiB): 10749348
Max. memory (cumulated for all children) (KiB): 285984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 74.4105
system time used= 0.24743
maximum resident set size= 287516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63157
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4846
involuntary context switches= 102


# summary of solver processes directly reported to runsolver:
#   pid: 3538
#   total CPU time (s): 74.6579
#   total CPU user time (s): 74.4105
#   total CPU system time (s): 0.24743

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.475185 second user time and 0.66194 second system time

The end

Begin job on node140 at 2019-09-13 15:58:40
IDJOB=4390870
IDBENCH=133279
IDSOLVER=2832
FILE ID=node140/4390870-1568383161
RUNJOBID= node140-1568380475-2848
PBS_JOBID= 21701829
Free space on /tmp= 56860 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/Mario/Mario-zinc-s1/Mario-n-medium-5.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390870-1568383161/watcher-4390870-1568383161 -o /tmp/evaluation-result-4390870-1568383161/solver-4390870-1568383161 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568380475-2848 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390870-1568383161.xml -cm

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

MD5SUM BENCH= 36a1aa2a38358c951443c34d8d302d49
RANDOM SEED=530393152

node140.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		: 2668.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.43
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		: 2668.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	: 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		: 2668.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.43
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		: 2668.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	: 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		: 2668.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.43
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		: 2668.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	: 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		: 2668.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.43
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		: 2668.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:       32770624 kB
MemFree:        21688348 kB
MemAvailable:   31603692 kB
Buffers:          160652 kB
Cached:          9929588 kB
SwapCached:         2752 kB
Active:          1850176 kB
Inactive:        8502840 kB
Active(anon):     259568 kB
Inactive(anon):    43940 kB
Active(file):    1590608 kB
Inactive(file):  8458900 kB
Unevictable:      107712 kB
Mlocked:          107712 kB
SwapTotal:      67108860 kB
SwapFree:       66999268 kB
Dirty:              8792 kB
Writeback:             0 kB
AnonPages:        419656 kB
Mapped:            56204 kB
Shmem:             32244 kB
Slab:             324264 kB
SReclaimable:     294296 kB
SUnreclaim:        29968 kB
KernelStack:        4000 kB
PageTables:         6396 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1260144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    323584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 56852 MiB
End job on node140 at 2019-09-13 15:59:51