2.41/1.88	
2.41/1.88	AbsCon 2 
2.41/1.90	
3.65/2.24	  Instance
3.65/2.24	    name=instance-4391048-1568386813, framework=COP, bounds=-infty..+infty
3.65/2.24	
3.65/2.24	  Loading variables...
4.01/2.33	  Loading constraints...
7.29/3.32	
7.29/3.32	  Domains
7.29/3.32	    nTypes=7, nValues=25628, sizes=[6#48,22#36,24#18,36#122,42#170,44#286]
7.29/3.32	  Variables
7.29/3.32	    count=680, degrees=[2#3,3#1,4#6,5#10...20#32,21#12,22#7,23#1]
7.29/3.32	  Objectives
7.29/3.32	    way=min, type=NValuesLE
7.29/3.32	  Constraints
7.29/3.32	    count=3758, nSpecific=1, arities=[2#3757,680#1]
7.29/3.32	    distribution=[CtrIntension#3757,NValuesLE#1]
7.29/3.32	    nIntStructures=(1220,shared:2537), nCftStructures=(1220,shared:2537,unbuilt:1)
7.29/3.32	    wck=1.471, cpu=3.27, mem=129M179
7.29/3.34	  Solver SolverBacktrack being built...
7.29/3.34	
7.29/3.36	
7.29/3.36	  Solver
7.29/3.36	    guaranteedGAC=false
7.29/3.36	    wck=1.516, cpu=3.313, mem=142M411
7.29/3.38	
7.29/3.38	  Preprocessing
7.29/3.38	    filters=0, ccks=1363448, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
7.29/3.38	    wck=0.013, cpu=3.328, mem=142M411
7.29/3.38	
7.94/3.53	o 48
7.94/3.54	    num=0, depth=259..679, filters=3611, revisions=(8641,useless=4711), ccks=1766840, wck=0.175, mem=150M94
7.94/3.54	    decisions=336, wrong=3, backtracks=0, failedAssignments=3, nogoods=3, foundSolutions=1, bestBound=48
7.94/3.54	    
8.28/3.66	o 46
8.28/3.66	    num=1, depth=295..679, filters=7230, revisions=(17178,useless=9322), ccks=1896132, wck=0.298, mem=37M15
8.28/3.66	    decisions=673, wrong=6, backtracks=0, failedAssignments=6, nogoods=6, foundSolutions=2, bestBound=46
8.28/3.66	    
8.58/3.75	o 44
8.58/3.75	    num=2, depth=281..679, filters=11201, revisions=(25458,useless=13338), ccks=2142781, wck=0.382, mem=48M374
8.58/3.75	    decisions=1017, wrong=8, backtracks=0, failedAssignments=8, nogoods=8, foundSolutions=3, bestBound=44
8.58/3.75	    
8.89/3.80	    num=3, depth=117..323, filters=15230, revisions=(32812,useless=16388), ccks=2344884, wck=0.434, mem=50M999
8.89/3.80	    decisions=1362, wrong=19, backtracks=0, failedAssignments=19, nogoods=19, foundSolutions=3, bestBound=44
8.89/3.80	    
8.89/3.86	o 42
8.89/3.86	    num=4, depth=105..679, filters=19265, revisions=(41299,useless=20566), ccks=2569130, wck=0.497, mem=61M500
8.89/3.86	    decisions=1722, wrong=29, backtracks=0, failedAssignments=29, nogoods=29, foundSolutions=4, bestBound=42
8.89/3.86	    
9.19/3.93	o 40
9.19/3.94	    num=5, depth=99..679, filters=23287, revisions=(49628,useless=24614), ccks=2770031, wck=0.571, mem=69M378
9.19/3.94	    decisions=2080, wrong=38, backtracks=0, failedAssignments=38, nogoods=38, foundSolutions=5, bestBound=40
9.19/3.94	    
9.19/3.96	    num=6, depth=69..103, filters=25359, revisions=(53090,useless=25845), ccks=2876805, wck=0.593, mem=69M378
9.19/3.96	    decisions=2205, wrong=49, backtracks=0, failedAssignments=49, nogoods=49, foundSolutions=5, bestBound=40
9.19/3.96	    
9.19/3.98	    num=7, depth=69..101, filters=27449, revisions=(56547,useless=27059), ccks=2964627, wck=0.612, mem=69M378
9.19/3.98	    decisions=2328, wrong=60, backtracks=0, failedAssignments=60, nogoods=60, foundSolutions=5, bestBound=40
9.19/3.98	    
9.51/4.01	    num=8, depth=81..160, filters=30322, revisions=(61565,useless=29005), ccks=3111332, wck=0.638, mem=72M3
9.51/4.01	    decisions=2512, wrong=72, backtracks=0, failedAssignments=72, nogoods=72, foundSolutions=5, bestBound=40
9.51/4.01	    
9.51/4.03	    num=9, depth=68..133, filters=32894, revisions=(65926,useless=30601), ccks=3242901, wck=0.661, mem=74M629
9.51/4.03	    decisions=2671, wrong=85, backtracks=0, failedAssignments=85, nogoods=85, foundSolutions=5, bestBound=40
9.51/4.03	    
9.51/4.08	o 38
9.51/4.08	    num=10, depth=90..679, filters=36977, revisions=(74322,useless=34663), ccks=3457950, wck=0.717, mem=82M504
9.51/4.08	    decisions=3031, wrong=95, backtracks=0, failedAssignments=95, nogoods=95, foundSolutions=6, bestBound=38
9.51/4.08	    
9.74/4.14	o 36
9.74/4.14	    num=11, depth=61..679, filters=41092, revisions=(82881,useless=38845), ccks=3670408, wck=0.772, mem=90M380
9.74/4.14	    decisions=3396, wrong=108, backtracks=0, failedAssignments=108, nogoods=108, foundSolutions=7, bestBound=36
9.74/4.14	    
9.74/4.16	    num=12, depth=73..111, filters=43352, revisions=(86648,useless=40190), ccks=3781858, wck=0.791, mem=90M380
9.74/4.16	    decisions=3529, wrong=119, backtracks=0, failedAssignments=119, nogoods=119, foundSolutions=7, bestBound=36
9.74/4.16	    
9.74/4.17	    num=13, depth=58..110, filters=45587, revisions=(90412,useless=41558), ccks=3883590, wck=0.807, mem=90M380
9.74/4.17	    decisions=3661, wrong=130, backtracks=0, failedAssignments=130, nogoods=130, foundSolutions=7, bestBound=36
9.74/4.17	    
9.74/4.19	    num=14, depth=58..122, filters=47995, revisions=(94465,useless=43021), ccks=4006870, wck=0.825, mem=93M5
9.74/4.19	    decisions=3807, wrong=142, backtracks=0, failedAssignments=142, nogoods=142, foundSolutions=7, bestBound=36
9.74/4.19	    
9.86/4.21	    num=15, depth=72..136, filters=50613, revisions=(98993,useless=44748), ccks=4140483, wck=0.845, mem=93M5
9.86/4.21	    decisions=3969, wrong=155, backtracks=0, failedAssignments=155, nogoods=155, foundSolutions=7, bestBound=36
9.86/4.21	    
9.86/4.23	    num=16, depth=59..128, filters=53095, revisions=(103289,useless=46386), ccks=4265950, wck=0.864, mem=95M630
9.86/4.23	    decisions=4127, wrong=170, backtracks=1, failedAssignments=169, nogoods=167, foundSolutions=7, bestBound=36
9.86/4.23	    
9.86/4.25	    num=17, depth=72..183, filters=56255, revisions=(108848,useless=48583), ccks=4424038, wck=0.889, mem=98M256
9.86/4.25	    decisions=4342, wrong=186, backtracks=1, failedAssignments=185, nogoods=183, foundSolutions=7, bestBound=36
9.86/4.25	    
9.86/4.27	    num=18, depth=59..126, filters=58764, revisions=(113130,useless=50179), ccks=4549933, wck=0.908, mem=98M256
9.86/4.27	    decisions=4504, wrong=204, backtracks=2, failedAssignments=202, nogoods=198, foundSolutions=7, bestBound=36
9.86/4.27	    
9.86/4.29	    num=19, depth=65..118, filters=61195, revisions=(117270,useless=51723), ccks=4667009, wck=0.925, mem=100M881
9.86/4.29	    decisions=4660, wrong=223, backtracks=2, failedAssignments=221, nogoods=217, foundSolutions=7, bestBound=36
9.86/4.29	    
9.98/4.31	    num=20, depth=59..155, filters=64127, revisions=(122421,useless=53750), ccks=4812682, wck=0.948, mem=103M506
9.98/4.31	    decisions=4859, wrong=245, backtracks=3, failedAssignments=242, nogoods=236, foundSolutions=7, bestBound=36
9.98/4.31	    
9.98/4.34	    num=21, depth=72..224, filters=67685, revisions=(128675,useless=56221), ccks=4993088, wck=0.979, mem=106M131
9.98/4.34	    decisions=5129, wrong=268, backtracks=3, failedAssignments=265, nogoods=259, foundSolutions=7, bestBound=36
9.98/4.34	    
9.98/4.37	    num=22, depth=59..157, filters=70603, revisions=(133946,useless=58394), ccks=5139109, wck=1.002, mem=106M131
9.98/4.37	    decisions=5340, wrong=295, backtracks=5, failedAssignments=290, nogoods=278, foundSolutions=7, bestBound=36
9.98/4.37	    
10.11/4.40	    num=23, depth=71..272, filters=74640, revisions=(141137,useless=61312), ccks=5341854, wck=1.036, mem=111M382
10.11/4.40	    decisions=5668, wrong=323, backtracks=5, failedAssignments=318, nogoods=306, foundSolutions=7, bestBound=36
10.11/4.40	    
10.11/4.42	    num=24, depth=59..138, filters=77431, revisions=(145899,useless=63107), ccks=5478871, wck=1.057, mem=111M382
10.11/4.42	    decisions=5868, wrong=354, backtracks=5, failedAssignments=349, nogoods=337, foundSolutions=7, bestBound=36
10.11/4.42	    
10.11/4.46	    num=25, depth=72..263, filters=81403, revisions=(153095,useless=66102), ccks=5677471, wck=1.091, mem=116M632
10.11/4.46	    decisions=6199, wrong=388, backtracks=5, failedAssignments=383, nogoods=371, foundSolutions=7, bestBound=36
10.11/4.46	    
10.11/4.48	    num=26, depth=59..137, filters=84189, revisions=(158292,useless=68348), ccks=5814482, wck=1.113, mem=116M632
10.11/4.48	    decisions=6422, wrong=432, backtracks=12, failedAssignments=420, nogoods=386, foundSolutions=7, bestBound=36
10.11/4.48	    
10.21/4.53	o 34
10.21/4.53	    num=27, depth=73..679, filters=88525, revisions=(167154,useless=72641), ccks=6034391, wck=1.167, mem=124M508
10.21/4.53	    decisions=6842, wrong=472, backtracks=12, failedAssignments=460, nogoods=426, foundSolutions=8, bestBound=34
10.21/4.53	    
10.21/4.56	    num=28, depth=58..125, filters=91277, revisions=(172327,useless=74899), ccks=6164182, wck=1.191, mem=127M133
10.21/4.56	    decisions=7066, wrong=522, backtracks=17, failedAssignments=505, nogoods=457, foundSolutions=8, bestBound=34
10.21/4.56	    
10.21/4.57	    num=29, depth=60..92, filters=93224, revisions=(175698,useless=76182), ccks=6261508, wck=1.206, mem=127M133
10.21/4.57	    decisions=7179, wrong=533, backtracks=17, failedAssignments=516, nogoods=468, foundSolutions=8, bestBound=34
10.21/4.57	    
10.21/4.59	    num=30, depth=56..128, filters=95732, revisions=(180015,useless=77813), ccks=6373846, wck=1.224, mem=129M758
10.21/4.59	    decisions=7331, wrong=545, backtracks=17, failedAssignments=528, nogoods=480, foundSolutions=8, bestBound=34
10.21/4.59	    
10.41/4.61	    num=31, depth=67..104, filters=97949, revisions=(183747,useless=79174), ccks=6481477, wck=1.24, mem=129M758
10.41/4.61	    decisions=7461, wrong=558, backtracks=17, failedAssignments=541, nogoods=493, foundSolutions=8, bestBound=34
10.41/4.61	    
10.41/4.62	    num=32, depth=59..85, filters=99801, revisions=(186915,useless=80362), ccks=6570965, wck=1.253, mem=132M383
10.41/4.62	    decisions=7574, wrong=572, backtracks=17, failedAssignments=555, nogoods=507, foundSolutions=8, bestBound=34
10.41/4.62	    
10.41/4.64	    num=33, depth=65..123, filters=102354, revisions=(191211,useless=81917), ccks=6694951, wck=1.271, mem=132M383
10.41/4.64	    decisions=7729, wrong=588, backtracks=17, failedAssignments=571, nogoods=523, foundSolutions=8, bestBound=34
10.41/4.64	    
10.41/4.65	    num=34, depth=58..88, filters=104331, revisions=(194590,useless=83188), ccks=6789941, wck=1.284, mem=132M383
10.41/4.65	    decisions=7851, wrong=605, backtracks=17, failedAssignments=588, nogoods=540, foundSolutions=8, bestBound=34
10.41/4.65	    
10.41/4.67	    num=35, depth=59..115, filters=106751, revisions=(198680,useless=84694), ccks=6904703, wck=1.3, mem=135M9
10.41/4.67	    decisions=8004, wrong=624, backtracks=17, failedAssignments=607, nogoods=559, foundSolutions=8, bestBound=34
10.41/4.67	    
10.41/4.68	    num=36, depth=57..63, filters=108300, revisions=(201326,useless=85685), ccks=6977650, wck=1.31, mem=135M9
10.41/4.68	    decisions=8113, wrong=647, backtracks=19, failedAssignments=628, nogoods=568, foundSolutions=8, bestBound=34
10.41/4.68	    
10.41/4.69	    num=37, depth=58..72, filters=110119, revisions=(204512,useless=86939), ccks=7065035, wck=1.323, mem=137M634
10.41/4.69	    decisions=8238, wrong=674, backtracks=23, failedAssignments=651, nogoods=576, foundSolutions=8, bestBound=34
10.41/4.69	    
10.54/4.70	    num=38, depth=51..52, filters=111542, revisions=(206957,useless=87881), ccks=7133107, wck=1.334, mem=137M634
10.54/4.70	    decisions=8348, wrong=703, backtracks=27, failedAssignments=676, nogoods=582, foundSolutions=8, bestBound=34
10.54/4.70	    
10.54/4.72	    num=39, depth=64..142, filters=114388, revisions=(211853,useless=89739), ccks=7270071, wck=1.355, mem=137M634
10.54/4.72	    decisions=8546, wrong=731, backtracks=27, failedAssignments=704, nogoods=610, foundSolutions=8, bestBound=34
10.54/4.72	    
10.54/4.73	    num=40, depth=54..72, filters=116142, revisions=(214925,useless=90957), ccks=7352723, wck=1.367, mem=140M259
10.54/4.73	    decisions=8685, wrong=765, backtracks=30, failedAssignments=735, nogoods=630, foundSolutions=8, bestBound=34
10.54/4.73	    
10.54/4.75	    num=41, depth=57..152, filters=119207, revisions=(220345,useless=93130), ccks=7501140, wck=1.389, mem=140M259
10.54/4.75	    decisions=8906, wrong=800, backtracks=31, failedAssignments=769, nogoods=663, foundSolutions=8, bestBound=34
10.54/4.75	    
10.54/4.77	    num=42, depth=51..86, filters=121396, revisions=(224314,useless=94798), ccks=7599499, wck=1.403, mem=142M885
10.54/4.77	    decisions=9073, wrong=841, backtracks=36, failedAssignments=806, nogoods=690, foundSolutions=8, bestBound=34
10.54/4.77	    
10.67/4.80	    num=43, depth=60..233, filters=125193, revisions=(231004,useless=97477), ccks=7787889, wck=1.433, mem=145M510
10.67/4.80	    decisions=9387, wrong=882, backtracks=36, failedAssignments=847, nogoods=731, foundSolutions=8, bestBound=34
10.67/4.80	    
10.67/4.82	    num=44, depth=51..111, filters=128033, revisions=(236360,useless=99852), ccks=7918999, wck=1.454, mem=148M135
10.67/4.82	    decisions=9604, wrong=935, backtracks=44, failedAssignments=892, nogoods=753, foundSolutions=8, bestBound=34
10.67/4.82	    
10.67/4.84	    num=45, depth=60..167, filters=131512, revisions=(242544,useless=102381), ccks=8083083, wck=1.48, mem=148M135
10.67/4.84	    decisions=9878, wrong=989, backtracks=48, failedAssignments=942, nogoods=790, foundSolutions=8, bestBound=34
10.67/4.84	    
10.67/4.86	    num=46, depth=53..69, filters=133415, revisions=(246205,useless=104062), ccks=8170422, wck=1.492, mem=150M760
10.67/4.86	    decisions=10075, wrong=1053, backtracks=57, failedAssignments=997, nogoods=813, foundSolutions=8, bestBound=34
10.67/4.86	    
10.79/4.91	o 32
10.79/4.91	    num=47, depth=63..679, filters=137749, revisions=(254950,useless=108252), ccks=8388938, wck=1.542, mem=158M636
10.79/4.91	    decisions=10520, wrong=1106, backtracks=57, failedAssignments=1050, nogoods=866, foundSolutions=9, bestBound=32
10.79/4.91	    
10.79/4.92	    num=48, depth=55..66, filters=139757, revisions=(258850,useless=110092), ccks=8471801, wck=1.557, mem=158M636
10.79/4.92	    decisions=10735, wrong=1181, backtracks=65, failedAssignments=1117, nogoods=899, foundSolutions=9, bestBound=32
10.79/4.92	    
10.79/4.93	    num=49, depth=57..58, filters=141136, revisions=(261158,useless=110919), ccks=8539580, wck=1.566, mem=158M636
10.79/4.93	    decisions=10820, wrong=1195, backtracks=68, failedAssignments=1128, nogoods=903, foundSolutions=9, bestBound=32
10.79/4.93	    
10.79/4.94	    num=50, depth=50..67, filters=142737, revisions=(263752,useless=111801), ccks=8609331, wck=1.576, mem=161M259
10.79/4.94	    decisions=10911, wrong=1207, backtracks=68, failedAssignments=1140, nogoods=915, foundSolutions=9, bestBound=32
10.79/4.94	    
10.79/4.95	    num=51, depth=44..62, filters=144240, revisions=(266143,useless=112579), ccks=8674704, wck=1.585, mem=161M259
10.79/4.95	    decisions=10999, wrong=1220, backtracks=68, failedAssignments=1153, nogoods=928, foundSolutions=9, bestBound=32
10.79/4.95	    
10.79/4.96	    num=52, depth=40..62, filters=145787, revisions=(268579,useless=113355), ccks=8747455, wck=1.594, mem=161M259
10.79/4.96	    decisions=11089, wrong=1234, backtracks=68, failedAssignments=1167, nogoods=942, foundSolutions=9, bestBound=32
10.79/4.96	    
10.79/4.97	    num=53, depth=46..79, filters=147574, revisions=(271540,useless=114403), ccks=8831992, wck=1.606, mem=161M259
10.79/4.97	    decisions=11200, wrong=1250, backtracks=68, failedAssignments=1183, nogoods=958, foundSolutions=9, bestBound=32
10.79/4.97	    
10.79/4.98	    num=54, depth=44..63, filters=149135, revisions=(274046,useless=115238), ccks=8904068, wck=1.616, mem=161M259
10.79/4.98	    decisions=11297, wrong=1267, backtracks=68, failedAssignments=1200, nogoods=975, foundSolutions=9, bestBound=32
10.79/4.98	    
10.96/5.02	    num=55, depth=45..97, filters=151250, revisions=(277658,useless=116594), ccks=9004852, wck=1.654, mem=34M142
10.96/5.02	    decisions=11432, wrong=1286, backtracks=68, failedAssignments=1219, nogoods=994, foundSolutions=9, bestBound=32
10.96/5.02	    
10.96/5.03	    num=56, depth=43..79, filters=153106, revisions=(280771,useless=117728), ccks=9089268, wck=1.666, mem=34M142
10.96/5.03	    decisions=11553, wrong=1307, backtracks=68, failedAssignments=1240, nogoods=1015, foundSolutions=9, bestBound=32
10.96/5.03	    
10.96/5.05	    num=57, depth=45..107, filters=155446, revisions=(284741,useless=119200), ccks=9195298, wck=1.682, mem=34M142
10.96/5.05	    decisions=11705, wrong=1330, backtracks=68, failedAssignments=1263, nogoods=1038, foundSolutions=9, bestBound=32
10.96/5.05	    
10.96/5.06	    num=58, depth=43..80, filters=157329, revisions=(287942,useless=120395), ccks=9279101, wck=1.695, mem=34M142
10.96/5.06	    decisions=11835, wrong=1355, backtracks=68, failedAssignments=1288, nogoods=1063, foundSolutions=9, bestBound=32
10.96/5.06	    
10.96/5.08	    num=59, depth=48..122, filters=159958, revisions=(292345,useless=122000), ccks=9399348, wck=1.713, mem=38M580
10.96/5.08	    decisions=12013, wrong=1383, backtracks=68, failedAssignments=1316, nogoods=1091, foundSolutions=9, bestBound=32
10.96/5.08	    
10.96/5.09	    num=60, depth=40..80, filters=161875, revisions=(295690,useless=123314), ccks=9488178, wck=1.725, mem=38M580
10.96/5.09	    decisions=12158, wrong=1416, backtracks=70, failedAssignments=1347, nogoods=1120, foundSolutions=9, bestBound=32
10.96/5.09	    
11.08/5.11	    num=61, depth=41..116, filters=164566, revisions=(300434,useless=125201), ccks=9609200, wck=1.743, mem=38M580
11.08/5.11	    decisions=12352, wrong=1455, backtracks=75, failedAssignments=1381, nogoods=1150, foundSolutions=9, bestBound=32
11.08/5.11	    
11.08/5.12	    num=62, depth=53..66, filters=166375, revisions=(303672,useless=126536), ccks=9691036, wck=1.755, mem=38M580
11.08/5.12	    decisions=12498, wrong=1496, backtracks=79, failedAssignments=1418, nogoods=1169, foundSolutions=9, bestBound=32
11.08/5.12	    
11.08/5.13	    num=63, depth=44..74, filters=168365, revisions=(307468,useless=128240), ccks=9781843, wck=1.768, mem=43M18
11.08/5.13	    decisions=12670, wrong=1545, backtracks=87, failedAssignments=1459, nogoods=1185, foundSolutions=9, bestBound=32
11.08/5.13	    
11.08/5.14	    num=64, depth=53..67, filters=170300, revisions=(310959,useless=129713), ccks=9865834, wck=1.78, mem=43M18
11.08/5.14	    decisions=12837, wrong=1596, backtracks=93, failedAssignments=1504, nogoods=1208, foundSolutions=9, bestBound=32
11.08/5.14	    
11.08/5.16	    num=65, depth=49..55, filters=171903, revisions=(313938,useless=131030), ccks=9939015, wck=1.79, mem=43M18
11.08/5.16	    decisions=13005, wrong=1653, backtracks=100, failedAssignments=1554, nogoods=1215, foundSolutions=9, bestBound=32
11.08/5.16	    
11.08/5.18	    num=66, depth=45..156, filters=175062, revisions=(319587,useless=133361), ccks=10092213, wck=1.813, mem=43M18
11.08/5.18	    decisions=13271, wrong=1708, backtracks=100, failedAssignments=1609, nogoods=1270, foundSolutions=9, bestBound=32
11.08/5.18	    
11.08/5.19	    num=67, depth=54..56, filters=176856, revisions=(322932,useless=134862), ccks=10169716, wck=1.824, mem=43M18
11.08/5.19	    decisions=13465, wrong=1778, backtracks=109, failedAssignments=1670, nogoods=1280, foundSolutions=9, bestBound=32
11.08/5.19	    
11.18/5.21	    num=68, depth=47..172, filters=180375, revisions=(329052,useless=137304), ccks=10329253, wck=1.849, mem=47M456
11.18/5.21	    decisions=13770, wrong=1845, backtracks=109, failedAssignments=1737, nogoods=1347, foundSolutions=9, bestBound=32
11.18/5.21	    
11.18/5.23	    num=69, depth=55..71, filters=182897, revisions=(333773,useless=139427), ccks=10430133, wck=1.865, mem=47M456
11.18/5.23	    decisions=14009, wrong=1930, backtracks=120, failedAssignments=1811, nogoods=1373, foundSolutions=9, bestBound=32
11.18/5.23	    
11.18/5.25	    num=70, depth=45..70, filters=185442, revisions=(338926,useless=141948), ccks=10531896, wck=1.88, mem=51M893
11.18/5.25	    decisions=14272, wrong=2027, backtracks=137, failedAssignments=1892, nogoods=1406, foundSolutions=9, bestBound=32
11.18/5.25	    
11.18/5.30	o 30
11.28/5.30	    num=71, depth=45..679, filters=189974, revisions=(348031,useless=146312), ccks=10765194, wck=1.932, mem=56M331
11.28/5.30	    decisions=14756, wrong=2099, backtracks=137, failedAssignments=1964, nogoods=1478, foundSolutions=10, bestBound=30
11.28/5.30	    
11.28/5.33	    num=72, depth=42..207, filters=194138, revisions=(355758,useless=149720), ccks=10957269, wck=1.965, mem=60M769
11.28/5.33	    decisions=15172, wrong=2204, backtracks=144, failedAssignments=2062, nogoods=1555, foundSolutions=10, bestBound=30
11.28/5.33	    
11.28/5.34	    num=73, depth=43..58, filters=195517, revisions=(357980,useless=150459), ccks=11024190, wck=1.974, mem=60M769
11.28/5.34	    decisions=15254, wrong=2216, backtracks=145, failedAssignments=2073, nogoods=1566, foundSolutions=10, bestBound=30
11.28/5.34	    
11.28/5.35	    num=74, depth=43..63, filters=197024, revisions=(360425,useless=151284), ccks=11088416, wck=1.983, mem=60M769
11.28/5.35	    decisions=15343, wrong=2229, backtracks=146, failedAssignments=2085, nogoods=1578, foundSolutions=10, bestBound=30
11.28/5.35	    
11.28/5.36	    num=75, depth=40..70, filters=198616, revisions=(362998,useless=152145), ccks=11159099, wck=1.993, mem=60M769
11.28/5.36	    decisions=15439, wrong=2242, backtracks=146, failedAssignments=2098, nogoods=1591, foundSolutions=10, bestBound=30
11.28/5.36	    
11.28/5.37	    num=76, depth=44..70, filters=200192, revisions=(365641,useless=153097), ccks=11230157, wck=2.003, mem=65M207
11.28/5.37	    decisions=15537, wrong=2256, backtracks=146, failedAssignments=2112, nogoods=1605, foundSolutions=10, bestBound=30
11.28/5.37	    
11.28/5.38	    num=77, depth=42..70, filters=201803, revisions=(368289,useless=154012), ccks=11301481, wck=2.013, mem=65M207
11.28/5.38	    decisions=15639, wrong=2272, backtracks=146, failedAssignments=2128, nogoods=1621, foundSolutions=10, bestBound=30
11.28/5.38	    
11.28/5.39	    num=78, depth=49..59, filters=203275, revisions=(370836,useless=154983), ccks=11370208, wck=2.022, mem=65M207
11.28/5.39	    decisions=15737, wrong=2292, backtracks=149, failedAssignments=2145, nogoods=1629, foundSolutions=10, bestBound=30
11.28/5.39	    
11.28/5.40	    num=79, depth=43..53, filters=204711, revisions=(373297,useless=155923), ccks=11435361, wck=2.031, mem=65M207
11.28/5.40	    decisions=15831, wrong=2313, backtracks=151, failedAssignments=2164, nogoods=1634, foundSolutions=10, bestBound=30
11.28/5.40	    
11.39/5.40	    num=80, depth=39..40, filters=205799, revisions=(375208,useless=156679), ccks=11487942, wck=2.038, mem=65M207
11.39/5.40	    decisions=15920, wrong=2338, backtracks=155, failedAssignments=2185, nogoods=1638, foundSolutions=10, bestBound=30
11.39/5.40	    
11.39/5.41	    num=81, depth=50..78, filters=207539, revisions=(378277,useless=157890), ccks=11571340, wck=2.05, mem=65M207
11.39/5.41	    decisions=16046, wrong=2362, backtracks=156, failedAssignments=2208, nogoods=1656, foundSolutions=10, bestBound=30
11.39/5.41	    
11.39/5.42	    num=82, depth=37..39, filters=208654, revisions=(380289,useless=158724), ccks=11623297, wck=2.057, mem=65M207
11.39/5.42	    decisions=16144, wrong=2392, backtracks=161, failedAssignments=2233, nogoods=1661, foundSolutions=10, bestBound=30
11.39/5.42	    
11.39/5.44	    num=83, depth=46..94, filters=210777, revisions=(383898,useless=160082), ccks=11721430, wck=2.071, mem=69M645
11.39/5.44	    decisions=16293, wrong=2420, backtracks=161, failedAssignments=2261, nogoods=1689, foundSolutions=10, bestBound=30
11.39/5.44	    
11.39/5.45	    num=84, depth=48..87, filters=212818, revisions=(387481,useless=161512), ccks=11816983, wck=2.084, mem=69M645
11.39/5.45	    decisions=16444, wrong=2452, backtracks=162, failedAssignments=2292, nogoods=1720, foundSolutions=10, bestBound=30
11.39/5.45	    
11.39/5.46	    num=85, depth=46..61, filters=214727, revisions=(390859,useless=162895), ccks=11898602, wck=2.096, mem=69M645
11.39/5.46	    decisions=16586, wrong=2493, backtracks=169, failedAssignments=2326, nogoods=1727, foundSolutions=10, bestBound=30
11.39/5.46	    
11.39/5.47	    num=86, depth=42..68, filters=216572, revisions=(394226,useless=164317), ccks=11980424, wck=2.108, mem=69M645
11.39/5.47	    decisions=16734, wrong=2534, backtracks=173, failedAssignments=2363, nogoods=1751, foundSolutions=10, bestBound=30
11.39/5.47	    
11.39/5.48	    num=87, depth=46..64, filters=218300, revisions=(397361,useless=165643), ccks=12060656, wck=2.119, mem=69M645
11.39/5.48	    decisions=16888, wrong=2579, backtracks=177, failedAssignments=2404, nogoods=1777, foundSolutions=10, bestBound=30
11.39/5.48	    
11.39/5.50	    num=88, depth=46..67, filters=220287, revisions=(401040,useless=167234), ccks=12147486, wck=2.131, mem=69M645
11.39/5.50	    decisions=17055, wrong=2630, backtracks=183, failedAssignments=2449, nogoods=1795, foundSolutions=10, bestBound=30
11.39/5.50	    
11.50/5.51	    num=89, depth=43..76, filters=222347, revisions=(404882,useless=168925), ccks=12238695, wck=2.144, mem=74M83
11.50/5.51	    decisions=17242, wrong=2686, backtracks=189, failedAssignments=2499, nogoods=1817, foundSolutions=10, bestBound=30
11.50/5.51	    
11.50/5.53	    num=90, depth=44..139, filters=225361, revisions=(410217,useless=171093), ccks=12378752, wck=2.166, mem=74M83
11.50/5.53	    decisions=17495, wrong=2743, backtracks=191, failedAssignments=2554, nogoods=1865, foundSolutions=10, bestBound=30
11.50/5.53	    
11.50/5.54	    num=91, depth=45..61, filters=227240, revisions=(413856,useless=172800), ccks=12462909, wck=2.178, mem=74M83
11.50/5.54	    decisions=17692, wrong=2812, backtracks=199, failedAssignments=2615, nogoods=1898, foundSolutions=10, bestBound=30
11.50/5.54	    
11.50/5.56	    num=92, depth=45..112, filters=230051, revisions=(418929,useless=174946), ccks=12588023, wck=2.198, mem=78M520
11.50/5.56	    decisions=17936, wrong=2880, backtracks=200, failedAssignments=2682, nogoods=1961, foundSolutions=10, bestBound=30
11.50/5.56	    
11.50/5.59	    num=93, depth=46..187, filters=233875, revisions=(425758,useless=177784), ccks=12769164, wck=2.227, mem=78M520
11.50/5.59	    decisions=18276, wrong=2957, backtracks=203, failedAssignments=2756, nogoods=2031, foundSolutions=10, bestBound=30
11.50/5.59	    
11.60/5.62	    num=94, depth=45..212, filters=237774, revisions=(432615,useless=180569), ccks=12959541, wck=2.257, mem=82M958
11.60/5.62	    decisions=18650, wrong=3038, backtracks=203, failedAssignments=2837, nogoods=2112, foundSolutions=10, bestBound=30
11.60/5.62	    
11.60/5.66	    num=95, depth=45..234, filters=242001, revisions=(440069,useless=183631), ccks=13166258, wck=2.29, mem=87M396
11.60/5.66	    decisions=19063, wrong=3128, backtracks=204, failedAssignments=2926, nogoods=2198, foundSolutions=10, bestBound=30
11.60/5.66	    
11.60/5.69	    num=96, depth=45..248, filters=246348, revisions=(447763,useless=186811), ccks=13374917, wck=2.325, mem=91M834
11.60/5.69	    decisions=19507, wrong=3226, backtracks=204, failedAssignments=3024, nogoods=2296, foundSolutions=10, bestBound=30
11.60/5.69	    
11.70/5.72	    num=97, depth=46..178, filters=250214, revisions=(455462,useless=190527), ccks=13553095, wck=2.355, mem=91M834
11.70/5.72	    decisions=19927, wrong=3347, backtracks=217, failedAssignments=3132, nogoods=2361, foundSolutions=10, bestBound=30
11.70/5.72	    
11.70/5.76	    num=98, depth=45..285, filters=254864, revisions=(463783,useless=194046), ccks=13777281, wck=2.393, mem=96M272
11.70/5.76	    decisions=20449, wrong=3466, backtracks=217, failedAssignments=3251, nogoods=2480, foundSolutions=10, bestBound=30
11.70/5.76	    
11.70/5.79	    num=99, depth=46..151, filters=258775, revisions=(471913,useless=198188), ccks=13937249, wck=2.421, mem=100M710
11.70/5.79	    decisions=20906, wrong=3619, backtracks=239, failedAssignments=3382, nogoods=2532, foundSolutions=10, bestBound=30
11.70/5.79	    
11.80/5.84	o 28
11.80/5.84	    num=100, depth=45..679, filters=263608, revisions=(481502,useless=202790), ccks=14169831, wck=2.475, mem=109M585
11.80/5.84	    decisions=21491, wrong=3742, backtracks=239, failedAssignments=3505, nogoods=2655, foundSolutions=11, bestBound=28
11.80/5.84	    
11.80/5.86	    num=101, depth=41..71, filters=267073, revisions=(489227,useless=207024), ccks=14293509, wck=2.498, mem=109M585
11.80/5.86	    decisions=21932, wrong=3929, backtracks=268, failedAssignments=3663, nogoods=2681, foundSolutions=11, bestBound=28
11.80/5.86	    
11.80/5.87	    num=102, depth=47..50, filters=268343, revisions=(491288,useless=207717), ccks=14354481, wck=2.506, mem=109M585
11.80/5.87	    decisions=22004, wrong=3940, backtracks=268, failedAssignments=3674, nogoods=2692, foundSolutions=11, bestBound=28
11.80/5.87	    
11.80/5.88	    num=103, depth=44..65, filters=269845, revisions=(493736,useless=208547), ccks=14423240, wck=2.516, mem=109M585
11.80/5.88	    decisions=22092, wrong=3952, backtracks=268, failedAssignments=3686, nogoods=2704, foundSolutions=11, bestBound=28
11.80/5.88	    
11.80/5.89	    num=104, depth=41..50, filters=271097, revisions=(495764,useless=209231), ccks=14476777, wck=2.523, mem=114M967
11.80/5.89	    decisions=22167, wrong=3965, backtracks=268, failedAssignments=3699, nogoods=2717, foundSolutions=11, bestBound=28
11.80/5.89	    
11.80/5.90	    num=105, depth=42..45, filters=272290, revisions=(497727,useless=209918), ccks=14527645, wck=2.53, mem=114M967
11.80/5.90	    decisions=22240, wrong=3979, backtracks=268, failedAssignments=3713, nogoods=2731, foundSolutions=11, bestBound=28
11.80/5.90	    
11.92/5.91	    num=106, depth=65..67, filters=273971, revisions=(500656,useless=211040), ccks=14596431, wck=2.541, mem=114M967
11.92/5.91	    decisions=22343, wrong=3997, backtracks=270, failedAssignments=3729, nogoods=2743, foundSolutions=11, bestBound=28
11.92/5.91	    
11.92/5.91	    num=107, depth=42..49, filters=275299, revisions=(502906,useless=211871), ccks=14654292, wck=2.549, mem=114M967
11.92/5.91	    decisions=22430, wrong=4016, backtracks=272, failedAssignments=3746, nogoods=2757, foundSolutions=11, bestBound=28
11.92/5.91	    
11.92/5.92	    num=108, depth=36..48, filters=276609, revisions=(505111,useless=212683), ccks=14711082, wck=2.556, mem=114M967
11.92/5.92	    decisions=22518, wrong=4036, backtracks=273, failedAssignments=3765, nogoods=2772, foundSolutions=11, bestBound=28
11.92/5.92	    
11.92/5.93	    num=109, depth=41..49, filters=278027, revisions=(507464,useless=213540), ccks=14769943, wck=2.565, mem=114M967
11.92/5.93	    decisions=22617, wrong=4062, backtracks=278, failedAssignments=3786, nogoods=2781, foundSolutions=11, bestBound=28
11.92/5.93	    
11.92/5.94	    num=110, depth=38..46, filters=279381, revisions=(509702,useless=214345), ccks=14829758, wck=2.573, mem=114M967
11.92/5.94	    decisions=22712, wrong=4087, backtracks=280, failedAssignments=3809, nogoods=2795, foundSolutions=11, bestBound=28
11.92/5.94	    
11.92/5.95	    num=111, depth=36..68, filters=281095, revisions=(512594,useless=215412), ccks=14909154, wck=2.585, mem=114M967
11.92/5.95	    decisions=22830, wrong=4112, backtracks=280, failedAssignments=3834, nogoods=2820, foundSolutions=11, bestBound=28
11.92/5.95	    
11.92/5.96	    num=112, depth=39..48, filters=282357, revisions=(514657,useless=216143), ccks=14966553, wck=2.593, mem=114M967
11.92/5.96	    decisions=22936, wrong=4141, backtracks=281, failedAssignments=3862, nogoods=2838, foundSolutions=11, bestBound=28
11.92/5.96	    
11.92/5.97	    num=113, depth=37..45, filters=283879, revisions=(517256,useless=217141), ccks=15031693, wck=2.602, mem=119M405
11.92/5.97	    decisions=23047, wrong=4174, backtracks=283, failedAssignments=3893, nogoods=2859, foundSolutions=11, bestBound=28
11.92/5.97	    
11.92/5.97	    num=114, depth=40..42, filters=285068, revisions=(519197,useless=217842), ccks=15087328, wck=2.61, mem=119M405
11.92/5.97	    decisions=23158, wrong=4209, backtracks=284, failedAssignments=3927, nogoods=2882, foundSolutions=11, bestBound=28
11.92/5.97	    
11.92/5.99	    num=115, depth=39..61, filters=286752, revisions=(522358,useless=219229), ccks=15160726, wck=2.62, mem=119M405
11.92/5.99	    decisions=23306, wrong=4253, backtracks=291, failedAssignments=3964, nogoods=2902, foundSolutions=11, bestBound=28
11.92/5.99	    
11.92/6.00	    num=116, depth=45..54, filters=288538, revisions=(525545,useless=220553), ccks=15237417, wck=2.632, mem=119M405
11.92/6.00	    decisions=23451, wrong=4299, backtracks=296, failedAssignments=4005, nogoods=2921, foundSolutions=11, bestBound=28
11.92/6.00	    
11.92/6.01	    num=117, depth=38..41, filters=289995, revisions=(528308,useless=221806), ccks=15296732, wck=2.64, mem=119M405
11.92/6.01	    decisions=23594, wrong=4351, backtracks=303, failedAssignments=4050, nogoods=2937, foundSolutions=11, bestBound=28
11.92/6.01	    
12.06/6.02	    num=118, depth=43..92, filters=292448, revisions=(532580,useless=223518), ccks=15406948, wck=2.657, mem=119M405
12.06/6.02	    decisions=23791, wrong=4404, backtracks=306, failedAssignments=4100, nogoods=2983, foundSolutions=11, bestBound=28
12.06/6.02	    
12.06/6.03	    num=119, depth=39..48, filters=294205, revisions=(536001,useless=225141), ccks=15481059, wck=2.667, mem=123M843
12.06/6.03	    decisions=23960, wrong=4465, backtracks=314, failedAssignments=4155, nogoods=3003, foundSolutions=11, bestBound=28
12.06/6.03	    
12.06/6.04	    num=120, depth=37..47, filters=296186, revisions=(540081,useless=227193), ccks=15559257, wck=2.679, mem=123M843
12.06/6.04	    decisions=24150, wrong=4538, backtracks=327, failedAssignments=4216, nogoods=3025, foundSolutions=11, bestBound=28
12.06/6.04	    
12.06/6.07	    num=121, depth=38..141, filters=299418, revisions=(545732,useless=229452), ccks=15708251, wck=2.702, mem=123M843
12.06/6.07	    decisions=24425, wrong=4605, backtracks=327, failedAssignments=4283, nogoods=3092, foundSolutions=11, bestBound=28
12.06/6.07	    
12.06/6.08	    num=122, depth=5..43, filters=301438, revisions=(549716,useless=231395), ccks=15788648, wck=2.715, mem=123M843
12.06/6.08	    decisions=24637, wrong=4690, backtracks=338, failedAssignments=4357, nogoods=3102, foundSolutions=11, bestBound=28
12.06/6.08	    
12.06/6.10	    num=123, depth=37..68, filters=303977, revisions=(554691,useless=233764), ccks=15893894, wck=2.731, mem=128M280
12.06/6.10	    decisions=24888, wrong=4783, backtracks=351, failedAssignments=4438, nogoods=3127, foundSolutions=11, bestBound=28
12.06/6.10	    
12.19/6.11	    num=124, depth=45..86, filters=306944, revisions=(560186,useless=236202), ccks=16010402, wck=2.748, mem=128M280
12.19/6.11	    decisions=25170, wrong=4881, backtracks=360, failedAssignments=4527, nogoods=3170, foundSolutions=11, bestBound=28
12.19/6.11	    
12.19/6.13	    num=125, depth=40..49, filters=309182, revisions=(564974,useless=238733), ccks=16099421, wck=2.762, mem=128M280
12.19/6.13	    decisions=25454, wrong=4999, backtracks=380, failedAssignments=4625, nogoods=3204, foundSolutions=11, bestBound=28
12.19/6.13	    
12.19/6.15	    num=126, depth=7..154, filters=313031, revisions=(572080,useless=241879), ccks=16262397, wck=2.788, mem=132M718
12.19/6.15	    decisions=25836, wrong=5113, backtracks=386, failedAssignments=4733, nogoods=3287, foundSolutions=11, bestBound=28
12.19/6.15	    
12.19/6.17	    num=127, depth=41..47, filters=316252, revisions=(578642,useless=245212), ccks=16370569, wck=2.806, mem=132M718
12.19/6.17	    decisions=26165, wrong=5254, backtracks=408, failedAssignments=4852, nogoods=3294, foundSolutions=11, bestBound=28
12.19/6.17	    
12.19/6.19	    num=128, depth=43..80, filters=319063, revisions=(584318,useless=248063), ccks=16480134, wck=2.824, mem=132M718
12.19/6.19	    decisions=26537, wrong=5401, backtracks=424, failedAssignments=4983, nogoods=3320, foundSolutions=11, bestBound=28
12.19/6.19	    
12.30/6.21	    num=129, depth=38..102, filters=322694, revisions=(591831,useless=251891), ccks=16627040, wck=2.848, mem=137M156
12.30/6.21	    decisions=26960, wrong=5562, backtracks=442, failedAssignments=5127, nogoods=3372, foundSolutions=11, bestBound=28
12.30/6.21	    
12.30/6.23	    num=130, depth=42..77, filters=326211, revisions=(599454,useless=256024), ccks=16745711, wck=2.868, mem=137M156
12.30/6.23	    decisions=27400, wrong=5745, backtracks=467, failedAssignments=5285, nogoods=3393, foundSolutions=11, bestBound=28
12.30/6.23	    
12.30/6.26	    num=131, depth=38..117, filters=331183, revisions=(609070,useless=260618), ccks=16934897, wck=2.899, mem=141M594
12.30/6.26	    decisions=27901, wrong=5937, backtracks=486, failedAssignments=5459, nogoods=3440, foundSolutions=11, bestBound=28
12.30/6.26	    
12.30/6.29	    num=132, depth=43..76, filters=335355, revisions=(618383,useless=265790), ccks=17079238, wck=2.924, mem=141M594
12.30/6.29	    decisions=28427, wrong=6163, backtracks=522, failedAssignments=5650, nogoods=3471, foundSolutions=11, bestBound=28
12.30/6.29	    
12.40/6.31	    num=133, depth=39..48, filters=339012, revisions=(626759,useless=270590), ccks=17213207, wck=2.946, mem=146M32
12.40/6.31	    decisions=28978, wrong=6416, backtracks=564, failedAssignments=5861, nogoods=3504, foundSolutions=11, bestBound=28
12.40/6.31	    
12.40/6.37	o 26
12.40/6.37	    num=134, depth=43..679, filters=344142, revisions=(636942,useless=275541), ccks=17454792, wck=3.002, mem=154M908
12.40/6.37	    decisions=29630, wrong=6572, backtracks=564, failedAssignments=6017, nogoods=3660, foundSolutions=12, bestBound=26
12.40/6.37	    
12.40/6.40	    num=135, depth=38..48, filters=348581, revisions=(647710,useless=281972), ccks=17612951, wck=3.031, mem=154M908
12.40/6.40	    decisions=30301, wrong=6885, backtracks=622, failedAssignments=6272, nogoods=3687, foundSolutions=12, bestBound=26
12.40/6.40	    
12.55/6.40	    num=136, depth=1..47, filters=349684, revisions=(649515,useless=282594), ccks=17665967, wck=3.038, mem=154M908
12.55/6.40	    decisions=30370, wrong=6896, backtracks=622, failedAssignments=6283, nogoods=3698, foundSolutions=12, bestBound=26
12.55/6.40	    
12.55/6.41	    num=137, depth=37..43, filters=350765, revisions=(651266,useless=283191), ccks=17713499, wck=3.045, mem=154M908
12.55/6.41	    decisions=30437, wrong=6908, backtracks=622, failedAssignments=6295, nogoods=3710, foundSolutions=12, bestBound=26
12.55/6.41	    
12.55/6.42	    num=138, depth=42..58, filters=352104, revisions=(653427,useless=283916), ccks=17772543, wck=3.053, mem=154M908
12.55/6.42	    decisions=30521, wrong=6921, backtracks=622, failedAssignments=6308, nogoods=3723, foundSolutions=12, bestBound=26
12.55/6.42	    
12.55/6.43	    num=139, depth=41..59, filters=353485, revisions=(655715,useless=284730), ccks=17833576, wck=3.061, mem=159M345
12.55/6.43	    decisions=30608, wrong=6935, backtracks=622, failedAssignments=6322, nogoods=3737, foundSolutions=12, bestBound=26
12.55/6.43	    
12.55/6.43	    num=140, depth=42..55, filters=354773, revisions=(657880,useless=285523), ccks=17887530, wck=3.069, mem=159M345
12.55/6.43	    decisions=30695, wrong=6951, backtracks=622, failedAssignments=6338, nogoods=3753, foundSolutions=12, bestBound=26
12.55/6.43	    
12.55/6.44	    num=141, depth=40..46, filters=355993, revisions=(659843,useless=286189), ccks=17938532, wck=3.076, mem=159M345
12.55/6.44	    decisions=30776, wrong=6969, backtracks=623, failedAssignments=6355, nogoods=3766, foundSolutions=12, bestBound=26
12.55/6.44	    
12.55/6.45	    num=142, depth=42..56, filters=357326, revisions=(662142,useless=287073), ccks=17993465, wck=3.084, mem=159M345
12.55/6.45	    decisions=30872, wrong=6990, backtracks=625, failedAssignments=6374, nogoods=3776, foundSolutions=12, bestBound=26
12.55/6.45	    
12.55/6.46	    num=143, depth=39..45, filters=358619, revisions=(664335,useless=287888), ccks=18045374, wck=3.091, mem=159M345
12.55/6.46	    decisions=30962, wrong=7013, backtracks=627, failedAssignments=6395, nogoods=3785, foundSolutions=12, bestBound=26
12.55/6.46	    
12.55/6.46	    num=144, depth=41..55, filters=359956, revisions=(666696,useless=288838), ccks=18100226, wck=3.099, mem=159M345
12.55/6.46	    decisions=31065, wrong=7038, backtracks=629, failedAssignments=6418, nogoods=3799, foundSolutions=12, bestBound=26
12.55/6.46	    
12.55/6.47	    num=145, depth=42..45, filters=361341, revisions=(669215,useless=289889), ccks=18154021, wck=3.107, mem=159M345
12.55/6.47	    decisions=31164, wrong=7066, backtracks=633, failedAssignments=6443, nogoods=3812, foundSolutions=12, bestBound=26
12.55/6.47	    
12.55/6.48	    num=146, depth=37..66, filters=362985, revisions=(671881,useless=290817), ccks=18222707, wck=3.117, mem=159M345
12.55/6.48	    decisions=31286, wrong=7094, backtracks=633, failedAssignments=6471, nogoods=3840, foundSolutions=12, bestBound=26
12.55/6.48	    
12.55/6.49	    num=147, depth=40..67, filters=364635, revisions=(674897,useless=292093), ccks=18289637, wck=3.127, mem=159M345
12.55/6.49	    decisions=31421, wrong=7129, backtracks=637, failedAssignments=6502, nogoods=3863, foundSolutions=12, bestBound=26
12.55/6.49	    
12.65/6.50	    num=148, depth=40..56, filters=366243, revisions=(677888,useless=293387), ccks=18361579, wck=3.137, mem=159M345
12.65/6.50	    decisions=31556, wrong=7169, backtracks=643, failedAssignments=6536, nogoods=3880, foundSolutions=12, bestBound=26
12.65/6.50	    
12.65/6.51	    num=149, depth=40..51, filters=367807, revisions=(680762,useless=294629), ccks=18427459, wck=3.146, mem=163M783
12.65/6.51	    decisions=31686, wrong=7210, backtracks=648, failedAssignments=6573, nogoods=3892, foundSolutions=12, bestBound=26
12.65/6.51	    
12.65/6.52	    num=150, depth=41..47, filters=369609, revisions=(683977,useless=295975), ccks=18500070, wck=3.156, mem=163M783
12.65/6.52	    decisions=31830, wrong=7259, backtracks=656, failedAssignments=6614, nogoods=3900, foundSolutions=12, bestBound=26
12.65/6.52	    
12.65/6.53	    num=151, depth=39..60, filters=371356, revisions=(687436,useless=297605), ccks=18572656, wck=3.167, mem=163M783
12.65/6.53	    decisions=31992, wrong=7312, backtracks=665, failedAssignments=6659, nogoods=3910, foundSolutions=12, bestBound=26
12.65/6.53	    
12.65/6.54	    num=152, depth=41..47, filters=373313, revisions=(691025,useless=299176), ccks=18648694, wck=3.178, mem=163M783
12.65/6.54	    decisions=32156, wrong=7371, backtracks=674, failedAssignments=6709, nogoods=3923, foundSolutions=12, bestBound=26
12.65/6.54	    
12.65/6.56	    num=153, depth=39..77, filters=375377, revisions=(694935,useless=300938), ccks=18739569, wck=3.191, mem=163M783
12.65/6.56	    decisions=32346, wrong=7430, backtracks=679, failedAssignments=6764, nogoods=3973, foundSolutions=12, bestBound=26
12.65/6.56	    
12.65/6.57	    num=154, depth=41..47, filters=377514, revisions=(698951,useless=302775), ccks=18820303, wck=3.203, mem=163M783
12.65/6.57	    decisions=32538, wrong=7503, backtracks=691, failedAssignments=6825, nogoods=3983, foundSolutions=12, bestBound=26
12.65/6.57	    
12.65/6.58	    num=155, depth=38..40, filters=379610, revisions=(703074,useless=304767), ccks=18896788, wck=3.214, mem=168M221
12.65/6.58	    decisions=32732, wrong=7580, backtracks=701, failedAssignments=6892, nogoods=4004, foundSolutions=12, bestBound=26
12.65/6.58	    
12.65/6.59	    num=156, depth=39..47, filters=381821, revisions=(707662,useless=307104), ccks=18980585, wck=3.226, mem=168M221
12.65/6.59	    decisions=32951, wrong=7667, backtracks=714, failedAssignments=6966, nogoods=4027, foundSolutions=12, bestBound=26
12.65/6.59	    
12.75/6.60	    num=157, depth=39..42, filters=383784, revisions=(712122,useless=309578), ccks=19057586, wck=3.238, mem=168M221
12.75/6.60	    decisions=33185, wrong=7764, backtracks=736, failedAssignments=7047, nogoods=4038, foundSolutions=12, bestBound=26
12.75/6.60	    
12.75/6.62	    num=158, depth=37..61, filters=386147, revisions=(717122,useless=312139), ccks=19150108, wck=3.253, mem=168M221
12.75/6.62	    decisions=33443, wrong=7863, backtracks=748, failedAssignments=7136, nogoods=4071, foundSolutions=12, bestBound=26
12.75/6.62	    
12.75/6.63	    num=159, depth=34..36, filters=388390, revisions=(722624,useless=315433), ccks=19240605, wck=3.266, mem=172M659
12.75/6.63	    decisions=33756, wrong=8002, backtracks=794, failedAssignments=7234, nogoods=4083, foundSolutions=12, bestBound=26
12.75/6.63	    
12.75/6.65	    num=160, depth=37..61, filters=390995, revisions=(728139,useless=318295), ccks=19337022, wck=3.281, mem=172M659
12.75/6.65	    decisions=34062, wrong=8126, backtracks=810, failedAssignments=7342, nogoods=4120, foundSolutions=12, bestBound=26
12.75/6.65	    
12.75/6.67	    num=161, depth=38..40, filters=394752, revisions=(735890,useless=322280), ccks=19467564, wck=3.301, mem=172M659
12.75/6.67	    decisions=34399, wrong=8275, backtracks=841, failedAssignments=7461, nogoods=4144, foundSolutions=12, bestBound=26
12.75/6.67	    
12.75/6.68	    num=162, depth=38..41, filters=397710, revisions=(742374,useless=325816), ccks=19568939, wck=3.317, mem=172M659
12.75/6.68	    decisions=34756, wrong=8434, backtracks=869, failedAssignments=7592, nogoods=4167, foundSolutions=12, bestBound=26
12.75/6.68	    
12.86/6.70	    num=163, depth=33..54, filters=400710, revisions=(749345,useless=329798), ccks=19666174, wck=3.333, mem=177M97
12.86/6.70	    decisions=35157, wrong=8608, backtracks=901, failedAssignments=7736, nogoods=4190, foundSolutions=12, bestBound=26
12.86/6.70	    
12.86/6.72	    num=164, depth=38..48, filters=403560, revisions=(755866,useless=333511), ccks=19776491, wck=3.351, mem=177M97
12.86/6.72	    decisions=35589, wrong=8801, backtracks=936, failedAssignments=7894, nogoods=4212, foundSolutions=12, bestBound=26
12.86/6.72	    
12.86/6.74	    num=165, depth=35..101, filters=407325, revisions=(763707,useless=337592), ccks=19925088, wck=3.375, mem=181M535
12.86/6.74	    decisions=36065, wrong=8989, backtracks=954, failedAssignments=8068, nogoods=4322, foundSolutions=12, bestBound=26
12.86/6.74	    
12.86/6.76	    num=166, depth=38..49, filters=410929, revisions=(771867,useless=342201), ccks=20055038, wck=3.396, mem=181M535
12.86/6.76	    decisions=36572, wrong=9219, backtracks=993, failedAssignments=8259, nogoods=4340, foundSolutions=12, bestBound=26
12.86/6.76	    
12.86/6.78	    num=167, depth=1..56, filters=414752, revisions=(780175,useless=346723), ccks=20175461, wck=3.417, mem=181M535
12.86/6.78	    decisions=37094, wrong=9453, backtracks=1020, failedAssignments=8470, nogoods=4387, foundSolutions=12, bestBound=26
12.86/6.78	    
12.96/6.81	    num=168, depth=37..48, filters=419471, revisions=(790488,useless=352393), ccks=20325592, wck=3.442, mem=185M972
12.96/6.81	    decisions=37682, wrong=9725, backtracks=1060, failedAssignments=8702, nogoods=4426, foundSolutions=12, bestBound=26
12.96/6.81	    
12.96/6.83	    num=169, depth=34..56, filters=423596, revisions=(800089,useless=357918), ccks=20456677, wck=3.465, mem=185M972
12.96/6.83	    decisions=38308, wrong=10012, backtracks=1095, failedAssignments=8957, nogoods=4452, foundSolutions=12, bestBound=26
12.96/6.83	    
12.96/6.87	    num=170, depth=38..178, filters=429887, revisions=(812568,useless=364112), ccks=20708088, wck=3.507, mem=190M410
12.96/6.87	    decisions=39103, wrong=10321, backtracks=1124, failedAssignments=9238, nogoods=4605, foundSolutions=12, bestBound=26
12.96/6.87	    
13.06/6.90	    num=171, depth=37..40, filters=434863, revisions=(823023,useless=369783), ccks=20857138, wck=3.533, mem=194M848
13.06/6.90	    decisions=39829, wrong=10664, backtracks=1158, failedAssignments=9547, nogoods=4616, foundSolutions=12, bestBound=26
13.06/6.90	    
13.06/6.93	    num=172, depth=36..41, filters=440809, revisions=(837325,useless=378329), ccks=21032512, wck=3.564, mem=194M848
13.06/6.93	    decisions=40691, wrong=11076, backtracks=1230, failedAssignments=9887, nogoods=4633, foundSolutions=12, bestBound=26
13.06/6.93	    
13.06/6.96	    num=173, depth=36..56, filters=446170, revisions=(850995,useless=386794), ccks=21192469, wck=3.595, mem=199M286
13.06/6.96	    decisions=41622, wrong=11514, backtracks=1295, failedAssignments=10261, nogoods=4668, foundSolutions=12, bestBound=26
13.06/6.96	    
13.06/7.00	    num=174, depth=37..98, filters=453763, revisions=(869162,useless=397509), ccks=21442648, wck=3.64, mem=203M724
13.06/7.00	    decisions=42711, wrong=12010, backtracks=1380, failedAssignments=10672, nogoods=4742, foundSolutions=12, bestBound=26
13.06/7.00	    
13.17/7.04	    num=175, depth=38..42, filters=460820, revisions=(887970,useless=409527), ccks=21630581, wck=3.678, mem=208M162
13.17/7.04	    decisions=43894, wrong=12581, backtracks=1508, failedAssignments=11124, nogoods=4749, foundSolutions=12, bestBound=26
13.17/7.04	    
13.17/7.10	o 24
13.17/7.10	    num=176, depth=35..679, filters=466135, revisions=(898590,useless=414735), ccks=21876395, wck=3.737, mem=217M37
13.17/7.10	    decisions=44640, wrong=12784, backtracks=1509, failedAssignments=11326, nogoods=4945, foundSolutions=13, bestBound=24
13.17/7.10	    
13.27/7.17	    num=177, depth=33..47, filters=478285, revisions=(928473,useless=432652), ccks=22241749, wck=3.802, mem=221M475
13.27/7.17	    decisions=46062, wrong=13473, backtracks=1658, failedAssignments=11873, nogoods=4971, foundSolutions=13, bestBound=24
13.27/7.17	    
13.27/7.17	    num=178, depth=35..44, filters=479448, revisions=(930317,useless=433252), ccks=22296520, wck=3.809, mem=221M475
13.27/7.17	    decisions=46127, wrong=13484, backtracks=1658, failedAssignments=11884, nogoods=4982, foundSolutions=13, bestBound=24
13.27/7.17	    
13.27/7.18	    num=179, depth=36..41, filters=480517, revisions=(932005,useless=433792), ccks=22345022, wck=3.816, mem=221M475
13.27/7.18	    decisions=46193, wrong=13497, backtracks=1659, failedAssignments=11896, nogoods=4992, foundSolutions=13, bestBound=24
13.27/7.18	    
13.27/7.19	    num=180, depth=37..47, filters=481662, revisions=(933953,useless=434510), ccks=22396561, wck=3.823, mem=221M475
13.27/7.19	    decisions=46265, wrong=13510, backtracks=1659, failedAssignments=11909, nogoods=5005, foundSolutions=13, bestBound=24
13.27/7.19	    
13.27/7.19	    num=181, depth=36..42, filters=482758, revisions=(935729,useless=435114), ccks=22445652, wck=3.829, mem=221M475
13.27/7.19	    decisions=46336, wrong=13525, backtracks=1660, failedAssignments=11923, nogoods=5017, foundSolutions=13, bestBound=24
13.27/7.19	    
13.36/7.20	    num=182, depth=46..59, filters=484193, revisions=(938145,useless=435983), ccks=22507795, wck=3.838, mem=221M475
13.36/7.20	    decisions=46428, wrong=13543, backtracks=1662, failedAssignments=11939, nogoods=5023, foundSolutions=13, bestBound=24
13.36/7.20	    
13.36/7.21	    num=183, depth=36..41, filters=485355, revisions=(940087,useless=436688), ccks=22558761, wck=3.845, mem=221M475
13.36/7.21	    decisions=46508, wrong=13563, backtracks=1665, failedAssignments=11956, nogoods=5028, foundSolutions=13, bestBound=24
13.36/7.21	    
13.36/7.22	    num=184, depth=55..65, filters=486955, revisions=(942873,useless=437758), ccks=22626864, wck=3.855, mem=225M913
13.36/7.22	    decisions=46611, wrong=13582, backtracks=1665, failedAssignments=11975, nogoods=5047, foundSolutions=13, bestBound=24
13.36/7.22	    
13.36/7.23	    num=185, depth=36..41, filters=488176, revisions=(944983,useless=438572), ccks=22679121, wck=3.862, mem=225M913
13.36/7.23	    decisions=46702, wrong=13607, backtracks=1669, failedAssignments=11996, nogoods=5054, foundSolutions=13, bestBound=24
13.36/7.23	    
13.36/7.23	    num=186, depth=34..37, filters=489433, revisions=(946850,useless=439112), ccks=22729706, wck=3.869, mem=225M913
13.36/7.23	    decisions=46788, wrong=13632, backtracks=1671, failedAssignments=12019, nogoods=5065, foundSolutions=13, bestBound=24
13.36/7.23	    
13.36/7.24	    num=187, depth=38..39, filters=490634, revisions=(948869,useless=439862), ccks=22781864, wck=3.877, mem=225M913
13.36/7.24	    decisions=46881, wrong=13659, backtracks=1673, failedAssignments=12044, nogoods=5074, foundSolutions=13, bestBound=24
13.36/7.24	    
13.36/7.25	    num=188, depth=35..37, filters=491987, revisions=(951030,useless=440609), ccks=22837011, wck=3.884, mem=225M913
13.36/7.25	    decisions=46980, wrong=13691, backtracks=1677, failedAssignments=12072, nogoods=5089, foundSolutions=13, bestBound=24
13.36/7.25	    
13.36/7.26	    num=189, depth=38..39, filters=493275, revisions=(953160,useless=441390), ccks=22890387, wck=3.892, mem=225M913
13.36/7.26	    decisions=47086, wrong=13725, backtracks=1680, failedAssignments=12103, nogoods=5098, foundSolutions=13, bestBound=24
13.36/7.26	    
13.36/7.27	    num=190, depth=34..38, filters=494850, revisions=(955847,useless=442437), ccks=22950809, wck=3.9, mem=225M913
13.36/7.27	    decisions=47202, wrong=13765, backtracks=1686, failedAssignments=12137, nogoods=5106, foundSolutions=13, bestBound=24
13.36/7.27	    
13.36/7.27	    num=191, depth=33..37, filters=496256, revisions=(958491,useless=443618), ccks=23004932, wck=3.908, mem=225M913
13.36/7.27	    decisions=47323, wrong=13808, backtracks=1695, failedAssignments=12174, nogoods=5115, foundSolutions=13, bestBound=24
13.36/7.27	    
13.36/7.28	    num=192, depth=34..59, filters=498034, revisions=(961585,useless=444851), ccks=23075016, wck=3.919, mem=225M913
13.36/7.28	    decisions=47469, wrong=13852, backtracks=1698, failedAssignments=12215, nogoods=5148, foundSolutions=13, bestBound=24
13.36/7.28	    
13.36/7.29	    num=193, depth=36..48, filters=499634, revisions=(964611,useless=446211), ccks=23141242, wck=3.928, mem=225M913
13.36/7.29	    decisions=47625, wrong=13906, backtracks=1707, failedAssignments=12260, nogoods=5167, foundSolutions=13, bestBound=24
13.36/7.29	    
13.47/7.30	    num=194, depth=40..60, filters=501519, revisions=(968251,useless=447875), ccks=23213287, wck=3.939, mem=230M351
13.47/7.30	    decisions=47803, wrong=13965, backtracks=1716, failedAssignments=12310, nogoods=5193, foundSolutions=13, bestBound=24
13.47/7.30	    
13.47/7.31	    num=195, depth=38..41, filters=503178, revisions=(971399,useless=449317), ccks=23278351, wck=3.949, mem=230M351
13.47/7.31	    decisions=47974, wrong=14031, backtracks=1727, failedAssignments=12365, nogoods=5195, foundSolutions=13, bestBound=24
13.47/7.31	    
13.47/7.32	    num=196, depth=34..38, filters=505047, revisions=(974889,useless=450895), ccks=23347116, wck=3.959, mem=230M351
13.47/7.32	    decisions=48150, wrong=14101, backtracks=1736, failedAssignments=12426, nogoods=5209, foundSolutions=13, bestBound=24
13.47/7.32	    
13.47/7.34	    num=197, depth=35..46, filters=506966, revisions=(978906,useless=452967), ccks=23432313, wck=3.972, mem=230M351
13.47/7.34	    decisions=48357, wrong=14182, backtracks=1750, failedAssignments=12493, nogoods=5228, foundSolutions=13, bestBound=24
13.47/7.34	    
13.47/7.35	    num=198, depth=35..69, filters=509177, revisions=(983398,useless=455185), ccks=23521219, wck=3.986, mem=230M351
13.47/7.35	    decisions=48590, wrong=14266, backtracks=1761, failedAssignments=12567, nogoods=5265, foundSolutions=13, bestBound=24
13.47/7.35	    
13.47/7.36	    num=199, depth=34..47, filters=510998, revisions=(987294,useless=457248), ccks=23593659, wck=3.997, mem=230M351
13.47/7.36	    decisions=48821, wrong=14360, backtracks=1774, failedAssignments=12648, nogoods=5272, foundSolutions=13, bestBound=24
13.47/7.36	    
13.47/7.37	    num=200, depth=34..38, filters=513320, revisions=(991670,useless=459286), ccks=23676756, wck=4.009, mem=234M789
13.47/7.37	    decisions=49056, wrong=14459, backtracks=1784, failedAssignments=12737, nogoods=5290, foundSolutions=13, bestBound=24
13.47/7.37	    
13.47/7.39	    num=201, depth=33..44, filters=515615, revisions=(997443,useless=462740), ccks=23759006, wck=4.023, mem=234M789
13.47/7.39	    decisions=49362, wrong=14590, backtracks=1817, failedAssignments=12835, nogoods=5304, foundSolutions=13, bestBound=24
13.47/7.39	    
13.58/7.40	    num=202, depth=34..38, filters=518290, revisions=(1002961,useless=465580), ccks=23854497, wck=4.037, mem=234M789
13.58/7.40	    decisions=49652, wrong=14717, backtracks=1836, failedAssignments=12943, nogoods=5325, foundSolutions=13, bestBound=24
13.58/7.40	    
13.58/7.42	    num=203, depth=35..40, filters=520649, revisions=(1007937,useless=468211), ccks=23935113, wck=4.051, mem=234M789
13.58/7.42	    decisions=49973, wrong=14858, backtracks=1858, failedAssignments=13062, nogoods=5342, foundSolutions=13, bestBound=24
13.58/7.42	    
13.58/7.43	    num=204, depth=34..75, filters=523685, revisions=(1014091,useless=471314), ccks=24049712, wck=4.069, mem=239M227
13.58/7.43	    decisions=50340, wrong=15005, backtracks=1874, failedAssignments=13193, nogoods=5379, foundSolutions=13, bestBound=24
13.58/7.43	    
13.58/7.45	    num=205, depth=35..39, filters=526415, revisions=(1020640,useless=475162), ccks=24136593, wck=4.084, mem=239M227
13.58/7.45	    decisions=50723, wrong=15178, backtracks=1903, failedAssignments=13337, nogoods=5396, foundSolutions=13, bestBound=24
13.58/7.45	    
13.58/7.47	    num=206, depth=34..39, filters=529519, revisions=(1027576,useless=479045), ccks=24238618, wck=4.101, mem=239M227
13.58/7.47	    decisions=51135, wrong=15366, backtracks=1933, failedAssignments=13495, nogoods=5411, foundSolutions=13, bestBound=24
13.58/7.47	    
13.58/7.49	    num=207, depth=33..36, filters=533114, revisions=(1034732,useless=482654), ccks=24355843, wck=4.12, mem=243M664
13.58/7.49	    decisions=51563, wrong=15563, backtracks=1956, failedAssignments=13669, nogoods=5419, foundSolutions=13, bestBound=24
13.58/7.49	    
13.69/7.51	    num=208, depth=34..38, filters=537327, revisions=(1042421,useless=486208), ccks=24484631, wck=4.141, mem=243M664
13.69/7.51	    decisions=52019, wrong=15773, backtracks=1975, failedAssignments=13860, nogoods=5432, foundSolutions=13, bestBound=24
13.69/7.51	    
13.69/7.53	    num=209, depth=33..36, filters=541512, revisions=(1051113,useless=490797), ccks=24611938, wck=4.163, mem=243M664
13.69/7.53	    decisions=52525, wrong=16008, backtracks=1999, failedAssignments=14071, nogoods=5464, foundSolutions=13, bestBound=24
13.69/7.53	    
13.69/7.55	    num=210, depth=35..40, filters=545399, revisions=(1058964,useless=494870), ccks=24740822, wck=4.184, mem=248M102
13.69/7.55	    decisions=53069, wrong=16262, backtracks=2025, failedAssignments=14303, nogoods=5471, foundSolutions=13, bestBound=24
13.69/7.55	    
13.69/7.59	    num=211, depth=30..33, filters=551922, revisions=(1076656,useless=506054), ccks=24972968, wck=4.222, mem=248M102
13.69/7.59	    decisions=53862, wrong=16643, backtracks=2176, failedAssignments=14558, nogoods=5483, foundSolutions=13, bestBound=24
13.69/7.59	    
13.79/7.62	    num=212, depth=34..54, filters=557668, revisions=(1090267,useless=514018), ccks=25169701, wck=4.255, mem=252M540
13.79/7.62	    decisions=54578, wrong=16975, backtracks=2227, failedAssignments=14839, nogoods=5512, foundSolutions=13, bestBound=24
13.79/7.62	    
13.79/7.65	    num=213, depth=36..40, filters=562214, revisions=(1101719,useless=521065), ccks=25305948, wck=4.281, mem=253M51
13.79/7.65	    decisions=55361, wrong=17347, backtracks=2292, failedAssignments=15148, nogoods=5548, foundSolutions=13, bestBound=24
13.79/7.65	    
13.79/7.70	    num=214, depth=33..77, filters=567701, revisions=(1114258,useless=528301), ccks=25487301, wck=4.331, mem=36M38
13.79/7.70	    decisions=56188, wrong=17723, backtracks=2338, failedAssignments=15488, nogoods=5609, foundSolutions=13, bestBound=24
13.79/7.70	    
13.94/7.73	    num=215, depth=35..40, filters=573955, revisions=(1129452,useless=537439), ccks=25663152, wck=4.363, mem=40M480
13.94/7.73	    decisions=57115, wrong=18168, backtracks=2410, failedAssignments=15862, nogoods=5646, foundSolutions=13, bestBound=24
13.94/7.73	    
13.94/7.77	    num=216, depth=36..76, filters=581184, revisions=(1147727,useless=548695), ccks=25888533, wck=4.404, mem=44M921
13.94/7.77	    decisions=58192, wrong=18669, backtracks=2504, failedAssignments=16273, nogoods=5697, foundSolutions=13, bestBound=24
13.94/7.77	    
14.04/7.81	    num=217, depth=34..39, filters=588924, revisions=(1166105,useless=559617), ccks=26089118, wck=4.442, mem=44M921
14.04/7.81	    decisions=59301, wrong=19205, backtracks=2591, failedAssignments=16725, nogoods=5728, foundSolutions=13, bestBound=24
14.04/7.81	    
14.04/7.86	    num=218, depth=34..124, filters=597860, revisions=(1186637,useless=571373), ccks=26376101, wck=4.493, mem=53M804
14.04/7.86	    decisions=60558, wrong=19772, backtracks=2667, failedAssignments=17222, nogoods=5838, foundSolutions=13, bestBound=24
14.04/7.86	    
14.14/7.90	    num=219, depth=35..40, filters=605692, revisions=(1206713,useless=583942), ccks=26581803, wck=4.534, mem=53M804
14.14/7.90	    decisions=61920, wrong=20435, backtracks=2783, failedAssignments=17769, nogoods=5840, foundSolutions=13, bestBound=24
14.14/7.90	    
14.14/7.95	    num=220, depth=33..37, filters=616064, revisions=(1232160,useless=599423), ccks=26889114, wck=4.588, mem=58M245
14.14/7.95	    decisions=63413, wrong=21164, backtracks=2920, failedAssignments=18371, nogoods=5859, foundSolutions=13, bestBound=24
14.14/7.95	    
14.14/8.00	    num=221, depth=33..39, filters=624539, revisions=(1253856,useless=613184), ccks=27118935, wck=4.632, mem=62M687
14.14/8.00	    decisions=64990, wrong=21935, backtracks=3042, failedAssignments=19033, nogoods=5882, foundSolutions=13, bestBound=24
14.14/8.00	    
14.25/8.06	    num=222, depth=34..39, filters=636561, revisions=(1285886,useless=633702), ccks=27470977, wck=4.695, mem=71M569
14.25/8.06	    decisions=66753, wrong=22798, backtracks=3215, failedAssignments=19761, nogoods=5896, foundSolutions=13, bestBound=24
14.25/8.06	    
14.35/8.15	    num=223, depth=38..244, filters=649327, revisions=(1315017,useless=650489), ccks=27930464, wck=4.781, mem=80M452
14.35/8.15	    decisions=68798, wrong=23700, backtracks=3317, failedAssignments=20562, nogoods=6219, foundSolutions=13, bestBound=24
14.35/8.15	    
14.44/8.22	    num=224, depth=34..38, filters=665213, revisions=(1354500,useless=674669), ccks=28352183, wck=4.859, mem=89M335
14.44/8.22	    decisions=70985, wrong=24775, backtracks=3524, failedAssignments=21443, nogoods=6238, foundSolutions=13, bestBound=24
14.44/8.22	    
14.54/8.31	    num=225, depth=34..39, filters=682101, revisions=(1396479,useless=700352), ccks=28833768, wck=4.947, mem=98M218
14.54/8.31	    decisions=73292, wrong=25911, backtracks=3728, failedAssignments=22413, nogoods=6266, foundSolutions=13, bestBound=24
14.54/8.31	    
14.64/8.40	    num=226, depth=32..37, filters=699299, revisions=(1442007,useless=729435), ccks=29303657, wck=5.035, mem=102M659
14.64/8.40	    decisions=75960, wrong=27228, backtracks=3999, failedAssignments=23480, nogoods=6274, foundSolutions=13, bestBound=24
14.64/8.40	    
14.74/8.52	    num=227, depth=32..223, filters=719871, revisions=(1490320,useless=757811), ccks=29926901, wck=5.152, mem=115M984
14.74/8.52	    decisions=78910, wrong=28592, backtracks=4195, failedAssignments=24653, nogoods=6556, foundSolutions=13, bestBound=24
14.74/8.52	    
14.84/8.64	    num=228, depth=35..140, filters=742029, revisions=(1546876,useless=793035), ccks=30571919, wck=5.278, mem=129M308
14.84/8.64	    decisions=82192, wrong=30164, backtracks=4490, failedAssignments=25944, nogoods=6692, foundSolutions=13, bestBound=24
14.84/8.64	    
14.94/8.77	    num=229, depth=33..39, filters=766242, revisions=(1606096,useless=828992), ccks=31178442, wck=5.401, mem=142M632
14.94/8.77	    decisions=85687, wrong=31894, backtracks=4805, failedAssignments=27364, nogoods=6702, foundSolutions=13, bestBound=24
14.94/8.77	    
15.14/8.91	o 22
15.14/8.91	    num=230, depth=33..679, filters=786379, revisions=(1658608,useless=862374), ccks=31810752, wck=5.544, mem=164M839
15.14/8.91	    decisions=89511, wrong=33637, backtracks=5077, failedAssignments=28841, nogoods=6988, foundSolutions=14, bestBound=22
15.14/8.91	    
15.26/9.02	    num=231, depth=28..32, filters=805697, revisions=(1727545,useless=913144), ccks=32231453, wck=5.651, mem=173M722
15.26/9.02	    decisions=94265, wrong=35999, backtracks=5810, failedAssignments=30559, nogoods=6990, foundSolutions=14, bestBound=22
15.26/9.02	    
15.26/9.02	    num=232, depth=32..37, filters=806671, revisions=(1729061,useless=913618), ccks=32281343, wck=5.658, mem=173M722
15.26/9.02	    decisions=94325, wrong=36011, backtracks=5811, failedAssignments=30570, nogoods=6997, foundSolutions=14, bestBound=22
15.26/9.02	    
15.26/9.03	    num=233, depth=30..32, filters=807600, revisions=(1730690,useless=914257), ccks=32325794, wck=5.664, mem=178M163
15.26/9.03	    decisions=94390, wrong=36028, backtracks=5816, failedAssignments=30582, nogoods=7000, foundSolutions=14, bestBound=22
15.26/9.03	    
15.26/9.03	    num=234, depth=29..31, filters=808542, revisions=(1732370,useless=914932), ccks=32369032, wck=5.67, mem=178M163
15.26/9.03	    decisions=94461, wrong=36049, backtracks=5825, failedAssignments=30595, nogoods=7001, foundSolutions=14, bestBound=22
15.26/9.03	    
15.26/9.04	    num=235, depth=33..34, filters=809555, revisions=(1733886,useless=915373), ccks=32414142, wck=5.675, mem=178M163
15.26/9.04	    decisions=94524, wrong=36064, backtracks=5826, failedAssignments=30609, nogoods=7006, foundSolutions=14, bestBound=22
15.26/9.04	    
15.26/9.05	    num=236, depth=30..32, filters=810553, revisions=(1735743,useless=916177), ccks=32459806, wck=5.682, mem=178M163
15.26/9.05	    decisions=94601, wrong=36087, backtracks=5834, failedAssignments=30625, nogoods=7010, foundSolutions=14, bestBound=22
15.26/9.05	    
15.26/9.05	    num=237, depth=29..31, filters=811474, revisions=(1737327,useless=916782), ccks=32502130, wck=5.687, mem=178M163
15.26/9.05	    decisions=94671, wrong=36107, backtracks=5838, failedAssignments=30642, nogoods=7013, foundSolutions=14, bestBound=22
15.26/9.05	    
15.26/9.06	    num=238, depth=33..36, filters=812682, revisions=(1739414,useless=917598), ccks=32554429, wck=5.694, mem=178M163
15.26/9.06	    decisions=94753, wrong=36131, backtracks=5843, failedAssignments=30661, nogoods=7024, foundSolutions=14, bestBound=22
15.26/9.06	    
15.26/9.07	    num=239, depth=30..32, filters=813739, revisions=(1741504,useless=918581), ccks=32602487, wck=5.701, mem=178M163
15.26/9.07	    decisions=94845, wrong=36162, backtracks=5854, failedAssignments=30682, nogoods=7030, foundSolutions=14, bestBound=22
15.26/9.07	    
15.26/9.07	    num=240, depth=33..38, filters=814768, revisions=(1743214,useless=919206), ccks=32650302, wck=5.707, mem=178M163
15.26/9.07	    decisions=94932, wrong=36187, backtracks=5856, failedAssignments=30705, nogoods=7042, foundSolutions=14, bestBound=22
15.26/9.07	    
15.26/9.08	    num=241, depth=29..32, filters=815893, revisions=(1745507,useless=920318), ccks=32700166, wck=5.714, mem=178M163
15.26/9.08	    decisions=95034, wrong=36223, backtracks=5870, failedAssignments=30730, nogoods=7047, foundSolutions=14, bestBound=22
15.26/9.08	    
15.26/9.09	    num=242, depth=33..36, filters=817322, revisions=(1748114,useless=921434), ccks=32756890, wck=5.722, mem=178M163
15.26/9.09	    decisions=95139, wrong=36259, backtracks=5879, failedAssignments=30758, nogoods=7054, foundSolutions=14, bestBound=22
15.26/9.09	    
15.26/9.09	    num=243, depth=29..32, filters=818442, revisions=(1750349,useless=922493), ccks=32804980, wck=5.729, mem=178M163
15.26/9.09	    decisions=95246, wrong=36297, backtracks=5888, failedAssignments=30789, nogoods=7060, foundSolutions=14, bestBound=22
15.26/9.09	    
15.26/9.10	    num=244, depth=32..42, filters=819789, revisions=(1752791,useless=923528), ccks=32860541, wck=5.736, mem=178M163
15.26/9.10	    decisions=95361, wrong=36334, backtracks=5891, failedAssignments=30823, nogoods=7082, foundSolutions=14, bestBound=22
15.26/9.10	    
15.37/9.11	    num=245, depth=29..32, filters=820972, revisions=(1755324,useless=924825), ccks=32910632, wck=5.743, mem=178M163
15.37/9.11	    decisions=95486, wrong=36381, backtracks=5903, failedAssignments=30860, nogoods=7086, foundSolutions=14, bestBound=22
15.37/9.11	    
15.37/9.12	    num=246, depth=35..37, filters=822367, revisions=(1757800,useless=925867), ccks=32968371, wck=5.752, mem=182M605
15.37/9.12	    decisions=95615, wrong=36428, backtracks=5909, failedAssignments=30901, nogoods=7099, foundSolutions=14, bestBound=22
15.37/9.12	    
15.37/9.13	    num=247, depth=29..32, filters=823868, revisions=(1761093,useless=927598), ccks=33030476, wck=5.761, mem=182M605
15.37/9.13	    decisions=95764, wrong=36487, backtracks=5927, failedAssignments=30946, nogoods=7108, foundSolutions=14, bestBound=22
15.37/9.13	    
15.37/9.13	    num=248, depth=33..43, filters=825426, revisions=(1763914,useless=928817), ccks=33091957, wck=5.77, mem=182M605
15.37/9.13	    decisions=95914, wrong=36541, backtracks=5931, failedAssignments=30996, nogoods=7140, foundSolutions=14, bestBound=22
15.37/9.13	    
15.37/9.15	    num=249, depth=29..32, filters=827254, revisions=(1768135,useless=931157), ccks=33160843, wck=5.78, mem=182M605
15.37/9.15	    decisions=96107, wrong=36623, backtracks=5961, failedAssignments=31051, nogoods=7146, foundSolutions=14, bestBound=22
15.37/9.15	    
15.37/9.15	    num=250, depth=33..37, filters=828934, revisions=(1771110,useless=932436), ccks=33224538, wck=5.789, mem=182M605
15.37/9.15	    decisions=96278, wrong=36691, backtracks=5968, failedAssignments=31112, nogoods=7156, foundSolutions=14, bestBound=22
15.37/9.15	    
15.37/9.16	    num=251, depth=29..32, filters=830685, revisions=(1775236,useless=934767), ccks=33291268, wck=5.799, mem=183M218
15.37/9.16	    decisions=96489, wrong=36781, backtracks=5998, failedAssignments=31179, nogoods=7166, foundSolutions=14, bestBound=22
15.37/9.16	    
15.37/9.17	    num=252, depth=29..31, filters=832069, revisions=(1778504,useless=936637), ccks=33346613, wck=5.808, mem=183M218
15.37/9.17	    decisions=96711, wrong=36877, backtracks=6022, failedAssignments=31253, nogoods=7171, foundSolutions=14, bestBound=22
15.37/9.17	    
15.37/9.19	    num=253, depth=33..56, filters=834104, revisions=(1782523,useless=938583), ccks=33425355, wck=5.82, mem=187M660
15.37/9.19	    decisions=96940, wrong=36964, backtracks=6030, failedAssignments=31334, nogoods=7218, foundSolutions=14, bestBound=22
15.37/9.19	    
15.47/9.20	    num=254, depth=29..32, filters=836566, revisions=(1788498,useless=942048), ccks=33522947, wck=5.835, mem=187M660
15.47/9.20	    decisions=97222, wrong=37090, backtracks=6075, failedAssignments=31423, nogoods=7222, foundSolutions=14, bestBound=22
15.47/9.20	    
15.47/9.22	    num=255, depth=36..70, filters=839061, revisions=(1793553,useless=944577), ccks=33621351, wck=5.85, mem=187M660
15.47/9.22	    decisions=97510, wrong=37200, backtracks=6087, failedAssignments=31521, nogoods=7264, foundSolutions=14, bestBound=22
15.47/9.22	    
15.47/9.23	    num=256, depth=28..32, filters=841471, revisions=(1800432,useless=949026), ccks=33705919, wck=5.864, mem=187M660
15.47/9.23	    decisions=97853, wrong=37356, backtracks=6152, failedAssignments=31629, nogoods=7267, foundSolutions=14, bestBound=22
15.47/9.23	    
15.47/9.25	    num=257, depth=33..62, filters=844214, revisions=(1806161,useless=951982), ccks=33808488, wck=5.881, mem=192M101
15.47/9.25	    decisions=98184, wrong=37491, backtracks=6169, failedAssignments=31748, nogoods=7303, foundSolutions=14, bestBound=22
15.47/9.25	    
15.47/9.26	    num=258, depth=29..32, filters=846528, revisions=(1812771,useless=956302), ccks=33892781, wck=5.895, mem=192M101
15.47/9.26	    decisions=98564, wrong=37666, backtracks=6221, failedAssignments=31879, nogoods=7319, foundSolutions=14, bestBound=22
15.47/9.26	    
15.47/9.28	    num=259, depth=34..37, filters=850150, revisions=(1820096,useless=960034), ccks=34014523, wck=5.914, mem=192M101
15.47/9.28	    decisions=98947, wrong=37840, backtracks=6251, failedAssignments=32023, nogoods=7343, foundSolutions=14, bestBound=22
15.47/9.28	    
15.47/9.30	    num=260, depth=29..32, filters=853061, revisions=(1827829,useless=964875), ccks=34115300, wck=5.931, mem=196M542
15.47/9.30	    decisions=99414, wrong=38058, backtracks=6321, failedAssignments=32181, nogoods=7350, foundSolutions=14, bestBound=22
15.47/9.30	    
15.58/9.31	    num=261, depth=32..38, filters=856113, revisions=(1835980,useless=970063), ccks=34223860, wck=5.949, mem=196M542
15.58/9.31	    decisions=99883, wrong=38275, backtracks=6369, failedAssignments=32355, nogoods=7368, foundSolutions=14, bestBound=22
15.58/9.31	    
15.58/9.34	    num=262, depth=29..32, filters=859890, revisions=(1845924,useless=976281), ccks=34363253, wck=5.972, mem=196M542
15.58/9.34	    decisions=100458, wrong=38547, backtracks=6459, failedAssignments=32546, nogoods=7382, foundSolutions=14, bestBound=22
15.58/9.34	    
15.58/9.36	    num=263, depth=33..38, filters=864417, revisions=(1856537,useless=982423), ccks=34502580, wck=5.995, mem=200M984
15.58/9.36	    decisions=101004, wrong=38803, backtracks=6508, failedAssignments=32757, nogoods=7393, foundSolutions=14, bestBound=22
15.58/9.36	    
15.58/9.39	    num=264, depth=29..32, filters=868475, revisions=(1868233,useless=990126), ccks=34647036, wck=6.026, mem=205M425
15.58/9.39	    decisions=101676, wrong=39123, backtracks=6611, failedAssignments=32989, nogoods=7411, foundSolutions=14, bestBound=22
15.58/9.39	    
15.68/9.42	    num=265, depth=32..37, filters=873695, revisions=(1880476,useless=997234), ccks=34804114, wck=6.054, mem=205M425
15.68/9.42	    decisions=102323, wrong=39429, backtracks=6665, failedAssignments=33244, nogoods=7425, foundSolutions=14, bestBound=22
15.68/9.42	    
15.68/9.44	    num=266, depth=29..32, filters=877395, revisions=(1890793,useless=1004036), ccks=34932449, wck=6.076, mem=209M867
15.68/9.44	    decisions=103049, wrong=39776, backtracks=6741, failedAssignments=33525, nogoods=7435, foundSolutions=14, bestBound=22
15.68/9.44	    
15.68/9.47	    num=267, depth=31..38, filters=883155, revisions=(1904367,useless=1011983), ccks=35105651, wck=6.106, mem=209M867
15.68/9.47	    decisions=103833, wrong=40150, backtracks=6806, failedAssignments=33834, nogoods=7467, foundSolutions=14, bestBound=22
15.68/9.47	    
15.78/9.50	    num=268, depth=29..32, filters=887950, revisions=(1918867,useless=1021914), ccks=35264130, wck=6.135, mem=214M308
15.78/9.50	    decisions=104779, wrong=40607, backtracks=6943, failedAssignments=34174, nogoods=7473, foundSolutions=14, bestBound=22
15.78/9.50	    
15.78/9.53	    num=269, depth=33..38, filters=894422, revisions=(1934412,useless=1031148), ccks=35452082, wck=6.169, mem=218M749
15.78/9.53	    decisions=105687, wrong=41043, backtracks=7007, failedAssignments=34548, nogoods=7495, foundSolutions=14, bestBound=22
15.78/9.53	    
15.78/9.57	    num=270, depth=29..32, filters=900017, revisions=(1950080,useless=1041378), ccks=35639230, wck=6.203, mem=218M749
15.78/9.57	    decisions=106765, wrong=41566, backtracks=7133, failedAssignments=34959, nogoods=7500, foundSolutions=14, bestBound=22
15.78/9.57	    
15.89/9.62	    num=271, depth=33..37, filters=909704, revisions=(1973029,useless=1054758), ccks=35936709, wck=6.253, mem=223M191
15.89/9.62	    decisions=107939, wrong=42136, backtracks=7253, failedAssignments=35411, nogoods=7515, foundSolutions=14, bestBound=22
15.89/9.62	    
15.89/9.66	    num=272, depth=29..32, filters=916416, revisions=(1992529,useless=1067746), ccks=36157474, wck=6.293, mem=227M632
15.89/9.66	    decisions=109256, wrong=42779, backtracks=7421, failedAssignments=35908, nogoods=7523, foundSolutions=14, bestBound=22
15.89/9.66	    
15.99/9.71	    num=273, depth=32..59, filters=925789, revisions=(2016317,useless=1082441), ccks=36418749, wck=6.342, mem=232M74
15.99/9.71	    decisions=110605, wrong=43426, backtracks=7523, failedAssignments=36455, nogoods=7564, foundSolutions=14, bestBound=22
15.99/9.71	    
15.99/9.79	    num=274, depth=28..32, filters=939488, revisions=(2055466,useless=1108035), ccks=36880643, wck=6.42, mem=240M957
15.99/9.79	    decisions=112343, wrong=44279, backtracks=7841, failedAssignments=37057, nogoods=7576, foundSolutions=14, bestBound=22
15.99/9.79	    
16.09/9.84	    num=275, depth=31..48, filters=949359, revisions=(2080271,useless=1123482), ccks=37192878, wck=6.475, mem=245M398
16.09/9.84	    decisions=113962, wrong=45067, backtracks=7970, failedAssignments=37719, nogoods=7616, foundSolutions=14, bestBound=22
16.09/9.84	    
16.19/9.90	    num=276, depth=16..39, filters=960365, revisions=(2109464,useless=1142162), ccks=37532995, wck=6.536, mem=249M839
16.19/9.90	    decisions=115784, wrong=45959, backtracks=8137, failedAssignments=38447, nogoods=7626, foundSolutions=14, bestBound=22
16.19/9.90	    
16.19/9.95	    num=277, depth=27..31, filters=969913, revisions=(2140411,useless=1164147), ccks=37770290, wck=6.59, mem=254M943
16.19/9.95	    decisions=118028, wrong=47067, backtracks=8487, failedAssignments=39248, nogoods=7638, foundSolutions=14, bestBound=22
16.19/9.95	    
16.35/10.06	    num=278, depth=31..37, filters=986808, revisions=(2180593,useless=1187975), ccks=38245048, wck=6.69, mem=39M758
16.35/10.06	    decisions=120157, wrong=48114, backtracks=8658, failedAssignments=40129, nogoods=7658, foundSolutions=14, bestBound=22
16.35/10.06	    
16.45/10.12	    num=279, depth=26..30, filters=998270, revisions=(2218110,useless=1214766), ccks=38524596, wck=6.754, mem=46M928
16.45/10.12	    decisions=122874, wrong=49459, backtracks=9089, failedAssignments=41099, nogoods=7677, foundSolutions=14, bestBound=22
16.45/10.12	    
16.54/10.21	    num=280, depth=31..38, filters=1017650, revisions=(2263512,useless=1241405), ccks=39050640, wck=6.847, mem=54M98
16.54/10.21	    decisions=125407, wrong=50708, backtracks=9275, failedAssignments=42166, nogoods=7708, foundSolutions=14, bestBound=22
16.54/10.21	    
16.54/10.29	    num=281, depth=27..31, filters=1031373, revisions=(2310808,useless=1275857), ccks=39400146, wck=6.926, mem=68M438
16.54/10.29	    decisions=128746, wrong=52363, backtracks=9819, failedAssignments=43339, nogoods=7714, foundSolutions=14, bestBound=22
16.54/10.29	    
16.74/10.40	    num=282, depth=33..67, filters=1052572, revisions=(2366006,useless=1310684), ccks=39992985, wck=7.037, mem=75M608
16.74/10.40	    decisions=131943, wrong=53930, backtracks=10097, failedAssignments=44630, nogoods=7764, foundSolutions=14, bestBound=22
16.74/10.40	    
16.84/10.52	    num=283, depth=28..31, filters=1069444, revisions=(2422204,useless=1350989), ccks=40483773, wck=7.154, mem=97M118
16.84/10.52	    decisions=135783, wrong=55835, backtracks=10649, failedAssignments=46050, nogoods=7777, foundSolutions=14, bestBound=22
16.84/10.52	    
16.94/10.64	    num=284, depth=33..66, filters=1093186, revisions=(2484230,useless=1390491), ccks=41101656, wck=7.276, mem=104M288
16.94/10.64	    decisions=139583, wrong=57703, backtracks=10960, failedAssignments=47612, nogoods=7851, foundSolutions=14, bestBound=22
16.94/10.64	    
17.04/10.76	    num=285, depth=27..31, filters=1114199, revisions=(2556933,useless=1443437), ccks=41605318, wck=7.395, mem=118M628
17.04/10.76	    decisions=144402, wrong=60097, backtracks=11753, failedAssignments=49330, nogoods=7862, foundSolutions=14, bestBound=22
17.04/10.76	    
17.14/10.87	o 20
17.14/10.87	    num=286, depth=31..679, filters=1128406, revisions=(2590518,useless=1463620), ccks=42079767, wck=7.506, mem=140M138
17.14/10.87	    decisions=147315, wrong=61386, backtracks=11874, failedAssignments=50506, nogoods=8394, foundSolutions=15, bestBound=20
17.14/10.87	    
17.35/11.08	    num=287, depth=26..30, filters=1165663, revisions=(2698206,useless=1535567), ccks=43159108, wck=7.71, mem=154M478
17.35/11.08	    decisions=153091, wrong=64259, backtracks=12789, failedAssignments=52585, nogoods=8406, foundSolutions=15, bestBound=20
17.35/11.08	    
17.35/11.08	    num=288, depth=28..29, filters=1166461, revisions=(2699450,useless=1535950), ccks=43201532, wck=7.716, mem=161M648
17.35/11.08	    decisions=153145, wrong=64272, backtracks=12791, failedAssignments=52596, nogoods=8408, foundSolutions=15, bestBound=20
17.35/11.08	    
17.35/11.09	    num=289, depth=28..29, filters=1167244, revisions=(2700732,useless=1536388), ccks=43239416, wck=7.721, mem=161M648
17.35/11.09	    decisions=153202, wrong=64286, backtracks=12793, failedAssignments=52608, nogoods=8412, foundSolutions=15, bestBound=20
17.35/11.09	    
17.35/11.09	    num=290, depth=16..37, filters=1168283, revisions=(2702365,useless=1536907), ccks=43287752, wck=7.727, mem=161M648
17.35/11.09	    decisions=153266, wrong=64300, backtracks=12794, failedAssignments=52621, nogoods=8422, foundSolutions=15, bestBound=20
17.35/11.09	    
17.35/11.10	    num=291, depth=29..30, filters=1169176, revisions=(2703744,useless=1537329), ccks=43331927, wck=7.732, mem=161M648
17.35/11.10	    decisions=153326, wrong=64315, backtracks=12795, failedAssignments=52635, nogoods=8429, foundSolutions=15, bestBound=20
17.35/11.10	    
17.35/11.10	    num=292, depth=35..38, filters=1170317, revisions=(2705767,useless=1538134), ccks=43382525, wck=7.739, mem=161M648
17.35/11.10	    decisions=153405, wrong=64336, backtracks=12800, failedAssignments=52651, nogoods=8439, foundSolutions=15, bestBound=20
17.35/11.10	    
17.45/11.11	    num=293, depth=29..30, filters=1171242, revisions=(2707223,useless=1538604), ccks=43426215, wck=7.744, mem=161M648
17.45/11.11	    decisions=153471, wrong=64354, backtracks=12801, failedAssignments=52668, nogoods=8449, foundSolutions=15, bestBound=20
17.45/11.11	    
17.45/11.12	    num=294, depth=35..37, filters=1172396, revisions=(2709278,useless=1539431), ccks=43476471, wck=7.751, mem=161M648
17.45/11.12	    decisions=153552, wrong=64377, backtracks=12805, failedAssignments=52687, nogoods=8453, foundSolutions=15, bestBound=20
17.45/11.12	    
17.45/11.12	    num=295, depth=29..30, filters=1173407, revisions=(2710976,useless=1540058), ccks=43522531, wck=7.757, mem=161M648
17.45/11.12	    decisions=153630, wrong=64401, backtracks=12808, failedAssignments=52708, nogoods=8459, foundSolutions=15, bestBound=20
17.45/11.12	    
17.45/11.13	    num=296, depth=35..38, filters=1174527, revisions=(2713068,useless=1540961), ccks=43572595, wck=7.764, mem=161M648
17.45/11.13	    decisions=153723, wrong=64429, backtracks=12813, failedAssignments=52731, nogoods=8465, foundSolutions=15, bestBound=20
17.45/11.13	    
17.45/11.14	    num=297, depth=29..30, filters=1175649, revisions=(2715032,useless=1541749), ccks=43622396, wck=7.77, mem=161M648
17.45/11.14	    decisions=153813, wrong=64459, backtracks=12818, failedAssignments=52756, nogoods=8471, foundSolutions=15, bestBound=20
17.45/11.14	    
17.45/11.14	    num=298, depth=34..37, filters=1176914, revisions=(2717399,useless=1542786), ccks=43676060, wck=7.778, mem=161M648
17.45/11.14	    decisions=153915, wrong=64492, backtracks=12823, failedAssignments=52784, nogoods=8478, foundSolutions=15, bestBound=20
17.45/11.14	    
17.45/11.15	    num=299, depth=29..31, filters=1177988, revisions=(2719399,useless=1543661), ccks=43724057, wck=7.784, mem=161M648
17.45/11.15	    decisions=154022, wrong=64530, backtracks=12830, failedAssignments=52815, nogoods=8484, foundSolutions=15, bestBound=20
17.45/11.15	    
17.45/11.16	    num=300, depth=15..36, filters=1179412, revisions=(2721909,useless=1544686), ccks=43782084, wck=7.792, mem=161M648
17.45/11.16	    decisions=154135, wrong=64569, backtracks=12835, failedAssignments=52849, nogoods=8495, foundSolutions=15, bestBound=20
17.45/11.16	    
17.45/11.16	    num=301, depth=29..31, filters=1180542, revisions=(2724059,useless=1545662), ccks=43832630, wck=7.799, mem=161M648
17.45/11.16	    decisions=154259, wrong=64616, backtracks=12845, failedAssignments=52886, nogoods=8500, foundSolutions=15, bestBound=20
17.45/11.16	    
17.45/11.17	    num=302, depth=34..36, filters=1182195, revisions=(2727005,useless=1546894), ccks=43894846, wck=7.807, mem=161M648
17.45/11.17	    decisions=154390, wrong=64664, backtracks=12852, failedAssignments=52927, nogoods=8519, foundSolutions=15, bestBound=20
17.45/11.17	    
17.45/11.18	    num=303, depth=29..31, filters=1183405, revisions=(2729409,useless=1548055), ccks=43948734, wck=7.815, mem=161M648
17.45/11.18	    decisions=154534, wrong=64721, backtracks=12864, failedAssignments=52972, nogoods=8525, foundSolutions=15, bestBound=20
17.45/11.18	    
17.45/11.19	    num=304, depth=33..36, filters=1185284, revisions=(2733060,useless=1549768), ccks=44019060, wck=7.825, mem=161M648
17.45/11.19	    decisions=154685, wrong=64779, backtracks=12873, failedAssignments=53022, nogoods=8535, foundSolutions=15, bestBound=20
17.45/11.19	    
17.55/11.20	    num=305, depth=29..30, filters=1186694, revisions=(2735725,useless=1550998), ccks=44076853, wck=7.833, mem=161M648
17.55/11.20	    decisions=154839, wrong=64841, backtracks=12880, failedAssignments=53077, nogoods=8546, foundSolutions=15, bestBound=20
17.55/11.20	    
17.55/11.21	    num=306, depth=16..37, filters=1188466, revisions=(2739325,useless=1552787), ccks=44145973, wck=7.843, mem=161M648
17.55/11.21	    decisions=155022, wrong=64915, backtracks=12893, failedAssignments=53138, nogoods=8558, foundSolutions=15, bestBound=20
17.55/11.21	    
17.55/11.22	    num=307, depth=29..30, filters=1190045, revisions=(2742351,useless=1554219), ccks=44207386, wck=7.852, mem=168M818
17.55/11.22	    decisions=155203, wrong=64991, backtracks=12902, failedAssignments=53205, nogoods=8567, foundSolutions=15, bestBound=20
17.55/11.22	    
17.55/11.23	    num=308, depth=34..37, filters=1192159, revisions=(2747012,useless=1556730), ccks=44287990, wck=7.863, mem=168M818
17.55/11.23	    decisions=155426, wrong=65085, backtracks=12922, failedAssignments=53279, nogoods=8576, foundSolutions=15, bestBound=20
17.55/11.23	    
17.55/11.24	    num=309, depth=29..30, filters=1193899, revisions=(2750410,useless=1558388), ccks=44353614, wck=7.873, mem=168M818
17.55/11.24	    decisions=155638, wrong=65176, backtracks=12932, failedAssignments=53360, nogoods=8590, foundSolutions=15, bestBound=20
17.55/11.24	    
17.55/11.25	    num=310, depth=31..38, filters=1195833, revisions=(2754822,useless=1560867), ccks=44427081, wck=7.884, mem=168M818
17.55/11.25	    decisions=155884, wrong=65281, backtracks=12948, failedAssignments=53449, nogoods=8604, foundSolutions=15, bestBound=20
17.55/11.25	    
17.55/11.26	    num=311, depth=28..30, filters=1197799, revisions=(2759383,useless=1563488), ccks=44495995, wck=7.895, mem=168M818
17.55/11.26	    decisions=156156, wrong=65402, backtracks=12972, failedAssignments=53547, nogoods=8618, foundSolutions=15, bestBound=20
17.55/11.26	    
17.55/11.27	    num=312, depth=16..53, filters=1200217, revisions=(2764588,useless=1566282), ccks=44584990, wck=7.909, mem=168M818
17.55/11.27	    decisions=156462, wrong=65529, backtracks=12991, failedAssignments=53655, nogoods=8666, foundSolutions=15, bestBound=20
17.55/11.27	    
17.55/11.29	    num=313, depth=29..30, filters=1202467, revisions=(2769277,useless=1568752), ccks=44663870, wck=7.921, mem=168M818
17.55/11.29	    decisions=156761, wrong=65664, backtracks=13007, failedAssignments=53774, nogoods=8685, foundSolutions=15, bestBound=20
17.55/11.29	    
17.65/11.30	    num=314, depth=33..38, filters=1205339, revisions=(2775803,useless=1572402), ccks=44760935, wck=7.936, mem=168M818
17.65/11.30	    decisions=157102, wrong=65817, backtracks=13030, failedAssignments=53905, nogoods=8706, foundSolutions=15, bestBound=20
17.65/11.30	    
17.65/11.32	    num=315, depth=29..31, filters=1207662, revisions=(2781646,useless=1575973), ccks=44848970, wck=7.95, mem=168M818
17.65/11.32	    decisions=157505, wrong=66003, backtracks=13075, failedAssignments=54049, nogoods=8712, foundSolutions=15, bestBound=20
17.65/11.32	    
17.65/11.33	    num=316, depth=33..37, filters=1211418, revisions=(2789771,useless=1580380), ccks=44971060, wck=7.97, mem=175M989
17.65/11.33	    decisions=157922, wrong=66195, backtracks=13109, failedAssignments=54207, nogoods=8721, foundSolutions=15, bestBound=20
17.65/11.33	    
17.65/11.35	    num=317, depth=28..30, filters=1214347, revisions=(2797019,useless=1584795), ccks=45058875, wck=7.985, mem=175M989
17.65/11.35	    decisions=158382, wrong=66410, backtracks=13153, failedAssignments=54381, nogoods=8726, foundSolutions=15, bestBound=20
17.65/11.35	    
17.65/11.37	    num=318, depth=31..67, filters=1218243, revisions=(2806445,useless=1590392), ccks=45197237, wck=8.008, mem=175M989
17.65/11.37	    decisions=158923, wrong=66647, backtracks=13199, failedAssignments=54572, nogoods=8782, foundSolutions=15, bestBound=20
17.65/11.37	    
17.65/11.39	    num=319, depth=29..31, filters=1221384, revisions=(2814804,useless=1595716), ccks=45311058, wck=8.028, mem=175M989
17.65/11.39	    decisions=159506, wrong=66924, backtracks=13270, failedAssignments=54783, nogoods=8791, foundSolutions=15, bestBound=20
17.65/11.39	    
17.75/11.41	    num=320, depth=14..52, filters=1225617, revisions=(2823446,useless=1600226), ccks=45440708, wck=8.05, mem=183M159
17.75/11.41	    decisions=160079, wrong=67185, backtracks=13299, failedAssignments=55015, nogoods=8837, foundSolutions=15, bestBound=20
17.75/11.41	    
17.75/11.43	    num=321, depth=28..30, filters=1229012, revisions=(2833002,useless=1606529), ccks=45537809, wck=8.068, mem=183M159
17.75/11.43	    decisions=160715, wrong=67488, backtracks=13350, failedAssignments=55270, nogoods=8845, foundSolutions=15, bestBound=20
17.75/11.43	    
17.75/11.46	    num=322, depth=15..38, filters=1233943, revisions=(2844101,useless=1612820), ccks=45687394, wck=8.093, mem=183M159
17.75/11.46	    decisions=161405, wrong=67816, backtracks=13398, failedAssignments=55551, nogoods=8871, foundSolutions=15, bestBound=20
17.75/11.46	    
17.75/11.48	    num=323, depth=28..30, filters=1238844, revisions=(2856028,useless=1620079), ccks=45841828, wck=8.119, mem=183M159
17.75/11.48	    decisions=162173, wrong=68185, backtracks=13462, failedAssignments=55860, nogoods=8882, foundSolutions=15, bestBound=20
17.75/11.48	    
17.85/11.52	    num=324, depth=15..45, filters=1245540, revisions=(2872270,useless=1629775), ccks=46056468, wck=8.155, mem=190M329
17.85/11.52	    decisions=163064, wrong=68608, backtracks=13548, failedAssignments=56200, nogoods=8910, foundSolutions=15, bestBound=20
17.85/11.52	    
17.85/11.55	    num=325, depth=29..31, filters=1250998, revisions=(2885243,useless=1637583), ccks=46221874, wck=8.184, mem=190M329
17.85/11.55	    decisions=163957, wrong=69039, backtracks=13608, failedAssignments=56574, nogoods=8924, foundSolutions=15, bestBound=20
17.85/11.55	    
17.85/11.59	    num=326, depth=15..45, filters=1258064, revisions=(2901964,useless=1647424), ccks=46431290, wck=8.221, mem=197M499
17.85/11.59	    decisions=164970, wrong=69524, backtracks=13685, failedAssignments=56985, nogoods=8953, foundSolutions=15, bestBound=20
17.85/11.59	    
17.95/11.62	    num=327, depth=29..31, filters=1264696, revisions=(2918153,useless=1657351), ccks=46632076, wck=8.256, mem=197M499
17.95/11.62	    decisions=166060, wrong=70054, backtracks=13768, failedAssignments=57437, nogoods=8965, foundSolutions=15, bestBound=20
17.95/11.62	    
17.95/11.66	    num=328, depth=35..45, filters=1271337, revisions=(2937708,useless=1670663), ccks=46827674, wck=8.294, mem=197M499
17.95/11.66	    decisions=167313, wrong=70659, backtracks=13879, failedAssignments=57934, nogoods=8987, foundSolutions=15, bestBound=20
17.95/11.66	    
18.05/11.70	    num=329, depth=27..29, filters=1279911, revisions=(2960218,useless=1684945), ccks=47024248, wck=8.333, mem=204M669
18.05/11.70	    decisions=168664, wrong=71320, backtracks=14001, failedAssignments=58481, nogoods=9002, foundSolutions=15, bestBound=20
18.05/11.70	    
18.05/11.75	    num=330, depth=31..45, filters=1288997, revisions=(2984806,useless=1700882), ccks=47299598, wck=8.382, mem=204M669
18.05/11.75	    decisions=170189, wrong=72062, backtracks=14146, failedAssignments=59083, nogoods=9047, foundSolutions=15, bestBound=20
18.05/11.75	    
18.05/11.79	    num=331, depth=27..29, filters=1299289, revisions=(3013037,useless=1719249), ccks=47530585, wck=8.43, mem=211M839
18.05/11.79	    decisions=171830, wrong=72868, backtracks=14302, failedAssignments=59745, nogoods=9071, foundSolutions=15, bestBound=20
18.05/11.79	    
18.15/11.86	    num=332, depth=23..27, filters=1311071, revisions=(3050936,useless=1745883), ccks=47919014, wck=8.499, mem=219M9
18.15/11.86	    decisions=173944, wrong=73912, backtracks=14667, failedAssignments=60473, nogoods=9088, foundSolutions=15, bestBound=20
18.15/11.86	    
18.25/11.94	    num=333, depth=14..37, filters=1327629, revisions=(3088314,useless=1767132), ccks=48377829, wck=8.578, mem=226M179
18.25/11.94	    decisions=175912, wrong=74878, backtracks=14832, failedAssignments=61274, nogoods=9109, foundSolutions=15, bestBound=20
18.25/11.94	    
18.36/12.05	    num=334, depth=27..30, filters=1346113, revisions=(3141049,useless=1802074), ccks=48977005, wck=8.682, mem=233M349
18.36/12.05	    decisions=178499, wrong=76157, backtracks=15294, failedAssignments=62155, nogoods=9123, foundSolutions=15, bestBound=20
18.36/12.05	    
18.46/12.11	    num=335, depth=27..30, filters=1357289, revisions=(3174445,useless=1825095), ccks=49326369, wck=8.749, mem=240M519
18.46/12.11	    decisions=181023, wrong=77405, backtracks=15602, failedAssignments=63125, nogoods=9154, foundSolutions=15, bestBound=20
18.46/12.11	    
18.46/12.19	    num=336, depth=14..44, filters=1372176, revisions=(3215750,useless=1852290), ccks=49746388, wck=8.829, mem=247M689
18.46/12.19	    decisions=183619, wrong=78683, backtracks=15830, failedAssignments=64192, nogoods=9190, foundSolutions=15, bestBound=20
18.46/12.19	    
18.55/12.27	    num=337, depth=29..31, filters=1386104, revisions=(3261180,useless=1884516), ccks=50081686, wck=8.902, mem=254M859
18.55/12.27	    decisions=186588, wrong=80153, backtracks=16160, failedAssignments=65365, nogoods=9228, foundSolutions=15, bestBound=20
18.55/12.27	    
18.65/12.38	    num=338, depth=15..42, filters=1406360, revisions=(3312635,useless=1916578), ccks=50706475, wck=9.012, mem=262M29
18.65/12.38	    decisions=189755, wrong=81717, backtracks=16437, failedAssignments=66656, nogoods=9292, foundSolutions=15, bestBound=20
18.65/12.38	    
18.75/12.46	    num=339, depth=8..31, filters=1423243, revisions=(3360556,useless=1948965), ccks=51106593, wck=9.094, mem=269M199
18.75/12.46	    decisions=193134, wrong=83391, backtracks=16711, failedAssignments=68076, nogoods=9321, foundSolutions=15, bestBound=20
18.75/12.46	    
18.95/12.60	    num=340, depth=26..29, filters=1447386, revisions=(3436346,useless=2001369), ccks=51910329, wck=9.239, mem=283M539
18.95/12.60	    decisions=197670, wrong=85645, backtracks=17497, failedAssignments=69638, nogoods=9341, foundSolutions=15, bestBound=20
18.95/12.60	    
19.05/12.74	    num=341, depth=24..30, filters=1469557, revisions=(3503296,useless=2047684), ccks=52657935, wck=9.373, mem=297M879
19.05/12.74	    decisions=202140, wrong=87867, backtracks=18081, failedAssignments=71356, nogoods=9364, foundSolutions=15, bestBound=20
19.05/12.74	    
19.15/12.87	    num=342, depth=14..55, filters=1495706, revisions=(3568978,useless=2088560), ccks=53337845, wck=9.507, mem=312M219
19.15/12.87	    decisions=206614, wrong=90079, backtracks=18405, failedAssignments=73246, nogoods=9416, foundSolutions=15, bestBound=20
19.15/12.87	    
19.25/13.00	    num=343, depth=27..31, filters=1518306, revisions=(3649179,useless=2147570), ccks=53830507, wck=9.633, mem=319M389
19.25/13.00	    decisions=212293, wrong=92903, backtracks=19251, failedAssignments=75325, nogoods=9434, foundSolutions=15, bestBound=20
19.25/13.00	    
19.47/13.17	    num=344, depth=14..54, filters=1552110, revisions=(3734420,useless=2200643), ccks=54728190, wck=9.806, mem=340M899
19.47/13.17	    decisions=217698, wrong=95581, backtracks=19659, failedAssignments=77612, nogoods=9489, foundSolutions=15, bestBound=20
19.47/13.17	    
19.76/13.40	    num=345, depth=26..30, filters=1594970, revisions=(3862991,useless=2287858), ccks=55881176, wck=10.032, mem=362M409
19.76/13.40	    decisions=224505, wrong=98970, backtracks=20666, failedAssignments=80128, nogoods=9497, foundSolutions=15, bestBound=20
19.76/13.40	    
19.76/13.49	o 18
19.86/13.50	    num=346, depth=14..679, filters=1606947, revisions=(3891051,useless=2304473), ccks=56293445, wck=10.132, mem=376M749
19.86/13.50	    decisions=226786, wrong=99943, backtracks=20755, failedAssignments=81014, nogoods=9990, foundSolutions=16, bestBound=18
19.86/13.50	    
20.20/13.84	    num=347, depth=5..10, filters=1662604, revisions=(4056834,useless=2415824), ccks=58225420, wck=10.477, mem=40M986
20.20/13.84	    decisions=235280, wrong=104186, backtracks=22191, failedAssignments=84058, nogoods=10006, foundSolutions=16, bestBound=18
20.20/13.84	    
20.20/13.85	    num=348, depth=12..13, filters=1663236, revisions=(4057779,useless=2416116), ccks=58252797, wck=10.481, mem=40M986
20.20/13.85	    decisions=235320, wrong=104200, backtracks=22194, failedAssignments=84069, nogoods=10011, foundSolutions=16, bestBound=18
20.20/13.85	    
20.20/13.85	    num=349, depth=10..11, filters=1663640, revisions=(4058572,useless=2416488), ccks=58269262, wck=10.484, mem=40M986
20.20/13.85	    decisions=235361, wrong=104215, backtracks=22197, failedAssignments=84081, nogoods=10015, foundSolutions=16, bestBound=18
20.20/13.85	    
20.20/13.85	    num=350, depth=11..13, filters=1664357, revisions=(4059615,useless=2416796), ccks=58299592, wck=10.487, mem=48M168
20.20/13.85	    decisions=235407, wrong=104232, backtracks=22201, failedAssignments=84094, nogoods=10017, foundSolutions=16, bestBound=18
20.20/13.85	    
20.20/13.86	    num=351, depth=10..11, filters=1664794, revisions=(4060545,useless=2417271), ccks=58319567, wck=10.49, mem=48M168
20.20/13.86	    decisions=235455, wrong=104251, backtracks=22206, failedAssignments=84108, nogoods=10025, foundSolutions=16, bestBound=18
20.20/13.86	    
20.20/13.86	    num=352, depth=11..14, filters=1665564, revisions=(4061668,useless=2417603), ccks=58350121, wck=10.494, mem=48M168
20.20/13.86	    decisions=235514, wrong=104275, backtracks=22214, failedAssignments=84124, nogoods=10031, foundSolutions=16, bestBound=18
20.20/13.86	    
20.20/13.86	    num=353, depth=10..11, filters=1665978, revisions=(4062574,useless=2418085), ccks=58368843, wck=10.497, mem=48M168
20.20/13.86	    decisions=235568, wrong=104297, backtracks=22219, failedAssignments=84141, nogoods=10036, foundSolutions=16, bestBound=18
20.20/13.86	    
20.20/13.87	    num=354, depth=9..13, filters=1666839, revisions=(4063836,useless=2418471), ccks=58402505, wck=10.501, mem=48M168
20.20/13.87	    decisions=235637, wrong=104327, backtracks=22230, failedAssignments=84160, nogoods=10037, foundSolutions=16, bestBound=18
20.20/13.87	    
20.20/13.87	    num=355, depth=9..11, filters=1667261, revisions=(4064832,useless=2419037), ccks=58421379, wck=10.504, mem=48M168
20.20/13.87	    decisions=235699, wrong=104353, backtracks=22236, failedAssignments=84181, nogoods=10039, foundSolutions=16, bestBound=18
20.20/13.87	    
20.20/13.88	    num=356, depth=25..36, filters=1668454, revisions=(4066993,useless=2419944), ccks=58475812, wck=10.511, mem=48M168
20.20/13.88	    decisions=235787, wrong=104380, backtracks=22240, failedAssignments=84204, nogoods=10055, foundSolutions=16, bestBound=18
20.20/13.88	    
20.20/13.88	    num=357, depth=8..9, filters=1668877, revisions=(4068089,useless=2420616), ccks=58494750, wck=10.514, mem=48M168
20.20/13.88	    decisions=235859, wrong=104412, backtracks=22247, failedAssignments=84229, nogoods=10064, foundSolutions=16, bestBound=18
20.20/13.88	    
20.20/13.88	    num=358, depth=7..12, filters=1669817, revisions=(4069491,useless=2421065), ccks=58532981, wck=10.519, mem=48M168
20.20/13.88	    decisions=235950, wrong=104453, backtracks=22260, failedAssignments=84257, nogoods=10070, foundSolutions=16, bestBound=18
20.20/13.88	    
20.20/13.89	    num=359, depth=7..12, filters=1670878, revisions=(4071081,useless=2421581), ccks=58574058, wck=10.525, mem=48M168
20.20/13.89	    decisions=236053, wrong=104501, backtracks=22277, failedAssignments=84288, nogoods=10073, foundSolutions=16, bestBound=18
20.20/13.89	    
20.20/13.89	    num=360, depth=8..10, filters=1671386, revisions=(4072433,useless=2422426), ccks=58597146, wck=10.529, mem=48M168
20.20/13.89	    decisions=236147, wrong=104543, backtracks=22286, failedAssignments=84322, nogoods=10079, foundSolutions=16, bestBound=18
20.20/13.89	    
20.30/13.90	    num=361, depth=30..36, filters=1672756, revisions=(4075161,useless=2423737), ccks=58653406, wck=10.537, mem=48M168
20.30/13.90	    decisions=236266, wrong=104586, backtracks=22292, failedAssignments=84359, nogoods=10098, foundSolutions=16, bestBound=18
20.30/13.90	    
20.30/13.91	    num=362, depth=7..9, filters=1673307, revisions=(4076887,useless=2424923), ccks=58674568, wck=10.54, mem=48M168
20.30/13.91	    decisions=236384, wrong=104641, backtracks=22306, failedAssignments=84400, nogoods=10104, foundSolutions=16, bestBound=18
20.30/13.91	    
20.30/13.91	    num=363, depth=7..12, filters=1675066, revisions=(4079680,useless=2425925), ccks=58752040, wck=10.55, mem=48M168
20.30/13.91	    decisions=236558, wrong=104724, backtracks=22344, failedAssignments=84445, nogoods=10111, foundSolutions=16, bestBound=18
20.30/13.91	    
20.30/13.92	    num=364, depth=5..10, filters=1676368, revisions=(4082078,useless=2427025), ccks=58801020, wck=10.557, mem=48M168
20.30/13.92	    decisions=236714, wrong=104798, backtracks=22369, failedAssignments=84495, nogoods=10121, foundSolutions=16, bestBound=18
20.30/13.92	    
20.30/13.93	    num=365, depth=6..12, filters=1678082, revisions=(4084916,useless=2428141), ccks=58868278, wck=10.566, mem=48M168
20.30/13.93	    decisions=236901, wrong=104888, backtracks=22405, failedAssignments=84550, nogoods=10125, foundSolutions=16, bestBound=18
20.30/13.93	    
20.30/13.94	    num=366, depth=6..9, filters=1679028, revisions=(4087364,useless=2429656), ccks=58903411, wck=10.571, mem=48M168
20.30/13.94	    decisions=237076, wrong=104971, backtracks=22429, failedAssignments=84611, nogoods=10129, foundSolutions=16, bestBound=18
20.30/13.94	    
20.30/13.95	    num=367, depth=25..36, filters=1680948, revisions=(4091451,useless=2431794), ccks=58975734, wck=10.582, mem=48M168
20.30/13.95	    decisions=237270, wrong=105051, backtracks=22442, failedAssignments=84678, nogoods=10147, foundSolutions=16, bestBound=18
20.30/13.95	    
20.30/13.96	    num=368, depth=8..12, filters=1682453, revisions=(4094526,useless=2433367), ccks=59035827, wck=10.59, mem=48M168
20.30/13.96	    decisions=237486, wrong=105154, backtracks=22476, failedAssignments=84752, nogoods=10152, foundSolutions=16, bestBound=18
20.30/13.96	    
20.30/13.96	    num=369, depth=6..11, filters=1683974, revisions=(4097437,useless=2434780), ccks=59093954, wck=10.599, mem=48M168
20.30/13.96	    decisions=237711, wrong=105262, backtracks=22507, failedAssignments=84833, nogoods=10154, foundSolutions=16, bestBound=18
20.30/13.96	    
20.30/13.98	    num=370, depth=24..36, filters=1686357, revisions=(4102403,useless=2437347), ccks=59178046, wck=10.612, mem=55M349
20.30/13.98	    decisions=237959, wrong=105369, backtracks=22525, failedAssignments=84922, nogoods=10171, foundSolutions=16, bestBound=18
20.30/13.98	    
20.30/13.99	    num=371, depth=8..12, filters=1688207, revisions=(4106333,useless=2439436), ccks=59250990, wck=10.622, mem=55M349
20.30/13.99	    decisions=238239, wrong=105504, backtracks=22568, failedAssignments=85020, nogoods=10175, foundSolutions=16, bestBound=18
20.30/13.99	    
20.30/13.99	    num=372, depth=6..9, filters=1689581, revisions=(4109991,useless=2441777), ccks=59298750, wck=10.63, mem=55M349
20.30/13.99	    decisions=238522, wrong=105641, backtracks=22600, failedAssignments=85128, nogoods=10187, foundSolutions=16, bestBound=18
20.30/13.99	    
20.42/14.01	    num=373, depth=6..11, filters=1691526, revisions=(4114085,useless=2443987), ccks=59371108, wck=10.64, mem=55M349
20.42/14.01	    decisions=238845, wrong=105799, backtracks=22645, failedAssignments=85247, nogoods=10191, foundSolutions=16, bestBound=18
20.42/14.01	    
20.42/14.02	    num=374, depth=23..37, filters=1694799, revisions=(4120762,useless=2447397), ccks=59477040, wck=10.657, mem=55M349
20.42/14.02	    decisions=239195, wrong=105956, backtracks=22672, failedAssignments=85378, nogoods=10223, foundSolutions=16, bestBound=18
20.42/14.02	    
20.42/14.04	    num=375, depth=8..12, filters=1697223, revisions=(4126333,useless=2450575), ccks=59583274, wck=10.672, mem=55M349
20.42/14.04	    decisions=239604, wrong=106156, backtracks=22736, failedAssignments=85522, nogoods=10231, foundSolutions=16, bestBound=18
20.42/14.04	    
20.42/14.05	    num=376, depth=8..10, filters=1698642, revisions=(4130947,useless=2453910), ccks=59627110, wck=10.681, mem=55M349
20.42/14.05	    decisions=240009, wrong=106354, backtracks=22779, failedAssignments=85680, nogoods=10246, foundSolutions=16, bestBound=18
20.42/14.05	    
20.42/14.07	    num=377, depth=14..37, filters=1702615, revisions=(4139516,useless=2458558), ccks=59754710, wck=10.703, mem=62M531
20.42/14.07	    decisions=240476, wrong=106571, backtracks=22823, failedAssignments=85854, nogoods=10269, foundSolutions=16, bestBound=18
20.42/14.07	    
20.42/14.08	    num=378, depth=7..9, filters=1704298, revisions=(4145101,useless=2462632), ccks=59807719, wck=10.713, mem=62M531
20.42/14.08	    decisions=240965, wrong=106811, backtracks=22877, failedAssignments=86045, nogoods=10278, foundSolutions=16, bestBound=18
20.42/14.08	    
20.42/14.10	    num=379, depth=13..37, filters=1708686, revisions=(4155542,useless=2468753), ccks=59946735, wck=10.738, mem=62M531
20.42/14.10	    decisions=241510, wrong=107067, backtracks=22924, failedAssignments=86256, nogoods=10304, foundSolutions=16, bestBound=18
20.42/14.10	    
20.53/14.13	    num=380, depth=7..12, filters=1712807, revisions=(4164744,useless=2473886), ccks=60127306, wck=10.763, mem=62M531
20.53/14.13	    decisions=242183, wrong=107399, backtracks=23040, failedAssignments=86488, nogoods=10315, foundSolutions=16, bestBound=18
20.53/14.13	    
20.53/14.14	    num=381, depth=8..10, filters=1715015, revisions=(4172148,useless=2479317), ccks=60193517, wck=10.776, mem=62M531
20.53/14.14	    decisions=242830, wrong=107718, backtracks=23111, failedAssignments=86743, nogoods=10329, foundSolutions=16, bestBound=18
20.53/14.14	    
20.53/14.17	    num=382, depth=14..38, filters=1720796, revisions=(4185485,useless=2486996), ccks=60368574, wck=10.806, mem=69M713
20.53/14.17	    decisions=243540, wrong=108056, backtracks=23170, failedAssignments=87024, nogoods=10355, foundSolutions=16, bestBound=18
20.53/14.17	    
20.53/14.19	    num=383, depth=7..9, filters=1723655, revisions=(4194933,useless=2493863), ccks=60457578, wck=10.823, mem=69M713
20.53/14.19	    decisions=244335, wrong=108449, backtracks=23264, failedAssignments=87333, nogoods=10371, foundSolutions=16, bestBound=18
20.53/14.19	    
20.62/14.22	    num=384, depth=26..37, filters=1730766, revisions=(4212492,useless=2504460), ccks=60666166, wck=10.859, mem=70M356
20.62/14.22	    decisions=245209, wrong=108869, backtracks=23347, failedAssignments=87673, nogoods=10387, foundSolutions=16, bestBound=18
20.62/14.22	    
20.62/14.25	    num=385, depth=5..8, filters=1734255, revisions=(4224497,useless=2513315), ccks=60771183, wck=10.88, mem=70M356
20.62/14.25	    decisions=246179, wrong=109350, backtracks=23469, failedAssignments=88047, nogoods=10392, foundSolutions=16, bestBound=18
20.62/14.25	    
20.62/14.28	    num=386, depth=5..11, filters=1739496, revisions=(4238048,useless=2521905), ccks=60966014, wck=10.918, mem=77M538
20.62/14.28	    decisions=247253, wrong=109883, backtracks=23610, failedAssignments=88458, nogoods=10396, foundSolutions=16, bestBound=18
20.62/14.28	    
20.72/14.32	    num=387, depth=14..37, filters=1747984, revisions=(4257672,useless=2533307), ccks=61204708, wck=10.959, mem=84M720
20.72/14.32	    decisions=248356, wrong=110416, backtracks=23694, failedAssignments=88910, nogoods=10428, foundSolutions=16, bestBound=18
20.72/14.32	    
20.72/14.36	    num=388, depth=7..12, filters=1754384, revisions=(4275452,useless=2544967), ccks=61422584, wck=10.995, mem=84M720
20.72/14.36	    decisions=249694, wrong=111080, backtracks=23884, failedAssignments=89407, nogoods=10437, foundSolutions=16, bestBound=18
20.72/14.36	    
20.82/14.41	    num=389, depth=26..37, filters=1765074, revisions=(4300153,useless=2559259), ccks=61730477, wck=11.048, mem=91M902
20.82/14.41	    decisions=251023, wrong=111728, backtracks=23990, failedAssignments=89954, nogoods=10460, foundSolutions=16, bestBound=18
20.82/14.41	    
20.82/14.46	    num=390, depth=6..12, filters=1774543, revisions=(4327675,useless=2577526), ccks=61997161, wck=11.095, mem=91M902
20.82/14.46	    decisions=252693, wrong=112559, backtracks=24242, failedAssignments=90556, nogoods=10473, foundSolutions=16, bestBound=18
20.82/14.46	    
20.92/14.53	    num=391, depth=5..11, filters=1787234, revisions=(4359072,useless=2596574), ccks=62480896, wck=11.168, mem=99M83
20.92/14.53	    decisions=254748, wrong=113583, backtracks=24665, failedAssignments=91218, nogoods=10484, foundSolutions=16, bestBound=18
20.92/14.53	    
21.02/14.61	    num=392, depth=6..9, filters=1797595, revisions=(4393101,useless=2620545), ccks=62828773, wck=11.248, mem=113M447
21.02/14.61	    decisions=256863, wrong=114637, backtracks=25026, failedAssignments=91946, nogoods=10500, foundSolutions=16, bestBound=18
21.02/14.61	    
21.02/14.69	    num=393, depth=5..9, filters=1810903, revisions=(4428917,useless=2643680), ccks=63240820, wck=11.325, mem=120M629
21.02/14.69	    decisions=259230, wrong=115817, backtracks=25480, failedAssignments=92747, nogoods=10518, foundSolutions=16, bestBound=18
21.02/14.69	    
21.12/14.78	    num=394, depth=5..10, filters=1826603, revisions=(4460761,useless=2660148), ccks=63904929, wck=11.413, mem=127M811
21.12/14.78	    decisions=261571, wrong=116984, backtracks=25831, failedAssignments=93628, nogoods=10524, foundSolutions=16, bestBound=18
21.12/14.78	    
21.22/14.88	    num=395, depth=5..10, filters=1842879, revisions=(4499850,useless=2683493), ccks=64579545, wck=11.512, mem=134M992
21.22/14.88	    decisions=264383, wrong=118386, backtracks=26334, failedAssignments=94598, nogoods=10536, foundSolutions=16, bestBound=18
21.22/14.88	    
21.32/14.97	    num=396, depth=6..9, filters=1856697, revisions=(4544955,useless=2715676), ccks=65000254, wck=11.605, mem=149M356
21.32/14.97	    decisions=267316, wrong=119848, backtracks=26777, failedAssignments=95665, nogoods=10549, foundSolutions=16, bestBound=18
21.32/14.97	    
21.53/15.11	    num=397, depth=5..10, filters=1879895, revisions=(4599776,useless=2747993), ccks=65977953, wck=11.744, mem=156M538
21.53/15.11	    decisions=270708, wrong=121540, backtracks=27377, failedAssignments=96838, nogoods=10563, foundSolutions=16, bestBound=18
21.53/15.11	    
21.62/15.20	    num=398, depth=5..10, filters=1894744, revisions=(4644318,useless=2778624), ccks=66526667, wck=11.835, mem=163M720
21.62/15.20	    decisions=274224, wrong=123294, backtracks=27897, failedAssignments=98129, nogoods=10573, foundSolutions=16, bestBound=18
21.62/15.20	    
21.62/15.29	    num=399, depth=5..9, filters=1909941, revisions=(4689034,useless=2809477), ccks=67054147, wck=11.926, mem=170M902
21.62/15.29	    decisions=277860, wrong=125108, backtracks=28337, failedAssignments=99549, nogoods=10586, foundSolutions=16, bestBound=18
21.62/15.29	    
21.82/15.44	    num=400, depth=5..9, filters=1933817, revisions=(4750141,useless=2847935), ccks=67963717, wck=12.074, mem=185M265
21.82/15.44	    decisions=282187, wrong=127268, backtracks=29040, failedAssignments=101111, nogoods=10594, foundSolutions=16, bestBound=18
21.82/15.44	    
21.92/15.56	    num=401, depth=5..9, filters=1954149, revisions=(4802604,useless=2881569), ccks=68712633, wck=12.197, mem=192M447
21.92/15.56	    decisions=286545, wrong=129443, backtracks=29554, failedAssignments=102829, nogoods=10614, foundSolutions=16, bestBound=18
21.92/15.56	    
22.12/15.76	    num=402, depth=4..9, filters=1986961, revisions=(4902954,useless=2950026), ccks=69800922, wck=12.391, mem=213M992
22.12/15.76	    decisions=292189, wrong=132262, backtracks=30617, failedAssignments=104719, nogoods=10624, foundSolutions=16, bestBound=18
22.12/15.76	    
22.32/15.92	    num=403, depth=5..10, filters=2014330, revisions=(4983288,useless=3004324), ccks=70774481, wck=12.56, mem=228M356
22.32/15.92	    decisions=297927, wrong=135127, backtracks=31541, failedAssignments=106798, nogoods=10649, foundSolutions=16, bestBound=18
22.32/15.92	    
22.53/16.11	    num=404, depth=5..9, filters=2045275, revisions=(5064593,useless=3055760), ccks=71939305, wck=12.747, mem=242M720
22.53/16.11	    decisions=304105, wrong=138212, backtracks=32474, failedAssignments=109085, nogoods=10662, foundSolutions=16, bestBound=18
22.53/16.11	    
22.72/16.34	    num=405, depth=6..9, filters=2076207, revisions=(5168912,useless=3130784), ccks=72981852, wck=12.971, mem=271M447
22.72/16.34	    decisions=311086, wrong=141699, backtracks=33601, failedAssignments=111601, nogoods=10678, foundSolutions=16, bestBound=18
22.72/16.34	    
23.02/16.67	    num=406, depth=4..9, filters=2124974, revisions=(5292531,useless=3207062), ccks=74824819, wck=13.301, mem=314M538
23.02/16.67	    decisions=319043, wrong=145674, backtracks=35092, failedAssignments=114369, nogoods=10695, foundSolutions=16, bestBound=18
23.02/16.67	    
23.32/16.92	    num=407, depth=6..9, filters=2160820, revisions=(5417547,useless=3298072), ccks=76021196, wck=13.552, mem=350M447
23.32/16.92	    decisions=327588, wrong=149943, backtracks=36488, failedAssignments=117413, nogoods=10724, foundSolutions=16, bestBound=18
23.32/16.92	    
23.72/17.30	    num=408, depth=4..9, filters=2220243, revisions=(5576659,useless=3399775), ccks=78378847, wck=13.931, mem=386M356
23.72/17.30	    decisions=337646, wrong=154969, backtracks=38472, failedAssignments=120762, nogoods=10737, foundSolutions=16, bestBound=18
23.72/17.30	    
23.95/17.59	    num=409, depth=5..10, filters=2267368, revisions=(5689394,useless=3468021), ccks=80102915, wck=14.226, mem=55M688
23.95/17.59	    decisions=346904, wrong=159594, backtracks=39547, failedAssignments=124446, nogoods=10750, foundSolutions=16, bestBound=18
23.95/17.59	    
24.56/18.11	    num=410, depth=4..9, filters=2352261, revisions=(5951774,useless=3647148), ccks=82891249, wck=14.744, mem=110M19
24.56/18.11	    decisions=358534, wrong=165405, backtracks=41701, failedAssignments=128498, nogoods=10785, foundSolutions=16, bestBound=18
24.56/18.11	    
24.75/18.37	    num=411, depth=5..9, filters=2396625, revisions=(6075757,useless=3730235), ccks=84414021, wck=15.006, mem=131M752
24.75/18.37	    decisions=369573, wrong=170922, backtracks=42918, failedAssignments=132955, nogoods=10793, foundSolutions=16, bestBound=18
24.75/18.37	    
25.15/18.73	    num=412, depth=5..38, filters=2465930, revisions=(6234340,useless=3822811), ccks=86590688, wck=15.367, mem=164M351
25.15/18.73	    decisions=381309, wrong=176772, backtracks=43987, failedAssignments=137858, nogoods=10822, foundSolutions=16, bestBound=18
25.15/18.73	    
25.56/19.17	    num=413, depth=5..10, filters=2545095, revisions=(6438819,useless=3950896), ccks=89370697, wck=15.809, mem=186M84
25.56/19.17	    decisions=396468, wrong=184347, backtracks=46532, failedAssignments=143252, nogoods=10838, foundSolutions=16, bestBound=18
25.56/19.17	    
26.05/19.68	    num=414, depth=13..37, filters=2651842, revisions=(6683803,useless=4092953), ccks=92220519, wck=16.317, mem=240M416
26.05/19.68	    decisions=410608, wrong=191400, backtracks=47679, failedAssignments=149185, nogoods=10883, foundSolutions=16, bestBound=18
26.05/19.68	    
26.65/20.23	    num=415, depth=6..10, filters=2756403, revisions=(7000857,useless=4309864), ccks=95206135, wck=16.867, mem=283M881
26.65/20.23	    decisions=428685, wrong=200434, backtracks=50541, failedAssignments=155711, nogoods=10911, foundSolutions=16, bestBound=18
26.65/20.23	    
27.25/20.84	    num=416, depth=13..37, filters=2882601, revisions=(7310564,useless=4498304), ccks=98600863, wck=17.478, mem=338M213
27.25/20.84	    decisions=445947, wrong=209049, backtracks=52026, failedAssignments=162890, nogoods=10941, foundSolutions=16, bestBound=18
27.25/20.84	    
27.85/21.49	    num=417, depth=4..8, filters=2993758, revisions=(7663366,useless=4743376), ccks=102250010, wck=18.125, mem=381M678
27.85/21.49	    decisions=468173, wrong=220158, backtracks=55769, failedAssignments=170787, nogoods=10947, foundSolutions=16, bestBound=18
27.85/21.49	    
28.65/22.28	    num=418, depth=3..9, filters=3127265, revisions=(8036574,useless=4988630), ccks=107265391, wck=18.913, mem=436M10
28.65/22.28	    decisions=492670, wrong=232403, backtracks=60033, failedAssignments=179474, nogoods=10963, foundSolutions=16, bestBound=18
28.65/22.28	    
29.47/23.09	    num=419, depth=4..37, filters=3285603, revisions=(8416450,useless=5216234), ccks=112074337, wck=19.722, mem=501M208
29.47/23.09	    decisions=516379, wrong=244242, backtracks=62565, failedAssignments=189029, nogoods=10991, foundSolutions=16, bestBound=18
29.47/23.09	    
30.65/24.28	    num=420, depth=4..11, filters=3487599, revisions=(8938109,useless=5542394), ccks=119930520, wck=20.917, mem=577M273
30.65/24.28	    decisions=547730, wrong=259913, backtracks=68858, failedAssignments=199540, nogoods=11004, foundSolutions=16, bestBound=18
30.65/24.28	    
31.77/25.34	    num=421, depth=4..9, filters=3666625, revisions=(9410276,useless=5845715), ccks=126549395, wck=21.975, mem=110M236
31.77/25.34	    decisions=580744, wrong=276416, backtracks=74713, failedAssignments=211102, nogoods=11014, foundSolutions=16, bestBound=18
31.77/25.34	    
32.97/26.50	    num=422, depth=4..9, filters=3863668, revisions=(10026906,useless=6273429), ccks=133336809, wck=23.132, mem=197M247
32.97/26.50	    decisions=616721, wrong=294400, backtracks=80938, failedAssignments=223820, nogoods=11027, foundSolutions=16, bestBound=18
32.97/26.50	    
34.58/28.11	    num=423, depth=3..9, filters=4152683, revisions=(10817798,useless=6783027), ccks=143593742, wck=24.741, mem=306M9
34.58/28.11	    decisions=658415, wrong=315244, backtracks=89543, failedAssignments=237810, nogoods=11046, foundSolutions=16, bestBound=18
34.58/28.11	    
36.17/29.76	    num=424, depth=3..9, filters=4437073, revisions=(11601666,useless=7288838), ccks=154343176, wck=26.399, mem=414M772
36.17/29.76	    decisions=703606, wrong=337837, backtracks=98159, failedAssignments=253199, nogoods=11073, foundSolutions=16, bestBound=18
36.17/29.76	    
37.48/31.07	    num=425, depth=4..9, filters=4661901, revisions=(12210953,useless=7687041), ccks=162525376, wck=27.701, mem=490M906
37.48/31.07	    decisions=748327, wrong=360193, backtracks=104481, failedAssignments=270127, nogoods=11089, foundSolutions=16, bestBound=18
37.48/31.07	    
38.78/32.38	    num=426, depth=14..37, filters=4951466, revisions=(12820208,useless=8021800), ccks=169843367, wck=29.017, mem=60M907
38.78/32.38	    decisions=789633, wrong=380832, backtracks=106506, failedAssignments=288748, nogoods=11129, foundSolutions=16, bestBound=18
38.78/32.38	    
40.59/34.16	    num=427, depth=5..10, filters=5297269, revisions=(13859519,useless=8727461), ccks=179621459, wck=30.796, mem=194M768
40.59/34.16	    decisions=845696, wrong=408859, backtracks=115101, failedAssignments=309232, nogoods=11156, foundSolutions=16, bestBound=18
40.59/34.16	    
43.18/36.72	    num=428, depth=3..9, filters=5736947, revisions=(15005919,useless=9448207), ccks=196816451, wck=33.358, mem=355M401
43.18/36.72	    decisions=911712, wrong=441863, backtracks=127785, failedAssignments=331764, nogoods=11177, foundSolutions=16, bestBound=18
43.18/36.72	    
45.18/38.79	    num=429, depth=7..36, filters=6170155, revisions=(16023096,useless=10049253), ccks=208333366, wck=35.42, mem=556M191
45.18/38.79	    decisions=970468, wrong=471227, backtracks=132480, failedAssignments=356549, nogoods=11197, foundSolutions=16, bestBound=18
45.18/38.79	    
47.18/40.79	    num=430, depth=8..37, filters=6570440, revisions=(17036412,useless=10683616), ccks=219257921, wck=37.427, mem=47M34
47.18/40.79	    decisions=1036470, wrong=504216, backtracks=138259, failedAssignments=383813, nogoods=11221, foundSolutions=16, bestBound=18
47.18/40.79	    
49.79/43.35	    num=431, depth=6..11, filters=7064519, revisions=(18558433,useless=11730933), ccks=233171215, wck=39.982, mem=240M515
49.79/43.35	    decisions=1118457, wrong=545205, backtracks=150886, failedAssignments=413803, nogoods=11243, foundSolutions=16, bestBound=18
49.79/43.35	    
53.39/46.92	    num=432, depth=2..9, filters=7713429, revisions=(20274213,useless=12808507), ccks=256389633, wck=43.556, mem=485M591
53.39/46.92	    decisions=1212808, wrong=592377, backtracks=168260, failedAssignments=446792, nogoods=11273, foundSolutions=16, bestBound=18
53.39/46.92	    
57.01/50.58	    num=433, depth=3..9, filters=8350297, revisions=(22070893,useless=13995514), ccks=279592855, wck=47.219, mem=83M889
57.01/50.58	    decisions=1320496, wrong=646218, backtracks=189848, failedAssignments=483080, nogoods=11282, foundSolutions=16, bestBound=18
57.01/50.58	    
60.11/53.63	    num=434, depth=4..37, filters=9050878, revisions=(23467940,useless=14719694), ccks=296802783, wck=50.268, mem=332M496
60.11/53.63	    decisions=1411662, wrong=691785, backtracks=195841, failedAssignments=522997, nogoods=11305, foundSolutions=16, bestBound=18
60.11/53.63	    
63.41/57.00	    num=435, depth=4..36, filters=9655306, revisions=(25233649,useless=15908159), ccks=316816187, wck=53.635, mem=568M672
63.41/57.00	    decisions=1534474, wrong=753179, backtracks=216352, failedAssignments=566906, nogoods=11333, foundSolutions=16, bestBound=18
63.41/57.00	    
66.72/60.26	    num=436, depth=7..35, filters=10385404, revisions=(26697406,useless=16678184), ccks=335049153, wck=56.894, mem=225M874
66.72/60.26	    decisions=1641071, wrong=806461, backtracks=221545, failedAssignments=615206, nogoods=11353, foundSolutions=16, bestBound=18
66.72/60.26	    
70.53/64.08	    num=437, depth=6..43, filters=11144043, revisions=(28616098,useless=17877858), ccks=355503095, wck=60.711, mem=561M358
70.53/64.08	    decisions=1767094, wrong=869453, backtracks=231663, failedAssignments=668336, nogoods=11403, foundSolutions=16, bestBound=18
70.53/64.08	    
75.73/69.25	    num=438, depth=5..10, filters=12051504, revisions=(31565499,useless=19951129), ccks=384510187, wck=65.887, mem=369M206
75.73/69.25	    decisions=1933392, wrong=952598, backtracks=261178, failedAssignments=726779, nogoods=11432, foundSolutions=16, bestBound=18
75.73/69.25	    
80.14/73.66	    num=439, depth=10..43, filters=13022960, revisions=(33428092,useless=20894840), ccks=408911964, wck=70.296, mem=190M197
80.14/73.66	    decisions=2075751, wrong=1023759, backtracks=268291, failedAssignments=791066, nogoods=11476, foundSolutions=16, bestBound=18
80.14/73.66	    
85.15/78.62	    num=440, depth=4..43, filters=14011019, revisions=(35886975,useless=22421430), ccks=435589506, wck=75.252, mem=44M925
85.15/78.62	    decisions=2246232, wrong=1108982, backtracks=283948, failedAssignments=861782, nogoods=11492, foundSolutions=16, bestBound=18
85.15/78.62	    
92.05/85.51	    num=441, depth=4..10, filters=15190424, revisions=(39000182,useless=24400333), ccks=479682161, wck=82.148, mem=518M255
92.05/85.51	    decisions=2456635, wrong=1214179, backtracks=316591, failedAssignments=939569, nogoods=11505, foundSolutions=16, bestBound=18
92.05/85.51	    
99.57/93.09	    num=442, depth=4..9, filters=16483695, revisions=(43296200,useless=27456882), ccks=522453124, wck=89.73, mem=542M837
99.57/93.09	    decisions=2704007, wrong=1337861, backtracks=362571, failedAssignments=1025135, nogoods=11550, foundSolutions=16, bestBound=18
99.57/93.09	    
107.08/100.58	    num=443, depth=12..45, filters=18030910, revisions=(46941940,useless=29616232), ccks=564265384, wck=97.218, mem=198M729
107.08/100.58	    decisions=2923983, wrong=1447828, backtracks=378813, failedAssignments=1119258, nogoods=11598, foundSolutions=16, bestBound=18
107.08/100.58	    
114.09/107.56	    num=444, depth=6..38, filters=19434749, revisions=(50317269,useless=31671939), ccks=602714579, wck=104.193, mem=305M442
114.09/107.56	    decisions=3164366, wrong=1568010, backtracks=395618, failedAssignments=1222793, nogoods=11639, foundSolutions=16, bestBound=18
114.09/107.56	    
123.00/116.45	    num=445, depth=4..11, filters=21013990, revisions=(54715052,useless=34574320), ccks=658065855, wck=113.088, mem=431M974
123.00/116.45	    decisions=3467256, wrong=1719451, backtracks=439517, failedAssignments=1336682, nogoods=11660, foundSolutions=16, bestBound=18
123.00/116.45	    
136.63/130.07	    num=446, depth=3..9, filters=23313516, revisions=(61831486,useless=39450502), ccks=741804883, wck=126.708, mem=124M371
136.63/130.07	    decisions=3831121, wrong=1901379, backtracks=507747, failedAssignments=1461960, nogoods=11676, foundSolutions=16, bestBound=18
136.63/130.07	    
148.84/142.21	    num=447, depth=13..36, filters=25888188, revisions=(67766776,useless=42892537), ccks=812101818, wck=138.847, mem=318M341
148.84/142.21	    decisions=4155894, wrong=2063754, backtracks=532518, failedAssignments=1599766, nogoods=11701, foundSolutions=16, bestBound=18
148.84/142.21	    
163.68/157.05	    num=448, depth=3..11, filters=28446328, revisions=(76111289,useless=48763093), ccks=897863079, wck=153.685, mem=278M817
163.68/157.05	    decisions=4599853, wrong=2285729, backtracks=618813, failedAssignments=1751352, nogoods=11723, foundSolutions=16, bestBound=18
163.68/157.05	    
176.59/170.00	    num=449, depth=3..36, filters=31052457, revisions=(82450064,useless=52616639), ccks=971854696, wck=166.63, mem=321M830
176.59/170.00	    decisions=5003391, wrong=2487485, backtracks=655391, failedAssignments=1918097, nogoods=11752, foundSolutions=16, bestBound=18
176.59/170.00	    
195.25/188.58	    num=450, depth=3..10, filters=34411015, revisions=(91631675,useless=58518958), ccks=1089288506, wck=185.216, mem=78M942
195.25/188.58	    decisions=5534394, wrong=2752983, backtracks=753628, failedAssignments=2101516, nogoods=11775, foundSolutions=16, bestBound=18
195.25/188.58	    
213.98/207.24	    num=451, depth=2..9, filters=37704342, revisions=(101204126,useless=64885976), ccks=1202929765, wck=203.877, mem=278M647
213.98/207.24	    decisions=6117639, wrong=3044603, backtracks=861823, failedAssignments=2303277, nogoods=11802, foundSolutions=16, bestBound=18
213.98/207.24	    
236.13/229.35	    num=452, depth=2..9, filters=41478291, revisions=(112316011,useless=72388153), ccks=1341238165, wck=225.982, mem=155M995
236.13/229.35	    decisions=6762324, wrong=3366942, backtracks=984539, failedAssignments=2525215, nogoods=11826, foundSolutions=16, bestBound=18
236.13/229.35	    
254.39/247.57	    num=453, depth=8..43, filters=45109079, revisions=(121383243,useless=78008046), ccks=1439541461, wck=244.204, mem=137M812
254.39/247.57	    decisions=7344005, wrong=3657763, backtracks=1032429, failedAssignments=2769346, nogoods=11892, foundSolutions=16, bestBound=18
254.39/247.57	    
273.76/266.86	    num=454, depth=3..37, filters=49314186, revisions=(130115249,useless=82734162), ccks=1551788462, wck=263.494, mem=74M497
273.76/266.86	    decisions=7939541, wrong=3955521, backtracks=1062553, failedAssignments=3037891, nogoods=11951, foundSolutions=16, bestBound=18
273.76/266.86	    
308.47/301.47	    num=455, depth=3..10, filters=55270569, revisions=(145978642,useless=92755770), ccks=1776407266, wck=298.102, mem=128M597
308.47/301.47	    decisions=8800874, wrong=4386183, backtracks=1229334, failedAssignments=3333290, nogoods=11968, foundSolutions=16, bestBound=18
308.47/301.47	    
339.79/332.68	    num=456, depth=3..9, filters=60717387, revisions=(163625837,useless=105153990), ccks=1956700223, wck=329.314, mem=84M415
339.79/332.68	    decisions=9742110, wrong=4856797, backtracks=1404053, failedAssignments=3658229, nogoods=12001, foundSolutions=16, bestBound=18
339.79/332.68	    
375.13/367.82	    num=457, depth=2..9, filters=66856583, revisions=(181301750,useless=116936915), ccks=2178247489, wck=364.459, mem=72M999
375.13/367.82	    decisions=10769819, wrong=5370648, backtracks=1594580, failedAssignments=4015662, nogoods=12025, foundSolutions=16, bestBound=18
375.13/367.82	    
415.10/407.66	    num=458, depth=2..9, filters=73868915, revisions=(201529492,useless=130394238), ccks=2426869075, wck=404.297, mem=73M283
415.10/407.66	    decisions=11911922, wrong=5941698, backtracks=1811837, failedAssignments=4408838, nogoods=12063, foundSolutions=16, bestBound=18
415.10/407.66	    
462.19/454.57	    num=459, depth=2..9, filters=81933137, revisions=(223909565,useless=144991007), ccks=2731788119, wck=451.203, mem=54M80
462.19/454.57	    decisions=13184127, wrong=6577797, backtracks=2060443, failedAssignments=4841332, nogoods=12097, foundSolutions=16, bestBound=18
462.19/454.57	    
498.48/490.66	    num=460, depth=4..38, filters=89312114, revisions=(241611632,useless=155659009), ccks=2934372782, wck=487.293, mem=53M35
498.48/490.66	    decisions=14317679, wrong=7144562, backtracks=2154713, failedAssignments=5317076, nogoods=12129, foundSolutions=16, bestBound=18
498.48/490.66	    
543.26/535.22	    num=461, depth=2..8, filters=96814395, revisions=(267709405,useless=174583130), ccks=3187143917, wck=531.859, mem=78M688
543.26/535.22	    decisions=15802137, wrong=7886788, backtracks=2415471, failedAssignments=5840394, nogoods=12149, foundSolutions=16, bestBound=18
543.26/535.22	    
605.29/597.02	    num=462, depth=2..9, filters=108065339, revisions=(300155815,useless=196010415), ccks=3573996783, wck=593.658, mem=49M835
605.29/597.02	    decisions=17481365, wrong=8726398, backtracks=2741646, failedAssignments=6416044, nogoods=12185, foundSolutions=16, bestBound=18
605.29/597.02	    
651.53/643.10	    num=463, depth=11..44, filters=116595866, revisions=(323405608,useless=211233573), ccks=3816440488, wck=639.74, mem=87M318
651.53/643.10	    decisions=19061100, wrong=9516244, backtracks=2904593, failedAssignments=7049259, nogoods=12232, foundSolutions=16, bestBound=18
651.53/643.10	    
713.32/704.56	    num=464, depth=2..9, filters=126329177, revisions=(357878277,useless=236470583), ccks=4137145074, wck=701.197, mem=85M171
713.32/704.56	    decisions=21029862, wrong=10500622, backtracks=3248253, failedAssignments=7745795, nogoods=12275, foundSolutions=16, bestBound=18
713.32/704.56	    
793.21/784.12	    num=465, depth=2..9, filters=140228532, revisions=(399862271,useless=265025111), ccks=4621733637, wck=780.752, mem=86M265
793.21/784.12	    decisions=23266997, wrong=11619186, backtracks=3678886, failedAssignments=8511985, nogoods=12304, foundSolutions=16, bestBound=18
793.21/784.12	    
845.69/836.32	    num=466, depth=10..78, filters=151570099, revisions=(422792035,useless=277301073), ccks=4897298733, wck=832.95, mem=51M27
845.69/836.32	    decisions=25122736, wrong=12547025, backtracks=3764674, failedAssignments=9354794, nogoods=12379, foundSolutions=16, bestBound=18
845.69/836.32	    
943.61/933.97	    num=467, depth=1..8, filters=167817973, revisions=(475957384,useless=314682669), ccks=5480732162, wck=930.609, mem=61M723
943.61/933.97	    decisions=27788198, wrong=13879752, backtracks=4257016, failedAssignments=10281884, nogoods=12397, foundSolutions=16, bestBound=18
943.61/933.97	    
1042.80/1032.82	    num=468, depth=2..9, filters=184509173, revisions=(523200970,useless=345960791), ccks=6084220858, wck=1029.457, mem=56M392
1042.80/1032.82	    decisions=30686844, wrong=15329071, backtracks=4780779, failedAssignments=11301683, nogoods=12428, foundSolutions=16, bestBound=18
1042.80/1032.82	    
1115.54/1105.27	    num=469, depth=10..69, filters=200232479, revisions=(554021544,useless=361868166), ccks=6462130575, wck=1101.907, mem=55M379
1115.54/1105.27	    decisions=33143180, wrong=16557216, backtracks=4887538, failedAssignments=12423462, nogoods=12516, foundSolutions=16, bestBound=18
1115.54/1105.27	    
1225.09/1214.44	    num=470, depth=2..8, filters=218174958, revisions=(617145576,useless=407856067), ccks=7067229842, wck=1211.075, mem=82M118
1225.09/1214.44	    decisions=36653348, wrong=18312297, backtracks=5512441, failedAssignments=13657419, nogoods=12567, foundSolutions=16, bestBound=18
1225.09/1214.44	    
1372.55/1361.43	    num=471, depth=1..9, filters=243920048, revisions=(692864890,useless=458276462), ccks=7959590106, wck=1358.064, mem=87M490
1372.55/1361.43	    decisions=40626038, wrong=20298640, backtracks=6278592, failedAssignments=15014772, nogoods=12625, foundSolutions=16, bestBound=18
1372.55/1361.43	    
1532.73/1521.13	    num=472, depth=1..38, filters=271380320, revisions=(771240464,useless=509930522), ccks=8944159284, wck=1517.767, mem=76M819
1532.73/1521.13	    decisions=44991051, wrong=22481129, backtracks=7120458, failedAssignments=16507860, nogoods=12661, foundSolutions=16, bestBound=18
1532.73/1521.13	    
1648.67/1636.64	    num=473, depth=7..44, filters=293181847, revisions=(829732363,useless=547979849), ccks=9541768127, wck=1633.277, mem=75M807
1648.67/1636.64	    decisions=48923181, wrong=24447175, backtracks=7452917, failedAssignments=18150257, nogoods=12701, foundSolutions=16, bestBound=18
1648.67/1636.64	    
1805.32/1792.73	    num=474, depth=1..42, filters=320363870, revisions=(912661108,useless=604912137), ccks=10407565856, wck=1789.363, mem=39M443
1805.32/1792.73	    decisions=53708048, wrong=26839590, backtracks=8125136, failedAssignments=19956894, nogoods=12724, foundSolutions=16, bestBound=18
1805.32/1792.73	    
2002.22/1989.02	    num=475, depth=2..10, filters=354551840, revisions=(1015544465,useless=674835177), ccks=11560213694, wck=1985.657, mem=73M693
2002.22/1989.02	    decisions=59334727, wrong=29652927, backtracks=9120981, failedAssignments=21944195, nogoods=12756, foundSolutions=16, bestBound=18
2002.22/1989.02	    
2170.79/2156.98	    num=476, depth=7..43, filters=389909636, revisions=(1094068732,useless=719628980), ccks=12469528094, wck=2153.615, mem=72M648
2170.79/2156.98	    decisions=64360051, wrong=32165569, backtracks=9456765, failedAssignments=24130226, nogoods=12808, foundSolutions=16, bestBound=18
2170.79/2156.98	    
2431.72/2417.13	    num=477, depth=2..10, filters=434676459, revisions=(1223274214,useless=805431736), ccks=14064443185, wck=2413.763, mem=66M296
2431.72/2417.13	    decisions=71319689, wrong=35645384, backtracks=10770664, failedAssignments=26534860, nogoods=12847, foundSolutions=16, bestBound=18
2431.72/2417.13	    
2520.09/2505.11	
2520.09/2505.11	v <instantiation id='sol16' type='solution' cost='18'>  <list> x[] </list>  <values> 30 268 30 268 380 142 72 310 268 30 142 380 142 380 380 142 338 100 652 414 652 414 268 30 30 268 268 30 470 708 380 142 30 268 338 100 240 478 30 268 380 142 456 694 310 72 380 142 268 30 142 380 652 414 694 456 456 694 268 30 100 338 456 694 414 652 764 526 100 338 310 72 764 526 100 338 30 268 30 268 72 310 338 100 380 142 310 72 268 30 100 338 30 268 268 30 100 338 310 72 100 338 142 380 72 310 30 268 338 100 72 310 456 694 72 310 142 380 100 338 380 142 142 380 100 338 310 72 142 380 100 338 268 30 72 310 142 380 100 338 268 30 414 652 310 72 380 142 30 268 100 338 268 30 764 526 414 652 414 652 338 100 100 338 268 30 142 380 380 142 380 142 100 338 310 72 380 142 268 30 310 72 652 414 100 338 310 72 338 100 414 652 652 414 268 30 100 338 142 380 268 30 694 456 380 142 310 72 142 380 694 456 652 414 470 708 338 100 380 142 310 72 142 380 72 310 268 30 338 100 310 72 414 652 338 100 338 100 100 338 100 338 268 30 414 652 268 30 268 30 72 310 240 478 100 338 652 414 456 694 100 338 268 30 100 338 30 268 72 310 526 764 310 72 100 338 310 72 268 30 142 380 380 142 30 268 338 100 380 142 380 142 310 72 652 414 652 414 380 142 30 268 380 142 100 338 72 310 30 268 142 380 142 380 72 310 268 30 142 380 30 268 30 268 380 142 268 30 268 30 142 380 652 414 764 526 142 380 72 310 100 338 142 380 470 708 338 100 414 652 100 338 456 694 100 338 100 338 142 380 72 310 72 310 268 30 100 338 268 30 380 142 240 478 142 380 380 142 380 142 30 268 72 310 708 470 526 764 414 652 100 338 526 764 310 72 268 30 708 470 380 142 456 694 30 268 652 414 268 30 338 100 694 456 72 310 30 268 100 338 380 142 526 764 694 456 72 310 268 30 414 652 456 694 142 380 652 414 30 268 72 310 268 30 414 652 414 652 100 338 380 142 470 708 310 72 30 268 268 30 310 72 30 268 456 694 30 268 30 268 310 72 142 380 72 310 240 478 338 100 694 456 268 30 764 526 142 380 142 380 310 72 268 30 380 142 268 30 694 456 310 72 30 268 764 526 30 268 310 72 526 764 30 268 268 30 470 708 268 30 100 338 72 310 694 456 310 72 470 708 30 268 240 478 414 652 652 414 142 380 310 72 338 100 100 338 380 142 414 652 72 310 470 708 142 380 268 30 72 310 268 30 708 470 694 456 310 72 764 526 470 708 414 652 268 30 652 414 414 652 708 470 708 470 310 72 142 380 526 764 764 526 72 310 694 456 338 100 310 72 268 30 72 310 142 380 30 268 652 414 764 526 72 310 142 380 142 380 310 72 652 414 380 142 142 380 72 310 694 456 470 708 380 142 268 30 338 100 310 72 764 526 694 456 72 310 414 652 526 764 694 456 380 142 72 310 72 310 652 414 30 268 72 310 414 652 456 694 30 268 142 380 72 310 142 380 30 268 100 338 </values>  </instantiation>
2520.09/2505.11	s SATISFIABLE

OK	18

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391048-1568386813/watcher-4391048-1568386813 -o /tmp/evaluation-result-4391048-1568386813/solver-4391048-1568386813 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568380473-21312 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391048-1568386813.xml -cm 

running on 4 cores: 1,3,5,7

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


[startup+0.100061 s]*
/proc/loadavg: 1.86 1.87 1.91 4/229 23228
/proc/meminfo: memFree=29243612/32770624 swapFree=66958212/67108860
[pid=23213] ppid=23210 vsize=10659884 memory=28960 CPUtime=0.14 cores=1,3,5,7
/proc/23213/stat : 23213 (java) S 23210 23213 21280 0 -1 1077944320 5248 0 0 0 13 1 0 0 20 0 15 0 414617827 10915721216 7240 33554432000 4194304 4196468 140736763587776 140736763570320 140477792587511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
/proc/23213/statm: 2664971 7240 2851 1 0 2627468 0
[pid=23213/tid=23215] ppid=23210 vsize=10659884 memory=8514726395714820750 CPUtime=0.09 cores=1,3,5,7
/proc/23213/task/23215/stat : 23215 (java) R 23210 23213 21280 0 -1 4202560 2972 0 0 0 9 0 0 0 20 0 15 0 414617828 10915721216 7240 33554432000 4194304 4196468 140736763587776 140477796815776 140477776631141 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23216] ppid=23210 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23216/stat : 23216 (java) S 23210 23213 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414617828 10915721216 7240 33554432000 4194304 4196468 140736763587776 140477718661648 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23217] ppid=23210 vsize=10659884 memory=140715551229568 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23217/stat : 23217 (java) S 23210 23213 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414617828 10915721216 7240 33554432000 4194304 4196468 140736763587776 140477717609104 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23218] ppid=23210 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23218/stat : 23218 (java) S 23210 23213 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414617828 10915721216 7240 33554432000 4194304 4196468 140736763587776 140477716556048 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23219] ppid=23210 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23219/stat : 23219 (java) S 23210 23213 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414617828 10915721216 7240 33554432000 4194304 4196468 140736763587776 140477715503504 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23220] ppid=23210 vsize=10659884 memory=140715551229568 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23220/stat : 23220 (java) S 23210 23213 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414617830 10915721216 7240 33554432000 4194304 4196468 140736763587776 140477284158192 140477792598658 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23221] ppid=23210 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23221/stat : 23221 (java) S 23210 23213 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414617830 10915721216 7240 33554432000 4194304 4196468 140736763587776 140477283104416 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23222] ppid=23210 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23222/stat : 23222 (java) S 23210 23213 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414617830 10915721216 7240 33554432000 4194304 4196468 140736763587776 140477282051312 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23223] ppid=23210 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23223/stat : 23223 (java) S 23210 23213 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414617833 10915721216 7240 33554432000 4194304 4196468 140736763587776 140477280999888 140477792606107 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23224] ppid=23210 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23224/stat : 23224 (java) S 23210 23213 21280 0 -1 1077944384 388 0 0 0 0 0 0 0 20 0 15 0 414617833 10915721216 7240 33554432000 4194304 4196468 140736763587776 140477279946992 140477792598658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23225] ppid=23210 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23225/stat : 23225 (java) S 23210 23213 21280 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 414617833 10915721216 7240 33554432000 4194304 4196468 140736763587776 140477278894448 140477792598658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23226] ppid=23210 vsize=10659884 memory=140715551229568 CPUtime=0.02 cores=1,3,5,7
/proc/23213/task/23226/stat : 23226 (java) R 23210 23213 21280 0 -1 4202560 449 0 0 0 2 0 0 0 20 0 15 0 414617833 10915721216 7240 33554432000 4194304 4196468 140736763587776 140477277841392 140477771265200 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23227] ppid=23210 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23227/stat : 23227 (java) S 23210 23213 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414617833 10915721216 7240 33554432000 4194304 4196468 140736763587776 140477276789088 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23228] ppid=23210 vsize=10659884 memory=140715551229568 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23228/stat : 23228 (java) S 23210 23213 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414617833 10915721216 7240 33554432000 4194304 4196468 140736763587776 140477275737136 140477792598658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28960 KiB

[startup+0.210641 s]*
/proc/loadavg: 1.86 1.87 1.91 3/229 23228
/proc/meminfo: memFree=29237472/32770624 swapFree=66958212/67108860
[pid=23213] ppid=23210 vsize=10659884 memory=35356 CPUtime=0.33 cores=1,3,5,7
/proc/23213/stat : 23213 (java) S 23210 23213 21280 0 -1 1077944320 6438 0 0 0 32 1 0 0 20 0 15 0 414617827 10915721216 8839 33554432000 4194304 4196468 140736763587776 140736763570320 140477792587511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
/proc/23213/statm: 2664971 8839 2989 1 0 2627468 0
[pid=23213/tid=23215] ppid=23210 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/23213/task/23215/stat : 23215 (java) R 23210 23213 21280 0 -1 4202560 3451 0 0 0 19 0 0 0 20 0 15 0 414617828 10915721216 8839 33554432000 4194304 4196468 140736763587776 140477796819552 140477792609437 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23216] ppid=23210 vsize=10659884 memory=331 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23216/stat : 23216 (java) S 23210 23213 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414617828 10915721216 8839 33554432000 4194304 4196468 140736763587776 140477718661648 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23217] ppid=23210 vsize=10659884 memory=140715554250557 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23217/stat : 23217 (java) S 23210 23213 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414617828 10915721216 8839 33554432000 4194304 4196468 140736763587776 140477717609104 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23218] ppid=23210 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23218/stat : 23218 (java) S 23210 23213 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414617828 10915721216 8839 33554432000 4194304 4196468 140736763587776 140477716556048 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23219] ppid=23210 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23219/stat : 23219 (java) S 23210 23213 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414617828 10915721216 8839 33554432000 4194304 4196468 140736763587776 140477715503504 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23220] ppid=23210 vsize=10659884 memory=140715551229568 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23220/stat : 23220 (java) S 23210 23213 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414617830 10915721216 8839 33554432000 4194304 4196468 140736763587776 140477284158192 140477792598658 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23221] ppid=23210 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23221/stat : 23221 (java) S 23210 23213 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414617830 10915721216 8839 33554432000 4194304 4196468 140736763587776 140477283104416 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23222] ppid=23210 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23222/stat : 23222 (java) S 23210 23213 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414617830 10915721216 8839 33554432000 4194304 4196468 140736763587776 140477282051312 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23223] ppid=23210 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23223/stat : 23223 (java) S 23210 23213 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414617833 10915721216 8839 33554432000 4194304 4196468 140736763587776 140477280999888 140477792606107 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23224] ppid=23210 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/23213/task/23224/stat : 23224 (java) S 23210 23213 21280 0 -1 1077944384 681 0 0 0 3 0 0 0 20 0 15 0 414617833 10915721216 8839 33554432000 4194304 4196468 140736763587776 140477279946992 140477792598658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23225] ppid=23210 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/23213/task/23225/stat : 23225 (java) S 23210 23213 21280 0 -1 1077944384 207 0 0 0 2 0 0 0 20 0 15 0 414617833 10915721216 8839 33554432000 4194304 4196468 140736763587776 140477278894448 140477792598658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23226] ppid=23210 vsize=10659884 memory=140715551229568 CPUtime=0.05 cores=1,3,5,7
/proc/23213/task/23226/stat : 23226 (java) S 23210 23213 21280 0 -1 1077944384 739 0 0 0 5 0 0 0 20 0 15 0 414617833 10915721216 8839 33554432000 4194304 4196468 140736763587776 140477277841392 140477792598658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23227] ppid=23210 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23227/stat : 23227 (java) S 23210 23213 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414617833 10915721216 8839 33554432000 4194304 4196468 140736763587776 140477276789088 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23228] ppid=23210 vsize=10659884 memory=140715551229568 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23228/stat : 23228 (java) S 23210 23213 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414617833 10915721216 8839 33554432000 4194304 4196468 140736763587776 140477275737136 140477792598658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35356 KiB

[startup+0.310084 s]*
/proc/loadavg: 1.86 1.87 1.91 3/229 23228
/proc/meminfo: memFree=29229380/32770624 swapFree=66958212/67108860
[pid=23213] ppid=23210 vsize=10659884 memory=40288 CPUtime=0.48 cores=1,3,5,7
/proc/23213/stat : 23213 (java) S 23210 23213 21280 0 -1 1077944320 8893 0 0 0 45 3 0 0 20 0 15 0 414617827 10915721216 10072 33554432000 4194304 4196468 140736763587776 140736763570320 140477792587511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
/proc/23213/statm: 2664971 10072 3001 1 0 2627468 0
[pid=23213/tid=23215] ppid=23210 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/23213/task/23215/stat : 23215 (java) R 23210 23213 21280 0 -1 4202560 5854 0 0 0 28 2 0 0 20 0 15 0 414617828 10915721216 10072 33554432000 4194304 4196468 140736763587776 140477796819312 140477792609437 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23216] ppid=23210 vsize=10659884 memory=8900 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23216/stat : 23216 (java) S 23210 23213 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414617828 10915721216 10072 33554432000 4194304 4196468 140736763587776 140477718661648 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23217] ppid=23210 vsize=10659884 memory=140715554251467 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23217/stat : 23217 (java) S 23210 23213 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414617828 10915721216 10072 33554432000 4194304 4196468 140736763587776 140477717609104 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23218] ppid=23210 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23218/stat : 23218 (java) S 23210 23213 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414617828 10915721216 10072 33554432000 4194304 4196468 140736763587776 140477716556048 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23219] ppid=23210 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23219/stat : 23219 (java) S 23210 23213 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414617828 10915721216 10072 33554432000 4194304 4196468 140736763587776 140477715503504 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23220] ppid=23210 vsize=10659884 memory=140715551229568 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23220/stat : 23220 (java) S 23210 23213 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414617830 10915721216 10072 33554432000 4194304 4196468 140736763587776 140477284158192 140477792598658 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23221] ppid=23210 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23221/stat : 23221 (java) S 23210 23213 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414617830 10915721216 10072 33554432000 4194304 4196468 140736763587776 140477283104416 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23222] ppid=23210 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23222/stat : 23222 (java) S 23210 23213 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414617830 10915721216 10072 33554432000 4194304 4196468 140736763587776 140477282051312 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23223] ppid=23210 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23223/stat : 23223 (java) S 23210 23213 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414617833 10915721216 10072 33554432000 4194304 4196468 140736763587776 140477280999888 140477792606107 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23224] ppid=23210 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/23213/task/23224/stat : 23224 (java) R 23210 23213 21280 0 -1 1077944384 689 0 0 0 4 0 0 0 20 0 15 0 414617833 10915721216 10072 33554432000 4194304 4196468 140736763587776 140477279947088 140477792597717 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23225] ppid=23210 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/23213/task/23225/stat : 23225 (java) R 23210 23213 21280 0 -1 4202560 240 0 0 0 3 0 0 0 20 0 15 0 414617833 10915721216 10072 33554432000 4194304 4196468 140736763587776 140477278886096 140477778601832 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23226] ppid=23210 vsize=10659884 memory=140715551229568 CPUtime=0.08 cores=1,3,5,7
/proc/23213/task/23226/stat : 23226 (java) S 23210 23213 21280 0 -1 1077944384 750 0 0 0 8 0 0 0 20 0 15 0 414617833 10915721216 10072 33554432000 4194304 4196468 140736763587776 140477277841392 140477792598658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23227] ppid=23210 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23227/stat : 23227 (java) S 23210 23213 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414617833 10915721216 10072 33554432000 4194304 4196468 140736763587776 140477276789088 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23228] ppid=23210 vsize=10659884 memory=140715551229568 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23228/stat : 23228 (java) S 23210 23213 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414617833 10915721216 10072 33554432000 4194304 4196468 140736763587776 140477275737136 140477792598658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40288 KiB

[startup+0.701644 s]
/proc/loadavg: 1.86 1.87 1.91 3/229 23228
/proc/meminfo: memFree=29221964/32770624 swapFree=66958212/67108860
[pid=23213] ppid=23210 vsize=10661932 memory=63028 CPUtime=1.11 cores=1,3,5,7
/proc/23213/stat : 23213 (java) S 23210 23213 21280 0 -1 1077944320 12360 0 0 0 107 4 0 0 20 0 15 0 414617827 10917818368 15757 33554432000 4194304 4196468 140736763587776 140736763570320 140477792587511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
/proc/23213/statm: 2665483 15757 3071 1 0 2627980 0
[pid=23213/tid=23215] ppid=23210 vsize=10661932 memory=33 CPUtime=0.68 cores=1,3,5,7
/proc/23213/task/23215/stat : 23215 (java) R 23210 23213 21280 0 -1 4202560 8606 0 0 0 65 3 0 0 20 0 15 0 414617828 10917818368 15757 33554432000 4194304 4196468 140736763587776 140477796813488 140477775774341 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23216] ppid=23210 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23216/stat : 23216 (java) S 23210 23213 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414617828 10917818368 15757 33554432000 4194304 4196468 140736763587776 140477718661648 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23217] ppid=23210 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23217/stat : 23217 (java) S 23210 23213 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414617828 10917818368 15757 33554432000 4194304 4196468 140736763587776 140477717609104 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23218] ppid=23210 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23218/stat : 23218 (java) S 23210 23213 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414617828 10917818368 15757 33554432000 4194304 4196468 140736763587776 140477716556048 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23219] ppid=23210 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23219/stat : 23219 (java) S 23210 23213 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414617828 10917818368 15757 33554432000 4194304 4196468 140736763587776 140477715503504 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23220] ppid=23210 vsize=10661932 memory=240444550180371 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23220/stat : 23220 (java) S 23210 23213 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414617830 10917818368 15757 33554432000 4194304 4196468 140736763587776 140477284158192 140477792598658 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23221] ppid=23210 vsize=10661932 memory=2933550 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23221/stat : 23221 (java) S 23210 23213 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414617830 10917818368 15757 33554432000 4194304 4196468 140736763587776 140477283104416 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23222] ppid=23210 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23222/stat : 23222 (java) S 23210 23213 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414617830 10917818368 15757 33554432000 4194304 4196468 140736763587776 140477282051312 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23223] ppid=23210 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23223/stat : 23223 (java) S 23210 23213 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414617833 10917818368 15757 33554432000 4194304 4196468 140736763587776 140477280999888 140477792606107 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23224] ppid=23210 vsize=10661932 memory=7809523229951467576 CPUtime=0.1 cores=1,3,5,7
/proc/23213/task/23224/stat : 23224 (java) S 23210 23213 21280 0 -1 1077944384 900 0 0 0 10 0 0 0 20 0 15 0 414617833 10917818368 15757 33554432000 4194304 4196468 140736763587776 140477279946992 140477792598658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23225] ppid=23210 vsize=10661932 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/23213/task/23225/stat : 23225 (java) R 23210 23213 21280 0 -1 4202560 526 0 0 0 11 0 0 0 20 0 15 0 414617833 10917818368 15757 33554432000 4194304 4196468 140736763587776 140477278894448 140477784876977 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23226] ppid=23210 vsize=10661932 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/23213/task/23226/stat : 23226 (java) S 23210 23213 21280 0 -1 1077944384 968 0 0 0 19 0 0 0 20 0 15 0 414617833 10917818368 15757 33554432000 4194304 4196468 140736763587776 140477277841392 140477792598658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23227] ppid=23210 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23227/stat : 23227 (java) S 23210 23213 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414617833 10917818368 15757 33554432000 4194304 4196468 140736763587776 140477276789088 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23228] ppid=23210 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23228/stat : 23228 (java) S 23210 23213 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414617833 10917818368 15757 33554432000 4194304 4196468 140736763587776 140477275737136 140477792598658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63028 KiB

[startup+1.50075 s]
/proc/loadavg: 1.79 1.85 1.91 3/230 23230
/proc/meminfo: memFree=29204416/32770624 swapFree=66958212/67108860
[pid=23213] ppid=23210 vsize=10663980 memory=75164 CPUtime=2 cores=1,3,5,7
/proc/23213/stat : 23213 (java) S 23210 23213 21280 0 -1 1077944320 17619 0 0 0 195 5 0 0 20 0 15 0 414617827 10919915520 18791 33554432000 4194304 4196468 140736763587776 140736763570320 140477792587511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
/proc/23213/statm: 2665995 18791 3094 1 0 2628492 0
[pid=23213/tid=23215] ppid=23210 vsize=10663980 memory=199466871207272 CPUtime=1.48 cores=1,3,5,7
/proc/23213/task/23215/stat : 23215 (java) R 23210 23213 21280 0 -1 4202560 12576 0 0 0 144 4 0 0 20 0 15 0 414617828 10919915520 18791 33554432000 4194304 4196468 140736763587776 140477796820808 140477776667998 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23216] ppid=23210 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23216/stat : 23216 (java) S 23210 23213 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414617828 10919915520 18791 33554432000 4194304 4196468 140736763587776 140477718661648 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23217] ppid=23210 vsize=10663980 memory=3608 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23217/stat : 23217 (java) S 23210 23213 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414617828 10919915520 18791 33554432000 4194304 4196468 140736763587776 140477717609104 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23218] ppid=23210 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23218/stat : 23218 (java) S 23210 23213 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414617828 10919915520 18791 33554432000 4194304 4196468 140736763587776 140477716556048 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23219] ppid=23210 vsize=10663980 memory=3472469011637242000 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23219/stat : 23219 (java) S 23210 23213 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414617828 10919915520 18791 33554432000 4194304 4196468 140736763587776 140477715503504 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23220] ppid=23210 vsize=10663980 memory=56 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23220/stat : 23220 (java) S 23210 23213 21280 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 15 0 414617830 10919915520 18791 33554432000 4194304 4196468 140736763587776 140477284158192 140477792598658 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0

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

/proc/23213/task/23219/stat : 23219 (java) S 23210 23213 21280 0 -1 1077944384 4559 0 0 0 274 14 0 0 20 0 16 0 414617828 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477715503504 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23220] ppid=23210 vsize=10748324 memory=546284 CPUtime=2.13 cores=1,3,5,7
/proc/23213/task/23220/stat : 23220 (java) S 23210 23213 21280 0 -1 1077944384 11299 0 0 0 198 15 0 0 20 0 16 0 414617830 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477284158192 140477792598658 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23221] ppid=23210 vsize=10748324 memory=546284 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23221/stat : 23221 (java) S 23210 23213 21280 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414617830 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477283104480 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23222] ppid=23210 vsize=10748324 memory=546284 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23222/stat : 23222 (java) S 23210 23213 21280 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414617830 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477282051328 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23223] ppid=23210 vsize=10748324 memory=546284 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23223/stat : 23223 (java) S 23210 23213 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414617833 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477280999888 140477792606107 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23224] ppid=23210 vsize=10748324 memory=1556 CPUtime=2.62 cores=1,3,5,7
/proc/23213/task/23224/stat : 23224 (java) S 23210 23213 21280 0 -1 1077944384 7224 0 0 0 261 1 0 0 20 0 16 0 414617833 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477279946992 140477792598658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23225] ppid=23210 vsize=10748324 memory=1196 CPUtime=2.51 cores=1,3,5,7
/proc/23213/task/23225/stat : 23225 (java) S 23210 23213 21280 0 -1 1077944384 5828 0 0 0 250 1 0 0 20 0 16 0 414617833 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477278894448 140477792598658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23226] ppid=23210 vsize=10748324 memory=546284 CPUtime=1.06 cores=1,3,5,7
/proc/23213/task/23226/stat : 23226 (java) S 23210 23213 21280 0 -1 1077944384 7404 0 0 0 104 2 0 0 20 0 16 0 414617833 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477277841392 140477792598658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23227] ppid=23210 vsize=10748324 memory=546284 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23227/stat : 23227 (java) S 23210 23213 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414617833 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477276789088 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23228] ppid=23210 vsize=10748324 memory=546284 CPUtime=0.55 cores=1,3,5,7
/proc/23213/task/23228/stat : 23228 (java) S 23210 23213 21280 0 -1 1077944384 1475 0 0 0 25 30 0 0 20 0 16 0 414617833 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477275737136 140477792598658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23231] ppid=23210 vsize=10748324 memory=21300 CPUtime=2434.69 cores=1,3,5,7
/proc/23213/task/23231/stat : 23231 (java) R 23210 23213 21280 0 -1 4202560 23981 0 0 0 243455 14 0 0 20 0 16 0 414618015 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477259075840 140477400694394 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
Current children cumulated CPU time: 2457.06 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 546284 KiB

[startup+2502.3 s]
/proc/loadavg: 0.60 0.69 0.95 5/208 23537
/proc/meminfo: memFree=28942660/32770624 swapFree=66958212/67108860
[pid=23213] ppid=23210 vsize=10748324 memory=546284 CPUtime=2517.27 cores=1,3,5,7
/proc/23213/stat : 23213 (java) S 23210 23213 21280 0 -1 1077944320 103069 0 0 0 251612 115 0 0 20 0 16 0 414617827 11006283776 136571 33554432000 4194304 4196468 140736763587776 140736763570320 140477792587511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
/proc/23213/statm: 2687081 136571 3383 1 0 2647217 0
[pid=23213/tid=23215] ppid=23210 vsize=10748324 memory=546284 CPUtime=1.85 cores=1,3,5,7
/proc/23213/task/23215/stat : 23215 (java) S 23210 23213 21280 0 -1 1077944384 14731 0 0 0 181 4 0 0 20 0 16 0 414617828 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477796830384 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23216] ppid=23210 vsize=10748324 memory=546284 CPUtime=2.94 cores=1,3,5,7
/proc/23213/task/23216/stat : 23216 (java) S 23210 23213 21280 0 -1 1077944384 6860 0 0 0 277 17 0 0 20 0 16 0 414617828 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477718661648 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23217] ppid=23210 vsize=10748324 memory=546284 CPUtime=2.96 cores=1,3,5,7
/proc/23213/task/23217/stat : 23217 (java) S 23210 23213 21280 0 -1 1077944384 8067 0 0 0 281 15 0 0 20 0 16 0 414617828 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477717609104 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23218] ppid=23210 vsize=10748324 memory=546284 CPUtime=2.96 cores=1,3,5,7
/proc/23213/task/23218/stat : 23218 (java) S 23210 23213 21280 0 -1 1077944384 9786 0 0 0 278 18 0 0 20 0 16 0 414617828 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477716556048 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23219] ppid=23210 vsize=10748324 memory=546284 CPUtime=2.95 cores=1,3,5,7
/proc/23213/task/23219/stat : 23219 (java) S 23210 23213 21280 0 -1 1077944384 4581 0 0 0 280 15 0 0 20 0 16 0 414617828 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477715503504 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23220] ppid=23210 vsize=10748324 memory=2257 CPUtime=2.19 cores=1,3,5,7
/proc/23213/task/23220/stat : 23220 (java) S 23210 23213 21280 0 -1 1077944384 11489 0 0 0 204 15 0 0 20 0 16 0 414617830 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477284158192 140477792598658 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23221] ppid=23210 vsize=10748324 memory=3608 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23221/stat : 23221 (java) S 23210 23213 21280 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414617830 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477283104480 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23222] ppid=23210 vsize=10748324 memory=39064 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23222/stat : 23222 (java) S 23210 23213 21280 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414617830 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477282051328 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23223] ppid=23210 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23223/stat : 23223 (java) S 23210 23213 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414617833 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477280999888 140477792606107 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23224] ppid=23210 vsize=10748324 memory=1760 CPUtime=2.62 cores=1,3,5,7
/proc/23213/task/23224/stat : 23224 (java) S 23210 23213 21280 0 -1 1077944384 7226 0 0 0 261 1 0 0 20 0 16 0 414617833 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477279946992 140477792598658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23225] ppid=23210 vsize=10748324 memory=546284 CPUtime=2.51 cores=1,3,5,7
/proc/23213/task/23225/stat : 23225 (java) S 23210 23213 21280 0 -1 1077944384 5830 0 0 0 250 1 0 0 20 0 16 0 414617833 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477278894448 140477792598658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23226] ppid=23210 vsize=10748324 memory=21300 CPUtime=1.06 cores=1,3,5,7
/proc/23213/task/23226/stat : 23226 (java) S 23210 23213 21280 0 -1 1077944384 7406 0 0 0 104 2 0 0 20 0 16 0 414617833 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477277841392 140477792598658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23227] ppid=23210 vsize=10748324 memory=3608 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23227/stat : 23227 (java) S 23210 23213 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414617833 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477276789088 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23228] ppid=23210 vsize=10748324 memory=39064 CPUtime=0.57 cores=1,3,5,7
/proc/23213/task/23228/stat : 23228 (java) S 23210 23213 21280 0 -1 1077944384 1492 0 0 0 26 31 0 0 20 0 16 0 414617833 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477275737136 140477792598658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23231] ppid=23210 vsize=10748324 memory=3608 CPUtime=2494.54 cores=1,3,5,7
/proc/23213/task/23231/stat : 23231 (java) R 23210 23213 21280 0 -1 4202560 24205 0 0 0 249440 14 0 0 20 0 16 0 414618015 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477259075840 140477400804971 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
Current children cumulated CPU time: 2517.27 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 546284 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2505.11 s]
/proc/loadavg: 0.60 0.69 0.95 2/208 23537
/proc/meminfo: memFree=28942660/32770624 swapFree=66958212/67108860
[pid=23213] ppid=23210 vsize=10748324 memory=546284 CPUtime=2520.09 cores=1,3,5,7
/proc/23213/stat : 23213 (java) S 23210 23213 21280 0 -1 1077944320 103075 0 0 0 251894 115 0 0 20 0 16 0 414617827 11006283776 136571 33554432000 4194304 4196468 140736763587776 140736763570320 140477792587511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
/proc/23213/statm: 2687081 136571 3383 1 0 2647217 0
[pid=23213/tid=23215] ppid=23210 vsize=10748324 memory=546284 CPUtime=1.85 cores=1,3,5,7
/proc/23213/task/23215/stat : 23215 (java) S 23210 23213 21280 0 -1 1077944384 14731 0 0 0 181 4 0 0 20 0 16 0 414617828 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477796830384 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23216] ppid=23210 vsize=10748324 memory=546284 CPUtime=2.94 cores=1,3,5,7
/proc/23213/task/23216/stat : 23216 (java) S 23210 23213 21280 0 -1 1077944384 6860 0 0 0 277 17 0 0 20 0 16 0 414617828 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477718661648 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23217] ppid=23210 vsize=10748324 memory=546284 CPUtime=2.96 cores=1,3,5,7
/proc/23213/task/23217/stat : 23217 (java) S 23210 23213 21280 0 -1 1077944384 8067 0 0 0 281 15 0 0 20 0 16 0 414617828 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477717609104 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23218] ppid=23210 vsize=10748324 memory=546284 CPUtime=2.96 cores=1,3,5,7
/proc/23213/task/23218/stat : 23218 (java) S 23210 23213 21280 0 -1 1077944384 9786 0 0 0 278 18 0 0 20 0 16 0 414617828 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477716556048 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23219] ppid=23210 vsize=10748324 memory=546284 CPUtime=2.96 cores=1,3,5,7
/proc/23213/task/23219/stat : 23219 (java) S 23210 23213 21280 0 -1 1077944384 4581 0 0 0 281 15 0 0 20 0 16 0 414617828 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477715503504 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23220] ppid=23210 vsize=10748324 memory=546284 CPUtime=2.19 cores=1,3,5,7
/proc/23213/task/23220/stat : 23220 (java) S 23210 23213 21280 0 -1 1077944384 11490 0 0 0 204 15 0 0 20 0 16 0 414617830 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477284158192 140477792598658 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23221] ppid=23210 vsize=10748324 memory=546284 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23221/stat : 23221 (java) S 23210 23213 21280 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414617830 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477283104480 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23222] ppid=23210 vsize=10748324 memory=546284 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23222/stat : 23222 (java) S 23210 23213 21280 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414617830 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477282051328 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23223] ppid=23210 vsize=10748324 memory=546284 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23223/stat : 23223 (java) S 23210 23213 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414617833 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477280999888 140477792606107 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23224] ppid=23210 vsize=10748324 memory=546284 CPUtime=2.62 cores=1,3,5,7
/proc/23213/task/23224/stat : 23224 (java) S 23210 23213 21280 0 -1 1077944384 7226 0 0 0 261 1 0 0 20 0 16 0 414617833 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477279946992 140477792598658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23225] ppid=23210 vsize=10748324 memory=2257 CPUtime=2.51 cores=1,3,5,7
/proc/23213/task/23225/stat : 23225 (java) S 23210 23213 21280 0 -1 1077944384 5830 0 0 0 250 1 0 0 20 0 16 0 414617833 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477278894448 140477792598658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23226] ppid=23210 vsize=10748324 memory=546284 CPUtime=1.06 cores=1,3,5,7
/proc/23213/task/23226/stat : 23226 (java) S 23210 23213 21280 0 -1 1077944384 7406 0 0 0 104 2 0 0 20 0 16 0 414617833 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477277841392 140477792598658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23227] ppid=23210 vsize=10748324 memory=546284 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23227/stat : 23227 (java) S 23210 23213 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414617833 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477276789088 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23228] ppid=23210 vsize=10748324 memory=546284 CPUtime=0.57 cores=1,3,5,7
/proc/23213/task/23228/stat : 23228 (java) S 23210 23213 21280 0 -1 1077944384 1492 0 0 0 26 31 0 0 20 0 16 0 414617833 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477275737136 140477792598658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23231] ppid=23210 vsize=10748324 memory=546284 CPUtime=2497.35 cores=1,3,5,7
/proc/23213/task/23231/stat : 23231 (java) R 23210 23213 21280 0 -1 4202560 24210 0 0 0 249721 14 0 0 20 0 16 0 414618015 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477259075456 140477398289811 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 546284 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2505.13 s]
# the end of solver process 23213 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.95 s, system=1.16119 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2505.11 s]
/proc/loadavg: 0.60 0.69 0.95 2/208 23537
/proc/meminfo: memFree=28942660/32770624 swapFree=66958212/67108860
[pid=23213] ppid=23210 vsize=10748324 memory=546284 CPUtime=2520.09 cores=1,3,5,7
/proc/23213/stat : 23213 (java) S 23210 23213 21280 0 -1 1077944320 103075 0 0 0 251894 115 0 0 20 0 16 0 414617827 11006283776 136571 33554432000 4194304 4196468 140736763587776 140736763570320 140477792587511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
/proc/23213/statm: 2687081 136571 3383 1 0 2647217 0
[pid=23213/tid=23215] ppid=23210 vsize=10748324 memory=546284 CPUtime=1.85 cores=1,3,5,7
/proc/23213/task/23215/stat : 23215 (java) S 23210 23213 21280 0 -1 1077944384 14731 0 0 0 181 4 0 0 20 0 16 0 414617828 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477796830384 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23216] ppid=23210 vsize=10748324 memory=546284 CPUtime=2.94 cores=1,3,5,7
/proc/23213/task/23216/stat : 23216 (java) S 23210 23213 21280 0 -1 1077944384 6860 0 0 0 277 17 0 0 20 0 16 0 414617828 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477718661648 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23217] ppid=23210 vsize=10748324 memory=546284 CPUtime=2.96 cores=1,3,5,7
/proc/23213/task/23217/stat : 23217 (java) S 23210 23213 21280 0 -1 1077944384 8067 0 0 0 281 15 0 0 20 0 16 0 414617828 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477717609104 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23218] ppid=23210 vsize=10748324 memory=546284 CPUtime=2.96 cores=1,3,5,7
/proc/23213/task/23218/stat : 23218 (java) S 23210 23213 21280 0 -1 1077944384 9786 0 0 0 278 18 0 0 20 0 16 0 414617828 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477716556048 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23219] ppid=23210 vsize=10748324 memory=546284 CPUtime=2.96 cores=1,3,5,7
/proc/23213/task/23219/stat : 23219 (java) S 23210 23213 21280 0 -1 1077944384 4581 0 0 0 281 15 0 0 20 0 16 0 414617828 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477715503504 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23220] ppid=23210 vsize=10748324 memory=546284 CPUtime=2.19 cores=1,3,5,7
/proc/23213/task/23220/stat : 23220 (java) S 23210 23213 21280 0 -1 1077944384 11490 0 0 0 204 15 0 0 20 0 16 0 414617830 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477284158192 140477792598658 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23221] ppid=23210 vsize=10748324 memory=546284 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23221/stat : 23221 (java) S 23210 23213 21280 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414617830 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477283104480 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23222] ppid=23210 vsize=10748324 memory=546284 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23222/stat : 23222 (java) S 23210 23213 21280 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414617830 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477282051328 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23223] ppid=23210 vsize=10748324 memory=546284 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23223/stat : 23223 (java) S 23210 23213 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414617833 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477280999888 140477792606107 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23224] ppid=23210 vsize=10748324 memory=546284 CPUtime=2.62 cores=1,3,5,7
/proc/23213/task/23224/stat : 23224 (java) S 23210 23213 21280 0 -1 1077944384 7226 0 0 0 261 1 0 0 20 0 16 0 414617833 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477279946992 140477792598658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23225] ppid=23210 vsize=10748324 memory=2257 CPUtime=2.51 cores=1,3,5,7
/proc/23213/task/23225/stat : 23225 (java) S 23210 23213 21280 0 -1 1077944384 5830 0 0 0 250 1 0 0 20 0 16 0 414617833 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477278894448 140477792598658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23226] ppid=23210 vsize=10748324 memory=546284 CPUtime=1.06 cores=1,3,5,7
/proc/23213/task/23226/stat : 23226 (java) S 23210 23213 21280 0 -1 1077944384 7406 0 0 0 104 2 0 0 20 0 16 0 414617833 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477277841392 140477792598658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23227] ppid=23210 vsize=10748324 memory=546284 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23227/stat : 23227 (java) S 23210 23213 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414617833 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477276789088 140477792597717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23228] ppid=23210 vsize=10748324 memory=546284 CPUtime=0.57 cores=1,3,5,7
/proc/23213/task/23228/stat : 23228 (java) S 23210 23213 21280 0 -1 1077944384 1492 0 0 0 26 31 0 0 20 0 16 0 414617833 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477275737136 140477792598658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
[pid=23213/tid=23231] ppid=23210 vsize=10748324 memory=546284 CPUtime=2497.35 cores=1,3,5,7
/proc/23213/task/23231/stat : 23231 (java) R 23210 23213 21280 0 -1 4202560 24210 0 0 0 249721 14 0 0 20 0 16 0 414618015 11006283776 136571 33554432000 4194304 4196468 140736763587776 140477259075456 140477398289811 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9920512 140736763589643 140736763589746 140736763589746 140736763592655 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 546284 KiB

Child status: 143
Real time (s): 2505.13
CPU time (s): 2520.11
CPU user time (s): 2518.95
CPU system time (s): 1.16119
CPU usage (%): 100.598
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 792216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.95
system time used= 1.16119
maximum resident set size= 794316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103405
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107891
involuntary context switches= 2508


# summary of solver processes directly reported to runsolver:
#   pid: 23213
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2518.95
#   total CPU system time (s): 1.16119

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1554 second user time and 23.9666 second system time

The end

Begin job on node145 at 2019-09-13 16:59:32
IDJOB=4391048
IDBENCH=141210
IDSOLVER=2832
FILE ID=node145/4391048-1568386813
RUNJOBID= node145-1568380473-21312
PBS_JOBID= 21701826
Free space on /tmp= 55180 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-08-opt_c18.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391048-1568386813/watcher-4391048-1568386813 -o /tmp/evaluation-result-4391048-1568386813/solver-4391048-1568386813 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568380473-21312 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391048-1568386813.xml -cm

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

MD5SUM BENCH= edb7fc8f5d274005fc89ddd50225e87c
RANDOM SEED=1483562781

node145.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.59
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.59
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.59
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.59
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:        29261488 kB
MemAvailable:   31645900 kB
Buffers:           95144 kB
Cached:          2566620 kB
SwapCached:        41040 kB
Active:          1569940 kB
Inactive:        1345008 kB
Active(anon):     216828 kB
Inactive(anon):    77332 kB
Active(file):    1353112 kB
Inactive(file):  1267676 kB
Unevictable:      110532 kB
Mlocked:          110532 kB
SwapTotal:      67108860 kB
SwapFree:       66958212 kB
Dirty:              8860 kB
Writeback:             0 kB
AnonPages:        358068 kB
Mapped:            56120 kB
Shmem:             32356 kB
Slab:             187032 kB
SReclaimable:     158916 kB
SUnreclaim:        28116 kB
KernelStack:        4016 kB
PageTables:         5960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1153564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    288768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 55180 MiB
End job on node145 at 2019-09-13 17:41:17